[论文解读] The Kneser-Tits conjecture for groups with Tits-index E_{8,2}^{66} over an arbitrary field

R. Parimala, Jean-Pierre Tignol+1 more|arXiv (Cornell University)|Aug 11, 2010

Algebraic Geometry and Number Theory参考文献 13被引用 3

一句话总结

该论文通过证明在任意域上，对于具有 Tits 指数 $E_{8,2}^{66}$ 的绝对单代数群，其辛迭尔乘子群由形式在某个二次扩张上变为双曲形式时的范数生成，从而证明了 Kneser-Tits 猜想。关键结果确认了此类群由其根群生成，通过克莱夫代数、R-等价性和四角代数验证了该猜想在此情形下的成立。

ABSTRACT

We prove: (1) The group of multipliers of similitudes of a 12-dimensional anisotropic quadratic form over a field K with trivial discriminant and split Clifford invariant is generated by norms from quadratic extensions E/K such that q_E is hyperbolic. (2) If G is the group of K-rational points of an absolutely simple algebraic group whose Tits index is E_{8,2}^{66}, then G is generated by its root groups, as predicted by the Kneser-Tits conjecture.

研究动机与目标

• 验证在任意域上，具有 Tits 指数 $E_{8,2}^{66}$ 的代数群的 Kneser-Tits 猜想。
• 证明一个 12 维非分歧二次型（判别式平凡且 Clifford invariant 为分裂）的辛迭尔乘子群由其在形式变为双曲形式的二次扩张中的范数生成。
• 证明此类群由其根群生成，符合 Kneser-Tits 猜想的预测。
• 通过特征 0 下 $\mathrm{PGO}_+^+(q)$ 的 R-平凡性扩展证明，并推广至任意特征。

提出的方法

• 利用克莱夫代数理论及具有平凡判别式和分裂 Clifford invariant 的二次型的分类，分析辛迭尔乘子的结构。
• 应用 [22, 23] 中的四角代数概念，将莫芳四边形的几何与例外群的代数结构联系起来。
• 在纯不可分扩张的背景下，应用旋量范数的范数原理及 Knebusch 的范数定理，将扩张的范数与旋量范数群联系起来。
• 利用特征 0 下 $\mathrm{PGO}_+^+(q)$ 的 R-平凡性（通过对合对应和偶 Clifford 代数上的埃尔米特形式证明），推导出任意特征下的主要结果。
• 利用 8 维二次型（判别式平凡）与它们的偶 Clifford 代数的单个分量上的埃尔米特型之间的对应关系，证明 $\dim q = 8$ 的情形。
• 应用 $R$-等价性理论及 $\mathrm{Hyp}_2(q)$ 的结构，证明在给定条件下，对非分歧的 8 维和 12 维形式有 $G(q) = \mathrm{Hyp}_2(q)$。

实验结果

研究问题

• RQ1 绝对单代数群（具有 Tits 指数 $E_{8,2}^{66}$）的 $K$-有理点群是否如 Kneser-Tits 猜想所预测的那样，由其根群生成？
• RQ2 一个 12 维非分歧二次型（判别式平凡且 Clifford invariant 为分裂）的辛迭尔乘子群是否由其在形式变为双曲形式的二次扩张中的范数生成？
• RQ3 在特征 0 下 $\mathrm{PGO}_+^+(q)$ 的 $R$-平凡性是否可用于推导出任意特征下的 Kneser-Tits 猜想？
• RQ4 四角代数和 Clifford 代数的结构如何在证明 $E_{8,2}^{66}$ 群的 Kneser-Tits 猜想中发挥作用？
• RQ5 斜埃尔米特型的旋量范数群 $\mathrm{Sn}(h)$ 与由二次扩张生成的群 $\mathrm{Hyp}_2(q)$ 之间的确切关系是什么？

主要发现

• 一个 12 维非分歧二次型（判别式平凡且 Clifford invariant 为分裂）的辛迭尔乘子群由满足 $q_E$ 为双曲形式的二次扩张 $E/K$ 的范数生成。
• 对于具有平凡判别式和 Clifford invariant 索引为 2 的非分歧 8 维二次型，群 $G(q)$ 等于 $\mathrm{Hyp}_2(q)$，即由 $K^{\times 2}$ 和在 $q_E$ 为双曲形式的二次扩张中生成的范数构成的子群。
• 当 $\mathrm{char}(K) \neq 2$ 时，$\mathrm{PGO}_+^+(q)$ 是 $R$-平凡的，这意味着在此情况下 $G(q) = \mathrm{Hyp}_2(q)$。
• Kneser-Tits 猜想对任意域上具有 Tits 指数 $E_{8,2}^{66}$ 的群成立，因为此类群由其根群生成。
• 通过特征 0 下的 $R$-平凡性证明可推广至任意特征，从而统一验证了该猜想。
• 8 维二次型与偶 Clifford 代数的单个分量上埃尔米特型之间的对应关系，使得 12 维情形可约化为 8 维情形，从而确认了 $\dim q = 12$ 时 $G(q) = \mathrm{Hyp}_2(q)$。