-
Low-genus primitive monodromy groups with a nonunique minimal normal subgroup
Authors:
Spencer Gerhardt,
Eilidh McKemmie,
Danny Neftin
Abstract:
Let $f:X\to\mathbb P^1_\mathbb C$ be an indecomposable covering of genus $g$ whose monodromy group has more than one minimal normal subgroup. Closing a gap in the literature, we show that there is only one such covering when $g\leq 1$. Moreover, for arbitrary $g$, there are no such coverings with $n\gg_g 0$ sufficiently large.
Let $f:X\to\mathbb P^1_\mathbb C$ be an indecomposable covering of genus $g$ whose monodromy group has more than one minimal normal subgroup. Closing a gap in the literature, we show that there is only one such covering when $g\leq 1$. Moreover, for arbitrary $g$, there are no such coverings with $n\gg_g 0$ sufficiently large.
△ Less
Submitted 26 January, 2025;
originally announced January 2025.
-
Topological generation of simple algebraic groups
Authors:
Timothy C. Burness,
Spencer Gerhardt,
Robert M. Guralnick
Abstract:
Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1, \ldots, x_r) \in X$ such that $\langle x_1, \ldots, x_r \rangle$ is Zariski dense in $G$. We are primarily interested in the case where…
▽ More
Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1, \ldots, x_r) \in X$ such that $\langle x_1, \ldots, x_r \rangle$ is Zariski dense in $G$. We are primarily interested in the case where $X = C_1 \times \cdots \times C_r$ and each $C_i$ is a conjugacy class of $G$ comprising elements of prime order modulo the center of $G$. In this setting, our main theorem gives a complete solution to the problem when $G$ is a symplectic or orthogonal group. By combining our results with earlier work on linear and exceptional groups, this gives a complete solution for all simple algebraic groups. We also present several applications. For example, we use our main theorem to show that many faithful representations of symplectic and orthogonal groups are generically free. We also establish new asymptotic results on the probabilistic generation of finite simple groups by pairs of prime order elements, completing a line of research initiated by Liebeck and Shalev over 25 years ago.
△ Less
Submitted 12 October, 2023; v1 submitted 14 August, 2021;
originally announced August 2021.
-
Topological generation of exceptional algebraic groups
Authors:
Timothy C. Burness,
Spencer Gerhardt,
Robert M. Guralnick
Abstract:
Let $G$ be a simple algebraic group over an algebraically closed field $k$ and let $C_1, \ldots, C_t$ be non-central conjugacy classes in $G$. In this paper, we consider the problem of determining whether there exist $g_i \in C_i$ such that $\langle g_1, \ldots, g_t \rangle$ is Zariski dense in $G$. First we establish a general result, which shows that if $Ω$ is an irreducible subvariety of $G^t$,…
▽ More
Let $G$ be a simple algebraic group over an algebraically closed field $k$ and let $C_1, \ldots, C_t$ be non-central conjugacy classes in $G$. In this paper, we consider the problem of determining whether there exist $g_i \in C_i$ such that $\langle g_1, \ldots, g_t \rangle$ is Zariski dense in $G$. First we establish a general result, which shows that if $Ω$ is an irreducible subvariety of $G^t$, then the set of tuples in $Ω$ generating a dense subgroup of $G$ is either empty or dense in $Ω$. In the special case $Ω= C_1 \times \cdots \times C_t$, by considering the dimensions of fixed point spaces, we prove that this set is dense when $G$ is an exceptional algebraic group and $t \geqslant 5$, assuming $k$ is not algebraic over a finite field. In fact, for $G=G_2$ we only need $t \geqslant 4$ and both of these bounds are best possible. As an application, we show that many faithful representations of exceptional algebraic groups are generically free. We also establish new results on the topological generation of exceptional groups in the special case $t=2$, which have applications to random generation of finite exceptional groups of Lie type. In particular, we prove a conjecture of Liebeck and Shalev on the random $(r,s)$-generation of exceptional groups.
△ Less
Submitted 10 April, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Topological generation of special linear groups
Authors:
Spencer Gerhardt
Abstract:
Let $C_1,\ldots,C_e$ be noncentral conjugacy classes of the algebraic group $G=SL_n(k)$ defined over a sufficiently large field $k$, and let $Ω:=C_1\times \ldots \times C_e$. This paper determines necessary and sufficient conditions for the existence of a tuple $(x_1,\ldots,x_e)\inΩ$ such that $\langle x_1,\ldots,x_e\rangle$ is Zariski dense in $G$. As a consequence, a new result concerning generi…
▽ More
Let $C_1,\ldots,C_e$ be noncentral conjugacy classes of the algebraic group $G=SL_n(k)$ defined over a sufficiently large field $k$, and let $Ω:=C_1\times \ldots \times C_e$. This paper determines necessary and sufficient conditions for the existence of a tuple $(x_1,\ldots,x_e)\inΩ$ such that $\langle x_1,\ldots,x_e\rangle$ is Zariski dense in $G$. As a consequence, a new result concerning generic stabilizers in linear representations of algebraic groups is proved, and existing results on random $(r,s)$-generation of finite groups of Lie type are strengthened.
△ Less
Submitted 1 November, 2020; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Order three normalizers of 2-groups
Authors:
Spencer Gerhardt
Abstract:
This paper examines order three elements of finite groups which normalize no nontrivial 2-subgroup. The motivation for finding such elements arises out of a problem in modular representation theory. The question of when these elements appear in the almost simple groups was posed by Geoff Robinson in the context of studying 2-blocks of defect zero. For the almost simple groups, a complete classific…
▽ More
This paper examines order three elements of finite groups which normalize no nontrivial 2-subgroup. The motivation for finding such elements arises out of a problem in modular representation theory. The question of when these elements appear in the almost simple groups was posed by Geoff Robinson in the context of studying 2-blocks of defect zero. For the almost simple groups, a complete classification of order three elements with this property is determined. On the basis of this result, necessary conditions are then given for the existence of such elements in a large class of finite groups.
△ Less
Submitted 21 October, 2016; v1 submitted 10 May, 2016;
originally announced May 2016.
