[論文レビュー] A valuative criterion for uniform K-stability of $\mathbb{Q}$-Fano varieties

Kento Fujita|arXiv (Cornell University)|Feb 2, 2016

Geometry and complex manifolds参考文献 38被引用数 26

ひとこと要約

本稿では、$\rQ$-Fano多様体の均等K安定性の価値的基準を、$X$ 上の divisorial な値関数 $F$ に関連する不変量 $\beta(F)$ と $j(F)$ を導入することによって確立する。均等K安定性がすべてのドリーム的素因数 $F$ に対して $\beta(F) \geq \frac{\beta(F)}{j(F)}$ と同値であることを証明し、体積と対数特異点高の計算を通じて実用的なテストを可能にする。

ABSTRACT

We give a simple necessary and sufficient condition for uniform K-stability of $\mathbb{Q}$-Fano varieties.

研究の動機と目的

• 均等K安定性の単純で効果的な基準を $\rQ$-Fano 多様体に対して提供すること。
• divisorial な値関数を通じて代数的安定性条件と幾何的不変量の間の溝を埋めること。
• K半安定性およびK安定性の既存の基準を統一的な価値的枠組みへ一般化すること。
• 非アーベル的計量を用いてテスト構成と divisorial な値関数の間の関係を確立すること。
• 新しい基準を用いて既知のK安定性理論の結果を再導出すること。

提案手法

• $X$ 上の divisorial な値関数 $F$ に対して、$\sigma: Y \to X$ という被覆的モデルを用いて体積関数 $\operatorname{vol}_X(-K_X - xF)$ を定義する。
• $\beta(F) = A_X(F) \cdot \operatorname{vol}_X(-K_X) - \int_0^{\tau(F)} \operatorname{vol}_X(-K_X - xF)\,dx$ および $j(F) = \int_0^{\tau(F)} (\operatorname{vol}_X(-K_X) - \operatorname{vol}_X(-K_X - xF))\,dx$ という不変量を導入する。
• graded 代数 $\bigoplus_{k,j} H^0(X, -krK_X - jF)$ が有限生成であるようなものとしてドリーム的素因数を特徴付ける。
• 均等K安定性と、ある $\delta \in (0,1)$ およびすべてのドリーム的因数 $F$ に対して $\beta(F) \geq \delta \cdot j(F)$ が成り立つことの同値性を確立する。
• 非アーベル的計量とMonge-Ampère測度を用いて、基準を divisorial な値関数におけるDirac質量の観点から解釈する。
• 基準を用いて、Ding安定性やテスト構成を介して既知のK半安定性およびK安定性の結果を再確認する。

実験結果

リサーチクエスチョン

• RQ1 均等K安定性は、$\rQ$-Fano 多様体に対して有限個の divisorial 不変量によるテストが可能か？
• RQ2 非アーベル的 $J$-汎関数と divisorial な値関数に沿った体積関数との正確な関係は何か？
• RQ3 $\beta(F)$ および $j(F)$ の不変量はテスト構成の安定性とどのように関係するか？
• RQ4 基準は log Fano 対および非アーベル的計量へ拡張可能か？
• RQ5 均等K安定性のテストをドリーム的素因数に限定することは可能か？

主な発見

• 多様体 $X$ の均等K安定性は、$X$ 上のすべてのドリーム的素因数 $F$ に対して $\beta(F) \geq \delta \cdot j(F)$ を満たすある $\delta \in (0,1)$ が存在することと同値である。
• $X$ のK半安定性は、$X$ 上のすべての素因数 $F$ に対して $\beta(F) \geq 0$ が成り立つこと、あるいは同値にすべてのドリーム的因数に対して成り立つことと同値である。
• $X$ のK安定性は、$X$ 上のすべてのドリーム的素因数 $F$ に対して $\beta(F) > 0$ が成り立つことと同値である。
• この基準により、$\mathbb{P}^1$ のK半安定性が直接検証可能であり、K半安定であることが確認された。
• $\beta(F)$ および $j(F)$ の不変量は、被覆的モデル $\sigma: Y \to X$ の選択に依存せず、$F$ の値関数にのみ依存する。
• 特別なテスト構成に関連する非アーベル的計量のMonge-Ampère測度は、ドリーム的因数におけるDirac質量である。これは幾何学と安定性を結ぶ。