[論文レビュー] The J-flow and stability

Mehdi Lejmi, Gábor Székelyhidi|arXiv (Cornell University)|Sep 11, 2013

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

ひとこと要約

本稿は、ケーラー多様体上のJ-フローに対して安定性条件を確立し、K-安定性に類似した数値的基準を導入する。J汎関数の下界をドナルドソン＝フタキ型不変量を用いて示し、凸解析を用いて複素トーラス上での基準を確認するとともに、ℙ³のブLOWUPにおける等号成立を検証し、解の存在に失敗する原因が最適な不安定化因子と関連していることを示す。

ABSTRACT

We study the J-flow from the point of view of an algebro-geometric stability condition. In terms of this we give a lower bound for the natural associated energy functional, and we show that the blowup behavior found by Fang-Lai is reflected by the optimal destabilizer. Finally we prove a general existence result on complex tori.

研究の動機と目的

• コンパクトなケーラー多様体上でのJ-フロー方程式の解の存在に対する数値的安定性条件を定式化すること。
• J-フローをK-安定性に類似した代数幾何的安定性条件に関連付けること。
• テスト配置に関連するドナルドソン＝フタキ型不変量を用いて、J汎関数の下界を確立すること。
• （S¹)^n-不変データを有する複素トーラスの場合に、安定性予想を検証すること。
• エネルギーの下界における等号が、ℙ³のブLOWUPと同様にJ-フローの収束に失敗するときに正確に成立することを確認すること。

提案手法

• 極小化された多様体 (M,L) のテスト配置に対して、ドナルドソン＝フタキ不変量に類似した安定性不変量 $ F_{\rho}\left(\rho\right) $ を導入する。
• モーメント写像理論を用いて、$ \Lambda_\omega \alpha - c $ の $ L^2 $-ノルムの下界を $ -F_{\alpha}(\chi)/\|\chi\| $ の形で導出する。
• 法の接続への変形を用いて、次元 $ p = 1,\dots,n-1 $ のすべての部分多様体 $ V \subset M $ に対して $ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $ が成り立つ必要条件を導出する。
• 複素トーラス上でのJ-フロー方程式を、$ u $ が周期的で $ \sum a_{ij}(x) f^{ij}(x) = c $ を満たすような $ f(x) = |x|^2 + u(x) $ に対する凸PDEに還元する。
• レジェンドル変換を適用し、コルエヴァール＝レヴィスおよびビアン＝グアンの定理を用いて、滑らかな凸解の存在を証明する。
• 正の条件 (5) が常に満たされることを示し、PDE理論を用いて解の存在に至ることで、複素トーラス上での安定性予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての次元 $ p = 1,\dots,n-1 $ の部分多様体 $ V \subset M $ に対して $ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $ が成り立つという提案された数値的条件は、J-フロー方程式の解の存在を特徴づけるか？
• RQ2 テスト配置から導かれる安定性不変量を用いて、J汎関数が下界で抑えられるか、ドナルドソンのカービー汎関数に対する下界と類似するか？
• RQ3 エネルギーの下界における等号は、ℙ³のブLOWUPと同様に、J-フローが収束に失敗するときに正確に成立するか？
• RQ4 正の条件が常に満たされるため、（S¹)^n-不変データを有する複素トーラス上での安定性予想は正当化されるか？
• RQ5 複素トーラス上でのJ-フロー方程式は、解ける凸PDEに還元可能であり、常に滑らかな解を有するか？

主な発見

• 本稿は、安定性不変量 $ F_{\alpha}(\chi) $ を用いて、$ \Lambda_\omega \alpha - c $ の $ L^2 $-ノルムの鋭い下界を証明し、$ \inf \|\Lambda_\omega \alpha - c\|_{L^2} \geq \sup_{\chi} -F_{\alpha}(\chi)/\|\chi\| $ を示す。
• J-フロー方程式の解が存在するならば、すべての非自明なテスト配置 $ \chi $ に対して $ F_{\alpha}(\chi) > 0 $ が成り立つことが示され、安定性条件が確認される。
• テスト配置への法の接続への変形を用いて、予想された正の条件 $ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $ が必要条件として導出され、2次元の場合に成立することが確認される。
• ℙ³のブLOWUPにおいて、エネルギーの下界における等号が成立し、J-フローは $ \Lambda_\omega \alpha $ の $ L^2 $-ノルムを最小化する。この場合、予想が正当化される。
• （S¹)^n-不変データを有する複素トーラス上では、J-フロー方程式は凸PDE $ \sum a_{ij}(x) f^{ij}(x) = c $ に還元され、常に滑らかで凸な解 $ f(x) = |x|^2 + u(x) $（$ u $ は周期的）を有する。
• 結果はより一般的な逆 $ \sigma_k $-フローへと拡張可能であり、同じ条件下で同じ安定性および存在性の結果が成り立つ。