[論文レビュー] The Soliton-Ricci Flow over Compact Manifolds

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

Geometric Analysis and Curvature Flows参考文献 1被引用数 4

ひとこと要約

本稿では、コンパクト多様体上のリーマン計量の前向き放物型流れ、Soliton-Ricci Flow (SRF) を導入する。この流れは、縮小リッチソリトンへ収束するように進化する。SRF は、3対称共変微分変化を持つ計量の部分空間に制限したペレラの $χ$-汎関数の勾配流れとして定義され、$Ω$- Bakry-Emery-リッチテンソルが一様に正であるとき、指数関数的に速い収束を達成する。

ABSTRACT

We introduce a flow of Riemannian metrics over compact manifolds with formal limit at infinite time a shrinking Ricci soliton. We call this flow the Soliton-Ricci flow. It correspond to a Perelman's modified backward Ricci type flow with some special restriction conditions. The restriction conditions are motivated by convexity results for Perelman's $\mathcal{W}$-functional over convex subsets inside adequate subspaces of Riemannian metrics. We show indeed that the Soliton-Ricci flow is generated by the gradient flow of the restriction of Perelman's $\mathcal{W}$-functional over such subspaces. Assuming long time existence of the Soliton-Ricci flow we show exponentially fast convergence to a shrinking Ricci soliton provided that the Bakry-Emery-Ricci tensor is uniformly strictly positive with respect to the evolving metric.

研究の動機と目的

• コンパクト多様体上でのリーマン計量を縮小リッチソリトンへ進化させる新しい幾何学的流れ、Soliton-Ricci Flow (SRF) を定義すること。
• ペレラの $χ$-汎関数を 3 対称共変微分変化を持つ計量の部分空間に制限することにより、SRF を勾配流れの枠組みに組み込むこと。
• Ω- Bakry-Emery-リッチテンソルが一様に正であるという条件下で、SRF の長時間存在および指数的収束を確立すること。
• Lax 型の複素構造のODE流れを用いて、SRF によって Soliton-Kähler-Ricci 流の解を形式的に生成するためのフレームワークを提供すること。
• 「散乱データ」として、SRF が制約付き計量空間の部分空間上で勾配流れとして形式的に解ける特別な初期計量を同定すること。

提案手法

• SRF は、$\dot{g}_t = \operatorname{Ric}_{g_t}(\Omega) - g_t$ で与えられる発展方程式として定義される。ここで $\operatorname{Ric}_{g_t}(\Omega)$ は $Ω$-Bakry-Emery-リッチテンソルである。
• 流れは、計量空間 $\mathcal{M}$ の部分空間 $\Sigma \subset \mathcal{M}$ において、ペレラの $\mathcal{W}_\Omega$-汎関数の制限の勾配流れとして構成される。この部分空間は、3 対称共変微分変化を持つ計量からなる。
• $Ω$-Bakry-Emery-リッチテンソルは $\operatorname{Ric}_g(\Omega) := \operatorname{Ric}(g) + \nabla_g d\log\frac{dV_g}{\Omega}$ として定義され、計量 $g$ が $\Omega$-縮小リッチソリトンであるとは、$g = \operatorname{Ric}_g(\Omega)$ を満たすことである。
• 流れは、重み付き $L^2$ 内積 $G_g(u,v) = \int_X \langle u,v \rangle_g \Omega$ を備え、計量空間上の距離 $d_G$ を誘導する。
• 演算子 $P$ の形式的随伴 $P^{*_{\Omega}}_g$ は、$f = \log \frac{dV_g}{\Omega}$ を用いて $e^f P^*_g(e^{-f} \cdot)$ として定義され、これにより $Ω$-ラプラシアン $\Delta^{\Omega}_g = \nabla^*_{\Omega,g} \nabla_g$ が定義される。
• 流れの変化の分析と曲率恒等式および Bianchi 型恒等式の使用により、$\nabla_{T_X,g}$-共変微分のリッチテンソルの変化を解析することで、SRF が厳密に放物型かつ前向きに進化することを示した。

実験結果

リサーチクエスチョン

• RQ1 ペレラの $\mathcal{W}_\Omega$-汎関数の勾配系として、リーマン計量を縮小リッチソリトンへ進化させる幾何的流れを構成できるか？
• RQ2 初期計量にどのような条件を課すと、その流れが長時間存在し、縮小リッチソリトンへ収束するか？
• RQ3 $Ω$-Bakry-Emery-リッチテンソルを用いて、$\mathcal{W}_\Omega$-汎関数が凸であり、流れが適切に定義される計量の制約付き部分空間を定義できるか？
• RQ4 3 対称共変微分変化が、SRF が厳密に放物型かつ前向きに進化することを保証するために果たす役割は何か？
• RQ5 SRF は、Kähler 初期データに対する Soliton-Kähler-Ricci 流とどのように関係しているか？また、Lax 型の複素構造のODE流れを用いて、このような解を生成できるか？

主な発見

• Soliton-Ricci Flow は、コンパクト多様体上で前向きかつ厳密に放物型の発展方程式 $\dot{g}_t = \operatorname{Ric}_{g_t}(\Omega) - g_t$ として定義される。
• この流れは、3 対称共変微分変化を持つ計量の部分空間に制限したペレラの $\mathcal{W}_\Omega$-汎関数の勾配流れである。
• 長時間存在の仮定の下で、$Ω$-Bakry-Emery-リッチテンソルが一様に正である限り、SRF は指数関数的に速く縮小リッチソリトンへ収束する。
• 流れは、「散乱データ」として知られる特別な初期計量 $g \in \mathcal{S}_\Omega$ のみに対して形式的に適切に定義される。ここで $\nabla_{T_X,g} \operatorname{Ric}^*_g(\Omega) = 0$ を満たすことで、3 対称変化条件と整合性が保証される。
• 流れに沿った $Ω$-Bakry-Emery-リッチテンソルの変化は、$2\frac{d}{dt}\operatorname{Ric}_g(\Omega) = -\nabla^*_{\Omega,g} \mathcal{D}_g \dot{g}$ で支配され、ここで $\mathcal{D}_g = \hat{\nabla}_g - 2\nabla_g$ である。これにより、流れの勾配構造が確立される。
• SRF は、Lax 型の複素構造のODE流れを用いて、Kähler 初期データに対して Soliton-Kähler-Ricci 流の解を生成する。これは先行研究 [Pal2] で示されている。