[论文解读] Kaehler-Einstein Fano threefolds of degree 22

Ivan Cheltsov, Constantin Shramov|arXiv (Cornell University)|Mar 7, 2018

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

一句话总结

本文解决了具有忠实 $\mathbb{C}^*$-作用的光滑 Fano 三复乘积度数 22（类型 $V_{22}^*$）上 Kähler–Einstein 度量的存在性问题，证明除两个明确描述的例外情况外，所有此类三复乘积均为 Kähler–Einstein。通过等变 $\alpha$-不变量与对数极小值分析，作者建立了某些对的对数正规性，依据 Tian 准则确认了 Kähler–Einstein 度量的存在性。

ABSTRACT

We study the problem of existence of Kähler--Einstein metrics on smooth Fano threefolds of Picard rank one and anticanonical degree $22$ that admit a faithful action of the multiplicative group $\mathbb{C}^\ast$. We prove that, except possibly two explicitly described cases, all such smooth Fano threefolds are Kähler--Einstein.

研究动机与目标

• 解决具有忠实 $\mathbb{C}^*$-作用的光滑 Fano 三复乘积度数 22（即类型 $V_{22}^*$）上 Kähler–Einstein 度量的存在性问题。
• 计算群 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ 在这些三复乘积上作用的 $G$-等变 $\alpha$-不变量。
• 验证 Donaldson 的猜想：所有此类三复乘积均为 Kähler–Einstein，除可能两个例外情况外。
• 建立对对 $(V_u, \varepsilon(u)D)$ 的对数正规性，其中 $D \sim_{\mathbb{Q}} -K_{V_u}$，这通过 Tian 准则可推出 Kähler–Einstein 度量的存在性。

提出的方法

• 通过在三复乘积的爆破上进行对数极小值分析，计算群 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ 的 $G$-等变 $\alpha$-不变量 $\alpha_G(V_u)$。
• 分析沿曲线 $\mathcal{C}_4$ 进行 $G$-等变爆破后，对对 $(\widehat{V}_u, \epsilon \widehat{D} + (\epsilon m - 1)E_\sigma)$ 的行为，追踪重数与奇点。
• 应用推论 7.11，证明若对对在曲线的一般点处为对数正规，则在特定数值条件下其在整体上也为对数正规。
• 利用关系式 $D' \sim_{\mathbb{Q}} -(2 - m)K_{V_{u'}}$，并计算 $\mathrm{mult}_{\mathcal{C}_4'}(D') = 3 - 2m$ 以控制对对的奇点。
• 利用 $\varepsilon(u) \leq \frac{2}{3}$ 对于 $u=2$，且 $\varepsilon(u) = \frac{5}{6}$ 对于 $u \neq 2$ 的事实，验证对曲线 $\mathcal{C}_4$ 处的对数正规性。
• 应用 K-半稳定性的开性结果，并通过 Mukai–Umemura 三复乘积的退化过程推断 $X^a$ 的 K-半稳定性。

实验结果

研究问题

• RQ1 所有具有忠实 $\mathbb{C}^*$-作用的光滑 Fano 三复乘积类型 $V_{22}^*$ 是否均为 Kähler–Einstein，除可能两个例外情况外？
• RQ2 群 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ 在 $V_u$ 上作用的 $G$-等变 $\alpha$-不变量 $\alpha_G(V_u)$ 是什么？
• RQ3 对对 $(V_u, \varepsilon(u)D)$ 在曲线 $\mathcal{C}_4$ 的一般点处是否保持对数正规性，其中 $D \sim_{\mathbb{Q}} -K_{V_u}$？
• RQ4 能否利用已知准则将对对 $(V_u, \varepsilon(u)D)$ 在 $\mathcal{C}_4$ 处的对数正规性推广至整体对数正规性？
• RQ5 当 $\varepsilon(u) > \frac{3}{4}$ 时，$\alpha$-不变量是否足以保证 $V_u$ 上 Kähler–Einstein 度量的存在？

主要发现

• 所有类型 $V_{22}^*$ 的三复乘积 $V_u$ 的 $G$-等变 $\alpha$-不变量 $\alpha_G(V_u)$ 至少为 $\frac{5}{6}$，当 $u \neq 2$ 时取等，当 $u=2$ 时为 $\frac{2}{3}$。
• 当 $u \neq 2$ 时，对对 $(V_u, \frac{5}{6}D)$ 在曲线 $\mathcal{C}_4$ 的一般点处为对数正规；当 $u=2$ 时，$(V_u, \frac{2}{3}D)$ 为对数正规。
• 由于 K-半稳定性的开性及推论 7.11 的应用，对对 $(V_u, \varepsilon(u)D)$ 在 $\mathcal{C}_4$ 处的对数正规性可推出其整体对数正规性。
• 作者证明了所有类型 $V_{22}^*$ 的三复乘积均为 Kähler–Einstein，除两个明确描述的例外情况外，从而在除两个实例外全部确认了 Donaldson 的猜想。
• Mukai–Umemura 三复乘积是 Kähler–Einstein，其退化至 $X^a$（具有 $\mathbb{C}^+$-作用）的过程保持了 K-半稳定性，支持了 Kähler–Einstein 度量的存在性。
• 本文通过计算 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ 作用下 $\alpha_G(V_u)$ 的值，解决了 Dinew、Kapustka 和 Kapustka 提出的问题 1.5，结果表明当 $u \neq 2$ 时 $\alpha_G(V_u) = \frac{5}{6}$，当 $u=2$ 时为 $\frac{2}{3}$。