[論文レビュー] 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}^*$-作用をもつ滑らかなファノ3次元多様体のうち、度数22のタイプ $V_{22}^*$ であるものの、ケーラー＝アインシュタイン計量の存在を解決する。すべてのこのような多様体がケーラー＝アインシュタインであることが示され、明示的に記述された2つの例外を除いては、その例外は存在しない。等化された $\alpha$-不変量と対数正則特異点の閾値解析を用いて、特定のペアの対数正則性を確立し、ティアンの基準によりケーラー＝アインシュタイン計量の存在を確認する。

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.

研究の動機と目的

• 度数22で忠実な $\mathbb{C}^*$-作用をもつ滑らかなファノ3次元多様体（タイプ $V_{22}^*$ と呼ばれる）におけるケーラー＝アインシュタイン計量の存在を解決すること。
• 群 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ による $G$-等化された $\alpha$-不変量を計算すること。
• ドナルドソンの予想、すなわち、すべてのこのような多様体がケーラー＝アインシュタインであるが、2つの例外的な場合を除いては、を検証すること。
• 対数ペア $(V_u, \varepsilon(u)D)$ の対数正則性を確立すること（$D \sim_{\mathbb{Q}} -K_{V_u}$）。これはティアンの基準によりケーラー＝アインシュタイン計量の存在を示す。

提案手法

• 多様体の吹き上げにおける対数正則特異点の閾値解析を用いて、$G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ に対する $G$-等化された $\alpha$-不変量 $\alpha_G(V_u)$ を計算する。
• $G$-等化された吹き上げに沿って曲線 $\mathcal{C}_4$ を通じて行い、吹き上げ後の対数ペア $(\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$ を用いて、対数ペアの特異点を評価する。
• $u=2$ のとき $\varepsilon(u) \leq \frac{2}{3}$ で、$u \neq 2$ のとき $\varepsilon(u) = \frac{5}{6}$ であることと、曲線 $\mathcal{C}_4$ における対数正則性を検証する。
• K-安定性が開条件であることを利用し、ムカイ＝ウメクラ3次元多様体からの退化を用いて、$X^a$ のK-安定性を示す。

実験結果

リサーチクエスチョン

• RQ1 すべての忠実な $\mathbb{C}^*$-作用をもつタイプ $V_{22}^*$ の滑らかなファノ3次元多様体は、2つの例外を除いてすべてケーラー＝アインシュタインであるか？
• RQ2 $G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ が $V_u$ に作用するとき、$G$-等化された $\alpha$-不変量 $\alpha_G(V_u)$ は何か？
• RQ3 対数ペア $(V_u, \varepsilon(u)D)$ は、$D \sim_{\mathbb{Q}} -K_{V_u}$ のとき、曲線 $\mathcal{C}_4$ の一般点で対数正則性を保つか？
• RQ4 既知の基準を用いて、$\mathcal{C}_4$ における対数ペア $(V_u, \varepsilon(u)D)$ の対数正則性を、全般的な対数正則性に拡張できるか？
• RQ5 $\varepsilon(u) > \frac{3}{4}$ のとき、$\alpha$-不変量は、$V_u$ にケーラー＝アインシュタイン計量の存在を保証するのに十分か？

主な発見

• $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)$ は対数正則性を保つ。
• $\mathcal{C}_4$ における対数ペア $(V_u, \varepsilon(u)D)$ の対数正則性は、K-安定性の開性と補題7.11の適用により、全般的な対数正則性に拡張可能である。
• 著者らは、タイプ $V_{22}^*$ のすべての多様体がケーラー＝アインシュタインであることを証明し、2つの明示的に記述された例外を除いては、ドナルドソンの予想がすべてのケースで成立することを確認した。
• ムカイ＝ウメクラ3次元多様体はケーラー＝アインシュタインであり、$X^a$（$\mathbb{C}^+$-作用をもつ）への退化はK-安定性を保存するため、ケーラー＝アインシュタイン計量の存在を支持する。
• 本稿は、ディネフ、カプスツカ、カプスツカの問題1.5を解決し、$G = \mathbb{C}^* \rtimes \boldsymbol{\mu}_2$ に対して $\alpha_G(V_u)$ を計算した。$u \neq 2$ のとき $\frac{5}{6}$、$u=2$ のとき $\frac{2}{3}$ であることを示した。