BZPEER

preprint2022arXiv

Bounded generation and commutator width of Chevalley groups: function case

We prove that Chevalley groups over polynomial rings $\mathbb F_q[t]$ and over Laurent polynomial $\mathbb F_q[t,t^{-1}]$ rings, where $\mathbb F_q$ is a finite field, are boundedly elementarily generated. Using this we produce explicit bounds of the commutator width of these groups. Under some additional assumptions, we prove similar results for other classes of Chevalley groups over Dedekind rings of arithmetic rings in positive characteristic. As a corollary, we produce explicit estimates for the commutator width of affine Kac--Moody groups defined over finite fields. The paper contains also a broader discussion of the bounded generation problem for groups of Lie type, some applications and a list of unsolved problems in the field.

preprint2020arXiv

Commutators of elementary subgroups: curiouser and curiouser

Let $R$ be any associative ring with $1$ , $n\ge 3$ , and let $A,B$ be two-sided ideals of $R$ . In our previous joint works with Roozbeh Hazrat [17,15] we have found a generating set for the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$ . Later in [29,34] we noticed that our previous results can be drastically improved and that $[E(n,R,A),E(n,R,B)]$ is generated by 1) the elementary conjugates $z_{ij}(ab,c)=t_{ij}(c)t_{ji}(ab)t_{ij}(-c)$ and $z_{ij}(ba,c)$ , 2) the elementary commutators $[t_{ij}(a),t_{ji}(b)]$ , where $1\le i\neq j\le n$ , $a\in A$ , $b\in B$ , $c\in R$ . Later in [33,35] we noticed that for the second type of generators, it even suffices to fix one pair of indices $(i,j)$ . Here we improve the above result in yet another completely unexpected direction and prove that $[E(n,R,A),E(n,R,B)]$ is generated by the elementary commutators $[t_{ij}(a),t_{hk}(b)]$ alone, where $1\le i\neq j\le n$ , $1\le h\neq k\le n$ , $a\in A$ , $b\in B$ . This allows us to revise the technology of relative localisation, and, in particular, to give very short proofs for a number of recent results, such as the generation of partially relativised elementary groups $E(n,A)^{E(n,B)}$ , %% normality of $E(n,AB+BA)$ inside $[E(n,R,A),E(n,R,B)]$ , multiple commutator formulas, commutator width, and the like.

preprint2020arXiv

Commutators of relative and unrelative elementary subgroups in Chevalley groups

In the present paper, which is a direct sequel of our papers [10,11,35] joint with Roozbeh Hazrat, we achieve a further dramatic reduction of the generating sets for commutators of relative elementary subgroups in Chevalley groups. Namely, let $Φ$ be a reduced irreducible root system of rank $\ge 2$ , let $R$ be a commutative ring and let $A,B$ be two ideals of $R$ . We consider subgroups of the Chevalley group $G(Φ,R)$ of type $Φ$ over $R$ . The unrelative elementary subgroup $E(Φ,A)$ of level $A$ is generated (as a group) by the elementary unipotents $x_α(a)$ , $α\inΦ$ , $a\in A$ , of level $A$ . Its normal closure in the absolute elementary subgroup $E(Φ,R)$ is denoted by $E(Φ,R,A)$ and is called the relative elementary subgroup of level $A$ . The main results of [11,35] consisted in construction of economic generator sets for the mutual commutator subgroups $[E(Φ,R,A),E(Φ,R,B)]$ , where $A$ and $B$ are two ideals of $R$ . It turned out that one can take Stein---Tits---Vaserstein generators of $E(Φ,R,AB)$ , plus elementary commutators of the form $y_α(a,b)=[x_α(a),x_{-α}(b)]$ , where $a\in A$ , $b\in B$ . Here we improve these results even further, by showing that in fact it suffices to engage only elementary commutators corresponding to {\it one\/} long root, and that modulo $E(Φ,R,AB)$ the commutators $y_α(a,b)$ behave as symbols. We discuss also some further variations and applications of these results.

preprint2020arXiv

Commutators of relative and unrelative elementary unitary groups

