[論文レビュー] Weakly irreducible subgroups of $Sp(1,n+1)$

Natalia I. Bezvitnaya|arXiv (Cornell University)|Apr 2, 2008

Geometry and complex manifolds参考文献 9被引用数 3

ひとこと要約

本稿では、4次元の擬超ケーラー多様体のインデックス4に対するホロノミー代数の完全分類を、四元数的双曲空間の境界における作用と、$ℝ^n$ 上の相似変換群を用いた方法により、自然な条件下で、$ϳ(1,n+1)$ の連結で弱的既約的（しかし完全既約的ではない）部分群を $ϳ(4,4n+4)$ 内の同値類として分類する。主な結果は、$ℝ^n$ 上の相似変換に基づく完全分類であり、タイプI〜XIによる系統的なホロノミー代数の記述が得られ、不変部分空間の分解に基づく明示的なリー代数構造が与えられる。

ABSTRACT

Connected weakly irreducible not irreducible subgroups of $Sp(1,n+1)\subset SO(4,4n+4)$ that satisfy a certain additional condition are classified. This will be used to classify connected holonomy groups of pseudo-hyper-Kählerian manifolds of index 4.

研究の動機と目的

• 連結で弱的既約的（しかし完全既約的ではない）$ϳ(1,n+1) \subset ϳ(4,4n+4)$ の部分群を、同値類として分類すること。
• インデックス4の擬超ケーラー多様体のホロノミー群の分類を拡張すること。
• 四元数的双曲空間の境界における作用と、ステレオグラフィック型写像を通じて誘導される $ℝ^n$ 上の作用により、このような部分群を特徴付けること。
• 対応するリー代数を、$ℝ^n$ 上の相似変換代数へのリー代数準同型の逆像として特定すること。

提案手法

• 四元数的双曲空間の境界 $S^{4n+3} \setminus \{\text{点}\}$ から $ℝ^n$ への写像 $s_1$ を定義し、$G \subset ϳ(1,n+1)$ の作用を $σμπ\, \u211d^n$ に結びつける。
• 逆ステレオグラフィック射影との合成により、$F: G \to σμπ\, \u211d^n$ を構成し、$F(G)$ が $ℝ^{4n}$ のアフィン部分空間 $L$ 上に推移的に作用することを保証する。
• $i$, $j$, $k$ に関する不変部分空間の直交分解により、$F(G)$ の構造を解析し、$L = H^m \oplus \mathbb{C}^k \oplus \mathbb{R}^{n-m-k}$ の分解を得る。
• $\u03c3μπ\, \u211d^n$ の推移的部分群の分類（タイプR, $\phi$, $\psi$）を用いて、対応するリー代数 $\mathfrak{g} = (dF)^{-1}(\mathfrak{k})$ を分類する。
• $dF$ の核を3次元のイデアル $\mathfrak{B}$ と特定し、$\mathfrak{g} = (dF)^{-1}(\mathfrak{k})$ かつ $\mathfrak{k} \subset \mathfrak{L}(\u03c3μπ\, \u211d^n)$ となるようにする。
• 部分空間 $L$ に $i,j,k$-不変分解における複数の非自明な包含関係がある場合を一般化し、リー代数に新しいタイプXおよびXIを導入する。

実験結果

リサーチクエスチョン

• RQ1 インデックス4の擬超ケーラー多様体のホロノミー群として現れる、$ϳ(1,n+1)$ の連結で弱的既約的（しかし完全既約的ではない）部分群はどれか？
• RQ2 四元数的双曲空間の境界におけるこのような部分群の作用は、その構造を分類するためにどのように利用できるか？
• RQ3 このような部分群のリー代数の正確な構造は何か？ また、$ℝ^n$ 上の相似変換代数とはどのように関係しているか？
• RQ4 アフィン部分空間 $L \subset \u211d^{4n}$ の不変量は、対応するリー代数の可能なタイプをどのように決定するか？

主な発見

• 弱的既約的（しかし完全既約的ではない）$ϳ(1,n+1)$ の部分群の分類は、$ℝ^{4n}$ のアフィン部分空間 $L$ 上で推移的に作用する $σμπ\, \u211d^n$ の部分群の分類に帰着される。ただし、$\mathrm{span}_\mathbb{H} L = \mathbb{H}^n$ である。
• このような部分群のリー代数は、$\mathfrak{k} \subset \mathfrak{L}(\u03c3μπ\, \u211d^n)$ であるリー部分代数の $dF$ による逆像として得られ、$dF$ の核は3次元のイデアル $\mathfrak{B}$ である。
• $L = \mathbb{H}^n$ の場合、分類によりタイプI〜IXのホロノミー代数が得られ、$\mathfrak{k}$ のタイプR, $\phi$, $\psi$ 及びその一般化に依存する。特に、タイプII, III, IV, IXは、特定の $\mathfrak{k}$ の組み合わせから生じる。
• $L$ が真の部分空間で、$i,j,k$-不変成分が非自明な場合、リー代数の分解における追加の構造を反映するために、タイプXおよびXIが導入される。
• 分類は $ϳ(4,4n+4)$ 内の同値類として完全であり、$i,j,k$-不変分解において少なくとも2つの真の包含関係を持つ部分空間 $L$ を考慮することで、$ϳ(1,n+1)$ 内の同値類への精錬が可能である。
• 結果として、インデックス4の擬超ケーラー多様体のホロノミー群の完全分類の基盤が構築され、ローレンツ型およびインデックス2の擬ケーラー多様体に対する既存の分類を拡張する。