SDE Universes·新思想前沿›数学与统计的其余主干
新思想前沿 · 数学与统计的其余主干

复分析与复几何

近二十年 · 两幕 · 20 个新思想 · 约 30,599 字 · 王德生 亲撰 · 2026 年 8 月

复分析与复几何近二十年的主线，是把“光滑对象上的精确方程”扩展成“奇异、退化与极限对象上的可核验结构”。上一个十年，多重次调和势、非极乘积、变分Monge–Ampère、L²延拓和Fano稳定性先后换掉了光滑性这一默认；这十年，边缘正则、Mabuchi完备化、cscK存在、非阿基米德能量和奇异模空间把稳定性真正变成一套可计量的退化理论。以下二十条以体积比、能量斜率、延拓范数和正则阶作为共同分母。选目把奇异Kähler–Einstein度量、稳定性、极小模型、退化与模空间放在同一条证据链上。第一幕建立在奇异空间上解方程与量化稳定性的语言，第二幕追踪存在性、紧化、坍缩和镜像侧的新完成。这里的“几何对象”不是静止流形，而是允许奇点、极限和代数退化共同参与的复合对象。每条都必须说明所用奇点类别、体积或曲率分母；省掉这些条件，所谓“存在”“收敛”与“分类”就会被误读成无条件结论。阅读时应把每条的主证据年份、关键读数与失效条件连在一起，而不能把标题本身当作已经稳定的共识。只有在独立对象上保持方向，转向才算真正立住。

【第一幕】上一个十年 · 约 2006—2016

第一幕的共同动作，是先让奇异对象有资格进入方程：质量如何定义、极限如何代数化、可积阈值怎样开放，以及解析存在如何被代数稳定性审计。从“奇异空间上的Kähler–Einstein度量”到“Fano流形上的Yau–Tian–Donaldson定理”，共同动作是把旧默认改写成可反驳的结构命题；主证据均在2016年前形成。

甲、奇异空间上的Kähler–Einstein度量Singular Kähler–Einstein Metrics

提出Philippe Eyssidieux、Vincent Guedj与Ahmed Zeriahi，2009年《Journal of the American Mathematical Society》22(3):607–639，DOI:10.1090/S0894-0347-09-00629-8　争议或最新后续边界见Robert Berman等关于对数Fano簇与变分方法的工作　关键正则流形上的方程理论可以延伸到具有klt奇点的规范模型

在2009年前后的文献中，默认判断仍是“Kähler–Einstein方程通常在光滑紧Kähler流形上讨论，奇点被看作必须先解析掉的障碍”。它没有处理代数几何中的规范模型天然带奇点，若只在光滑解析上求解，无法给出极小模型的内在度量，因此会把局部成功写成一般规律，或把尚未测量写成不存在。本条转向首先做了一次口径清算：以“非极集上Monge–Ampère总质量／上同调体积”为共同尺度，重新规定哪些对象、误差和边界有资格进入结论。

理论内容不是“再加一种方法”，而是：在klt射影对上用有限能量多重次调和势可定义并构造负或零曲率的奇异Kähler–Einstein度量。它允许以下决定性反例：固定奇点类别、体积归一化与退化路径，按“非极集上Monge–Ampère总质量／上同调体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。检验时必须让支持方与反对方在同一对象、同一误差口径和同一停止规则下比较，否则双方只是在各自定义的成功条件里获胜。

主证据来自Eyssidieux、Guedj与Zeriahi在2009年JAMS 22卷607–639页的奇异Kähler–Einstein度量工作。作者在非光滑背景上建立复Monge–Ampère方程的解，并证明解在正则部分光滑；方程右端的可积指数由klt条件提供，因而奇点强度进入可检验阈值。其关键不是论文规模，而是给出了“非极集上Monge–Ampère总质量／上同调体积”这一可核对读数；它使同一命题能够跨对象、跨样本或跨尺度复验。后来工作可以扩大范围、改进常数或增加样本，却不能替代这笔证据在历史上的归幕位置。

争议边界是：该框架首先覆盖非正曲率和klt条件；正曲率Fano情形还需稳定性，超出klt的lc奇点也可能令有限能量与唯一性失效。失效条件为：若对象落入以下已知边界，本条不再自动成立：该框架首先覆盖非正曲率和klt条件；正曲率Fano情形还需稳定性，超出klt的lc奇点也可能令有限能量与唯一性失效。收敛需统一对象与“非极集上Monge–Ampère总质量／上同调体积”，并公开奇点模型、能量斜率和紧化极限及最强反例。

由此，规范模型从只有代数意义的终点变成带有内在度量的对象，退化族的极限可以在解析与代数两边同时追踪。对本项证据须公开“非极集上Monge–Ampère总质量／上同调体积”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第303号第七条Yau–Tian–Donaldson定理相接：本条解决奇异方程能否定义，第七条解决正曲率解何时存在；与第310号非平稳空间过程共享“奇点改变有效支持”的预设。异名：代数几何称“klt对上的规范度量”，统计学称“带结构缺失的潜在场”；另见第310号障碍空间模型。共享预设为“允许奇点后，复Monge–Ampère测度仍能在有限能量类中承担体积约束”；先统一“非极集上Monge–Ampère总质量／上同调体积”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置E——把『奇异空间上的Kähler–Einstein度量』成立所需的边界环境作为首要显露　单因决定『奇异空间上的Kähler–Einstein度量』当前结论的最小充分项只有：正则流形上的方程理论可以延伸到具有klt奇点的规范模型　预设〔01 谁进入分母〕允许奇点后，复Monge–Ampère测度仍能在有限能量类中承担体积约束　量纲非极集上Monge–Ampère总质量／上同调体积　失效失效边界是『对象落入以下已知边界，本条不再自动成立：该框架首先覆盖非正曲率和klt条件；正曲率Fano情形还需稳定性，超出klt的lc奇点也可能令有限能量与』；越过该边界，相关条件越强，非极集上Monge–Ampère总质量反而越低　自曝『奇异空间上的Kähler–Einstein度量』的原始材料只直接支持“主证据来自Eyssidieux、Guedj与Zeriahi在2009年JAMS22卷607–639页的奇异Kähler–Einstein度量工作”，没有自动覆盖边界外对象　空栏『奇异空间上的Kähler–Einstein度量』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名代数几何称“klt对上的规范度量”，统计学称“带结构缺失的潜在场”；另见第 211 号第 17 条『曲率下界的整流性：奇异集要有可数几何坐标』

乙、大上同调类中的非极乘积Non-pluripolar Products in Big Classes

提出Sébastien Boucksom、Philippe Eyssidieux、Vincent Guedj与Ahmed Zeriahi，2010年《Acta Mathematica》205(2):199–262，DOI:10.1007/s11511-010-0054-7　争议或最新Robert Berman、Sébastien Boucksom、Vincent Guedj与Ahmed Zeriahi，2013年《Publications Mathématiques de l’IHÉS》117:179–245　关键非极乘积使退化正流的楔积不再把质量错误堆到极集上

到2010年前后，常见出发点仍是“正闭流的楔积只在势足够光滑时自然定义，奇异势之间的乘积可能产生不可控质量”。真正暴露问题的并非一个孤立反例，而是大而非Kähler的上同调类是双有理几何的常态，经典Bedford–Taylor乘积不能直接覆盖其奇点。当研究者改用“非极Monge–Ampère质量／上同调体积”比较时，旧叙事中被隐藏的代价、边界或层级差异显现出来；这也是本条能够成为新思想而不是普通技术改良的原因。

新命题明确写成：应把极集上的伪质量剔除，以非极乘积定义总质量，并以满质量势类作为复杂Monge–Ampère方程的正确解空间。这句话可以被反驳，检验方式是：固定奇点类别、体积归一化与退化路径，按“非极Monge–Ampère质量／上同调体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。它要求同时锁定对象类、归一化和资源预算；若只换一批更有利的数据、放宽失败标准或改用更弱基线，得到的只是另一条命题，不能算对原主张的支持。

证据链的锚点是Boucksom、Eyssidieux、Guedj与Zeriahi在2010年Acta Mathematica 205卷199–262页的工作。论文构造非极楔积并证明其上同调质量受正体积控制；满质量类E(X,θ)以“实际Monge–Ampère质量等于类的体积”作为结构读数。若只保留结论而删去读数，读者无法知道改变发生在对象数、尺度、覆盖、计算复杂度还是预测误差；“非极Monge–Ampère质量／上同调体积”因此是本条最应被复核的部分，也是后续反例必须对齐的分母。

主结果没有消灭争议。非极乘积牺牲了部分极集信息；在质量逃逸或奇点类型剧烈变化时，弱收敛并不自动给出能量收敛。它明确在以下情形失效：若对象落入以下已知边界，本条不再自动成立：非极乘积牺牲了部分极集信息；在质量逃逸或奇点类型剧烈变化时，弱收敛并不自动给出能量收敛。决定性证据应同时给出最强支持对象与最强反例，并登记奇点模型、能量斜率和紧化极限；如果结论只在作者选择的表示、样本或停止规则下成立，就只能称为条件性转向。

另一处后果是：“解是否存在”被改写为“解是否保住全部上同调体积”，这为后来的变分法、非阿基米德极限与奇异cscK提供共同语言。最低报告责任包括“非极Monge–Ampère质量／上同调体积”、最坏对象与成本账本，负结果属于理论边界而非附注。

接口见与第301号正元素比较共享“经典不变量看不见细粒度质量”的问题；与第310号点过程中的观测窗截断共享质量逃逸判据。其他领域称：概率论称“去掉奇异原子后的有效质量”，优化称“可行域内部质量”；另见第306号有效样本量。只有“非极Monge–Ampère质量／上同调体积”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置S——把『大上同调类中的非极乘积』形成的对象结构作为首要显露　单因决定『大上同调类中的非极乘积』当前结论的最小充分项只有：非极乘积使退化正流的楔积不再把质量错误堆到极集上　预设〔01 谁进入分母〕极集上的集中质量不应计入可动部分的几何体积　量纲非极Monge–Ampère质量／上同调体积　失效失效边界是『对象落入以下已知边界，本条不再自动成立：非极乘积牺牲了部分极集信息；在质量逃逸或奇点类型剧烈变化时，弱收敛并不自动给出能量收敛』；越过该边界，相关条件越强，非极Monge–Ampère质量反而越低　自曝『大上同调类中的非极乘积』的原始材料只直接支持“证据链的锚点是Boucksom、Eyssidieux、Guedj与Zeriahi在2010年ActaMathematica205卷199–262页的”，没有自动覆盖边界外对象　空栏『大上同调类中的非极乘积』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名概率论称“去掉奇异原子后的有效质量”，优化称“可行域内部质量”；另见第 214 号第 20 条『最小最大非凸优化：单边驻点不再足够』

丙、Kähler–Ricci流进入极小模型程序Kähler–Ricci Flow as Analytic MMP

提出Jian Song与Gang Tian，2012年《Journal of the American Mathematical Society》25(2):303–353，DOI:10.1090/S0894-0347-2011-00717-0　争议或最新后续收敛与坍缩见Valentino Tosatti、Ben Weinkove与Xiaokui Yang，2018年《American Journal of Mathematics》140(3):653–698　关键几何流可在奇异时间之后继续编码代数极小模型的收缩与坍缩

2012年前后，本领域常把“Kähler–Ricci流被当作光滑度量的演化方程，一旦曲率爆炸便意味着分析过程结束”当作默认起点。它在典型对象上看似稳固，却被代数极小模型程序恰由收缩、翻转与纤维化组成，若流在奇异处停止，就无法解释两套演化为何相似直接顶住。真正需要更换的不是符号，而是比较单位：一旦把“坍缩后基底体积／初始总空间体积”写进分母，原来混在一起的结构差异便必须分别说明，旧结论也不再能够无条件外推。

本条命题是：规范类决定的长期流应被理解为极小模型程序的解析实现，奇异时间对应代数收缩，归一化极限对应规范测度。否证方式为：固定奇点类别、体积归一化与退化路径，按“坍缩后基底体积／初始总空间体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。检验必须固定对象类、分母与失败标准，不能在结果出现后改用更弱基线。

Song与Tian在2012年JAMS 25卷303–353页的规范测度与Kähler–Ricci流工作是本条的证据起点。Song与Tian构造规范测度并分析Kodaira维数为正时的流；基底维数而非总空间维数控制坍缩后的极限方程，体积衰减率成为可比较读数。具体读数“坍缩后基底体积／初始总空间体积”把旧默认送上同一口径的检验台：纯数学中它表现为结构降维、常数或端点，统计与教育研究中则表现为样本、效应、覆盖或预测损失。共同点是结论不再只靠叙述成立。

争议边界是：一般翻转的流式跨越仍不完备，曲率界与拓扑手术之间缺少统一定理；不同奇点模型可能需要弱解或手术方案。失效条件为：若对象落入以下已知边界，本条不再自动成立：一般翻转的流式跨越仍不完备，曲率界与拓扑手术之间缺少统一定理；不同奇点模型可能需要弱解或手术方案。收敛需统一对象与“坍缩后基底体积／初始总空间体积”，并公开奇点模型、能量斜率和紧化极限及最强反例。

