[論文レビュー] 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}) $ 内に有限部分群 $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $ を構成することで、9次元の例外的商特異点の存在を証明する。これにより、対応する商特異点 $ \mathbb{C}^9/G $ が例外的であることが示される。主な結果は、$ \bar{G} $-不変 $ \alpha $-不変量が $ \alpha_{\bar{G}}(\mathbb{P}^8) \geq 10/9 > 1 $ を満たすことであり、9次元におけるこのような特異点の存在が確認される。

ABSTRACT

We prove that nine-dimensional exceptional quotient singularities exist.

研究の動機と目的

• 9次元における例外的商特異点が存在するかどうかという長年の未解決問題を解決すること。
• $ \alpha_{\bar{G}}(\mathbb{P}^8) > 1 $ を満たす有限部分群 $ \bar{G} \subset \mathrm{Aut}(\mathbb{P}^8) $ の存在を確立することにより、Kähler–Ricci反復がKähler–Einstein計量に収束することを示すこと。
• $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $ であるとき、商特異点 $ \mathbb{C}^9/G $ が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計算を活用して、特に $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(6)) $ および $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(7)) $ 内の $ G $-表現の既約性と次元を検証する。

実験結果

リサーチクエスチョン

• RQ1 $ \mathrm{Aut}(\mathbb{P}^8) $ 内に $ \alpha_{\bar{G}}(\mathbb{P}^8) > 1 $ を満たす有限部分群 $ \bar{G} $ が存在するか？
• RQ2 9次元の例外的商特異点は存在するか？
• RQ3 $ n = 8 $ に対して $ \alpha $-不変量条件 $ \alpha_{\bar{G}}(\mathbb{P}^n) > 1 $ は実現可能か？
• RQ4 $ m = 6,7 $ のとき、コホモロジー群 $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(m)) $ 内の $ G $-表現の構造は何か？
• RQ5 $ G \cong 3^{1+4}:\mathrm{Sp}_4(3) $ であるとき、商特異点 $ \mathbb{C}^9/G $ は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) $ が対数正則特異点であるとき、高々1つの $ \pi $-例外的 divisor $ 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 $-部分表現が残る。これはLemma 17に矛盾する。
• $ H^0(\mathcal{I}_V \otimes \mathcal{O}_{\mathbb{P}^8}(7)) $ 内に54次元の $ G $-部分表現が存在するという矛盾は、$ n = 4 $ の仮定が誤りであることを示し、これにより $ n = 5 $ が証明され、例外的特異点の存在が確認される。