[論文レビュー] Cayley 4-frames and a quaternion-Kähler reduction related to Spin(7)

Liviu Ornea, Paolo Piccinni|ArXiv.org|Jun 13, 2001

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

ひとこと要約

本稿では、$\mathbb{H}P^7$ に対する $\mathrm{U}(1)\times\mathrm{Sp}(1)$ 系のクaternionケーラー還元を通じて、ケイリーのグラスマンニアン $\mathrm{CAYLEY}$ の $\mathbb{Z}_2$ 商を構成し、それは $\mathrm{Gr}_4(\mathbb{R}^7)$ に等長である。還元により、特異的であるが $3$-サッカー層構造を持つ特異的オルビフォールド構造が得られ、重み付き一般化を通じて、非均次的かつ非トーリックな $3$-サッカー多様体の新しい例が得られる。

ABSTRACT

We describe an action of $U(1) imes Sp(1)$ on $HP^7$ that allows to obtain a $Z_2$-quotient of CAYLEY (the Grassmannian of oriented 4-planes in $R^8$ closed under the three-fold cross product) by quaternionic Kähler reduction.

研究の動機と目的

• $\mathrm{U}(1)\times\mathrm{Sp}(1)$ 系を用いた $\mathbb{H}P^7$ のクaternionケーラー還元を構成し、ケイリーのグラスマンニアン $\mathrm{CAYLEY}$ の商を得ること。
• 得られた商を、特異的ストラトムが複素グラスマンニアン $\mathrm{Gr}_2(\mathbb{C}^4)$ に等長である $\mathbb{Z}_2$-オルビフォールドとして記述すること。
• 還元が $3$-サッカー多様体のオルビフォールド構造をもたらすことを確立し、特異的ストラトムが等長性 $\mathrm{CAYLEY} \cong \mathrm{Gr}_4(\mathbb{R}^7)$ の下で $\mathrm{Gr}_4(\mathbb{R}^6)\subset\mathrm{Gr}_4(\mathbb{R}^7)$ に対応することを示すこと。
• 重み付き $\mathrm{U}(1)$ 系を用いた一般化が、12次元のクaternionケーラー・オルビフォールドの新しい族を生み出すことの可能性を示すこと。これらの族は、滑らかな15次元の $3$-サッカー被覆をもつ。

提案手法

• $\mathbb{H}P^7$ 上の $\mathrm{U}(1)\times\mathrm{Sp}(1)$ 系は、$\mathbb{R}^8$ 内の向き付けられた正規直交4-フレームのスタイーベル多様体上でのモーメント写像 $\mu$ を通じて定義され、$\mu^{-1}(0)$ はケイリー4-フレームに対応する。
• $\mathrm{U}(1)$-因子に対し、第二のモーメント写像 $\nu$ を導入し、$\nu(\vec{h}) = \sum_{\beta=1}^4 (\overline{h}_{2\beta-1}h_{2\beta} - \overline{h}_{2\beta}h_{2\beta-1})$ と定義する。これは座標ペアの $\mathrm{U}(1)$-回転を符号化する。
• 還元空間を $\mathcal{N} = \mu^{-1}(0) \cap \nu^{-1}(0)$ と定義し、これは $\mathrm{U}(1)\cdot V$ に等しいことが示される。ここで $V$ はケイリー4-フレームの集合である。
• $\mathcal{N}$ 上の $\mathrm{U}(1)\times\mathrm{Sp}(1)$-軌道を解析し、$\mathbb{Z}_4 \subset \mathrm{U}(1)\cap\mathrm{Spin}(7)$ の作用が $\mathrm{SU}(4)/\mathrm{Sp}(1)$ 内のフレームを固定することを明らかにした。これにより $\mathbb{Z}_2$-固定点が得られる。
• $\mathbb{Z}_2\backslash\mathrm{CAYLEY}$ が、特異的ストラトムが $\mathrm{Gr}_2(\mathbb{C}^4)$ に等長であるクェイタニオンケーラー特異的オルビフォールドであると特定された。

実験結果

リサーチクエスチョン

• RQ1 ケイリーのグラスマンニアン $\mathrm{CAYLEY}$ は、どのように $\mathbb{H}P^7$ のクェイタニオンケーラー還元として実現できるか？
• RQ2 どの $\mathrm{U}(1)\times\mathrm{Sp}(1)$ 系が $\mathrm{CAYLEY}$ の $\mathbb{Z}_2$ 商を生じさせるか？
• RQ3 得られたオルビフォールドにおける特異的ストラトムの幾何的性質は何か？
• RQ4 重み付き $\mathrm{U}(1)$-系は、この構成をどのように一般化し、新しい12次元のクェイタニオンケーラー・オルビフォールドを生み出すか？

主な発見

• $\mathrm{U}(1)\times\mathrm{Sp}(1)$ 系による $\mathbb{H}P^7$ のクェイタニオンケーラー商は、$\mathbb{Z}_2\backslash\mathrm{CAYLEY}$ に等長であり、$3$-サッカー構造を持つ特異的オルビフォールドである。
• オルビフォールドの特異的ストラトムは、等長性 $\mathrm{CAYLEY} \cong \mathrm{Gr}_4(\mathbb{R}^7)$ の下で $\mathrm{Gr}_4(\mathbb{R}^6) \subset \mathrm{Gr}_4(\mathbb{R}^7)$ に対応する複素グラスマンニアン $\mathrm{Gr}_2(\mathbb{C}^4)$ に等長である。
• $\mathbb{Z}_2$-作用は $\mathrm{U}(1)\cap\mathrm{Spin}(7)$ 内の $\mathbb{Z}_4$-部分群に由来し、$\mathrm{SU}(4)/\mathrm{Sp}(1)$ 内の複素ユニタリフレームに対応する固定点を持つ。
• 同じ還元枠組みに重み付き $\mathrm{U}(1)$-系を適用することで、12次元のクェイタニオンケーラー・オルビフォールドの族が得られ、その一部は滑らかな15次元の $3$-サッカー被覆をもつ。
• これらの $3$-サッカー多様体は、非均次的かつ非トーリックであるという点で、$\mathrm{Spin}(7)$-関連幾何における、これまでに知られていなかった最初の例を提供する。