[論文レビュー] Convexity of the K-energy on the space of K\"ahler metrics

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

Geometry and complex manifolds被引用数 20

ひとこと要約

この論文は、コンパクトなケーラー多様体上のケーラー潜在関数空間における弱測地線に沿った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.

研究の動機と目的

• ケーラー潜在関数空間における弱測地線に沿ったKエネルギー汎関数の凸性に関するChenの予想を確認すること。
• ケーラー幾何学における、自己同型群による同値類を除いた定スカラー曲率ケーラー計量の一意性を確立すること。
• 積領域上でのホロモルフィック・モンジュ・アンプère方程式の弱解に対して、新規な局所的正則性性質を構築すること。
• Bergmanカーネルの擬・シュレーディンガー的変動を用いて、ケーラー計量の幾何を分析すること。
• Kエネルギーの凸性を通じて、極値計量を理解するための関数解析的枠組みを提供すること。

提案手法

• ケーラー潜在関数空間における弱測地線に沿ったKエネルギー汎関数の挙動を分析することで、Kエネルギーの凸性を確立すること。
• 積領域上でのホロモルフィック・モンジュ・アンプère方程式の弱解に対して、新規な局所的正則性性質を導入すること。
• Bergmanカーネルの擬・シュレーディンガー的変動を用いて、必要な正則性推定を導出すること。
• 複素幾何的技法を適用して、測地線経路に沿ったKエネルギーの第二変分を制御すること。
• ケーラー計量空間の構造を活用し、問題を積領域上の局所的解析に還元すること。
• 関数解析的および複素幾何的道具を統合して、Kエネルギーの凸性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 ケーラー潜在関数空間における弱測地線に沿って、Kエネルギー汎関数は凸であるか？
• RQ2 Kエネルギーの凸性を用いて、自己同型群による同値類を除いた定スカラー曲率ケーラー計量の一意性を確立できるか？
• RQ3 積領域上でのホロモルフィック・モンジュ・アンプère方程式の弱解に対して、どのような新規な正則性性質が生じるか？
• RQ4 Bergmanカーネルの擬・シュレーディンガー的変動は、ケーラー計量空間の解析にどのように寄与するか？
• RQ5 Kエネルギーの凸性は、極値計量のモジュライ空間における剛性をどの程度示すか？

主な発見

• コンパクトなケーラー多様体上のケーラー潜在関数空間における弱測地線に沿って、Kエネルギー汎関数は凸である。
• Kエネルギーの凸性は、ケーラー計量空間の構造に関するChenの予想を確認する。
• Kエネルギーの凸性の結果として、自己同型群による同値類を除いた定スカラー曲率ケーラー計量の一意性が確立される。
• 積領域上でのホロモルフィック・モンジュ・アンプère方程式の弱解に対して、新規な局所的正則性性質が証明された。
• 証明は、曲率に類似する項を制御するための、Bergmanカーネルの擬・シュレーディンガー的変動の新規な応用に依拠している。
• 結果は極値計量へと拡張され、同じ枠組みの中で、自己同型群による同値類を除いた極値計量の一意性が確立された。