[論文レビュー] Uniqueness of Constant Scalar Curvature Sasakian Metrics

Xishen Jin, Xi Zhang|arXiv (Cornell University)|Sep 22, 2015

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

ひとこと要約

本稿は、恒等的成分を除く自己同型群の作用に関して、コンパクトなサスカリアン多様体上の定スカラー曲率サスカリアン計量（cscS）の一意性を確立する。弱測地線に沿った横断的Mabuchiエネルギーの凸性を示すことで、以前の研究における弱C²正則性を用い、同じリーブ場および横断的複素構造と整合する2つのcscS計量が横断的正則自己同型で関連づけられることを示し、対称性を除いて一意性が保証される。

ABSTRACT

In this paper, we prove that the transverse Mabuchi K-energy functional is convex along the weak geodesic in the space of Sasakian metrics. As an application, we obtain the uniqueness of constant scalar curvature Sasakian metrics modulo automorphisms for the transverse holomorphic structure.

研究の動機と目的

• コンパクトなサスカリアン多様体上の定スカラー曲率サスカリアン計量（cscS）の一意性を確立すること。
• ケーラー幾何におけるcscK計量の一意性結果をサスカリアン設定に拡張すること。
• cscS計量が、横断的正則構造を保つ自己同型群の恒等的成分の作用に関して一意的であることの証明。
• サスカリアン計量空間における弱測地線に沿った横断的Mabuchiエネルギー汎関数の凸性を確立すること。
• この凸性を応用し、横断的ケーラー設定における変分的および幾何的議論を用いて一意性を導出すること。

提案手法

• サスカリアン計量空間における測地線の弱C²正則性を用いて、弱測地線に沿った横断的Mabuchiエネルギー汎関数の凸性を証明した。
• 横断的ケーラー構造を活用することで、BermanとBerndtsson（2011）の議論をケーラー幾何からサスカリアン幾何へ適応した。
• 横断的ケーラー潜在関数空間における弱測地線フローを用いて、Mabuchiエネルギー汎関数の挙動を分析した。
• 臨界点および測地線に沿った変化を調べるために、摂動汎関数 $\mathcal{M}_s = \mathcal{M} + s\tilde{\mathcal{F}}_\mu$ を導入した。
• 基本関数の空間上の微分積分学を用いて、Mabuchiエネルギーおよびその摂動の微分を計算した。
• 微分平均値定理および測地線の$C^1$および$\Delta$-ノルムの一様有界性を用いて、エネルギー差の漸近的挙動を制御した。

実験結果

リサーチクエスチョン

• RQ1 サスカリアン計量空間における弱測地線に沿って、横断的Mabuchiエネルギーは凸か？
• RQ2 同じ横断的正則構造を保つ自己同型に関して、定スカラー曲率サスカリアン計量の一意性は確立可能か？
• RQ3 Mabuchiエネルギー汎関数の凸性は、ケーラーの場合と同様に、サスカリアン設定における一意性にどのように寄与するか？
• RQ4 測地線の弱$C^2$正則性は、凸性および一意性の証明において果たす役割は何か？
• RQ5 ハミルトニアンな横断的正則ベクトル場は、Mabuchiエネルギーの臨界点および潜在関数にどのように影響を与えるか？

主な発見

• 横断的Mabuchiエネルギーは、サスカリアン計量空間における弱測地線に沿って凸であり、ケーラー幾何における重要な結果をサスカリアン設定へ拡張した。
• 汎関数 $\mathcal{M}_s = \mathcal{M} + s\tilde{\mathcal{F}}_\mu$ は弱測地線に沿って厳密に凸であり、最小化子の一意性を保証する。
• 同じリーブ場および横断的複素構造と整合する2つの定スカラー曲率サスカリアン計量は、$d\eta_1 = d\eta_2$ を満たし、横断的正則自己同型で関連づけられることを示した。
• 横断的ケーラー形式の差 $d\eta_{u_0}$ と $d\eta_{u_1}$ は消える、すなわち $d(d\eta_{u_0}, d\eta_{u_1}) = 0$ であり、これより $d\eta_{u_0} = d\eta_{u_1}$ が成り立つ。
• 証明により、任意の2つのcscS計量は、自己同型群 $G_0$ の恒等的成分に属する要素 $\iota$ によって関連づけられ、$\eta_2 = \eta_1 + d_B^c\varphi_\iota$ および $g_2 = \frac{1}{2}d\eta_2 \circ (\text{Id} \otimes \Phi_2) + \eta_2 \otimes \eta_2$ を満たすことが確認され、対称性を除いて完全な一意性が保証された。
• この結果により、cscS計量が $G_0$ の作用に関して一意的であることが確認され、ケーラー幾何におけるcscK計量の一意性結果がサスカリアン文脈へ一般化された。