表示论

这块面板不把表示论写成术语或工具目录，而追踪近二十年怎样重新界定表示结构。第一幕从“几何朗兰兹”推进到“表示稳定性”，第二幕从“对称对偶”延伸至“解析几何朗兰兹”；共同问题是对象、函子、参数和范畴边界如何进入同一责任链。每条保留提出、争议与最新三个端点；不能找到直接反证或直接更新时，明确登记证据缺口，不以邻近文献补位。实证段只采用原始材料能够承担的样本量、效应量、阈值、结构量或装置读数，最新直接材料覆盖至2026年。供料层同时区分S、D、E位置，给出可通约量纲、反号边界、自曝与空栏，使读者既能查证领域转向，也能看到哪些对象至今没有进入现行账本。 本块把“几何朗兰兹”“Fargues–Fontaine曲线”“解析几何朗兰兹”分别作为早期转向、规模化清算与未解前沿；第三段保留样本量、效应量、阈值或结构量，第四段明确反号边界。资料核验分为A类出版页或官方来源、B类DOI书目规范化、C类专著标准或报告定位；B、C类不冒充全文复算。 供料层还把“不能由经典点检测、只存在于导出方向的对象”与“不在离散谱中、却影响完备性的广义本征态”单列，使未进入现行分母的对象可被检索。

第一幕的共同动作，是把表示论从单一可见终点拉回对象、路径与条件。“几何朗兰兹”“量子群范畴化”和“表示稳定性”分别从结果、实施与环境拆开旧账本；主证据年份决定幕归属，后来的复制与争议只负责检验边界。 这一幕以“几何朗兰兹”的满足全部Hecke本征函子的对象／候选D模对象为起点，并由“表示稳定性”的反号边界检验可运输性。

甲、几何朗兰兹：特征函数被层与D模替代Geometric Langlands Correspondence

2007年前后的“几何朗兰兹”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“不能由经典点检测、只存在于导出方向的对象”设置独立位置，但它可能直接改变满足全部Hecke本征函子的对象／候选D模对象。因此，表示论讨论Geometric Langlands Correspondence时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“几何朗兰兹”能否成立的只有Hecke本征条件是否在范畴层保持并决定对象。本条占S位，先让“Hecke本征条件是否在范畴层保持并决定对象”承担解释责任，并用满足全部Hecke本征函子的对象／候选D模对象裁决。若固定“候选D模对象”后，另一维度总是更早且更稳定地改写“满足全部Hecke本征函子的对象”，则“几何朗兰兹”的单因命题必须收窄或被推翻。

Frenkel E在2007年的原始研究或构造提供主要证据。Frenkel E在2007年的出处给出主要证明或构造：几何朗兰兹把自守表示与局部系统之间的对应提升为模空间上导出范畴的等价问题。对“几何朗兰兹”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“满足全部Hecke本征函子的对象”，分母必须完整保留“候选D模对象”。 “几何朗兰兹”的外推责任只有在至少两个独立场景中保持满足全部Hecke本征函子的对象／候选D模对象同号后才成立。

反号边界是：当奇异支撑与堆栈稳定子未被控制时，范畴越大，对应的唯一性反而越弱。截至2026年8月6日，没有检得题名与“几何朗兰兹”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“不能由经典点检测、只存在于导出方向的对象”会从账本中消失。

“几何朗兰兹”进入指南、平台、采购、绩效或临床路径后，应同步公开满足全部Hecke本征函子的对象／候选D模对象与“不能由经典点检测、只存在于导出方向的对象”的数量和去向。截至2026年8月6日尚无可承担“几何朗兰兹”直接更新责任的独立文献。

“几何朗兰兹”的跨域接口是另见第179号《城市社会学》第2条“城市非正规性”。围绕“几何朗兰兹”，两边共享“03 有限近似控制无限对象”前提；在“几何朗兰兹”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读满足全部Hecke本征函子的对象／候选D模对象与对方量纲；若“几何朗兰兹”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

乙、Bridgeland稳定性：稳定对象由复平面中的中心荷组织Stability Conditions on Triangulated Categories

2007年前后的“Bridgeland稳定性”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“中心荷趋零、无法进入稳定相位的对象”设置独立位置，但它可能直接改变满足支撑性质的稳定条件／全部候选中心荷。因此，表示论讨论Stability Conditions on Triangulated Categories时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“Bridgeland稳定性”能否成立的只有中心荷是否为每个对象提供有限HN分解。本条占D位，先让“中心荷是否为每个对象提供有限HN分解”承担解释责任，并用满足支撑性质的稳定条件／全部候选中心荷裁决。若固定“全部候选中心荷”后，另一维度总是更早且更稳定地改写“满足支撑性质的稳定条件”，则“Bridgeland稳定性”的单因命题必须收窄或被推翻。

Bridgeland T在2007年的原始研究或构造提供主要证据。Bridgeland T在2007年的出处给出主要证明或构造：稳定性条件用心、中心荷和Harder–Narasimhan分解构成复流形，并连接导出范畴与壁穿越。对“Bridgeland稳定性”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“满足支撑性质的稳定条件”，分母必须完整保留“全部候选中心荷”。

反号边界是：当支撑性质失败时，壁越密，稳定模空间反而越难定义。截至2026年8月6日，没有检得题名与“Bridgeland稳定性”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“中心荷趋零、无法进入稳定相位的对象”会从账本中消失，满足支撑性质的稳定条件／全部候选中心荷便可能在形式上改善、在真实净结果上恶化。

“Bridgeland稳定性”进入指南、平台、采购、绩效或临床路径后，应同步公开满足支撑性质的稳定条件／全部候选中心荷与“中心荷趋零、无法进入稳定相位的对象”的数量和去向。截至2026年8月6日尚无可承担“Bridgeland稳定性”直接更新责任的独立文献，因此不以机构网页、新闻稿或邻近综述冒充新证据。

“Bridgeland稳定性”的跨域接口是另见第179号《城市社会学》第1条“绅士化与迁移”。围绕“Bridgeland稳定性”，两边共享“03 有限近似控制无限对象”前提；在“Bridgeland稳定性”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读满足支撑性质的稳定条件／全部候选中心荷与对方量纲；若“Bridgeland稳定性”与对方排序稳定异号，就要寻找现行分类未记录的转换项。实施科学称“过程忠实度”只是“Bridgeland稳定性”的异名。

丙、簇代数与表示：突变被解释为倾斜对象替换Cluster Algebras and Representations

2008年前后的“簇代数与表示”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“不对应有限维刚性模的簇变量”设置独立位置，但它可能直接改变可由刚性对象实现的簇变量／全部簇变量。因此，表示论讨论Cluster Algebras and Representations时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“簇代数与表示”能否成立的只有每次簇突变是否对应可逆的表示范畴变换。本条占E位，先让“每次簇突变是否对应可逆的表示范畴变换”承担解释责任，并用可由刚性对象实现的簇变量／全部簇变量裁决。若固定“全部簇变量”后，另一维度总是更早且更稳定地改写“可由刚性对象实现的簇变量”，则“簇代数与表示”的单因命题必须收窄或被推翻。

