Related papers: On the congruence kernel of isotropic groups over …

Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that the elementary subgroup E(R) of group of points G(R) is correctly defined. Then E(R) is perfect, except for the well-known cases of a split reductive…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that, for any maximal ideal M of R, the rank of the relative root system of G_{R_M} is greater or equal than 2. We show that under this assumption the…

We prove the centrality of the congruence kernel for the elementary subgroup of a Chevalley group G of rank >1 over an arbitrary noetherian ring R (under some minor restrictions on R if G is of type C_n or G_2).

The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that…

We give here a simple proof of the centrality of the congruence subgroup kernel in the higher rank isotropic case.

Let $G$ be a finite group, $\Z G$ the integral group ring of $G$ and $\U(\Z G)$ the group of units of $\Z G$. The Congruence Subgroup Problem for $\U(\Z G)$ is the problem of deciding if every subgroup of finite index of $\U(\Z G)$ contains…

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…

This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show…

We begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

Let k be a field of characteristic 0. Let G be a reductive group over the ring of Laurent polynomials R=k[x_1^{\pm 1},...,x_n^{\pm 1}]. We prove that G has isotropic rank >=1 over R iff it has isotropic rank >=1 over the field of fractions…

We extend to arbitrary commutative base rings a recent result of Demeneghi that every ideal of an ample groupoid algebra over a field is an intersection of kernels of induced representations from isotropy groups, with a much shorter proof,…

We begin to study model-theoretic properties of non-split isotropic reductive group schemes. In this paper we show that the base ring $K$ is e-interpretable in the point group $G(K)$ of every sufficiently isotropic reductive group scheme…

We prove a number of structural and representation-theoretic results on linearly reductive quantum groups, i.e. objects dual to that of cosemisimple Hopf algebras: (a) a closed normal quantum subgroup is automatically linearly reductive if…

The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…

Let $E$ be an $1$-Ahlfors regular subset of the Heisenberg group $\mathbb{H}$. We prove that there exists a $-1$-homogeneous kernel $K_1$ such that if $E$ is contained in a $1$-regular curve the corresponding singular integral is bounded in…

It is a well-known fact that every group $G$ has a presentation of the form $G = F/R$, where $F$ is a free group and $R$ the kernel of the natural epimorphism from $F$ onto $G$. Driven by the desire to obtain a similar presentation of the…