Bounded generation and commutator width of Chevalley groups: function case

DOI10.1007/S40879-023-00627-YMaRDI QIDQ6174371zbMATH OpenOpenAlexFDO

Authors

Publication date 14 July 2023

Published in European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Chevalley groupsKac-Moody groupspolynomial ringsbounded generationfirst-order rigidity

Mathematics Subject Classification ID

Structure theory for linear algebraic groups (20G07) Kac-Moody groups (20G44)

Abstract: 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.

Recommendations

• On the length of commutators in Chevalley groups.
• Commutator width of Chevalley groups over rings of stable rank 1
• Commutator width in Chevalley groups.
• Structure of Chevalley groups over rings via universal localization.
• scientific article; zbMATH DE number 4142315

Cites work

• scientific article; zbMATH DE number 1716471 (Why is no real title available?)
• scientific article; zbMATH DE number 3427608 (Why is no real title available?)
• scientific article; zbMATH DE number 1376332 (Why is no real title available?)
• scientific article; zbMATH DE number 21332 (Why is no real title available?)
• scientific article; zbMATH DE number 30195 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 194085 (Why is no real title available?)
• scientific article; zbMATH DE number 3625617 (Why is no real title available?)
• scientific article; zbMATH DE number 459389 (Why is no real title available?)
• scientific article; zbMATH DE number 1754397 (Why is no real title available?)
• scientific article; zbMATH DE number 1771905 (Why is no real title available?)
• scientific article; zbMATH DE number 819095 (Why is no real title available?)
• scientific article; zbMATH DE number 892530 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• 4 Rich groups, weak second-order logic, and applications
• A weakening of the euclidean property for integral domains and applications to algebraic number theory. I.
• A weakening of the euclidean property for integral domains and applications to algebraic number theory. II.
• ABSTRACT PROPERTIES OF S-ARITHMETIC GROUPS AND THE CONGRUENCE PROBLEM
• Arithmetic groups over function fields I
• Automorphisms of affine Kac-Moody groups and related Chevalley groups over rings
• BOUNDED GENERATION AND LINEAR GROUPS
• BOUNDED GENERATION OF CHEVALLEY GROUPS OVER RINGS OF ALGEBRAICS-INTEGERS
• Bounded Elementary Generation of SL n (O)
• Bounded generation by semi-simple elements: quantitative results
• Bounded generation of \(S\)-arithmetic subgroups of isotropic orthogonal groups over number fields.
• Bounded generation of \(\mathrm{SL}_2\) over rings of \(S\)-integers with infinitely many units
• Bounded generation of \(\text{SL}(n,A)\) (after D. Carter, G. Keller, and E. Paige).
• Bounded reduction of orthogonal matrices over polynomial rings
• Chevalley groups over commutative rings. I: Elementary calculations
• Commutator width in Chevalley groups.
• Commutator width of Chevalley groups over rings of stable rank 1
• Commutators and companion matrices over rings of stable rank 1
• Commutators in finite quasisimple groups.
• Commutators in linear groups
• Commutators in the Special and General Linear Groups
• Decompositions of congruence subgroups of Chevalley groups
• Defining \(R\) and \(G(R)\)
• Elementary expressions for unimodular matrices
• Elementary subgroup of an isotropic reductive group is perfect.
• First order rigidity of non-uniform higher rank arithmetic groups
• Gauss decomposition for Chevalley groups, revisited
• Generators, Relations and Coverings of Chevalley Groups Over Commutative Rings
• Improved \(K_1\)-stability for the embedding \(D_5\) into \(E_6\)
• Infinite flag varieties and conjugacy theorems
• Introduction to Algebraic K-Theory. (AM-72)
• Lectures on Chevalley groups
• Non-virtually abelian anisotropic linear groups are not boundedly generated
• ON BOUNDED GENERATION OF SL_n(Z)
• On Artin's conjecture and Euclid's algorithm in global fields
• On a question of M. Newman on the number of commutators
• On bounded elementary generation for \(\mathrm{SL}_n\) over polynomial rings
• On the bounded generation of arithmetic \( \mathrm{SL}_2\)
• On the conjectures of J. Thompson and O. Ore
• On the construction of division chains in algebraic number rings,with applications to SL₂
• On the finite generation of linear groups over Hasse domains.
• On the group S L 2 over orders of arithmetic type.
• On the length of commutators in Chevalley groups.
• On the stability of the K₁-functor for Chevalley groups of type E₇
• On the structure of the \(GL_ 2\) of a ring
• On the word length of commutators in \(\text{GL}_n(R)\)
• Polynomial parametrization for the solutions of Diophantine equations and arithmetic groups
• Property (T) for groups graded by root systems
• Quasi-finitely axiomatizable nilpotent groups
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• SL_n(F[x]) is not boundedly generated by elementary matrices: explicit proof
• Separating Classes of Groups by First-Order Sentences
• Short unitriangular factorizations of \(\mathrm{SL}_2(\mathbb{Z}[1/p])\)
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Some arithmetic properties of subrings of function fields over finite fields
• Stable range in commutative rings
• Structure of Chevalley groups over rings via universal localization.
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• Surjective Stability in Dimension 0 for K 2 and Related Functors
• Surjective stability for the \(K_ 1\)-functor for some exponential Chevalley groups
• The Ore conjecture.
• The arithmetic theory of loop groups
• The logical complexity of finitely generated commutative rings
• Uniqueness and presentation of Kac-Moody groups over fields
• Unitriangular factorizations of Chevalley groups.
• What does a group algebra of a free group ``know about the group?
• Words have bounded width in \(\mathrm{SL}(n,\mathbb{Z})\)

Cited in

(13)

• On the length of commutators in Chevalley groups.
• Bounded generation of Steinberg groups over Dedekind rings of arithmetic type
• Nikolai Vavilov, mathematics and life
• Regular bi-interpretability of Chevalley groups over local rings
• Elementary bounded generation for SLn${\rm SL}_n$ for global function fields and n⩾3$n\geqslant 3$
• Relative decomposition of transvections: explicit bounds
• Stability, bounded generation and strong boundedness
• scientific article; zbMATH DE number 3973154 (Why is no real title available?)
• Commutator width of Chevalley groups over rings of stable rank 1
• Commutator width in Chevalley groups.
• Uniform bounded elementary generation of Chevalley groups
• Bounded reduction for Chevalley groups of types E₆ and E₇
• scientific article; zbMATH DE number 88880 (Why is no real title available?)

This page was built for publication: Bounded generation and commutator width of Chevalley groups: function case

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