[論文レビュー] K-stability of Fano manifolds with not small alpha invariants

Kento Fujita|arXiv (Cornell University)|Jun 27, 2016

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

ひとこと要約

本稿は、任意の $n$-次元ファノ多様体 $X$ が $α(X) = n/(n+1)$ かつ $n \geq 2$ を満たすとき、値関数の基準とドリームィー素被覆の分類を用いて K-安定であることを証明する。主な結果として、ティアンのアルファ不変量の閾値におけるファノ多様体の K-安定性が確立され、ケーラー＝エインシュタイン計量の存在と自己同型群の有限性が確認される。

ABSTRACT

We show that any $n$-dimensional Fano manifold $X$ with $α(X)=n/(n+1)$ and $n\geq 2$ is K-stable, where $α(X)$ is the alpha invariant of $X$ introduced by Tian. In particular, any such $X$ admits Kähler-Einstein metrics and the holomorphic automorphism group of $X$ is finite.

研究の動機と目的

• 従来の結果が K-半安定性のみを示していた $\alpha(X) = n/(n+1)$ の閾値における $n$-次元ファノ多様体の K-安定性に関する未解決問題を解決すること。
• オダカ＝サノの定理（$\alpha(X) > n/(n+1)$ の場合の K-安定性）を、臨界的状況 $\alpha(X) = n/(n+1)$ に拡張すること。
• このようなファノ多様体に対してケーラー＝エインシュタイン計量の存在と、正則自己同型群の有限性を確立すること。
• 非 K-安定性の仮定のもとで、唯一の反例として射影空間 $\mathbb{P}^n$ が考えられることを特徴づけること。

提案手法

• ドリームィー素被覆 $F$ 上での $\beta(F)$-汎関数を用いた K-安定性および K-半安定性の値関数基準を適用する。
• $\alpha(X) = n/(n+1)$ から導かれる不等式 $A_X(F) \geq (n/(n+1))\tau(F)$ を用いて、可能な被覆 $F$ を制約する。
• 写像 $\sigma: Y \to X$ と収縮 $\pi: Y \to Z$ を用いて、$\beta(F) \leq 0$ を満たすドリームィー素被覆 $F$ の構造を分析し、$\dim Z = n-1$ かつ $F$ がセクションであることを示す。
• トーリック幾何および双有理幾何を用い、吹き上げ構造と正則標準因子の計算により、このような被覆 $F$ が $X \simeq \mathbb{P}^n$ を強制することを証明する。
• 矛盾を導くために、$\alpha(\mathbb{P}^n) = n/(n+1)$ であるが、$n \geq 2$ のとき $\mathbb{P}^n$ は K-安定でないことを示し、非 K-安定性の仮定を無効にする。
• CDS/ティアン/ドナルドソンによる K-安定性とケーラー＝エインシュタイン計量の存在の既知の同値性を用いて、そのような計量の存在を結論づける。

実験結果

リサーチクエスチョン

• RQ1 標準的十分条件 $\alpha(X) > n/(n+1)$ が成立しないにもかかわらず、任意の $n$-次元ファノ多様体 $X$ が $\alpha(X) = n/(n+1)$ かつ $n \geq 2$ を満たすとき、K-安定であるか？
• RQ2 値関数基準は、$\alpha(X) = n/(n+1)$ の閾値において非 K-安定な振る舞いを検出できるか？
• RQ3 $\beta(F) \leq 0$ かつ $A_X(F) \geq (n/(n+1))\tau(F)$ を満たすドリームィー素被覆 $F$ に対して、どのような幾何的制約が生じるか？
• RQ4 $\alpha(X) = n/(n+1)$ のとき、非 K-安定性を示す可能性がある唯一のファノ多様体は $\mathbb{P}^n$ であるか？
• RQ5 与えられたアルファ不変量条件のもとで、$\beta(F) \leq 0$ を満たすドリームィー被覆 $F$ が存在する場合、$X$ が $\mathbb{P}^n$ に同型であることを強制するか？

主な発見

• 任意の $n$-次元ファノ多様体 $X$ が $\alpha(X) = n/(n+1)$ かつ $n \geq 2$ を満たすとき、K-安定であることが示され、オダカ＝サノの予想が解決された。
• このような $X$ に対して、正則自己同型群 $\operatorname{Aut}(X)$ は有限である。これは K-安定性の結果として得られる。
• $\beta(F) \leq 0$ かつ $A_X(F) \geq (n/(n+1))\tau(F)$ を満たすドリームィー素被覆 $F$ が存在するならば、$X \simeq \mathbb{P}^n$ でなければならないが、これは $n \geq 2$ のとき $\mathbb{P}^n$ が K-安定でないことに矛盾する。
• 多様体 $X$ の滑らかさは本質的である。$\mathbb{P}(1,2,3)$ を用いた反例により、特異ファノ多様体ではこの結果は成り立たない。
• 射影空間 $\mathbb{P}^n$ は、$\alpha(X) = n/(n+1)$ のとき非 K-安定なファノ多様体の唯一の候補であり、$n \geq 2$ のとき K-安定でない。この事実を用いて矛盾を導く。
• 推論：$n \geq 2$ である $\mathbb{P}^{n+1}$ 内の次数 $n+1$ の滑らかな超曲面はすべて K-安定であり、ケーラー＝エインシュタイン計量をもつ。