CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
slides
Gauss decomposition for Chevalley groups, revisited
Authors
A. Smolensky
Abstract In
+7Â more
B. Sury
Eiichi Abe
Hideya Matsumoto
Kazuo Suzuki
Michael Stein Discovered That
N. Vavilov
Noboru Iwahori
Publication date
10 October 2011
Publisher
View
on
arXiv
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)
G
=
G
(
Φ
,
R
)
over a semilocal ring admit remarkable Gauss decomposition
G
=
T
U
U
−
U
G=TUU^-U
G
=
T
U
U
−
U
, where
T
=
T
(
Φ
,
R
)
T=T(\Phi,R)
T
=
T
(
Φ
,
R
)
is a split maximal torus, whereas
U
=
U
(
Φ
,
R
)
U=U(\Phi,R)
U
=
U
(
Φ
,
R
)
and
U
−
=
U
−
(
Φ
,
R
)
U^-=U^-(\Phi,R)
U
−
=
U
−
(
Φ
,
R
)
are unipotent radicals of two opposite Borel subgroups
B
=
B
(
Φ
,
R
)
B=B(\Phi,R)
B
=
B
(
Φ
,
R
)
and
B
−
=
B
−
(
Φ
,
R
)
B^-=B^-(\Phi,R)
B
−
=
B
−
(
Φ
,
R
)
containing
T
T
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
(
Φ
,
R
)
E(\Phi,R)
E
(
Φ
,
R
)
condition
\sr(R)=1
is also sufficient for Gauss decomposition. In other words,
E
=
H
U
U
−
U
E=HUU^-U
E
=
H
U
U
−
U
, where
H
=
H
(
Φ
,
R
)
=
T
∩
E
H=H(\Phi,R)=T\cap E
H
=
H
(
Φ
,
R
)
=
T
∩
E
. 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
G=E
G
=
E
, rather than to verify the Gauss decomposition itself
Similar works
Full text
Available Versions
Directory of Open Access Journals
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:doaj.org/article:c5ebd62ed...
Last time updated on 17/12/2014
CiteSeerX
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:CiteSeerX.psu:10.1.1.767.4...
Last time updated on 30/10/2017