Gauss decomposition for Chevalley groups, revisited

MaRDI QIDQ4648681zbMATH OpenFDO

Authors A. V. Smolensky, Balasubramanian Sury, Nikolai Vavilov

Publication date 15 November 2012

Full work available at URL https://arxiv.org/abs/1109.5254

zbMATH Keywords

Chevalley groupselementary groupsGauss decompositionssimply connected groups

Mathematics Subject Classification ID

Factorization of matrices (15A23) Stable range conditions (19B10) Commutator calculus (20F12) Linear algebraic groups over adèles and other rings and schemes (20G35)

Abstract: In the 1960's Noboru Iwahori and Hideya Matsumoto, Eiichi Abe and Kazuo Suzuki, and Michael Stein discovered that Chevalley groups $G=G(Phi,R)$ over a semilocal ring admit remarkable Gauss decomposition $G=TU{U}^{-}U$, where $T=T(Phi,R)$ is a split maximal torus, whereas $U=U(Phi,R)$ and $U^{-}=U^{-}(Phi,R)$ are unipotent radicals of two opposite Borel subgroups $B=B(Phi,R)$ and $B^{-}=B^{-}(Phi,R)$ containing $T$. It follows from the classical work of Hyman Bass and Michael Stein that for classical groups Gauss decomposition holds under weaker assumptions such as $sr(R)=1$ or $asr(R)=1$. Later the second author noticed that condition $sr(R)=1$ is necessary for Gauss decomposition. Here, we show that a slight variation of Tavgen's rank reduction theorem implies that for the elementary group $E(Phi,R)$ condition $sr(R)=1$ is also sufficient for Gauss decomposition. In other words, $E=HU{U}^{-}U$, where $H=H(Phi,R)=TcapE$. This surprising result shows that stronger conditions on the ground ring, such as being semi-local, $asr(R)=1$, $sr(R,Lambda)=1$, etc., were only needed to guarantee that for simply connected groups $G=E$, rather than to verify the Gauss decomposition itself.

Recommendations

• Gauss decomposition with prescribed semisimple part in classical chevalley groups
• Gauss decomposition with prescribed semisimple part in chevalley groups II exceptional cases
• Gauss decomposition with prescribed semisimple part in chevalley groups iii: Finite twisted groups
• Decomposition numbers of Chevalley groups
• scientific article; zbMATH DE number 3787072
• Net subgroups of Chevalley groups. II: Gauss decomposition
• scientific article; zbMATH DE number 4004469
• Uniform cell decomposition with applications to Chevalley groups.
• Decomposition numbers for projective modules of finite Chevalley groups.
• Decompositions of congruence subgroups of Chevalley groups

Cited in

(16)

• Gauss decomposition with prescribed semisimple part: short proof
• Commutator width of Chevalley groups over rings of stable rank 1
• Commutator lengths in general linear group over a skew-field
• The commutators of classical groups
• Gauss Decomposition with Prescribed Semisimple Part in Quadratic Groups
• Gauss decomposition with prescribed semisimple part in chevalley groups iii: Finite twisted groups
• Decompositions of congruence subgroups of Chevalley groups
• scientific article; zbMATH DE number 1917727 (Why is no real title available?)
• Groups equal to a product of three conjugate subgroups
• Bounded reduction for Chevalley groups of types E₆ and E₇
• Bounded generation and commutator width of Chevalley groups: function case
• Uniform bounded elementary generation of Chevalley groups
• Nikolai Vavilov, mathematics and life
• Bounded generation of Steinberg groups over Dedekind rings of arithmetic type
• On the \({\mathbb{A}}^1\)-invariance of \(\mathrm{K}_2\) of Chevalley groups of simply-laced type
• Structure of Chevalley groups over rings via universal localization.

This page was built for publication: Gauss decomposition for Chevalley groups, revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648681)