[论文解读] Conjugacy classes of trialitarian automorphisms and symmetric compositions

Vladimir Chernousov, Max-Albert Knus+1 more|arXiv (Cornell University)|Jun 25, 2011

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本文建立了任意域上型 D₄ 的伴随代数群的三重自同构的共轭类与8维二次空间上对称复合结构的相似类之间的一一对应关系。关键结果是这些自同构分为两类：I型，其固定子群为 G₂ 型（与八元数代数相关）；II型，其固定子群为 A₂ 型（与3次中心单代数相关），其分类取决于域是否包含本原三次单位根。

ABSTRACT

The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and similarity classes of symmetric compositions on 8-dimensional quadratic spaces. Using the known classification of symmetric compositions, we distinguish two conjugacy classes of trialitarian automorphisms over algebraically closed fields. For type I, the group of fixed points is of type G_2, whereas it is of type A_2 for trialitarian automorphisms of type II.

研究动机与目标

• 对任意域上型 D₄ 的伴随代数群的三重自同构的共轭类进行分类。
• 建立此类共轭类与8维二次空间上对称复合结构的相似类之间的一一对应关系。
• 区分两类对称复合结构——I型（与八元数代数相关）与 II型（与3次中心单代数相关），并将其与自同构的固定子群联系起来。
• 将分类推广至特征为3的域，此时 II 型复合结构不光滑，需通过 Okubo 型代数特殊处理。
• 在代数闭域上提供完整分类，表明存在两个共轭类：一个为 I 型，其固定子群为 G₂ 型；另一个为 II 型，其固定子群为 A₂ 型。

提出的方法

• 利用8维二次空间上对称复合结构的已知分类，对三重自同构的共轭类进行参数化。
• 通过 PGU 与 PGSO 的群论结构，建立三重自同构的共轭类与对称复合结构的相似类之间的双射。
• 运用三重 Pfister 型及其超曲面性的理论，分析对称复合结构的存在条件。
• 对于包含本原三次单位根的域，将 II 型复合结构与3次中心单代数及单位性对合相关的 Okubo 代数联系起来。
• 对于特征为3的域，通过符号代数定义标准化的对称复合结构，并证明其在根的选择下保持不变。
• 利用符号代数中基元素的乘法表来定义和比较复合结构，证明在可分闭包上同构条件。

实验结果

研究问题

• RQ1 如何对任意域上型 D₄ 群的三重自同构的共轭类进行分类？
• RQ2 8维二次空间上的对称复合结构与三重自同构的共轭类之间存在何种关系？
• RQ3 I 型与 II 型自同构的固定子群有何不同？各自的代数类型为何？
• RQ4 在不包含本原三次单位根的域上，II 型对称复合结构的存在条件是什么？
• RQ5 在特征为3时，对称复合结构的行为如何？为何其自同构群不光滑？

主要发现

• 伴随型 D₄ 群的三重自同构的共轭类与8维二次空间上对称复合结构的相似类之间存在一一对应关系。
• 在代数闭域上，恰好存在两个共轭类：一个为 I 型，其固定子群为 G₂ 型；另一个为 II 型，其固定子群为 A₂ 型。
• I 型对称复合结构与八元数代数相关，且同构于 Petersson 复合结构。
• 当域包含本原三次单位根时，II 型对称复合结构同构于与3次中心单代数及单位性对合相关的 Okubo 复合结构。
• 在特征为3时，II 型复合结构不光滑，通过符号代数的特殊化构造，其同构类由参数 a, b ∈ F× 参数化。
• 在特征为3的可分闭域上，II 型复合结构不一定是分裂的，这与特征 ≠ 3 的情形不同。