Derksen H, Weyman J, Zelevinsky A在2008年的原始研究或构造提供主要证据。Derksen H, Weyman J, Zelevinsky A在2008年的出处给出主要证明或构造：带势箭图与其表示给出簇突变的范畴模型，把组合交换关系连到Jacob代数。对“簇代数与表示”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“可由刚性对象实现的簇变量”，分母必须完整保留“全部簇变量”。 “簇代数与表示”的外推责任只有在至少两个独立场景中保持可由刚性对象实现的簇变量／全部簇变量同号后才成立。

反号边界是：当势退化或无限型增长时，突变次数越多，表示分类反而越不可控。截至2026年8月6日，没有检得题名与“簇代数与表示”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“不对应有限维刚性模的簇变量”会从账本中消失，可由刚性对象实现的簇变量／全部簇变量便可能在形式上改善、在真实净结果上恶化。

“簇代数与表示”进入指南、平台、采购、绩效或临床路径后，应同步公开可由刚性对象实现的簇变量／全部簇变量与“不对应有限维刚性模的簇变量”的数量和去向。

“簇代数与表示”的跨域接口是另见第179号《城市社会学》第1条“绅士化与迁移”。围绕“簇代数与表示”，两边共享“03 有限近似控制无限对象”前提；在“簇代数与表示”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读可由刚性对象实现的簇变量／全部簇变量与对方量纲；若“簇代数与表示”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

丁、量子群范畴化：系数要被对象与态射解释Categorification of Quantum Groups

2009年前后的“量子群范畴化”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“在Grothendieck群中抵消、却携带扩张信息的对象”设置独立位置，但它可能直接改变被范畴化的基元素／全部量子群基元素。因此，表示论讨论Categorification of Quantum Groups时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“量子群范畴化”能否成立的只有Grothendieck群是否无损恢复原量子群关系。本条占S位，先让“Grothendieck群是否无损恢复原量子群关系”承担解释责任，并用被范畴化的基元素／全部量子群基元素裁决。若固定“全部量子群基元素”后，另一维度总是更早且更稳定地改写“被范畴化的基元素”，则“量子群范畴化”的单因命题必须收窄或被推翻。

Khovanov M, Lauda AD在2009年的原始研究或构造提供主要证据。Khovanov M, Lauda AD在2009年的出处给出主要证明或构造：图示代数把量子群的生成元和关系提升为2-范畴中的对象、1-态射与2-态射。对“量子群范畴化”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“被范畴化的基元素”，分母必须完整保留“全部量子群基元素”。 “量子群范畴化”的外推责任只有在至少两个独立场景中保持被范畴化的基元素／全部量子群基元素同号后才成立。

反号边界是：当高阶态射关系不完备时，解范畴化越正确，高阶结构反而越不唯一。截至2026年8月6日，没有检得题名与“量子群范畴化”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“在Grothendieck群中抵消、却携带扩张信息的对象”会从账本中消失，被范畴化的基元素／全部量子群基元素便可能在形式上改善、在真实净结果上恶化。

“量子群范畴化”进入指南、平台、采购、绩效或临床路径后，应同步公开被范畴化的基元素／全部量子群基元素与“在Grothendieck群中抵消、却携带扩张信息的对象”的数量和去向。

“量子群范畴化”的跨域接口是另见第179号《城市社会学》第5条“夜间城市”。围绕“量子群范畴化”，两边共享“05 平均值代表个体”前提；在“量子群范畴化”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读被范畴化的基元素／全部量子群基元素与对方量纲；若“量子群范畴化”与对方排序稳定异号，就要寻找现行分类未记录的转换项。 “量子群范畴化”仍须以同一分母在独立场景复核。

戊、KLR代数：晶体图被局部图示关系实现Quiver Hecke Algebras

2011年前后的“KLR代数”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“在特征零消失、但模特征中出现的分解因子”设置独立位置，但它可能直接改变晶体边被简单模实现的比例／全部晶体边。因此，表示论讨论Quiver Hecke Algebras时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“KLR代数”能否成立的只有简单模的诱导限制是否严格实现晶体算子。本条占D位，先让“简单模的诱导限制是否严格实现晶体算子”承担解释责任，并用晶体边被简单模实现的比例／全部晶体边裁决。若固定“全部晶体边”后，另一维度总是更早且更稳定地改写“晶体边被简单模实现的比例”，则“KLR代数”的单因命题必须收窄或被推翻。

Khovanov M, Lauda AD在2011年的原始研究或构造提供主要证据。Khovanov M, Lauda AD在2011年给出早期前身；Khovanov M, Lauda AD在2011年的出处给出主要证明或构造：箭图Hecke代数用带点线图的局部关系实现负半量子群，并让晶体算子拥有模范畴模型。对“KLR代数”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“晶体边被简单模实现的比例”，分母必须完整保留“全部晶体边”。

反号边界是：当基域特征改变分解数时，图示关系越统一，简单模分类反而越依赖算术。截至2026年8月6日，没有检得题名与“KLR代数”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“在特征零消失、但模特征中出现的分解因子”会从账本中消失，晶体边被简单模实现的比例／全部晶体边便可能在形式上改善、在真实净结果上恶化。

“KLR代数”进入指南、平台、采购、绩效或临床路径后，应同步公开晶体边被简单模实现的比例／全部晶体边与“在特征零消失、但模特征中出现的分解因子”的数量和去向。截至2026年8月6日尚无可承担“KLR代数”直接更新责任的独立文献，因此不以机构网页、新闻稿或邻近综述冒充新证据。

“KLR代数”的跨域接口是另见第201号《游戏研究》第19条“平台治理与社区规范”。围绕“KLR代数”，两边共享“05 平均值代表个体”前提；在“KLR代数”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读晶体边被简单模实现的比例／全部晶体边与对方量纲；若“KLR代数”与对方排序稳定异号，就要寻找现行分类未记录的转换项。实施科学称“过程忠实度”只是“KLR代数”的异名。

己、p进几何中的完美空间：无限塔被压成可计算极限Perfectoid Spaces and Representations

2012年前后的“p进几何中的完美空间”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“只在逆极限存在、任何有限层都看不到的点”设置独立位置，但它可能直接改变倾斜后保留的覆盖类别／原覆盖类别。因此，表示论讨论Perfectoid Spaces and Representations时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“p进几何中的完美空间”能否成立的只有倾斜函子是否保持有限étale覆盖与上同调。本条占E位，先让“倾斜函子是否保持有限étale覆盖与上同调”承担解释责任，并用倾斜后保留的覆盖类别／原覆盖类别裁决。若固定“原覆盖类别”后，另一维度总是更早且更稳定地改写“倾斜后保留的覆盖类别”，则“p进几何中的完美空间”的单因命题必须收窄或被推翻。

Scholze P在2012年的原始研究或构造提供主要证据。Scholze P在2012年的出处给出主要证明或构造：完美空间通过倾斜把混合特征与等特征几何连接，并重组p进群表示的无限层塔。对“p进几何中的完美空间”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“倾斜后保留的覆盖类别”，分母必须完整保留“原覆盖类别”。 “p进几何中的完美空间”的外推责任只有在至少两个独立场景中保持倾斜后保留的覆盖类别／原覆盖类别同号后才成立。

反号边界是：当对象非完美或边界不完备时，极限越精细，经典有限层信息反而越难恢复。截至2026年8月6日，没有检得题名与“p进几何中的完美空间”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“只在逆极限存在、任何有限层都看不到的点”会从账本中消失。