In the present paper we find generators of the mixed commutator subgroups of relative elementary groups and obtain unrelativised versions of commutator formulas in the setting of Bak's unitary groups. It is a direct sequel of our similar results were obtained for $GL(n,R)$ and for Chevalley groups over a commutative ring with 1, respectively. Namely, let $(A,Λ)$ be any form ring and $n\ge 3$ . We consider Bak's hyperbolic unitary group $GU(2n,A,Λ)$ . Further, let $(I,Γ)$ be a form ideal of $(A,Λ)$ . One can associate with $(I,Γ)$ the corresponding elementary subgroup $FU(2n,I,Γ)$ and the relative elementary subgroup $EU(2n,I,Γ)$ of $GU(2n,A,Λ)$ . Let $(J,Δ)$ be another form ideal of $(A,Λ)$ . In the present paper we prove an unexpected result that the non-obvious type of generators for $\big[EU(2n,I,Γ),EU(2n,J,Δ)\big]$ , as constructed in our previous papers with Hazrat, are redundant and can be expressed as products of the obvious generators, the elementary conjugates $Z_{ij}(ab,c)=T_{ji}(c)T_{ij}(ab)T_{ji}(-c)$ and $Z_{ij}(ba,c)$ , and the elementary commutators $Y_{ij}(a,b)=[T_{ji}(a),T_{ij}(b)]$ , where $a\in(I,Γ)$ , $b\in(J,Δ)$ , $c\in(A,Λ)$ . It follows that $\big[FU(2n,I,Γ),FU(2n,J,Δ)\big]= \big[EU(2n,I,Γ),EU(2n,J,Δ)\big]$ . In fact, we establish much more precise generation results. In particular, even the elementary commutators $Y_{ij}(a,b)$ should be taken for one long root position and one short root position. Moreover, $Y_{ij}(a,b)$ are central modulo $EU(2n,(I,Γ)\circ(J,Δ))$ and behave as symbols. This allows us to generalise and unify many previous results,including the multiple elementary commutator formula, and dramatically simplify their proofs.

preprint2020arXiv

Relative centralisers of relative subgroups

Let $R$ be an associative ring with 1, $G=GL(n, R)$ be the general linear group of degree $n\ge 3$ over $R$ . In this paper we calculate the relative centralisers of the relative elementary subgroups or the principal congruence subgroups, corresponding to an ideal $A\unlhd R$ modulo the relative elementary subgroups or the principal congruence subgroups, corresponding to another ideal $B\unlhd R$ . Modulo congruence subgroups the results are essentially easy exercises in linear algebra. But modulo the elementary subgroups they turned out to be quite tricky, and we could get definitive answers only over commutative rings, or, in some cases, only over Dedekind rings. We discuss also some further related problems, such as the interrelations of various birelative commutator subgroups, etc., and state several unsolved questions.

preprint2018arXiv

Generation of relative commutator subgroups in Chevalley groups. II

In the present paper, which is a direct sequel of our paper [12] joint with Roozbeh Hazrat, we prove unrelativised version of the standard commutator formula in the setting of Chevalley groups. Namely, let $Φ$ be a reduced irreducible root system of rank $\ge 2$ , let $R$ be a commutative ring and let $I,J$ be two ideals of $R$ . We consider subgroups of the Chevalley group $G(Φ,R)$ of type $Φ$ over $R$ . The unrelativised elementary subgroup $E(Φ,I)$ of level $I$ is generated (as a group) by the elementary unipotents $x_α(ξ)$ , $α\inΦ$ , $ξ\in I$ , of level $I$ . Obviously, in general $E(Φ,I)$ has no chances to be normal in $E(Φ,R)$ , its normal closure in the absolute elementary subgroup $E(Φ,R)$ is denoted by $E(Φ,R,I)$ . The main results of [12] implied that the commutator $\big[E(Φ,I),E(Φ,J)]$ is in fact normal in $E(Φ,R)$ . In the present paper we prove an unexpected result that in fact $\big[E(Φ,I),E(Φ,J)]=\big[E(Φ,R,I),E(Φ,R,J)\big]$ . It follows that the standard commutator formula also holds in the unrelativised form, namely $\big[E(Φ,I),C(Φ,R,J)]=\big[E(Φ,I),E(Φ,J)\big]$ , where $C(Φ,R,I)$ is the full congruence subgroup of level $I$ . In particular, $E(Φ,I)$ is normal in $C(Φ,R,I)$ .

preprint2016arXiv

Normalizer of the Chevalley group of type $E_7$

We consider the simply connected Chevalley group $G(E_7,R)$ of type $E_7$ in the 56-dimensional representation. The main objective of the paper is to prove that the following four groups coincide: the normalizer of the elementary Chevalley group $E(E_7,R)$ , the normalizer of the Chevalley group $G(E_7,R)$ itself, the transporter of $E(E_7,R)$ into $G(\mathrm E_7,R)$ , and the extended Chevalley group $\overline G(E_7,R)$ . This holds over an arbitrary commutative ring $R$ , with all normalizers and transporters being calculated in $GL(56,R)$ . Moreover, we characterize $\overline G(E_7,R)$ as the stabilizer of a system of quadrics. This last result is classically known over algebraically closed fields, here we prove that the corresponding group scheme is smooth over $\mathbb Z$ , which implies that it holds over arbitrary commutative rings. These results are one of the key steps in our subsequent paper, dedicated to the overgroups of exceptional groups in minimal representations.

preprint2012arXiv

Commutator width in Chevalley groups

The present paper is the [slightly expanded] text of our talk at the Conference "Advances in Group Theory and Applications" at Porto Cesareo in June 2011. Our main results assert that [elementary] Chevalley groups very rarely have finite commutator width. The reason is that they have very few commutators, in fact, commutators have finite width in elementary generators. We discuss also the background, bounded elementary generation, methods of proof, relative analogues of these results, some positive results, and possible generalisations.

preprint2012arXiv

