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.

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)