[論文レビュー] Kahler-Einstein metrics and stability

Xiuxiong Chen, Simon Donaldson+1 more|arXiv (Cornell University)|Oct 28, 2012

Geometry and complex manifolds参考文献 14被引用数 28

ひとこと要約

この論文は、Fano多様体がKähler-Einstein計量をもつこととK-安定であることの必要十分条件であることを確立し、複素幾何における長年の予想を解決した。証明は、滑らかな除集合に沿った錐特異性をもつ連続的メソッドを用い、テスト配置を介して退化を分析し、K-安定性の不成立が、修正されたFutaki不変量が消える非自明な退化をもたらすことを示し、安定性に反する。

ABSTRACT

We annnounce a proof of the fact that a K-stable Fano manifold admits a Kahler-Einstein metric and give a brief outline of the proof.

研究の動機と目的

• Fano多様体上でのKähler-Einstein計量の存在に関するK-安定性が、正確な代数幾何的条件であるという予想を解決すること。
• Tian, Stoppa, Bermanによる以前の部分的結果に基づき、K-安定性とKähler-Einstein計量の存在との間の正確な同値関係を確立すること。
• 微分幾何と代数幾何をFano設定で結ぶために、錐特異性をもつ連続的メソッドを発展させ、適用すること。
• 滑らかな極限が存在しない場合、収縮する錐角をもつKähler-Einstein計量の列の極限が、修正されたFutaki不変量が消えるテスト配置をもたらすことを証明すること。
• 最近得られた特異空間上の弱Kähler-Einstein計量に関する結果を用いて、極限空間の自己同型群が再帰的であり、修正されたFutaki不変量が消えることを示すこと。

提案手法

• 滑らかな除集合Dに沿った角度β ∈ (0,1]の錐特異性をもつ一パラメータ族のKähler-Einstein計量を導入し、β = 1が滑らかな場合に対応する。
• 修正されたFutaki不変量 Futβ(X) = Fut(X) − 2π(1−β)F₀(D₀) を定義し、これはβに関して線形であり、非自明なテスト配置において、元のFutaki不変量が非正であればβ = 1で消える。
• 連続的メソッドを用いる：Kähler-Einstein計量が存在しないと仮定し、βi ↗ β∞ ≤ 1 となる計量の列を構成し、計量空間のGromov-Hausdorff極限を分析する。
• Gromov-Hausdorff極限空間Zは、対数終等特異点をもつ正規射影的多様体Wと同相であり、極限計量は摂動されたKähler-Einstein方程式の弱解であることを証明する。
• Aut(W, Δ) が再帰的であれば、Hilbert-Mumfordの基準とLunaのスライス定理を用いて、極限対(W, Δ) がテスト配置Xの中心ファイバーとして現れることを示す。
• 最近得られた弱Kähler-Einstein計量の一意性と摂動されたDing汎関数の臨界点性質を用いて、Aut(W, Δ) が再帰的であり、Futβ∞(X) = 0 であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 K-安定性は、Fano多様体上でのKähler-Einstein計量の存在を特徴づけるか？
• RQ2 錐特異性をもつ連続的メソッドを用いて、退化解析を通じてKähler-Einstein計量の存在を証明できるか？
• RQ3 錐角がβ∞ < 1に近づくKähler-Einstein計量の列の極限はどのように振る舞い、テスト配置と何の関係があるか？
• RQ4 Gromov-Hausdorff極限が、修正されたFutaki不変量が消えるテスト配置をもたらす条件は何か？
• RQ5 極限空間の自己同型群は再帰的か？ また、修正されたFutaki不変量は極限で消えるか？

主な発見

• Fano多様体がKähler-Einstein計量をもつこととK-安定であることの必要十分条件であることが確認され、Yau-Tian-Donaldson予想が裏付けられた。
• 修正されたFutaki不変量Futβ(X) はβに関して線形であり、Futβ(X) = 0 がβ < 1で成り立ち、Fut(X) ≤ 0 であれば背理法的議論が可能になる。
• Kähler-Einstein計量が存在しない場合、βi ↗ β∞ ≤ 1 となる計量の列は、非自明なテスト配置の中心ファイバーに同型な極限空間Wに退化する必要がある。
• 極限空間Wは、対数終等特異点をもつ正規射影的多様体と同相であり、極限計量は摂動されたKähler-Einstein方程式の弱解である。
• 極限対(W, Δ) の自己同型群は再帰的であり、修正されたFutaki不変量は消える。これは、このような退化が生じる場合、元の多様体がK-安定でないことを意味する。
• 証明は、特異空間上の弱Kähler-Einstein計量の一意性に依拠し、摂動されたDing汎関数の臨界点性質を用いて、Matsushimaの定理を特異設定に拡張した。