[论文解读] Automorphisms of Chevalley groups of types B_2 and G_2 over local rings

E. I. Bunina|ArXiv.org|Nov 4, 2007

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文证明了在包含 $1/2$ 和 $1/3$ 的局部环上，类型为 $B_2$ 和 $G_2$ 的伴随Chevalley群的所有自同构都是标准的——即由内自同构、环自同构和中心自同构复合而成。证明利用了矩阵群嵌入、局部环上的线性代数以及初等子群的结构，表明自同构源于环自同构和矩阵表示中的基变换，最终诱导出整个矩阵环 $M_n(R)$ 的自同构。

ABSTRACT

In the paper we prove that every automorphism of any adjoint Chevalley group of types B_2 or G_2 is standard, i.e., it is a composition of the ``inner'' automorphism, ring automorphism and central automorphism.

研究动机与目标

• 对具有 $1/2$ 和 $1/3$ 的局部交换环上，$B_2$ 与 $G_2$ 型伴随Chevalley群的所有自同构进行分类。
• 将关于在域和诺特环上Chevalley群自同构的已知结果，推广至更广泛的局部环类。
• 证明此类自同构是标准的，即内自同构、环自同构与中心自同构的复合。
• 建立Chevalley群的自同构诱导出其嵌入的矩阵环 $M_n(R)$ 的自同构。

提出的方法

• 利用伴随表示将Chevalley群 $G_{ad}(R,\Phi)$ 嵌入 $GL_n(R)$，将其视为矩阵群。
• 利用局部环的性质，如行列式唯一可逆性以及系数可逆时线性方程组的可解性，分析矩阵结构。
• 证明初等子群 $E_{ad}(R,\Phi)$ 通过其对矩阵单位的作用，可生成整个矩阵环 $M_n(R)$。
• 证明任何保持 $E_{ad}(R,\Phi)$ 的自同构必源于环自同构 $\rho$ 与可逆矩阵 $C$ 的共轭作用，从而得到标准形式。
• 利用Weil群作用生成所有矩阵单位 $E_{i,j}$，表明自同构的像张成整个矩阵代数。
• 证明诱导在群上的自同构仅在平凡时固定初等子群点点不动，从而强制自同构为标准形式。

实验结果

研究问题

• RQ1 在具有 $1/2$ 和 $1/3$ 的局部环上，$B_2$ 与 $G_2$ 型伴随Chevalley群的所有自同构是否都是标准的，即内自同构、环自同构与中心自同构的复合？
• RQ2 能否通过局部环上的矩阵群技巧，完全描述此类Chevalley群的自同构群？
• RQ3 Chevalley群的自同构是否诱导出其嵌入的矩阵环 $M_n(R)$ 的自同构？
• RQ4 局部环的性质——尤其是 2 和 3 的可逆性——如何促成自同构的分类？
• RQ5 初等子群在确定整个自同构群结构中起什么作用？

主要发现

• 在包含 $1/2$ 和 $1/3$ 的局部环 $R$ 上，对 $\Phi = B_2$ 或 $G_2$，$G_{ad}(R,\Phi)$ 的每个自同构都是标准的，即内自同构、环自同构与中心自同构的复合。
• 自同构群 $G_{ad}(R,\Phi)$ 通过共轭和环自同构作用于矩阵环 $M_n(R)$，在 $R$ 上诱导出环自同构 $\rho$。
• 初等子群 $E_{ad}(R,\Phi)$ 生成整个矩阵环 $M_n(R)$，任何保持它的自同构必源于环自同构与基变换。
• 若诱导在群上的自同构在初等子群上恒等，则该自同构必为恒等，从而强制其为标准形式。
• $B_2$ 与 $G_2$ 的伴随表示维数 $n$ 分别为 10 和 14，且由于 $n$ 不被 3 整除，因此在环面自同构中的标量因子必须平凡。
• 因此，自同构完全由环自同构与共轭决定，且不存在非平凡的中心自同构，除单位根的标量乘法外，后者因维数条件而消失。