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

E. I. Bunina|arXiv (Cornell University)|Feb 2, 2007

Finite Group Theory Research参考文献 28被引用 6

一句话总结

本文证明了在包含 $1/2$ 的局部交换环上，类型为 $A_l$、$D_l$ 或 $E_l$ 的初等伴随 Chevalley 群的每个自同构都是一个环自同构与 $ \mathrm{GL}(V)$ 中正规化子元素的共轭的复合，其中 $V$ 是伴随表示空间。该结果修正了 Abe 对 $E_8$ 的证明中的缺陷，并将标准自同构描述推广至包含 $1/2$ 的局部环。主要贡献是通过表示论与群论方法，对这类自同构进行了完整分类。

ABSTRACT

In the paper we prove that every automorphism of and elementary adjoint Chevalley group of types $A_l, D_l$, or $E_l$, over local commutative ring with 1/2 is a composition of a ring automorphism and conjugation by some matrix from the normalizer of the Chevalley group in $\GL(V)$ ($V$ is the adjoint representation space).

研究动机与目标

• 描述在包含 $1/2$ 的局部交换环上，类型为 $A_l$、$D_l$ 和 $E_l$ 的初等伴随 Chevalley 群的完整自同构群。
• 修正 Abe 早期证明中关于 $E_8$ 的伴随表示的关键错误，其中对长根有 $\mathrm{ad}(x_\alpha)^2 \neq 0$。
• 将标准自同构描述——环自同构与正规化子中的共轭的复合——推广至包含 $1/2$ 的局部环情形，填补了在交换环上 Chevalley 群理论中长期存在的空白。
• 将 Petechuk 的方法推广以处理 $E_8$ 的例外情形，该情形缺乏满足 $\mathrm{ad}(x_\alpha)^2 = 0$ 的表示（对长根而言）。

提出的方法

• 利用忠实的整数表示 $\pi: \mathcal{L} \to \mathfrak{gl}(V)$，将初等 Chevalley 群 $E_{\pi}(\Phi,R)$ 定义为 $\mathrm{GL}(V)$ 的子群。
• 由于 $\pi(x_\alpha)$ 的幂零性，构造初等根元素 $x_\alpha(t) = \exp(t\pi(x_\alpha))$ 为有限指数级数。
• 应用 Weil 群作用，将性质从一个根空间传递到另一个，从而生成 $M_n(R)$ 中的所有矩阵单位。
• 利用 $E_{\mathrm{ad}}(\Phi,R)$ 中环 $H$ 的正规化子 $N$，满足 $N/H \cong W$，分析共轭作用。
• 证明 $\mathrm{GL}(V)$ 中矩阵 $C$ 对 $E_{\mathrm{ad}}(\Phi,R)$ 的共轭作用生成 $M_n(R')$，其中 $R' \subseteq R$ 为子环，并通过矩阵单位生成性推出 $R' = R$。
• 通过共轭与群生成性建立环自同构 $\rho$，表明 $E_{\mathrm{ad}}(\Phi,R)$ 的任意自同构均可通过 $\rho$ 与某个 $C \in N$ 的共轭作用实现。

实验结果

研究问题

• RQ1 在包含 $1/2$ 的局部环 $R$ 上，初等伴随 Chevalley 群 $E_{\mathrm{ad}}(\Phi,R)$ 的完整自同构群的结构是什么？
• RQ2 Abe 的早期证明为何在 $E_8$ 上失效？能否通过表示论方法修正这一失效？
• RQ3 标准自同构描述——环自同构与正规化子中元素的共轭的复合——是否可推广至所有类型 $A_l$、$D_l$ 和 $E_l$ 的包含 $1/2$ 的局部环？
• RQ4 Weil 群作用与矩阵单位生成性如何用于从群 $E_{\mathrm{ad}}(\Phi,R)$ 重构完整的矩阵环 $M_n(R)$？
• RQ5 环 $R$ 是否由群 $E_{\mathrm{ad}}(\Phi,R)$ 唯一确定（模自同构）？共轭是否保持环结构？

主要发现

• 在包含 $1/2$ 的局部环 $R$ 上，对类型 $\Phi = A_l, D_l, E_l$，$E_{\mathrm{ad}}(\Phi,R)$ 的每个自同构都是一个环自同构与 $\mathrm{GL}(V)$ 中正规化子 $N$ 的元素的共轭的复合。
• 该证明通过表明在 $E_8$ 的伴随表示中，对长根有 $\mathrm{ad}(x_\alpha)^2 \neq 0$，修正了 Abe 工作中的缺陷，从而否定了其关键假设。
• 初等 Chevalley 群 $E_{\mathrm{ad}}(\Phi,R)$ 生成完整的矩阵环 $M_n(R)$，从而允许从群结构重构底层环 $R$。
• 若矩阵 $C \in \mathrm{GL}(V)$ 的共轭将 $E_{\mathrm{ad}}(\Phi,R)$ 映射到 $E_{\mathrm{ad}}(\Phi,R')$，则必有 $R' = R$，即此类共轭保持环结构。
• $E_{\mathrm{ad}}(\Phi,R)$ 的自同构群同构于环自同构群与正规化子模环 $H$ 的半直积，与标准自同构定理一致。
• 该方法将 Petechuk 的技术推广至处理例外情形 $E_8$，其中不存在满足对长根有 $\mathrm{ad}(x_\alpha)^2 = 0$ 的表示。