[論文レビュー] The Anomaly flow on unimodular Lie groups

D. H. Phong, Sébastien Picard+1 more|arXiv (Cornell University)|May 27, 2017

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

ひとこと要約

本稿は、一般のユニタリ・ヘルミート接続を用いたユニモジュラー・リー群上の異常流の長時間挙動を調査し、群の種別および初期データに応じて多様なダイナミクスを明らかにする。流はアーベル群 $\mathbb{C}^3$ では発散し、べき零群では収束しないが、可解群および半単純群では固有値の単調な変化を示し、初期計量の対称性とパラメータ $\alpha'\tau$ に依存して収束または吹き飛びが決まる。左不変幾何学を用いることで流は常微分方程式系に還元され、計量成分の明示的発展方程式が得られる。

ABSTRACT

The Hull-Strominger system for supersymmetric vacua of the heterotic string allows general unitary Hermitian connections with torsion and not just the Chern unitary connection. Solutions on unimodular Lie groups exploiting this flexibility were found by T. Fei and S.T. Yau. The Anomaly flow is a flow whose stationary points are precisely the solutions of the Hull-Strominger system. Here we examine its long-time behavior on unimodular Lie groups with general unitary Hermitian connections. We find a diverse and intricate behavior, which depends very much on the Lie group and the initial data.

研究の動機と目的

• 非ケーラー幾何学および超弦理論の重要な例たるユニモジュラー・リー群における異常流の長期間挙動を理解すること。
• ヤーノ＝ゴーシュロン線に沿う一般ユニタリ・ヘルミート接続へ、異常流フレームワークをチェーン接続にとどまらず拡張すること。
• 3次元ユニモジュラー・リー群（$\mathbb{C}^3$、ヘイゼンベルク群、可解剛体運動群、$SL(2,\mathbb{C})$）における流の収束、発散、安定性を分析すること。
• 左不変仮定の下で計量発展の明示的常微分方程式系を導出することにより、詳細なダイナミクス解析を可能にする。

提案手法

• 異常流は$(2,2)$形式の流れとして定式化され、ユニモジュラー・リー群上の左不変ヘルミート計量に対して発展方程式が導出される。
• 構造定数のユニモジュラー条件と左不変性を活用することで、流が常微分方程式系（ODE）に還元される。
• 曲率の縮約とパラメータ $\alpha'\tau$ を含む、計量成分 $g_{\bar{a}b}(t)$ の明示的発展方程式が導出される。
• 全空間形式 $\Omega$ のノルムとヤーノ＝ゴーシュロン線の接続を用い、チェーン接続を超える一般化を実現する。
• 計量の固有値解析を通じてダイナミクスを研究し、カウチ＝コワレフスカヤの定理とエネルギー型推定を用いて単調性および吹き飛び行動を分析する。
• 群の種別に応じて流の挙動を分類する：$\mathbb{C}^3$ では定常的、べき零群では非収束的、可解群および半単純群では固有値の単調性を示す。

実験結果

リサーチクエスチョン

• RQ1 ヤーノ＝ゴーシュロン線に沿う任意のユニタリ・ヘルミート接続へ一般化された異常流は、ユニモジュラー・リー群上でどのように振る舞うか？
• RQ2 ユニモジュラー・リー群上での異常流は定常解に収束するか。そうでない場合、発散の原因は何か？
• RQ3 初期計量の対称性および固有値構造が、流の長期間ダイナミクスに果たす役割は何か？
• RQ4 パラメータ $\alpha'\tau$ は、異常流下での計量の安定性および発展にどのように影響するか？
• RQ5 ユニモジュラー・リー群上では流が取り扱いやすい常微分方程式系に還元可能か。この還元からどのようなダイナミクス的特徴が生じるか？

主な発見

• $\mathbb{C}^3$ では、任意の初期計量に対して異常流は定常的であり、すべての計量がバランス型であり、ハル・ストロマージャー系が自明に満たされるため。
• べき零のヘイゼンベルク群では、定常点は存在せず、任意の初期計量に対して流は発散する。固有値は、最小固有値が一定のまま変化する。
• 剛体運動の可解群では、対角計量が保存され、固有値は単調に変化する：$\lambda_1(0) < 2\beta$ ならば $\lambda_1(t)$ は減少し、$\lambda_3(0) > 2\beta$ ならば $\lambda_3(t)$ は増加する。
• $SL(2,\mathbb{C})$ では、すべての固有値が等しいとき、流は無限大へ発散する。解の解析性により、固有値が等しい集合は開かつ閉集合である。
• 固有値の順序 $\lambda_1 \geq \lambda_2 \geq \lambda_3$ は流れに沿って保存され、ある時点で固有値が等しければ、すべての時間で等しくなる（解析接続による）。
• 固有値 $\partial_t \lambda_1$ の発展方程式が明示的に導出され、$\beta$ と固有値比を含む比較推定を用いて単調性が証明される。