[論文レビュー] Ricci Yang-Mills solitons on nilpotent Lie groups

Michael Jablonski, Andrea Young|arXiv (Cornell University)|Jul 7, 2009

Geometric Analysis and Curvature Flows参考文献 13被引用数 3

ひとこと要約

本稿では、2段階可解なリー群上におけるリッチヤン＝ミルズソリトンを導入し、それがリッチソリトンよりも厳密に弱いことを示している。幾何的不変量理論とモーメント写像の技術を用いて、リッチソリトンを許さないがリッチヤン＝ミルズソリトンを許すリー群の明示的例を構成し、従来除外されていた場合においても非自明なソリトン構造の存在を示している。

ABSTRACT

The purpose of this paper is to introduce the Ricci Yang-Mills soliton equations on nilpotent Lie groups. In the 2-step nilpotent setting, we show that these equations are strictly weaker than the Ricci soliton equations. Using techniques from Geometric Invariant Theory, we develop a procedure to build many different kinds of Ricci Yang-Mills solitons. We finish this note by producing examples of Lie groups that do not admit Ricci soliton metrics but that do admit Ricci Yang-Mills soliton metrics.

研究の動機と目的

• 2段階可解な設定における可解リー群上でのリッチヤン＝ミルズソリトンの定義と研究を行うこと。
• この文脈において、リッチヤン＝ミルズソリトンがリッチソリトンよりも厳密に弱いかどうかを示すこと。
• 幾何的不変量理論とモーメント写像を用いた、このようなソリトンの明示的構成法を開発すること。
• リッチソリトン計量を許さないがリッチヤン＝ミルズソリトン計量を許すリー群を特定すること。
• エーベルラインが提起した、2段階可解な設定におけるモーメント写像に関する技術的問題を解決すること。

提案手法

• 著者らは、$GL_n\mathbb{R}$ の表現の文脈においてモーメント写像を用いて、リッチヤン＝ミルズソリトン方程式を再定式化し、幾何的不変量理論の道具を活用している。
• 2段階可解なリー群上の左不変計量に対して、モーメント写像 $m_1$ を分析し、その値を用いてソリトン条件を特定している。
• 構成は、リー代数構造を表す特定の行列ブロックを、実係数 $a_1, b_i, c_i, d_i$ でパラメータ化して連結することに依存している。
• リッチヤン＝ミルズソリトンが存在するための条件は、モーメント写像の値が特定の代数的条件を満たすことである：$a_1^2 = b_1^2 + c_1^2 = \cdots = d_1^2 + \cdots + d_j^2$。
• 非自明なソリトンの場合、モーメント写像は恒等写像の倍数ではなく、安定化部分群条件 $B \in \text{Stab}(C)$ を用いてソリトンの存在を検証している。
• 自己同型による左不変テンソルのリーダイバーレーションは、関連する導分 $D \in \text{Der}(\mathfrak{g})$ を通じて計算され、幾何的フローと代数的構造を結びつけている。

実験結果

リサーチクエスチョン

• RQ1 リッチソリトンが存在しない2段階可解なリー群上でも、リッチヤン＝ミルズソリトンを定義し構成することは可能か？
• RQ2 2段階可解な設定において、リッチヤン＝ミルズソリトンとリッチソリトンの関係は何か――具体的には、前者が後者よりも厳密に弱いかどうか？
• RQ3 幾何的不変量理論を用いて、可解リー群上でのリッチヤン＝ミルズソリトンを体系的に構成できるか？
• RQ4 リー代数構造にどのような代数的条件が、リッチヤン＝ミルズソリトンの存在を保証するか？
• RQ5 リッチソリトンを許さないがリッチヤン＝ミルズソリトンを許すリー群の明示的例は存在するか？

主な発見

• 本稿では、同型でない $n-1$ 定数族の2段階可解なリー代数を構成し、それらはリッチヤン＝ミルズソリトンを許すがリッチソリトン計量を許さない。
• モーメント写像 $m_1(C)$ が恒等写像の倍数である場合、リッチヤン＝ミルズソリトンが存在するのは $a_1^2 = b_1^2 + c_1^2 = \cdots = d_1^2 + \cdots + d_j^2$ であるときのみである。
• 非自明な場合、$m_1(C) \neq r\text{Id}$ のとき、$j-1$ 定数族の非等長なリッチヤン＝ミルズソリトンが存在し、$4a_1^2 = 6\lambda^2 = 4(b_1^2 + \cdots + b_j^2)$ を満たす。
• 行列 $B$ が代数的データ $C$ の安定化部分群に属することを検証することで、このようなソリトンの存在が確認された。これは定理3.21の条件を満たしている。
• 著者らは、エーベルラインが提起した2段階可解な設定におけるモーメント写像に関する問いに、構成的枠組みを提供することで解決した。
• 結果として、リッチヤン＝ミルズソリトンはリッチソリトンよりも厳密に弱い「最良」計量の概念を提供し、特別な幾何的構造を持つ可解リー群の族を拡張していることが示された。