[论文解读] Nine-dimensional exceptional quotient singularities exist

Cheltsov Ivan, Шрамов Константин Александрович|arXiv (Cornell University)|Oct 31, 2011

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文通过构造 $ \mathrm{SL}_9(\mathbb{C}) $ 中同构于 $ 3^{1+4}:\mathrm{Sp}_4(3) $ 的有限子群 $ G $，证明了九维例外商奇异点的存在性，表明对应的商奇异点 $ \mathbb{C}^9/G $ 是例外的。关键结果是 $ \bar{G} $-不变的 $ \alpha $-不变量满足 $ \alpha_{\bar{G}}(\mathbb{P}^8) \geq 10/9 > 1 $，从而确认了九维中此类奇异点的存在。

ABSTRACT

We prove that nine-dimensional exceptional quotient singularities exist.

研究动机与目标

• 为长期存在的问题提供解答：九维中是否存在例外商奇异点？
• 建立有限子群 $ \bar{G} \subset \mathrm{Aut}(\mathbb{P}^8) $ 的存在性，使得 $ \alpha_{\bar{G}}(\mathbb{P}^8) > 1 $，这表明 Kähler–Ricci 迭代收敛于 Kähler–Einstein 度量。
• 证明商奇异点 $ \mathbb{C}^9/G $（其中 $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $）在 Shokurov 意义下是例外的。
• 弥合 $ \alpha $-不变量条件与高维中例外奇异点存在性之间的鸿沟。

提出的方法

• 在 $ \mathrm{SL}_9(\mathbb{C}) $ 中构造一个同构于 $ 3^{1+4}:\mathrm{Sp}_4(3) $ 的有限子群 $ G $，并通过自然投影 $ \phi: \mathrm{GL}_9(\mathbb{C}) \to \mathrm{Aut}(\mathbb{P}^8) $ 定义 $ \bar{G} = \phi(G) \subset \mathrm{Aut}(\mathbb{P}^8) $。
• 利用等价关系 $ \alpha_{\bar{G}}(\mathbb{P}^8) = \mathrm{lct}(\mathbb{P}^8, \bar{G}) $（其中 $ \mathrm{lct} $ 为全局对数典范阈值）分析 $ \alpha $-不变量。
• 分析奇异子概形 $ V \subset \mathbb{P}^8 $ 的 Hilbert 多项式 $ H_V(m) $，限制于可能的次数 $ n = 4 $ 和 $ n = 5 $，并利用 $ G $-表示在上同调群中维度的界。
• 应用表示论约束：证明若 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(m)) $ 中存在不可约 $ G $-子表示，则除非 $ n = 5 $，否则将导致矛盾，从而排除 $ n = 4 $ 的情况。
• 利用映射 $ \psi: U^\vee \otimes W \to H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(m+1)) $ 分析像的维度，并在出现禁止维度的 $ G $-子表示时导出矛盾。
• 利用群论结果与 GAP 计算验证 $ G $-表示的不可约性与维度，特别是在 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(6)) $ 与 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(7)) $ 中的表示。

实验结果

研究问题

• RQ1 是否存在有限子群 $ \bar{G} \subset \mathrm{Aut}(\mathbb{P}^8) $，使得 $ \alpha_{\bar{G}}(\mathbb{P}^8) > 1 $？
• RQ2 是否存在九维的例外商奇异点？
• RQ3 $ \alpha $-不变量条件 $ \alpha_{\bar{G}}(\mathbb{P}^n) > 1 $ 是否能在 $ n = 8 $ 时实现？
• RQ4 $ G $-表示在上同调群 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(m)) $（$ m = 6,7 $）中的结构为何？
• RQ5 商奇异点 $ \mathbb{C}^9/G $（其中 $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $）在 Shokurov 意义下是否为例外？

主要发现

• 有限子群 $ \bar{G} = \phi(G) \subset \mathrm{Aut}(\mathbb{P}^8) $（其中 $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $）满足 $ \alpha_{\bar{G}}(\mathbb{P}^8) \geq 10/9 > 1 $。
• 商奇异点 $ \mathbb{C}^9/G $ 是例外的，依 Shokurov 定义，即对任意 $ \mathbb{Q} $-除子 $ D_V $，若 $ (V, D_V) $ 为对数典范，则至多存在一个 $ \pi $-例外除子 $ E $，其分歧阶为 $ a(V, D_V, E) = -1 $。
• 奇异子概形 $ V \subset \mathbb{P}^8 $ 的 Hilbert 多项式次数必须为 $ n = 5 $，因表示论矛盾而排除 $ n = 4 $ 的情况。
• $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(6)) $ 中包含一个唯一的不可约 24 维 $ G $-子表示，这是矛盾论证的关键。
• $ \psi_7: U^\vee \otimes U_{24} \to H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(7)) $ 是单射，其像维度为 216，余下 54 维 $ G $-子表示，与引理 17 矛盾。
• 由 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(7)) $ 中存在 54 维 $ G $-子表示所引发的矛盾，确认假设 $ n = 4 $ 无效，从而证明 $ n = 5 $ 成立，并确认例外奇异点的存在。