[论文解读] Automorphisms of Chevalley groups of types $A_l, D_l, E_l$ over local rings without 1/2

E. I. Bunina|arXiv (Cornell University)|Feb 5, 2010

Finite Group Theory Research参考文献 34被引用 5

一句话总结

本文证明了在不含 $1/2$ 的交换局部环上，型为 $A_l$、$D_l$ 和 $E_l$（$l \geq 3$）的Chevalley群的每个自同构都是标准的——即由环自同构、内自同构、中心自同构和图自同构复合而成。证明依赖于将先前在含 $1/2$ 的环上获得的结果进行推广，并利用矩阵共轭和权格形结构，表明任何自同构在伴随表示中经适当基变换后，均可由环自同构实现。

ABSTRACT

In the given paper we prove that every automorphism of a Chevalley group of type $A_l$, $D_l$, or $E_l$, $l\geqslant 3$, over a commutative local ring without 1/2 is standard, i. e., it is a composition of ring, inner, central and graph automorphisms.

研究动机与目标

• 描述在 $2$ 不可逆的交换局部环上，型为 $A_l$、$D_l$ 和 $E_l$ 的Chevalley群的完整自同构群。
• 将先前在含 $1/2$ 的环上建立的Chevalley群自同构结果推广至 $1/2$ 不存在的情形。
• 证明所有自同构均为标准形式，即环自同构、内自同构、中心自同构和图自同构的复合，即使在环中不存在 $1/2$ 的情况下亦成立。
• 通过解决经典型与例外型 $A_l$、$D_l$、$E_l$ 在不含 $1/2$ 的交换环上Chevalley群自同构分类中的一个空白，完成该分类。

提出的方法

• 利用先前工作（特别是 [15]）中关于含 $1/2$ 的环上标准自同构结构的结果，并将其推广至不含 $1/2$ 的环。
• 通过Chevalley群的伴随表示，将自同构实现为 $\mathrm{GL}(V)$ 中矩阵的共轭，将初等群 $E_{\mathrm{ad}}(\Phi,R)$ 映射到 $E_{\mathrm{ad}}(\Phi,R')$，其中 $R'$ 是 $R$ 的子环。
• 利用权格形与Chevalley基的结构，分析自同构对根元素 $x_\alpha(t)$ 和余根元素 $h_\alpha(t)$ 的作用，表明对参数 $t$ 的诱导映射定义了一个环同态 $\rho: R \to R'$。
• 通过矩阵单位重构证明诱导的环同态 $\rho$ 是 $R$ 上的自同构：利用群作用生成矩阵单位 $E_{ij}$，并证明共轭矩阵的系数属于 $R$，从而强制 $R' = R$。
• 利用局部环中每个元素均为两个单位之和的事实，将环自同构 $\rho$ 从 $R^*$ 扩展至整个 $R$，确保其满足加法性与乘法性。
• 将自同构 $\varphi$ 与由矩阵 $C \in \mathrm{GL}(V)$ 实现的基变换组合，将问题约化为环自同构 $\rho$，从而证明 $\varphi$ 是标准形式。

实验结果

研究问题

• RQ1 在不含 $1/2$ 的局部环上，型为 $A_l$、$D_l$ 和 $E_l$ 的Chevalley群的所有自同构是否均为标准的，即环自同构、内自同构、中心自同构和图自同构的复合？
• RQ2 能否将此前在含 $1/2$ 的环上建立的初等Chevalley群自同构分类推广至不含 $1/2$ 的环？
• RQ3 当 $2$ 不可逆时，Chevalley群在伴随表示中的正规化子是否仍保持标准自同构结构？
• RQ4 从Chevalley群的自同构诱导出的参数环 $R$ 上的映射是否必然是 $R$ 上的自同构，即使 $1/2 \notin R$？
• RQ5 当 $1/2$ 不可逆时，能否从伴随表示中的群作用重构矩阵单位，以强制像环等于原环？

主要发现

• 在不含 $1/2$ 的交换局部环上，型为 $A_l$、$D_l$ 或 $E_l$（$l \geq 3$）的Chevalley群 $G_{\pi}(\Phi,R)$ 的每个自同构均为标准的，即环自同构、内自同构、中心自同构和图自同构的复合。
• 通过 $C \in \mathrm{GL}(V)$ 的共轭，自同构诱导出一个环自同构 $\rho: R \to R$，此后自同构完全由环自同构决定。
• 将 $E_{\mathrm{ad}}(\Phi,R)$ 通过 $C$ 共轭得到的子环 $R'$ 必须等于 $R$，这是通过重构矩阵单位 $E_{ij}$ 并利用 $C$ 和 $C^{-1}$ 的可逆性项确保 $C(aE_{11})C^{-1}$ 的所有系数属于 $R$ 而得出的，从而强制 $R' = R$。
• $\rho: R \to R$ 在单位上满足加法性与乘法性，且由于 $R$ 中每个元素均为两个单位之和，$\rho$ 可扩展为 $R$ 上的环自同构，从而证明其为标准形式。
• 证明依赖于Weil群在根上的传递作用，将一个根系中的矩阵单位生成传播至其他根系，从而实现对群及其自同构结构的全面控制。
• 该结果完成了对在交换局部环上型为 $A_l$、$D_l$、$E_l$ 的Chevalley群自同构的分类，解决了不含 $1/2$ 的情形。