On the congruence kernel of isotropic groups over rings

DOI10.1090/TRAN/8091zbMATH Open1446.19003arXiv1305.0057OpenAlexW3003293136MaRDI QIDQ5114742FDOQ5114742

A. K. Stavrova

Publication date: 25 June 2020

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the unipotent radicals of two opposite parabolic subgroups P^+ and P^- of G. Assume that 2 is invertible in R if G is of type B_n,C_n,F_4,G_2 and 3 is invertible in R if G is of type G_2. We prove that the congruence kernel of E(R), defined as the kernel of the natural homomorphism between the profinite completion of E(R) and the congruence completion of E(R) with respect to congruence subgroups of finite index, is central. In the course of the proof, we construct Steinberg groups associated to isotropic reductive groups and show that they are central extensions of E(R) if R is a local ring.

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

Recommendations

• Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank >1 over noetherian rings
• scientific article
• On the congruence kernel for simple algebraic groups
• Centralizer of the elementary subgroup of an isotropic reductive group.
• Publication:3033969

zbMATH Keywords

Steinberg groupcongruence subgroup problemcongruence kernelelementary subgroupisotropic reductive group

Mathematics Subject Classification ID

Central extensions and Schur multipliers (19C09) Linear algebraic groups over adèles and other rings and schemes (20G35) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Congruence subgroup problems (19B37)

Cites Work

• The Tits indices over semilocal rings.
• Groupes reductifs
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Sous-groupes d'indice fini dans $SL\left( {n,Z} \right)$
• Le problème des groupes de congruence pour \(SL_2\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• Homotopy invariance of non-stable K₁-functors
• Computation of the metaplectic kernel
• Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Exposés VIII à XVIII. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3) dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
• On the structure of parabolic subgroups
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
• Surjective Stability in Dimension 0 for K 2 and Related Functors
• Universal lattices and property \(\tau\)
• Elementary subgroups of isotropic reductive groups
• Title not available (Why is that?)
• Elementary subgroup of an isotropic reductive group is perfect.
• On the congruence subgroup problem: Determination of the Metaplectic kernel
• On the congruence subgroup problem
• Title not available (Why is that?)
• On the congruence subgroup problem. II
• On normal subgroups of Chevalley groups over commutative rings
• On Central Extensions of Rational Points of Algebraic Groups
• Title not available (Why is that?)
• Another presentation for symplectic Steinberg groups
• Title not available (Why is that?)
• On centrality of even orthogonal \(\mathrm{K}_2\)
• Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank >1 over noetherian rings
• Non-stable \(K_1\)-functors of multiloop groups
• Title not available (Why is that?)
• On the congruence kernel for simple algebraic groups
• Title not available (Why is that?)

Cited In (4)

• Normal structure of isotropic reductive groups over rings
• Centrality of \(K_2\)-functor revisited
• On abstract homomorphisms of some special unitary groups
• Twisted forms of classical groups

This page was built for publication: On the congruence kernel of isotropic groups over rings

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