[論文レビュー] K-stability implies CM-stability

Gang Tian|arXiv (Cornell University)|Sep 27, 2014

Geometry and complex manifolds参考文献 15被引用数 7

ひとこと要約

この論文は、極小化された射影的多様体のK安定性がそのCM安定性を示すことを証明し、Yau-Tian-Donaldson予想への重要な一歩を確立する。Kエネルギーの漸近的解析と、1パラメータ部分群およびFutaki不変量を含む代数的幾何的技法を用いて、著者たちはK安定性がMabuchi Kエネルギー汎関数の適切性を保証することを示し、自己同型群の作用下でのCM安定性を示す。

ABSTRACT

In this paper, we prove that any polarized K-stable manifold is CM-stable. This extends what I did for Fano manifolds in my 2012 paper.

研究の動機と目的

• 極小化された射影的多様体について、K安定性からCM安定性への含意を確立すること。
• 代数的安定性条件と定スカラー曲率Kähler計量の存在を結びつけることで、Yau-Tian-Donaldson予想における鍵となるステップを解決すること。
• K安定性が自己同型群による商空間でのMabuchi Kエネルギー汎関数の適切性を示すこと、これはCM安定性に等しいことを証明すること。
• Fano多様体に関する以前の結果を、Kエネルギーの漸近的解析と代数的群作用を用いて一般の極小化多様体へと拡張すること。

提案手法

• Kエネルギー汎関数の漸近的展開を用いて、1パラメータ部分群に沿った一般化Futaki不変量と関連付ける。
• 部分的 $ C^0 $-推定とMabuchiエネルギーの漸近的挙動を適用し、$ \mathbf{G} = \mathrm{SL}(N+1,\mathbb{C}) $ 上での $ \mathbf{F} $ および $ \mathbf{J} $ 汎関数の成長を制御する。
• 特に1パラメータ部分群 $ \mathbf{G}_0 $ を用いた代数的群作用を用いて、射影空間内の多様体の退化を分析する。
• 旗多様体上の $ \mathbf{T}_1 $-作用の軌道構造を用いて不安定性を検出し、K安定性から矛盾を導出する。
• アフィン多様体における閉軌道に関するRichardsonの定理を応用し、CM安定性が失敗する場合に矛盾を構成する。
• Tian (1997) で確立されたように、代数的CM安定性（決定的ラインバンドルを介して）と解析的CM安定性（Kエネルギーの適切性を介して）の同値性に依拠する。

実験結果

リサーチクエスチョン

• RQ1 Yau-Tian-Donaldsonプログラムで予想されているように、極小化多様体のK安定性はCM安定性を意味するか？
• RQ2 Kエネルギーの漸近的解析を用いて、K安定性からMabuchi Kエネルギー汎関数の適切性を導くことは可能か？
• RQ3 一般化Futaki不変量と1パラメータ部分群に沿ったKエネルギーの漸近的挙動との間の正確な関係は何か？
• RQ4 自己同型群の作用が、CM安定性条件におけるKエネルギー汎関数の適切性にどのように影響するか？
• RQ5 代数的トーラス作用によって誘発される射影空間内の退化を介して、CM安定性の失敗を検出できるか？

主な発見

• 極小化多様体 $ (M,L) $ のK安定性は、十分に大きな $ \ell $ に対して $ L^\ell $ に関してCM安定性を示し、定理1.3を証明する。
• 自己同型群 $ \mathrm{Aut}_0(M,L) $ による商空間で、Mabuchi Kエネルギー汎関数 $ \mathbf{M}_{\omega_0} $ が適切であるならば、$ (M,L) $ がK安定であるとき、これはCM安定性に等しい。
• CM安定性の失敗は、一般化Futaki不変量条件に反する極限サイクルを持つ1パラメータ部分群 $ \mathbf{G}_0 $ の存在を通じてK安定性に矛盾を引き起こす。
• 補題2.1で導出されたKエネルギーの漸近的展開は、KエネルギーとFutaki不変量を結びつけ、群作用下での汎関数の成長を制御可能にする。
• 旗多様体上での $ \mathbf{T}_1 $-軌道の構造と、アフィン空間における軌道の閉性を用いて、CM安定性の失敗から不安定性を導出する。
• 本結果により、K安定性がCM安定性を意味することを確認し、一般の極小化多様体におけるYau-Tian-Donaldson予想における解析的・代数的橋渡しを完成させる。