“p进几何中的完美空间”进入指南、平台、采购、绩效或临床路径后，应同步公开倾斜后保留的覆盖类别／原覆盖类别与“只在逆极限存在、任何有限层都看不到的点”的数量和去向。

“p进几何中的完美空间”的跨域接口是另见第201号《游戏研究》第19条“平台治理与社区规范”。围绕“p进几何中的完美空间”，两边共享“05 平均值代表个体”前提；在“p进几何中的完美空间”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读倾斜后保留的覆盖类别／原覆盖类别与对方量纲；若“p进几何中的完美空间”与对方排序稳定异号。 “p进几何中的完美空间”仍须以同一分母在独立场景复核。

庚、局部—整体模p朗兰兹：Galois变形进入表示范畴Mod-p and p-adic Langlands

2011年前后的“局部—整体模p朗兰兹”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“没有任何全局自守实现的局部表示”设置独立位置，但它可能直接改变被全局实现的局部参数／全部局部候选参数。因此，表示论讨论Mod-p and p-adic Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“局部—整体模p朗兰兹”能否成立的只有局部表示参数是否能从全局完成上同调中恢复。本条占S位，先让“局部表示参数是否能从全局完成上同调中”承担解释责任，并用被全局实现的局部参数／全部局部候选参数裁决。若固定“全部局部候选参数”后，另一维度总是更早且更稳定地改写“被全局实现的局部参数”，则“局部—整体模p朗兰兹”的单因命题必须收窄或被推翻。

Emerton M在2011年的原始研究或构造提供主要证据。Emerton M在2011年给出早期前身；Emerton M在2011年的出处给出主要证明或构造：完成上同调与变形环把局部p进表示、模形式和全局Galois表示连接，兼容性不再只在特征零。对“局部—整体模p朗兰兹”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“被全局实现的局部参数”，分母必须完整保留“全部局部候选参数”。

反号边界是：当剩余表示不可约性和Taylor–Wiles条件失败时，全局信息越多，局部恢复反而可能不唯一。截至2026年8月6日，没有检得题名与“局部—整体模p朗兰兹”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“没有任何全局自守实现的局部表示”会从账本中消失。

“局部—整体模p朗兰兹”进入指南、平台、采购、绩效或临床路径后，应同步公开被全局实现的局部参数／全部局部候选参数与“没有任何全局自守实现的局部表示”的数量和去向。截至2026年8月6日尚无可承担“局部—整体模p朗兰兹”直接更新责任的独立文献，因此不以机构网页。

“局部—整体模p朗兰兹”的跨域接口是另见第179号《城市社会学》第8条“活动空间”。围绕“局部—整体模p朗兰兹”，两边共享“08 缺失即不存在”前提；在“局部—整体模p朗兰兹”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读被全局实现的局部参数／全部局部候选参数与对方量纲；若“局部—整体模p朗兰兹”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

辛、表示稳定性：维数增长后结构可先稳定Representation Stability

2015年前后的“表示稳定性”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“稳定区之前的例外表示与扭曲同调”设置独立位置，但它可能直接改变进入稳定区的最低n／生成次数。因此，表示论讨论Representation Stability时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“表示稳定性”能否成立的只有序列是否由有限生成数据决定其稳定区。本条占D位，先让“序列是否由有限生成数据决定其稳定区”承担解释责任，并用进入稳定区的最低n／生成次数裁决。若固定“生成次数”后，另一维度总是更早且更稳定地改写“进入稳定区的最低n”，则“表示稳定性”的单因命题必须收窄或被推翻。

Church T, Ellenberg J, Farb B在2015年的原始研究或构造提供主要证据。Church T, Ellenberg J, Farb B在2015年的出处给出主要证明或构造：FI模把一系列对称群表示组织成函子，有限生成推出字符多项式与同调稳定。对“表示稳定性”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“进入稳定区的最低n”，分母必须完整保留“生成次数”。 “表示稳定性”的外推责任只有在至少两个独立场景中保持进入稳定区的最低n／生成次数同号后才成立。

反号边界是：当函子非有限生成时，维数越大，字符模式反而越可能持续产生新项。截至2026年8月6日，没有检得题名与“表示稳定性”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“稳定区之前的例外表示与扭曲同调”会从账本中消失，进入稳定区的最低n／生成次数便可能在形式上改善、在真实净结果上恶化。

“表示稳定性”进入指南、平台、采购、绩效或临床路径后，应同步公开进入稳定区的最低n／生成次数与“稳定区之前的例外表示与扭曲同调”的数量和去向。截至2026年8月6日尚无可承担“表示稳定性”直接更新责任的独立文献，因此不以机构网页。

“表示稳定性”的跨域接口是另见第179号《城市社会学》第7条“邻里效应”。围绕“表示稳定性”，两边共享“08 缺失即不存在”前提；在“表示稳定性”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读进入稳定区的最低n／生成次数与对方量纲；若“表示稳定性”与对方排序稳定异号，就要寻找现行分类未记录的转换项。实施科学称“过程忠实度”只是“表示稳定性”的异名。

第二幕的共同动作，是清算规模化、数字化和制度采纳后的回写。从“对称对偶”到“解析几何朗兰兹”，问题不再只是能否实现，而是对象、函子、参数和范畴边界在跨机构部署后是否保持同一含义，并让失败者、退出者和被排除者获得独立字段。 这一幕以“对称对偶”的已验证互换不变量／全部对偶预测不变量为起点，并由“解析几何朗兰兹”的反号边界检验可运输性。

一、对称对偶：表示范畴的两种几何实现互换Symplectic Duality

2016年前后的“对称对偶”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“没有光滑辛分解”设置独立位置，但它可能直接改变已验证互换不变量／全部对偶预测不变量。因此，表示论讨论Symplectic Duality时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“对称对偶”能否成立的只有双边范畴O不变量是否成对交换。本条占E位，先让“双边范畴O不变量是否成对交换”承担解释责任，并用已验证互换不变量／全部对偶预测不变量裁决。若固定“全部对偶预测不变量”后，另一维度总是更早且更稳定地改写“已验证互换不变量”，则“对称对偶”的单因命题必须收窄或被推翻。

Braden T, Licata A, Proudfoot N, Webster B在2016年的原始研究或构造提供主要证据。Braden T, Licata A, Proudfoot N, Webster B在2016年的出处给出主要证明或构造：辛对偶预测两类锥辛分解在范畴O、叶分层、Kähler参数与等变参数间互换。对“对称对偶”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“已验证互换不变量”，分母必须完整保留“全部对偶预测不变量”。 “对称对偶”的外推责任只有在至少两个独立场景中保持已验证互换不变量／全部对偶预测不变量同号后才成立。

反号边界是：当辛分解不存在或非锥时，范畴对应越强，几何对象反而越难定义。截至2026年8月6日，没有检得题名与“对称对偶”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“没有光滑辛分解”会从账本中消失，已验证互换不变量／全部对偶预测不变量便可能在形式上改善、在真实净结果上恶化。

“对称对偶”进入指南、平台、采购、绩效或临床路径后，应同步公开已验证互换不变量／全部对偶预测不变量与“没有光滑辛分解”的数量和去向。截至2026年8月6日尚无可承担“对称对偶”直接更新责任的独立文献，因此不以机构网页。