实践后果是：几何流从寻找一个平滑终态转为追踪“哪些方向被压扁、哪些方向保留体积”，使动态退化成为双有理分类的证据。报告应围绕“坍缩后基底体积／初始总空间体积”同时列出失败对象、资源成本与敏感性结果，排除筛选或未计成本造成的表面优势。

跨域入口是与第309号状态空间模型共享“隐藏结构随时间演化”；不同的是本条的状态由上同调类约束而非由观测噪声估计。异名为代数几何称“解析极小模型程序”，时间序列称“结构突变与降维”；另见第309号变点条目。碰撞须固定“曲率流的奇异时间携带可读的代数收缩信息”并比较“坍缩后基底体积／初始总空间体积”；第三项是奇点类别、体积归一化与退化路径。

位置D——把『Kähler–Ricci流进入极小模型程序』中的操作次序与变化路径作为首要显露　单因决定『Kähler–Ricci流进入极小模型程序』当前结论的最小充分项只有：几何流可在奇异时间之后继续编码代数极小模型的收缩与坍缩　预设〔01 谁进入分母〕曲率流的奇异时间携带可读的代数收缩信息　量纲坍缩后基底体积／初始总空间体积　失效失效边界是『对象落入以下已知边界，本条不再自动成立：一般翻转的流式跨越仍不完备，曲率界与拓扑手术之间缺少统一定理；不同奇点模型可能需要弱解或手术方案』；越过该边界，相关条件越强，坍缩后基底体积反而越低　自曝『Kähler–Ricci流进入极小模型程序』的原始材料只直接支持“Song与Tian在2012年JAMS25卷303–353页的规范测度与Kähler–Ricci流工作是本条的证据起点”，没有自动覆盖边界外对象　空栏『Kähler–Ricci流进入极小模型程序』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名代数几何称“解析极小模型程序”，时间序列称“结构突变与降维”；另见第 211 号第 15 条『非塌缩Ricci流极限：奇异时空取代逐时切片』

丁、Suita猜想由L²延拓转化Suita Conjecture via L2 Extension

提出Zbigniew Błocki，2013年《Inventiones Mathematicae》193(1):149–158，DOI:10.1007/s00222-012-0423-2　争议或最新Qi’an Guan与Xiangyu Zhou，2015年《Annals of Mathematics》181(3):1139–1208，DOI:10.4007/annals.2015.181.3.8　关键Bergman核下界可以由带最优常数的全纯L²延拓控制

在2013年前后的文献中，标准叙事是“Suita猜想被视为平面域上Bergman核与对数容量之间的专门不等式”。这个叙事之所以长期有效，是因为经典例子没有暴露如下缺口：传统势论证明与高维L²方法分离，难以看出容量读数为何与全纯延拓常数精确配对。主证据迫使研究者把对象、表示与验证尺度拆开；以“最小L²延拓范数／单位点值平方”重新计量后，过去被当作技术噪声的部分，成为决定结论方向的变量。

可以把命题写为：Suita不等式的核心是从一点延拓全纯函数的最小L²代价，延拓常数一旦最优，Bergman核与容量关系随之成立。与口号不同，它预先承诺了失败方式：固定奇点类别、体积归一化与退化路径，按“最小L²延拓范数／单位点值平方”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这使研究者不能在结果出现后移动对象边界、改评分规则或删去困难实例；若这些条件必须改变，结论应被重新命名，而不是继续沿用原来的理论标签。

Błocki在2013年Inventiones 193卷149–158页对Suita猜想的证明给出主证据：Błocki把绿函数子水平集上的延拓估计送到极限，得到Bergman核乘以容量平方的精确下界；等号情形刻画圆盘型结构。这项工作的力量在于把问题从“有人相信什么”移到“什么数值或结构量可以重做”。按“最小L²延拓范数／单位点值平方”组织证据后，支持结果、零结果与失败对象可以放进同一张账本，不再依靠术语声望比较。

结论的边界同样具体：方法高度依赖一维容量与绿函数结构；高维类Suita不等式需要不同容量和边界正则性，不能直接照搬常数。可检查的失效条件是：若对象落入以下已知边界，本条不再自动成立：方法高度依赖一维容量与绿函数结构；高维类Suita不等式需要不同容量和边界正则性，不能直接照搬常数。争议若要收敛，双方需在最容易触发这些边界的对象上共同检验，并公开奇点模型、能量斜率和紧化极限；只展示顺手的对象或平均结果，会把条件性成功误报为普遍规律。

由此，一条经典函数论猜想因此被重新解释为“局部数据延拓到全局需要多少能量”，与现代扩张定理形成统一尺度。对本项证据须公开“最小L²延拓范数／单位点值平方”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第301号算子扩张问题共享最小延拓范数；与第308号缺失数据插补共享“由局部恢复全局”的代价口径。异名：统计学称“插补代价”，控制论称“最小能量延拓”；另见第308号校准加权。共享预设为“Bergman核的局部强度等价于从该点延拓单位值的最小能量”；先统一“最小L²延拓范数／单位点值平方”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置S——把『Suita猜想由L²延拓转化』形成的对象结构作为首要显露　单因决定『Suita猜想由L²延拓转化』当前结论的最小充分项只有：Bergman核下界可以由带最优常数的全纯L²延拓控制　预设〔02 单一读数代表复杂对象〕Bergman核的局部强度等价于从该点延拓单位值的最小能量　量纲最小L²延拓范数／单位点值平方　失效失效边界是『对象落入以下已知边界，本条不再自动成立：方法高度依赖一维容量与绿函数结构；高维类Suita不等式需要不同容量和边界正则性，不能直接照搬常数』；越过该边界，相关条件越强，最小L²延拓范数反而越低　自曝『Suita猜想由L²延拓转化』的原始材料只直接支持“Błocki在2013年Inventiones193卷149–158页对Suita猜想的证明给出主证据：Błocki把绿函数子水平集上的延拓估计送到”，没有自动覆盖边界外对象　空栏『Suita猜想由L²延拓转化』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名统计学称“插补代价”，控制论称“最小能量延拓”；另见第 214 号第 3 条『FISTA：复合凸问题的加速可以保留稀疏近端结构』

戊、复Monge–Ampère方程的变分化Variational Complex Monge–Ampère

提出Robert J. Berman、Sébastien Boucksom、Vincent Guedj与Ahmed Zeriahi，2013年《Publications Mathématiques de l’IHÉS》117:179–245，DOI:10.1007/s10240-012-0046-6　争议或最新后续非阿基米德变分见Robert Berman、Sébastien Boucksom与Mattias Jonsson，2021年《Journal of the AMS》34(3):605–652　关键弱Monge–Ampère解可以作为有限能量泛函的极值点而非逐点二阶解来构造

2013年前后，旧框架把问题压成一句话：“复杂Monge–Ampère方程主要通过先验估计与连续性法处理，低正则或大类情形难以进入”。但奇异右端与退化上同调类使经典椭圆估计不足，解空间本身也缺少适合取极限的几何，使同名结论在不同对象上并不可比。这里的卡点不是技巧不足，而是分母缺席：只有把“能量泛函下降量／Monge–Ampère总体积”固定下来，才能区分真结构、近似误差与由选择过程制造的表面一致。

核心主张是：把Monge–Ampère能量与熵组合成凸或凹泛函，在有限能量空间取极值，可统一存在、唯一与稳定性。它不是定义性的正确，而有清楚的否证口：固定奇点类别、体积归一化与退化路径，按“能量泛函下降量／Monge–Ampère总体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。因此，论证责任从“展示一个成功例子”转为说明成功在什么范围保持、失败在什么条件出现，并把存在性、稳定性、可计算性或可迁移性分层报告。

Berman、Boucksom、Guedj与Zeriahi在2013年PMIHES 117卷179–245页的变分框架提供了决定性证据。论文在E¹型有限能量空间建立变分原理：欧拉方程恢复非极Monge–Ampère方程，能量紧性把弱序列压成极值；解的质量以总体积归一。这里最有信息量的读数是“能量泛函下降量／Monge–Ampère总体积”：它把抽象争论压成别人能够复算的比例、维数、阈值、误差阶或有效样本量。数字并非装饰，而是说明究竟哪一层默认被改写。

反对意见主要针对外延，而非简单否认主结果：极值存在仍依赖强制性与熵控制；泛函下半连续不等于解在正则部分自动光滑，定量收敛率也常缺失。本条的失效条件为：若对象落入以下已知边界，本条不再自动成立：极值存在仍依赖强制性与熵控制；泛函下半连续不等于解在正则部分自动光滑，定量收敛率也常缺失。要判断边界是否只是技术限制，需把奇点模型、能量斜率和紧化极限与同一分母下的独立复验放在一起；若方向随对象类或归一化改变，就应主动收窄标题。

由此产生的制度性变化是：方程理论从“逐点可微”转向“能量可比较”，使奇异度量、测地线和稳定性能够在同一完备空间讨论。本领域需要把“能量泛函下降量／Monge–Ampère总体积”写进最低报告规范，使后来者知道成功来自对象结构、识别设计还是计算资源。负结果和失败样本不是附注，而是判断这条思想能否迁移的组成部分。

接口见与第307号广义贝叶斯更新共享“目标函数而非闭式方程定义解”；与第301号量子Wasserstein共享有限能量几何。其他领域称：优化称“变分松弛”，贝叶斯计算称“自由能最小化”；另见第307号变分推断。只有“能量泛函下降量／Monge–Ampère总体积”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置D——把『复Monge–Ampère方程的变分化』中的操作次序与变化路径作为首要显露　单因决定『复Monge–Ampère方程的变分化』当前结论的最小充分项只有：弱Monge–Ampère解可以作为有限能量泛函的极值点而非逐点二阶解来构造　预设〔02 单一读数代表复杂对象〕弱解可由全局能量极值唯一刻画　量纲能量泛函下降量／Monge–Ampère总体积　失效失效边界是『对象落入以下已知边界，本条不再自动成立：极值存在仍依赖强制性与熵控制；泛函下半连续不等于解在正则部分自动光滑，定量收敛率也常缺失』；越过该边界，相关条件越强，能量泛函下降量反而越低　自曝『复Monge–Ampère方程的变分化』的原始材料只直接支持“Berman、Boucksom、Guedj与Zeriahi在2013年PMIHES117卷179–245页的变分框架提供了决定性证据”，没有自动覆盖边界外对象　空栏『复Monge–Ampère方程的变分化』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“变分松弛”，贝叶斯计算称“自由能最小化”；另见第 213 号第 11 条『自适应有限元的收敛性与最优性理论』

己、Gromov–Hausdorff极限的代数化Algebraicity of Gromov–Hausdorff Limits

提出Simon Donaldson与Song Sun，2014年《Acta Mathematica》213(1):63–106，DOI:10.1007/s11511-014-0116-3　争议或最新Simon Donaldson与Song Sun，2017年《Journal of Differential Geometry》107(2):327–371，DOI:10.4310/jdg/1506650422　关键Ricci曲率控制下的度量极限不仅是度量空间，还带可恢复的正规代数簇结构

在2014年前后的文献中，默认判断仍是“Gromov–Hausdorff收敛只保证度量空间极限，奇点附近的复结构似乎会在极限中丢失”。它没有处理Kähler–Einstein序列的极限需要同时承担解析紧性与代数模空间边界，单一拓扑口径不足，因此会把局部成功写成一般规律，或把尚未测量写成不存在。本条转向首先做了一次口径清算：以“可分离极限点的截面数／选定张量幂次数”为共同尺度，重新规定哪些对象、误差和边界有资格进入结论。

理论内容不是“再加一种方法”，而是：利用部分C⁰估计与峰值截面，可以从度量极限重建射影嵌入，使极限成为正规射影簇。它允许以下决定性反例：固定奇点类别、体积归一化与退化路径，按“可分离极限点的截面数／选定张量幂次数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。检验时必须让支持方与反对方在同一对象、同一误差口径和同一停止规则下比较，否则双方只是在各自定义的成功条件里获胜。

主证据来自Donaldson与Sun在2014年Acta Mathematica 213卷63–106页的极限代数化工作。论文在固定维数与Ricci控制下构造一致的Bergman截面，并以有限个截面把极限嵌入射影空间；所需截面次数由维数和几何界控制。其关键不是论文规模，而是给出了“可分离极限点的截面数／选定张量幂次数”这一可核对读数；它使同一命题能够跨对象、跨样本或跨尺度复验。后来工作可以扩大范围、改进常数或增加样本，却不能替代这笔证据在历史上的归幕位置。

争议边界是：部分C⁰估计依赖非坍缩与曲率条件；坍缩极限、非极化情形或缺乏统一直径界时，代数结构恢复更困难。失效条件为：若对象落入以下已知边界，本条不再自动成立：部分C⁰估计依赖非坍缩与曲率条件；坍缩极限、非极化情形或缺乏统一直径界时，代数结构恢复更困难。收敛需统一对象与“可分离极限点的截面数／选定张量幂次数”，并公开奇点模型、能量斜率和紧化极限及最强反例。

实践后果是：“极限是否仍是复几何对象”由抽象存在变成有限截面可见性问题，模空间紧化因此获得度量坐标。报告应围绕“可分离极限点的截面数／选定张量幂次数”同时列出失败对象、资源成本与敏感性结果，排除筛选或未计成本造成的表面优势。