Generation of relative commutator subgroups in Chevalley groups

Let $Φ$ be a reduced irreducible root system of rank $\ge 2$ , let $R$ be a commutative ring and let $I,J$ be two ideals of $R$ . In the present paper we describe generators of the commutator groups of relative elementary subgroups $\big[E(Φ,R,I),E(Φ,R,J)\big]$ both as normal subgroups of the elementary Chevalley group $E(Φ,R)$ , and as groups. Namely, let $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in R$ , be an elementary generator of $E(Φ,R)$ . As a normal subgroup of the absolute elementary group $E(Φ,R)$ , the relative elementary subgroup is generated by $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in I$ . Classical results due to Michael Stein, Jacques Tits and Leonid Vaserstein assert that as a group $E(Φ,R,I)$ is generated by $z_{\a}(ξ,η)$, where $\a\inΦ$, $ξ\in I$ , $η\in R$ . In the present paper, we prove the following birelative analogues of these results. As a normal subgroup of $E(Φ,R)$ the relative commutator subgroup $\big[E(Φ,R,I),E(Φ,R,J)\big]$ is generated by the following three types of generators: i) $\big[x_α(ξ),z_α(ζ,η)\big]$ , ii) $\big[x_α(ξ),x_{-α}(ζ)\big]$ , and iii) $x_α(ξζ)$ , where $α\inΦ$ , $ξ\in I$ , $ζ\in J$ , $η\in R$ . As a group, the generators are essentially the same, only that type iii) should be enlarged to iv) $z_α(ξζ,η)$ . For classical groups, these results, with much more computational proofs, were established in previous papers by the authors. There is already an amazing application of these results, namely in the recent work of Alexei Stepanov on relative commutator width.

preprint2012arXiv

Multiple Commutator Formulas for Unitary Groups

Let $(\FormR)$ be a form ring such that $A$ is quasi-finite $R$ -algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak's unitary groups $\GU(2n,\FormR)$, $n\ge 3$ . For a form ideal $(I,Γ)$ of the form ring $(\FormR)$ we denote by $\EU(2n,I,Γ)$ and $\GU(2n,I,Γ)$ the relative elementary group and the principal congruence subgroup of level $(I,Γ)$ , respectively. Now, let $(I_i,Γ_i)$ , $i=0,...,m$ , be form ideals of the form ring $(A,Λ)$ . The main result of the present paper is the following multiple commutator formula [\big[\EU(2n,I_0,Γ_0),&\GU(2n,I_1,Γ_1),\GU(2n, I_2,Γ_2),..., \GU(2n,I_m,Γ_m)\big]= &\big[\EU(2n,I_0,Γ_0),\EU(2n,I_1,Γ_1),\EU(2n,I_2,Γ_2),..., \EU(2n, I_m, Γ_m)\big],] which is a broad generalization of the standard commutator formulas. This result contains all previous results on commutator formulas for classical like-groups over commutative and finite-dimensional rings.

preprint2012arXiv

Relative commutator calculus in Chevalley groups

We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in Chevalley groups $G(Φ,R)$ , $\rk(Φ)\geq 2$, which are both more general, and substantially easier than the ones available in the literature. For classical groups such relative commutator calculus has been recently developed by the authors in \cite{RZ,RNZ}. As an application we prove the mixed commutator formula, \[ \big [E(Φ,R,\ma),C(Φ,R,\mb)\big ]=\big [E(Φ,R,\ma),E(Φ,R,\mb)\big], \] for two ideals $\ma,\mb\unlhd R$. This answers a problem posed in a paper by Alexei Stepanov and the second author.

Nikolai Vavilov

Research overview

Is this your work?

11 publications

Bounded generation and commutator width of Chevalley groups: function case

Commutators of elementary subgroups: curiouser and curiouser

Commutators of relative and unrelative elementary subgroups in Chevalley groups

Commutators of relative and unrelative elementary unitary groups

Relative centralisers of relative subgroups

Generation of relative commutator subgroups in Chevalley groups. II

Normalizer of the Chevalley group of type $E_7$

Commutator width in Chevalley groups

Generation of relative commutator subgroups in Chevalley groups

Multiple Commutator Formulas for Unitary Groups

Relative commutator calculus in Chevalley groups

See the researcher in context

Building this map preview

Nikolai Vavilov

Research overview

Is this your work?

11 publications

Bounded generation and commutator width of Chevalley groups: function case

Commutators of elementary subgroups: curiouser and curiouser

Commutators of relative and unrelative elementary subgroups in Chevalley groups

Commutators of relative and unrelative elementary unitary groups

Relative centralisers of relative subgroups

Generation of relative commutator subgroups in Chevalley groups. II

Normalizer of the Chevalley group of type E7E_7E7​

Commutator width in Chevalley groups

Generation of relative commutator subgroups in Chevalley groups

Multiple Commutator Formulas for Unitary Groups

Relative commutator calculus in Chevalley groups

See the researcher in context

Building this map preview

Normalizer of the Chevalley group of type $E_7$