Local-global principle for congruence subgroups of Chevalley groups.

Group schemes (14L15) Linear algebraic groups over adèles and other rings and schemes (20G35) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05)

Abstract: We prove Suslin's local-global principle for principal congruence subgroups of Chevalley groups. Let

G

be a Chevalley--Demazure group scheme with a root system

P h i e A_{1}

and

E

its elementary subgroup. Let

R

be a ring and

I

an ideal of

R

. Assume additionally that

R

has no residue fields of 2 elements if

P h i = C_{2}

or

G_{2}

. Theorem. Let

g i n G (R [X], X R [X])

. Suppose that for every maximal ideal

m

of

R

the image of

g

under the localization homomorphism at

m

belongs to

E (R_{m} [X], I R_{m} [X])

. Then,

g i n E (R [X], I R [X])

. The theorem is a common generalization of the result of E.Abe for the absolute case (

I = R

) and H.Apte--P.Chattopadhyay--R.Rao for classical groups. It is worth mentioning that for the absolute case the local-global principle was obtained by V.Petrov and A.Stavrova in more general settings of isotropic reductive groups.

Review text

The local-global principle in the title asserts that if a matrix over a polynomial ring vanishes modulo the independent variable and is locally elementary then it is elementary. The authors prove the principle for principal congruence subgroups of Chevalley groups.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Local-global principle for congruence subgroups of Chevalley groups.

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