“对称对偶”的跨域接口是另见第179号《城市社会学》第7条“邻里效应”。围绕“对称对偶”，两边共享“08 缺失即不存在”前提；在“对称对偶”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读已验证互换不变量／全部对偶预测不变量与对方量纲；若“对称对偶”与对方排序稳定异号，就要寻找现行分类未记录的转换项。因果推断称“可运输性条件”只是“对称对偶”的异名。

二、Fargues–Fontaine曲线：局部朗兰兹被几何化到向量丛Fargues-Fontaine Curve

2018年前后的“Fargues–Fontaine曲线”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“位于非基本分层、未进入经典对应的G-丛”设置独立位置，但它可能直接改变可由几何Hecke作用识别的表示／全部平滑表示。因此，表示论讨论Fargues-Fontaine Curve时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“Fargues–Fontaine曲线”能否成立的只有G-丛的Harder–Narasimhan分层是否对应局部参数。本条占S位，先让“G-丛的Harder–Narasimhan分层是否对应局部参数”承担解释责任，并用可由几何Hecke作用识别的表示／全部平滑表示裁决。若固定“全部平滑表示”后，另一维度总是更早且更稳定地改写“可由几何Hecke作用识别的表示”，则“Fargues–Fontaine曲线”的单因命题必须收窄或被推翻。

Fargues L在2018年的原始研究或构造提供主要证据。Fargues L在2018年的出处给出主要证明或构造：Fargues–Fontaine曲线把p进Hodge结构和G-丛分层连接，为局部朗兰兹提供几何参数空间。对“Fargues–Fontaine曲线”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“可由几何Hecke作用识别的表示”，分母必须完整保留“全部平滑表示”。 “Fargues–Fontaine曲线”的外推责任只有在至少两个独立场景中保持可由几何Hecke作用识别的表示／全部平滑表示同号后才成立。

反号边界是：当堆栈非拟紧且稳定子巨大时，几何化越完整，六函子形式主义反而越昂贵。截至2026年8月6日，没有检得题名与“Fargues–Fontaine曲线”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“位于非基本分层、未进入经典对应的G-丛”会从账本中消失，可由几何Hecke作用识别的表示／全部平滑表示便可能在形式上改善、在真实净结果上恶化。

“Fargues–Fontaine曲线”进入指南、平台、采购、绩效或临床路径后，应同步公开可由几何Hecke作用识别的表示／全部平滑表示与“位于非基本分层、未进入经典对应的G-丛”的数量和去向。截至2026年8月6日尚无可承担“Fargues–Fontaine曲线”直接更新责任的独立文献。

“Fargues–Fontaine曲线”的跨域接口是另见第179号《城市社会学》第11条“智慧城市”。围绕“Fargues–Fontaine曲线”，两边共享“14 因与果方向给定”前提；在“Fargues–Fontaine曲线”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读可由几何Hecke作用识别的表示／全部平滑表示与对方量纲；若“Fargues–Fontaine曲线”与对方排序稳定异号，就要寻找现行分类未记录的转换项。统计决策称“结果校准”只是“Fargues–Fontaine曲线”的异名，可观察预测才是分离线。

三、对称性神经网络：群表示决定可学习层的形状Equivariant Neural Networks

2018年前后的“对称性神经网络”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“破坏主对称但携带标签信息的稀有样本”设置独立位置，但它可能直接改变等变误差／输入群变换幅度。因此，表示论讨论Equivariant Neural Networks时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“对称性神经网络”能否成立的只有网络层是否严格交换群作用。本条占D位，先让“网络层是否严格交换群作用”承担解释责任，并用等变误差／输入群变换幅度裁决。若固定“输入群变换幅度”后，另一维度总是更早且更稳定地改写“等变误差”，则“对称性神经网络”的单因命题必须收窄或被推翻。

Kondor R, Trivedi S在2018年的原始研究或构造提供主要证据。Kondor R, Trivedi S在2018年的出处给出主要证明或构造：论文证明群上的广义卷积是线性等变层的结构来源，把表示分解直接用于网络设计。对“对称性神经网络”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“等变误差”，分母必须完整保留“输入群变换幅度”。 “对称性神经网络”的外推责任只有在至少两个独立场景中保持等变误差／输入群变换幅度同号后才成立。

反号边界是：当真实数据只有近似对称时，架构越严格，偏差反而越难由数据修正。截至2026年8月6日，没有检得题名与“对称性神经网络”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“破坏主对称但携带标签信息的稀有样本”会从账本中消失，等变误差／输入群变换幅度便可能在形式上改善、在真实净结果上恶化。

“对称性神经网络”进入指南、平台、采购、绩效或临床路径后，应同步公开等变误差／输入群变换幅度与“破坏主对称但携带标签信息的稀有样本”的数量和去向。2024年的直接更新继续用同一对象与边界检验“对称性神经网络”，而不是只增加一个新术语。

“对称性神经网络”的跨域接口是另见第179号《城市社会学》第10条“城市韧性”。围绕“对称性神经网络”，两边共享“14 因与果方向给定”前提；在“对称性神经网络”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读等变误差／输入群变换幅度与对方量纲；若“对称性神经网络”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

四、Fargues–Scholze几何化：局部参数由谱作用产生Geometrization of Local Langlands

2021年前后的“Fargues–Scholze几何化”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“共享同一半单参数、却可能属于不同L包的表示”设置独立位置，但它可能直接改变获得兼容L参数的不可约表示／全部不可约平滑表示。因此，表示论讨论Geometrization of Local Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“Fargues–Scholze几何化”能否成立的只有谱中心作用是否唯一决定平滑表示的半单参数。本条占E位，先让“谱中心作用是否唯一决定平滑表示的半单”承担解释责任，并用获得兼容L参数的不可约表示／全部不可约平滑表示裁决。若固定“全部不可约平滑表示”后，另一维度总是更早且更稳定地改写“获得兼容L参数的不可约表示”，则“Fargues–Scholze几何化”的单因命题必须收窄或被推翻。

Fargues L, Scholze P在2021年的原始研究或构造提供主要证据。Fargues L, Scholze P在2021年的出处给出主要证明或构造：作者在Bun_G上构造谱作用并为平滑表示附加半单L参数，建立广泛的局部朗兰兹候选框架。对“Fargues–Scholze几何化”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“获得兼容L参数的不可约表示”，分母必须完整保留“全部不可约平滑表示”。

反号边界是：当包结构与纯性不足时，半单参数越普遍，单值细化反而越难。截至2026年8月6日，没有检得题名与“Fargues–Scholze几何化”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“共享同一半单参数、却可能属于不同L包的表示”会从账本中消失，获得兼容L参数的不可约表示／全部不可约平滑表示便可能在形式上改善、在真实净结果上恶化。

“Fargues–Scholze几何化”进入指南、平台、采购、绩效或临床路径后，应同步公开获得兼容L参数的不可约表示／全部不可约平滑表示与“共享同一半单参数、却可能属于不同L包的表示”的数量和去向。

