[论文解读] Note on equivalences for degenerations of Calabi-Yau manifolds

Yuguang Zhang|arXiv (Cornell University)|Nov 1, 2017

Geometry and complex manifolds参考文献 23被引用 3

一句话总结

本文建立了极化 Calabi-Yau 流形退化过程中三个关键性质的等价性：上同调中全纯体积形式的收敛性、Ricci平坦 Kähler-Einstein 度量的 Gromov-Hausdorff 收敛性，以及有限 Weil-Petersson 距离。通过使用校准形式和全纯性结构，本文从黎曼几何角度刻画了度量退化现象，结合分析方法扩展了先前的代数几何结果。

ABSTRACT

This note studies the equivalencies among convergences of Ricci-flat Kähler-Einstein metrics on Calabi-Yau manifolds, cohomology classes and potential functions.

研究动机与目标

• 通过将全纯体积形式的上同调收敛性与度量收敛性相联系，建立 Calabi-Yau 流形退化现象的黎曼几何视角。
• 为现有代数几何证明中有限 Weil-Petersson 距离与 Calabi-Yau 中心纤维条件提供一种分析性替代方法。
• 证明 Ricci 平坦 Kähler-Einstein 度量的 Gromov-Hausdorff 收敛性等价于校准形式的上同调收敛性。
• 通过整合特殊全纯性几何中的全纯性与校准结构，统一并推广先前关于退化现象的研究结果。

提出的方法

• 利用万有覆叠 $\mathbb{H} \to \Delta^*$，将所有 $t \in \Delta^*$ 的上同调群 $H^n(X_t, \mathbb{C})$ 与 $H^n(X, \mathbb{C})$ 之间建立典范同构。
• 应用 Chern-Lu 不等式，通过嵌入 $\Phi_t: (X_t, \omega_t) \to (\mathbb{CP}^N, \omega_{FS})$ 控制度量比 $\omega_t^o \leq C \omega_t$。
• 利用 Yau-Schwarz 引理，结合最大值原理，推导出 $\mathrm{tr}_{\omega_t} \omega_t^o$ 的一致 $L^\infty$ 估计。
• 通过归一化 $(-1)^{n^2/2} \int_{X_t} \Omega_t \wedge \overline{\Omega}_t = 1$ 固定全纯体积形式 $\Omega_t$。
• 应用 Monge-Ampère 方程与 Kähler 度量比较，推导出 Kähler 潜势 $\rho_t$ 的一致下界。
• 依赖 [23] 与 [19] 的结果，将 Gromov-Hausdorff 收敛性与中心纤维正则部分的度量完备化联系起来。

实验结果

研究问题

• RQ1 当 $t \to 0$ 时，全纯体积形式 $[\Omega_t]$ 的上同调类在什么条件下收敛？
• RQ2 一族 Ricci 平坦 Kähler-Einstein 度量 $(X_t, \omega_t)$ 何时在 Gromov-Hausdorff 拓扑下收敛？
• RQ3 有限 Weil-Petersson 距离与中心纤维 $X_0$ 的几何结构有何关联？
• RQ4 是否可以在不依赖代数几何的前提下，建立上同调收敛性、度量收敛性与有限 Weil-Petersson 距离之间的等价性？
• RQ5 校准形式 $\mathrm{Re}(\Omega_t)$ 与 $\mathrm{Im}(\Omega_t)$ 在刻画度量退化中起什么作用？

主要发现

• 当 $t \to 0$ 时，上同调收敛性 $[\Omega_t] \to \beta$ 在 $H^n(X, \mathbb{C})$ 中成立，当且仅当 Ricci 平坦 Kähler-Einstein 度量 $(X_t, \omega_t)$ 收敛于紧致度量空间 $(Y, d_Y)$ 的 Gromov-Hausdorff 意义下。
• 在对数典范奇点条件下，$0$ 与 $\Delta^*$ 之间的 Weil-Petersson 距离有限，当且仅当中心纤维 $X_0$ 是一个 Calabi-Yau 代数簇。
• Gromov-Hausdorff 极限 $(Y, d_Y)$ 同构于中心纤维正则部分赋予诱导 Ricci 平坦度量后的度量完备化。
• 通过 Chern-Lu 不等式与最大值原理，获得独立于 $t$ 的度量比 $\omega_t^o \leq C \omega_t$ 的一致估计。
• Kähler 潜势 $\rho_t$ 满足 $e^{\rho_t} \geq C_1 > 0$ 的一致下界，确保体积形式的控制，并支持度量比较。
• 在对数典范奇点与平凡相对 canonical 线丛的假设下，三个性质（上同调收敛性、度量收敛性、有限 Weil-Petersson 距离）之间的等价性成立。