[論文レビュー] Commutators of relative and unrelative elementary unitary groups

N. A. Vavilov, Zuhong Zhang|arXiv (Cornell University)|Apr 1, 2020

Finite Group Theory Research参考文献 66被引用数 5

ひとこと要約

本稿は、バクのユニタリ群における混合交換子部分群 $[\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ が、追加の非自明な生成子を必要とせず、単に基本的交換子と基本的共役によって生成されることを確立している。また、相対的でない交換子公式 $[\operatorname{FU}(2n,I,\Gamma), \operatorname{FU}(2n,J,\Delta)] = [\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ を証明し、形式環上のユニタリ交換子計算における既存の結果を統合・簡略化している。

ABSTRACT

In the present paper we find generators of the mixed commutator subgroups of relative elementary groups and obtain unrelativised versions of commutator formulas in the setting of Bak's unitary groups. It is a direct sequel of our similar results were obtained for $GL(n,R)$ and for Chevalley groups over a commutative ring with 1, respectively. Namely, let $(A,Λ)$ be any form ring and $n\ge 3$. We consider Bak's hyperbolic unitary group $GU(2n,A,Λ)$. Further, let $(I,Γ)$ be a form ideal of $(A,Λ)$. One can associate with $(I,Γ)$ the corresponding elementary subgroup $FU(2n,I,Γ)$ and the relative elementary subgroup $EU(2n,I,Γ)$ of $GU(2n,A,Λ)$. Let $(J,Δ)$ be another form ideal of $(A,Λ)$. In the present paper we prove an unexpected result that the non-obvious type of generators for $\big[EU(2n,I,Γ),EU(2n,J,Δ)\big]$, as constructed in our previous papers with Hazrat, are redundant and can be expressed as products of the obvious generators, the elementary conjugates $Z_{ij}(ab,c)=T_{ji}(c)T_{ij}(ab)T_{ji}(-c)$ and $Z_{ij}(ba,c)$, and the elementary commutators $Y_{ij}(a,b)=[T_{ji}(a),T_{ij}(b)]$, where $a\in(I,Γ)$, $b\in(J,Δ)$, $c\in(A,Λ)$. It follows that $\big[FU(2n,I,Γ),FU(2n,J,Δ)\big]= \big[EU(2n,I,Γ),EU(2n,J,Δ)\big]$. In fact, we establish much more precise generation results. In particular, even the elementary commutators $Y_{ij}(a,b)$ should be taken for one long root position and one short root position. Moreover, $Y_{ij}(a,b)$ are central modulo $EU(2n,(I,Γ)\circ(J,Δ))$ and behave as symbols. This allows us to generalise and unify many previous results,including the multiple elementary commutator formula, and dramatically simplify their proofs.

研究の動機と目的

• 相対的基本的ユニタリ群の混合交換子部分群における非自明な生成子の冗長性を解消すること。
• バクのユニタリ群の文脈で、相対的でない交換子公式を確立すること。
• 交換子部分群における中心的性質を用いて、複数の基本的交換子公式を一般化・簡略化すること。
• 特にバクおよびハザラットとの共同研究から得られた既存の結果を統合・強化すること。
• 将来のスタインバーグ群、奇数ユニタリ群、およびユニタリ設定における有界交換子幅に関する研究の基盤を築くこと。

提案手法

• 著者たちは、バクの双曲的ユニタリ群 $\operatorname{GU}(2n,A,\Lambda)$ における混合交換子部分群 $[\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ の構造を分析している。
• 非自明と見なされていた生成子が、基本的共役 $Z_{ij}(ab,c)$ および $Z_{ij}(ba,c)$、および基本的交換子 $Y_{ij}(a,b) = [T_{ji}(a), T_{ij}(b)]$ の積として表現可能であることを示している。
• 証明は、$Y_{ij}(a,b)$ が $\operatorname{EU}(2n,(I,\Gamma)\circ(J,\Delta))$ を法として中心的であることに依拠し、これらを交換子計算における記号的生成子として扱っている。
• 解析は長根および短根の位置にまで拡張され、生成子は形式イデアル $(I,\Gamma)$ および $(J,\Delta)$ の元によって明示的にパラメータ化されている。
• $\operatorname{GL}(n,R)$ やチーガルリー群に関する先行研究の技術が適応され、相対的局所化と交換子恒等式が用いられている。
• 結果は、形式環 $(A,\Lambda)$ および形式イデアル $(I,\Gamma)$, $(J,\Delta)$ の構造的性質に基づいて得られており、$n \geq 3$ である。

実験結果

リサーチクエスチョン

• RQ1 混合交換子部分群 $[\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ の非自明な生成子は、基本的共役 $Z_{ij}(ab,c)$, $Z_{ij}(ba,c)$ および基本的交換子 $Y_{ij}(a,b)$ のみで表現可能か？
• RQ2 任意の可換形式環上で、相対的でない交換子公式 $[\operatorname{FU}(2n,I,\Gamma), \operatorname{FU}(2n,J,\Delta)] = [\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ が成り立つか？
• RQ3 基本的交換子 $Y_{ij}(a,b)$ は、合同部分群を法としてどのように振る舞い、記号的生成子として使用可能か？
• RQ4 これらの結果を奇数ユニタリ群およびユニタリスタインバーグ群へ一般化できる範囲はどの程度か？
• RQ5 $[\operatorname{GU}(\Phi,A,I), E(\Phi,A,J)]$ における交換子長に、環 $A$ に依存しない一様な上限が存在するか？

主な発見

• 混合交換子部分群 $[\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$ の非自明な生成子は冗長であり、基本的共役 $Z_{ij}(ab,c)$, $Z_{ij}(ba,c)$ および基本的交換子 $Y_{ij}(a,b)$ の積として表現可能である。
• 相対的でない交換子公式が成立する：$[\operatorname{FU}(2n,I,\Gamma), \operatorname{FU}(2n,J,\Delta)] = [\operatorname{EU}(2n,I,\Gamma), \operatorname{EU}(2n,J,\Delta)]$。
• 基本的交換子 $Y_{ij}(a,b)$ は $\operatorname{EU}(2n,(I,\Gamma)\circ(J,\Delta))$ を法として中心的であり、記号的生成子として使用可能である。
• 結果は複数の基本的交換子公式を一般化・簡略化し、ユニタリ交換子計算における既存の結果を統合している。
• 発見は長根および短根の位置へ拡張され、生成子は形式イデアルの元によってパラメータ化されている。
• 本研究は、将来の有界交換子幅および奇数・スタインバーグユニタリ群への一般化に関する研究の道筋を示している。