[論文レビュー] Supremum of Perelman's entropy and Kähler-Ricci flow on a Fano manifold

Gang Tian, Shijin Zhang+2 more|arXiv (Cornell University)|Jul 20, 2011

Geometry and complex manifolds参考文献 11被引用数 18

ひとこと要約

本稿では、修正された Mabuchi Kエネルギーが下から有界であるという仮定の下で、Fano多様体上におけるPerelmanのエントロピー関数の上界を確立し、それが $(2\pi)^{-n}[nV - N_X(c_1(M))]$ に等しいことを証明する。また、Moser-Trudinger型不等式やケーラー・アインシュタインの場合の深遠な一意性結果に依存せずに、ケーラー・リッチフローがケーラー・リッチソリトンに収束することの別証明を、Perelmanのエントロピーのエネルギー準位の分析を用いて与える。

ABSTRACT

In this paper, we extend the method in [TZhu5] to study the energy level $L(\cdot)$ of Perelman's entropy $λ(\cdot)$ for Kähler-Ricci flow on a Fano manifold. Consequently, we first compute the supremum of $λ(\cdot)$ in Kähler class $2πc_1(M)$ under an assumption that the modified Mabuchi's K-energy $μ(\cdot)$ defined in [TZhu2] is bounded from below. Secondly, we give an alternative proof to the main theorem about the convergence of Kähler-Ricci flow in [TZhu3].

研究の動機と目的

• Fano多様体上で、修正されたMabuchi Kエネルギーが下から有界であるという条件下で、ケーラー類 $2\pi c_1(M)$ 内におけるPerelmanのエントロピー関数 $\lambda(\cdot)$ の上界を計算すること。
• Moser-Trudinger型不等式に依存しない、Fano多様体上でのケーラー・リッチフローがケーラー・リッチソリトンに収束することの別証明を提供すること。
• Perelmanの $W$-関数の最小化子に対する一様勾配およびラプラシアン推移を確立し、$C^\infty$ 収束を可能にする。
• 修正されたMabuchiエネルギーの有界性仮定の下で、Perelmanのエントロピーのエネルギー準位 $L(\cdot)$ が $\mathcal{K}_X$ 内の初期ケーラー計量の選び方に依存しないことを示すこと。
• ケーラー・リッチソリトンが存在しない場合の一般化を、修正されたMabuchiエネルギーの有界性にのみ依存して行うこと。

提案手法

• 文献[TZhu5]の手法を拡張し、Fano多様体上でのケーラー・リッチフローに沿ったPerelmanのエントロピー $\lambda(\cdot)$ のエネルギー準位 $L(\cdot)$ を分析する。
• 修正されたMabuchi Kエネルギー $\mu(\cdot)$ を導入・分析し、それが下から有界であるならば $L(\cdot)$ が $\mathcal{K}_X$ 内の初期計量に依存しないことを示す。
• $W$-関数とその最小化を用いて $\lambda(g)$ を定義し、正規化 $\int_M e^{-f} dV_g = V$ および $\tau = 1/2$ を用いる。
• Moser型反復法と $L^p$-推移を用いて、$W$-関数の最小化子 $f$ に対する一様勾配およびラプラシアン推移を導出する。
• 切断関数 $\eta$ を用い、部分積分を適用して $\nabla w$ および $\triangle w$ の $L^p$ ノルムを制御し、$L^\infty$ 推移に至る。
• Perelmanの推移とSobolev定数の制御を活用し、$v_t = e^{-f_t/2}$ を用いて $f_t$ に対する一様勾配推移を確立する。

実験結果

リサーチクエスチョン

• RQ1 修正されたMabuchi Kエネルギーが下から有界であるとき、Fano多様体上におけるケーラー類 $2\pi c_1(M)$ 内でのPerelmanのエントロピー $\lambda(\cdot)$ の上界は何か？
• RQ2 Moser-Trudinger型不等式を用いずに、ケーラー・リッチフローがケーラー・リッチソリトンに収束することを証明できるか？
• RQ3 修正されたMabuchi Kエネルギーの有界性仮定の下で、Perelmanのエントロピーのエネルギー準位 $L(\cdot)$ は $\mathcal{K}_X$ 内の初期ケーラー計量の選び方に依存しないか？
• RQ4 ケーラーポテンシャルの空間内で $\lambda(\cdot)$ の上界が達成可能な条件は何か？
• RQ5 フローに沿った $f_t$ に対する一様勾配およびラプラシアン推移は、ケーラー・リッチフローの $C^\infty$ 収束にどのように寄与するか？

主な発見

• 修正されたMabuchi Kエネルギーが下から有界である限り、Fano多様体上におけるケーラー類 $2\pi c_1(M)$ 内でのPerelmanのエントロピー $\lambda(\cdot)$ の上界は $ (2\pi)^{-n}[nV - N_X(c_1(M))] $ に等しい。
• 修正されたMabuchiエネルギーの有界性仮定の下で、Perelmanのエントロピーのエネルギー準位 $L(\cdot)$ は $\mathcal{K}_X$ 内の初期ケーラー計量の選び方に依存しない。
• 任意の初期計量を $\mathcal{K}_X$ にとったケーラー・リッチフローは、$C^\infty$ 位相でケーラー・リッチソリトンに収束し、指数的収束速度を示す。
• 収束の証明は、Moser-Trudinger型不等式やChen-Sunによるケーラー・アインシュタイン計量の深遠な一意性結果に依存しない。
• Moser反復法と切断関数技術を用いて、Perelmanの $W$-関数の最小化子 $f_t$ に対する一様勾配およびラプラシアン推移が確立された。
• $N_X(c_1(M))$ は $\mathcal{K}_X$ 内の非負不変量であり、Futaki不変量が消えるときにかつそのときに限り0に等しい。