[論文レビュー] Alpha invariant and K-stability of Q-Fano varieties

Yuji Odaka, Yuji Sano|arXiv (Cornell University)|Nov 29, 2010

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

ひとこと要約

この論文は、Q-Fano多様体 X の対数正則特異点閾値（lct）が n/(n+1) を超過するならば、(X, -K_X) が K-安定であることを、完全に代数幾何学的証明によって確立する。著者らは Seshadri 定数と対数正則特異点閾値を通じて α-不変量と K-安定性を結びつけ、高水準の lct が K-安定性および自己同型群の有限性を意味することを証明し、Tian の解析的基準を代数的枠組みへと拡張する。

ABSTRACT

We give a purely algebro-geometric proof that if the alpha-invariant of a Q-Fano variety X is greater than dim X/(dim X+1), then (X,O(-K_X)) is K-stable. The key of our proof is a relation among the Seshadri constants, the alpha-invariant and K-stability. It also gives applications concerning the automorphism group.

研究の動機と目的

• Q-Fano 多様体の α-不変量と K-安定性の間の直接的な代数幾何学的関係を確立し、解析的手法に代えて代数的不変量を用いる。
• 対数正則特異点閾値 lct(X) > n/(n+1) ならば、(X, O_X(-K_X)) が K-安定であることを証明し、Tian の解析的基準を代数的設定へと拡張する。
• K-安定性が滑らかな Fano多様体の自己同型群の有限性を示すことを、Matsushima の定理および非自明な1パラメータ部分群の不在を用いて示す。
• 有限群作用に対する G-可換 K-安定性へと一般化し、lct_G(X) > n/(n+1) ならば G-可換 K-安定性が成り立つことを証明する。

提案手法

• log canonical threshold lct_G(X) を、|−mK_X| の G-不変な線形系の族における m とその部分系の下限として定義し、対 (X, 1/m Σ) の特異点を測る。
• Seshadri 定数を用いて、lct とテスト配置の幾何学および対 (X, -K_X) の安定性を関連付ける。
• G-可換テスト配置 (X̃, L̃) から G-不変フラッグイデアル 𝒥 を構成し、その blown-up が X̃ ⇢ X × A¹ の有理写像を解消する。
• 文献[15, 例 9.2.23]における対数正則特異点閾値の解釈を適用し、中心ファイバーのイデアル I₀ の Seshadri 定数を評価する。
• 不等式 (n+1)/n K_{B/X×A¹} − Sesh(𝒥, (X×A¹, −K_{X×A¹})) E ≥ 0 を用いて、Donaldson-Futaki 不変量の下界を導出する。
• Matsushima の定理と、K-安定性が Aut(X) に非自明な1パラメータ部分群を含まないことを示す事実を活用し、自己同型群の有限性を導出する。

実験結果

リサーチクエスチョン

• RQ1 高水準の対数正則特異点閾値 lct(X) > n/(n+1) が、Q-Fano 多様体 X の K-安定性を意味するか？
• RQ2 Tian の α-不変量の解析的基準は、lct や Seshadri 定数といった代数的不変量によって完全に再構成可能か？
• RQ3 Fano 多様体の自己同型群とその K-安定性の関係は何か、特に lct(X) > n/(n+1) の場合にどうか？
• RQ4 K-安定性の閾値 n/(n+1) は鋭いものか、あるいは等号成立時に Pⁿ 以外に例外があるか？

主な発見

• lct(X) > n/(n+1) ならば、任意の次元 n の Q-Fano 多様体 X に対して (X, O_X(-K_X)) は K-安定である。
• lct(X) ≥ n/(n+1) ならば、(X, O_X(-K_X)) は K-半安定である。
• 複素数体上の滑らかな Fano 多様体では、lct(X) > n/(n+1) ならば Aut(X) は有限である。K-安定性が非自明な1パラメータ部分群を含まないことを示す。
• 結果は G-可換 K-安定性へと拡張可能である：lct_G(X) > n/(n+1) ならば、(X, O_X(-K_X)) は G-可換に K-安定である。
• 証明は、G-不変フラッグイデアルの blown-up を用いた不確定性の解消を経て、テスト配置と Seshadri 定数および対数正則特異点閾値を結びつける。
• 著者らは、等式 lct(X) = n/(n+1) が成り立つ場合、X ≅ Pⁿ を除き K-安定性が成り立つと予想しており、閾値が鋭いことを示唆している。