[論文レビュー] On the space of Kahler potentials

Weiyong He|arXiv (Cornell University)|Aug 5, 2012

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

ひとこと要約

本稿は、一般化されたケーラー潜在的関数の空間における測地線分の存在と一意性を確立し、混合2階微分が一様に有界であることを前提に、Chenの基礎的結果をより広いクラスの$\mathcal{H}_{1,1}$潜在的関数へと拡張する。$n + \Delta\phi$ の下界に依存しない正則化された複素マソン・アーマー方程式に対する事前推定を証明することで、著者は、混合微分が一様に制御された測地線を構成し、ケーラー幾何における主要な正則性問題を解決する。

ABSTRACT

We consider the geodesic equation for the generalized Kahler potential with only mixed second derivatives bounded. We show that given such two generalized Kahler potentials, there is a unique geodesic segment such that for each point on the geodesic, the generalized Kahler potential has uniformly bounded mixed second derivatives (in manifold directions). This generalizes a fundamental theorem of Chen \cite{Chen00} on the space of Kahler potentials.

研究の動機と目的

• 滑らかなケーラー潜在的関数の空間におけるChenの測地線に関する定理を、より大きな空間$\mathcal{H}_{1,1}$（一般化された$C^{1,1}$潜在的関数）へ拡張すること。
• 端点における$n + \Delta\phi$ の下界に依存しない、複素マソン・アーマー方程式に対する一様な事前推定を確立すること。
• すべての$t \in [0,1]$において$n + \Delta\phi(t)$が一様に有界であるような、$\mathcal{H}_{1,1}$における一意な測地線分の存在を証明すること。
• 測地線の正則性に関する基本的問題を解決することで、$\mathcal{H}_{1,1}$（または$\mathcal{H}_{\infty}$）が非正曲率を持つ距離空間かどうかという未解決の問題に寄与すること。

提案手法

• 右辺に$\epsilon e^f$ を導入することで測地線方程式を正則化し、$\epsilon > 0$ に対して滑らかな解が得られるようにする。これにより、標準的な楕円型推定が利用可能になる。
• 正則化された方程式に対して、Yauの$C^2$推定技術の修正版を適用し、$\phi_{tt} + \Delta\phi$ ではなく直接$\Delta\phi$ の制御に焦点を当てる。
• 多様体と時間方向を分離できる積構造$M \times [0,1]$を活用し、混合微分を独立に制御できるようにする。
• 最大原理を、量$\log(n + \Delta\phi) - C\phi + t^2$ に対して適用することで、$\Delta\phi$ に対する主要な$L^\infty$ 界を導出する。
• $\epsilon \to 0$ の極限に移行する際、$n + \Delta\phi_0$ および $n + \Delta\phi_1$ の下界に依存しない一様推定を用い、一般化された解が得られる。
• 端点$\phi_0, \phi_1 \in \mathcal{H}_{1,1}$ を近似する滑らかな解$\phi^k$ の$C^\alpha$極限として測地線を構成する。

実験結果

リサーチクエスチョン

• RQ1 一般化された$C^{1,1}$ケーラー潜在的関数の空間$\mathcal{H}_{1,1}$において、混合2階微分が一様に有界な測地線が一意に存在するか。
• RQ2 端点における$n + \Delta\phi$ の正の下界を要件としないで、測地線方程式における$\Delta\phi$ に対する一様な事前推定を取得できるか。
• RQ3 Mabuchiの距離に関して$\mathcal{H}_{1,1}$は距離空間であり、かつ$\mathcal{H}$ から誘導される非正曲率を持つのか。
• RQ4 $\mathcal{H}_{1,1}$ と滑らかな空間$\mathcal{H}$ の距離的完備化との関係は何か。
• RQ5 測地線の正則性が、$\mathcal{H}_{\infty}$ の構造的性質およびその距離的性質に関するより深い問いにどのように寄与できるか。

主な発見

• 任意の$\phi_0, \phi_1 \in \mathcal{H}_{1,1}$ に対して、方程式(1.1)の唯一の一般化解$\phi(t)$ が存在し、すべての$t \in [0,1]$ において$n + \Delta\phi(t)$ が一様に有界である。
• $n + \Delta\phi(t)$ の一様有界性は、$n$、$\|\phi_i\|_{L^\infty}$、$\sup \Delta\phi_i$、および$(M, \omega)$ の幾何にのみ依存し、$n + \Delta\phi_i$ の下界には依存しない。
• 定理1.3における$\Delta\phi$ の事前推定は、$n + \Delta\phi_0$ および $n + \Delta\phi_1$ の正の下界に依存しない。これは、Chenの元々の証明で欠落していた主要な要素であった。
• 証明は、$\log(n + \Delta\phi)$ と$t$ の2次項を含む修正された量に対する最大原理を用いることで、$\phi_{tt}$ の推定に依存せずに$\Delta\phi$ が測地線に沿って一様に有界であることを示している。
• 測地線は、右辺が$\frac{1}{k}e^f$ である正則化方程式の滑らかな解$\phi^k$ の$C^\alpha$極限として構成され、収束性と一意性が保証される。
• この結果はX.-X. Chenが提起した問題を確認し、$\mathcal{H}_{1,1}$ が非正曲率を持つ距離空間かどうかを理解するための重要な一歩を提供する。