arXiv subjects
Publications and source records attributed to Spencer Gerhardt.
Let $X$ be a Riemann surface, and let $f:X\to\mathbb{P}^1_\mathbb{C}$ be an indecomposable (branched) covering of genus $g$ and degree $n$ 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 $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.
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.
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.
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.