[论文解读] Products of two involutions in orthogonal and symplectic groups

Clément de Seguins Pazzis|arXiv (Cornell University)|Feb 1, 2023

Matrix Theory and Algorithms被引用 5

一句话总结

本文利用Wall不变量，对特征不为2的域上的辛群中的双反射元进行了刻画，证明了：一个元素是两个对合的乘积当且仅当其所有若尔当代数数均为偶数。此外，本文还提供了Wonenburger关于正交群结果的简化证明，通过补全Klaus Nielsen所归因的缺失证明，解决了文献中长期存在的一个漏洞。

ABSTRACT

An element of a group is called bireflectional when it is the product of two involutions of the group (i.e. elements of order 1 or 2). If an element is bireflectional then it is conjugated to its inverse. It is known that all elements of orthogonal groups of quadratic forms are bireflectional. F. Bünger has characterized the elements of unitary groups (over fields of characteristic not $2$) that are bireflectional. Yet in symplectic groups over fields with characteristic different from 2, in general there are elements that are conjugated to their inverse but are not bireflectional (however, over fields of characteristic 2, every element of a symplectic group is bireflectional). In this article, we characterize the bireflectional elements of symplectic groups in terms of Wall invariants, over fields of characteristic not 2: the result is cited without proof in Bünger's PhD thesis, and attributed to Klaus Nielsen. We also take advantage of our approach to give a simplified proof of Wonenburger's corresponding result for orthogonal groups and general linear groups.

研究动机与目标

• 通过Wall不变量，刻画特征不为2的域上辛群中的双反射元。
• 通过提供Nielsen未发表结果的完整证明，解决文献中关于辛群双反射性的一个漏洞。
• 提供Wonenburger关于正交群结果的简化、自包含的证明，纠正其原始证明中的错误。
• 使用不变量理论方法，统一并澄清经典群中双反射性的理论。

提出的方法

• 本文采用ε-同构对（形式-同构对）的框架，分析正交群与辛群中同构的结构。
• 应用Wall对经典群共轭类的分类，特别关注Wall不变量与若尔当代数数。
• 对于辛群，该方法涉及将空间分解为广义特征子空间，并分析同构在$p$-幂分量上的作用。
• 证明利用辛形式与标准形式$H_V^{-1}$之间的同构，表明在商空间上诱导的自同态具有偶数若尔当代数数。
• 通过辛形式与对合的结构，建立元素为双反射元当且仅当其所有若尔当代数数均为偶数。
• 对于正交群，该方法构造了与同构可交换的显式对合，其乘积即为原元素，依赖于循环向量与回文最小多项式。

实验结果

研究问题

• RQ1 在特征不为2的域上，辛群的哪些元素可以表示为两个对合的乘积？
• RQ2 一个辛群元素的若尔当代数数需满足何种精确条件，才能决定其双反射性？
• RQ3 Wonenburger关于正交群中双反射性的原始证明为何存在关键错误？如何修正？
• RQ4 如何重建并严谨证明Nielsen对辛群双反射元素的未发表刻画？
• RQ5 能否将用于辛群的方法加以改编，以获得Wonenburger关于正交群结果的更简明证明？

主要发现

• 在特征不为2的域上，辛群的一个元素是双反射元当且仅当其所有若尔当代数数均为偶数。
• 辛群元素的双反射性完全由Wall不变量刻画，具体通过若尔当代数数的奇偶性体现。
• 本文提供了Wonenburger关于正交群结果的修正与简化证明，表明每个元素都是双反射元。
• 证明揭示了Wonenburger原始论证中的错误在于：当维数为偶数时，错误地将一个向量置于子空间中。
• 正交情形下显式对合的构造依赖于循环向量的存在性，以及一个对称对合，该对合交换同构的正向与反向幂。
• 该方法可推广至证明双反射性在同构等价下保持不变，且Wall不变量完全分类了双反射共轭类。