Showing 1–7 of 7 results for author: Trost, A A

Elementary bounded generation for ${\rm SL}_n$ for global function fields and $n\geq 3$

Authors: Alexander Alois Trost

Abstract: This paper shows that the group ${\rm SL}_n(R)$ is boundedly elementary generated for $n\geq 3$ and $R$ the ring of algebraic integers in a global function field. Contrary to previous statements for number fields and earlier statements for global function fields, the bounds proven in this preprint for elementary bounded generation are independent of the underlying global function field and only de… ▽ More This paper shows that the group ${\rm SL}_n(R)$ is boundedly elementary generated for $n\geq 3$ and $R$ the ring of algebraic integers in a global function field. Contrary to previous statements for number fields and earlier statements for global function fields, the bounds proven in this preprint for elementary bounded generation are independent of the underlying global function field and only depend on the integer $n.$ Combining our main result with earlier results, we further establish that elementary bounded generation always has bounds independent from the global field in question, only depending on $n.$ △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:2108.12254

MSC Class: 20G30

Journal ref: Bulletin of the London Mathematical Society (2023)

The dichotomy property of ${\rm SL}_2(R)$-A short note

Authors: Alexander Alois Trost

Abstract: A recent paper by Polterovich, Shalom and Shem-Tov has shown that non-discrete, conjugation invariant norms on arithmetic Chevalley groups of higher rank give rise to very restricted topologies. Namely, such topologies always have profinite norm-completions. In this note, we sketch an argument showing that this also holds for ${\rm SL}_2(R)$ for $R$ a ring of algebraic integers with infinitely man… ▽ More A recent paper by Polterovich, Shalom and Shem-Tov has shown that non-discrete, conjugation invariant norms on arithmetic Chevalley groups of higher rank give rise to very restricted topologies. Namely, such topologies always have profinite norm-completions. In this note, we sketch an argument showing that this also holds for ${\rm SL}_2(R)$ for $R$ a ring of algebraic integers with infinitely many units. △ Less

Submitted 16 February, 2022; originally announced February 2022.

MSC Class: 51Fxx; 20-xx

Bounded generation by root elements for Chevalley groups defined over rings of integers of function fields with an application in strong boundedness

Authors: Alexander A. Trost

Abstract: Bounded generation by root elements is a property which has been widely studied for various types of linear algebraic groups defined over rings of integers in algebraic number fields. However, when considering global function fields, there are not many results beyond the treatment of special cases due to Nica and Queen. In this paper, we use model theoretic methods due to Carter, Keller and Paige… ▽ More Bounded generation by root elements is a property which has been widely studied for various types of linear algebraic groups defined over rings of integers in algebraic number fields. However, when considering global function fields, there are not many results beyond the treatment of special cases due to Nica and Queen. In this paper, we use model theoretic methods due to Carter, Keller and Paige written up by Morris to prove bounded generation by root elements for simply connected, split Chevalley groups defined over the ring of all integers in a global function field. We further apply this bounded generation result together with results from a previous paper by the author to derive that the aforementioned Chevalley groups satisfy the strong boundedness property introduced by Kedra, Libman and Martin. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Comments: 27 pages

MSC Class: 20G30

Strong boundedness of ${\rm SL}_2(R)$ for rings of S-algebraic integers with infinitely many units

Authors: Alexander Alois Trost

Abstract: A group is called strongly bounded, if the speed with which it is generated by finitely many conjugacy classes has a positive, lower bound only dependent on the number of the conjugacy classes in question rather than the actual conjugacy classes. Earlier papers by Kedra, Libman and Martin and myself have shown that this is a property common to split Chevalley groups defined using an irreducible ro… ▽ More A group is called strongly bounded, if the speed with which it is generated by finitely many conjugacy classes has a positive, lower bound only dependent on the number of the conjugacy classes in question rather than the actual conjugacy classes. Earlier papers by Kedra, Libman and Martin and myself have shown that this is a property common to split Chevalley groups defined using an irreducible root system of rank at least $2$ and the ring of all S-algebraic integers and that the situation is dependent on the number theory of $R$ for ${\rm Sp}_4$ and $G_2.$ In this paper, we will show that ${\rm SL}_2(R)$ is also strongly bounded for $R$ the ring of all S-algebraic integers in a number field $K$ with $R$ having infinitely many units and will give a complete account of the existence of small conjugacy classes generating ${\rm SL}_2(R)$ in terms of the prime factorization of the rational primes $2$ and $3$ in $R.$ △ Less

