[论文解读] Commutators of relative and unrelative elementary subgroups in Chevalley groups

N. A. Vavilov, Zuhong Zhang|arXiv (Cornell University)|Mar 13, 2020

Finite Group Theory Research参考文献 30被引用 9

一句话总结

该论文通过证明仅需与单个长根相关的初等换位子即可生成Chevalley群中混合换位子子群 $[E(\tilde{\Phi},A), E(\tilde{\Phi},B)]$ 的简化形式，实现了该类子群生成集的显著简化，模相对初等子群 $E(\tilde{\Phi},R,AB)$。关键结果表明，这些换位子在代数K-理论中表现如符号一般，与以往工作相比，其生成集被极大缩减。

ABSTRACT

In the present paper, which is a direct sequel of our papers [10,11,35] joint with Roozbeh Hazrat, we achieve a further dramatic reduction of the generating sets for commutators of relative elementary subgroups in Chevalley groups. Namely, let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $A,B$ be two ideals of $R$. We consider subgroups of the Chevalley group $G(Φ,R)$ of type $Φ$ over $R$. The unrelative elementary subgroup $E(Φ,A)$ of level $A$ is generated (as a group) by the elementary unipotents $x_α(a)$, $α\inΦ$, $a\in A$, of level $A$. Its normal closure in the absolute elementary subgroup $E(Φ,R)$ is denoted by $E(Φ,R,A)$ and is called the relative elementary subgroup of level $A$. The main results of [11,35] consisted in construction of economic generator sets for the mutual commutator subgroups $[E(Φ,R,A),E(Φ,R,B)]$, where $A$ and $B$ are two ideals of $R$. It turned out that one can take Stein---Tits---Vaserstein generators of $E(Φ,R,AB)$, plus elementary commutators of the form $y_α(a,b)=[x_α(a),x_{-α}(b)]$, where $a\in A$, $b\in B$. Here we improve these results even further, by showing that in fact it suffices to engage only elementary commutators corresponding to {\it one\/} long root, and that modulo $E(Φ,R,AB)$ the commutators $y_α(a,b)$ behave as symbols. We discuss also some further variations and applications of these results.

研究动机与目标

• 简化交换环上Chevalley群中相互换位子子群 $[E(\Phi,R,A), E(\Phi,R,B)]$ 的生成集。
• 将所需生成元的数量从多种根类型减少至仅一个长根。
• 证明模 $E(\Phi,R,AB)$ 的初等换位子 $y_\alpha(a,b) = [x_\alpha(a), x_{-\alpha}(b)]$ 在代数K-理论中表现为符号。
• 推广并改进先前关于Chevalley群的双相对与多相对换位子公式的成果。
• 解决关于换位子子群的表示和阿贝尔商群稳定性方面的开放问题。

提出的方法

• 使用Stein–Tits–Vaserstein生成元及初等换位子 $y_\alpha(a,b) = [x_\alpha(a), x_{-\alpha}(b)]$，其中 $a \in A$，$b \in B$，$\alpha \in \Phi$。
• 通过模 $E(\Phi,R,AB)$ 的约化方法分析 $[E(\Phi,R,A), E(\Phi,R,B)]$ 的结构。
• 利用根系对称性与换位子恒等式，关联不同根上的换位子，尤其在 $\mathrm{G}_2$ 中。
• 通过Mathematica软件包对 $\mathrm{G}_2$ 进行显式矩阵计算，验证初始情形。
• 基于 [11, 35] 等文献中关于相对初等子群与换位子公式的既有成果，构建在已确立的生成集之上。
• 利用模 $E(\Phi,R,AB)$ 下 $y_\alpha(a,b)$ 的符号行为，统一并简化换位子子群的结构。

实验结果

研究问题

• RQ1 能否将 $[E(\Phi,R,A), E(\Phi,R,B)]$ 的生成集缩减为仅由一个长根相关的初等换位子构成？
• RQ2 模 $E(\Phi,R,AB)$ 的换位子 $y_\alpha(a,b)$ 是否在代数K-理论中表现为符号？
• RQ3 对于包含 $\mathrm{A}_2$ 或 $\mathrm{C}_2$ 型子系统 $\Delta$ 的根系 $\Phi$，稳定性映射 $[E(\Delta,A), E(\Delta,B)]/E(\Delta,R,AB) \to [E(\Phi,A), E(\Phi,B)]/E(\Phi,R,AB)$ 是否为满射？
• RQ4 $[E(\Phi,A), E(\Phi,B)]/E(\Phi,R,AB)$ 的完整表示（由生成元与关系给出）是什么？
• RQ5 群 $E(\Phi,B,A)$ 能否由在受限根集（如抛物子系统中的根）上取值的初等共轭 $z_\alpha(a,b) = {}^{x_{-\alpha}(b)}x_\alpha(a)$ 生成？

主要发现

• 相互换位子子群 $[E(\Phi,R,A), E(\Phi,R,B)]$ 模 $E(\Phi,R,AB)$ 由单个长根 $\alpha$ 的初等换位子 $y_\alpha(a,b)$ 生成，显著减少了所需生成元的数量。
• 模 $E(\Phi,R,AB)$ 的 $y_\alpha(a,b)$ 的类在代数K-理论中表现为符号，暗示其与 $K_2$-型符号之间存在深刻的结构类比。
• 当 $\Phi = \mathrm{G}_2$ 时，对所有根 $\alpha, \beta$，关系 $y_\alpha(ac,b) \equiv y_\beta(a,cb) \pmod{E(\Phi,R,AB)}$ 成立，表明所有长根换位子模 $E(\Phi,R,AB)$ 等价。
• 对于任意包含 $\mathrm{A}_2$ 或 $\mathrm{C}_2$ 型子系统 $\Delta$ 的根系 $\Phi$，稳定性映射 $[E(\Delta,A), E(\Delta,B)]/E(\Delta,R,AB) \to [E(\Phi,A), E(\Phi,B)]/E(\Phi,R,AB)$ 是满射，意味着阿贝尔商群的稳定性成立。
• 本研究推广并改进了先前 [35] 的工作，后者需三种生成元，而本研究证明仅需一个长根上的初等换位子即可。
• 本文确立了 $E(\Phi,B,A)$ 由所有 $\alpha$ 上的初等共轭 $z_\alpha(a,b)$ 生成，并提出开放问题：是否可将其限制在抛物子系统上的根上。