跨域入口是与第310号低秩空间近似共享“有限基函数恢复无限对象”；差别是本条要求极限保留代数乘法关系。异名为统计学称“有限特征嵌入”，机器学习称“表示可辨识”；另见第310号固定秩克里金。碰撞须固定“足够多的低能全纯截面可以无损编码度量极限的复代数结构”并比较“可分离极限点的截面数／选定张量幂次数”；第三项是奇点类别、体积归一化与退化路径。

位置E——把『Gromov–Hausdorff极限的代数化』成立所需的边界环境作为首要显露　单因决定『Gromov–Hausdorff极限的代数化』当前结论的最小充分项只有：Ricci曲率控制下的度量极限不仅是度量空间，还带可恢复的正规代数簇结构　预设〔02 单一读数代表复杂对象〕足够多的低能全纯截面可以无损编码度量极限的复代数结构　量纲可分离极限点的截面数／选定张量幂次数　失效失效边界是『对象落入以下已知边界，本条不再自动成立：部分C⁰估计依赖非坍缩与曲率条件；坍缩极限、非极化情形或缺乏统一直径界时，代数结构恢复更困难』；越过该边界，相关条件越强，可分离极限点的截面数反而越低　自曝『Gromov–Hausdorff极限的代数化』的原始材料只直接支持“主证据来自Donaldson与Sun在2014年ActaMathematica213卷63–106页的极限代数化工作”，没有自动覆盖边界外对象　空栏『Gromov–Hausdorff极限的代数化』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名统计学称“有限特征嵌入”，机器学习称“表示可辨识”；另见第 212 号第 6 条『p进几何中的完美空间：无限塔被压成可计算极限』

庚、强开放猜想：可积阈值不是闭边界Strong Openness of Multiplier Ideals

提出Qi’an Guan与Xiangyu Zhou，2015年《Annals of Mathematics》182(2):605–616，DOI:10.4007/annals.2015.182.2.5　争议或最新相关最优L²延拓见Guan与Zhou，2015年《Annals of Mathematics》181(3):1139–1208　关键若全纯函数对权e^{-φ}可积，则它对稍强的权e^{-(1+ε)φ}仍可积

到2015年前后，常见出发点仍是“乘子理想被定义为临界可积条件的集合，临界指数附近是否存在余量长期不明”。真正暴露问题的并非一个孤立反例，而是若可积性恰停在闭边界，代数跳跃数、消失定理和奇点逼近都难以获得稳定扰动。当研究者改用“可保持可积的指数增量ε／原指数1”比较时，旧叙事中被隐藏的代价、边界或层级差异显现出来；这也是本条能够成为新思想而不是普通技术改良的原因。

新命题明确写成：复多重次调和权的L²可积性具有严格开放余量，乘子理想等于稍强权重下理想的并。这句话可以被反驳，检验方式是：固定奇点类别、体积归一化与退化路径，按“可保持可积的指数增量ε／原指数1”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。它要求同时锁定对象类、归一化和资源预算；若只换一批更有利的数据、放宽失败标准或改用更弱基线，得到的只是另一条命题，不能算对原主张的支持。

证据链的锚点是Guan与Zhou在2015年Annals 182卷605–616页对Demailly强开放猜想的证明。证明给出任一局部可积全纯函数都存在ε>0保持可积；读数是可积指数从1推进到1+ε，而ε依赖局部奇点与函数。若只保留结论而删去读数，读者无法知道改变发生在对象数、尺度、覆盖、计算复杂度还是预测误差；“可保持可积的指数增量ε／原指数1”因此是本条最应被复核的部分，也是后续反例必须对齐的分母。

主结果没有消灭争议。定理保证存在余量但通常不给简单统一的最优ε；定量强开放在高维和参数族中仍需精细估计。它明确在以下情形失效：若对象落入以下已知边界，本条不再自动成立：定理保证存在余量但通常不给简单统一的最优ε；定量强开放在高维和参数族中仍需精细估计。决定性证据应同时给出最强支持对象与最强反例，并登记奇点模型、能量斜率和紧化极限；如果结论只在作者选择的表示、样本或停止规则下成立，就只能称为条件性转向。

由此，乘子理想从静态临界对象变成可扰动对象，许多极限论证可以先加强权重再取极限。对本项证据须公开“可保持可积的指数增量ε／原指数1”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第306号敏感性分析共享“结论在参数邻域内是否保持”；与第304号可计算模量共享存在与有效界的区别。异名：统计学称“鲁棒邻域”，优化称“严格可行余量”；另见第306号E值条目。共享预设为“局部L²可积性不可能只在单点指数上偶然成立”；先统一“可保持可积的指数增量ε／原指数1”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置D——把『强开放猜想：可积阈值不是闭边界』中的操作次序与变化路径作为首要显露　单因决定『强开放猜想：可积阈值不是闭边界』当前结论的最小充分项只有：若全纯函数对权e^{-φ}可积，则它对稍强的权e^{-(1+ε)φ}仍可积　预设〔03 相关方向等同因果方向〕局部L²可积性不可能只在单点指数上偶然成立　量纲可保持可积的指数增量ε／原指数1　失效失效边界是『对象落入以下已知边界，本条不再自动成立：定理保证存在余量但通常不给简单统一的最优ε；定量强开放在高维和参数族中仍需精细估计』；越过该边界，相关条件越强，可保持可积的指数增量ε反而越低　自曝『强开放猜想：可积阈值不是闭边界』的原始材料只直接支持“证据链的锚点是Guan与Zhou在2015年Annals182卷605–616页对Demailly强开放猜想的证明”，没有自动覆盖边界外对象　空栏『强开放猜想：可积阈值不是闭边界』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名统计学称“鲁棒邻域”，优化称“严格可行余量”；另见第 214 号第 6 条『鲁棒优化：不确定集取代单一名义参数』

辛、Fano流形上的Yau–Tian–Donaldson定理Yau–Tian–Donaldson for Fano Manifolds

提出Xiuxiong Chen、Simon Donaldson与Song Sun，2015年《Journal of the American Mathematical Society》28(1):183–197、199–234、235–278，DOI:10.1090/S0894-0347-2014-00799-2等　争议或最新后续变分统一见Berman、Boucksom与Jonsson，2021年《Journal of the AMS》34(3):605–652　关键Fano流形存在Kähler–Einstein度量当且仅当其退化在K稳定意义下不过度降能

2015年前后，本领域常把“曲率方程的存在性被视为纯解析问题，代数退化只能给必要条件，难以解释何时充分”当作默认起点。它在典型对象上看似稳固，却被连续性法可能在奇异极限处破裂，必须把破裂产生的退化与测试构形的数值不变量连接直接顶住。真正需要更换的不是符号，而是比较单位：一旦把“Donaldson–Futaki非负退化数／全部非平凡测试构形数”写进分母，原来混在一起的结构差异便必须分别说明，旧结论也不再能够无条件外推。

本条把转向压成一句可检验的话：解析方程存在性与代数K多稳定性等价，失败的连续性路径会生成一个使Donaldson–Futaki不变量非正的退化。可反驳版本为：固定奇点类别、体积归一化与退化路径，按“Donaldson–Futaki非负退化数／全部非平凡测试构形数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这一区分很重要，因为同一个标题可以在更窄对象类上成立、在更大类上失效；若不登记分母与适用域，后来的推广和反例就会被误写成互相矛盾。

Chen、Donaldson与Sun在2015年JAMS 28卷三篇论文完成的Fano情形证明是本条的证据起点。三篇论文结合锥角连续路径、部分C⁰估计与极限代数化，完成光滑Fano流形的充分性；判据按所有测试构形的Futaki符号计。具体读数“Donaldson–Futaki非负退化数／全部非平凡测试构形数”把旧默认送上同一口径的检验台：纯数学中它表现为结构降维、常数或端点，统计与教育研究中则表现为样本、效应、覆盖或预测损失。共同点是结论不再只靠叙述成立。

争议边界是：多稳定与一致稳定的口径、奇异Fano簇和自同构群非离散时的精确版本仍需后续工作；“检查所有退化”也不是直接算法。失效条件为：若对象落入以下已知边界，本条不再自动成立：多稳定与一致稳定的口径、奇异Fano簇和自同构群非离散时的精确版本仍需后续工作；“检查所有退化”也不是直接算法。收敛需统一对象与“Donaldson–Futaki非负退化数／全部非平凡测试构形数”，并公开奇点模型、能量斜率和紧化极限及最强反例。

另一处后果是：规范度量的存在问题从求解一个PDE改写为审计全部可能退化，形成复几何中最有影响的稳定性范式。最低报告责任包括“Donaldson–Futaki非负退化数／全部非平凡测试构形数”、最坏对象与成本账本，负结果属于理论边界而非附注。

接口见与第307号后验预测检查共享“不能只检验已观察路径，还要检验反事实退化”；与第245号系统验证共享全场景审计。其他领域称：代数几何称“K稳定”，控制论称“全扰动稳定”，经济学称“无获利偏离”；另见第307号模型检查。只有“Donaldson–Futaki非负退化数／全部非平凡测试构形数”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置E——把『Fano流形上的Yau–Tian–Donaldson定理』成立所需的边界环境作为首要显露　单因决定『Fano流形上的Yau–Tian–Donaldson定理』当前结论的最小充分项只有：Fano流形存在Kähler–Einstein度量当且仅当其退化在K稳定意义下不过度降能　预设〔03 相关方向等同因果方向〕一个几何对象的规范度量存在性由其所有一参数退化共同决定　量纲Donaldson–Futaki非负退化数／全部非平凡测试构形数　失效失效边界是『对象落入以下已知边界，本条不再自动成立：多稳定与一致稳定的口径、奇异Fano簇和自同构群非离散时的精确版本仍需后续工作；“检查所有退化”也不是直』；越过该边界，相关条件越强，Donaldson–Futaki非负退化数反而越低　自曝『Fano流形上的Yau–Tian–Donaldson定理』的原始材料只直接支持“Chen、Donaldson与Sun在2015年JAMS28卷三篇论文完成的Fano情形证明是本条的证据起点”，没有自动覆盖边界外对象　空栏『Fano流形上的Yau–Tian–Donaldson定理』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名代数几何称“K稳定”，控制论称“全扰动稳定”，经济学称“无获利偏离”；另见第 211 号第 19 条『正标量曲率的μ气泡：稳定面替代全局指数论』
【第二幕】这十年 · 约 2016—2026

第二幕不再满足于“弱解存在”，而是追问奇点附近有几阶正则、动态过程能否到达规范度量、无穷退化怎样完备，以及模空间边界是否仍携带度量。从“锥边Kähler–Einstein度量的完整正则性”到“指定拉格朗日相位与代数障碍”，共同动作是接受规模、复制、边界与部署检验；主证据落在2016—2026年。

一、锥边Kähler–Einstein度量的完整正则性Kähler–Einstein Edge Metrics

提出Thalia Jeffres、Rafe Mazzeo与Yanir Rubinstein，2016年《Annals of Mathematics》183(1):95–176，DOI:10.4007/annals.2016.183.1.3　争议或最新Simon Donaldson，2012年关于锥角Kähler度量的先行框架　关键锥角奇性可以用加权Hölder空间与边缘椭圆算子获得多项式展开

在2016年前后的文献中，标准叙事是“奇异除子附近只知弱势函数解，无法判断曲率和导数怎样逼近锥模型”。这个叙事之所以长期有效，是因为经典例子没有暴露如下缺口：锥角边界不是普通边界，标准Schauder估计看不见绕除子的非整数幂。主证据迫使研究者把对象、表示与验证尺度拆开；以“第k阶余项衰减幂／距除子半径的幂”重新计量后，过去被当作技术噪声的部分，成为决定结论方向的变量。

可以把命题写为：Kähler–Einstein边缘解在适配锥几何的函数空间中具有完整渐近展开。与口号不同，它预先承诺了失败方式：固定奇点类别、体积归一化与退化路径，按“第k阶余项衰减幂／距除子半径的幂”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这使研究者不能在结果出现后移动对象边界、改评分规则或删去困难实例；若这些条件必须改变，结论应被重新命名，而不是继续沿用原来的理论标签。

Jeffres、Mazzeo与Rubinstein在2016年Annals 183卷95–176页的边缘度量理论给出主证据：作者建立边缘伪微分工具并证明解沿除子的多项式展开；角参数β决定主导指数，β∈(0,1]成为正则性分母。这项工作的力量在于把问题从“有人相信什么”移到“什么数值或结构量可以重做”。按“第k阶余项衰减幂／距除子半径的幂”组织证据后，支持结果、零结果与失败对象可以放进同一张账本，不再依靠术语声望比较。

结论的边界同样具体：当除子非光滑、交叉角多重或角度超过标准区间时，模型算子与Fredholm性质会变化。可检查的失效条件是：若对象落入以下已知边界，本条不再自动成立：当除子非光滑、交叉角多重或角度超过标准区间时，模型算子与Fredholm性质会变化。争议若要收敛，双方需在最容易触发这些边界的对象上共同检验，并公开奇点模型、能量斜率和紧化极限；只展示顺手的对象或平均结果，会把条件性成功误报为普遍规律。

实践后果是：奇异度量可被精确到每一阶而非只说“在除子外光滑”，为锥角连续路径与模空间边界提供可检验局部模型。报告应围绕“第k阶余项衰减幂／距除子半径的幂”同时列出失败对象、资源成本与敏感性结果，排除筛选或未计成本造成的表面优势。