“Fargues–Scholze几何化”的跨域接口是另见第179号《城市社会学》第10条“城市韧性”。围绕“Fargues–Scholze几何化”，两边共享“14 因与果方向给定”前提；在“Fargues–Scholze几何化”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读获得兼容L参数的不可约表示／全部不可约平滑表示与对方量纲；若“Fargues–Scholze几何化”与对方排序稳定异号，就要寻找现行分类未记录的转换项。因果推断称“可运输性条件”只是“Fargues–Scholze几何化”的异名。 “Fargues–Scholze几何化”仍须以同一分母在独立场景复核。

五、自守表示的相对周期：区分性替代单纯L函数匹配Relative Langlands Program

2017年前后的“自守表示的相对周期”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“所有局部周期非零却全局周期消失的表示”设置独立位置，但它可能直接改变具有非零周期的表示／全部自守表示。因此，表示论讨论Relative Langlands Program时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“自守表示的相对周期”能否成立的只有周期非零是否由相对L参数唯一预测。本条占S位，先让“周期非零是否由相对L参数唯一预测”承担解释责任，并用具有非零周期的表示／全部自守表示裁决。若固定“全部自守表示”后，另一维度总是更早且更稳定地改写“具有非零周期的表示”，则“自守表示的相对周期”的单因命题必须收窄或被推翻。

Sakellaridis Y, Venkatesh A在2017年的原始研究或构造提供主要证据。Sakellaridis Y, Venkatesh A在2017年给出早期前身；Sakellaridis Y, Venkatesh A在2017年的出处给出主要证明或构造：相对朗兰兹用球面簇上的周期积分、Plancherel分解和对偶群统一各种区分表示问题。对“自守表示的相对周期”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“具有非零周期的表示”，分母必须完整保留“全部自守表示”。

反号边界是：当局部—整体原则失败时，局部区分越完整，全局周期仍可能归零。截至2026年8月6日，没有检得题名与“自守表示的相对周期”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“所有局部周期非零却全局周期消失的表示”会从账本中消失，具有非零周期的表示／全部自守表示便可能在形式上改善、在真实净结果上恶化。

“自守表示的相对周期”进入指南、平台、采购、绩效或临床路径后，应同步公开具有非零周期的表示／全部自守表示与“所有局部周期非零却全局周期消失的表示”的数量和去向。截至2026年8月6日尚无可承担“自守表示的相对周期”直接更新责任的独立文献。

“自守表示的相对周期”的跨域接口是另见第201号《游戏研究》第11条“独立游戏生产”。围绕“自守表示的相对周期”，两边共享“18 干预不回写到被干预者”前提；在“自守表示的相对周期”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读具有非零周期的表示／全部自守表示与对方量纲；若“自守表示的相对周期”与对方排序稳定异号。

六、局部参数唯一细化：纯性把半单参数恢复成完整参数Local Parameters of Supercuspidals

2024年前后的“局部参数唯一细化”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“具有同一半单化、但单值算子不同的参数”设置独立位置，但它可能直接改变可唯一细化的半单参数／全部半单参数。因此，表示论讨论Local Parameters of Supercuspidals时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“局部参数唯一细化”能否成立的只有纯性与温和性是否足以消除参数细化歧义。本条占D位，先让“纯性与温和性是否足以消除参数细化歧义”承担解释责任，并用可唯一细化的半单参数／全部半单参数裁决。若固定“全部半单参数”后，另一维度总是更早且更稳定地改写“可唯一细化的半单参数”，则“局部参数唯一细化”的单因命题必须收窄或被推翻。

Gan WT, Harris M, Sawin W, Beuzart-Plessis R在2024年的原始研究或构造提供主要证据。Gan WT, Harris M, Sawin W, Beuzart-Plessis R在2024年的出处给出主要证明或构造：论文证明正特征局部域上温和表示的Genestier–Lafforgue半单参数可唯一细化为温和L参数，并给出超尖表示的分歧性质。对“局部参数唯一细化”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“可唯一细化的半单参数”，分母必须完整保留“全部半单参数”。

反号边界是：当纯性条件缺失时，参数信息增加也不保证L包唯一，方向可能归零或反转。截至2026年8月6日，没有检得题名与“局部参数唯一细化”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“具有同一半单化、但单值算子不同的参数”会从账本中消失。

“局部参数唯一细化”进入指南、平台、采购、绩效或临床路径后，应同步公开可唯一细化的半单参数／全部半单参数与“具有同一半单化、但单值算子不同的参数”的数量和去向。截至2026年8月6日尚无可承担“局部参数唯一细化”直接更新责任的独立文献，因此不以机构网页、新闻稿或邻近综述冒充新证据。

“局部参数唯一细化”的跨域接口是另见第201号《游戏研究》第10条“严肃游戏”。围绕“局部参数唯一细化”，两边共享“18 干预不回写到被干预者”前提；在“局部参数唯一细化”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读可唯一细化的半单参数／全部半单参数与对方量纲；若“局部参数唯一细化”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

七、几何朗兰兹证明工程：范畴等价必须控制奇异支撑Categorical Geometric Langlands

2024年前后的“几何朗兰兹证明工程”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“不满足nilpotent支撑、因而被排除的相干层”设置独立位置，但它可能直接改变通过主函子获得等价的生成子／全部范畴生成子。因此，表示论讨论Categorical Geometric Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“几何朗兰兹证明工程”能否成立的只有奇异支撑限制是否足以使两侧函子成为等价。本条占E位，先让“奇异支撑限制是否足以使两侧函子成为等”承担解释责任，并用通过主函子获得等价的生成子／全部范畴生成子裁决。若固定“全部范畴生成子”后，另一维度总是更早且更稳定地改写“通过主函子获得等价的生成子”。

Gaitsgory D, Raskin S and collaborators在2024年的原始研究或构造提供主要证据。2024年几何朗兰兹证明工程把Bun_G侧的D模与局部系统侧的IndCoh范畴连接，并以nilpotent singular support限定正确谱侧。证明的实证等价物是模块间兼容性：生成子、下降、紧性和函子复合必须逐项闭合；任一局部技术缺口都不能由“证明计划规模”代替。对“几何朗兰兹证明工程”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“通过主函子获得等价的生成子”，分母必须完整保留“全部范畴生成子”。

反号边界是：当无限型堆栈上的紧性和下降未闭合时，模块越宏大，局部技术缺口反而越难审计。截至2026年8月6日，没有检得题名与“几何朗兰兹证明工程”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“不满足nilpotent支撑、因而被排除的相干层”会从账本中消失。

“几何朗兰兹证明工程”进入指南、平台、采购、绩效或临床路径后，应同步公开通过主函子获得等价的生成子／全部范畴生成子与“不满足nilpotent支撑、因而被排除的相干层”的数量和去向。

“几何朗兰兹证明工程”的跨域接口是另见第201号《游戏研究》第10条“严肃游戏”。围绕“几何朗兰兹证明工程”，两边共享“18 干预不回写到被干预者”前提；在“几何朗兰兹证明工程”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读通过主函子获得等价的生成子／全部范畴生成子与对方量纲；若“几何朗兰兹证明工程”与对方排序稳定异号。 “几何朗兰兹证明工程”仍须以同一分母在独立场景复核。

八、顶点代数与解析朗兰兹：积分核承担Hecke互换Vertex Algebras in Analytic Langlands

