[论文解读] Kähler-Einstein metrics with cone singularities on klt pairs

Henri Guenancia|arXiv (Cornell University)|Dec 6, 2012

Geometry and complex manifolds参考文献 13被引用 4

一句话总结

该论文在 $K_X + D$ 为大或 $-(K_X + D)$ 为ample 的 klt 对 $(X,D)$ 上，建立了沿除子 $D$ 的 Kähler-Einstein 度量具有锥奇点的存在性。通过在大上同调类中使用正则化和 Monge-Ampère 理论，证明了 Kähler-Einstein 度量在 $D_{\geq 1/2}$ 上表现出锥奇点，其定义域为对数光滑化区域与 ample 区域的交集，将已知结果推广至具有系数约束的一般 klt 设置。

ABSTRACT

Let (X,D) be a klt pair. Assuming either K_X+D big or -(K_X+D) ample, and that the coefficients of D are greater than 1/2, we show that the Kähler-Einstein metric attached to (X,D) -whenever it exists- has cone singularities along D on the log-smooth locus of the pair intersected with the ample locus of K_X+D (in the negatively curved case).

研究动机与目标

• 将具有锥奇点的 Kähler-Einstein 度量的存在性从对数光滑或 ample 情况推广至一般 klt 对。
• 分析 Kähler-Einstein 度量在 $X$ 的对数光滑化区域中靠近 $D$ 支持时的奇点行为。
• 在系数属于 $[1/2, 1)$ 的约束下，于 $K_X + D$ 为大或 $-(K_X + D)$ 为 ample 的情形下，建立锥奇点行为。
• 通过大上同调类与全势理论，将先前关于边度量的结果推广至 klt 对。
• 通过正则化与逼近技术，为奇异代数曲面上 Kähler-Einstein 度量中的锥奇点提供统一框架。

提出的方法

• 利用大上同调类中 Monge-Ampère 方程的理论，特别是非全势积与有限能量电流。
• 应用正则化技术以逼近奇异度量并控制其拉普拉斯增长。
• 通过极小模型程序实现 Zariski 分解，将问题约化至对数典范模型，此时度量行为更易理解。
• 通过大上同调类中光滑度量逼近锥度量，以传递极限。
• 依赖 Boucksom 关于 ample 区域及 klt 对的 canonical 环有限生成性的研究成果。
• 应用全势理论中的结果，包括退化 Monge-Ampère 方程解的存在性与唯一性定理。

实验结果

研究问题

• RQ1 在何种条件下，klt 对上的 Kähler-Einstein 度量在除子 $D$ 上表现出锥奇点？
• RQ2 Kähler-Einstein 度量在 $\mathrm{Supp}(D)$ 附近的奇点行为如何依赖于 $D$ 的系数？
• RQ3 当 $K_X + D$ 为大或 $-(K_X + D)$ 为 ample 时，锥奇点结果能否从对数光滑对推广至一般 klt 对？
• RQ4 $\mathrm{Amp}(K_X + D)$ 在 Kähler-Einstein 度量的正则性与奇点行为中起何作用？
• RQ5 在大上同调类中，正则化与逼近过程如何确保收敛至具有锥奇点的解？

主要发现

• 当 $K_X + D$ 为大时，klt 对 $(X,D)$ 上的 Kähler-Einstein 度量在 $\mathrm{LS}(X,D_{\geq 1/2}) \cap \mathrm{Amp}(K_X + D) \setminus \mathrm{Supp}(D_{<1/2})$ 上沿 $D_{\geq 1/2}$ 表现出锥奇点。
• 当 $-(K_X + D)$ 为 ample 时，任意 Kähler-Einstein 度量在 $\mathrm{LS}(X,D_{\geq 1/2}) \setminus \mathrm{Supp}(D_{<1/2})$ 上沿 $D_{\geq 1/2}$ 表现出锥奇点。
• 该结果将 Brendle、Campana-Guenancia-Păun 与 Jeffres-Mazzeo-Rubinstein 关于边度量的先前工作推广至具有系数约束的 klt 设置。
• 证明了在大上同调类中，Monge-Ampère 方程 $\mathrm{MA}(\varphi) = e^{\varphi}\mu$ 的解具有有限能量，并诱导出具有锥奇点的度量。
• 正则化过程确保极限度量满足 Kähler-Einstein 条件，并从逼近序列继承锥结构。
• 证明依赖于通过极小模型程序实现的 $\mu^* (K_X + D)$ 的 Zariski 分解，将问题约化至对数典范模型，此时度量在奇异点集与 $\mathrm{Supp}(D_{\mathrm{can}})$ 之外是光滑的。