[論文レビュー] Convexity of the K-energy on the space of Kahler metrics and uniqueness of extremal metrics

Robert J. Berman, Bo Berndtsson|arXiv (Cornell University)|May 2, 2014

Geometry and complex manifolds被引用数 15

ひとこと要約

この論文は、コンパクトなケーラー多様体上のケーラー計量空間における弱測地線に沿ったMabuchi Kエネルギー汎関数の凸性を証明し、Chenの予想を確認する。複素正則関数のBergmanカーネルの擬上への変化を用いて、この凸性を確立し、これは、自己同型群の下での同型を除いて、極値ケーラー計量（定スカラー曲率計量を含む）の一意性を示す。

ABSTRACT

We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.

研究の動機と目的

• ケーラー汎関数の空間における弱測地線に沿ったMabuchiエネルギーの凸性が、Chenの予想であることを確認すること。
• 与えられたコホモロジー類における極値ケーラー計量の一意性を、恒等成分の自己同型群の作用の下で確立すること。
• 同次Monge-Ampère方程式の弱解におけるKエネルギーの凸性を、積領域上に拡張すること。
• 凸性と安定性の議論を通じて、Yau-Tian-Donaldson予想の幾何学的・解析的基盤を提供すること。
• 極値ベクトル場に関連するエネルギー項をMabuchi汎関数に加えることで、一意性結果を極値計量に一般化すること。

提案手法

• D を C における領域とするとき、X × D 上の複素同次Monge-Ampère方程式の解として定義される弱測地線を用いる。ここで π*ω + dd^c U は L^∞ に属する正の-current である。
• Bergmanカーネルの擬上への変化から導かれる、同次Monge-Ampère方程式の弱解に関する新しい局所的正則性性質を適用する。
• エネルギー項とエントロピーを用いて定義されるMabuchi汎関数 $\mathcal{M}$ を用い、これは $\mathcal{H}_{1,1}$ と呼ばれる L^∞-正の-current の空間へ拡張される。
• 極値ベクトル場 V に関連するエネルギー項 $\mathcal{E}_V$ をMabuchi汎関数に加え、$\mathcal{M}_V$ を形成することで、臨界点を安定化する。
• 線形化方程式 $-D_{v_0}d\mathcal{M}_V|_{u_0} = \mu - \omega_0^n$ を解くために、修正された汎関数 $\mathcal{M}_V + s\mathcal{F}_\mu$ における下調和性および凸性の議論を用いる。
• 群作用 $\text{Aut}_0(X,V)$ を用いて、軌道上での $\mathcal{F}_\mu$ を最小化し、解が $\text{Im}\,V$ によって生成されるトーラス $T$ に関して不変であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ケーラー汎関数の空間における弱測地線に沿って、Mabuchiエネルギーが凸であるか？
• RQ2 与えられたコホモロジー類における極値ケーラー計量の一意性は、自己同型群の下で確立できるか？
• RQ3 同次Monge-Ampère方程式の弱解に沿って、Mabuchi汎関数が凸または下調和のままであるか？
• RQ4 ω が極値計量であるとき、T-不変関数に対して線形化方程式 $-D_v d\mathcal{M}_V = \mu - \omega^n$ は解けるか？
• RQ5 弱測地線に沿った $\mathcal{M}$ の凸性は、二つの極値計量が自己同型によって関連づけられることを示唆するか？

主な発見

• 任意の弱測地線 $u_t$ に沿って、$\mathcal{H}(X,\omega)$ 内の二つのケーラー汎関数を結ぶ Mabuchi汎関数 $\mathcal{M}$ は凸である。これは Chen の予想を確認する。
• 解が $L^\infty$ に属する限り、曲線が複素Monge-Ampère方程式 $(\pi^*\omega + dd^c U)^{n+1} = 0$ を満たすとき、汎関数 $\mathcal{M}$ は弱く下調和である。
• 与えられたコホモロジー類における極値ケーラー計量の一意性は、$\text{Aut}_0(X)$ の作用の下で成立する。すなわち、任意の二つの極値計量は自己同型によって関連づけられる。
• 同じ極値ベクトル場 $V$ を持つ極値計量に対して、修正された汎関数 $\mathcal{M}_V = \mathcal{M} + \mathcal{E}_V$ は両方の計量を臨界点として持ち、摂動の線形化方程式は $T$-不変部分空間で解ける。
• $\mathcal{C}^\infty_V$ 上で $\mathcal{E}_V$ の二階微分が消えるため、$\mathcal{M}_V$ のヘッセ行列は $\mathcal{M}$ のそれと一致し、凸性の性質が保たれる。
• 摂動された計量 $\omega_{u_0^s}$ と $\omega_{u_1^s}$ 間の距離は $s$ のオーダーであるため、自己同型を適用すると $\omega_0 = \omega_1$ となり、一意性が証明される。