许晨阳和庄梓铨联手系统：路线图

许晨阳，现任普林斯顿大学数学系教授，美国数学会会士。他1981年出生于重庆，1999年进入北京大学数学科学学院，先后获学士和硕士学位；2008年获普林斯顿大学数学博士学位，此后曾在麻省理工学院、犹他大学等机构任职，2020年起任普林斯顿大学教授。

研究领域集中在代数几何，特别是双有理几何、极小模型纲领（MMP）以及Fano簇的K-稳定性理论。他是高维代数几何领域的国际领军数学家之一，在K-稳定性Fano簇的模空间理论、用K-稳定性研究极小模型纲领中的奇点等方面做出了奠基性工作。 近年重要荣誉包括：2021年美国数学会弗兰克·尼尔森·科尔代数奖（首位获此奖的中国人），2019年科学突破奖数学新视野奖，2017年未来科学大奖数学与计算机科学奖，2016年ICTP拉马努金奖；2018年受邀在国际数学家大会作45分钟报告，并担任 J. Amer. Math. Soc. 等期刊编委。 庄梓铨，现任约翰·霍普金斯大学数学系教授。他2010年保送至北京大学数学科学学院，2014年获学士学位；2019年在普林斯顿大学获博士学位，师从János Kollár；2019年至2022年任麻省理工学院Moore讲师，此后加入约翰·霍普金斯大学。 研究聚焦双有理几何与K-稳定性理论，特别是klt奇点的局部体积与稳定退化、Fano簇的K-模空间以及高维双有理几何中的有限生成问题。他与许晨阳、刘雨晨合作解决了更高秩的有限生成猜想，完成了一般Fano簇上Yau-Tian-Donaldson猜想的最后一步，并与许晨阳于2025年完成了klt奇点稳定退化猜想的最终证明。 近年荣誉尤为密集：2022年入选克雷研究学者（Clay Research Fellow），2023年获斯隆研究奖（Sloan Research Fellowship），2024年获Packard Fellowship；2026年受邀在国际数学家大会（ICM 2026）作45分钟报告，报告题目为《Klt奇点的局部体积与K-稳定性》；2026年9月获首届世界顶尖科学家奖“青年科学家奖”，获奖理由称其为“当今国际青年数学界的领军人物”。 近期，许晨阳与庄梓铨的合作综述文章《K-稳定性理论中的若干开放问题》提交至预印本平台。该文在K-模空间构造、稳定退化定理和局部-整体对应取得重要进展的背景下，系统梳理K-稳定性理论中仍待解决的核心问题，覆盖Fano簇K-稳定性、K-模空间、局部归一化体积、辛奇点与接触Fano簇、正特征Frobenius体积以及极小模型纲领中的局部体积下界等方向。文章的价值不在于给出单一新定理，而在于为研究共同体提供问题清单和路线图，突出K-稳定性与高维双有理几何、微分几何、奇点理论及算术背景之间的深层联系。作为一篇面向研究前沿的开放问题综述，它有望推动K-模空间之后的理论发展，并为青年研究者提供可进入的研究切口。 K-稳定性如何寻找最优几何结构 一、从爱因斯坦方程到Fano流形 几何学的一个古老愿望，是在一个空间上找到“最均匀”的度量。微分几何中，Einstein场方程的真空情形要求Ricci曲率与度量成比例，写成公式就是。当空间是复流形时，人们自然希望度量同时与复结构相容，这就是Kähler度量。于是问题变成寻找Kähler-Einstein度量，用Kähler形式写出就是。常数可以归一化为。前两种情形早已有较完整答案，真正困难的是。这时流形的第一陈类为正，称为Fano流形。Fano流形是代数几何中的“正曲率”对象，既贴近微分几何，又可以用代数方法研究。 把方程写成复Monge-Ampère方程后，问题变成求一个Kähler势函数，使 这个方程高度非线性，解的存在性依赖流形的深层代数性质。Mabuchi引入K-能量泛函，把方程的解解释为该泛函的临界点。Tian和Donaldson进一步提出，可以用代数中的“测试配置”检验K-能量沿退化方向的斜率，这就是K-稳定性的来源。后来，多位数学家证明Fano簇的K-多稳定性等价于Kähler-Einstein度量的存在性。这条定理把微分几何的“最优度量”问题转化为代数几何的“稳定性”问题，成为近二十年几何分析与会几何交叉的核心成就之一。 二、K-稳定性：用代数斜率检验最优度量 K-稳定性并不是日常语言中的“稳定”，它衡量的是流形在所有可能的退化方向上是否“倾斜得足够少”。如果某个退化方向使K-能量下降太快，就说明流形不稳定。实际操作中，人们常用稳定阈值来量化稳定性。它把每个除子的对数差异度除以一个与体积有关的量，再取所有除子中的下确界。定理告诉我们，对数Fano对K-半稳定当且仅当这个阈值至少为1，K-稳定当且仅当它严格大于1。这个判据把抽象的稳定性变成可计算的不变量，尤其适合显式Fano簇。 文章列出许多具体问题。例如，文中问题6猜测每个次数满足的光滑超曲面都是K-稳定的；当时已有证明，Abban-Zhuang方法又覆盖了很大范围。问题7希望描述这些超曲面的K-模空间，目前只有三次超曲面有较清晰的猜想。问题8讨论完全交，问题9讨论曲线上的向量丛模空间，问题10和问题11分别关注Fano三维簇和Gushel-Mukai簇。这些问题看似零散，却共同指向一个目标：理解哪些Fano簇能承载Kähler-Einstein度量，以及不能承载时其退化极限是什么。 另一个有趣方向是切丛的稳定性。Kähler-Einstein流形的切丛具有Hermitian-Einstein度量，因此按Donaldson-Uhlenbeck-Yau定理应为多稳定。文章问题12要求给出纯代数证明。这个问题的难点在于，极大 destabilizing 子层会诱导叶状结构，而证明这种叶状结构不可能需要代数几何与复几何的配合。问题13进一步研究由第一陈类决定的典范扩张，猜测K-半稳定或K-多稳定会推出该扩张的半稳定或多稳定。这些问题把流形本身的稳定性与其上向量丛的稳定性联系起来，体现了K-稳定性理论的横向影响力。 三、K-模空间与局部稳定性 有了稳定性概念，人们自然想给所有K-多稳定Fano簇建立一个“参数空间”。这就是K-模空间。文章定理4总结：固定维数、体积和若干数值不变量后，K-多稳定Fano簇由有限型Artin栈参数化，并且具有分离的良好模空间、紧性以及ample的CM线丛。这个构造汇集了有界性、K-半稳定性开性、Θ-分层、极小模型纲领和抽象栈理论等工具。它的意义在于，K-稳定性不再只是单个流形的判据，而成为组织高维几何对象的模空间语言。 更令人意外的是，Fano簇的局部-整体对应可以延伸到稳定性理论。局部K-稳定性以klt奇点的归一化体积为核心。给定奇点，人们考虑所有以为中心的赋值，定义归一化体积并取最小值。定理17说明，任意klt奇点都存在唯一的准单项式最小化子，其分级环有限生成，并且给出一个K-半稳定的对数Fano锥退化。这个稳定退化定理把奇点的局部几何转化为带环面作用的锥形对象，为研究奇点分类提供了新工具。 局部体积还有离散性。定理32指出，固定维数和系数集合后，归一化体积在远离0处是离散的。问题33进一步猜测，非光滑点的归一化体积不超过，且等号只由奇点取得。这个猜想若成立，会帮助描述三次超曲面的K-模空间与GIT模空间之间的关系。文章还讨论对数一般型极小模型纲领中的局部体积下界。问题35问，固定klt对后，经过任何非负双有理映射，局部体积是否有一致正下界。这个问题与flip终止性等核心问题相关，显示了K-稳定性理论向传统双有理几何的回馈。 四、辛奇点、接触Fano与隐藏的超凯勒结构 文章后半部分把稳定退化定理应用到辛奇点。辛奇点是一类带有非退化闭2形式的奇点，常见于超凯勒几何和可积系统。问题20猜测，对辛奇点做稳定退化后，得到的中心纤维仍然是辛奇点，并且辛形式是原形式的退化。这个猜想的解析证据来自超凯勒度量的Gromov-Hausdorff极限。若成立，它将细化Kaledin关于辛奇点解析锥化的猜想。 与辛奇点紧密相关的是接触Fano簇。接触Fano簇是奇数维Fano簇，其光滑部分带有接触结构，可以看作辛锥的“底”。文章问题23询问，幂零轨道闭包的射影底和Slodowy切片的射影底是否K-多稳定。文中还给出一个非Gorenstein显式例子，通过Abban-Zhuang方法估算局部稳定阈值，证明其K-多稳定。问题25进一步猜测，辛奇点的归一化体积最小化子由Kollar分量给出，其对数差异度为，其中或，并且该Kollar分量带有接触Fano orbifold结构且K-多稳定。若这个包络成立，任何锥形辛奇点都可看作“隐藏的超凯勒锥”，这会带来一系列表示论和泊松几何上的推论。 文章还提出Hamiltonian reduction下的最小化子下降问题、分级分量维数的对称性、四元数结构的存在性、Chevalley对合以及短星乘积等问题。这些问题技术性较强，但共同思想是：稳定退化给出的最小化子不应只是体积意义上的最优对象，它还应当保留辛结构、接触结构、环面作用甚至非交换代数结构。换言之，K-稳定性可能在辛奇点理论中扮演“canonical坐标”的角色。 五、正特征、局部体积与未来路线 文章最后讨论正特征和更一般的赋值有限生成问题。在正特征下，对数canonical阈值有Frobenius纯阈值类比，归一化体积也有Frobenius体积和Hilbert-Kunz Frobenius体积的类比。问题46询问，特征0奇点的归一化体积是否等于其模约化后Frobenius体积的极限。问题49期待有限平展映射下的有限度公式，问题50则问Frobenius体积是否为代数数。这些问题目前证据有限，却揭示了特征0与正特征之间可能存在的精细对应。 在赋值理论方面，文章讨论高秩拟单项式赋值的有限生成。问题41询问Fano型态射补除子的特殊赋值集合结构，问题43和问题44则研究计算分级理想序列对数canonical阈值的赋值是否都是拟单项式，以及其中是否包含Kollar赋值。这些问题源于K-稳定性，却已经超出传统双有理几何，进入分级理想序列和凸几何的交汇地带。 总体来看，这篇综述没有试图给出单一宏大定理，而是把K-稳定性理论当前最有希望的开放问题组织成一张地图。地图的一端是Kähler-Einstein度量和Fano簇，另一端是K-模空间、局部奇点、辛几何、接触几何和正特征。对非数学专业读者而言，可以把它理解为一个信号：现代几何正在把“最优形状”的问题翻译成“稳定性”的语言，再用模空间和赋值把这些形状组织起来。许晨阳与庄梓铨提出的这些问题，正是这张地图上尚未点亮的路标。