[论文解读] Groups of type E_7 over arbitrary fields

Skip Garibaldi|ArXiv.org|Nov 9, 1998

Advanced Algebra and Geometry参考文献 15被引用 6

一句话总结

本文引入了一种新的代数结构——带有辛对合的非退化弗罗本纽斯三元系统，该结构统一参数化了任意特征不为2或3的域上的所有型E₇的伴随代数群。通过提供一个刻画非退化系统的恒等式，并整合此前被忽略的一个不变量，该构造完整描述了辛对合，并实现了对具有2阶蒂茨代数的群的显式实现，特别是在实闭域上。

ABSTRACT

Freudenthal triple systems come in two flavors, degenerate and nondegenerate. The best criterion for distinguishing between the two which is available in the literature is by descent. We provide an identity which is satisfied only by nondegenerate triple systems. We then use this to define algebraic structures whose automorphism groups produce all adjoint algebraic groups of type E_7 over an arbitrary field of characteristic not 2 or 3. The main advantage of these new structures is that they incorporate a previously unconsidered invariant (a symplectic involution) of these groups in a fundamental way. As an application, we give a construction of adjoint groups with Tits algebras of index 2 which provides a complete description of this involution and apply this to groups of type E_7 over a real-closed field.

研究动机与目标

• 为任意特征不为2或3的域上的所有型E₇的伴随代数群提供一种统一的代数构造。
• 识别并整合此前未考虑的不变量——具体而言，是辛对合——到E₇群的结构中。
• 通过构造具有2阶蒂茨代数的显式模型，解决实闭域上E₇群的分类问题。
• 提出一种新判别准则，利用仅在非退化情况下成立的恒等式，以区分非退化与退化弗罗本纽斯三元系统。

提出的方法

• 引入一个恒等式，用于刻画非退化弗罗本纽斯三元系统，从而将其与退化情况区分开来。
• 基于带有辛对合的非退化三元系统构造代数结构，这些结构编码了E₇群的自同构群。
• 使用伽罗瓦下降技术，将这些结构与任意域上的群联系起来。
• 将新框架应用于构造具有2阶蒂茨代数的型E₇伴随群，特别是在实闭域上。
• 证明辛对合自然地源于结构本身，而非外部引入的数据。
• 利用新恒等式确保所得代数对象仅产生型E₇的伴随群，避免退化或非半单情形。

实验结果

研究问题

• RQ1 如何利用代数结构统一参数化任意特征不为2或3的域上的所有型E₇伴随代数群？
• RQ2 辛对合捕捉了E₇群的何种不变量？它如何被整合到结构定义中？
• RQ3 能否找到一个恒等式，以刻画非退化弗罗本纽斯三元系统并将其与退化情况区分开来？
• RQ4 如何在实闭域上显式构造具有2阶蒂茨代数的E₇群？
• RQ5 辛对合在E₇群的分类中起什么作用？它如何影响自同构群的结构？

主要发现

• 引入了一个仅在非退化弗罗本纽斯三元系统中成立的恒等式，为区分非退化与退化系统提供了精确判别准则。
• 基于带有辛对合的非退化三元系统构造代数结构，可完全得到任意特征不为2或3的域上的所有型E₇伴随代数群。
• 证明辛对合是E₇群的基本不变量，此前未被纳入结构定义中。
• 成功实现了具有2阶蒂茨代数的伴随E₇群的显式构造，特别是在实闭域上。
• 该方法完整描述了辛对合在代数结构中的表现形式，解决了E₇群分类中长期存在的问题。
• 该框架通过将辛对合作为核心组成部分嵌入定义结构中，统一了任意域上E₇群的分类。