2024年前后的“顶点代数与解析朗兰兹”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“不被属零核覆盖的高属谱数据”设置独立位置，但它可能直接改变被同一核互换的Hamiltonian数／全部生成Hamiltonian。因此，表示论讨论Vertex Algebras in Analytic Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“顶点代数与解析朗兰兹”能否成立的只有顶点代数核是否同时互换全部Gaudin算子。本条占S位，先让“顶点代数核是否同时互换全部Gaudin算子”承担解释责任，并用被同一核互换的Hamiltonian数／全部生成Hamiltonian裁决。若固定“全部生成Hamiltonian”后，另一维度总是更早且更稳定地改写“被同一核互换的Hamiltonian数”，则“顶点代数与解析朗兰兹”的单因命题必须收窄或被推翻。

Gaiotto D在2024年的原始研究或构造提供主要证据。Gaiotto D在2024年的出处给出主要证明或构造：顶点代数构造乘法核，互换三组Gaudin Hamiltonian作用，为属零曲线上的解析朗兰兹方程提供显式解。对“顶点代数与解析朗兰兹”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“被同一核互换的Hamiltonian数”，分母必须完整保留“全部生成Hamiltonian”。 “顶点代数与解析朗兰兹”的外推责任只有在至少两个独立场景中保持被同一核互换的Hamiltonian数／全部生成Hamiltonian同号后才成立。

反号边界是：当高属或一般群引入额外模参数时，显式核越成功，普遍外推反而越不确定。截至2026年8月6日，没有检得题名与“顶点代数与解析朗兰兹”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“不被属零核覆盖的高属谱数据”会从账本中消失，被同一核互换的Hamiltonian数／全部生成Hamiltonian便可能在形式上改善、在真实净结果上恶化。

“顶点代数与解析朗兰兹”进入指南、平台、采购、绩效或临床路径后，应同步公开被同一核互换的Hamiltonian数／全部生成Hamiltonian与“不被属零核覆盖的高属谱数据”的数量和去向。

“顶点代数与解析朗兰兹”的跨域接口是另见第179号《城市社会学》第17条“绿色绅士化”。围绕“顶点代数与解析朗兰兹”，两边共享“23 中位个案代表分布”前提；在“顶点代数与解析朗兰兹”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读被同一核互换的Hamiltonian数／全部生成Hamiltonian与对方量纲；若“顶点代数与解析朗兰兹”与对方排序稳定异号。 “顶点代数与解析朗兰兹”仍须以同一分母在独立场景复核。

九、范畴Deligne–Langlands：K群等式被提升为相干层等价Categorical Deligne-Langlands

2024年前后的“范畴Deligne–Langlands”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“K群中相同、但扩张结构不同的对象”设置独立位置，但它可能直接改变被相干Springer函子覆盖的表示块／全部Iwahori块。因此，表示论讨论Categorical Deligne-Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“范畴Deligne–Langlands”能否成立的只有Hecke卷积范畴是否完整恢复表示块。本条占D位，先让“Hecke卷积范畴是否完整恢复表示块”承担解释责任，并用被相干Springer函子覆盖的表示块／全部Iwahori块裁决。若固定“全部Iwahori块”后，另一维度总是更早且更稳定地改写“被相干Springer函子覆盖的表示块”，则“范畴Deligne–Langlands”的单因命题必须收窄或被推翻。

Ben-Zvi D, Chen H, Helm D, Nadler D在2024年的原始研究或构造提供主要证据。Ben-Zvi D, Chen H, Helm D, Nadler D在2024年的出处给出主要证明或构造：相干Springer理论把仿射Hecke代数的K群描述提升到范畴层，并连接Iwahori固定向量的局部朗兰兹。对“范畴Deligne–Langlands”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“被相干Springer函子覆盖的表示块”，分母必须完整保留“全部Iwahori块”。 “范畴Deligne–Langlands”的外推责任只有在至少两个独立场景中保持被相干Springer函子覆盖的表示块／全部Iwahori块同号后才成立。

反号边界是：当参数具有更大稳定子时，K群匹配越完整，范畴扩张数据反而越丰富。截至2026年8月6日，没有检得题名与“范畴Deligne–Langlands”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“K群中相同、但扩张结构不同的对象”会从账本中消失，被相干Springer函子覆盖的表示块／全部Iwahori块便可能在形式上改善、在真实净结果上恶化。

“范畴Deligne–Langlands”进入指南、平台、采购、绩效或临床路径后，应同步公开被相干Springer函子覆盖的表示块／全部Iwahori块与“K群中相同、但扩张结构不同的对象”的数量和去向。截至2026年8月6日尚无可承担“范畴Deligne–Langlands”直接更新责任的独立文献，因此不以机构网页、新闻稿或邻近综述冒充新证据。

“范畴Deligne–Langlands”的跨域接口是另见第179号《城市社会学》第16条“城市孤独”。围绕“范畴Deligne–Langlands”，两边共享“23 中位个案代表分布”前提；在“范畴Deligne–Langlands”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读被相干Springer函子覆盖的表示块／全部Iwahori块与对方量纲；若“范畴Deligne–Langlands”与对方排序稳定异号，就要寻找现行分类未记录的转换项。实施科学称“过程忠实度”只是“范畴Deligne–Langlands”的异名，可观察预测才是分离线。

十、任意维等变网络：表示稳定性让模型跨维度迁移Any-Dimensional Equivariant Networks

2024年前后的“任意维等变网络”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“只在高维首次出现、训练维度不存在的表示分量”设置独立位置，但它可能直接改变新维度性能／训练维度性能。因此，表示论讨论Any-Dimensional Equivariant Networks时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“任意维等变网络”能否成立的只有稳定表示结构是否足以保证跨维泛化。本条占E位，先让“稳定表示结构是否足以保证跨维泛化”承担解释责任，并用新维度性能／训练维度性能裁决。若固定“训练维度性能”后，另一维度总是更早且更稳定地改写“新维度性能”，则“任意维等变网络”的单因命题必须收窄或被推翻。

Levin E, Diaz M在2024年的原始研究或构造提供主要证据。Levin E, Diaz M在2024年的出处给出主要证明或构造：作者利用表示稳定性，让固定维度训练的等变网络扩展到任意输入维度，并给出开源实现与数值实验。对“任意维等变网络”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“新维度性能”，分母必须完整保留“训练维度性能”。 “任意维等变网络”的外推责任只有在至少两个独立场景中保持新维度性能／训练维度性能同号后才成立。

反号边界是：当目标函数含维度特有相互作用时，跨维结构越稳定，预测误差反而越系统。截至2026年8月6日，没有检得题名与“任意维等变网络”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“只在高维首次出现、训练维度不存在的表示分量”会从账本中消失。

“任意维等变网络”进入指南、平台、采购、绩效或临床路径后，应同步公开新维度性能／训练维度性能与“只在高维首次出现、训练维度不存在的表示分量”的数量和去向。2024年的直接更新继续用同一对象与边界检验“任意维等变网络”，而不是只增加一个新术语。

“任意维等变网络”的跨域接口是另见第179号《城市社会学》第16条“城市孤独”。围绕“任意维等变网络”，两边共享“23 中位个案代表分布”前提；在“任意维等变网络”中，本条把E位推到首位，对方则可能锁定另一位置。应在同一对象上并读新维度性能／训练维度性能与对方量纲；若“任意维等变网络”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

