[論文レビュー] Gap theorems for Kähler-Ricci solitons

Haozhao Li|ArXiv.org|Jun 30, 2009

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

ひとこと要約

本稿は、正の第一チャーン類をもつコンpaktoな勾配収縮 Kähler–Ricci 溶媒について、2つのギャップ定理を確立する。すなわち、リッチ曲率が $ L^\infty $ ノルムにおいてケーラー形式に十分に近い場合、計量はケーラー–アインシュタインでなければならない。結果として、Futaki 不変量に基づく定量的閾値が得られ、非ケーラー–アインシュタイン溶媒はリッチ曲率をケーラー形式にあまりに近づけることはできないことが示された。

ABSTRACT

In this paper, we prove that a gradient shrinking compact Kähler-Ricci soliton cannot have too large Ricci curvature unless it is Kähler-Einstein.

研究の動機と目的

• 正のリッチ曲率をもつコンパクトな勾配収縮 Kähler–Ricci 溶媒について、定量的ギャップ定理を確立すること。
• リッチ曲率がケーラー形式にどれほど近いかに応じて、Kähler–Ricci 溶媒がケーラー–アインシュタインでなければならない条件を特定すること。
• Futaki 不変量を用いて、リッチ曲率とケーラー形式との間のギャップの明示的下界を提供すること。
• Tian の予想（複素 Monge–Ampère 流の $ t=1 $ における極限）を支持するために、$ t=1 $ に十分に近い解から非ケーラー–アインシュタイン溶媒が生じえないことを示すこと。

提案手法

• 潜在関数 $ u $ と曲率、Futaki 不変量を関係づける Kähler–Ricci 溶媒方程式 $ \mathrm{Ric}(\omega) - \omega = -\sqrt{-1}\partial\bar{\partial}u $ を用いる。
• ラプラシアン $ \Delta_g $ におけるスペクトル理論を適用し、$ \epsilon = \max_M |\mathrm{Ric}(\omega) - \omega| $ を用いて、第一固有値の下界 $ \lambda_1 \geq 1 - \epsilon $ を得る。
• 部分積分と $ L^2 $ 評価を用いて不等式 $ \epsilon^2 - (1 - \epsilon)f_X \geq 0 $ を導出し、ギャップ閾値に至る。
• 定理 1.3 においては、$ \int_M u \, \omega^n = 0 $ と正規化し、溶媒方程式 $ \Delta_g u + u - |\nabla u|^2 = -f_X $ を用いて $ u $ の下界を導出する。
• 直径とスカラー曲率の境界を用いて $ |\nabla u|^2 $ を制御し、$ \lambda $ と $ f_X $ に依存するスカラー曲率 $ R $ の一様上界を証明する。
• 曲率境界と $ |\nabla\bar{\nabla}u|^2 $ の $ L^2 $ ノルムを組み合わせ、$ \lambda \to 1 $ のとき矛盾を導出し、計量がケーラー–アインシュタインでなければならないことを強制する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな勾配収縮 Kähler–Ricci 溶媒がケーラー–アインシュタインでなくなる条件は、リッチ曲率のどのような条件下で成立するか。
• RQ2 Futaki 不変量を用いて、Kähler–Ricci 溶媒とケーラー–アインシュタイン計量との間の「ギャップ」を定量化できるか。
• RQ3 $ c_1(M) > 0 $ である多様体上で、ケーラー–アインシュタイン計量を持たない複素 Monge–Ampère 流は、必然的に非ケーラー–アインシュタイン溶媒を生じるか。
• RQ4 どの最適閾値 $ \epsilon $ に対して $ |\mathrm{Ric}(\omega) - \omega| < \epsilon $ が成立すれば、計量がケーラー–アインシュタインでなければならないか。
• RQ5 $ \mathrm{Ric}(\omega) \geq \lambda \omega $ の仮定の下でスカラー曲率はどのように振る舞い、溶媒構造にどのような意味を持つのか。

主な発見

• 定理 1.1 は鋭いギャップを確立する：$ |\mathrm{Ric}(\omega) - \omega| < \frac{-f_X + \sqrt{f_X^2 + 4f_X}}{2} $ ならば、$ \omega $ はケーラー–アインシュタインである。
• 定理 1.1 の閾値は明示的であり、$ f_X > 0 $ の Futaki 不変量にのみ依存する。これにより、非ケーラー–アインシュタイン溶媒はリッチ曲率をケーラー形式にあまりに近づけることはできないことが示された。
• 定理 1.3 は、$ \mathrm{Ric}(\omega) > (1 - \epsilon)\omega $ が十分に小さい $ \epsilon > 0 $（$ f_X $ に依存）に対して成り立つならば、$ \omega $ はケーラー–アインシュタインでなければならないことを証明する。
• Kähler–Ricci 溶媒のスカラー曲率 $ R $ は、$ \lambda $ と $ f_X $ に依存する定数 $ \Lambda(\lambda, f_X) $ によって一様に上から押さえられ、$ \lambda \to 1 $ のとき $ \Lambda \to \text{有限} $ となる。
• $ \lambda \to 1 $ のとき、$ |\nabla\bar{\nabla}u|^2 $ の $ L^2 $ ノルムは 0 に近づき、下界 $ \lambda f_X > 0 $ と矛盾する。これにより計量はケーラー–アインシュタインでなければならない。
• 結果として、複素 Monge–Ampère 流の $ t=1 $ における極限に関する Tian の予想は、流れが $ t=1 $ に十分に近づきすぎると、非ケーラー–アインシュタイン溶媒を生じえないことを示唆している。