[論文レビュー] $G_2$-Manifolds With Parallel Characteristic Torsion

Thomas Friedrich|ArXiv.org|Apr 20, 2006

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

ひとこと要約

この論文は、平行な特徴的ねじれをもつ非アーベルホロノミーをもつ7次元のcocalibrated G₂多様体を分類し、それらが全ねじれが歪対称である計量接続∇ᶜと、型II超弦理論の共通領域における方程式を満たす平行スピン場Ψ₁をもつことを示している。主な結果として、ホロノミー代数𝔰𝔲(2)⊕𝔰𝔲_c(2)または𝔤₂をもつような多様体の存在が示され、これらの空間の幾何構造が、一定の非負の曲率をもつ4次元のエインシュタイン多様体を底空間とするリーマン的準同型写像として特徴づけられる。

ABSTRACT

We classify 7-dimensional cocalibrated $\G_2$-manifolds with parallel characteristic torsion and non-abelian holonomy. All these spaces admit a metric connection $ abla^{\mathrm{c}}$ with totally skew-symmetric torsion and a spinor field $Ψ_1$ solving the equations in the common sector of type II superstring theory. There exist $\G_2$-structures with parallel characteristic torsion that are not naturally reductive.

研究の動機と目的

• 7次元のcocalibrated G₂多様体で、平行な特徴的ねじれと非アーベルホロノミーをもつものについての分類を行う。
• このような多様体の幾何的構造、特に全ねじれが完全に歪対称である特徴的接続∇ᶜの役割を特定する。
• これらの多様体が、型II超弦理論の共通領域における方程式を満たす平行スピン場Ψ₁をもつための条件を同定する。
• ホロノミー代数𝔥 ⊂ 𝔤₂が接束の分解E₁ ⊕ E₂への分割および曲率に与える影響を分析する。
• 分布E₂の葉の空間を、特定のリッチ曲率をもつ4次元のエインシュタイン多様体として特徴づける。

提案手法

• G₂構造φとその外微分dφを用いて定義される、全ねじれが歪対称である特徴的接続∇ᶜの使用。
• Tᶜ = (1/6)(dφ, *φ)·φ − *dφという公式を用いて、G₂構造に基づくねじれ形式を定義する。
• 平行スピン場Ψに対してRic∇ᶜ(X)·Ψ = 1/2(X⌟dᵀ)·Ψという代数的恒等式を用いて、曲率テンソルR∇ᶜとリッチテンソルRic∇ᶜを計算する。
• TM⁷ = E₁ ⊕ E₂の分解の分析、ここでE₁はねじれ形式の核であり、E₂は∇ᶜによって保存される分布である。
• A-tensor A_XY = −1/2 pr_E₂[Tᶜ(X,Y,*)]を用いて底空間Y⁴のリッチ曲率を導出し、それがエインシュタイン空間であることを示す。
• ||T(X,V,*)||²および3次元のリーマン的準同型写像の断面曲率k = 1/4(5a + b)²を含む曲率式の使用。

実験結果

リサーチクエスチョン

• RQ1 平行な特徴的ねじれと非アーベルホロノミーをもつ7次元のcocalibrated G₂多様体は、どのようなものがあるか？
• RQ2 ホロノミー代数𝔥 ⊂ 𝔤₂が多様体の幾何的構造および特徴的接続∇ᶜの振る舞いに与える影響は何か？
• RQ3 分布E₂の葉の空間が4次元のエインシュタイン多様体となる条件は何か？
• RQ4 リーマン的準同型写像π: M⁷ → Y⁴における3次元の繊維の断面曲率は何か？
• RQ5 ホロノミーが𝔰𝔲(2)に減少するのはいつか？その多様体のグローバル幾何に与える影響は何か？

主な発見

• 葉の空間Y⁴は、TY⁴上での恒等写像の3a(5a + b)倍のリッチ曲率をもつエインシュタイン多様体である。
• 分布E₂の各葉は、一定の断面曲率k = 1/4(5a + b)² ≥ 0をもつ3次元のリーマン多様体である。
• a = 0のとき、ホロノミーは𝔰𝔲(2)に減少し、M⁷の万有被覆は等長的にS³ × N⁴に分解され、ここでN⁴は自己双対でないリッチ平坦である。
• b = 0のとき、多様体はほぼ平行G₂であり、既知の例はSO(5)/SO₃(3)およびN(1,1) = (SU(3)×SU(2))/(S¹×SU(2))であり、ホロノミーは𝔰𝔲(2)⊕𝔰𝔲_c(2)または𝔤₂である。
• 特徴的接続∇ᶜは分解TM⁷ = E₁ ⊕ E₂を保存し、E₂は可換かつ完全に測地的である分布である。
• テンソルA: Λ²(E₁) → E₂はΛ²₋(E₁)上で消え、a ≠ 0のときΛ²₊(E₁)上で同型写像である。