跨域入口是与第310号障碍协方差模型共享“边界附近需换局部尺度”；与第302号加权估计共享权函数进入算子域。异名为偏微分方程称“边缘正则性”，空间统计称“障碍边界核”；另见第310号障碍模型。碰撞须固定“奇异边界的正确函数空间由局部模型而非欧氏距离决定”并比较“第k阶余项衰减幂／距除子半径的幂”；第三项是奇点类别、体积归一化与退化路径。

位置S——把『锥边Kähler–Einstein度量的完整正则性』形成的对象结构作为首要显露　单因决定『锥边Kähler–Einstein度量的完整正则性』当前结论的最小充分项只有：锥角奇性可以用加权Hölder空间与边缘椭圆算子获得多项式展开　预设〔03 相关方向等同因果方向〕奇异边界的正确函数空间由局部模型而非欧氏距离决定　量纲第k阶余项衰减幂／距除子半径的幂　失效失效边界是『对象落入以下已知边界，本条不再自动成立：当除子非光滑、交叉角多重或角度超过标准区间时，模型算子与Fredholm性质会变化』；越过该边界，相关条件越强，第k阶余项衰减幂反而越低　自曝『锥边Kähler–Einstein度量的完整正则性』的原始材料只直接支持“Jeffres、Mazzeo与Rubinstein在2016年Annals183卷95–176页的边缘度量理论给出主证据：作者建立边缘伪微分工具并证”，没有自动覆盖边界外对象　空栏『锥边Kähler–Einstein度量的完整正则性』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名偏微分方程称“边缘正则性”，空间统计称“障碍边界核”；另见第 211 号第 18 条『几何神经算子的连续极限：离散网格模型必须可迁移』

二、Kähler–Ricci孤立子与修正K稳定Kähler–Ricci Solitons and Modified K-stability

提出Ved Datar与Gábor Székelyhidi，2016年《American Journal of Mathematics》138(5):1197–1230，DOI:10.1353/ajm.2016.0054　争议或最新后续复杂度一环面作用实例见Ilten与Süß，2017年《Duke Mathematical Journal》166(1):177–204　关键存在全纯向量场时，规范对象应从静态Einstein度量改为随自同构漂移的Ricci孤立子

2016年前后，旧框架把问题压成一句话：“传统K稳定按零向量场定义，可能把由对称性产生的漂移错误判成不稳定”。但Fano流形的最优度量在非离散自同构群下不是固定点而是相对运动，使同名结论在不同对象上并不可比。这里的卡点不是技巧不足，而是分母缺席：只有把“修正Futaki非负退化数／兼容向量场的测试构形数”固定下来，才能区分真结构、近似误差与由选择过程制造的表面一致。

核心主张是：Kähler–Ricci孤立子的存在由带向量场权重的修正K稳定控制。它不是定义性的正确，而有清楚的否证口：固定奇点类别、体积归一化与退化路径，按“修正Futaki非负退化数／兼容向量场的测试构形数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。因此，论证责任从“展示一个成功例子”转为说明成功在什么范围保持、失败在什么条件出现，并把存在性、稳定性、可计算性或可迁移性分层报告。

Datar与Székelyhidi在2016年AJM 138卷1197–1230页的孤立子稳定性结果提供了决定性证据。作者把连续性法与特殊退化结合，证明在环面作用下修正K稳定推出孤立子；权重测度相对普通体积重新加权。这里最有信息量的读数是“修正Futaki非负退化数／兼容向量场的测试构形数”：它把抽象争论压成别人能够复算的比例、维数、阈值、误差阶或有效样本量。数字并非装饰，而是说明究竟哪一层默认被改写。

反对意见主要针对外延，而非简单否认主结果：结论依赖对称群与特殊退化约化；一般自同构群下的可检验性和唯一性需更细的相对稳定框架。本条的失效条件为：若对象落入以下已知边界，本条不再自动成立：结论依赖对称群与特殊退化约化；一般自同构群下的可检验性和唯一性需更细的相对稳定框架。要判断边界是否只是技术限制，需把奇点模型、能量斜率和紧化极限与同一分母下的独立复验放在一起；若方向随对象类或归一化改变，就应主动收窄标题。

由此，“稳定”从绝对静止改为模去允许对称后的稳定，避免把结构性漂移当作误差。对本项证据须公开“修正Futaki非负退化数／兼容向量场的测试构形数”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第309号带漂移状态空间模型共享“基线自身移动”；与第307号层级模型共享相对基准。异名：动力系统称“相对平衡”，统计学称“漂移校正”；另见第309号概念漂移。共享预设为“规范状态只需在允许的自同构轨道上静止”；先统一“修正Futaki非负退化数／兼容向量场的测试构形数”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置E——把『Kähler–Ricci孤立子与修正K稳定』成立所需的边界环境作为首要显露　单因决定『Kähler–Ricci孤立子与修正K稳定』当前结论的最小充分项只有：存在全纯向量场时，规范对象应从静态Einstein度量改为随自同构漂移的Ricci孤立子　预设〔04 尺度迁移不改变结论〕规范状态只需在允许的自同构轨道上静止　量纲修正Futaki非负退化数／兼容向量场的测试构形数　失效若对象落入以下已知边界，本条不再自动成立：结论依赖对称群与特殊退化约化；一般自同构群下的可检验性和唯一性需更细的相对稳定框架　自曝『Kähler–Ricci孤立子与修正K稳定』的原始材料只直接支持“Datar与Székelyhidi在2016年AJM138卷1197–1230页的孤立子稳定性结果提供了决定性证据”，没有自动覆盖边界外对象　空栏『Kähler–Ricci孤立子与修正K稳定』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名动力系统称“相对平衡”，统计学称“漂移校正”；另见第 439 号第 16 条『公共服务生态系统把公民从顾客改写为共同生产者』

三、锐常数L²延拓Sharp Ohsawa–Takegoshi Extension

提出Bo Berndtsson与László Lempert，2016年《Journal of the Mathematical Society of Japan》68(4):1461–1472，DOI:10.2969/jmsj/06841461　争议或最新Błocki 2013年Suita猜想证明与Guan–Zhou 2015年最优常数结果　关键L²延拓的常数是几何信息而非证明中的可忽略余量

在2016年前后的文献中，默认判断仍是“延拓定理通常只保证存在某个常数，应用时常数被吸收到符号C里”。它没有处理Suita型等式和曲率正性需要比较真实最小能量，粗常数会抹去等号结构，因此会把局部成功写成一般规律，或把尚未测量写成不存在。本条转向首先做了一次口径清算：以“最小延拓L²范数／给定子流形数据L²范数”为共同尺度，重新规定哪些对象、误差和边界有资格进入结论。

理论内容不是“再加一种方法”，而是：通过凸性和极限方法可得到Ohsawa–Takegoshi延拓的最优常数，并使常数随几何变化可追踪。它允许以下决定性反例：固定奇点类别、体积归一化与退化路径，按“最小延拓L²范数／给定子流形数据L²范数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。检验时必须让支持方与反对方在同一对象、同一误差口径和同一停止规则下比较，否则双方只是在各自定义的成功条件里获胜。

主证据来自Berndtsson与Lempert在2016年JMSJ 68卷1461–1472页的锐延拓证明。证明利用Bergman核型量的对数凸性，把高权重极限与最小延拓范数相连；输出是精确常数而非未定C。其关键不是论文规模，而是给出了“最小延拓L²范数／给定子流形数据L²范数”这一可核对读数；它使同一命题能够跨对象、跨样本或跨尺度复验。后来工作可以扩大范围、改进常数或增加样本，却不能替代这笔证据在历史上的归幕位置。

截至2026年，未收敛部分是：锐常数依赖权和域的伪凸性；非伪凸、奇异纤维或向量丛值情形需额外曲率条件。这意味着“成立”至少要区分存在、稳定、可实现与可迁移四层；失效口为：若对象落入以下已知边界，本条不再自动成立：锐常数依赖权和域的伪凸性；非伪凸、奇异纤维或向量丛值情形需额外曲率条件。只有在统一的“最小延拓L²范数／给定子流形数据L²范数”上报告失败概率、误差范围或常数依赖，争论才可能真正结束。

实践上，本条要求：复杂分析开始把“能延拓”升级为“以最小代价延拓”，为定量消失定理与纤维曲率提供共同尺度。具体到本条，本项复核须同时说明“最小延拓L²范数／给定子流形数据L²范数”、最坏对象和计算或实施成本；否则一个看似更强的结果，可能只是使用了更窄的任务、更宽的容差或未计入的外部资源。

接口见与第308号最优实验分配共享“存在设计不等于代价最小”；与第301号完全有界映射范数共享锐常数审计。其他领域称：优化称“最优常数”，实验设计称“单位信息成本”；另见第308号最优分配。只有“最小延拓L²范数／给定子流形数据L²范数”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置S——把『锐常数L²延拓』形成的对象结构作为首要显露　单因决定『锐常数L²延拓』当前结论的最小充分项只有：L²延拓的常数是几何信息而非证明中的可忽略余量　预设〔04 尺度迁移不改变结论〕证明中的常数可以承载对象的内在几何差异　量纲最小延拓L²范数／给定子流形数据L²范数　失效若对象落入以下已知边界，本条不再自动成立：锐常数依赖权和域的伪凸性；非伪凸、奇异纤维或向量丛值情形需额外曲率条件　自曝『锐常数L²延拓』的原始材料只直接支持“主证据来自Berndtsson与Lempert在2016年JMSJ68卷1461–1472页的锐延拓证明”，没有自动覆盖边界外对象　空栏『锐常数L²延拓』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“最优常数”，实验设计称“单位信息成本”；另见第 211 号第 1 条『里奇流与几何化：奇点必须成为证明的一部分』

四、Kähler势空间的C¹,¹测地线C1,1 Geodesics in Kähler Potentials

提出Jianchun Chu、Valentino Tosatti与Ben Weinkove，2017年《Annals of PDE》3(2):Article 15，12页，DOI:10.1007/s40818-017-0034-8　争议或最新Tamás Darvas，2017年《American Journal of Mathematics》139(5):1275–1313　关键弱测地线虽由退化Monge–Ampère方程定义，但可达到全局C¹,¹最优正则性

到2017年前后，常见出发点仍是“Kähler势空间的测地线常被视为形式无穷维对象，弱解正则性不足以支撑凸性计算”。真正暴露问题的并非一个孤立反例，而是Chen的C¹,¹猜想需要在退化椭圆方程中控制二阶导数，而右端恰为零。当研究者改用“Hessian上界／端点C¹,¹范数”比较时，旧叙事中被隐藏的代价、边界或层级差异显现出来；这也是本条能够成为新思想而不是普通技术改良的原因。

新命题明确写成：光滑端点之间的弱测地线具有统一C¹,¹界，这一阶数一般不能再提高。这句话可以被反驳，检验方式是：固定奇点类别、体积归一化与退化路径，按“Hessian上界／端点C¹,¹范数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。它要求同时锁定对象类、归一化和资源预算；若只换一批更有利的数据、放宽失败标准或改用更弱基线，得到的只是另一条命题，不能算对原主张的支持。

证据链的锚点是Chu、Tosatti与Weinkove在2017年Annals of PDE第3卷第15号文章。作者通过ε-测地线和二阶估计证明全局C¹,¹正则；读数是Hessian一致有界而三阶导数可失控。若只保留结论而删去读数，读者无法知道改变发生在对象数、尺度、覆盖、计算复杂度还是预测误差；“Hessian上界／端点C¹,¹范数”因此是本条最应被复核的部分，也是后续反例必须对齐的分母。

主结果没有消灭争议。边界与端点正则、背景曲率条件仍重要；一般奇异端点、低能量类只保留度量测地线而非经典导数。它明确在以下情形失效：若对象落入以下已知边界，本条不再自动成立：边界与端点正则、背景曲率条件仍重要；一般奇异端点、低能量类只保留度量测地线而非经典导数。决定性证据应同时给出最强支持对象与最强反例，并登记奇点模型、能量斜率和紧化极限；如果结论只在作者选择的表示、样本或停止规则下成立，就只能称为条件性转向。

另一处常被略过的是：Mabuchi空间中的能量凸性从形式推导变成可在最优弱正则层面验证的事实。当本条进入证明库、课堂、临床、软件或工程流程时，不能只验最终分数，还要记录中间量怎样随尺度、样本或预算变化。若收益来自把代价转移到未计分环节，它并没有兑现原命题。

本条并非孤立：与第307号后验几何共享“路径可定义但曲率未必光滑”；与第302号端点估计共享最优正则阶。其跨学科异名是：优化称“弱测地线”，统计称“分布路径插值”；另见第307号Wasserstein后验。两边共同预设“变分空间中的最短路径不需要经典光滑，二阶有界已足以承载凸性”，相反点通常出现在谁承担误差、何时计成本或哪一层算成功。若同分母仍有逆向读数，奇点类别、体积归一化与退化路径就是需要被单独测量的第三变量。

