[論文レビュー] 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)$ を法とするモジュラス還元を適用する。
• 根系の対称性と交換子恒等式を用いて、異なる根に沿った交換子を関連づけ、特に $\mathrm{G}_2$ において有効に活用する。
• 初期ケースの検証のため、$\mathrm{G}_2$ に対してMathematicaパッケージを用いた明示的行列計算を実施する。
• 特に [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 根系 $\Delta$ が $\mathrm{A}_2$ または $\mathrm{C}_2$ を含む場合、安定性写像 $[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)$ を法として同値であることを示している。
• 任意の根系 $\Phi$ が $\mathrm{A}_2$ または $\mathrm{C}_2$ 型の部分系 $\Delta$ を含む場合、安定性写像 $[E(\Delta,A), E(\Delta,B)]/E(\Delta,R,AB) \to [E(\Phi,A), E(\Phi,B)]/E(\Phi,R,AB)$ は全射であり、アーベル化の安定性が保証される。
• 従来の[35]では3種類の生成子が必要であったが、本研究では唯一の長い根に付随する基本的交換子で十分であることを示し、それらの結果を一般化・改善した。
• 本論文では $E(\Phi,B,A)$ がすべての $\alpha$ に対して基本的共役 $z_\alpha(a,b)$ で生成可能であることを確立したが、これはパラボリック部分系に制限可能かどうかという未解決の問題を提起している。