[論文レビュー] On the uniqueness of Sasaki-Einstein metrics

Ken'ichi Sekiya|ArXiv.org|Jun 15, 2009

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

ひとこと要約

この論文は、非自明なハミルトニアン正則ベクトル場をもたないコンパクトなササキアン多様体上におけるササキ＝アインシュタイン計量の一意性を確立する。バンドー＝マブチの汎関数法をササキアン幾何学へ一般化することで、横断的ケーラー汎関数を構成し、モンジュ＝アンペール方程式の解についての事前 $C^0$-推定を証明する。その結果、このような多様体上における任意の2つのササキ＝アインシュタイン計量は一致することが示される。

ABSTRACT

Let $S$ be a compact Sasakian manifold which does not admit non-trivial Hamiltonian holomorphic vector fields. If there exists an Einstein-Sasakian metric on $S$, then it is unique.

研究の動機と目的

• 非自明なハミルトニアン正則ベクトル場をもたないコンパクトなササキアン多様体上におけるササキ＝アインシュタイン計量の一意性を確立すること。
• バンドー＝マブチの一意性手法をケーラー幾何学からササキアン幾何学へ拡張するため、横断的ケーラー汎関数を構成すること。
• ササキ＝アインシュタイン条件から生じる横断的モンジュ＝アンペール方程式の解についての事前 $C^0$-推定を証明すること。
• 与えられた幾何的制約のもとで、モンジュ＝アンペール方程式の解が一意であることを示し、計量の一意性を示すこと。

提案手法

• 基本的第1チャーン類を持つササキアン構造の空間に、ケーラー幾何学におけるそれらに類似した汎関数 $L$, $M$, $I$, および $J$ を構成する。
• ササキ＝アインシュタイン問題を、横断的モンジュ＝アンペール方程式 $\frac{(d\eta + \sqrt{-1}\partial_B\bar{\partial}_B u)^m}{(d\eta)^m} = \exp(-(2m+2)u + h)$ の解法に還元する。
• リッチ曲率が一様に有界であることを保証するため、接触形式をスケーリングした一価パラメータ族 $\{g_{u,\mu}\}$ を導入する。
• スケーリングされた族に対してマイヤーズの定理を適用し、直径と体積を制御することで、グリーン関数の評価を介して $C^0$-推定を可能にする。
• アスコリ＝アルツェラの定理を用いて解集合の閉性を示し、局所的一意性から得られる開性と組み合わせて、グローバル的一意性を証明する。
• 経路積分と振動推定を用いて $\|u_t\|_{C^{2,\varepsilon}}$ を評価し、解の正則性と一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなササキアン多様体上におけるササキ＝アインシュタイン計量が一意となる条件は何か？
• RQ2 ケーラー＝アインシュタイン計量の一意性手法（バンドー＝マブチ）をササキアン設定へ拡張できるか？
• RQ3 リッチ曲率が正の定数から下界で有界でない場合、横断的モンジュ＝アンペール方程式の解についての $C^0$-推定をどのように確立できるか？
• RQ4 非自明なハミルトニアン正則ベクトル場の不在が計量の一意性に果たす役割は何か？
• RQ5 この一意性結果は、3-ササキアン多様体のようなより広いクラスの横断的ケーラー幾何に一般化可能か？

主な発見

• 非自明なハミルトニアン正則ベクトル場をもたないコンパクトなササキアン多様体上におけるササキ＝アインシュタイン計量は一意である。
• 横断的モンジュ＝アンペール方程式の解 $u_t$ は $\|u_t\|_{C^{2,\varepsilon}} \leq C_7$ を満たし、正則性と一意性が保証される。
• $u_t$ の $C^0$-ノルムは $C_6$ で一様に有界であり、関数 $h$ と汎関数 $L(0,u_t)$ を用いた振動および点推定から導かれる。
• 初期解に対して $L(0,u_0) = 0$ が成り立つため、加法的定数の不確実性が排除され、$t=0$ での一意性が保証され、$t=1$ へと伝播する。
• 解集合 $I_1$ は $[0,1]$ において開かつ閉であるため、$t=1$ で解が存在するならば、それが一意であることが示される。
• $t=1$ におけるモンジュ＝アンペール方程式の解の一意性は、多様体上におけるササキ＝アインシュタイン計量の一意性を示唆する。