位置D——把『Kähler势空间的C¹,¹测地线』中的操作次序与变化路径作为首要显露　单因决定『Kähler势空间的C¹,¹测地线』当前结论的最小充分项只有：弱测地线虽由退化Monge–Ampère方程定义，但可达到全局C¹,¹最优正则性　预设〔04 尺度迁移不改变结论〕变分空间中的最短路径不需要经典光滑，二阶有界已足以承载凸性　量纲Hessian上界／端点C¹,¹范数　失效若对象落入以下已知边界，本条不再自动成立：边界与端点正则、背景曲率条件仍重要；一般奇异端点、低能量类只保留度量测地线而非经典导数　自曝『Kähler势空间的C¹,¹测地线』的原始材料只直接支持“证据链的锚点是Chu、Tosatti与Weinkove在2017年AnnalsofPDE第3卷第15号文章”，没有自动覆盖边界外对象　空栏『Kähler势空间的C¹,¹测地线』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“弱测地线”，统计称“分布路径插值”；另见第 214 号第 1 条『压缩感知：稀疏性让欠定系统可恢复』

五、Gromov–Hausdorff极限的第二阶段：切锥唯一性Metric Tangent Cones and Algebraic Stratification

提出Simon Donaldson与Song Sun，2017年《Journal of Differential Geometry》107(2):327–371，DOI:10.4310/jdg/1506650422　争议或最新第一阶段见Donaldson与Sun，2014年《Acta Mathematica》213:63–106　关键奇异Kähler极限的切锥与代数分层可由增长阶和全纯函数环稳定识别

2017年前后，本领域常把“一般Ricci极限的切锥可能不唯一，单凭度量分层难以恢复复代数奇点类型”当作默认起点。它在典型对象上看似稳固，却被若不同放大序列给出不同局部模型，模空间边界和奇点不变量都无法稳定直接顶住。真正需要更换的不是符号，而是比较单位：一旦把“稳定增长阶数／允许的放大序列数”写进分母，原来混在一起的结构差异便必须分别说明，旧结论也不再能够无条件外推。

本条把转向压成一句可检验的话：在Kähler–Einstein极限中，赋值与增长谱把切锥、局部环和代数分层连接，显著收紧切锥非唯一性。可反驳版本为：固定奇点类别、体积归一化与退化路径，按“稳定增长阶数／允许的放大序列数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这一区分很重要，因为同一个标题可以在更窄对象类上成立、在更大类上失效；若不登记分母与适用域，后来的推广和反例就会被误写成互相矛盾。

Donaldson与Sun在2017年JDG 107卷327–371页的第二篇极限论文是本条的证据起点。论文建立全纯函数的增长阶谱与仿射锥结构，有限生成环给出代数切锥；局部放大不再只是任意度量锥。具体读数“稳定增长阶数／允许的放大序列数”把旧默认送上同一口径的检验台：纯数学中它表现为结构降维、常数或端点，统计与教育研究中则表现为样本、效应、覆盖或预测损失。共同点是结论不再只靠叙述成立。

后续争论集中在：完整切锥唯一性需额外论证，坍缩情形和一般Ricci下界空间仍可能出现多重切锥。因此，本条并非无条件有效；若对象落入以下已知边界，本条不再自动成立：完整切锥唯一性需额外论证，坍缩情形和一般Ricci下界空间仍可能出现多重切锥。收口所需的不是一句“仍需研究”，而是一套双方都可能失败的设计：统一对象、分母、反例族和资源预算，并让“稳定增长阶数／允许的放大序列数”在独立材料上接受复算。

由此，奇点被赋予可计算的增长谱，使“放大看起来像什么”转成有限生成代数问题。对本项证据须公开“稳定增长阶数／允许的放大序列数”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第310号多尺度空间过程共享局部放大；与第304号表示依赖性共享“不同编码是否给同一对象”。异名：几何测度论称“切锥”，空间统计称“局部平稳极限”；另见第310号局部非平稳模型。共享预设为“复结构足以把局部度量放大限制为代数锥”；先统一“稳定增长阶数／允许的放大序列数”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置S——把『Gromov–Hausdorff极限的第二阶段：切锥唯一性』形成的对象结构作为首要显露　单因决定『Gromov–Hausdorff极限的第二阶段：切锥唯一性』当前结论的最小充分项只有：奇异Kähler极限的切锥与代数分层可由增长阶和全纯函数环稳定识别　预设〔05 观测与干预不回写对象〕复结构足以把局部度量放大限制为代数锥　量纲稳定增长阶数／允许的放大序列数　失效若对象落入以下已知边界，本条不再自动成立：完整切锥唯一性需额外论证，坍缩情形和一般Ricci下界空间仍可能出现多重切锥　自曝『Gromov–Hausdorff极限的第二阶段：切锥唯一性』的原始材料只直接支持“Donaldson与Sun在2017年JDG107卷327–371页的第二篇极限论文是本条的证据起点”，没有自动覆盖边界外对象　空栏『Gromov–Hausdorff极限的第二阶段：切锥唯一性』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名几何测度论称“切锥”，空间统计称“局部平稳极限”；另见第 211 号第 8 条『定量分层：奇异集要按尺度和对称缺失计数』

六、非Kähler几何中的Gauduchon体积方程Gauduchon Metrics with Prescribed Volume

提出Gábor Székelyhidi、Valentino Tosatti与Ben Weinkove，2017年《Acta Mathematica》219(1):181–211，DOI:10.4310/ACTA.2017.v219.n1.a5　争议或最新Tosatti与Weinkove，2017年《Journal of the AMS》30(2):311–346　关键Calabi–Yau型体积指定可以在Gauduchon度量类中用(n−1)-次多重次调和方程实现

在2017年前后的文献中，标准叙事是“Yau定理依赖Kähler闭性，Hermitian流形上的自然Gauduchon度量没有同样的二阶势表示”。这个叙事之所以长期有效，是因为经典例子没有暴露如下缺口：非Kähler复流形占据大量曲面与纤维空间，若无体积指定定理就缺少规范度量入口。主证据迫使研究者把对象、表示与验证尺度拆开；以“目标体积积分／初始Gauduchon体积”重新计量后，过去被当作技术噪声的部分，成为决定结论方向的变量。

可以把命题写为：应以(n−1)-次正性和新的势变量替代Kähler势，求得指定体积形式且保持Gauduchon条件的度量。与口号不同，它预先承诺了失败方式：固定奇点类别、体积归一化与退化路径，按“目标体积积分／初始Gauduchon体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这使研究者不能在结果出现后移动对象边界、改评分规则或删去困难实例；若这些条件必须改变，结论应被重新命名，而不是继续沿用原来的理论标签。

Székelyhidi、Tosatti与Weinkove在2017年Acta Mathematica 219卷181–211页的工作给出主证据：作者建立二阶先验估计并解出紧复流形上的指定体积问题；归一化常数由总积分比唯一确定。这项工作的力量在于把问题从“有人相信什么”移到“什么数值或结构量可以重做”。按“目标体积积分／初始Gauduchon体积”组织证据后，支持结果、零结果与失败对象可以放进同一张账本，不再依靠术语声望比较。

结论的边界同样具体：方程的几何唯一性、与Chern标量曲率的关系和高阶流稳定性仍不如Kähler情形完整。可检查的失效条件是：若对象落入以下已知边界，本条不再自动成立：方程的几何唯一性、与Chern标量曲率的关系和高阶流稳定性仍不如Kähler情形完整。争议若要收敛，双方需在最容易触发这些边界的对象上共同检验，并公开奇点模型、能量斜率和紧化极限；只展示顺手的对象或平均结果，会把条件性成功误报为普遍规律。

这一转向带来的实践后果是：复Monge–Ampère技术由闭形式扩展到更宽的Hermitian环境，规范度量问题不再等同于Kähler性。对本条而言，最低报告责任应围绕“目标体积积分／初始Gauduchon体积”展开，同时给出失败对象、资源成本和敏感性分析。这样才能区分真正的结构收益，与筛选、数据泄漏、隐藏常数或未计成本造成的表面优势。

接口见与第303号第三条Chern–Ricci流和第310号非欧空间协方差共享“背景结构不闭时需换参数化”。其他领域称：微分几何称“Gauduchon规范”，统计学称“受约束重参数化”；另见第310号流形空间过程。只有“目标体积积分／初始Gauduchon体积”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置D——把『非Kähler几何中的Gauduchon体积方程』中的操作次序与变化路径作为首要显露　单因决定『非Kähler几何中的Gauduchon体积方程』当前结论的最小充分项只有：Calabi–Yau型体积指定可以在Gauduchon度量类中用(n−1)-次多重次调和方程实现　预设〔05 观测与干预不回写对象〕体积形式可通过(n−1)-正势而非Kähler势来控制　量纲目标体积积分／初始Gauduchon体积　失效若对象落入以下已知边界，本条不再自动成立：方程的几何唯一性、与Chern标量曲率的关系和高阶流稳定性仍不如Kähler情形完整　自曝『非Kähler几何中的Gauduchon体积方程』的原始材料只直接支持“Székelyhidi、Tosatti与Weinkove在2017年ActaMathematica219卷181–211页的工作给出主证据：作者建立”，没有自动覆盖边界外对象　空栏『非Kähler几何中的Gauduchon体积方程』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名微分几何称“Gauduchon规范”，统计学称“受约束重参数化”；另见第 211 号第 10 条『信息几何的自然梯度：参数化应从优化方向中消失』

七、Kähler–Ricci流、Kähler–Einstein度量与K稳定的直接闭环Flow Convergence and K-stability

提出Xiuxiong Chen、Song Sun与Bing Wang，2018年《Geometry & Topology》22(6):3145–3173，DOI:10.2140/gt.2018.22.3145　争议或最新Chen–Donaldson–Sun 2015年Fano YTD定理　关键Kähler–Ricci流的长期收敛可直接由K多稳定性刻画，而不必另假定曲率始终有界

2018年前后，旧框架把问题压成一句话：“流方法常需要强曲率假设，稳定性方法则通过静态退化，二者缺少无条件桥梁”。但若稳定只说明某个度量存在，却不能控制自然流是否到达它，算法意义仍不完整，使同名结论在不同对象上并不可比。这里的卡点不是技巧不足，而是分母缺席：只有把“流能量下降量／初始Mabuchi能量差”固定下来，才能区分真结构、近似误差与由选择过程制造的表面一致。

核心主张是：Fano流形K多稳定时，归一化Kähler–Ricci流在适当意义下收敛到Kähler–Einstein度量。它不是定义性的正确，而有清楚的否证口：固定奇点类别、体积归一化与退化路径，按“流能量下降量／初始Mabuchi能量差”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。因此，论证责任从“展示一个成功例子”转为说明成功在什么范围保持、失败在什么条件出现，并把存在性、稳定性、可计算性或可迁移性分层报告。

Chen、Sun与Wang在2018年Geometry & Topology 22卷3145–3173页的结果提供了决定性证据。论文结合流极限、部分C⁰估计与退化分析，排除非平凡极限退化；收敛对象按自同构作用取商。这里最有信息量的读数是“流能量下降量／初始Mabuchi能量差”：它把抽象争论压成别人能够复算的比例、维数、阈值、误差阶或有效样本量。数字并非装饰，而是说明究竟哪一层默认被改写。

反对意见主要针对外延，而非简单否认主结果：收敛速度和高阶拓扑依赖自同构与谱隙；K半稳定但非多稳定时可能收敛到不同奇异极限。本条的失效条件为：若对象落入以下已知边界，本条不再自动成立：收敛速度和高阶拓扑依赖自同构与谱隙；K半稳定但非多稳定时可能收敛到不同奇异极限。要判断边界是否只是技术限制，需把奇点模型、能量斜率和紧化极限与同一分母下的独立复验放在一起；若方向随对象类或归一化改变，就应主动收窄标题。

由此产生的制度性变化是：稳定性从存在判据升级为动态可达性判据，规范度量不再只是抽象解而是自然流的吸引子。本领域需要把“流能量下降量／初始Mabuchi能量差”写进最低报告规范，使后来者知道成功来自对象结构、识别设计还是计算资源。负结果和失败样本不是附注，而是判断这条思想能否迁移的组成部分。

一处有价值的反例接口是：与第309号预测滤波共享“静态最优是否由动态迭代到达”；与第307号MCMC诊断共享遍历与目标分布区别。异名包括：优化称“算法收敛到极小点”，时间序列称“滤波稳定”；另见第309号状态空间条目。本条解决的可能是结构是否成立，相邻领域则追问能否识别、计算、学习或制度化；两边只有在“流能量下降量／初始Mabuchi能量差”可换算时才是同一动作，否则只是共享比喻。

位置E——把『Kähler–Ricci流、Kähler–Einstein度量与K稳定的直接闭环』成立所需的边界环境作为首要显露　单因决定『Kähler–Ricci流、Kähler–Einstein度量与K稳定的直接闭环』当前结论的最小充分项只有：Kähler–Ricci流的长期收敛可直接由K多稳定性刻画，而不必另假定曲率始终有界　预设〔05 观测与干预不回写对象〕代数稳定不仅保证终点存在，还约束自然迭代的极限　量纲流能量下降量／初始Mabuchi能量差　失效若对象落入以下已知边界，本条不再自动成立：收敛速度和高阶拓扑依赖自同构与谱隙；K半稳定但非多稳定时可能收敛到不同奇异极限　自曝『Kähler–Ricci流、Kähler–Einstein度量与K稳定的直接闭环』的原始材料只直接支持“Chen、Sun与Wang在2018年Geometry&Topology22卷3145–3173页的结果提供了决定性证据”，没有自动覆盖边界外对象　空栏『Kähler–Ricci流、Kähler–Einstein度量与K稳定的直接闭环』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“算法收敛到极小点”，时间序列称“滤波稳定”；另见第 590 号第 20 条『不确定性量化闭环验收』

