[論文レビュー] Properness of log $F$-functionals

Gang Tian, Xiaohua Zhu|arXiv (Cornell University)|Apr 13, 2015

Geometry and complex manifolds参考文献 22被引用数 6

ひとこと要約

この論文は、Tian (1997) と Tian-Zhu (2000) の手法を用いて、対数 $F$-関数の正しさを特異 Kähler-Einstein多様体上で確立し、関数が $I$-関数の定数倍から下で有界であることを証明する。この結果により、近似された滑らかな計量における摂動および陰関数論を用いた連続的方法の開性に関する新しい証明が得られる。

ABSTRACT

In this paper, we apply the method developed in [Ti97] and [TZ00] to proving the properness of log $F$-functional on any conic Kähler-Einstein manifolds. As an application, we give an alternative proof for the openness of the continuity method through conic Kähler-Einstein metrics.

研究の動機と目的

• $F$-関数の正しさに関する Tian の結果を滑らかでない特異 Kähler-Einstein計量へと拡張すること。
• 代替的手法を用いて、特異 Kähler-Einstein計量に対する連続的方法の開性を確立すること。
• Tian よりも特異 Kähler-Einstein計量への摂動および滑らか化技術を適応すること。
• 特定のホロモルフィックベクトル場の条件下で、対数 $F$-関数の正しさが特異 Kähler-Einstein計量の存在と同値であることを証明すること。
• $F$-関数の正しさと近似計量における陰関数論を用いて、Donaldson の連続的方法の開性定理を新たな証明で示すこと。

提案手法

• 歪みた Kähler-Ricci 流を用いて、特異 Kähler-Einstein計量を滑らかな計量で近似すること。
• 近似過程における Kähler 潜在関数の $C^{0}$ および $C^{2}$-推定値の適用。
• 近似された滑らかな計量上で陰関数定理を適用して局所的可解性を確立すること。
• 初期値が特異計量を近似するように設定された、一連の歪みた Kähler-Ricci 流を用いた歪みたリッチポテンシャルの滑らか化。
• $C^{2,\beta;\beta}$ の Schauder 推定値および Jeffres-Mazzeo-Rubinstein からの正則性理論を用いて、弱解を特異 $C^{2,\beta;\beta}$ 解に高める。
• エネルギー推定値と対数 $F$-関数の coercivity の使用により、$I$-関数に対する一様な境界を確立すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな除集合 $D$ 沿いに $2\beta\tau$ の角を持つ特異 Kähler-Einstein多様体上で、対数 $F$-関数が正しくあるか？
• RQ2 $F$-関数の正しさを用いて、特異 Kähler-Einstein計量に対する連続的方法の開性を証明できるか？
• RQ3 特異 Kähler-Einstein計量を滑らかな計量でどのように近似すれば、陰関数定理を適用できるか？
• RQ4 歪みたリッチポテンシャルおよびその滑らか化は、連続経路の収束において果たす役割は何か？
• RQ5 $\mu$ の摂動に対して、$F$-関数の正しさは保存されるか？

主な発見

• すべての $\psi \in \mathcal{H}(M,\omega_0)$ に対して、一様な定数 $\delta > 0$ および $C$ を用いて、対数 $F$-関数 $F_{\omega_0,\mu}(\psi)$ が下界 $F_{\omega_0,\mu}(\psi) \geq \delta I_{\omega_0}(\psi) - C$ を満たす。
• $F_{\omega_0,\mu}(\cdot)$ の正しさは、非自明なホロモルフィックベクトル場の条件の下で、$D$ 沿いに $2\pi\beta$ の角を持つ特異 Kähler-Einstein計量の存在と同値である。
• 近似された滑らかな計量に陰関数定理を適用することで、特異 Kähler-Einstein計量に対する連続的方法が開いていることが示された。
• 潜在関数の $C^0$ および $C^2$ における一様な境界を用いて、歪みた Kähler-Ricci 流が弱い特異 Kähler-Einstein計量に収束することが確立された。
• Jeffres-Mazzeo-Rubinstein の正則性定理を用いて、極限計量が $C^{2,\alpha;\beta}$ 正則性クラスに属することが示された。
• $F$-関数はすべての $\mu$ に対して $[\mu_0, \mu_0 + \epsilon_0)$ の近傍で正しく保たれ、近接する角のための歪みた方程式の可解性が保証された。