[論文レビュー] Yau-Tian-Donaldson correspondence for K-semistable Fano manifolds

Chi Li|arXiv (Cornell University)|Feb 27, 2013

Geometry and complex manifolds参考文献 48被引用数 21

ひとこと要約

この論文は、TianとChen-Donaldson-Sunによる最近のコンパクト性結果を活用して、Fano多様体に対するYau-Tian-Donaldson対応のK半安定版を確立する。Fano多様体がKähler-Einstein計量をもつこととK半安定であることの必要十分条件を示し、一般化された対数Futaki不変量と特異Kähler-Einstein計量を主な道具として用いる。

ABSTRACT

In this note, using the recent compactness results of Tian and Chen-Donaldson-Sun, we prove the K-semistable version of Yau-Tian-Donaldson correspondence for Fano manifolds.

研究の動機と目的

• Fano多様体に対するYau-Tian-Donaldson予想のK半安定版を確立すること。
• K半安定性がFano多様体上にKähler-Einstein計量の存在を意味することを証明すること。
• TianとChen-Donaldson-Sunによる最近のコンパクト性結果を活用して、この文脈における代数幾何とKähler幾何の間のギャップを埋めること。
• 特別な退化の文脈における一般化された対数Futaki不変量の分析と、K半安定性の特徴づけにおけるその役割。
• 対応を特異Kähler-Einstein計量へと拡張し、明示的なODEを介して対数Futaki不変量と関連付けること。

提案手法

• 特別な退化の中心ファイバー上で定義された一般化された対数Futaki不変量を用いてK半安定性をテストする。
• $\bar\theta$-補題と$\bar\theta$-汎関数を用いて、退化下でのリッチ曲率とスカラー曲率の振る舞いを制御する。
• 特異Kähler-Einstein計量の存在を、変数$s$に関する常微分方程式（ODE）の解法に帰着する。
• 正規束$N_D \to D$上の特異リッチ平坦条件から、式(55)の主要なODEを導出し、ポテンシャル$P(s)$の明示的解を得る。
• $\bar\theta$-汎関数とその連続性を用いて、特異軸近傍での計量の極限挙動を制御する。
• Lelong-Poincaré公式と局所的自明化を用いて、リッチ曲率を計量ポテンシャルの対数微分で表現する。

実験結果

リサーチクエスチョン

• RQ1 K半安定性は、Fano多様体上にKähler-Einstein計量の存在を意味するか？
• RQ2 Fano多様体の特別な退化において、一般化された対数Futaki不変量はどのように振る舞うか？
• RQ3 円錐角が臨界定数に近づく極限において、特異Kähler-Einstein計量と対数Futaki不変量の正確な関係は何か？
• RQ4 接合技術を用いて、臨界定数を超えて特異Kähler-Einstein計量の連続的変形法を拡張できるか？
• RQ5 $\bar\theta$-汎関数は、K半安定Yau-Tian-Donaldson対応を証明する上で果たす役割は何か？

主な発見

• Fano多様体がKähler-Einstein計量をもつこととK半安定であることの必要十分条件が成立し、K半安定版Yau-Tian-Donaldson対応が完全に確立された。
• 臨界定数$\beta = \frac{\lambda^{-1} - 1}{n}$が、$X$上に円錐 divisor $D \in |-\lambda K_X|$ を持つ特異Kähler-Einstein計量の存在の閾値として導出され、無限遠点で孤立特異点を持つことを保証する。
• 特異計量のポテンシャル$P(s)$は、$P(s) = \frac{1}{\lambda\beta} \log(1 + C^{-1} e^{\beta s})$として明示的に解かれ、$π^*$-作用の下で1パラメータ族の解が存在することが示された。
• 一般化された対数Futaki不変量がゼロであることと、特別な退化が積構造であることは同値であり、これは対数設定におけるK多安定性の特徴づけを示す。
• 特異計量ポテンシャルを支配するODE(55)は、リッチ曲率条件から導出され、積分因子法を用いて明示的に解かれた。
• 極限挙動$\lim_{s \to \infty} (1 - \lambda \phi(s)) = 0$が、無限遠点で孤立特異点を持つ計量を保証するために不可欠であり、これにより$\beta$の値が固定された。