八、Mabuchi空间的度量完备化Metric Completion of Kähler Potentials

提出Tamás Darvas，2017年《American Journal of Mathematics》139(5):1275–1313，DOI:10.1353/ajm.2017.0032　争议或最新Darvas，2015年《Advances in Mathematics》285:182–219　关键Kähler势空间的自然距离完备化恰是有限能量类，而不是任意弱势函数

在2017年前后的文献中，默认判断仍是“Kähler势的Mabuchi度量长期以形式黎曼几何使用，Cauchy列可能离开光滑空间却没有明确终点类”。它没有处理若完备化过大，能量与测地线失去意义；若过小，极小化序列无极限，因此会把局部成功写成一般规律，或把尚未测量写成不存在。本条转向首先做了一次口径清算：以“路径长度极限／初始势能量”为共同尺度，重新规定哪些对象、误差和边界有资格进入结论。

理论内容不是“再加一种方法”，而是：以L²型Mabuchi路径长度完备光滑势空间得到有限能量类，并可用弱测地线连接其元素。它允许以下决定性反例：固定奇点类别、体积归一化与退化路径，按“路径长度极限／初始势能量”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。检验时必须让支持方与反对方在同一对象、同一误差口径和同一停止规则下比较，否则双方只是在各自定义的成功条件里获胜。

主证据来自Darvas在2017年AJM 139卷1275–1313页的Mabuchi完备化结果。论文刻画Cauchy收敛、距离与Monge–Ampère能量之间的等价；完备化中的距离为零当且仅当势几乎处处相同。其关键不是论文规模，而是给出了“路径长度极限／初始势能量”这一可核对读数；它使同一命题能够跨对象、跨样本或跨尺度复验。后来工作可以扩大范围、改进常数或增加样本，却不能替代这笔证据在历史上的归幕位置。

截至2026年，未收敛部分是：不同Lp Finsler度量给出不同能量类；奇异空间与非紧背景需要重新定义完备性。这意味着“成立”至少要区分存在、稳定、可实现与可迁移四层；失效口为：若对象落入以下已知边界，本条不再自动成立：不同Lp Finsler度量给出不同能量类；奇异空间与非紧背景需要重新定义完备性。只有在统一的“路径长度极限／初始势能量”上报告失败概率、误差范围或常数依赖，争论才可能真正结束。

实践上，本条要求：规范度量的存在可以转成完备度量空间中的强制性与极小化，弱极限不再是“跑出空间”。具体到本条，本项复核须同时说明“路径长度极限／初始势能量”、最坏对象和计算或实施成本；否则一个看似更强的结果，可能只是使用了更窄的任务、更宽的容差或未计入的外部资源。

接口：与第307号概率分布几何共享完备化；与第301号量子度量空间共享距离必须区分同构类。异名：概率论称“Wasserstein完备化”，优化称“闭包中的极小化”；另见第307号后验几何。共享预设为“光滑对象的自然Cauchy列应在有限能量对象中而非任意分布中收敛”；先统一“路径长度极限／初始势能量”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置D——把『Mabuchi空间的度量完备化』中的操作次序与变化路径作为首要显露　单因决定『Mabuchi空间的度量完备化』当前结论的最小充分项只有：Kähler势空间的自然距离完备化恰是有限能量类，而不是任意弱势函数　预设〔06 聚合次序不影响结论〕光滑对象的自然Cauchy列应在有限能量对象中而非任意分布中收敛　量纲路径长度极限／初始势能量　失效若对象落入以下已知边界，本条不再自动成立：不同LpFinsler度量给出不同能量类；奇异空间与非紧背景需要重新定义完备性　自曝『Mabuchi空间的度量完备化』的原始材料只直接支持“主证据来自Darvas在2017年AJM139卷1275–1313页的Mabuchi完备化结果”，没有自动覆盖边界外对象　空栏『Mabuchi空间的度量完备化』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名概率论称“Wasserstein完备化”，优化称“闭包中的极小化”；另见第 211 号第 12 条『稠密极小超曲面：一般度量中的几何谱遍布全空间』

九、cscK方程的先验估计与存在闭环Constant Scalar Curvature Kähler Metrics

提出Xiuxiong Chen与Jingrui Cheng，2021年《Journal of the American Mathematical Society》34(4):909–936、937–1009，DOI:10.1090/jams/967与10.1090/jams/966　争议或最新Berman、Darvas与Lu等关于能量适当性的工作　关键常标量曲率Kähler度量的存在可以由K能量适当性控制，并获得不依赖先验曲率的估计

到2021年前后，常见出发点仍是“Fano的Kähler–Einstein方程已完成稳定性闭环，但一般极化类的四阶cscK方程更难”。真正暴露问题的并非一个孤立反例，而是标量曲率方程的四阶结构使C⁰与高阶估计相互缠绕，连续性法容易在未知曲率处停滞。当研究者改用“K能量增长／d1距离”比较时，旧叙事中被隐藏的代价、边界或层级差异显现出来；这也是本条能够成为新思想而不是普通技术改良的原因。

新命题明确写成：先建立熵与势的先验控制，再证明K能量的适当性给出cscK存在性，可把分析估计与变分稳定连接。这句话可以被反驳，检验方式是：固定奇点类别、体积归一化与退化路径，按“K能量增长／d1距离”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。它要求同时锁定对象类、归一化和资源预算；若只换一批更有利的数据、放宽失败标准或改用更弱基线，得到的只是另一条命题，不能算对原主张的支持。

证据链的锚点是Chen与Cheng在2021年JAMS 34卷两篇cscK论文。两篇论文建立从熵和能量到高阶正则性的估计，并证明在适当性条件下连续路径闭合；估计链由C⁰、Laplacian到高阶逐层推进。若只保留结论而删去读数，读者无法知道改变发生在对象数、尺度、覆盖、计算复杂度还是预测误差；“K能量增长／d1距离”因此是本条最应被复核的部分，也是后续反例必须对齐的分母。

主结果没有消灭争议。代数K稳定与能量适当性的完全等价在一般自同构群和超越Kähler类中仍有细节；常数的有效性也有限。它明确在以下情形失效：若对象落入以下已知边界，本条不再自动成立：代数K稳定与能量适当性的完全等价在一般自同构群和超越Kähler类中仍有细节；常数的有效性也有限。决定性证据应同时给出最强支持对象与最强反例，并登记奇点模型、能量斜率和紧化极限；如果结论只在作者选择的表示、样本或停止规则下成立，就只能称为条件性转向。

另一处常被略过的是：一般规范Kähler度量由“求四阶方程”转成“审计能量是否沿所有逃逸方向增长”。当本条进入证明库、课堂、临床、软件或工程流程时，不能只验最终分数，还要记录中间量怎样随尺度、样本或预算变化。若收益来自把代价转移到未计分环节，它并没有兑现原命题。

接口见与第307号后验强制性共享“目标函数在无穷远必须抬升”；与第308号最优设计共享最坏方向信息。其他领域称：优化称“强制性”，统计称“后验尾部可积”；另见第307号广义后验。只有“K能量增长／d1距离”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置E——把『cscK方程的先验估计与存在闭环』成立所需的边界环境作为首要显露　单因决定『cscK方程的先验估计与存在闭环』当前结论的最小充分项只有：常标量曲率Kähler度量的存在可以由K能量适当性控制，并获得不依赖先验曲率的估计　预设〔06 聚合次序不影响结论〕极小化序列只有在所有无穷远方向付出能量时才会收敛到规范度量　量纲K能量增长／d1距离　失效若对象落入以下已知边界，本条不再自动成立：代数K稳定与能量适当性的完全等价在一般自同构群和超越Kähler类中仍有细节；常数的有效性也有限　自曝『cscK方程的先验估计与存在闭环』的原始材料只直接支持“证据链的锚点是Chen与Cheng在2021年JAMS34卷两篇cscK论文”，没有自动覆盖边界外对象　空栏『cscK方程的先验估计与存在闭环』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“强制性”，统计称“后验尾部可积”；另见第 214 号第 13 条『性能估计问题：一阶法的最坏界可由半定规划审计』

十、YTD猜想的非阿基米德变分化Non-Archimedean Variational YTD

提出Robert J. Berman、Sébastien Boucksom与Mattias Jonsson，2021年《Journal of the American Mathematical Society》34(3):605–652，DOI:10.1090/jams/964　争议或最新Boucksom与Jonsson关于测试构形和赋值空间的后续工作　关键所有测试构形可以被非阿基米德能量空间统一，而稳定性是能量斜率的强制性

2021年前后，本领域常把“K稳定按无穷多个代数测试构形逐个定义，难以与解析测地射线直接比较”当作默认起点。它在典型对象上看似稳固，却被若每个退化都单独处理，就看不出哪种完备化能承载极限退化和最坏方向直接顶住。真正需要更换的不是符号，而是比较单位：一旦把“非阿基米德能量斜率／射线d1长度”写进分母，原来混在一起的结构差异便必须分别说明，旧结论也不再能够无条件外推。

本条把转向压成一句可检验的话：把测试构形视为非阿基米德度量，建立能量与熵，并用斜率公式连接复测地射线和稳定性。可反驳版本为：固定奇点类别、体积归一化与退化路径，按“非阿基米德能量斜率／射线d1长度”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这一区分很重要，因为同一个标题可以在更窄对象类上成立、在更大类上失效；若不登记分母与适用域，后来的推广和反例就会被误写成互相矛盾。

Berman、Boucksom与Jonsson在2021年JAMS 34卷605–652页的变分YTD框架是本条的证据起点。论文证明多种能量沿射线的非阿基米德斜率公式，并把一致K稳定写成能量泛函的线性下界。具体读数“非阿基米德能量斜率／射线d1长度”把旧默认送上同一口径的检验台：纯数学中它表现为结构降维、常数或端点，统计与教育研究中则表现为样本、效应、覆盖或预测损失。共同点是结论不再只靠叙述成立。

后续争论集中在：从所有非阿基米德度量到可实现测试构形的逼近仍需条件；奇异度量的正则化和自同构取商增加复杂度。因此，本条并非无条件有效；若对象落入以下已知边界，本条不再自动成立：从所有非阿基米德度量到可实现测试构形的逼近仍需条件；奇异度量的正则化和自同构取商增加复杂度。收口所需的不是一句“仍需研究”，而是一套双方都可能失败的设计：统一对象、分母、反例族和资源预算，并让“非阿基米德能量斜率／射线d1长度”在独立材料上接受复算。

实践后果是：K稳定从离散审计表变成一个完备变分空间中的几何问题，可与cscK能量直接对接。报告应围绕“非阿基米德能量斜率／射线d1长度”同时列出失败对象、资源成本与敏感性结果，排除筛选或未计成本造成的表面优势。

跨域入口是与第304号表示空间共享“换编码后问题的度是否保持”；与第307号模型空间先验共享无限模型类上的能量。异名为优化称“渐近斜率”，贝叶斯称“模型复杂度惩罚”；另见第307号模型平均。碰撞须固定“退化应被完备为一个连续空间，最坏退化由能量斜率刻画”并比较“非阿基米德能量斜率／射线d1长度”；第三项是奇点类别、体积归一化与退化路径。

位置S——把『YTD猜想的非阿基米德变分化』形成的对象结构作为首要显露　单因决定『YTD猜想的非阿基米德变分化』当前结论的最小充分项只有：所有测试构形可以被非阿基米德能量空间统一，而稳定性是能量斜率的强制性　预设〔06 聚合次序不影响结论〕退化应被完备为一个连续空间，最坏退化由能量斜率刻画　量纲非阿基米德能量斜率／射线d1长度　失效若对象落入以下已知边界，本条不再自动成立：从所有非阿基米德度量到可实现测试构形的逼近仍需条件；奇异度量的正则化和自同构取商增加复杂度　自曝『YTD猜想的非阿基米德变分化』的原始材料只直接支持“Berman、Boucksom与Jonsson在2021年JAMS34卷605–652页的变分YTD框架是本条的证据起点”，没有自动覆盖边界外对象　空栏『YTD猜想的非阿基米德变分化』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名优化称“渐近斜率”，贝叶斯称“模型复杂度惩罚”；另见第 214 号第 16 条『贝叶斯优化：昂贵黑箱由后验不确定性安排试验』

十一、奇异cscK与可平滑退化的前沿Singular cscK on Smoothable Varieties

提出Chung-Ming Pan、Tat Dat Tô与Antonio Trusiani，2023年arXiv:2312.13653（预印本，2025年修订）　争议或最新相关背景见Chen–Cheng 2021年cscK存在理论　关键cscK度量可能在可平滑奇异簇上作为光滑纤维规范度量的极限存在

