[論文レビュー] Kähler Ricci flow on Fano surfaces (I)

Xiuxiong Chen, Bing Wang|ArXiv.org|Oct 27, 2007

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

ひとこと要約

この論文は、トーリック対称初期計量を備えたトーリックファノ表面におけるケーラー・リッチフローが、ケーラー・リッチソリトン（KRS）計量に収束することを確立し、リッチフローを用いてKRS計量の存在を証明する。バブル極限における位相的障害によって曲率の爆発を除外することで、一様な曲率バウンドを示し、複素構造を保存する微分同相写像の下で滑らかな収束が得られる。

ABSTRACT

We show the properties of the blowup limits of \KRf solutions on Fano surfaces if Riemannian curvature is unbounded. As an application, on every toric Fano surface, we prove that \KRf converges to a Kähler Ricci soliton metric if the initial metric has toric symmetry. Therefore we give a new Ricci flow proof of existence of Kähler Ricci soliton metrics on toric surfaces.

研究の動機と目的

• トーリック対称初期計量を備えたトーリックファノ表面におけるケーラー・リッチフローがケーラー・リッチソリトン計量に収束することの証明。
• 「最も深いバブル」と呼ばれる吹き出し極限（ブローダウン）の解析を通じて、フローに沿った一様なリーマン曲率バウンドの確立。
• バブル極限にコンパクトな除法子が存在しないことと、トーリック対称性の組み合わせにより、曲率の爆発が防がれることの証明。
• トーリックファノ表面におけるケーラー・リッチソリトン計量の存在に対する、リッチフローに基づく新しい証明の提供。
• ファノ表面へのペルラマン型推定の拡張と、それらを用いた長時間フロー行動の制御。

提案手法

• 最大曲率点における吹き出し解析を用いて、スケーリング下での極限空間として「最も深いバブル」を構成する。
• バブル極限を有限個のハイパーケーラー ALE多様体の商として分類するために、位相的および幾何的制約を適用する。
• 初期計量のトーリック対称性がフロー中に保たれることにより、バブル極限にもトーリック構造が引き継がれる。
• このようなバブルがコンパクトな正則球面（CP¹）を含むべきであることを示すことで、矛盾を導出し、コンパクト除法子の不在という性質に反する。
• 微分同相写像の下で計量と複素構造の滑らかな収束を確立し、極限が元の複素構造と整合するKRS計量であることを保証する。
• 証明はファノ表面の分類および、CP²およびCP²#kCP²（k≤3）のH₂に自己交叉数-2のクラスが存在しないという事実に依存する。

実験結果

リサーチクエスチョン

• RQ1 トーリック対称性を満たす初期計量を備えたトーリックファノ表面におけるケーラー・リッチフローは、ケーラー・リッチソリトン計量に収束するか？
• RQ2 ファノ表面におけるケーラー・リッチフローで、曲率の爆発を防ぐためにどのような位相的・幾何的障害が存在するか？
• RQ3 一般のケーラー・リッチフローとは異なり、ファノ表面ではなぜ複素構造が極限で不変のまま保たれるのか？
• RQ4 バブル極限にコンパクトな除法子が存在しないことを利用して、曲率の無限大発散を排除できるか？
• RQ5 曲率バウンドのためにはトーリック対称性の条件が必要なのか、それとも取り除けるか？

主な発見

• トーリック対称初期計量を備えたトーリックファノ表面におけるケーラー・リッチフローは、複素構造を保存する微分同相写像の下で滑らかにケーラー・リッチソリトン計量に収束する。
• バブル極限における位相的障害により、曲率が一様に有界である。これは、コンパクト除法子を含まないことを意味する。
• すべての「最も深いバブル」極限は、ハイパーケーラー ALE空間の有限個の商であり、コンパクト除法子を含まない。
• トーリックファノ表面のリッチフローにおける吹き出し極限は、コンパクト除法子としてCP¹を含まなければならないが、これは「コンパクト除法子なし」という性質に反するため、曲率の爆発は排除される。
• この証明により、すべてのトーリックファノ表面がケーラー・リッチソリトン計量を有することが示され、リッチフローに基づく存在証明が新たに得られる。
• CP²およびCP²#kCP²（k=1,2）では、自己交叉数-2のホモロジー類が存在しないため、特定のバブル成分が存在せず、これによりさらに曲率の爆発が排除される。