English

Gauss decomposition for Chevalley groups, revisited

Group Theory 2011-10-11 v2

Abstract

In the 1960's Noboru Iwahori and Hideya Matsumoto, Eiichi Abe and Kazuo Suzuki, and Michael Stein discovered that Chevalley groups G=G(Φ,R)G=G(\Phi,R) over a semilocal ring admit remarkable Gauss decomposition G=TUUUG=TUU^-U, where T=T(Φ,R)T=T(\Phi,R) is a split maximal torus, whereas U=U(Φ,R)U=U(\Phi,R) and U=U(Φ,R)U^-=U^-(\Phi,R) are unipotent radicals of two opposite Borel subgroups B=B(Φ,R)B=B(\Phi,R) and B=B(Φ,R)B^-=B^-(\Phi,R) containing TT. 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\sr(R)=1 or \asr(R)=1\asr(R)=1. Later the second author noticed that condition \sr(R)=1\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(Φ,R)E(\Phi,R) condition \sr(R)=1\sr(R)=1 is also sufficient for Gauss decomposition. In other words, E=HUUUE=HUU^-U, where H=H(Φ,R)=TEH=H(\Phi,R)=T\cap E. This surprising result shows that stronger conditions on the ground ring, such as being semi-local, \asr(R)=1\asr(R)=1, \sr(R,Λ)=1\sr(R,\Lambda)=1, etc., were only needed to guarantee that for simply connected groups G=EG=E, rather than to verify the Gauss decomposition itself.

Cite

@article{arxiv.1109.5254,
  title  = {Gauss decomposition for Chevalley groups, revisited},
  author = {A. Smolensky and B. Sury and N. Vavilov},
  journal= {arXiv preprint arXiv:1109.5254},
  year   = {2011}
}
R2 v1 2026-06-21T19:09:42.560Z