[論文レビュー] Nearly integrable SO(3)-structures on 5-dimensional Lie groups

Anna Fino, Simon G. Chiossi|arXiv (Cornell University)|Jul 17, 2006

Geometric Analysis and Curvature Flows参考文献 15被引用数 11

ひとこと要約

この論文は、リー代数の部分空間への分割を保存する特徴的接続を分析することにより、反対称ねじれをもつほぼ統合的 SO(3)-構造をもつ5次元リー群を分類する。その結果、このような構造が生じるのは、レビチビタ接続が特定の代数的条件を満たす場合、または接続が恒等的にゼロである場合に限られ、後者は群 SO(3)×ℝ² に対応する。本研究は先行研究で始まった分類を完了させ、積構成を用いて8次元SU(3)-幾何学と関連づける。

ABSTRACT

Recent work Bobienski-Nurowski on 5-dimensional Riemannian manifolds with an SO(3) structure prompts us to investigate which Lie groups admit such a geometry. The case in which the SO(3) structure admits a compatible connection with torsion is considered. This leads to a classification under special behaviour of the onnection, which enables to recover all known examples, plus others bearing torsion of pure type. Suggestive relations with special structures in other dimensions are highlighted, with attention to eight-dimensional SU(3) geometry.

研究の動機と目的

• 不変計量と反対称ねじれをもつ特徴的接続をもつ5次元実連結リー群の分類を目的とする。
• 特徴的接続がリー代数の部分空間への分割 h と p を保存するリー群を特徴づける。
• 特徴的接続 ∇̃ が恒等的にゼロとなる条件を特定し、同型を除いて一意なケースを同定する。
• 積多様体を用いて5次元のほぼ統合的SO(3)-構造と8次元のほぼ統合的SU(3)-構造との関係を確立する。
• すべての例が d*T = 0 を満たし、かつ特徴的接続のリッチテンソルが対称であることを確認する。

提案手法

• 適応フレームに基づくリー代数 l = h ⊕ p の分解を用い、SO(3)-構造を符号する構造定数を定義する。
• 特徴的接続 ∇̃ に代数的条件を課し、X ∈ h に対して ∇̃_X h ⊆ h および ∇̃_X p ⊆ p を満たし、Y ∈ p に対して ∇̃_Y h ⊆ p および ∇̃_Y p ⊆ h を満たす。
• 分類はねじれテンソル T の分析に依存し、T は歪対称で Λ³M⁵ に属する。また、Λ²M⁵ を不可約SO(3)-加群 Λ²₃ ⊕ Λ²₇ に分解する。
• レビチビタ接続 ∇ がすべての X ∈ l に対して ∇_X X = 0 を満たす条件を用いて、L × K 上にほぼ統合的SU(3)-構造を誘導する。
• 5-多様体上の Λ² と Λ³ 形式のホッジ同型を用い、ねじれの型を表現論と関連づける。
• 既知の ℝ⁸ 上のSU(3)表現を用い、K = ℝ³ または SO(3) である積多様体 L × K を構成する。

実験結果

リサーチクエスチョン

• RQ1 どの5次元リー群が反対称ねじれをもつほぼ統合的SO(3)-構造をもつか？
• RQ2 特徴的接続の代数的条件として、分割 l = h ⊕ p が部分空間 h と p を保存するのはどのような場合か？
• RQ3 特徴的接続 ∇̃ が恒等的にゼロとなるのはいつか？ これは基礎となるリー群にどのような意味を持つのか？
• RQ4 積構成を用いて、5-多様体上のほぼ統合的SO(3)-構造と8-多様体上のほぼ統合的SU(3)-構造との関係は何か？
• RQ5 条件 d*T = 0 は普遍的に成り立つか？ また、これは特徴的接続のリッチテンソルの対称性と同値か？

主な発見

• 特徴的接続が恒等的にゼロとなる唯一のリー群は、同型を除いて SO(3) × ℝ² である。
• すべての例は d*T = 0 を満たし、この条件は特徴的接続のリッチテンソルの対称性と同値である。
• 特徴的接続 ∇̃ が分割を保存する条件を満たすのは、レビチビタ接続 ∇ がすべての X ∈ l に対して ∇_X X = 0 を満たす場合に限る。
• K = ℝ³ または SO(3) である積多様体 L × K がほぼ統合的SU(3)-構造をもつのは、すべての X ∈ l に対して ∇_X X = 0 が成り立つ場合に限る。
• 分類は先行研究で知られていたすべての例を含み、ねじれが純粋型 Λ²₃ または Λ²₇ である新しい例も特定する。
• L × K 上にほぼ統合的SU(3)-構造をもたらす一意の対称ペアは、同型を除いて (l = so(3) ⊕ ℝ², h = so(3)) である。