[論文レビュー] Almost Parallel Structures

Simon Salamon|ArXiv.org|Jul 20, 2001

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

ひとこと要約

本稿は微分幾何学におけるほぼ平行構造を調査し、G-構造とそのねじれを曲率恒等式と体積展開を通じて扱う。特異なシンプレクティック形式および閉じた3形式を備えたニル多様体を用いて、閉じているが平行でないクaternion的4形式を有する新しいコンパクト8次元多様体を構成し、標準的ホロノミー還元を超えた幾何的柔軟性を示している。

ABSTRACT

A discussion of torsion of Riemannian G-structures leads to a survey of contributions of Alfred Gray and others on almost Hermitian manifolds, G_2-manifolds, curvature identities, volume expansions, plotting geodesics, and the geometry of nilmanifolds. The paper concludes with a new example of a compact 8-manifold with a quaternionic 4-form that is closed but not parallel.

研究の動機と目的

• アレクサンドル・グレイの、ほぼケーラーマニフォールドおよびG2-多様体におけるG-構造とねじれに関する基礎的研究を拡張すること。
• ほぼ平行構造の文脈において、曲率恒等式、体積展開、測地線プロットを調査すること。
• 閉じているが平行でないクaternion的4形式を有する新しいコンパクト8次元多様体の構成。
• 特にニル多様体設定において、標準的ホロノミー還元を超えたG-構造の幾何的柔軟性を示すこと。
• テンソルバンドルの分解を用いた、G-構造における内在的ねじれを分析するための計算的および表現論的枠組みの提供。

提案手法

• リーマン接続とそのG-構造を保存しないことにより、テンソルφの共変微分を用いてねじれを定義する。
• 表現論を適用してバンドルT*⊗g⊥を既約G-加群に分解し、内在的ねじれ成分を同定する。
• e^7およびe^8を定数1形式として扱う次元還元を用い、8次元構造をシンプレクティック形式および閉じた3形式を有する6次元多様体に還元する。
• τ = e¹² + e³⁴ + e⁵⁶およびτ∧α = τ∧β = 0を満たす閉じた3形式α, βを用いて、M⁶×T²上に4形式Ω₊を構成する。
• 式(7.7)による基底変換を適用し、αおよびβの非閉じた項を除去することで、Stab(Ω̂) = Sp(2)Sp(1)を有する閉じた4形式Ω̂が得られる。
• 構造方程式から生成されるイデアルが外微分に関して閉じていないことを確認することで、結果として得られる4形式が閉じているが平行でないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト8次元多様体が、Stab = Sp(2)Sp(1)を有する閉じているが平行でないクaternion的4形式を有し得るか？
• RQ2 6次元多様体にどのような条件が課わられると、シンプレクティック形式および閉じた3形式を用いてM⁶×T²上に閉じた4形式を構成できるか？
• RQ3 8次元から6次元への次元還元は、非自明な内在的ねじれを有するG-構造の構成にどのように寄与するか？
• RQ4 ニル多様体は、閉じているが平行でない形式を有するG-構造のコンパクト例を実現するために果たす役割は何か？
• RQ5 G-構造の内在的ねじれは、T*⊗g⊥の表現論的分解を用いて完全に分類可能か？

主な発見

• 閉じた4形式Ω̂を有する新しいコンパクト8次元多様体が、ニル多様体M⁶×T²として構成された。その安定化子はSp(2)Sp(1)である。
• Ω̂は閉じているが平行でないことが、構造方程式から生成されるイデアルが外微分に関して閉じていないことの確認により検証された。
• この構成は、有理数構造定数を有する6次元ニル多様体（Lie代数）を用いており、格子の存在とコンパクト性を保証する。
• Ω̂は基底変換(7.7)により得られ、αおよびβの非閉じた成分が除去されつつ、τおよび全体の構造が保存される。
• Ω̂の安定化子は依然としてSp(2)Sp(1)に同型であるが、1形式e⁷およびe⁸はもはや共変定数ではなくなるため、計量は可約である。
• この例は、閉じたG-構造に非平行な形式がコンパクト多様体上に存在しうることを示しており、カルラヤウや対称空間の構成を超えた拡張を示している。