[論文レビュー] Spaces admitting homogeneous G2-structures

Frank Reidegeld|arXiv (Cornell University)|Jan 6, 2009

Advanced Algebra and Geometry参考文献 23被引用数 7

ひとこと要約

本稿は、特定の位相的および群論的条件下の下で、7次元、コンパクト、連結、$G$-同次空間 $G/H$ が $G$-不変なコサイミプレクティック $G_2$-構造をもつものについて分類する。主なクラスは、$SU(3)$-構造をもつ空間と円周の積であるものと、アロフ＝ウォラッチ空間、スタイーフェル多様体、ベルジャー多様体などの非可約空間である。主な貢献は、被覆を除いて完全な分類を提示し、$SU(2)^2/U(1) \times T^2$ という以前報告のなかった空間に対しても、$G$-不変なコサイミプレクティック $G_2$-構造を明示的に構成することにある。これらの結果は、余次元1の平行 $ {Spin}(7)$-多様体を構成する上で基盤的である。

ABSTRACT

We classify all seven-dimensional spaces which admit a homogeneous cosymplectic G2-structure. The motivation for this classification is that each of these spaces is a possible principal orbit of a parallel Spin(7)-manifold of cohomogeneity one.

研究の動機と目的

• 指定された位相的および群論的制約の下で、7次元、コンパクト、連結、$G$-同次空間 $G/H$ が $G$-不変なコサイミプレクティック $G_2$-構造をもつものについて、すべてを分類すること。
• そのような空間に作用するトランスティヴな群作用 $G$ で、少なくとも1つのコサイミプレクティック $G_2$-構造を保存するものについて、その分類を求める。
• すべてのこのような空間が $G$-不変なコサイミプレクティック $G_2$-構造をもつことを確立し、既知のほぼ平行 $G_2$-構造および $SU(3)$-構造をもつ空間の結果を拡張すること。
• $SU(2)^2 \times U(1)^2 / U(1) \times T^2$ のような、以前報告のなかった同次空間に対して、左不変1形式とLie代数の交換関係を用いたLie代数的および微分幾何的技法により、コサイミプレクティック $G_2$-構造の明示的構成を提供すること。

提案手法

• 同次空間 $G/H$ の可能性のある固定小群 $H$ を理解するために、$G_2$ のすべての連結なLie部分群を分類する。
• 表現論およびLie代数の分解を用いて接空間 $\mathfrak{m} = \mathfrak{g}/\mathfrak{h}$ を分析し、群作用に適合した基底を構成する。
• $G$ 上の左不変1形式 $e^i$ を定義し、Lie代数 $\mathfrak{g}$ の交換関係を用いてその外微分 $de^i$ を計算する。
• 新しい基底 $(f_1, \dots, f_7)$ を構成して、空間を $\r{Im}(\mathbb{O})$ と同一視し、標準的3形式 $\omega$ を用いた $G_2$-構造の定義を可能にする。
• Hodgeスター $\ast\omega$ を明示的に計算し、$d\ast\omega = 0$ を確認することでコサイミプレクティック条件を検証する。
• 候補となる空間のリストに対して、個別ケースの分析を実施し、$G$-不変なコサイミプレクティック $G_2$-構造の存在を確認する。特に非積の場合に注意を払う。

実験結果

リサーチクエスチョン

• RQ1 与えられた $G$, $H$ および $G/H$ の位相的制約の下で、7次元、コンパクト、連結、$G$-同次空間 $G/H$ が $G$-不変なコサイミプレクティック $G_2$-構造をもつのはどのようなものか？
• RQ2 そのような空間に作用するトランスティヴな群作用 $G$ で、少なくとも1つのコサイミプレクティック $G_2$-構造を保存するものはどれか？ そして、それらの作用はどのように分類されるか？
• RQ3 すべての $G$-不変な $G_2$-構造をもつ空間が、$G$-不変なコサイミプレクティック $G_2$-構造をもつのか？ もしそうならば、その構成はどのように明示的に行えるか？
• RQ4 分類に挙げられた同次空間を実現する正確なLie群埋め込み $H \subset G$ は何か、特に非積の場合に注目する。
• RQ5 アロフ＝ウォラッチ空間やベルジャー空間のような非可約同次空間に対して、個別ケースの検証を超えて、コサイミプレクティック $G_2$-構造を体系的に構成する方法はあるか？

主な発見

• 本稿は、提示された条件下で、7次元、コンパクト、連結、$G$-同次空間 $G/H$ が $G$-不変なコサイミプレクティック $G_2$-構造をもつものについて、有限被覆を除いて完全な分類を提供する。
• 分類は2つのケースに分けられる：円周と $SU(3)$-構造をもつ空間の積であるもの、およびアロフ＝ウォラッチ空間 $N^{k,l}$、スタイーフェル多様体 $V^{5,2}$、ベルジャー空間 $B^7$、$S^7$ などの非可約空間である。
• $SU(2)^2 \times U(1)^2 / U(1) \times T^2$ は、文献に以前報告のなかった、$G$-不変なコサイミプレクティック $G_2$-構造をもつ同次空間の新しい例として特定された。
• 分類に含まれる各空間に対して、左不変1形式の基底を用い、Lie代数の交換関係を用いて $d\ast\omega = 0$ を確認することで、明示的な $G$-不変なコサイミプレクティック $G_2$-構造が構成された。
• 構成により、リストに挙げられたすべての空間が、$G$-不変な $G_2$-構造に加え、$G$-不変なコサイミプレクティック $G_2$-構造をもつことが確認された。後者は、余次元1の平行 $ {Spin}(7)$-多様体への拡張に不可欠である。
• 非可約の場合には、$G$-不変なほぼ平行 $G_2$-構造の存在が示唆され、それらの空間の背後にはより深い幾何的構造が存在する可能性がある。