[論文レビュー] The parabolic flows for complex quotient equations

Wei Sun|arXiv (Cornell University)|Dec 3, 2017

Geometry and complex manifolds参考文献 26被引用数 3

ひとこと要約

本稿では、閉じたケーラー多様体上の複素商方程式に対して、放物型フローの長時間存在および滑らかな収束を確立する。$χ$-下解条件と右辺 $ψ$ の一様下界を用いた放物型フロー法を適用することで、複素商方程式の解への収束を証明し、フローに基づく手法によりそれを解く。

ABSTRACT

We apply the parabolic flow method to solving complex quotient equations on closed Kähler manifolds. We study the parabolic equation and prove the convergence. As a result, we solve the complex quotient equations.

研究の動機と目的

• 閉じたケーラー多様体上での形 $\chi_u^k \wedge \omega^{n-k} = \psi \chi_u^l \wedge \omega^{n-l}$ の複素商方程式を、放物型フロー法により解くこと。
• 初期条件 $u(x,0) = 0$ を持つ放物型フロー $\partial_t u = \log\left(\frac{\chi_u^k \wedge \omega^{n-k}}{\chi_u^l \wedge \omega^{n-l}}\right) - \log\psi$ の長時間解の存在を確立すること。
• 正規化された解 $\hat{u}$ が、定数 $b$ を持つ修正された方程式を解く極限関数 $\hat{u}_\infty$ に滑らかに収束することを証明すること。
• モンジュ＝アンペールおよびドナルドソンのケースを超えた複素商方程式に対し、放物型手法を拡張し、フロー技術を用いて既存の結果を一般化すること。

提案手法

• 潜在関数 $u$ の時間発展を記述する放物型フロー方程式 $\partial_t u = \log\left(\frac{\chi_u^k \wedge \omega^{n-k}}{\chi_u^l \wedge \omega^{n-l}}\right) - \log\psi$ を用いる。
• 時間局所的なアレクサンドロフ＝バケルマン＝プッチ（ABP）最大原理を適用し、$L^\infty$ 評価を制御し、$t \to \infty$ のときの発散を防ぐ。
• $C^2$ $\mathcal{C}$-下解 $\underline{u}$ を用いて、一様下界を保証し、フローの挙動を制御する。
• ホウ、マ、ウの手法に基づく2次評価を用い、[25]のキーレンマを改善することで、完全非線形構造に対処する。
• ディネフとコロジェフ、ギルにインspiredされた吹き出し法による勾配評価を適用し、$|\nabla u|$ の一様制御を確保する。
• エヴァンズ＝クリロフ定理およびシューディン推移を用いて、$[0,\infty)$ 上で $C^\infty$ 界を導出し、長時間存在および収束を可能にする。

実験結果

リサーチクエスチョン

• RQ1 モンジュ＝アンペールおよびドナルドソンのケースを超えた複素商方程式に対して、放物型フロー法が成功裏に適用可能であるか。
• RQ2 放物型フロー $\partial_t u = \log\left(\frac{\chi_u^k \wedge \omega^{n-k}}{\chi_u^l \wedge \omega^{n-l}}\right) - \log\psi$ が滑らかに解に収束する条件は何か。
• RQ3 時間に依存するABP評価の時間的依存性をどのように克服し、一様 $L^\infty$ 制御と長時間存在を保証できるか。
• RQ4 $\mathcal{C}$-下解は、複素商方程式の放物型フローによる可解性を保証するために果たす役割は何か。
• RQ5 与えられた条件下で、正規化されたフロー $\hat{u}$ が滑らかな極限関数 $\hat{u}_\infty$ に収束することが保証されるか。

主な発見

• $\mathcal{C}$-下解の存在と $\psi \geq c$ の下で、放物型フロー $\partial_t u = \log\left(\frac{\chi_u^k \wedge \omega^{n-k}}{\chi_u^l \wedge \omega^{n-l}}\right) - \log\psi$ は $[0,\infty)$ 上に長時間解を有する。
• 正規化された解 $\hat{u}$ は $t \to \infty$ のとき $C^\infty$ で極限関数 $\hat{u}_\infty$ に滑らかに収束する。
• 極限 $\hat{u}_\infty$ は方程式 $\frac{\chi^{k}_{\hat{u}_\infty} \wedge \omega^{n-k}}{\chi^{l}_{\hat{u}_\infty} \wedge \omega^{n-l}} = e^b \psi$ を、ある一意な実数 $b$ を用いて満たす。
• 時間微分 $\frac{\partial \hat{u}}{\partial t}$ は指数的に衰える：ある $c_0 > 0$ に対して $\left|\frac{\partial \hat{u}}{\partial t}\right| \leq C e^{-c_0 t}$ が成り立ち、収束を保証する。
• $L^\infty$ 評価は、時間局所的なABP原理の適用により保持され、時間に依存する境界による発散問題を回避する。
• 収束結果は、ソウとギルに従う標準的議論により確立され、時間微分の指数的衰えと平均0への正規化に依存する。