[论文解读] Conjugacy Classes of Centralizers in $G_2$

Anupam Singh|ArXiv.org|Apr 23, 2008

Advanced Algebra and Geometry参考文献 9被引用 12

一句话总结

本文利用八元数代数及其自同构的结构，对例外代数群 $G_2$ 的非分歧实形式中的中心化子的共轭类进行分类。通过分析半单元素的中心化子，结合在 $\mathbb{R}$ 上的子群分解与表示论，证明了中心化子恰好存在六类共轭类，对应于伴随作用下的不同轨道类型。

ABSTRACT

Let $G$ be an algebraic group of type $G_2$ over a field $k$ of characteristic $ eq 2,3$. In this paper we calculate centralizers of semisimple elements in anisotropic $G_2$. Using these, we show explicitly that there are six conjugacy classes of centralizers in the compact real form of $G_2$.

研究动机与目标

• 确定在特征 $\neq 2,3$ 的域上，特别是 $\mathbb{R}$ 上，非分歧 $G_2$ 中中心化子的共轭类的数量与结构。
• 通过将群实现为八元数代数的自同构群，分析 $G_2$ 中半单元素的中心化子。
• 确立 $G_2$ 在自身上的伴随作用下轨道类型（z-类）的有限性，推广约化群的相关结果。
• 通过分解群以固定二次子代数与四元数子代数，显式描述中心化子的同构类型。

提出的方法

• 将 $G_2$ 表示为域 $k$ 上八元数除法代数的自同构群，利用 Cayley-Dickson 构造将代数分解为 $L \oplus La$ 和 $Q \oplus Qa$。
• 利用同构 $G(\mathfrak{C}/L) \cong SU(3)$ 与 $G(\mathfrak{C}/Q) \cong SL_1(Q)$，以酉群与特殊线性群的形式分析中心化子。
• 利用由 $L$ 上共轭诱导的对合 $\rho$ 构造外自同构，并分析 $G(\mathfrak{C}, L)$ 中的半直积结构。
• 通过 $SU(3)$ 中元素的特征值分析对中心化子进行分类，根据矩阵表示的特征多项式与极小多项式的性质区分不同情形。
• 应用 Skolem-Noether 定理识别 $\text{Aut}(Q) \cong PGL_1(Q) \cong Q^*/k^*$，从而描述保持四元数子代数的自同构群。
• 通过 $\rho$ 的共轭作用及 $SU(3)$ 中特定矩阵，证明中心化子可能包含不属于 $G(\mathfrak{C}/L)$ 的元素，从而导出半直积结构。

实验结果

研究问题

• RQ1 在 $G_2$ 的紧致实形式中，中心化子的共轭类共有多少类？
• RQ2 在何种条件下，$G_2$ 中半单元素的中心化子包含于 $G(\mathfrak{C}/L)$（$L$ 为二次子代数）？
• RQ3 当元素点固定一个四元数子代数时，其中心化子的结构如何？
• RQ4 在 $G(\mathfrak{C}/L) \cong SU(3)$ 中，半单元素的特征值如何决定其中心化子的同构类型？
• RQ5 能否通过子群分解与表示论，完全分类 $G_2$ 的轨道类型（z-类）？

主要发现

• 在 $\mathbb{R}$ 上的非分歧 $G_2$ 中，中心化子恰好存在六类共轭类，对应于伴随作用下的不同轨道类型。
• 当半单元素 $t$ 有三个互异的特征值且 $1$ 不在其中时，其中心化子为极大环面，且所有此类中心化子彼此共轭。
• 若 $t$ 点固定一个四元数子代数且具有特征值 $1$，则其中心化子同构于 $U(2) \rtimes \mathbb{Z}/2\mathbb{Z}$。
• 当 $t$ 具有三重特征值 $\omega \neq 1$ 且 $\omega^3 = 1$ 时，其中心化子即为整个 $SU(3)$ 群。
• 对于具有特征值 $\text{diag}(1, e^{i\theta}, e^{-i\theta})$ 的元素，其中心化子为 $T \rtimes \mathbb{Z}/2\mathbb{Z}$，其中 $T$ 为极大环面。
• 对合元素 $t = \text{diag}(1, -1, -1)$ 的中心化子同构于 $U(2) \rtimes \mathbb{Z}/2\mathbb{Z}$，其来源于 $\rho$ 的作用与 $G(\mathfrak{C}, L)$ 的结构。