十一、分片线性表示论：ReLU网络被视为范畴化组合对象Piecewise-Linear Representation Theory

2024年前后的“分片线性表示论”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“落在区域边界、激活模式不唯一的输入”设置独立位置，但它可能直接改变被分类的等变线性区域／全部网络线性区域。因此，表示论讨论Piecewise-Linear Representation Theory时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“分片线性表示论”能否成立的只有分片线性范畴是否分类全部等变ReLU层。本条占S位，先让“分片线性范畴是否分类全部等变ReLU层”承担解释责任，并用被分类的等变线性区域／全部网络线性区域裁决。若固定“全部网络线性区域”后，另一维度总是更早且更稳定地改写“被分类的等变线性区域”，则“分片线性表示论”的单因命题必须收窄或被推翻。

Gibson J, Tubbenhauer D, Williamson G在2024年的原始研究或构造提供主要证据。Gibson J, Tubbenhauer D, Williamson G在2024年的出处给出主要证明或构造：工作把分片线性映射与等变神经网络置于新的表示论框架，研究可表达性与对称约束。对“分片线性表示论”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“被分类的等变线性区域”，分母必须完整保留“全部网络线性区域”。 “分片线性表示论”的外推责任只有在至少两个独立场景中保持被分类的等变线性区域／全部网络线性区域同号后才成立。

反号边界是：当区域数随深度指数增长时，范畴描述越精确，计算可判定性反而越弱。截至2026年8月6日，没有检得题名与“分片线性表示论”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“落在区域边界、激活模式不唯一的输入”会从账本中消失。

“分片线性表示论”进入指南、平台、采购、绩效或临床路径后，应同步公开被分类的等变线性区域／全部网络线性区域与“落在区域边界、激活模式不唯一的输入”的数量和去向。

“分片线性表示论”的跨域接口是另见第180号《宗教社会学》第14条“仪式同步”。围绕“分片线性表示论”，两边共享“20 窗口内稳定等于长期稳定”前提；在“分片线性表示论”中，本条把S位推到首位，对方则可能锁定另一位置。应在同一对象上并读被分类的等变线性区域／全部网络线性区域与对方量纲；若“分片线性表示论”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

十二、解析几何朗兰兹：规范场论把表示对应变成谱问题Analytic Geometric Langlands

2024年前后的“解析几何朗兰兹”改写了一条旧默认：半单、有限维和精确对称可以覆盖主要表示现象。旧账本没有为“不在离散谱中、却影响完备性的广义本征态”设置独立位置，但它可能直接改变共同本征向量数／谱离散度。因此，表示论讨论Analytic Geometric Langlands时，必须把对象、函子、参数和范畴边界放回同一对象与观察窗，而不能只保留最易登记的终点。

可反驳主张是：决定“解析几何朗兰兹”能否成立的只有Hecke与Hitchin算子是否在同一Hilbert空间可同时谱分解。本条占D位，先让“Hecke与Hitchin算子是否在同一Hilbert空间可同时谱分解”承担解释责任，并用共同本征向量数／谱离散度裁决。若固定“谱离散度”后，另一维度总是更早且更稳定地改写“共同本征向量数”，则“解析几何朗兰兹”的单因命题必须收窄或被推翻。

Gaiotto D, Witten E在2024年的原始研究或构造提供主要证据。Gaiotto D, Witten E在2024年的出处给出主要证明或构造：规范理论提出解析几何朗兰兹的Hilbert空间、Hecke算子和量子Hitchin系统框架，强调自伴谱与核。对“解析几何朗兰兹”而言，证据只承担原文能够支持的样本量、效应量、阈值、结构量或装置读数；判读时分子是“共同本征向量数”，分母必须完整保留“谱离散度”。 “解析几何朗兰兹”的外推责任只有在至少两个独立场景中保持共同本征向量数／谱离散度同号后才成立。

反号边界是：当算子域、自伴扩张和连续谱未控制时，物理对偶越漂亮，解析对应反而越不确定。截至2026年8月6日，没有检得题名与“解析几何朗兰兹”核心命题直接相反且元数据完整的独立论文；不能用邻近主题补位。若只保留完成者、成功装置或可编码事件，“不在离散谱中、却影响完备性的广义本征态”会从账本中消失。

“解析几何朗兰兹”进入指南、平台、采购、绩效或临床路径后，应同步公开共同本征向量数／谱离散度与“不在离散谱中、却影响完备性的广义本征态”的数量和去向。2024年的直接更新继续用同一对象与边界检验“解析几何朗兰兹”，而不是只增加一个新术语。

“解析几何朗兰兹”的跨域接口是另见第178号《犯罪学与治安》第13条“枪击网络”。围绕“解析几何朗兰兹”，两边共享“21 制度采纳不改变指标含义”前提；在“解析几何朗兰兹”中，本条把D位推到首位，对方则可能锁定另一位置。应在同一对象上并读共同本征向量数／谱离散度与对方量纲；若“解析几何朗兰兹”与对方排序稳定异号，就要寻找现行分类未记录的转换项。

◎ 二十年连起来看

第一条贯穿线是：表示结构从名义覆盖转向可判决的分子与分母。“几何朗兰兹”与“对称对偶”都表明，只报一个中心读数会把选择机制藏进结果；本块20条因此逐一给出带分母量纲。 例如“几何朗兰兹”必须同时核对满足全部Hecke本征函子的对象／候选D模对象，并把“不能由经典点检测、只存在于导出方向的对象”从余数改成独立记录；否则贯穿线只剩口号。

第二条贯穿线是：路径本身成为因果对象。“Bridgeland稳定性”“对称性神经网络”与“范畴Deligne–Langlands”不再把实施差异视为噪声，而是要求记录顺序、升级、维护、退出或控制周期；路径改变时，方向可以反号。 例如“Bridgeland稳定性”必须同时核对满足支撑性质的稳定条件／全部候选中心荷，并把“中心荷趋零、无法进入稳定相位的对象”从余数改成独立记录；否则贯穿线只剩口号。

第三条贯穿线是：制度采用会回写指标。“自守表示的相对周期”和“解析几何朗兰兹”进入平台、指南或设施后，参与者与机构会围绕阈值重新组织行为；所以表示论已经长出一套针对分母漂移、外部验证和空栏的自我审查能力。 例如“解析几何朗兰兹”必须同时核对共同本征向量数／谱离散度，并把“不在离散谱中、却影响完备性的广义本征态”从余数改成独立记录；否则贯穿线只剩口号。

◎ 三个常见误解

误解一是把“更新”理解为增加新设备或新名词。这个误解容易成立，因为“顶点代数与解析朗兰兹”一类条目常以技术形态出现；正确判据却是它是否推翻旧默认、给出可证伪单因，并能由被同一核互换的Hamiltonian数／全部生成Hamiltonian裁决。

误解二是样本越大、传感越密或参数越多，偏差必然越小。“分片线性表示论”显示，数据增长若沿用同一选择机制，只会更精确地复制缺失；必须把“落在区域边界、激活模式不唯一的输入”另设字段。

误解三是通过报告清单、伦理原则或形式审查便等于实质安全。“解析几何朗兰兹”的失效条件恰好相反：当算子域、自伴扩张和连续谱未控制时，物理对偶越漂亮，解析对应反而越不确定。正确表述是，合规只能证明检查被执行，不能证明风险已经消失。

