[論文レビュー] On the Critical Points of the E_k Functionals in Kahler Geometry

Valentino Tosatti|Jun 1, 2005

Hermeneutics and Narrative Identity参考文献 8被引用数 3

ひとこと要約

本稿は、反正則類において、$E_k$汎関数の臨界点であり、非負のリッチ曲率を持つ任意のケーラー計量がケーラー＝アインシュタインでなければならないことを証明しており、X.X. チェンによる $E_1$ 汎関数に関する問いに対する部分的な肯定的解答を提供する。この結果は、リッチ曲率の対称関数に最小原理を適用することに依拠し、$E_n$ および $E_0$ 汎関数に関する先行研究を拡張する。

ABSTRACT

We prove that a Kahler metric in the anticanonical class which is a critical point of the functional E_k and has nonnegative Ricci curvature, is necessarily Kahler-Einstein. This partially answers a question of X.X.Chen.

研究の動機と目的

• ケーラー幾何における $E_k$ 汎関数の臨界点が、非負のリッチ曲率のもとで常にケーラー＝アインシュタインでなければならないかどうかを特定すること。
• $E_0$（マブーチ・エネルギー）および $E_n$ に関する先行結果を、$0 < k < n$ の一般の $E_k$ 汎関数へ拡張すること。
• 臨界点 $E_k$ とケーラー＝アインシュタイン計量の関係、特に反正則類における関係を調査すること。
• チェンの予想である、反正則類における $E_1$ 臨界点が、やや弱い曲率仮定のもとでケーラー＝アインシュタインであることを裏付ける証拠を提供すること。
• リッチ曲率の対称関数と最小原理を用いた一般枠組みを確立し、臨界計量を分析すること。

提案手法

• ケーラー潜在関数の経路に沿った積分を用いて $E_k$ 汎関数を定義し、リッチ曲率および体積形式に依存する。
• 臨界点方程式を $\sigma_{k+1}(\omega_\phi) - \triangle_\phi \sigma_k(\omega_\phi) = \binom{n}{k+1} \mu_k$ として表現する。ここで $\sigma_k$ はリッチ固有値の初等対称関数である。
• 臨界点 $\Sigma_k$ の最小点において、正規化された対称関数 $\Sigma_k(\omega) = \sigma_k(\omega)/\binom{n}{k}$ に最小原理を適用する。
• 古典的不等式 $\Sigma_k^{k+1} \geq \Sigma_{k+1}^k$ を用いて、$\Sigma_{k+1} \geq 1$ から $\Sigma_k \geq 1$ へ、最終的に $\Sigma_1 \geq 1$ へと下界を伝搬する。
• $\Sigma_1(\omega) = R/n$ をスカラー曲率に関連させ、$\Sigma_1 \geq 1$ から $R \geq n$ を導出し、$\mathrm{Ric}(\omega) = \omega$ を示す。
• $k=1$ の場合、$R > -n$ を仮定し、最小点において $R^2 \geq n^2$ が成り立つことを示し、$R \geq n$ を強制し、結果として $\mathrm{Ric}(\omega) = \omega$ を得る。

実験結果

リサーチクエスチョン

• RQ1 反正則類において、非負のリッチ曲率を有する $E_k$ 決定の臨界点は、必ずケーラー＝アインシュタインでなければならないか？
• RQ2 $E_1$ 決定の臨界点が、$R > -n$ の条件下でケーラー＝アインシュタイン計量と一致するか？
• RQ3 最小原理と対称関数の不等式を用いて、$E_k$ 臨界計量がケーラー＝アインシュタインであることを証明できるか？
• RQ4 $E_k$ 決定と、正の第一チャーン類を持つ幾何における安定性および極値計量の存在との関係はいかなるものか？
• RQ5 $E_k$ 臨界計量がケーラー＝アインシュタインのままであるためには、リッチ曲率の非負性をどれほど弱めるか、あるいは取り除けるか？

主な発見

• 任意の $0 < k < n$ に対して、反正則類における $E_k$-臨界ケーラー計量が非負のリッチ曲率を有するならば、ケーラー＝アインシュタインである。
• 最小点における $\Sigma_{k+1}$ の正の性質のおかげで、リッチ曲率が非負であれば十分であり、正でなくてもよい。
• $k = 1$ の場合、$R > -n$ が $E_1$-臨界計量がケーラー＝アインシュタインであることを保証するのに十分であり、正のリッチ曲率を越えて結果を拡張する。
• $k=1$ の臨界方程式は $R^2 - |\mathrm{Ric}|^2 - 2\triangle R = n(n-1)$ に簡略化され、最小原理により $R \geq n$ が強制される。
• 正規化スカラー曲率 $\Sigma_1(\omega) \geq 1$ は $R \geq n$ を意味し、$\mathrm{Ric}(\omega) = \omega$ を強制する。これによりケーラー＝アインシュタイン性が証明される。
• $k = n$ に対しても同様に一般化可能であり、$\triangle \sigma_n = 0$ から $\sigma_n = 1$ が得られ、同じ不等式の鎖が $\mathrm{Ric}(\omega) = \omega$ へ導く。