在2023年前后的文献中，标准叙事是“cscK理论主要在光滑紧流形上，退化族中心纤维即使代数稳定也缺少可用弱度量”。这个叙事之所以长期有效，是因为经典例子没有暴露如下缺口：模空间紧化要求规范度量穿过奇异中心，否则解析模空间无法闭合。主证据迫使研究者把对象、表示与验证尺度拆开；以“极限非极质量／光滑纤维体积”重新计量后，过去被当作技术噪声的部分，成为决定结论方向的变量。

可以把命题写为：在适当稳定、能量与平滑族条件下，可构造奇异cscK度量并控制光滑纤维向中心纤维退化。与口号不同，它预先承诺了失败方式：固定奇点类别、体积归一化与退化路径，按“极限非极质量／光滑纤维体积”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。这使研究者不能在结果出现后移动对象边界、改评分规则或删去困难实例；若这些条件必须改变，结论应被重新命名，而不是继续沿用原来的理论标签。

2023年，Pan、Tô与Trusiani在2024—2025年关于可平滑簇奇异cscK度量的预印本给出主证据：预印本建立奇异势的能量框架并证明若干可平滑情形的收敛；核心读数是纤维能量与非极质量在退化中保持。这项工作的力量在于把问题从“有人相信什么”移到“什么数值或结构量可以重做”。按“极限非极质量／光滑纤维体积”组织证据后，支持结果、零结果与失败对象可以放进同一张账本，不再依靠术语声望比较。

争议边界是：结果尚未覆盖任意奇异类型，且预印本阶段的假设与最终版本可能变化；决定性证据是独立证明和更一般族上的模空间紧性。失效条件为：若对象落入以下已知边界，本条不再自动成立：结果尚未覆盖任意奇异类型，且预印本阶段的假设与最终版本可能变化；决定性证据是独立证明和更一般族上的模空间紧性。收敛需统一对象与“极限非极质量／光滑纤维体积”，并公开奇点模型、能量斜率和紧化极限及最强反例。

由此，前沿把“规范度量只属于光滑对象”的默认推向终点：奇异中心也可成为有度量的模空间点。对本项证据须公开“极限非极质量／光滑纤维体积”、失败对象和资源成本；只报最优结果不足以支持迁移。

接口：与第310号非平稳域预测共享“训练域退化后目标是否仍定义”；与第306号外部验证共享跨族迁移。异名：统计学称“分布漂移下目标延拓”，代数几何称“模空间紧化”；另见第310号域适配。共享预设为“平滑族的规范度量在能量紧性下应有奇异但可解释的极限”；先统一“极限非极质量／光滑纤维体积”，若仍逆向，再检验奇点类别、体积归一化与退化路径。

位置E——把『奇异cscK与可平滑退化的前沿』成立所需的边界环境作为首要显露　单因决定『奇异cscK与可平滑退化的前沿』当前结论的最小充分项只有：cscK度量可能在可平滑奇异簇上作为光滑纤维规范度量的极限存在　预设〔01 谁进入分母〕平滑族的规范度量在能量紧性下应有奇异但可解释的极限　量纲极限非极质量／光滑纤维体积　失效若对象落入以下已知边界，本条不再自动成立：结果尚未覆盖任意奇异类型，且预印本阶段的假设与最终版本可能变化；决定性证据是独立证明和更一般族上的模空间紧性　自曝『奇异cscK与可平滑退化的前沿』的原始材料只直接支持“2023年，Pan、Tô与Trusiani在2024—2025年关于可平滑簇奇异cscK度量的预印本给出主证据：预印本建立奇异势的能量框架并证明若干”，没有自动覆盖边界外对象　空栏『奇异cscK与可平滑退化的前沿』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名统计学称“分布漂移下目标延拓”，代数几何称“模空间紧化”；另见第 211 号第 9 条『非交换度量几何：谱距离把代数状态变成空间』

十二、指定拉格朗日相位与代数障碍Specified Lagrangian Phase and dHYM

提出Tristan C. Collins、Adam Jacob与Shing-Tung Yau，2020年《Cambridge Journal of Mathematics》8(2):407–452，DOI:10.4310/CJM.2020.v8.n2.a4　争议或最新Gao Chen，2021年《Inventiones Mathematicae》225(2):529–602，DOI:10.1007/s00222-021-01035-3　关键变形Hermitian–Yang–Mills方程的可解性受子解与交叉数稳定条件约束

2020年前后，旧框架把问题压成一句话：“特殊拉格朗日相位方程常被当作纯解析的全非线性方程，只需寻找先验二阶估计”。但即使局部椭圆性成立，全局上同调类也可能含有使相位条件不可能满足的子簇障碍，使同名结论在不同对象上并不可比。这里的卡点不是技巧不足，而是分母缺席：只有把“满足相位不等式的子簇数／全部正维子簇数”固定下来，才能区分真结构、近似误差与由选择过程制造的表面一致。

核心主张是：在超临界相位区，适当的C-子解给出先验估计，而子簇交叉不等式提供可检验的代数障碍。它不是定义性的正确，而有清楚的否证口：固定奇点类别、体积归一化与退化路径，按“满足相位不等式的子簇数／全部正维子簇数”重做；若主张方向不能在独立对象上复现，或落入明确失效条件后读数仍不改变，本命题就应被否定或收窄。因此，论证责任从“展示一个成功例子”转为说明成功在什么范围保持、失败在什么条件出现，并把存在性、稳定性、可计算性或可迁移性分层报告。

Collins、Jacob与Yau在2020年Cambridge Journal of Mathematics 8卷407–452页的工作提供了决定性证据。论文证明在C-子解存在时获得二阶估计并解出方程，同时导出对所有子簇的相位不等式；维数n中的相位区间和每个p维子簇的交叉数共同构成读数。这里最有信息量的读数是“满足相位不等式的子簇数／全部正维子簇数”：它把抽象争论压成别人能够复算的比例、维数、阈值、误差阶或有效样本量。数字并非装饰，而是说明究竟哪一层默认被改写。

争议边界是：一般维数中代数不等式是否充分后来才部分解决，临界与次临界相位、非线丛高秩情形仍可能出现新障碍。失效条件为：若对象落入以下已知边界，本条不再自动成立：一般维数中代数不等式是否充分后来才部分解决，临界与次临界相位、非线丛高秩情形仍可能出现新障碍。收敛需统一对象与“满足相位不等式的子簇数／全部正维子簇数”，并公开奇点模型、能量斜率和紧化极限及最强反例。

另一处后果是：镜像对称中的规范连接问题因此进入与K稳定相似的“方程存在—代数稳定”框架，而不再只是局部PDE估计。最低报告责任包括“满足相位不等式的子簇数／全部正维子簇数”、最坏对象与成本账本，负结果属于理论边界而非附注。

接口见与本块第八条K稳定共享对全部子对象的审计；与第308号分层实验共享“每个子群约束都可能阻断整体最优”。其他领域称：镜像对称称“dHYM稳定”，优化称“所有子集约束可行”；另见第308号子群异质性。只有“满足相位不等式的子簇数／全部正维子簇数”可换算时才属同一动作；冲突仍在时应测量奇点类别、体积归一化与退化路径。

位置E——把『指定拉格朗日相位与代数障碍』成立所需的边界环境作为首要显露　单因决定『指定拉格朗日相位与代数障碍』当前结论的最小充分项只有：变形Hermitian–Yang–Mills方程的可解性受子解与交叉数稳定条件约束　预设〔02 单一读数代表复杂对象〕全局可解性必须同时通过局部椭圆性和所有子簇的相位一致性　量纲满足相位不等式的子簇数／全部正维子簇数　失效若对象落入以下已知边界，本条不再自动成立：一般维数中代数不等式是否充分后来才部分解决，临界与次临界相位、非线丛高秩情形仍可能出现新障碍　自曝『指定拉格朗日相位与代数障碍』的原始材料只直接支持“Collins、Jacob与Yau在2020年CambridgeJournalofMathematics8卷407–452页的工作提供了决定性证据”，没有自动覆盖边界外对象　空栏『指定拉格朗日相位与代数障碍』账本尚未纳入的中止路径、未达阈值对象、极端尾部与长期环境回写　异名镜像对称称“dHYM稳定”，优化称“所有子集约束可行”；另见第 435 号第 16 条『家族企业可持续性来自身份绑定也受漂绿约束』

◎ 二十年连起来看

第一条贯穿线索是：奇异性从例外变成对象本身。2009年的klt奇异Kähler–Einstein度量和2010年的非极乘积先给奇异对象定义质量；2016年后的边缘正则、奇异cscK和模空间紧化则要求描述奇点附近的精确阶数与退化极限。检验时应把相关条目的量纲并列，查看同一分母是否保持方向。若换一类对象便反转，它只是局部家族，不是二十年主线。还要确认第二幕确实复用了或清算了第一幕的判据。

第二条线索是：存在性被改写为稳定性与强制性。Fano的Yau–Tian–Donaldson定理由测试构形判定方程有无解，cscK理论再把判据写成K能量沿d1无穷方向的增长，非阿基米德能量则把离散退化完备成连续空间。若换一类对象便反转，它只是局部家族，不是二十年主线。还要确认第二幕确实复用了或清算了第一幕的判据。检验时应把相关条目的量纲并列，查看同一分母是否保持方向。

第三条线索是：每个漂亮等式都必须交代分母。非极质量要除以上同调体积，锐L²延拓要除以给定数据范数，测地线正则要说明导数阶，流收敛要模去自同构。尚未解决的是这些判据在一般奇异、坍缩和非极化族中能否有效计算。还要确认第二幕确实复用了或清算了第一幕的判据。检验时应把相关条目的量纲并列，查看同一分母是否保持方向。

◎ 三个常见误解

误解一：复几何的新进展主要是解出更多PDE。容易误读，是因为论文标题常以方程命名；正确表述是，真正的转向多发生在解空间、能量和稳定性判据，方程只是这些结构的欧拉形式。判断标准不是术语是否流行，而是换一分母后结论是否仍成立。最容易误读之处，应由反例、边界或样本外结果直接揭示。若正确表述不能排除一种常见错误用法，这个澄清仍不完整。

误解二：K稳定已经提供一个可直接运行的算法。它看起来像数值判据，但定义要检查无限多退化；正确表述是，稳定性首先完成了概念等价，怎样以有限生成或量化方法有效审计仍是前沿。最容易误读之处，应由反例、边界或样本外结果直接揭示。若正确表述不能排除一种常见错误用法，这个澄清仍不完整。判断标准不是术语是否流行，而是换一分母后结论是否仍成立。

误解三：弱解意味着正则性不再重要。弱解让奇异对象进入理论，却不自动给出曲率、渐近展开或模空间连续性；边缘正则和C¹,¹测地线说明，正确问题是“在哪个加权空间、达到哪一阶”。若正确表述不能排除一种常见错误用法，这个澄清仍不完整。判断标准不是术语是否流行，而是换一分母后结论是否仍成立。最容易误读之处，应由反例、边界或样本外结果直接揭示。

◎ 与相邻领域的接口

与代数几何的分工判据是：本块追踪度量、势、能量与解析极限；代数几何负责测试构形、赋值、奇点类型和模空间。二者在K稳定与非阿基米德度量处相交。分工判据是：对象定义与核心量纲归本块，识别、实现或制度条件归对方面板。接口只有在两边能用同一分母复算时才成立。若只能共享比喻而不能共享读数，就不应称为真正接口。

与偏微分方程的接口在先验估计。本块不重讲一般椭圆正则，而关注复结构、正性和上同调类如何改变估计的对象与分母。接口只有在两边能用同一分母复算时才成立。若只能共享比喻而不能共享读数，就不应称为真正接口。分工判据是：对象定义与核心量纲归本块，识别、实现或制度条件归对方面板。接口只有在两边能用同一分母复算时才成立。

与泛函分析和算子代数的接口在完备化、凸性与非交换类比：Mabuchi距离、能量空间和延拓范数都把无穷维结构压成可比较量。若只能共享比喻而不能共享读数，就不应称为真正接口。分工判据是：对象定义与核心量纲归本块，识别、实现或制度条件归对方面板。接口只有在两边能用同一分母复算时才成立。若只能共享比喻而不能共享读数，就不应称为真正接口。

与空间统计的接口在奇点、边界和多尺度极限：复几何要求边缘模型与切锥，空间统计要求障碍核与局部平稳模型；共同问题是欧氏邻近何时失真。分工判据是：对象定义与核心量纲归本块，识别、实现或制度条件归对方面板。接口只有在两边能用同一分母复算时才成立。若只能共享比喻而不能共享读数，就不应称为真正接口。

◎ 争议现场

K稳定的可检验性尚未收敛。代数侧希望约化到特殊测试构形或有限生成赋值，解析侧用能量斜率覆盖更大退化类；收敛需要在明确对象类上证明有限审计与全退化审计给出同一符号。收敛设计应统一对象、分母、对照与资源预算，并预先声明失败条件。双方还应在同一批最强反例上接受检验。若只在各自挑选的数据上成立，争论就不会真正结束。

奇异规范度量的正则性尚未收敛。弱解、边缘展开和光滑化极限使用不同函数空间；收敛需要同一退化族上同时控制非极质量、曲率积分和局部模型误差。双方还应在同一批最强反例上接受检验。若只在各自挑选的数据上成立，争论就不会真正结束。收敛设计应统一对象、分母、对照与资源预算，并预先声明失败条件。双方还应在同一批最强反例上接受检验。

