[論文レビュー] The Kahler-Ricci flow and K-stability

Gábor Székelyhidi|arXiv (Cornell University)|Mar 11, 2008

Geometry and complex manifolds参考文献 17被引用数 3

ひとこと要約

本稿では、一様な曲率の下で、Mabuchiエネルギーが有界な条件下で、Fano多様体のK-polystabilityが、Kähler-Ricci流れを介してKähler-Einstein計量の存在を示すことを確立している。主な貢献は、cscK多様体の小さな変形がK-polystableであればcscK計量を保つという摂動結果であり、この結果を応用して、これらの条件下での流れの収束を証明している。

ABSTRACT

We consider the Kähler-Ricci flow on a Fano manifold. We show that if the curvature remains uniformly bounded along the flow, the Mabuchi energy is bounded below, and the manifold is K-polystable, then the manifold admits a Kähler-Einstein metric. The main ingredient is a result that says that a sufficiently small perturbation of a cscK manifold admits a cscK metric if it is K-polystable.

研究の動機と目的

• Fano多様体上のKähler-Ricci流れがKähler-Einstein計量に収束する条件を確立すること。
• 曲率とエネルギーの制約の下で流れを分析することにより、K-polystabilityとKähler-Einstein計量の存在との間のギャップを埋めること。
• 十分に小さなcscK多様体の変形がK-polystableであればcscK計量を有する、という技術的道具を提供すること。
• 非自明なテスト配置が滑らかな中心ファイバーを持つ場合、K-polystabilityがその存在を妨げる理由を特定すること。

提案手法

• Perelman型推移を用いて曲率と複素構造の収束を制御する、Fano多様体上のKähler-Ricci流れを利用する。
• 摂動結果を適用：cscK多様体がわずかに変形され、かつK-polystableのままであれば、cscK計量が存在する。
• モーメント写像理論とHilbert-Mumfordの基準を用いて、変形空間内の非-polystable点を分析する。
• 滑らかな中心ファイバーを持つ非積のテスト配置を、ディスク上の正則 $ S^1 $-可換族を用いて構成する。
• 一意パラメータ群の $ \rho $-作用を用いて正則な複素構造の族を定義し、それを $ \boldsymbol{C} $ 上の $ \boldsymbol{C}^* $-可換族に持ち上げる。
• Mabuchi汎関数の有界性と曲率の一様性に依存して、複素構造がKähler-Ricciソリトンに収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 Fano多様体上のKähler-Ricci流れがKähler-Einstein計量に収束する幾何的条件は何か？
• RQ2 K-polystabilityを用いて、cscK多様体の小さな変形においてcscK計量の存在を保証できるか？
• RQ3 変形におけるポリスタビリティの失敗と非積のテスト配置の存在との関係は何か？
• RQ4 曲率の有界性とMabuchiエネルギーの有界性が、Kähler-Ricci流れの極限複素構造に与える制約は何か？
• RQ5 非自明なテスト配置が滑らかな中心ファイバーを持つ場合、K-polystabilityの妨げとなる程度は何か？

主な発見

• Fano多様体上でKähler-Ricci流れを実行する際、リーマン曲率テンソルが一様に有界で、Mabuchi汎関数が下から有界であれば、流れはKähler-Ricciソリトンに収束する。
• cscK多様体 $ (M, L) $ の小さな変形 $ (M', L') $ がK-polystableであれば、弱い形のK-polystability（滑らかな中心ファイバーのみを含む）でさえ、cscK計量を有する。
• 変形 $ (M', L') $ がK-polystableでない場合、cscK計量を有する滑らかな中心ファイバー $ (M_0, L_0) $ を持つ非積のテスト配置が存在する。この $ (M_0, L_0) $ は $ (M, L) $ の小さな変形である。
• このようなテスト配置の存在は、$ (M', L') $ がK-polystableでないことを示し、存在結果の逆を確立する。
• 流れによって得られる極限複素構造 $ J_0 $ は、Mabuchi汎関数が下から有界で、曲率が一様に有界であればKähler-Einsteinである。
• 証明により、与えられた幾何的制約の下で、cscK計量の存在に対してK-polystabilityが必要かつ十分であることが示された。