[论文解读] Weakly irreducible subgroups of $Sp(1,n+1)$

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

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

一句话总结

该论文在自然条件下，通过分析其在四元数双曲空间边界上的作用（借助一种类似球极投影的映射），对 $\mathrm{Sp}(1,n+1)$ 的连通弱不可约但非不可约子群在 $\mathrm{SO}(4,4n+4)$ 中的共轭类进行了分类。关键结果是利用 $\mathbb{H}^n$ 上的相似变换，对这类子群实现了完整分类，进而通过 I–XI 类型系统地描述了相应的 holonomy 代数，并基于不变子空间的分解给出了显式的李代数结构。

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.

研究动机与目标

• 在 $\mathrm{Sp}(1,n+1) \subset \mathrm{SO}(4,4n+4)$ 中，对连通弱不可约但非不可约子群在共轭意义下进行分类。
• 扩展指标为 4 的伪双凯勒流形 holonomy 群的分类。
• 通过四元数双曲空间边界上的作用及其在 $\mathbb{H}^n$ 上通过类似球极投影映射诱导的作用，刻画此类子群。
• 将相应的李代数识别为从 $\mathbb{H}^n$ 上相似变换代数通过李代数同态拉回的原像。

提出的方法

• 定义一个映射 $s_1: S^{4n+3} \setminus \{\text{点}\} \to \mathbb{H}^n$，其形式类似于球极投影，用以关联 $G \subset \mathrm{Sp}(1,n+1)$ 的作用与 $\mathrm{Sim}\, \mathbb{H}^n$ 的作用。
• 通过与逆球极投影的复合构造一个映射 $F: G \to \mathrm{Sim}\, \mathbb{H}^n$，使得 $F(G)$ 在 $\mathbb{R}^{4n}$ 中的某个仿射子空间 $L$ 上实现传递作用。
• 通过将 $L$ 分解为在 $i$、$j$、$k$ 作用下不变的正交分量，分析 $F(G)$ 的结构，得到分解 $L = H^m \oplus \mathbb{C}^k \oplus \mathbb{R}^{n-m-k}$。
• 利用 $\mathrm{Sim}\, \mathbb{H}^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}(\mathrm{Sim}\, \mathbb{H}^n)$。
• 将分类推广至包含多个非平凡 $i,j,k$-不变分量的子空间 $L$ 的情形，引入新类型 X 和 XI 以描述李代数分解中的附加结构。

实验结果

研究问题

• RQ1 哪些 $\mathrm{Sp}(1,n+1)$ 的连通弱不可约但非不可约子群是指标为 4 的伪双凯勒流形的 holonomy 群？
• RQ2 此类子群在四元数双曲空间边界上的作用如何用于其结构的分类？
• RQ3 此类子群的李代数的精确结构是什么？它与 $\mathbb{H}^n$ 上相似变换代数有何关系？
• RQ4 仿射子空间 $L \subset \mathbb{R}^{4n}$ 的不变量如何决定其对应李代数的可能类型？

主要发现

• 对 $\mathrm{Sp}(1,n+1)$ 的弱不可约但非不可约子群的分类，被简化为对 $\mathrm{Sim}\, \mathbb{H}^n$ 的子群在满足 $\mathrm{span}_\mathbb{H} L = \mathbb{H}^n$ 的仿射子空间 $L \subset \mathbb{R}^{4n}$ 上的传递作用的分类。
• 此类子群的李代数是 $dF$ 下 $\mathfrak{L}(\mathrm{Sim}\, \mathbb{H}^n)$ 的李代数子代数 $\mathfrak{k}$ 的原像，且 $dF$ 的核为一个 3 维理想 $\mathfrak{B}$。
• 当 $L = \mathbb{H}^n$ 时，分类结果产生 I–IX 类型的 holonomy 代数，具体取决于 $\mathfrak{k}$ 的结构，其中类型 II、III、IV 和 IX 来自于类型 R、$\phi$、$\psi$ 及其推广的特定组合。
• 当 $L$ 为真子空间且具有非平凡的 $i,j,k$-不变分量时，引入了两种新类型 X 和 XI，以反映李代数分解中的额外结构。
• 该分类在 $\mathrm{SO}(4,4n+4)$ 中是完整的，且可通过考虑在 $i,j,k$-不变分解中至少有两个严格包含关系的子空间 $L$，进一步细化为在 $\mathrm{Sp}(1,n+1)$ 中的共轭类。
• 结果为指标为 4 的伪双凯勒流形 holonomy 群的完整分类奠定了基础，扩展了此前对洛伦兹型和指标为 2 的伪凯勒流形的分类。