[論文レビュー] $\cF$-functional and geodesic stability

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

Geometry and complex manifolds参考文献 30被引用数 16

ひとこと要約

本稿は、Fano多様体上の$H$-汎関数を導入し、その臨界点がKähler-Ricciソリトンに一致することを示し、Kähler-Ricci流れがその縮約勾配流れであることを示している。また、Kähler-Ricciソリトンが存在する場合、Perelmanの$\mu$-汎関数を最大化することを証明し、修正された$\mathcal{F}$-汎関数を用いてKähler-Ricciソリトンの測地線安定性予想を提示している。

ABSTRACT

We consider canonical metrics on Fano manifolds. First we introduce a norm-type functional on Fano manifolds, which has Kahler-Einstein or Kahler-Ricci soliton as its critical point and the Kahler-Ricci flow can be viewed as its (reduced) gradient flow. We then obtain a natural lower bound of this functional. As an application, we prove that Kahler-Ricci soliton, if exists, maximizes Perelman's $μ$-functional without extra assumptions. Second we consider a conjecture proposed by S.K. Donaldson in terms of $\cK$-energy. Our simple observation is that $\cF$-functional, as $\cK$-energy, also integrates Futaki invariant. We then restate geodesic stability conjecture on Fano manifolds in terms of $\cF$-functional. Similar pictures can also be extended to Kahler-Ricci soliton and modified $\cF$-functional.

研究の動機と目的

• Fano多様体上でのKähler-Ricciソリトンに対応する臨界点を持つ汎関数（$H$-汎関数）を確立すること。
• Kähler-Ricci流れが$H$-汎関数の縮約勾配流れであることを示すこと。
• Kähler-RicciソリトンがPerelmanの$\mu$-汎関数を最大化することを証明し、変分的特徴づけを与えること。
• 修正された$\mathcal{F}$-汎関数を用いて、Donaldsonの測地線安定性予想をKähler-Ricciソリトンに拡張すること。
• 測地線の放射に沿った修正された$\mathcal{F}$-汎関数の微分に基づいて、Kähler-Ricciソリトンの測地線安定性予想を提示すること。

提案手法

• $H$-汎関数を$H(\omega) = \int_M h e^h \omega^n$として定義する。ここで$h$は$\omega$のリッチポテンシャルである。
• ケーラー潜在的関数のMabuchi空間と測地線セグメント／放射を用い、変動における汎関数の振る舞いを分析する。
• Berndtssonによって確立された測地線放射に沿った$\mathcal{F}$-汎関数の凸性を、測地線の弱い正則性を扱うために活用する。
• $X$を極値ホロモルフィックベクトル場とするとき、$\operatorname{Im}(X)$-不変計量に対して修正された$\mathcal{F}_X$-汎関数を導入する。
• Csiszár-Kullback-Pinskerの不等式を適用し、$H$-汎関数を$H$-不変量に関して下界で評価する。
• Hamilton-Jacobi方程式の解の一意性を用いて、$\omega_0$がKähler-Ricciソリトンであるとき、$f = -h_0$が最小化子であることを特定する。

実験結果

リサーチクエスチョン

• RQ1 Fano多様体上での新しい汎関数を用いて、Kähler-Ricciソリトンの変分的特徴づけを与えることは可能か？
• RQ2 Kähler-Ricci流れは、この汎関数の勾配流れに対応するか？ もしそうであれば、どのような意味でか？
• RQ3 $H$-汎関数はホロモルフィックベクトル場に関連する不変量によって下から抑えられるか？ これはどのような意味を持つのか？
• RQ4 Kähler-RicciソリトンがPerelmanの$\mu$-汎関数を最大化するか？ また、対称性の仮定なしに成り立つか？
• RQ5 修正された$\mathcal{F}$-汎関数を用いて、Donaldsonの測地線安定性予想をKähler-Ricciソリトンに拡張することは可能か？

主な発見

• $H$-汎関数の臨界点は、Kähler-Ricciソリトンにちょうど一致し、その勾配流れは微分同相変換を除いてKähler-Ricci流れそのものである。
• $H$-汎関数は、$H$-不変量$N_X$に関して下界を持つ。$N_X$は修正されたFutaki不変量に関連している。
• Kähler-Ricciソリトンが存在する場合、Perelmanの$\mu$-汎関数を最大化する。$\mu(\omega_0) = nV - N_X$が成り立つ。
• $\operatorname{Im}(X)$-不変計量に対して、$\mu$-汎関数は$nV - N_X$で上界を持ち、ソリトンで等号が成立する。
• 測地線安定性予想はKähler-Ricciソリトンに拡張された：ソリトンが存在しないことと、修正された$\mathcal{F}_X$-汎関数の微分が厳密に減少する測地線放射が存在することは同値である。
• 弱い正則性を持つ測地線放射に沿って、修正された$\mathcal{F}_X$-汎関数は凸である。これにより、Berndtssonの凸性結果を解析に適用できる。