Submitted 17 July, 2021; v1 submitted 23 May, 2021; originally announced May 2021.

Comments: Version 2 has a more streamlined and direct proof of Theorem 1.3 compared to the first version

MSC Class: 20G30

Bounded generation for congruence subgroups of ${\rm Sp}_4(R)$

Authors: Alexander Alois Trost

Abstract: This paper describes a bounded generation result concerning the minimal natural number $K$ such that for $Q(C_2,2R):=\{A\varepsilon_φ(2x)A^{-1}|x\in R,A\in{\rm Sp}_4(R),φ\in C_2\}$, one has $N_{C_2,2R}=\{X_1\cdots X_K|\forall 1\leq i\leq K:X_i\in Q(C_2,2R)\}$ for rings of algebraic integers $R$ and the principal congruence subgroup $N_{C_2,2R}$ in ${\rm Sp}_4(R).$ This gives an explicit version of… ▽ More This paper describes a bounded generation result concerning the minimal natural number $K$ such that for $Q(C_2,2R):=\{A\varepsilon_φ(2x)A^{-1}|x\in R,A\in{\rm Sp}_4(R),φ\in C_2\}$, one has $N_{C_2,2R}=\{X_1\cdots X_K|\forall 1\leq i\leq K:X_i\in Q(C_2,2R)\}$ for rings of algebraic integers $R$ and the principal congruence subgroup $N_{C_2,2R}$ in ${\rm Sp}_4(R).$ This gives an explicit version of an abstract bounded generation result of a similar type as presented by Morris. Furthermore, the result presented does not depend on several number-theoretic quantities unlike Morris' result. Using this bounded generation result, we further give explicit bounds for the strong boundedness of ${\rm Sp}_4(R)$ for certain examples of rings $R,$ thereby giving explicit versions of results in an earlier paper. We further give a classification of normally generating subsets of ${\rm Sp}_4(R)$ for $R$ a ring of algebraic integers. △ Less

Submitted 6 January, 2021; originally announced January 2021.

MSC Class: 20Gxx

Journal ref: Journal of Algebra and Its Applications, Vol. 22, No. 08, 2350174 (2023)

Strong boundedness of simply connected split Chevalley groups defined over rings

Authors: Alexander Alois Trost

Abstract: This paper is concerned with the diameter of certain word norms on S-arithmetic split Chevalley groups. Such groups are well known to be boundedly generated by root elements. We prove that word metrics given by conjugacy classes on S-arithmetic split Chevalley groups have an upper bound only depending on the number of conjugacy classes. This property, called strong boundedness, was introduced by K… ▽ More This paper is concerned with the diameter of certain word norms on S-arithmetic split Chevalley groups. Such groups are well known to be boundedly generated by root elements. We prove that word metrics given by conjugacy classes on S-arithmetic split Chevalley groups have an upper bound only depending on the number of conjugacy classes. This property, called strong boundedness, was introduced by Kedra, Libmann and Martin and proven for ${\rm SL}_n(R)$, assuming R is a principal ideal domain and $n\geq 3$. We also provide examples of normal generating sets for S-arithmetic split Chevalley groups proving our bounds are sharp in an appropriate sense and give a complete account of obstructions to the existence of small normally generating sets of ${\rm Sp}_4(R)$ and $G_2(R)$. For instance, we prove that ${\rm Sp}_4(\mathbb{Z}[\frac{1+\sqrt{-7}}{2}])$ cannot be generated by a single conjugacy class. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: 33 pages, first version

MSC Class: 20Gxx

Journal ref: Israel Journal of Mathematics, Volume 252, Pages 1-46 (2022)

Finite index subgroups in Chevalley groups are bounded: an addendum to "On bi-invariant word metrics"

Authors: Światosław R. Gal, Jarek Kędra, Alexander A. Trost

Abstract: We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded. We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded. △ Less

Submitted 14 July, 2019; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: 8 pages