[論文レビュー] Nearly Kaehler and nearly parallel G_2-structures on spheres

Thomas Friedrich|ArXiv.org|Sep 7, 2005

Geometry and complex manifolds参考文献 5被引用数 7

ひとこと要約

この論文は、6次元球面に標準的計量を備えた場合、等長写像を除いて、ほぼカーラー構造が唯一つ存在すること、および7次元球面にほぼ平行G₂構造が唯一つ存在することを、2形式上のホッジ＝ラプラス作用素の固有空間分解を用いて証明する。主な洞察は、それぞれの構造が、SO(7)およびSO(8)作用に関してℝ⁷内に非退化な3形式として一意に対応することにある。

ABSTRACT

In some other context, the question was raised how many nearly Kähler structures exist on the sphere $§^6$ equipped with the standard Riemannian metric. In this short note, we prove that, up to isometry, there exists only one. This is a consequence of the description of the eigenspace to the eigenvalue $λ= 12$ of the Laplacian acting on 2-forms. A similar result concerning nearly parallel $\G_2$-structures on the round sphere $§^7$ holds, too. An alternative proof by Riemannian Killing spinors is also indicated.

研究の動機と目的

• 標準的計量を備えた6次元球面上のほぼカーラー構造の数を特定すること。
• 等長写像を除いて7次元球面上のほぼ平行G₂構造の一意性を確立すること。
• ほぼカーラー構造およびほぼ平行G₂構造を、ℝ⁷およびℝ⁸における代数的3形式を介して表現論によって関連付けること。
• リーマン的キリングスピン角運動量を用いた代替的証明を提供し、幾何的構造とスピン角幾何学を結びつけること。

提案手法

• 2形式上のホッジ＝ラプラス作用素の固有空間 $ E_{12} $ を、$ \mathbb{S}^6 $ 上で固有値 $ \lambda = 12 $ を持つものとして分析する。
• 固有空間 $ E_{12} $ が、$ \mathrm{SO}(7) $--equivariant写像を介して $ \Lambda^3(\mathbb{R}^7) $ としてSO(7)-表現として同型であることを示す。
• フロベニウスの随伴性を用いて $ E_{12} $ の次元を計算し、$ \dim \Lambda^3(\mathbb{R}^7) $ と一致することを確認する。
• 任意の $ \mathbb{S}^6 $ 上のほぼカーラー構造が、非退化な3形式 $ A \in \Lambda^3(\mathbb{R}^7) $ を用いて $ \Omega_x^\mathrm{J}(y,z) = A(x,y,z) $ と表されることを確立する。
• 非退化な3形式への $ \mathrm{SO}(7) $ の推移的作用を用いて、等長写像による一意性を証明する。
• 同様の議論を $ \mathbb{S}^7 $ に拡張し、ほぼ平行 $ \mathrm{G}_2 $-構造が $ \mathrm{SO}(8) $-共役を除いても一意であることを示す。

実験結果

リサーチクエスチョン

• RQ1 標準的計量を備えた6次元球面上には、等長写像を除いていくつのほぼカーラー構造が存在するか？
• RQ2 ほぼカーラー構造の代数的特徴づけは、微分形式を用いてどのように記述できるか？
• RQ3 7次元球面上のほぼ平行 $ \mathrm{G}_2 $-構造は、等長写像を除いて分類可能か？
• RQ4 2形式上のラプラシアンの固有空間は、特別な幾何的構造の存在とどのように関係するか？
• RQ5 キリングスピン角運動量は、これらの構造の一意性の証明において果たす役割は何か？

主な発見

• 2形式上のホッジ＝ラプラス作用素の固有空間 $ E_{12} $ で固有値12を持つものは、次元35であり、SO(7)-表現として $ \Lambda^3(\mathbb{R}^7) $ に同型である。
• 任意の $ \mathbb{S}^6 $ 上のほぼカーラー構造は、一意な非退化3形式 $ A \in \Lambda^3(\mathbb{R}^7) $ を用いて $ \Omega_x^\mathrm{J}(y,z) = A(x,y,z) $ と表される。
• すべての $ \mathbb{S}^6 $ 上のほぼカーラー構造は、$ \mathrm{SO}(7) $ が非退化3形式に作用する推移的性質のおかげで、標準的構造と等長写像で同一視可能である。
• 同様の結果は $ \mathbb{S}^7 $ 上のほぼ平行 $ \mathrm{G}_2 $-構造に対しても成り立ち、$ \mathrm{SO}(8) $-共役を除いて一意である。
• 一意性は、等長写像群が単位長のキリングスピン角運動量に作用する推移的性質から導かれる。これはスピン幾何学を用いた代替的証明を提供する。
• 任意の $ \mathbb{S}^6 $ 上のほぼカーラー構造のカーラー形式 $ \Omega^\mathrm{J} $ は、$ \Delta(\Omega^\mathrm{J}) = 12 \cdot \Omega^\mathrm{J} $ および $ d*\Omega^\mathrm{J} = 0 $ を満たし、固有形式であることが確認される。