[論文レビュー] The conical Kähler-Ricci flow with weak initial data on Fano manifold

Jiawei Liu, Xi Zhang|arXiv (Cornell University)|Jan 1, 2016

Geometry and complex manifolds参考文献 35被引用数 4

ひとこと要約

本稿では、$p>1$ に対して $L^p$ 密度を持つ弱い初期データを備えたファノ多様体上での、錐型ケーラー・リッチフローの長期間存在、一意性、収束を確立する。滑らかな近似と一様推定を用いて、錐型ケーラー・アインシュタイン計量の存在下で、元のフローがその計量に収束することを証明し、以前の結果をより滑らかでない初期条件へと拡張する。

ABSTRACT

In this paper, we prove the long-time existence and uniqueness of the conical Kähler-Ricci flow with weak initial data which admits $L^{p}$ density for some $p>1$ on Fano manifold. Furthermore, we study the convergence behavior of this kind of flow.

研究の動機と目的

• 初期データが弱い、具体的には $p>1$ に対して $L^p$ 密度を持つ場合のファノ多様体上での錐型ケーラー・リッチフローの長期間存在と一意性を確立すること。
• 滑らかでない、あるいは錐型計量を模倣しない初期データ（$L^p$-可積分密度を有する電流）に対する錐型ケーラー・リッチフローの収束結果を拡張すること。
• 以前の結果を一般化し、初期データをクラス $\mathcal{E}_p(M,\omega_0)$ に許容することで、以前に考慮されたものより滑らかでないポテンシャルを含むようにすること。
• 錐型ケーラー・アインシュタイン計量が存在する場合、滑らかでない初期データ（$L^p$ 密度を有する）から出発しても、フローがその計量に収束することを証明すること。

提案手法

• 著者たちは、ねじれケーラー・リッチフローの滑らかな近似を用い、$\varepsilon \to 0$ のときフローに近づく滑らかなフローの族 $\omega_\varepsilon(t)$ を構成する。
• コロジエフの $L^p$-推定とディネフの一意性定理を用いて、除法 $D$ から離れたコンパクト部分集合上で、一様な $C^0$ および $C^k$ 推定を確立する。
• フローはポテンシャル $\varphi(t)$ を通じて研究され、$\omega(t) = \omega_0 + \sqrt{-1}\partial\bar{\partial}\varphi(t)$ と表される。$t \to \infty$ のとき、$L^\infty$-位相における収束が分析される。
• 証明は、一様なラプラシアン $C^2$ 推定および $t \geq 1$ における局所的 $C^k$ 界の導出に依存しており、[34] の議論に基づくもので、除法から離れた領域での正則性を保証する。
• ねじれ Mabuchi $\mathcal{K}$-エネルギー汎関数の一様な適切性と、接する正則ベクトル場が存在しない条件下での錐型ケーラー・アインシュタイン計量の一意性を用いて収束を確立する。
• 著者たちは、モーザー＝トゥルデイジャー型不等式とディング汎関数の推定を活用し、エネルギー汎関数を制御し、極限計量への収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 初期データが $p>1$ に対して $L^p$ 密度を持つ弱い初期電流から出発する錐型ケーラー・リッチフローは、長期間にわたり解を有するか？
• RQ2 このような弱い初期データに対して、錐型ケーラー・リッチフローの一意性と収束性は確立可能か？
• RQ3 滑らかな近似においてフローは安定的か？ また、近似フローは一様に、所望の正則性を持つ解に収束するか？
• RQ4 初期データが滑らかでない場合、フローが錐型ケーラー・アインシュタイン計量に収束する条件は何か？
• RQ5 $\varepsilon \to 0$ および $t \to \infty$ の極限において、ポテンシャルおよびその時間微分の上での一様推定はどのように振る舞うか？

主な発見

• 初期データが $\mathcal{E}_p(M,\omega_0)$ に属し、$p>1$ である場合、錐型ケーラー・リッチフローはすべての時間にわたり存在し、一意的であり、電流の意味でフロー方程式を満たす。
• 任意の $k \in \mathbb{N}^+$ およびコンパクト $K \subset \subset M \setminus D$ に対して、$t \geq 1$ においてポテンシャル $\psi_\varepsilon(t)$ は $K$ 上で $\varepsilon$ に依存しない一様な $C^k$ 界を持つ。
• 錐型ケーラー・アインシュタイン計量が存在する場合、$t \to \infty$ のときフローはその計量に収束する。ただし、除法 $D$ に接する非自明な正則ベクトル場が存在しない条件を満たすものとする。
• ねじれ Mabuchi $\mathcal{K}$-エネルギー汎関数は一様に適切であり、$\mathcal{M}_{\omega_0,\theta_\varepsilon}(\phi) \geq C_1 J_{\omega_0}(\phi) - C_2$ を満たし、一様定数 $C_1, C_2$ を用いて収束を保証する。
• ディング汎関数 $F_{\omega_0,\theta_\varepsilon}$ は一様に適切であり、$F_{\omega_0,\theta_\varepsilon}$ と $F_{\omega_0,(1-\beta)D}$ の差は $\varepsilon$ に依存しない一様に有界である。
• フローの収束は $L^\infty$-位相で成立する：$t \to 0^+$ のとき $\|\varphi(t) - \varphi_0\|_{L^\infty(M)} \to 0$ であり、$\varphi(t)$ はある $\alpha \in (0,1)$ に対して $M$ 上で $C^\alpha$-ノルムで錐型ケーラー・アインシュタインポテンシャルに収束する。