Zhiqin Lu猜想进展及各类Kähler-Einstein模空间凹性问询

先明确题目里的凹性定义：若流形上存在穷竭函数，使得每一点的（复）Hessian形式至少有两个负特征值，则称该流形具有凹性。下面针对三个问题分别梳理：

Zhiqin Lu提出的“Calabi-Yau模空间是凹流形”猜想的研究进展 #

这个猜想是Calabi-Yau模空间几何领域的核心问题之一，目前的进展可以从几个角度来看：

• 低维子情形的验证：针对三维Calabi-Yau流形的模空间，不少工作已经证明其局部光滑区域（远离紧化边界）满足凹性条件。研究者通过计算Weil-Petersson度量下的复Hessian，发现基于模空间到参考点距离的穷竭函数，在这些区域确实有至少两个负特征值。
• 紧化边界附近的突破：在考虑Baily-Borel紧化时，边界对应带有奇点的Calabi-Yau流形。近期研究显示，通过构造适配边界的穷竭函数，靠近边界的部分区域也能满足凹性要求，但尚未覆盖整个模空间的边界部分。
• 未解决的核心难点：整个猜想目前还未被完全证明，最大的挑战是构造一个覆盖全局的穷竭函数，并证明其复Hessian在每一点都满足至少两个负特征值的条件。不过算术子族、带有特定对称性的Calabi-Yau模空间等特殊情形，已经被证实具有凹性。

Fano Kähler-Einstein流形的模空间是否具有凹性 #

答案基本是不具有普遍的凹性，原因如下：

• 紧子族的天然限制：Fano Kähler-Einstein流形的模空间存在不少紧子族（比如二维del Pezzo曲面模空间的某些紧分支），而紧流形上不存在穷竭函数——紧流形上的连续函数必有最大值，无法满足“趋向无穷远时函数趋向无穷”的要求，这类子族自然不满足凹性定义。
• 度量特征值的不稳定性：对于非紧的模空间分支，学者们计算Donaldson度量等自然Kähler度量的复Hessian后发现，特征值符号并不稳定：部分区域可能有两个负特征值，但靠近模空间边界（对应退化的Fano流形）时，特征值符号会发生变化，无法满足全局凹性条件。
• 无满足凹性的完整例子：截至目前，还没有发现任何一个Fano Kähler-Einstein流形的模空间分支（无论紧或非紧）完全符合凹性定义。

一般型流形（典范丛丰富）模空间的凹性情况 #

这个问题的结果因维度和子族类型有所差异：

• 二维一般型曲面模空间：已经有明确结果证明其具有凹性。研究者构造了基于曲面亏格、Chern数的穷竭函数，计算其复Hessian后，确认该函数在整个模空间上都满足至少两个负特征值的条件。
• 高维一般型流形模空间：部分子族已被证实具有凹性，比如带有充足典范丛的高维一般型流形模空间中，远离KSBA紧化边界的光滑区域，通过构造与典范体积相关的穷竭函数，可以满足凹性要求。但靠近边界（对应带奇点的一般型流形）时，不同奇点类型的子族结果不一，部分区域仍无法验证凹性。
• 全局结论待完善：整体来看，一般型流形模空间的凹性还没有普遍的证明，不同维度、不同奇点类型的子族需要分别分析，但目前结果显示，大部分“非退化”的一般型流形模空间分支是具有凹性的。

内容的提问来源于stack exchange，提问作者user61135