[论文解读] The classification of orbits on certain exceptional Jordan algebra under the automorphism group

Akihiro Nishio|arXiv (Cornell University)|Nov 3, 2010

Advanced Topics in Algebra参考文献 10被引用 3

一句话总结

本文分类了例外李群 $\mathrm{F}_{4(-20)}$ 在实例外约当代数 $\mathcal{J}^1$ 上的作用轨道，基于特征根和极小子空间，给出了 $\mathcal{J}^1$ 关于 $\mathrm{F}_{4(-20)}$-轨道的完整分解。主要贡献在于完整的轨道分解，以及对每个轨道的稳定子群的显式李群结构确定，包括同构于 $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ 和 $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ 的稳定子群。分类基于特征多项式和由 $E$ 与 $X$ 生成的极小子空间 $V_X$，并为所有轨道类型给出了标准形式。

ABSTRACT

Let $\mathcal{J}^1$ be the real form of complex simple Jordan algebra with the automorphism group $G$ of type $F_{4(-20)}$. Explicitly, we give the orbit decomposition of $\mathcal{J}^1$ under the action of $G$ and determine the Lie group structure of stabilizer for each $G$-orbit on $\mathcal{J}^1$.

研究动机与目标

• 分类 $\mathrm{F}_{4(-20)}$-轨道在实例外约当代数 $\mathcal{J}^1$ 上的轨道，其作用为自同构群的作用。
• 确定 $\mathcal{J}^1$ 中每个轨道的稳定子子群的李群结构。
• 使用特征根和由 $E$ 与 $X$ 生成的极小子空间 $V_X$，为每种轨道类型提供显式标准形式。
• 将先前对 $\mathrm{F}_{4}^{\mathbb{C}}$ 和 $\mathrm{F}_{4(4)}$ 的轨道分类扩展至分裂实形式 $\mathrm{F}_{4(-20)}$。
• 基于 $\mathcal{J}^1$ 中元素的谱结构与代数结构，建立完整且显式的轨道分解。

提出的方法

• 轨道分解基于 $X \in \mathcal{J}^1$ 的特征多项式 $\Phi_X(\lambda)$，分类取决于其根的性质：三个不同的实根、一个实根与一对共轭复根，或重根。
• 极小子空间 $V_X$ 定义为包含 $E$ 与 $X$ 的最小 $\mathrm{F}_{4(-20)}$-不变子空间，对叉积封闭，用于分析轨道与标准轨道（如 $\mathcal{H}(\mathbf{O})$、$\mathcal{H}'(\mathbf{O})$ 和 $\mathcal{N}_1^{\pm}(\mathbf{O})$）的交集。
• 通过使用对角矩阵和特定元素 $P^+$、$P^-$、$Q^+(1)$ 构造标准形式，利用 $\mathrm{F}_{4(-20)}$ 的作用将任意 $X$ 变换为这些标准形式之一。
• 通过共轭与自同构技术确定稳定子结构，利用已知同构关系如 $\tilde{\sigma}((\mathrm{F}_{4(-20)})_Z) \cong (\mathrm{F}_{4(-20)})_{P^-}$ 以及 $E$ 的 $\mathrm{F}_{4(-20)}$-不变性。
• 命题 8.8、8.10、8.11 和 8.12 利用已知群结构（如 $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ 和 $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$）建立了稳定子同构。
• 分类依赖于在 $\mathrm{F}_{4(-20)}$-作用下迹、内积、行列式和特征根的不变性，确保轨道的不变性。

实验结果

研究问题

• RQ1 基于元素的特征根，$\mathrm{F}_{4(-20)}$-轨道在实例外约当代数 $\mathcal{J}^1$ 上如何分类？
• RQ2 $\mathrm{F}_{4(-20)}$-轨道在 $\mathcal{J}^1$ 中每个轨道的稳定子子群的李群结构是什么？
• RQ3 由 $E$ 与 $X$ 生成的极小子空间 $V_X$ 如何帮助确定 $X$ 的轨道类型？
• RQ4 在 $\mathrm{F}_{4(-20)}$-作用下，每种轨道类型由何种标准形式表示？
• RQ5 $P^+$、$P^-$ 和 $Q^+(1)$ 的稳定子群如何与已知李群 $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$ 和 $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$ 相关联？

主要发现

• 基于 $X$ 的谱和 $V_X$ 的结构，$\mathrm{F}_{4(-20)}$-轨道在 $\mathcal{J}^1$ 上被完全分类为 12 种标准类型。
• 对于具有三个不同实特征根 $\lambda_1 > \lambda_2 > \lambda_3$ 的元素，轨道由哪个 $E_{X,\lambda_i}$ 属于 $\mathcal{H}(\mathbf{O})$ 决定，标准形式为 $\mathrm{diag}(\lambda_i, \lambda_{i+1}, \lambda_{i+2})$。
• 对于具有一个实根和一对共轭复根 $p \pm iq$（$q > 0$）的元素，标准形式为 $\mathrm{diag}(p,p,\lambda_1) + F_3^1(q)$，对应轨道 $\mathcal{N}_1^+(\mathbf{O})$ 或 $\mathcal{N}_1^-(\mathbf{O})$。
• 当 $X$ 具有一个单重实根 $\lambda_1$ 和一个二重根 $\lambda_2$ 时，轨道取决于 $W_{X,\lambda_1} = 0$ 或属于 $\mathcal{N}_1^{\pm}(\mathbf{O})$，对应的轨道形式为 $\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1)$、$\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1) + P^+$ 或 $\mathrm{diag}(\lambda_2,\lambda_2,\lambda_1) + P^-$。
• 对于三重根元素，轨道由迹为零部分 $p(X)$ 决定：若 $p(X) = 0$，轨道为 $3^{-1}\mathrm{tr}(X)E$；若 $p(X) \in \mathcal{N}_1^{\pm}(\mathbf{O})$，形式为 $3^{-1}\mathrm{tr}(X)E \pm P^\pm$；若 $p(X) \in \mathcal{N}_2(\mathbf{O})$，形式为 $3^{-1}\mathrm{tr}(X)E + Q^+(1)$。
• 在 $P^-$ 的稳定子同构于 $\mathrm{Spin}(7)\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathbf{O}}$，在 $Q^+(1)$ 的稳定子同构于 $\mathrm{G}_2\ltimes\mathrm{H}_{\mathrm{Im}\mathbf{O},\mathrm{Im}\mathbf{O}}$，确认了在 $\mathrm{F}_{4(-20)}$ 背景下已知群结构的存在。