[論文レビュー] The Soliton Kähler-Ricci Flow over Fano Manifolds

Nefton Pali|arXiv (Cornell University)|Mar 16, 2012

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

ひとこと要約

本稿では、Fano多様体上のソリトン・ケーラー・リッチ・フロー（SKRF）を導入する。これは、関連するソリトン・リッチ・フローがすべての時間にわたり存在し、バクリー＝エメリー・リッチテンソルが一様に下から有界であるという仮定の下で、ケーラー構造が指数関数的にケーラー・リッチ・ソリトンに収束する幾何的フローである。SKRFはペレラマンの逆時空の熱方程式を用いて生成され、ケーラー・アインシュタイン計量が存在しないFano多様体上でのケーラー・リッチ・ソリトンの構成に新たなアプローチを提供する。

ABSTRACT

We introduce a flow of Kähler structures over Fano manifolds with formal limit at infinite time a Kähler-Ricci soliton. This flow correspond to a Perelman's modified backward Kähler-Ricci type flow that we call Soliton-Kähler-Ricci flow. It can be generated by the Soliton-Ricci flow. We assume that the Soliton-Ricci flow exists for all times and the Bakry-Emery-Ricci tensor preserve a positive uniform lower bound with respect to the evolving metric. In this case we show that the corresponding Soliton-Kähler-Ricci flow converges exponentially fast to a Kähler-Ricci soliton.

研究の動機と目的

• ケーラー・アインシュタイン計量が存在しないFano多様体上でのケーラー・リッチ・ソリトンの構成。
• 後退ケーラー・リッチ・フローの修正版として、新たな幾何的フロー、すなわちソリトン・ケーラー・リッチ・フロー（SKRF）の定義と分析。
• バクリー＝エメリー・リッチテンソルに一様な下界がある場合に、SKRFが指数関数的にケーラー・リッチ・ソリトンに収束することの確立。
• 複素構造のLax型ODEフローを通じて、SKRFとソリトン・リッチ・フローを結びつける。

提案手法

• SKRFは、正規化された滑らかな体積形式 $\Omega > 0$ に関連する、Kähler構造 $(X, J_t, g_t)_{t \to \tau}$ のフローとして定義され、形式的極限は $\Omega$ に対するケーラー・リッチ・ソリトン方程式を満たす。
• フローは、ケーラー・リッチ・フローに対するペレラマンの逆時空の熱方程式を解く関数の勾配に対応する微分同相写像を適用することで生成される。
• SKRFは、正のケーラー散乱データ $\sigma^{K,+}_{\Omega,J}$ の集合上で定義される $\Omega$-ソリトン・リッチ・フロー（SRF）によって生成されることを示した。
• 収束は、先行研究 [Pal2] の結果を用いて、バクリー＝エメリー・リッチテンソルに一様な下界がある場合の $\Omega$-SRF の収束を応用して確立した。
• 証明は、ニジェヌイズテンソルと複素構造を含むリーマン接続とリー微分の分解公式に依存している。
• 解析では、曲率と微分作用素を関係付ける恒等式 $\nabla_g df = i\partial_J\bar{\partial}_J f(\cdot, J\cdot) + g(\cdot, \bar{\partial}_{T_{X,J}} \nabla_g f \cdot)$ を用いた。

実験結果

リサーチクエスチョン

• RQ1 ケーラー・アインシュタイン計量が存在しないFano多様体上でも、ケーラー・リッチ・ソリトンに収束する幾何的フローを構成できるか。
• RQ2 ペレラマンの逆時空の熱方程式は、修正されたケーラー・リッチ・フローを用いたケーラー・リッチ・ソリトンの構成とどのように関係するか。
• RQ3 ソリトン・ケーラー・リッチ・フローが指数関数的にケーラー・リッチ・ソリトンに収束する条件は何か。
• RQ4 複素構造の進化に関して、ソリトン・リッチ・フローとソリトン・ケーラー・リッチ・フローの関係は何か。
• RQ5 SKRFに沿って変化する複素構造 $J_t$ が一定のまま保たれるのはいつか。また、これは初期計量にどのような意味を持つのか。

主な発見

• 関連するソリトン・リッチ・フローがすべての時間にわたり存在し、バクリー＝エメリー・リッチテンソルが正の定数 $\delta > 0$ で一様に下から有界である限り、ソリトン・ケーラー・リッチ・フローは指数関数的にケーラー・リッチ・ソリトンに収束する。
• フローは、ペレラマンの逆時空の熱方程式の解の勾配によって誘導される微分同相写像を介して生成され、これにより後退ケーラー・リッチ・フローと関連づけられる。
• Corollary 2で示されるように、SKRFはLax型の複素構造のODEフローを通じて $\Omega$-ソリトン・リッチ・フローと同値である。
• 複素構造 $J_t$ がSKRFに沿って一定のまま保たれる場合、初期計量 $g_0$ はすでに $J_0$-不変のケーラー・リッチ・ソリトンである。
• 収束結果は、正のケーラー散乱データ $\mathcal{S}^{K,+}_{\Omega,J_0}$ に属する初期データに対して成り立ち、極限としてケーラー・リッチ・ソリトンの存在を保証する。
• SKRFの形式的極限は、体積形式 $\Omega$ に対するケーラー・リッチ・ソリトン方程式であり、これが幾何的目標としての意図が裏付けられる。