◎ 与相邻领域的接口

与统计、因果推断的接口是分母与外推。表示论负责定义“谁、什么、哪段时间”算对象，统计方法负责在该定义内估计不确定性；对象边界一变，原置信区间不能原样搬运。

与工程和最优化的接口是控制与代价。“Fargues–Scholze几何化”要求把过程忠实度、资源预算或安全过滤器写进系统，而工程学给出可控性和停止准则；两者的分工判据是失败是否来自机制不可控，还是目标定义错误。

与社会学、伦理和法学的接口是资格与分配。“任意维等变网络”中的平均改善不能回答谁承担成本、谁被排除；后者必须由权利、责任和群体分布另行判断。

与设计、传播和平台研究的接口是使用后的回写。“顶点代数与解析朗兰兹”一经嵌入界面或流程，记录行为就会改变被记录对象；本块提供结果与失效证据，相邻领域解释界面、组织和权力怎样生产这些读数。

◎ 争议现场

争议一：几何朗兰兹的平均效应能否指导尾部个案。收敛条件是至少两个独立场景预注册同一满足全部Hecke本征函子的对象／候选D模对象，并公开“不能由经典点检测、只存在于导出方向的对象”；只复制显著性不能结束争论。

争议二：对称性神经网络的机制能否跨制度运输。收敛条件是把源场景与目标场景的资源、对象和步骤逐项映射，报告校准漂移与反号亚组，而不是把“实施差异”留在讨论部分。

争议三：解析几何朗兰兹的数字化或规模化收益是否大于新风险。收敛条件是用决策曲线、净获益、长期随访或结构等价检验同时记录收益、伤害、退出和维护成本；一项精度或一个案例不足以收敛。

◎ 往下五年看什么

观察读数一：簇代数与表示在独立机构中保持同号的中心数／全部外部验证中心数，而不是最高单中心精度。

观察读数二：“没有任何全局自守实现的局部表示”是否在登记、指南或数据字典中获得独立字段；字段出现才说明分母治理开始改变。

观察读数三：顶点代数与解析朗兰兹进入绩效或平台后，原指标与真实结局之间的校准斜率是否漂移；漂移大于预设阈值就应触发重新定义。

观察读数四：解析几何朗兰兹的净获益是否在弱势、低资源或高风险亚组同步出现，并且没有以更高退出、等待、耗能或照护负担换取。

◎ 可与哪些领域对撞

本块第1条“几何朗兰兹”与另见第179号《城市社会学》第2条“城市非正规性”对撞。两边共享“03 有限近似控制无限对象”前提；本条把S位视为充分原因，对方则把D或E位推到首位。若两边都成立，就必须承认现有分类漏掉了一个把满足全部Hecke本征函子的对象／候选D模对象转换为对方读数的第三机制；判决性预测是两个读数在同一对象上何时稳定异号。

本块第6条“p进几何中的完美空间”与另见第201号《游戏研究》第19条“平台治理与社区规范”对撞。两边共享“05 平均值代表个体”前提；本条把E位视为充分原因，对方则把S或D位推到首位。若两边都成立，就必须承认现有分类漏掉了一个把倾斜后保留的覆盖类别／原覆盖类别转换为对方读数的第三机制；判决性预测是两个读数在同一对象上何时稳定异号。

本块第11条“对称性神经网络”与另见第179号《城市社会学》第10条“城市韧性”对撞。两边共享“14 因与果方向给定”前提；本条把D位视为充分原因，对方则把S或E位推到首位。若两边都成立，就必须承认现有分类漏掉了一个把等变误差／输入群变换幅度转换为对方读数的第三机制；判决性预测是两个读数在同一对象上何时稳定异号。

本块第16条“顶点代数与解析朗兰兹”与另见第179号《城市社会学》第17条“绿色绅士化”对撞。两边共享“23 中位个案代表分布”前提；本条把S位视为充分原因，对方则把D或E位推到首位。若两边都成立，就必须承认现有分类漏掉了一个把被同一核互换的Hamiltonian数／全部生成Hamiltonian转换为对方读数的第三机制；判决性预测是两个读数在同一对象上何时稳定异号。

◎ 十条可做的研究命题

1. 命题：“几何朗兰兹”主要由只有Hecke本征条件是否在范畴层保持并决定对象是决定性的解释。方法：两场景预注册满足全部Hecke本征函子的对象／候选D模对象，登记“不能由经典点检测、只存在于导出方向的对象”。证伪：方向反号，或另一位置稳定先行。

2. 命题：“簇代数与表示”主要由只有每次簇突变是否对应可逆的表示范畴变换是决定性的解释。方法：两场景预注册可由刚性对象实现的簇变量／全部簇变量，登记“不对应有限维刚性模的簇变量”。证伪：方向反号，或另一位置稳定先行。

3. 命题：“KLR代数”主要由只有简单模的诱导限制是否严格实现晶体算子是决定性的解释。方法：两场景预注册晶体边被简单模实现的比例／全部晶体边，登记“在特征零消失、但模特征中出现的分解因子”。证伪：方向反号，或另一位置稳定先行。

4. 命题：“局部—整体模p朗兰兹”主要由只有局部表示参数是否能从全局完成上同调中是决定性的解释。方法：两场景预注册被全局实现的局部参数／全部局部候选参数，登记“没有任何全局自守实现的局部表示”。证伪：方向反号，或另一位置稳定先行。

5. 命题：“对称对偶”主要由只有双边范畴O不变量是否成对交换是决定性的解释。方法：两场景预注册已验证互换不变量／全部对偶预测不变量，登记“没有光滑辛分解”。证伪：方向反号，或另一位置稳定先行。

6. 命题：“对称性神经网络”主要由只有网络层是否严格交换群作用是决定性的解释。方法：两场景预注册等变误差／输入群变换幅度，登记“破坏主对称但携带标签信息的稀有样本”。证伪：方向反号，或另一位置稳定先行。

7. 命题：“自守表示的相对周期”主要由只有周期非零是否由相对L参数唯一预测是决定性的解释。方法：两场景预注册具有非零周期的表示／全部自守表示，登记“所有局部周期非零却全局周期消失的表示”。证伪：方向反号，或另一位置稳定先行。

8. 命题：“几何朗兰兹证明工程”主要由只有奇异支撑限制是否足以使两侧函子成为等是决定性的解释。方法：两场景预注册通过主函子获得等价的生成子／全部范畴生成子，登记“不满足nilpotent支撑、因而被排除的相干层”。证伪：方向反号，或另一位置稳定先行。

9. 命题：“范畴Deligne–Langlands”主要由只有Hecke卷积范畴是否完整恢复表示块是决定性的解释。方法：两场景预注册被相干Springer函子覆盖的表示块／全部Iwahori块，登记“K群中相同、但扩张结构不同的对象”。证伪：方向反号，或另一位置稳定先行。

10. 命题：“解析几何朗兰兹”主要由只有Hecke与Hitchin算子是否在同一Hilbert空间可同时谱分解是决定性的解释。方法：两场景预注册共同本征向量数／谱离散度，登记“不在离散谱中、却影响完备性的广义本征态”。证伪：方向反号，或另一位置稳定先行。

◎ 资料核验