[論文レビュー] Manifolds admitting stable forms

Hông-Van Lê, Martin Panák+1 more|ArXiv.org|Apr 30, 2007

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

ひとこと要約

本稿は、実ベクトル空間 ℝⁿ 上の安定形式の直接分類を提供し、その自己同型群を特定する。6次元、7次元、8次元において、安定3形式は非退化形式と一致することを示す。多様体が安定形式をもつための必要十分条件を確立し、7次元および8次元多様体が安定3形式をもつ場合、その接バンドル上に自然な実単純マリチェフ代数バンドル構造を有することを明らかにする。

ABSTRACT

In this note we give a direct method to classify all stable forms on $\R^n$ as well as to determine their automorphism groups. We show that in dimension 6,7,8 stable forms coincide with non-degnerate forms. We present necessary conditions and sufficient conditions for a manifold to admit a stable form. We also discuss rich properties of the geometry of such manifolds.

研究の動機と目的

• 複素前線形空間理論に依存せずに、ℝⁿ 上の安定形式の直接的分類を提供すること。
• 実代数幾何学および Djoković の分類を用いて、ℝⁿ 上の安定形式の自己同型群を特定すること。
• 多様体が安定微分形式をもつための必要十分条件を確立すること。
• 7次元および8次元多様体に安定形式が誘導する豊かな幾何的構造（特にマリチェフ代数およびリー代数バンドル構造）を調査すること。
• 安定形式、非退化形式、および低次元における特別なホロノミー幾何との関係を明確にすること。

提案手法

• Djoković の実形式の前線形空間の分類を用いて、ℝⁿ 上の安定形式を分類する。
• 多重シンプレクティック形式の概念を適用し、GL(ℝⁿ)-軌道が Λᵏ(ℝⁿ)* で開であることによって安定性を定義する。
• 3形式 ω と同型写像 I: v⊗θ ↦ v⌋θ を用いた縮約写像を介して、ℝ⁸ 上に対称双線形形式を構成する。
• 各安定3形式 ω に対して、線形写像 Lω_v: ℝ⁸ → ℝ⁸⊗Λ⁸(ℝ⁸)* を定義し、リー代数構造を関連付ける。
• 特性類（w₂, w₆, p₂, q₁）および mod 2 細分を用いて、8次元多様体上に安定形式が存在するための位相的障害を導出する。
• スピン幾何学および特性類の結果（例：q₁(M) = -c₂ のプルバック）を適用し、安定3形式をもつスピン的および可定向8次元多様体を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の n および k に対して、ℝⁿ 上の安定 k-形式の完全な分類は何か？
• RQ2 ℝⁿ 上の安定形式の自己同型群はどのように明示的に計算できるか？
• RQ3 どの次元で安定形式が非退化形式と一致するか？
• RQ4 多様体が安定微分形式をもつために満たすべき位相的および幾何的条件は何か？
• RQ5 7次元および8次元多様体が安定3形式をもつ場合、どのような標準的代数的構造（例：マリチェフ代数やリー代数バンドル）が生じるか？

主な発見

• 6次元、7次元、8次元において、安定3形式は非退化3形式と等価である。
• 任意の8次元多様体が安定3形式をもつ場合、その接バンドルは自然に実単純マリチェフ代数バンドル構造をもつ。
• 6次元多様体上の安定3形式の自己同型群は、形式が非退化または PSU(3)-型である場合、有限次元である。
• 閉じた可定向8次元多様体 M⁸ が安定3形式をもつための必要十分条件は、w₂(M⁸) = 0、e(M⁸) = 0、w₆(M⁸) ∈ ρ(H⁶(M⁸, ℤ))、および p₂(M⁸) = -q₁(M⁸)² かつ (q₁(M⁸)²/9)[M⁸] ≡ 0 mod 6 である。
• ℝ⁸ 上の安定3形式 ϕᵢ は、バンドル ⊕ᵢ₌₁³(Λⁱ(TM) ⊕ Λⁱ(T*M)) ⊕ End(TM) 上に階数付き E₈ 構造を誘導する。
• dim M ≥ 7 の場合、M 上の安定3形式は包含関係 Gω ⊂ O(k,l) を通じて自然な（擬）リーマン計量を誘導し、多様体の曲率不変量を生じる。