[論文レビュー] Deformations from a given Kähler metric to a twisted cscK metric

Yu Zeng|arXiv (Cornell University)|Jul 22, 2015

Geometry and complex manifolds参考文献 18被引用数 15

ひとこと要約

本稿は、与えられたケーラー計量からねじれ定スカラー曲率ケーラー（cscK）計量へつなぐ新しい連続的経路の開性を確立し、$ t > 0 $ が十分に小さい場合に、4階非線形方程式を満たす一意的な滑らかなケーラー計量 $ \omega_{\varphi_t} $ が存在することを証明している。証明は、ホルダー空間におけるべき級数展開と収縮写像を用いた摂動的アプローチであり、$ t = 0 $ における正則性の欠落を、より良い初期近似への基点のシフトによって克服している。

ABSTRACT

In this paper, we proved the openness at t =0 of the new continuity path recently introduced by X. Chen.

研究の動機と目的

• X. Chen が導入した、与えられたケーラー計量をねじれcscK計量へ変形する新しい連続的経路の開性を確立すること。
• 方程式が $ t = 0 $ で2階に退化し、標準的な正則性が失われるため、逆関数定理を $ t = 0 $ に適用する技術的課題を解決すること。
• 十分に小さい $ t > 0 $ に対して、ねじれcscK方程式を満たす一意的な解 $ \omega_{\varphi_t} $ が存在することを示すこと。
• Chen の連続的経路が、一般のケーラー類におけるcscK計量の存在問題に対して有効なアプローチであるというさらなる証拠を提供すること。

提案手法

• パラメータ $ r $ におけるべき級数展開を用いて、4階のねじれcscK方程式を変数変換により2階方程式に還元する。
• 自明な $ \varphi_0 = 0 $ よりも解に近い初期近似である修正された基点 $ \varphi_1 $ を導入し、逆関数定理が適用可能な近傍のサイズを向上させる。
• Schauder推定とホルダーノルムの制御を用いて、線形化作用素 $ \mathcal{D}P|_{\varphi} $ の差をバインドし、摂動に対して一様な制御を確保する。
• $ r $-依存の近傍を巧みに選ぶことで、$ C^{2,\alpha} $ 空間における収縮写像の議論を適用し、収束を保証する。
• 摂動された状況における逆関数定理を適用し、像の近傍の半径がゼロへの距離よりもゆっくり減少するようにすることで、逆像の存在を保証する。
• $ \|F_r(\varphi_1)\|_{C^\alpha} \leq C r^{1/(1-\alpha)} $ であるという事実を活用し、$ r $ が小さい場合に収縮が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 正則性の欠落が生じる $ t = 0 $ においても、ケーラー計量からねじれcscK計量への連続的経路の開性を示すことは可能か？
• RQ2 $ t = 0 $ で標準的な逆関数定理が失敗する状況において、摂動法を用いて $ t > 0 $ で小さい $ t $ に対してねじれcscK方程式の解を構成することは可能か？
• RQ3 線形化作用素の像にゼロが含まれる近傍を保証するために、初期近似 $ \varphi_0 = 0 $ をどのように改善できるか？
• RQ4 収縮写像による収束を保証するための誤差項 $ \|F_r(\varphi_1)\|_{C^\alpha} $ の最適な減衰率は何か？
• RQ5 基点を $ \chi = \omega $ に修正した経路は、$ t = 0 $ の近傍で良好に振る舞う解空間をもたらすか？

主な発見

• 任意の閉じたケーラー多様体 $ (M, \omega) $ に対して、十分に小さいすべての $ t > 0 $ に対して、方程式 $ t(R_{\varphi_t} - \underline{R}) - (1-t)(\mathop{\rm tr}\nolimits_{\varphi_t}\omega - n) = 0 $ を満たす一意的な滑らかなケーラー計量 $ \omega_{\varphi_t} $ が存在する。
• 解 $ \varphi_t $ は、基点を $ \varphi_0 = 0 $ からより良い近似 $ \varphi_1 $ にシフトした $ C^{2,\alpha} $ 空間における収縮写像の議論により示される。
• 誤差 $ \|F_r(\varphi_1)\|_{C^\alpha} $ は $ r^{1/(1-\alpha)} $ の速度で減少し、$ \alpha = \frac{1}{4} $ の場合、これは $ r^{4/3} $ に相当する。この速度は、近傍のスケール $ r $ よりも速いため、収縮が成立する。
• 逆関数定理が適用可能な近傍の半径が $ r^{3+\epsilon} $ よりも大きいことが示され、$ \epsilon > 0 $ に対して成り立つ。これにより、$ \varphi_1 $ における線形化作用素の像にゼロが含まれることが保証される。
• 反復の極限として得られる解 $ \varphi_\infty $ は $ F_r(\varphi_\infty) = 0 $ を満たし、楕円的正則性により滑らかである。
• $ C^{2,\alpha} $ ノルムについて $ \|\varphi_\infty\|_{C^{2,\alpha}} \leq C r \to 0 $ が $ r \to 0 $ のとき成り立つ。これは解が初期計量に近づくことを示している。