坍缩极限的代数恢复尚未收敛。非坍缩时部分C⁰估计能恢复射影结构，坍缩时纤维信息可能丢失；收敛需要给出随坍缩尺度归一的截面计数与唯一极限。若只在各自挑选的数据上成立，争论就不会真正结束。收敛设计应统一对象、分母、对照与资源预算，并预先声明失败条件。双方还应在同一批最强反例上接受检验。若只在各自挑选的数据上成立，争论就不会真正结束。

◎ 往下五年看什么

观察点一是奇异cscK预印本能否在2026—2031年形成经同行评议的统一存在定理，并把可平滑假设从特定奇点类扩展到可量化阈值。五年后应按固定基线、公开分母和独立数据直接复核。除平均改进外，还要报告失败比例、区间或计算代价。若读数无法跨年份复算，它仍只是愿望而非观察点。五年后应按固定基线、公开分母和独立数据直接复核。

观察点二是K稳定计算中，实际只需检查的退化数量能否从“无限类”降到由维数、度数或生成元数控制的有限上界。除平均改进外，还要报告失败比例、区间或计算代价。若读数无法跨年份复算，它仍只是愿望而非观察点。五年后应按固定基线、公开分母和独立数据直接复核。除平均改进外，还要报告失败比例、区间或计算代价。

观察点三是坍缩Kähler–Ricci流是否能在独立族上给出统一曲率积分界和极限测度误差率，而不只证明子序列存在。若读数无法跨年份复算，它仍只是愿望而非观察点。五年后应按固定基线、公开分母和独立数据直接复核。除平均改进外，还要报告失败比例、区间或计算代价。若读数无法跨年份复算，它仍只是愿望而非观察点。五年后应按固定基线、公开分母和独立数据直接复核。

观察点四是非阿基米德能量与数值量化之间能否产生可复现实验：同一Fano或极化簇上，不同基次数近似的稳定阈值收敛率是多少。五年后应按固定基线、公开分母和独立数据直接复核。除平均改进外，还要报告失败比例、区间或计算代价。若读数无法跨年份复算，它仍只是愿望而非观察点。五年后应按固定基线、公开分母和独立数据直接复核。

◎ 可与哪些领域对撞

本块第八条“K稳定”与第308号随机化设计共享“所有允许偏离都必须被审计”的预设；前者要求每个退化的Futaki不变量非负，后者只要求随机化分布下偏差可控。若两边都成立，必须引入“偏离集合由谁生成”这一第三项。可执行的碰撞设计，应在同一对象上同时测量两边的量纲。若矛盾在统一分母后消失，说明差异只是异名；若仍存在，才需要第三项。

本块第五条“变分Monge–Ampère”与第307号“变分推断”共享以能量极值定义对象；前者在完备空间追求真实方程解，后者常用受限族近似后验。若两边都成立，第三项是近似族扩大时能量差是否趋零。若矛盾在统一分母后消失，说明差异只是异名；若仍存在，才需要第三项。第三项必须能产生新的可证伪读数，不能只是折中措辞。可执行的碰撞设计，应在同一对象上同时测量两边的量纲。

本块第六条“有限截面恢复极限”与第310号“低秩空间近似”共享有限基表示无限对象；复几何要求保持乘法环，空间统计只要求预测均方误差小。若两边都成立，第三项是哪些结构必须被保真而不能只看重构误差。第三项必须能产生新的可证伪读数，不能只是折中措辞。可执行的碰撞设计，应在同一对象上同时测量两边的量纲。

本块第十二条“相对稳定”与第309号“概念漂移”共享基线移动；几何把对称漂移模去，预测则把漂移当需追踪的信号。若两边都成立，第三项是漂移是否属于允许对称群。可执行的碰撞设计，应在同一对象上同时测量两边的量纲。若矛盾在统一分母后消失，说明差异只是异名；若仍存在，才需要第三项。第三项必须能产生新的可证伪读数，不能只是折中措辞。

◎ 十条可做的研究命题

1. 命题：可平滑klt中心纤维的cscK能量在光滑化中一致有界。怎么做：选固定极化退化族，联合计算d1距离、非极质量与标量曲率积分；若能量随平滑参数无界而仍存在平滑cscK，则证伪。分析应预注册主要分母、排除规则与停止条件。

2. 命题：固定维数Fano簇的K不稳定性可由有界复杂度测试构形见证。怎么做：按生成次数递增枚举退化并与非阿基米德最小斜率比较；若最坏斜率只在复杂度无界序列中出现，则证伪。另做跨样本复现和至少一种敏感性分析。

3. 命题：锥角边缘解的首个非平凡展开系数由除子的二阶基本形式唯一决定。怎么做：固定角度和共形类改变高阶喷射；若首系数随高阶数据改变，则证伪。若主要结果只在单一口径成立，也视为对命题的削弱。

4. 命题：Kähler–Ricci流在K多稳定Fano上的能量衰减率由第一非零加权Laplacian特征值控制。怎么做：跨多个自同构群类型比较谱隙与Mabuchi衰减；若控制谱隙后衰减率仍系统分叉，则证伪。分析应预注册主要分母、排除规则与停止条件。

5. 命题：非极Monge–Ampère质量损失可以预测退化族中代数体积跳跃。怎么做：并行计算解析质量比和交叉数；若质量损失与体积跳跃无稳定单调关系，则证伪。另做跨样本复现和至少一种敏感性分析。

6. 命题：锐L²延拓常数可作为复杂域边界退化的早期读数。怎么做：在可控伪凸域族中同时测延拓常数与Bergman核奇化；若常数不先于几何退化变化，则证伪。若主要结果只在单一口径成立，也视为对命题的削弱。

7. 命题：Mabuchi完备化中的d1紧性足以保证量化Bergman度量的统一近似率。怎么做：对有限能量势做基次数递增量化；若d1紧集上不存在统一误差率，则证伪。分析应预注册主要分母、排除规则与停止条件。另做跨样本复现和至少一种敏感性分析。

8. 命题：坍缩极限的代数结构可由归一化低能截面数量唯一恢复。怎么做：构造同维坍缩族比较截面增长谱与极限基底；若不同代数极限有相同归一化谱，则证伪。另做跨样本复现和至少一种敏感性分析。

9. 命题：强开放指数余量可由有限个局部Lelong数上界。怎么做：在参数化奇点族中比较最优ε与Lelong向量；若同向量下ε可趋零，则证伪。若主要结果只在单一口径成立，也视为对命题的削弱。分析应预注册主要分母、排除规则与停止条件。

10. 命题：非阿基米德能量的数值量化在固定度数族上具有多项式收敛率。怎么做：用递增基次数计算测试构形近似；若误差只呈次多项式或无统一率，则证伪。分析应预注册主要分母、排除规则与停止条件。

◎ 资料核验

  1. Philippe Eyssidieux、Vincent Guedj与Ahmed Zeriahi，2009年《Journal of the American Mathematical Society》22(3):607–639，DOI:10.1090/S0894-0347-09-00629-8
  2. 后续边界见Robert Berman等关于对数Fano簇与变分方法的工作
  3. Sébastien Boucksom、Philippe Eyssidieux、Vincent Guedj与Ahmed Zeriahi，2010年《Acta Mathematica》205(2):199–262，DOI:10.1007/s11511-010-0054-7
  4. Robert Berman、Sébastien Boucksom、Vincent Guedj与Ahmed Zeriahi，2013年《Publications Mathématiques de l’IHÉS》117:179–245
  5. Jian Song与Gang Tian，2012年《Journal of the American Mathematical Society》25(2):303–353，DOI:10.1090/S0894-0347-2011-00717-0
  6. 后续收敛与坍缩见Valentino Tosatti、Ben Weinkove与Xiaokui Yang，2018年《American Journal of Mathematics》140(3):653–698
  7. Zbigniew Błocki，2013年《Inventiones Mathematicae》193(1):149–158，DOI:10.1007/s00222-012-0423-2
  8. Qi’an Guan与Xiangyu Zhou，2015年《Annals of Mathematics》181(3):1139–1208，DOI:10.4007/annals.2015.181.3.8
  9. Robert J. Berman、Sébastien Boucksom、Vincent Guedj与Ahmed Zeriahi，2013年《Publications Mathématiques de l’IHÉS》117:179–245，DOI:10.1007/s10240-012-0046-6
  10. 后续非阿基米德变分见Robert Berman、Sébastien Boucksom与Mattias Jonsson，2021年《Journal of the AMS》34(3):605–652
  11. Simon Donaldson与Song Sun，2014年《Acta Mathematica》213(1):63–106，DOI:10.1007/s11511-014-0116-3
  12. Simon Donaldson与Song Sun，2017年《Journal of Differential Geometry》107(2):327–371，DOI:10.4310/jdg/1506650422
  13. Qi’an Guan与Xiangyu Zhou，2015年《Annals of Mathematics》182(2):605–616，DOI:10.4007/annals.2015.182.2.5
  14. 相关最优L²延拓见Guan与Zhou，2015年《Annals of Mathematics》181(3):1139–1208
  15. Xiuxiong Chen、Simon Donaldson与Song Sun，2015年《Journal of the American Mathematical Society》28(1):183–197、199–234、235–278，DOI:10.1090/S0894-0347-2014-00799-2等
  16. 后续变分统一见Berman、Boucksom与Jonsson，2021年《Journal of the AMS》34(3):605–652
  17. Thalia Jeffres、Rafe Mazzeo与Yanir Rubinstein，2016年《Annals of Mathematics》183(1):95–176，DOI:10.4007/annals.2016.183.1.3
  18. Simon Donaldson，2012年关于锥角Kähler度量的先行框架
  19. Ved Datar与Gábor Székelyhidi，2016年《American Journal of Mathematics》138(5):1197–1230，DOI:10.1353/ajm.2016.0054
  20. 后续复杂度一环面作用实例见Ilten与Süß，2017年《Duke Mathematical Journal》166(1):177–204
  21. Bo Berndtsson与László Lempert，2016年《Journal of the Mathematical Society of Japan》68(4):1461–1472，DOI:10.2969/jmsj/06841461
  22. Błocki 2013年Suita猜想证明与Guan–Zhou 2015年最优常数结果
  23. Jianchun Chu、Valentino Tosatti与Ben Weinkove，2017年《Annals of PDE》3(2):Article 15，12页，DOI:10.1007/s40818-017-0034-8
  24. Tamás Darvas，2017年《American Journal of Mathematics》139(5):1275–1313
  25. 第一阶段见Donaldson与Sun，2014年《Acta Mathematica》213:63–106
  26. Gábor Székelyhidi、Valentino Tosatti与Ben Weinkove，2017年《Acta Mathematica》219(1):181–211，DOI:10.4310/ACTA.2017.v219.n1.a5
  27. Tosatti与Weinkove，2017年《Journal of the AMS》30(2):311–346
  28. Xiuxiong Chen、Song Sun与Bing Wang，2018年《Geometry & Topology》22(6):3145–3173，DOI:10.2140/gt.2018.22.3145
  29. Chen–Donaldson–Sun 2015年Fano YTD定理
  30. Tamás Darvas，2017年《American Journal of Mathematics》139(5):1275–1313，DOI:10.1353/ajm.2017.0032
  31. Darvas，2015年《Advances in Mathematics》285:182–219
  32. Xiuxiong Chen与Jingrui Cheng，2021年《Journal of the American Mathematical Society》34(4):909–936、937–1009，DOI:10.1090/jams/967与10.1090/jams/966
  33. Berman、Darvas与Lu等关于能量适当性的工作
  34. Robert J. Berman、Sébastien Boucksom与Mattias Jonsson，2021年《Journal of the American Mathematical Society》34(3):605–652，DOI:10.1090/jams/964
  35. Boucksom与Jonsson关于测试构形和赋值空间的后续工作
  36. Chung-Ming Pan、Tat Dat Tô与Antonio Trusiani，2023年arXiv:2312.13653（预印本，2025年修订）
  37. 相关背景见Chen–Cheng 2021年cscK存在理论
  38. Tristan C. Collins、Adam Jacob与Shing-Tung Yau，2020年《Cambridge Journal of Mathematics》8(2):407–452，DOI:10.4310/CJM.2020.v8.n2.a4
  39. Gao Chen，2021年《Inventiones Mathematicae》225(2):529–602，DOI:10.1007/s00222-021-01035-3
  40. Valentino Tosatti、Ben Weinkove与Xiaokui Yang，2018年《American Journal of Mathematics》140(3):653–698。
  41. Simon Donaldson，2012年《Kähler metrics with cone singularities along a divisor》，Essays in Mathematics and its Applications，49–79。
  42. Tamás Darvas与Chinh H. Lu，2020年《Geometry & Topology》24(4):1907–1967。
  43. Rémi Reboulet等，2024年arXiv:2409.06221《A non-Archimedean theory of complex spaces and the cscK problem》（预印本）。
新思想前沿 是一个持续撰写的专栏：近二十年，各主要领域最要紧的思想转向。本块采用两幕体例——上一个十年八条、这十年十二条，每条给出提出者、年份与出处，写清它推翻了什么、靠什么读数立住、以及它自己的边界；每条正文之后另附一行碰撞行（预设／量纲／失效／异名），供跨领域取源比对；文末附资料核验。 · ← 回到学科面板