[論文レビュー] On the K-stability of Fano varieties and anticanonical divisors

Kento Fujita, Yuji Odaka|arXiv (Cornell University)|Feb 3, 2016

Geometry and complex manifolds被引用数 19

ひとこと要約

本稿は、k-基本型の反標準Q-因子の対数正則閾値の上極限として定義される不変量δ(X)を用いて、ファノ多様体のK安定性に関する新しい代数的基準を導入する。δ(X) > 1 ならば一様K安定性が成り立ち、δ(X) ≥ 1 ならばK半安定性が成り立つことを証明し、ティアンのアルファ不変量基準の新たな代数的証明を提示するとともに、ベーマ・ギブス安定性と関連付ける。

ABSTRACT

We apply a recent theorem of Li and the first author to give some criteria for the K-stability of Fano varieties in terms of anticanonical Q-divisors. First, we propose a condition in terms of certain anticanonical Q-divisors of given Fano variety, which we conjecture to be equivalent to the K-stability. We prove that it is at least sufficient condition and also relate to the Berman-Gibbs stability. We also give another algebraic proof of the K-stability of Fano varieties which satisfy Tian's alpha invariants condition.

研究の動機と目的

• 反標準Q-因子のk-基本型に基づくファノ多様体のK安定性の代数的基準の構築。
• δ不変量δ(X)と一様K安定性との関係を確立し、K安定性と同値であると予想する。
• 解析的手法に依存しない、ティアンのアルファ不変量基準の新たな代数的証明を提供する。
• δ不変量を介してベーマ・ギブス安定性条件とK安定性を関連付ける。
• 値関数的およびオクウンコフ体の技法を用いて、既存のK安定性に関する結果を一般化・再解釈する。

提案手法

• すべてのk-基本型反標準Q-因子の対数正則閾値の下限としてδ_k(X)を定義する。
• k → ∞ におけるδ_k(X)の上極限としてδ(X)を定義し、漸近的安定性の挙動を捉える。
• オクウンコフ体の構成を用いて、付随する旗の部分多様体上の非常に線形系の幾何と、体積関数vol(-K_X - xF)を関連付ける。
• オクウンコフ体の重心推定を適用し、体積関数の積分を評価することで、τ(F)とA_X(F)を含む重要な不等式を導出する。
• [Fjt16b]におけるグレード代数の有限生成性に関する結果を活用し、体積計算が取り扱いやすいように代数的モデルX'を構成する。
• 不等式 ∫₀^{τ(F)} vol(-K_X - xF)dx ≤ (n/(n+1)) τ(F) vol(-K_X) を用いて、アルファ不変量の主要な下界を得る。

実験結果

リサーチクエスチョン

• RQ1 Q-ファノ多様体について、δ(X) > 1 は一様K安定性の十分条件であるか？
• RQ2 Q-ファノ多様体について、δ(X) ≥ 1 はK半安定性の十分条件であるか？
• RQ3 予想されるように、δ(X) > 1（resp. δ(X) ≥ 1）がK安定性（resp. K半安定性）と同値であると見なせるか？
• RQ4 ベーマ・ギブス安定性条件は、δ不変量およびK安定性とどのように関係するか？
• RQ5 δ不変量と体積積分を用いて、ティアンのアルファ不変量基準を代数的に再証明できるか？

主な発見

• 本稿は、δ(X) > 1 ならばQ-ファノ多様体Xは一様K安定であることを証明した。
• δ(X) ≥ 1 ならばXはK半安定であることが示され、δ不変量によるK安定性の十分条件が確立された。
• XのK安定性（resp. K半安定性）がδ(X) > 1（resp. δ(X) ≥ 1）と同値であるという予想が提示された。
• ティアンの基準の新たな代数的証明が与えられた：α(X) > n/(n+1) ならばXは一様K安定である。
• ベーマ・ギブス安定性が一様K安定性を含むことが示され、従来の手法よりも簡潔な証明が得られた。
• 次元nのK半安定なQ-ファノ多様体について、α(X) ≥ 1/(n+1) である下界が確立された。