[論文レビュー] Geodesic Rays and Kähler-Ricci Trajectories on Fano Manifolds

Tamás Darvas, Weiyong He|arXiv (Cornell University)|Nov 4, 2014

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

ひとこと要約

本稿では、ファノ多様体上の発散するケーラー・リッチ軌道に弱漸近的である有界測地線を構成し、それらに沿って$χ$-汎関数が減少することを示している。非自明な正則ベクトル場が存在しない場合、$χ$-汎関数の測地安定性がケーラー・アインシュタイン計量の存在と同値であることを証明しており、ケーラー幾何学における重要な予想を確認した。

ABSTRACT

Suppose $(X,J,ω)$ is a Fano manifold and $t o r_t$ is a diverging Kähler-Ricci trajectory. We construct a bounded geodesic ray $t o u_t$ weakly asymptotic to $t o r_t$, along which Ding's $\mathcal F$-functional decreases, partially confirming a folklore conjecture. In absence of non-trivial holomorphic vector fields this proves the equivalence between geodesic stability of the $\mathcal F$-functional and existence of Kähler-Einstein metrics. We also explore applications of our construction to Tian's $α$-invariant.

研究の動機と目的

• ファノ多様体上での発散するケーラー・リッチ軌道に弱漸近的である有界測地線を構成すること。
• $χ$-汎関数がそれらの測地線に沿って減少することを示し、ケーラー幾何学における広く知られた予想を裏付けること。
• 非自明な正則ベクトル場が存在しない場合に、$χ$-汎関数の測地安定性とケーラー・アインシュタイン計量の存在との同値性を確立すること。
• この構成がティアンの$α$-不変量および関連する不変量に与える応用を検討すること。

提案手法

• ケーラー汎関数空間$\mathcal{H}$上の$L^p$-フィンスラー計量構造を用いて、距離$d_p$を定義する。
• 近似および極限操作を用いて、$(\mathcal{H}, d_p)$の距離的完備化$\overline{(\mathcal{H}, d_p)} = (\mathcal{E}^p(X,\omega), d_p)$内に弱測地線を構成する。
• 複素モナフレ方程式の複素化されたディリクレ問題を用いて、弱い意味での測地線を定義し、$d_p$-計量と整合性を持つようにする。
• $\mathcal{E}^2(X,\omega)$の$d_2$-CAT(0)性質を用いて、$d_2$-測地線が同時に$d_1$-測地線であることを示す。
• $d_p$-測地線に沿った$\mathcal{F}$-汎関数の凸性と、Futaki不変量および$\epsilon(\omega)$に関する推定を用いて、厳密な減少性を証明する。
• $\partial\bar{\partial}$-補題を用いて、固定されたコhomology類内でのケーラー計量を滑らかなポテンシャルでパラメトライズする。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体上に、発散するケーラー・リッチ軌道に弱漸近的である有界測地線を構成することは可能か？
• RQ2 $\mathcal{F}$-汎関数は、正則ベクトル場が存在する場合でも、そのような測地線に沿って厳密に減少するか？
• RQ3 非自明な正則ベクトル場が存在しない場合、$\mathcal{F}$-汎関数の測地安定性とケーラー・アインシュタイン計量の存在は同値か？
• RQ4 $\epsilon(\omega)$（Futaki不変量に関連）は、測地線に沿った$\mathcal{F}$-汎関数の減少率をどのように制御するか？
• RQ5 ティアンの$\alpha$-不変量は、測地安定性およびケーラー・リッチ軌道の文脈で果たす役割は何か？

主な発見

• 発散するケーラー・リッチ軌道$t \mapsto r_t$に弱漸近的である有界測地線$t \mapsto u_t$が構成された。
• $\mathcal{F}$-汎関数は、正則ベクトル場が存在する場合でも、$\epsilon(\omega) > 0$の下では、構成された測地線に沿って厳密に減少する。
• $\epsilon(\omega) > 0$のとき、$\mathcal{F}$-汎関数は線形に減少する：ある$C > 0$に対して$\mathcal{F}(u_t) \leq \mathcal{F}(u_0) - C t$が成り立つ。
• 非自明な正則ベクトル場が存在しない場合、ケーラー・アインシュタイン計量の存在は、$\mathcal{F}(u_t)$が厳密に減少するような任意の$d_p$-測地線（$p=1,2$）の非存在と同値である。
• $\mathcal{E}^2(X,\omega)$の$CAT(0)$性質により、$d_2$-測地線は同時に$d_1$-測地線であるため、$d_1$-固有性に関する結果を適用可能となる。
• $\mathcal{F}$-汎関数がすべての$d_2$-測地線に沿って最終的に厳密に増加するための必要十分条件は、ケーラー・アインシュタイン計量の存在である。