[論文レビュー] On types of non-integrable geometries

Thomas Friedrich|ArXiv.org|May 14, 2002

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

ひとこと要約

本稿では、リーマン多様体上の非可積分な G 構造を、レヴィチビタ接続と標準的 G 接続の差を用いて統一的に分類する。この差は、リー代数の直交補空間に値をとる 1-形式として表現される。主な結果は、すべての G 構造の中で、弱い群論的条件下で、完全に歪対称な torsion を持つ一意な接続を備えるのは、次元 8 の Spin(7)-構造に限られることである。これにより、このクラスにおいて、Spin(7)-構造が一意に特徴づけられる。

ABSTRACT

We study the types of non-integrable $\mathrm{G}$-structures on Riemannian manifolds. In particular, geometric types admitting a connection with totally skew-symmetric torsion are characterized. 8-dimensional manifolds equipped with a $\Spin(7)$-structure play a special role. Any geometry of that type admits a unique connection with totally skew-symmetric torsion. Under weak conditions on the structure group we prove that this geometry is the only one with this property. Finally, we discuss the automorphism group of a Riemannian manifold with a fixed non-integrable $\mathrm{G}$-structure.

研究の動機と目的

• リーマン多様体上の非可積分な G 構造を、レヴィチビタ接続と標準的 G 接続の差を用いて統一的な枠組みで分類すること。
• 従来のテンソルに基づく手法が失敗する、例えば次元 5 の SO(3)-構造や次元 16 の Spin(9)-構造といった非テンソル的幾何構造の分類に取り組むこと。
• 完全に歪対称な torsion を持つ接続を備える幾何的構造がどのようなものかを特定すること。これは弦理論や特殊ホロノミーにおいて重要な問いである。
• 非可積分な G 構造の自己同型群の構造を特徴づけ、可積分な場合の結果を拡張すること。
• 次元 8 の Spin(7)-構造が、弱い条件のもとで、完全に歪対称な torsion を持つ一意な接続を備える唯一の G 構造であることを証明すること。

提案手法

• 分類は、リー代数 g の直交補空間 m に値をとる、レヴィチビタ接続と標準的 G 接続の差として定義される 1-形式 Γ に基づく。
• 表現 R^n ⊗ m の無限大成分を用いて、非可積分な G 構造の異なるクラスを定義し、古典的手法を一般化する。
• 定義テンソルに依存しない非テンソル的構造に対しても、主バンドル理論と接続論を活用することで、従来のアプローチを回避する。
• G-表現 R^n と随伴表現のキャラクターを含む関数方程式が導出される：h ∈ G に対して 3χ(h)χ*(h) = χ^3(h) - χ(h^3) が成り立つ。
• 最大トーラスと位数 2 の元を用いて、構造群 G の次元とランクを制限する。
• トポロジー的および代数的制約、特に有限群の対合作用による固定部分空間の利用、次元の上限など、G および n の分類に用いる。

実験結果

リサーチクエスチョン

• RQ1 どのような G 構造が、完全に歪対称な torsion を持つ接続を備え、そのような接続が存在するための必要十分条件は何か？
• RQ2 テンソルで定義される幾何と非テンソル的幾何（例：16 次元における Spin(9)-構造）の両方に適用可能な、非可積分な G 構造の分類法は何か？
• RQ3 弱い構造群の仮定のもとで、次元 8 の Spin(7)-構造が、完全に歪対称な torsion を持つ一意な接続を備える唯一の G 構造であるか？
• RQ4 非可積分な G 構造の自己同型群の構造は何か？可積分な場合とはどのように異なるか？
• RQ5 関数方程式 3χ(h)χ*(h) = χ^3(h) - χ(h^3) を用いて、与えられた torsion 接続の性質を備えるすべての G 構造を分類できるか？

主な発見

• 弱い構造群の条件下で、完全に歪対称な torsion を持つ一意な接続を備える唯一の G 構造は、次元 8 の Spin(7)-構造である。
• n=8 および G=Spin(7) の場合、表現 Λ^3(R^8) は R^8 ⊗ m に同型であり、この同型は Spin(7) が R^8 に作用する唯一の無限大表現を特徴づける。
• キャラクター方程式から次元の公式 n² = 3·dim(G) + 1 が導出され、これにより可能な次元と群が制限される。
• コンact 群 G のランク t は 5 以下に制限され、t=3 かつ k=2 のみが整合的な解を与える。これは dim(G)=21 および n=8 に対応する。
• t=1,2,4 および t=5 の場合が、特に不等式 4t² ≥ dim(G) からの次元およびランクの制約により除外される。
• 唯一の妥当な解は SO(8) 内の G=Spin(7) であり、これにより Spin(7)-構造が、完全に歪対称な torsion を持つ一意な接続の存在によって一意に特徴づけられることが確認される。