[论文解读] Automorphisms of Chevalley groups of type $B_l$ over local rings with 1/2

E. I. Bunina|ArXiv.org|Nov 22, 2009

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

一句话总结

本文证明了在包含 $1/2$ 的交换局部环上，类型为 $B_l$（$l \geq 2$）的Chevalley群的每个自同构都是标准的——即由环自同构、内自同构和中心自同构复合而成。证明依赖于将环扩展以包含特定元素的平方根，构造出正规化初等子群的环面元素，并分析自同构在群及其关于中心的商群上的作用，最终证明任意自同构均由环、内和中心自同构的组合诱导而成。

ABSTRACT

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

研究动机与目标

• 对包含 $1/2$ 的交换局部环上类型为 $B_l$ 的Chevalley群的所有自同构进行分类。
• 将此前关于局部环上Chevalley群自同构的结果推广至 $B_l$ 根系的情形。
• 证明每个自同构均为标准自同构，即环自同构、内自同构和中心自同构的复合。
• 将先前在 $A_l$、$D_l$、$E_l$、$F_4$ 和 $G_2$ 情形下使用的方法推广至 $B_l$ 情形。
• 证明全Chevalley群 $G_{\pi}(\Phi,R)$ 的自同构由初等子群 $E_{\pi}(\Phi,R)$ 的自同构通过环自同构和环面元素的延拓所诱导。

提出的方法

• 通过添加特定元素 $r_1$ 和 $r_l$ 的平方根，构造局部环 $R$ 的扩张 $S$，从而在 $G_{\pi}(\Phi,S)$ 中定义环面元素。
• 利用Chevalley生成元 $h_{\alpha_i}(s)$ 定义 $G_{\pi}(\Phi,S)$ 中的环面元素 $t_1$ 和 $t_l$，确保它们正规化初等子群 $E_{\pi}(\Phi,R)$。
• 利用初等Chevalley群关于其中心的商同构于伴随初等群 $E_{\mathrm{ad}}(\Phi,R)$ 的事实，将问题约化至已知的 $E_{\mathrm{ad}}(\Phi,R)$ 自同构结果。
• 将商群上的环自同构 $\overline{\rho}$ 提升至全群 $E_{\pi}(\Phi,R)$，并保持其在中心上的作用。
• 通过 $g = te \in G_{\pi}(\Phi,S)$（其中 $e \in E_{\pi}(\Phi,R)$，$t \in T_{\pi}(\Phi,S)$）构造共轭自同构 $\varphi_g$，以实现类似内自同构的作用。
• 定义复合自同构 $\psi = \varphi_{g^{-1}} \circ \rho^{-1} \circ \varphi$，其在初等子群上作用平凡，从而证明其为中心自同构，进而在完全群情形下为平凡自同构。

实验结果

研究问题

• RQ1 在包含 $1/2$ 的局部环上，类型为 $B_l$ 的Chevalley群的所有自同构是否均为标准自同构，即环自同构、内自同构和中心自同构的复合？
• RQ2 对于 $\Phi = B_l$，初等Chevalley群 $E_{\pi}(\Phi,R)$ 的自同构群是否能通过伴随群 $E_{\mathrm{ad}}(\Phi,R)$ 的提升完全描述？
• RQ3 如何在扩张环 $S$ 上显式构造 $G_{\pi}(\Phi,S)$ 中的环面元素，使其正规化初等子群并实现自同构？
• RQ4 全Chevalley群 $G_{\pi}(\Phi,R)$ 的自同构在多大程度上可从初等子群 $E_{\pi}(\Phi,R)$ 的自同构导出？
• RQ5 当自同构在初等子群 $E_{\pi}(\Phi,R)$ 上平凡作用时，其是否必为中心自同构？

主要发现

• 在包含 $1/2$ 的交换局部环上，类型为 $B_l$ 的Chevalley群的每个自同构均为标准自同构，即环自同构、内自同构和中心自同构的复合。
• 初等Chevalley群 $E_{\pi}(\Phi,R)$ 的自同构群由环自同构和通过 $R$ 的适当扩张 $S$ 中的元素诱导的内自同构生成。
• 初等Chevalley群 $E_{\pi}(\Phi,R)$ 关于其中心的商同构于伴随初等群 $E_{\mathrm{ad}}(\Phi,R)$，且后者的自同构可提升至前者。
• 在 $G_{\pi}(\Phi,S)$ 中，环面元素 $t_1$ 和 $t_l$ 通过 $r_1$ 和 $r_l$ 的平方根显式构造，确保其对根元素具有正确的共轭作用。
• 任何在 $E_{\pi}(\Phi,R)$ 上平凡作用的 $G_{\pi}(\Phi,R)$ 的自同构均为中心自同构，且由于 $E_{\pi}(\Phi,R)$ 是完全群，此类自同构必为平凡自同构。
• 全Chevalley群 $G_{\pi}(\Phi,R)$ 由其环面和初等子群生成，因此其自同构结构完全由其在 $E_{\pi}(\Phi,R)$ 和环面上的作用决定。