[論文レビュー] Space of Kähler metrics (IV)--On the lower bound of the K-energy

Xiuxiong Chen|ArXiv.org|Sep 24, 2008

Geometry and complex manifolds参考文献 25被引用数 34

ひとこと要約

この論文は、ケーラー幾何学における重要な結果を確立し、ケーラー汎関数空間における発散する測地線の存在（ケーラーエネルギーが非増加）が、その類に定数スカラー曲率ケーラー（cscK）計量が存在しないか、あるいはその測地線に平行なcscK計量の正則ラインが存在することを示している。本研究は、ドナルドソンの測地線安定性とcscK計量の関係に関する予想を部分的に確認したものであり、無限次元ケーラー幾何におけるケーラーエネルギー汎関数と測地線の高度な解析を用いている。

ABSTRACT

We partially confirm an old conjecture of Donaldson that if there exists a cscK metrics in a given Kähler class, then there is no degenerated geodesic ray which is tamed by a bounded ambient geometry unless it parallels to a holomorphic line consists of cscK metrics only. We also prove that for simple test configuration where the central fibre has a cscK metric, the K energy functionals in the nearby fibre must also have a uniform lower bound in its underlying Kähler class.

研究の動機と目的

• ケーラー汎関数空間内の測地線と定数スカラー曲率ケーラー（cscK）計量の存在との関係を調査すること。
• 測地線安定性に関連するケーラーエネルギー汎関数の下界に関して長年の予想であるドナルドソンの予想に取り組むこと。
• 発散する測地線に沿ってカルラビエネルギーの下限がゼロである場合、ケーラーエネルギー汎関数の有界性が導かれるかを特定すること。
• ケーラーエネルギーの適切性と測地線安定性がcscK計量の存在に与える影響を調査すること。

提案手法

• マブッチのウェイル＝ペテルソン型計量を用いて、ケーラー汎関数空間内での発散する測地線に沿ったケーラーエネルギー汎関数の振る舞いを分析する。
• WZW解上でのケーラーエネルギーの下調和性の性質を応用し、曲率とエネルギーの推定を導出する。
• リッチポテンシャル差の指数の境界制御を活用して相対的 $C^{1,1}$ 評価を実行し、$ ho - \bar{\rho}$ の一様有界性を利用する。
• コンパクトネスの議論と滑らかなテスト関数 $\phi^{(l,m,\epsilon)}$ を用いた近似により、ポテンシャル差の $C^{1,1}$ 一様有界性を確立する。
• 最大原理の技法を適用してポテンシャル差のラプラシアンを制御し、曲率項 $(n+1) + \triangle_h(\phi^{(l,m,\epsilon)} - \bar{\rho})$ の一様上界を得る。
• 特にティアン、ドナルドソン、マブッチの研究に依拠し、カルラビエネルギー、ケーラーエネルギー、ケーラー幾何における安定性に関する先行研究の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 ケーラー汎関数空間内に発散する測地線が存在する場合、そのケーラー類内にcscK計量が存在するか、あるいはその測地線に平行なcscK計量の正則ラインが存在するか？
• RQ2 発散する測地線に沿ってカルラビエネルギーの下限がゼロである場合、それがケーラーエネルギー汎関数の一様下界を示唆するか？
• RQ3 カルラビエネルギーの下限がゼロであり、かつ測地線がcscK計量の正則ラインに平行でない場合、ケーラーエネルギー汎関数がその測地線に沿って有界であるか？
• RQ4 半測地線安定性または半K安定性は、ケーラー類内でケーラーエネルギー汎関数の一様下界を示唆するか？
• RQ5 ケーラー・リッチフローまたはカルラビフローが幾何的にcscK計量に収束する条件は何か？そして、これはケーラーエネルギーの下界を示唆するか？

主な発見

• 定理1.1は、ケーラー類内に発散する測地線が存在する場合、その類内にcscK計量が存在しないか、あるいはその測地線に平行なcscK計量の正則ラインが存在することを確立している。
• 本論文は、カルラビエネルギーの下限がゼロである発散する測地線に沿って、cscK計量の正則ラインに平行でない測地線ではケーラーエネルギー汎関数が下から有界であることを証明している。
• ポテンシャル差 $\phi^{(l,m,\epsilon)} - \bar{\rho}$ に対する一様 $C^{1,1}$ 評価が確立され、これは曲率とエネルギーの成長を制御するために不可欠である。
• 任意の測地線の $\yen$ 不変量は、その測地線がcscK計量の正則ラインに平行でない限り、正の値をとることを示しており、重要な安定性条件が確認された。
• 系6.2は、cscK計量を通るすべての正則ラインから正の測地線距離にあるケーラー計量について、そのケーラーエネルギーが距離と楕円性にのみ依存する定数から下に有界であることを示している。
• 本論文は、半測地線安定性と半K安定性が一様下界をもたらす可能性がある強力な証拠を提供しており、幾何的安定性とエネルギーの有界性の間のより深い関係を示唆している。