[論文レビュー] Stability of the Spinor Flow

Lothar Schiemanowski|arXiv (Cornell University)|Jun 28, 2017

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

ひとこと要約

この論文は、スピン接続を伴うリッチ平坦計量と平行スピン接続の下でスピン接続フローの安定性を確立し、初期条件がそのような臨界点の近傍にある場合、指数関数的に速い速度で臨界点に収束することを証明している。さらに、同様の条件下で体積制約付き最小化子に対しても指数関数的収束を示しており、Łojasiewicz-Simon 不等式とゲージ化スピン接続フローにおける放物型正則性推定を用いている。

ABSTRACT

We show stability of pairs of Ricci flat metrics and parallel spinor fields with respect to the spinor flow, i.e. we show that the spinor flow with initial conditions near such pairs converges to a critical point with exponential speed. Moreover, we show stability of certain volume constrained critical points of the spinorial energy.

研究の動機と目的

• 閉じたスピン多様体上のスピン接続エネルギー関数の臨界点がスピン接続フローの下で安定することを確立すること。
• キリング場が存在しない条件下で、リッチ平坦計量と平行スピン接続を伴う臨界点の近傍におけるスピン接続フローの収束挙動を分析すること。
• 特に体積制約付き最小化子を含む、スピン接続エネルギーの体積制約付き臨界点への安定性結果を拡張すること。
• 標準的および体積正規化スピン接続フローの両方において、すべての $C^k$ ノルムで指数関数的収束を証明すること。
• Łojasiewicz-Simon 技法を用いて、$G_2$ 構造からの安定性結果を一般スピン接続フローへ一般化すること。

提案手法

• 先行研究で確立された臨界集合の滑らかさを活用し、スピン接続エネルギー関数の Łojasiewicz-Simon 不等式を導出すること。
• スピン接続フローのゲージ化された形である、スピン接続場と計量の空間上の強放物型系に、放物型推定および正則性理論を適用すること。
• フロー速度の $H^k$ ノルムを制御するため、負の勾配 $Q(\tilde{\rho}_t)$ に対する勾配推定および崩壊評価を用いること。
• ゲージ固定による修正フローを用いて、Sobolev ノルムでの収束を保証し、標準的な放物型理論を適用すること。
• 速度場を統合することでフローの長期的挙動を分析し、$H^k$ で臨界点に収束することを示すこと。
• スピン接続フローが $G_2$ 構造の熱方程式の一般化であることに着目し、リッチフロー安定性の技法を適応すること。

実験結果

リサーチクエスチョン

• RQ1 リッチ平坦計量と平行スピン接続を伴う臨界点の近傍に初期値をとるスピン接続フローは、臨界点に収束するか？
• RQ2 どの条件下でスピン接続フローが $C^k$ ノルムで指数関数的に臨界点に収束するか？
• RQ3 体積制約付き臨界点の安定性は、標準的臨界点とどのように異なるか？
• RQ4 スピン接続エネルギー関数に Łojasiewicz-Simon 不等式を適用することで収束を保証できるか？
• RQ5 キリング場は臨界点の安定性にどのような役割を果たし、なぜその存在が不可欠なのか？

主な発見

• 臨界点 $(\bar{g}, \bar{\varphi})$ の $C^\infty$ 近傍にある初期データをもつスピン接続フローは、すべての $C^k$ ノルムで滑らかに収束し、指数関数的速さで臨界点に到達する。
• ゲージ化スピン接続フローにおける Łojasiewicz-Simon 不等式と放物型正則性推定を用いて、指数関数的収束が確立されている。
• 体積制約付き最小化子の近傍における臨界集合は多様体でなければならない。この条件下で、体積正規化スピン接続フローは指数関数的に最小化子に収束する。
• 標準的状況では収束速度は $O(e^{-\alpha t})$（$ \alpha > 0$）であり、弱い推定が適用される場合には $O(t^{-(\gamma-1)})$（$ \gamma > 1$）となる。
• キリング場（つまり、トーラス因子）の不在は、臨界集合が孤立しており、フローが非自明なモジュライに閉じ込められないように保証するため、安定性にとって不可欠である。
• リッチフローと微分幾何学的解析の技法を用いて、$G_2$ 構造からの安定性結果を一般スピン接続フローへ一般化している。