arXiv:1801.10065v1 [math.GR] 30 Jan 2018

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC
GROUPS I
SPENCER GERHARDT
Abstract. Let C1 , ..., Ce be noncentral conjugacy classes of the algebraic group G = SLn (k) defined over a sufficiently large field k, and let
Ω := C1 × ... × Ce . This paper determines necessary and sufficient conditions for the existence of a tuple (x1 , ..., xe ) ∈ Ω such that hx1 , ..., xe i
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.

Contents
1.
2.
3.
4.

Introduction and statement of results
Preliminary lemmas for simple algebraic groups
Topological generation of special linear algebraic groups
Applications to generic stabilizers of special linear algebraic
groups
5. Applications to random (r, s)-generation of finite groups of Lie
type
References

1
5
11
17
20
23

1. Introduction and statement of results
Let C1 , ..., Ce be conjugacy classes of a group G, and Ω := C1 × ... × Ce . A
familiar problem is to specify conditions for tuples ω ∈ Ω to generate G, or to
generate a subgroup of G with special properties. For instance, let C1 , ..., Ce
be conjugacy classes of G = SLn (C). The Deligne-Simpson problem asks
to provide necessary and sufficient conditions for the existence of a tuple
(x1 , .., xe ) ∈ Ω such that hx1 , ..., xe i acts irreducibly on the natural module,
and x1 ...xe = 1. A solution to this question yields information concerning
monodromy groups of regular systems of differential equations on CP 1 (see
[28] for further details). Posed by Deligne, this problem has been studied in
numerous settings and generalizations [9] [23] [24] [25] [26] [27] [29] [28] [45].
Now assume C1 , ..., Ce are noncentral conjugacy classes of the algebraic
group G = SLn (k) where k is an uncountable algebraically closed field of any
1991 Mathematics Subject Classification. 20G15, 20G05.
1

2

GERHARDT

characteristic. Say (x1 , ..., xe ) ∈ Ω generates G topologically if hx1 , ..., xe i is
Zariski dense in G. Since G(k) is infinitely generated, the relevant finitary
notion of generation is topological. This paper determines necessary and
sufficient conditions for the existence of a tuple ω ∈ Ω which topologically
generates G. The existence of such an ω ∈ Ω implies that generic tuples
in Ω generate G topologically, with generic taken in the appropriate sense.
The solution to this question has applications to generic stabilizers in linear
representations of algebraic groups, and random (r, s)-generation of finite
groups of Lie type. In future work [7] [15], conditions are determined for
the existence of tuples ω ∈ Ω which topologically generate classical and
exceptional algebraic groups, and related applications are discussed.
Our main result is as follows.
Theorem 1.1. Let C1 , ..., Ce be noncentral conjugacy classes of the algebraic
group G = SLn (k), where k is an uncountable algebraically closed field, and
n > 3. Let γi be the dimension of the largest eigenspace of Ci . Then there
is a tuple ω ∈ Ω topologically generating G if and only if the following
conditions hold:
Pe
(i)
i=1 γi 6 n(e − 1);
(ii) it is not the case that e = 2 and C1 , C2 have degree two minimal
polynomials.
Let us make a few comments about the theorem. First of all, the assumption that k is an uncountable algebraically closed field is made for the
sake of convenience. It is evident some condition on k is required, as G(k)
is locally finite when k = Fp . However once the main theorem has been
established over uncountable fields, analogous results can be recovered under much weaker hypotheses on k. In characteristic p = 0, the result holds
over any field (see Corollary 3.8 below). In positive characteristic, the result
holds over any algebraically closed field of positive transcendence degree (see
Corollary 3.9), or any field of infinite transcendence degree over the prime
field.
Now let us describe the proof strategy for Theorem 1.1. The notion of a
generic property underlies much of the reasoning given below, so let us fix
its meaning in the present context. Assume X(k) is an irreducible variety
defined over an uncountable algebraically closed field. A generic subset
of X(k) contains the complement of a countable union of proper closed
subvarieties of X(k). The complement of a generic subset is a meagre set.
To begin, choose noncentral conjugacy classes C1 , ..., Ce of G = SLn (k).
Let M be a closed subgroup of G, and
YM := {(x1 , ..., xe ) ∈ Ω | hx1 , ..., xe i ⊂ M g , for some g ∈ G}
Up to conjugacy, there exist finitely many maximal closed subgroups of G
which are positive-dimensional. Call these subgroups M1 , ..., MtS
. Note if
generic tuples in Ω generate an infinite group not contained in ti=1 YMi ,
then generically tuples in Ω generate a positive-dimensional subgroup of G

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

3

contained in no conjugate of Mi , 1 6 i 6 t, and hence must generate G
topologically.
The argument proceeds by induction on the dimension of the natural
module. In the base case, the maximal subgroup structure of G is completely
understood. For any closed subgroup
M of G, Lemma 2.1 provides the
Q
useful bounds dim YM 6 dim ej=1 (Cj ∩ M ) + dim G/M . By computing
dimensions of varieties, it is shown
dim YM 6 dim

e
Y

(Cj ∩ M ) + dim G/M < dim Ω

j=1

for each maximal closed subgroup, and each subfield subgroup M of G.
It
St follows generic tuples in Ω generate an infinite group not contained in
i=1 YMi .
For the inductive argument, slightly more indirect reasoning is given. Using tools from algebraic geometry and representation theory, it is shown
generic tuples in Ω generate a group acting irreducibly and primitively on
the natural module, which contains “strongly regular” elements of infinite
order. It is then shown no proper maximal closed subgroup of G can share
all these properties simultaneously.
Let us now turn to applications of the main theorem. The first concerns
linear representations of algebraic groups. Let V be a linear G-variety, and
recall for any x ∈ V the point stabilizer of x in G is written Gx := {g ∈ G |
gx = x}. A subgroup H is said to be a generic stabilizer of G on V if there
exists a nonempty open subset V0 ⊂ V such that Gx is a conjugate of H for
every x ∈ V0 .
In characteristic p = 0, the cardinality of a generic stabilizer, and in
particular the question of whether a generic stabilizer is finite or trivial,
arises frequently in the context of invariant theory. A well-known result
states that a generic stabilizer of a connected simple irreducible algebraic
group G is nontrivial if and only if its algebra of invariant polynomials k[V ]G
is free (see Theorem 8.8 of [42]). In [11] and [40], Èlašvili and Popov classify
when a generic stabilizer of a simple algebraic group G is finite or trivial.
For semisimple algebraic groups, the question of when a generic stabilizer is
trivial is studied in [11], [12] and [42]. More recently, the question of when
a generic stabilizer is finite but nontrivial appears in works of M. Bhargava,
B.H. Gross, X. Wang and W.Ho ([2], [3], [4], [5]).
In arbitrary characteristic, work of Burness-Guralnick-Liebeck-Testerman
[20] shows if dim V > dim G, then generically a point stabilizer is finite.
Garibaldi-Guralnick [13] shows if dim V > dim G, then in most cases a
generic stabilizer is trivial as a group scheme. Furthermore the cardinality
of a generic stabilizer is closely related to base sizes for algebraic groups, an
area of investigation recently initiated in Burness-Guralnick-Saxl [8].

4

GERHARDT

In Section 4, we use topological generation to establish a new bound α
on the dimension V such that a generic stabilizer is trivial whenever dim
V > α. This bound holds in arbitrary characteristic.
Corollary 1.2 (Bounds on generic stabilizers of linear groups). Let G =
SLn (k) be an algebraic group with k an algebraically closed field. Assume
V is a linear G-variety such that V G = 0. If dim V > 49 n2 , then a generic
stabilizer is trivial.
A second application of topological generation concerns a classical grouptheoretic problem: the random generation of finite simple groups. The
following questions date back to the 19th century:
(i) does the probability that two random elements of Altn generate
Altn tend to 1 as n → ∞?
(ii) which finite simple groups appear as quotients of the modular group
P SL2 (Z)?
The first question was posed by Netto in 1892 and answered affirmatively
by Dixon [10] in 1969, where he conjectured the same property holds of
all finite simple groups. In other words, for any finite simple group H (of
some fixed type An , Bn , etc.), the probability that two random elements of
H generate the entire group tends to 1 as |H| → ∞. This conjecture was
proved by Kantor-Lubotsky [22] and Liebeck-Shalev [31] in the 1990s using
probabilistic methods.
The solution of Dixon’s conjecture led to many more fine-grained questions concerning random generation of finite simple groups. A natural
refinement of the above question asks whether two random elements of
prime orders r and s generate H as |H| → ∞. This property is called
random (r, s)- generation. Perhaps surprisingly given the strength of the
statement, this property has also been found to hold in many cases [32],
although counterexamples exist [33], and some questions remain. In particular, by work of Liebeck-Shalev [32] it is known that finite simple classical
groups have random (r, s)-generation when the rank of the group is large
enough (depending on the orders of r, s).
Although not immediately obvious, question (ii) stated above concerns
(r, s)-generation of finite simple groups. P SL2 (Z) is isomorphic to the free
product C2 ∗ C3 , and hence the question may be restated in the following
form: which finite simple groups are (2, 3)-generated? Liebeck-Shalev [33]
discusses the geometric background of this problem, and its long history in
the literature. In [33], it is shown all finite simple classical groups have random (2, 3)-generation except P Sp4 . In particular, aside from P Sp4 all but
finitely many finite simple classical groups appear as quotients of P SL2 (Z).
This result is extended to the remaining finite simple groups (except Suzuki
groups) in Guralnick-Liebeck-Lübeck-Shalev [18].
Using random (2, 3)-generation as a guide, one might expect random
(r, s)-generation to hold with orders r, s independent of the rank of the

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

5

group in all but a few small rank cases. In Section 5, we use topological
generation results to prove this fact for linear and unitary groups in the
fixed rank case.
Corollary 1.3 (Random (r, s)-generation of linear and unitary groups). Fix
a positive integer n > 1, and let r, s be primes with (r, s) 6= (2, 2). Let G(q)
be a finite simple linear or unitary group of rank n over the finite field Fq
containing elements of orders r and s. Let x and y be random elements of
orders r and s in G(q). Then the probability that x and y generate G(q)
tends to 1 as |Fq | → ∞.
Before proving Theorem 1.1, it will be helpful to establish some general facts
about algebraic groups required for our arguments. This background material will be stated in slightly greater generality than necessary so that it may
be applied in future work. In [15] conditions are determined for the existence of tuples ω ∈ Ω which topologically generate a classical algebraic group
G. Applications to generic stabilizers and random (r, s)-generation are then
discussed. In Burness-Gerhardt-Guralnick [7], bounds on fixed point spaces
are used to establish topological generation results for exceptional algebraic
groups, and additional applications are considered.
Acknowledgments.
This research was partially supported by NSF grant DMS-1302886. The
author would like to thank Robert Guralnick for his many helpful comments
and suggestions, and guidance during the development of this paper.
2. Preliminary lemmas for simple algebraic groups
In this section (unless otherwise stated) let G be a simple algebraic group
defined over an algebraically closed field. When G is a classical group, let V
be the natural module for G. Finally, let C1 , .., Ce be noncentral conjugacy
classes of G, and Ω := C1 × ... × Ce . Say a tuple (x1 , ..., xe ) ∈ Ge has a given
group property if the closure of hx1 , ..., xe i has that property.
For any closed subgroup M of G, let:
Q
- ∆ := ej=1 (Cj ∩ M )
S
- X := g∈G (M g × ... × M g ) ⊂ Ge
- ϕ : G × ∆ → X be the map (g, (x1 , ..., xe )) 7→ (xg1 , ..., xge )
- YM := {(x1 , ..., xe ) ∈ Ω | hx1 , ..., xe i ⊂ M g , for some g ∈ G}
Note for any such M , (xg1 , ..., xge ) ∈ im(ϕ) if and only if (x1 , ..., xe ) ∈ Ω
and hx1 , ..., xe i ⊂ M g for some g ∈ G. In particular, im(ϕ) = YM .
Up to conjugacy, there exist finitely many maximal positive-dimensional
closed subgroups of G (see Corollary 3 in Liebeck-Seitz [37]). Call these
subgroups M1 , ..., Mt . As noted earlier, the overall strategy is to prove
generic tuples in Ω topologically generate an infinite group not contained
in ∪ti=1 YMi . In the base case, the following lemma allows us to establish

6

GERHARDT

this fact by performing explicit calculations on the dimensions of relevant
varieties.
Lemma 2.1. Let M be a closed subgroup of a simple algebraic group G defined over an algebraically closed field, and let C1 , ..., Ce be conjugacy classes
of G. Then dim YM 6 dim ∆ + dim G/M .
Proof. To begin, note any (x1 , ..., xe )g ∈ im(ϕ) will be in the same orbit
as (x1 , ..., xe ) ∈ ∆, and hence their fibers will have the same dimension.
So without loss of generality, assume (x1 , ..., xe ) ∈ ∆ and consider the map
ϕ′ : M × ∆ → ∆, (g, (x1 , ..., xe )) 7→ (xg1 , ..., xge ). Clearly im(ϕ′ ) = ∆, and
hence every fiber of ϕ has dimension at least dim M . By the fiber theorem
(see Corollary 4 of EGA III [16]), dim YM 6 dim ∆ + dim G/M .
Over an uncountable field, proving generic tuples in Ω topologically generate G reduces to showing dim Ω > dim ∆ + dim G/M for each maximal
closed subgroup and each subfield subgroup M of G.
For the inductive argument, it is shown generic tuples in Ω generate a
group having a list of properties that no subfield subgroup nor positivedimensional maximal subgroup can share. Typically this argument proceeds
in two stages. The first is to prove the existence of a tuple ω ∈ Ω having
some desirable property, and the second is to show that this property is
either an open or generic condition.
The following is a version of Burnside’s Lemma for algebraic groups. It
allows us to recast Lemma 2.1 in a particularly geometric light, and relates
condition (i) of Theorem 1.1 to the existence of an open subset of tuples
Ω0 ⊂ Ω which fix no 1-dimensional subspace of V .
Lemma 2.2. Let M be a closed subgroup of an algebraic group G, with G
acting on G/M . Then for x ∈ M ,
dim G/M − dim (G/M )x = dim C − dim (C ∩ M )
where (G/M )x is the set of fixed points of x, and C is the conjugacy class
of x in G.
Proof. This is Proposition 1.14 in [30].
This immediately yields a useful bounds on fixed point spaces.
Lemma 2.3. Let M be a closed subgroup of a simple algebraic group G, and
x
of the conjugacy classes C1 , ..., Ce . If Ω ⊂ YM , then
P1 ,e..., xe be elements
xj > (e − 1) · dim G/M .
dim
(G/M
)
j=1
Proof. Assume Ω ⊂ YM . Lemma 2.1 shows:
dim Ω 6

e
X
j=1

dim (Cj ∩ M ) + dim G/M

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

7

Summing from 1 to e, Lemma 2.2 yields:
dim Ω =

e
X

dim G/M −

e
X

dim (G/M )

j=1

j=1

xj

+

e
X

dim (Cj ∩ M )

j=1

Combining these facts:
e
X

e
X
dim G/M ) − dim G/M
dim (G/M )xj > (
j=1

j=1

Now assume G is a classical algebraic group, and M is a maximal parabolic
subgroup of G (so that M is the stabilizer of a totally singular subspace
W ⊂ V ). For linear and symplectic groups, all 1-dimensional subspaces
of V are totally singular, and hence G/M is isomorphic to projective space
P1 (V ). To prove there exists a tuple ω ∈ Ω fixing no 1-dimensional subspace
of V , it suffices to show Ω 6⊂ X. (For orthogonal groups, 1-dimensional nondegenerate subspaces must also be considered).
Lemma 2.4. Let G be a linear or symplectic algebraic group defined over
an algebraically
closed field, and let C1 , ..., Ce be conjugacy classes of G.
P
Then ej=1 γj 6 n(e − 1) ⇔ there is a tuple ω ∈ Ω fixing no 1-dimensional
subspace of V .
Proof. The “only if” direction follows from Lemma 3.6 below.
For the converse direction, assume Ω ⊂ X where M is the stabilizer of
a 1-dimensional subspace of V . Let ϕ : Ge × G/M → Ge be the natural
projection map. Since M is parabolic, G/M is a complete variety and ϕ is
a closed map. However, ϕ(Z) = X where
Z = {(x1 , ..., xe , v) | x1 v = ... = xe v = v}
So X is closed, and in particular Ω ⊂ YM . Now applying Lemma 2.3,
e
X

dim (G/M )xj > (e − 1) · dim G/M

j=1

Note the irreducible components of (G/M )x are projective spaces associated
with each eigenspace of x. In particular the dimension of (G/M )x is one
less than the dimension of the largest eigenspace of x acting on the natural
module. So dim (G/M )xj = γj − 1, and dimPG/M = n − 1. Applying this
information to the above inequality yields ( ej=1 γj ) − e > (e − 1)(n − 1).
P
This implies ej=1 γj > n(e − 1).
Remark. No restrictions were placed on the conjugacy classes C1 , ..., Ce
of G since only 1-dimensional subspaces of V were being considered. When
moving to the stabilizers of higher dimensional subspaces, different arguments are required to compute (G/M )x depending on whether x ∈ Cj is

8

GERHARDT

semisimple, unipotent, or mixed. This issue arises when when giving inductive arguments to establish topological generation for symplectic and
orthogonal algebraic groups.
It can now be shown under the stated hypothesis that an open subset of
tuples Ω0 ⊂ Ω fix no 1-dimensional subspace of V . Let G be any simple
algebraic group G, and V be a rational kG-module. Furthermore let Rd,e (V )
be the set of tuples in Ge fixing a common d-dimensional subspace of V ,
Id,e (V ) be the set of tuples in Ge that fix no d-dimensional subspace of V ,
and Ie (V ) be the set of tuples in Ge that act irreducibly on V . The following
lemma is well-known.
Lemma 2.5. Let G be a simple algebraic group defined over an an algebraically closed field k, and let V be a rational kG-module. Then
(i) Rd,e (V ) is a closed subvariety of Ge .
(ii) Id,e (V ) is an open subvariety of Ge
(iii) Ie (V ) is an open subvariety of Ge .
Proof. Parts (i) and (ii) follow from Lemma 11.1 in Guralnick-Tiep [19].
For part (iii), assume V is an n-dimensional module. Then ∪16d6n Id,e (V ) =
Ie (V ).
Since Ω is an irreducible variety, Lemmas 2.4 and 2.5 imply an open subset
of tuples Ω0 ⊂ Ω fix no 1-dimensional subspace of V under the hypotheses
stated in Theorem 1.1.
An extension of Lemma 2.5 proved in [19] will also be quite useful for
establishing properties of topological generation. Let U = {W1 , ..., Wt } be a
finite collection of irreducible rational kG-modules, and ∩W ∈U Ie (W ) be the
set of tuples in Ge that act irreducibly on each Wi ∈ U . Finally let Se (G) be
the set of tuples in Ge that topologically generate a group containing a conjugate of some particular subfield subgroup G(q0 ) of G (for q0 appropriately
large).
Lemma 2.6. Let G be a simply connected classical algebraic group defined
over an algebraically closed field k. There exists a collection of rational
irreducible kG-modules U such that Se (G) = ∩W ∈U Ie (W ).
Proof. This is Theorem 11.6 in [19].
The above lemma implies there is a collection U such that if H is a
proper closed subgroup of G acting irreducibly on each Wi , then H contains
a conjugate of G(q) for some finite field Fq with p|q. Furthermore, since
acting irreducibly on a single (and hence any finite collection) of rational
kG-modules is an open condition, the set of tuples in Ge generating a group
containing a conjugate of some fixed subfield subgroup is open in Ge . Over
an uncountable field, this shows a tuple ω ∈ Ω topologically generates G if
and only if generic tuples in Ω share this property.

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

9

Lemma 2.7. Assume G is a simple algebraic group defined over an uncountable algebraically closed field. Let C1 , ..., Ce be non-central conjugacy
classes of G. If there is a tuple ω ∈ Ω topologically generating G, then
generic tuples in Ω generate G topologically.
Proof. In characteristic p = 0 subfield subgroups do not exist. Hence over
any algebraically closed field, Lemma 2.6 shows the existence of a single
generating tuple ω ∈ Ω implies an open dense subset of tuples generate G
topologically.
In positive characteristic, Lemma 2.6 shows there is a proper closed subvariety of Ge outside of which a tuple ω ∈ Ge generates a dense subgroup of
G if and only if it generates an infinite subgroup of G. Over an uncountable
field, the existence of a tuple ω ∈ Ω generating an infinite subgroup implies
generic tuples in Ω share this property (see Lemma 2.10 below).
Now recall a group acts primitively on a vector space V if it acts irreducibly and preserves no additive decomposition of V . The following lemmas
prove the set of tuples in Ge generating a primitive subgroup is open.
Lemma 2.8. Let G be a subgroup of GL(V ), with V an n-dimensional vector
space defined over an algebraically closed field. Then G acts primitively on
V if and only if
(i) G acts irreducibly on V
(ii) for each divisor d < n, no subgroup H with [G : H] = n/d fixes a
d-dimensional subspace of V
Proof.
To start we may assume that G acts irreducibly on V or else
there is nothing to prove. If G acts imprimitively and irreducibly, then
V = V1 ⊕ . . . ⊕ Vn/d with n/d > 1, and G permutes the Vi transitively. If H
is the stabilizer of V1 , then [G : H] = n/d.
Conversely, suppose there is a subgroup H of G such that [G : H] = n/d,
d < n, and H fixes a d-dimensional subspace V1 of V . For 1 ≤ i ≤ n/d, let Vi
be the conjugates of V1 under G. Since G acts irreducibly, V = V1 ⊕. . .⊕Vn/d ,
and G is imprimitive.
Now let Fe be the free group on e letters, and fix a divisor d of n. Since Fe
is finitely generated, it has only finitely many subgroups of index d. Label
these subgroups H1 (d), ..., Ht (d). For each such Hi (d), 1 6 i 6 t, choose a
collection of generators wi1 , ..., wis .
Theorem 2.9. Let G = GL(V ), with V a positive dimensional vector space
defined over an algebraically closed field. The set of tuples ω ∈ Ω acting
primitively on V forms a Zariski open subset of Ge .
Proof.
By Lemma 2.5, the set of tuples in Ge generating a subgroup
acting reducibly on V is closed. Now suppose (g1 , . . . , ge ) ∈ Ge generates a subgroup J of G that acts irreducibly and imprimitively on V .

10

GERHARDT

Then for some d|n (with d < n) there is a subgroup J1 ⊂ J such that
[J : J1 ] = n/d, and J1 fixes a d-dimensional subspace of V . Choose a surjection ϕ : Fe → J so that ϕ−1 (J1 ) = Hi (d) for some 1 6 i 6 t. Note
hwi1 (g1 , . . . , ge ), . . . , wis (g1 , . . . , ge )i fixes a common d-dimensional subspace
of V .
Repeating the argument given in Lemma 2.4, the set of tuples (x1 , ..., xe ) ∈
Ge such that hwi1 (x1 , . . . , xe ), ..., wis (x1 , . . . , xe )i fixes a common d-dimensional
subspace of V is closed in Ge . Considering each subgroup H1 (d), ..., Ht (d)
for each divisor d of n, we find the set of tuples (x1 , ..., xe ) ∈ Ge generating
an imprimitive subgroup is closed.
Remark: When k is not the algebraic closure of a finite field there are tuples
(x1 , ..., xe ) ∈ Ge topologically generating G = GLn (V ), so the open subset
described above is nonempty. Of course this set is empty when e = 1.
To establish the remaining generic properties of Ω it will be helpful to
move between properties holding generically on a simple algebraic group G
and properties holding generically on Ge .
Lemma 2.10. Let G be a semisimple algebraic group defined over an algebraically closed field k. For any nontrivial word w ∈ Fe , the word map
ϕw : Ge → G which sends (x1 , ..., xe ) 7→ w(x1 , ..., xe ) is dominant. In
particular, Z ⊂ G is a generic subset of G if any only if {(x1 , ..., xe ) ∈
Ge | w(x1 , ..., xe ) ∈ Z} is a generic subset of Ge .
Proof. This is a result of Borel, and appears as Proposition 2.5 in BreuillardGreen-Guralnick-Tao [6].
Say a tuple (x1 , ..., xe ) ∈ Ge has infinite order if there is a word w ∈
Fe such that w(x1 , x2 , ..., xe ) has that property. Although having infinite
order is not an open condition in Ge , the following lemma shows over an
uncountable field it is a generic one.
Lemma 2.11. Let C1 , ..., Ce be conjugacy classes of a simple algebraic group
G defined over an uncountable algebraically closed field. Then generic tuples
in Ge have infinite order. Furthermore if some ω ∈ Ω has infinite order,
generic tuples in Ω share this property.
Proof. The set Θn = {x ∈ G | xn = 1} of
S elements of order at most n is
closed in G. Over an uncountable field, ( n>1 Θn )c is a generic subset of
G. Applying Lemma 2.10, generic tuples in Ge have infinite order. If some
ω ∈ Ω has infinite order, then Ω ∩ Θn is a proper closed subvariety of Ω for
each n.
Now pick a maximal torus T of a classical algebraic group G, and let Ad :
G → GLn (Lie(G)) be the adjoint representation. Note Lie(G) ∼
= V ⊗ V ∗,
where V is the natural module for G. Recall an element x ∈ G is regular if
the dimension of its centralizer is as small as possible, and regular semisimple
if all its eigenvalues are distinct on the natural module. Note if an element

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

11

t ∈ T has eigenvalues γ1 , ..., γn on V , then t has eigenvalues γi · γj−1 on
V ⊗ V ∗ , for 1 6 i 6 n, 1 6 j 6 n. Call a regular semisimple element of G
strongly regular if for every 1 6 i, j, k, l 6 n, we have that γi · γj−1 = γk · γl−1
implies i = j and k = l. In other words, t is strongly regular if for any two
distinct roots αi , αj of G, αi (t) 6= αj (t).
It is a well-known fact (see Theorem 2.5, [21]) that regular semisimple
elements are open and dense in G. It follows that generically elements
in G are strongly regular: if γ1 , ..., γn are generically distinct, then so are
γi · γj−1 and γk · γl−1 for i 6= j,k 6= l. Say a tuple (x1 , ..., xe ) ∈ Ω is strongly
regular if there is a word w ∈ Fe such that w(x1 , x2 , ..., xe ) has that property.
Applying Lemma 2.10 the existence of a strongly regular tuple ω ∈ Ω implies
that generic tuples in Ω share this property.
The following lemma provides conditions sufficient to ensure the existence
of a tuple ω ∈ Ω topologically generating G = SLn (k). In the next section
it is shown these conditions may in fact be satisfied.
Lemma 2.12. Let C1 , ..., Ce be non-central conjugacy classes of G = SLn (k),
where k is an uncountable algebraically closed field, and n > 4. Assume there
is a tuple ω ∈ Ω topologically generating a group that acts irreducibly and
primitively on the natural module, and which contains strongly regular elements of infinite order. Then there is a tuple ω ∈ Ω topologically generating
G.
Proof. Let ω ∈ Ω be a tuple topologically generating a group H with the
above listed properties, and let t ∈ H be a strongly regular element of infinite
order. Since the non-trivial eigenvalues of t on V ⊗ V ∗ are distinct, it follows
that Lie(G) is H-invariant, and in particular that Lie(H) is generated by
root subspaces of Lie(G). Furthermore, since t has infinite order, Lie(H) is
non-trivial. In other words, Lie(H) = T0 ⊕ Nα1 ... ⊕ Nαj where the αi are
roots of G, T0 ⊂ T is a torus of G (where T is a maximal torus of G), and
the Nαi are one-dimensional root subspaces of Lie(G).
If Lie(H) = Lie(G) we are done, so assume Lie(H) ( Lie(G). Then there
is a one dimensional root subspace Nα ⊆ Lie(G) such that Nα 6⊆ Lie(H).
In particular, we have
Lie(H) ⊂ T ⊕ Nα1 ... ⊕ Nαj ( Lie(G)
However this implies H is contained in a maximal rank subgroup of G. From
Section 6 of [38] and Table 18.2 of [39], we see there are no proper maximal
rank irreducible primitive subgroups of G for n > 4.

3. Topological generation of special linear algebraic groups
We are now in a position to prove the main theorem. In this section, let
C1 , ..., Ce be non-central conjugacy classes of G = SLn (k), where k is an
uncountable algebraically closed field, and V is the natural module for G.

12

GERHARDT

The “only if” direction of Theorem 1.1 follows without much difficulty, and
is checked at the end of this section.
For the converse direction, the argument proceeds by induction on the
dimension of the natural module. For both the base case and the induction, it is helpful to record some information about the maximal subgroup
structure of SLn (k). This follows from more general work on the maximal
subgroups of classical groups carried out by Aschbacher [1], Liebeck-Seitz
[36] and others. In outline, the results state that the positive-dimensional
maximal closed subgroups of classical algebraic groups arise in four naturally
occurring geometric families, and one family of groups that act irreducibly
and tensor indecomposably on the natural module. The geometric families
can be described in a uniform fashion, and are often labelled C1 − C4 . Members of the latter family are less easily described in a systematic fashion, but
have the nice property that their connected component is an almost simple groups modulo scalars. The classical subgroups are sometimes labelled
C6 . The following table collects the information that will be needed below.
The listed structures should be read as intersecting with SLn (k) in order to
obtain the appropriate maximal closed subgroups.
Theorem 3.1. The maximal positive-dimensional closed subgroups of SLn (k)
contained in C1 ∪ ... ∪ C4 ∪ C6 have one of the following forms.

Class
C1
C2
C4
C6

Maximal subgroups
structure
Pm
GLm ≀ St
GLn1 ⊗ GLn2
(⊗ti=1 GLm ).St
Spn
SOn

in C1 ∪ ... ∪ C4 ∪ C6 in SLn (k)
conditions
rank
16m6n−1
n−2
n = mt, t > 2
t(m − 1)
n = n1 n2 , 2 6 n1 < n2
n1 + n2 − 2
n = mt , m > 3, t > 2
t(m − 1)
n
n even
2
p 6= 2
⌊ n2 ⌋

Proof.
This is Proposition 18.13 in [39].
Remark. The groups in C1 are maximal parabolic subgroups of SLn (k).
They stabilize an m- dimensional subspace of V , with 1 6 m 6 n − 1. The
groups in C2 are irreducible and imprimitive: they fix no nontrivial proper
subspace, but permute t subspaces of dimension m, where n = mt. The
groups in class C4 preserve or permute a tensor decomposition.
Corollary 3.2. Assume M is a maximal positive-dimensional closed subgroup of SL3 (k). Up to conjugacy M has one of the following forms:
(i) M is irreducible and primitive. In this case M ∼
= SO3 (k).
(ii) M is irreducible and imprimitive. In this case M ∼
= (GL1 (k) ≀ S3 ) ∩
SL3 (k) is the normalizer of a torus.

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

13

(iii) M is reducible. In this case M is the stabilizer of a line or a hyperplane.
For the base case of our argument, it will be convenient to record the
dimensions of non-central conjugacy classes of SL3 (k). Recall a class C is
quadratic if it has a degree two minimal polynomial.
Lemma 3.3. Let C be a non-central conjugacy class of SL3 (k). If C is
quadratic then dim C = 4, and dim C = 6 otherwise.
Proof. Regular elements in SL3 (k) have two dimensional centralizers, and
hence if C is a conjugacy class of regular elements, dim C = 6. If not, C is
quadratic and trivially dim C = 4.
The following theorem proves the base case.
Theorem 3.4. Let C1 , .., Ce be non-central conjugacy classes P
of SL3 (k),
e
where k is an uncountable algebraically closed field. Assume
j=1 γj 6
n(e − 1), and it is not the case that e = 2 and C1 , C2 are quadratic. Then
there is a tuple ω ∈ Ω topologically generating SL3 (k).
Proof. We first show generic tuples in Ω generate an infinite subgroup. The
conditions given in Theorem 1.1 together with Lemma 3.3 imply that dim
Ω > 8. Let M be a subfield subgroup of G, and pick a class C from C1 , ..., Ce .
Clearly dim C ∩ M = 0 and dim G/M = 8. Hence applying Lemma 2.1,
dim Ω > dim YM . Now let
S M1 , M2 ... be a list of the subfield subgroups of
G up to conjugacy. As ( i>1 YMi )c is a countable union of proper closed
subvarieties of Ω, generic tuples in Ω generate an infinite subgroup of G.
It remains to be shown dim Ω > dim ∆ + dim G/M , for each maximal
closed subgroup M of SL3 (k). Applying Corollary 3.2, it suffices to treat
the following cases.
(i) M = SO3 (k). Pick a class Cj from C1 , ..., Ce and assume x ∈
Cj ∩ M . Consider the Jordan form of x on the natural module for
M . Note even sized Jordan blocks come in pairs, and any eigenvalue
α 6= ±1 of x comes paired with another eigenvalue α−1 . Hence if
dim (Cj ∩ SO3 (k)) 6= 0, then either Cj is a unipotent class with
Jordan form J3 , or Cj is a semisimple class. In either of these cases,
an element x ∈ Cj ∩ SO3 (k) centralizes a 1-dimensional subgroup
of SO3 (k), so dim (Cj ∩ SO3 (k)) 6 2. As dim G/M = 5, it follows dim Ω > dim ∆ + dim G/M when the conditions placed on
C1 , ..., Ce are satisfied.
(ii) M is the normalizer of a maximal torus T . Pick a class Cj from
C1 , ...., Ce . Since NG (T )/CG (T ) is finite and dim CG (T ) = dim T =
2, we have dim G/M = 6 and dim (M ∩ Cj ) 6 2. Applying Lemma
3.3, dim Ω > 2e + 6 unless (a) e = 2 and at most one of C1 , C2
are non-quadratic, or (b) e = 3 and each of C1 − C3 are quadratic.

14

GERHARDT

When Cj is quadratic, NG (T ) ∩ Cj is finite, except when Cj is a
class of involutions.
So assume Cj is a class of involutions such that NG (T ) ∩ Cj is
positive-dimensional. Then NG (T )∩Cj is a union of classes of outer
involutions in NG (T ) (there are two such classes in characteristic
p 6= 2, and one in characteristic p = 2). These outer involutions
have a one dimensional centralizer in NG (T ). Hence if Cj is quadratic, dim M ∩Cj 6 1. It follows that dim Ω > dim ∆+ dim G/M
under the conditions placed on C1 , ..., Ce .
(iii) M is reducible. Applying Lemmas 2.4 and 2.5 generic tuples in Ω
do not fix a 1-space or hyperplane (by considering the dual space).

In order to make use of the inductive hypothesis, it is necessary to restrict
′
′
the conjugacy classes C1 , ...,
PeCe of′ SLn (k) to classes C1 , ..., Ce of SLn−1′(k)
and check the inequality j=1 γj 6 (n − 1)(e − 1) still holds, where γj is
the dimension of the largest eigenspace of the conjugacy class Cj′ .
Pick a class Cj in C1 , ..., Ce and some element x ∈ Cj . Assume x has
Jordan form ⊕li=1 λi Jiri on the natural module. Let λ be an eigenvalue
corresponding to a maximal dimensional eigenspace Eλ of x, and let Jk be
a Jordan block of minimal dimension such that λJk occurs in the Jordan
decomposition of x. Replace the block λJk in the Jordan form of x with
λJk−1 (if k = 1, remove the block λJ1 ). Note an element x′ with this
new Jordan form (say viewed in GLn−1 (k)) has determinant λ−1 . However,
by scaling and restricting conjugation, we get a new conjugacy class Ci′ of
SLn−1 (k). Every class Ci′ can be extended to the class Ci in the obvious
way, and rescaling does not effect generation.
Lemma 3.5. Assume C1 , ..., Ce are non-central conjugacy classes of SLn (k),
where k is an uncountable algebraically closed field and
Pe
(i)
i=1 γi 6 n(e − 1)
(ii) it is not the case that e = 2, and C1 , C2 are quadratic
Finally, assume C1′ , ..., Ce′ are the classes of SLn−1 (k) described above. Then
P
e
′
i=1 γi 6 (n − 1)(e − 1).
Proof. Pick a class Ci in C1 , ..., Ce and x ∈ Ci . Assume x has Jordan form
⊕li=1 λi Jiri , and λk Jk is the Jordan block removed from x in order to obtain
the class Ci′ . If k = 1, then γi′ = γi − 1. If k > 1, then γi′ = γi . In the latter
case, all Jordan blocks of x must have size greater than one. In particular
if γi′ = γi we have γi′ 6 n2 with equality if and only if Ci is quadratic.
We argue by induction on the number of classes e. For the base case,
assume e = 2. Note by condition (i) of Theorem 1.1, γ1 + γ2 6 n. If either
C1 or C2 contain a Jordan block of size one, then γ1′ +γ2′ 6 γ1 +γ2 −1 6 n−1.
So assume C1 and C2 contain no Jordan blocks of size one. As it is not the

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

15

case that both C1 and C2 are quadratic, γ1′ + γ2′ 6 n − 1. Now assume
Pe−1 ′
(e − 2)(n − 1). Since Ce is a non-central class, γe′ 6 n − 1. In
i=1 γi 6 P
particular, ei=1 γi′ 6 (e − 1)(n − 1).
Applying the inductive hypothesis, there exists a tuple ω ′ ∈ Ω′ topologically generating SLn−1 (k). Extending ω ′ to a tuple ω ∈ Ω, there is an
ω ∈ Ω topologically generating a group which contains an isomorphic copy
of SLn−1 (k). This implies there is a tuple ω ∈ Ω topologically generating
a group which has a composition factor of dimension at least n − 1 on the
natural module. Applying Lemma 2.5 this is an open condition, so generic
tuples in Ω share this property. Furthermore by Lemma 2.4 generic tuples
do not fix a 1-space or a hyperplane (by considering the dual space), and
hence generic tuples in Ω act irreducibly on the natural module.
Second, the existence of a tuple ω ∈ Ω topologically generating a group
containing a copy of SLn−1 (k) implies there is a tuple ω ∈ Ω generating
a group H such that any finite index subgroup of H acts irreducibly on a
subspace of dimension greater than n/2. This is an open condition, so there
is a tuple ω ∈ Ω generating a group H with properties (i) and (ii) listed
in Lemma 2.8. Applying Theorem 2.9, generic tuples in Ω act primitively
on the natural module. Similarly using the inductive hypothesis there is a
tuple (x1 , ..., xe ) ∈ Ω and word w ∈ Fe such that w(x1 , ..., xe ) has infinite
order, and a tuple (x1 , ..., xe ) ∈ Ω and word w ∈ Fe such that w(x1 , ..., xe )
is strongly regular. By Lemma 2.10, generic tuples in Ω share this property.
The finite intersection of generic subsets is a generic set, and over an uncountable field generic sets are non-empty (see Lemma 2.4 in [6]). Applying
Lemma 2.12, there is a tuple ω ∈ Ω topologically generating G.
To complete the proof of Theorem 1.1, we check conditions (i) and (ii)
listed in the statement of the theorem are in fact necessary.
Lemma 3.6. Let C1 , ..., Ce be conjugacy classes of a classical algebraic group
G defined over an algebraically
closed field k. Assume the natural G-module
P
V is n-dimensional. If ei=1 γi > n(e − 1), then no tuple ω ∈ Ω topologically
generates G.
Proof. Pick a class Ci , in C1 , ..., Ce . For any element x ∈ Ci , let Eαi be a
γi -dimensional eigenspace of x on V . We would like to show
dim (

e
\

Eαi ) =

e
X

γi − n(e − 1)

i=1

i=1

This can easily be proved by induction on the number of classes e. If
e = 2 and γ1 + γ2 > n, then clearly dim (Eα1 ∩ Eα2 ) = γ1 + γ2 − n. So
P
assume ki=1 γi > n(k − 1), and
dim (

k
\

i=1

Eαi ) =

k
X
i=1

γi − n(k − 1)

16

GERHARDT

Then
dim (
Pe

k
\

i=1

Eαi

k
X
γi − n(k − 1)) + γk+1 − n
∩ Eαk+1 ) = (
i=1

Hence if i=1 γi > n(e − 1), then every tuple ω ∈ Ω generates a reducible
subgroup on the natural module.
The second statement is a well-known linear algebra exercise.
Lemma 3.7. Let C1 , C2 be quadratic conjugacy classes of G = SLn (k), and
V be the natural module for G. If dim V > 2, then every tuple ω ∈ Ω
generates a reducible subgroup of V .
Proof. See for instance Lemma 11.1 in [46]
3.1. Variations on the main theorem. In the statement of Theorem 1.1
it was assumed that SLn (k) was defined over an uncountable algebraically
closed field. However once topological generation has been proved over uncountable fields, analogous results can be recovered under much weaker hypothesis on k. For instance in characteristic p = 0, the result holds over any
field.
Corollary 3.8. Let C1 , ..., Ce be noncentral conjugacy classes of the algebraic group G = SLn (k), with k a field of characteristic zero, and n > 3.
Assume
Pe
(i)
i=1 γi 6 n(e − 1)
(ii) it is not the case that e = 2 and C1 , C2 are quadratic
Then there is a tuple ω ∈ Ω topologically generating G.
Proof. Let k be the algebraic closure of k. It follows from the remark given
after Lemma 2.6 that the set of tuples in Ω(k) that generate a Zariski dense
subset of G(k) contains an open subset of Ω(k). By Theorem 1.1 this open
set is non-empty. However Ω(k) is dense in Ω(k), so there is a tuple in Ω(k)
topologically generating G(k).
The result also holds over any algebraically closed field not algebraic over
a finite field.
Corollary 3.9. Let C1 , ..., Ce be a collection of noncentral conjugacy classes
of G = SLn (k), where k is an algebraically closed field not algebraic over a
finite field, and n > 3. Assume
Pe
(i)
i=1 γi 6 n(e − 1)
(ii) it is not the case that e = 2 and C1 , C2 are quadratic.
Then there is a tuple ω ∈ Ω topologically generating G.
Proof. This follows from Theorem 1.1 taken in combination with Theorem
1.5 of Burness-Gerhardt-Guralnick [7].

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

17

Modifying Theorem 4.5 from [6], one can also show the result holds over
any field of infinite transcendence degree over the prime field.
Finally, the choice of starting from SL3 (k) in the statement of Theorem
1.1 was made for purposes of uniformity. Using argumentation given above,
it is straightforward to prove an analogous topological generation result for
SL2 (k), although the statement is slightly different. Note all noncentral
conjugacy classes in SL2 (k) have a maximal one-dimensional eigenspace,
and are quadratic. Hence condition (i) of Theorem 1.1 may be omitted,
condition (ii) becomes a statement about classes of involutions modulo the
center, and it suffices to treat the case where Ω = C1 × C2 .
Lemma 3.10. Let C1 , C2 be non-central conjugacy classes G = SL2 (k),
where k is an uncountable algebraically closed field. There exists a tuple
ω ∈ Ω topologically generating G if and only if it is not the case that C1 and
C2 are classes of involutions modulo the center.
Proof. Again it suffices to show dim Ω > dim ∆ + dim G/M , where M
is any subfield subgroup, or closed maximal positive-dimensional subgroup
of G. First assume M is a subfield subgroup G(q) of G. Any non-central
conjugacy class C of SL2 (k) is two-dimensional. As dim C ∩ Mi = 0 and
dim G/Mi = 3, it follows dim Ω > dim ∆ + dim G/M .
According to Theorem 3.1, the conjugacy classes of maximal closed positivedimensional subgroups of SL2 (k) are Borel subgroups and the normalizer of
a maximal torus. Assume M is a Borel subgroup. If C1 , C2 are semisimple,
then elements in Cj ∩ M have a one dimensional centralizer, and dim Ω >
dim ∆ + dim G/M .
So without loss of generality assume C1 is unipotent (up to scalars) and
pick xi ∈ Ci . Since C1 is a regular unipotent class, x1 lives in a unique Borel
subgroup. Picking some x2 ∈ C2 which does not live in this Borel, we have
that hx
S 1 , x2 i topologically generates G. Furthermore since M is parabolic,
X = g∈G M g × Mg is closed subgroup of G × G, so generically tuples in Ω
topologically generate a group living in no conjugate of M .
Finally assume M is the normalizer of a torus. If C is not a class of
involutions in M , then dim C ∩ M = 0. Hence dim Ω > dim ∆ + dim G/M ,
unless C1 , C2 are involutions in M . In the latter case, Ci is a class of
involutions or a class of involutions modulo the center in G, and Ci ⊂ M g
for some g ∈ G. So Ω ⊂ X, and no tuple in Ω will generate G topologically.

4. Applications to generic stabilizers of special linear
algebraic groups
We now turn our attention to applications of topological generation, the
first of which concerns linear representations of algebraic groups. In this
section, let G be a simple algebraic group defined over an algebraically
closed field k, and let V be a linear G-variety. For any x ∈ G, let V x = {v ∈

18

GERHARDT

V | xv = v} be the vectors in V fixed by x, and V (C) = {v ∈ V | xv =
v for some x ∈ C} be the vectors fixed by some element in the conjugacy
class C. Recall a generic stabilizer is trivial if there exists a non-empty open
subvariety V0 ⊂ V such that Gx := {g ∈ G| gx = x} is trivial for each
x ∈ V0 .
Letting G = SLn (k), we use Theorem 1.1 to prove a generic stabilizer is
trivial when dim V is large enough. To begin, pick some conjugacy class C
of G, and assume d elements of C generate G topologically. The first lemma
yields a bound on the dimension of V (C).
Lemma 4.1. Let G be a simple algebraic group defined over an algebraically
closed field k, and let C be a conjugacy class in G. Assume d elements of
d
dim V + dim C. In
C generate G topologically. Then dim V (C) 6 d−1
particular, dim V (C) < dim V , when dim V > d · dim C.
Proof. Pick x ∈ C, and let ϕ : G × V x → V be the map (g, v) 7→ gv.
We claim im(ϕ) = V (C). If gv ∈ im(ϕ) then gxv = gv, and in particular
(gxg −1 )gv = gxv = gv. So gv ∈ V (C). Conversely if v ∈ V (C) there
exists a y ∈ C such that y = gxg−1 and yv = v. Hence g−1 v ∈ V x and
ϕ(g, g−1 v) = v. To achieve the desired inequality, we compute a bound on
the dimension of a fiber.
Pick gv ∈ V (C). Note for any h ∈ CG (x), we have (hgh−1 )v = ghh−1 v =
gv. Hence every fiber has dimension at least dim CG (x). In particular,
dim V (C) 6 dim G + dim V x − dim CG (x)
Now let γ be the dimension of the largest eigenspace of C. Since d elements
of C generate G topologically, it follows from Lemma 3.6 that dγ 6 (d− 1)n,
d
· dim V . Since dim C = dim G −
and in particular that dim V x 6 γ 6 d−1
d
dim CG (x), we have dim V (C) 6 d−1 dim V + dim C.
d
dim V +dim C, so dim V (C) <
Finally, dim V > d·dim C ⇔ dim V > d−1
dim V whenever dim V > d · dim C.
Now let C be the set of conjugacy classes of G containing elements of
prime order (and classes of arbitrary unipotent elements in characteristic
p = 0). The following lemma from the literature allows us to conclude a
generic stabilizer is trivial when dim V (C) < dim V for all C ∈ C.
Lemma 4.2. Let G be an algebraic group with G◦ reductive, and V be
a linear G-variety such that V G = 0. Let V (C) and C be as above. If
dim V (C) < dim V for all C ∈ C, then a generic stabilizer is trivial.
Proof. This follows from Proposition 2.10 in [8] and Lemma 10.2 in [14].
Finally, let:
C d := {C ∈ C| d elements of C are required to generate G topologically}

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

19

αd := max {dim C | C ∈ C d }
α := max {αd · d | 2 6 d 6 n}
It follows from Theorem 1.1 that for any noncentral class C in G = SLn (k)
(with k an uncountable algebraically closed field), it is possible to generate
G topologically by chosing n elements from C.
Now assume dim V > α. Then dim V > d · C, for every prime order class
in G (and unipotent class in characteristic p = 0). Applying Lemma 4.1,
dim V (C) < dim V , for every C ∈ C, and hence by Lemma 4.2 a generic
stabilizer is trivial. So to find an upper bound on the dimension of a linear
G-variety with a nontrivial generic stabilizer, it suffices to compute an upper
bound for α.
Theorem 4.3. Let G = SLn (k) where k is an algebraically closed field, and
V is a linear G-variety such that V G = 0. If dim V > 94 n2 , then a generic
stabilizer is trivial.
Proof.
Let k′ be an uncountable algebraically closed field extension of
k. Note if a generic stabilizer of V (k) were nontrivial, the set of points in
V (k) having nontrivial stabilizers would be dense. V (k) is dense in V (k′ ),
so a generic stabilizer of V (k′ ) would also be nontrivial. Hence it suffices to
assume G = SLn (k′ ).
By the reasoning given above, it is enough to show 49 n2 > α. To begin,
assume d = 2 elements generate G topologically. In this case, the largest
dimensional conjugacy class C ∈ C 2 will be regular, and it follows that
α2 = n2 − n.
Next assume 2 < d 6 n, and pick C ∈ C d . Then no d − 1 elements
from C will generate G topologically, and it follows from Theorem 1.1 that
d−2
· n, where γ is the dimension of the largest eigenspace of C.
γ > d−1
First assume C is a semisimple class in C d , and pick x ∈ C. Since γ >
n(d−2)
d−2
d−1 ·n, it follows CG (x) must contain a copy of GLβ (k), where β = ⌈ d−1 ⌉.
Hence the minimal dimension of CG (x) is β 2 + (n − β) − 1, and the largest
possible dimension of a semisimple class C ∈ C d is n2 − β 2 − (n − β).
Next assume C ∈ C d is a unipotent class, and elements x ∈ C have Jordan
forms involving Jordan blocks of size λ1 > λ2 > ...λk . Let A be the Young
diagram of [λ1 , ..., λk ], and [µ1 , ..., µj ] be the Young diagram of AT . For
P
x ∈ C, dim CG (x) = ( ji=1 µ2j ) − 1 (see Section 1.3 of [21]). Since elements
in C have a largest eigenspace of dimension at least β, the Jordan form of
these elements must contain at least β Jordan blocks. In particular,
dim CG (x) > β 2 +

j
X

µ2i > β 2 + (n − β) − 1

i=2

Combined with the previous paragraph, this implies αd 6 n2 − β 2 − (n − β).

20

GERHARDT

Finally, we compute an upper bound for α = max {αd · d | 2 6 d 6 n}.
Note α2 = n2 − n, and for 3 6 d 6 n:
αd 6 n2 − β 2 − (n − β) < n2 − β 2 6 n2 −

n2 (d − 2)2
(d − 1)2

Furthermore
d(n2 −
and

d(2d−3)
(d−1)2

n2 (d − 2)2
d(2d − 3)
) = n2
2
(d − 1)
(d − 1)2

6 94 , for 3 6 d 6 n. So
α 6 max (2(n2 − n), n2

9
d(2d − 3)
) 6 n2
(d − 1)2
4

5. Applications to random (r, s)-generation of finite groups of
Lie type
We now turn our attention to a second application of topological generation, which concerns the random generation of finite simple groups. Let
It (H) be the elements of order t in a finite simple group H. Assume H
contains elements of prime orders r and s, and let
Pr,s (H) :=

| {(x, y) ∈ Ir (H) × Is (H) : hx, yi = H} |
| Ir (H) × Is (H) |

be the probability that two random elements of orders r and s generate
H. Furthermore, for nonempty subsets J and K of H, let P (J, K) be the
probability that a random pair in J × K generates H. If Pr,s (H) → 1 as
|H| → ∞, then groups of type H are said to have random (r, s)- generation.
The following result shows that finite simple classical groups have random
(r, s)-generation when the rank of the group is large enough (depending on
the orders of r, s).
Theorem 5.1. Let (r, s) be primes with (r, s) 6= (2, 2). There exists a
positive integer f (r, s) such that if H is a finite simple classical group of
rank at least f (r, s), then
Pr,s (H) → 1 as |H| → ∞
Proof. This is the main theorem of Liebeck-Shalev [32].
We will use topological generation to prove random (r, s)-generation for
fixed rank linear and unitary groups with orders r, s independent of the rank,
hence strengthening Theorem 5.1. In [15] we use topological generation
to establish the relevant random (r, s)-generation results for the remaining
finite simple classical groups.

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

21

Let G be a simple algebraic group of simply-connected type, and F : G →
G be a Steinberg endomorphism. Let GF or G(q) be the fixed points of F
on G, and E(q) := E ∩ G(q) for any subset E of G. Finally, say conjugacy
classes C ′ , D ′ of elements of orders r, s in G are bad if
(i) Ω′ (q) := C ′ (q) × D ′ (q) 6= ∅;
(ii) there is no tuple ω ′ ∈ Ω′ topologically generating G.
Similarly, say classes C, D of elements of orders r, s in G are good if
(i) Ω(q) 6= ∅;
(ii) there is a tuple ω ∈ Ω topologically generating G;
(iii) for any bad classes C ′ , D ′ in G, dim Ω′ < dim Ω.
Theorem 5.2. Let G be a simple algebraic group defined over an algebraically closed field of positive transcendence degree. Assume C and D are
conjugacy classes of elements of finite order in G, and F : G → G is a
sequence of Steinberg endomorphisms such that C(q) × D(q) 6= ∅ for each
GF . The following are equivalent:
(i) There is a tuple (x, y) ∈ C × D such that hx, yi is Zariski in G.
(ii) P (C(q), D(q)) → 1 as |G(q)| → ∞.
Proof.
[18].

This is part of Theorem 2.6 in Guralnick-Liebeck-Lübeck-Shalev

Now let F : G → G be any sequence of Steinberg endomorphisms. There
exist only finitely many conjugacy classes of elements of orders r, s in G.
If for each GF there are good classes C, D in G, then for any bad classes
C ′ , D ′ we have dim Ω′ < dim Ω. Recall |Ω(q)| is on the order of q s , where
s = dim Ω. Hence if good classes exist for each GF , then bad classes will
not contribute asymptotically to the proportion of generating pairs, and
Pr,s (G(q)) → 1 as |G(q)| → ∞. So to establish random (r, s)-generation for
the relevant finite groups of Lie type, it suffices to prove for each Steinberg
endomorphism F : G → G, there exist good classes C and D in G.
Remark. Note while the results of Liebeck-Shalev are stated for finite simple
classical groups, GF itself is not typically simple. This small discrepancy
is easily resolved. If G is a simply connected simple algebraic group, then
S = GF /Z(G)F is (almost always) a finite simple group. More generally,
[GF , GF ]/Z([GF , GF ]) is simple except for a very small number of cases. Let
ϕ : G → S be the natural projection map. The center of GF is contained in
the Frattini subgroup of G, and hence tuples (x1 , x2 ) ∈ Ω(q) generate GF if
and only the corresponding pair (x1 , x2 ) generates S (of course, the orders of
the elements may be different in S). Hence if we are concerned with proving
random (r, s)-generation for elements of prime orders r and s in the simple
group S, it suffices to prove random (r, s)-generation for all prime power
order elements r, s in the corresponding groups of Lie type GF .

22

GERHARDT

Lemma 5.3. Let G = SLn (k) where k is an uncountable algebraically closed
field, and (r, s) 6= (2, 2) are prime powers. Let F : G → G be a Steinberg
endomorphism such that GF contains elements of orders r and s. Then good
classes C and D exist in G.
Proof. Let F : G → G be a Steinberg endomorphism such that GF =
SLn (q) and
Ct (q) = {C | C is a class of order t elements in G and C(q) 6= ∅}
To start, assume both r, s 6= 2. According to Theorem 1.1, it suffices to
show for any maximal dimensional classes C and D in Cr (q) and Cs (q) that
largest eigenspaces of C and D have dimension < n2 .
Without loss of generality, consider classes of order r elements in G. Recall
n(n−1)
F
G = SLn (q) has order q 2 (q 2 − 1)(q 3 − 1)....(q n − 1). If r | q (so that
the classes under consideration are unipotent) or r | q − 1, then all classes
of order r elements are defined in GF , and a maximal dimensional class in
Cr (q) has largest eigenspace of dimension 6 ⌈ n3 ⌉. For convenience, exclude
these cases in what follows.
Now pick a maximal dimensional class C in Cr (q), and choose x ∈ C(q).
Let x act on V = Fq , and
l = min {j : r | q j − 1, for 1 6 j 6 n}
m = max {j : r | q j − 1, for 1 6 j 6 n}
Note x is semisimple, acts reducibly on a space of dimension at least n − m
with n−m < n2 (if r is prime, any element of order r in G(q) has a fixed space
of dimension at least n − m), and has at most m/l irreducible composition
factors of dimension l, with 1 < l 6 n. If l > 2, then γ 6 max(n − m, ⌈ n3 ⌉) <
n
n
n
′
2 , and if l = 2, γ 6 2 . However, if C ∈ Cr (q) is a class with 2 irreducible
composition factors of dimension two, there is a class C ′′ ∈ Cr (q) whose
elements act trivially on a two dimensional subspace of V , dim C ′′ > dim
C ′ , and γ ′′ < n2 . Hence γ < n2 . Without loss of generality, if r and s are
both not equal to two, there are good classes C, D in G.
Now assume r = 2. Then any maximal dimensional class in Cr (q) has
a largest eigenspace of dimension 6 ⌈ n2 ⌉. We may assume s > 2, and by
reasoning given above maximal dimensional classes in Cs (q) have a largest
eigenspace of dimension < n2 . Hence good classes C, D exist for all prime
powers (r, s) 6= (2, 2).
Finally, assume F : G → G is a sequence of Steinberg endomorphisms such
n(n−1)
that GF = SUn (q). In this case, |GF | = q 2 (q 2 −1)(q 3 +1)....(q n −(−1)n ).
As above, if r | q k ± 1 and r ∤ q j ± 1 for k < j 6 n, then k 6 n2 − 1. We
may repeat the above reasoning to show good classes C, D exist for prime
powers (r, s) 6= (2, 2) in G.

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

23

Theorem 5.2 and Lemma 5.3 imply Corollary 1.3, the desired random
(r, s)-generation result for finite simple linear and unitary groups.
References
[1] M. Aschbacher, On the maximal subgroups of the finite classical groups, M. Invent
Math (1984), 76: 469-514.
[2] M. Bhargava and B.H. Gross, Arithmetic invariant theory, in Symmetry: Representation Theory and its Applications, Progress in Mathematics, vol.257, Birkhauser
(2014), 33-54.
[3] M. Bhargava and B.H. Gross, The average size of the 2-Selmer group of Jacobians of
hyperelliptic curves having a rational Weierstrass point, in Automorphic Representations and L-functions, TIFR Studies in Math., vol. 22 (2013), 23-91.
[4] M. Bhargava, B.H. Gross and X. Wang, Arithmetic invariant theory II, preprint,
arXiv:1310.7689.
[5] M. Bhargava and W. Ho, Coregular spaces and genus one curves, preprint,
arXiv:1306.4424.
[6] E. Breuillard, B. Green, R. Guralnick, and T. Tao, Strongly dense free subgroups of
semisimple algebraic groups, Isr. J. Math. (2012) 192: 347.
[7] T. Burness, S. Gerhardt and R. Guralnick Topological generation of algebraic groups
and fixed point spaces, in preparation.
[8] T. Burness, R. Guralnick and J. Saxl, On base sizes for algebraic groups, Journal of
the European Mathematical Society, 19 (2013).
[9] W. Crawley-Boevey, Indecomposable parabolic bundles and the existence of matrices
in prescribed conjugacy class closures with product equal to the identity, Publications
mathmatiques de l’IHS, 100 (2004), 171-207.
[10] J. D. Dixon, The probability of generating the symmetric group, Math. Z. 110 (1969),
199-205.
[11] A.G. Élašvili, Canonical form and stationary subalgebras of points in general position
for simple linear Lie groups (Russian), Funkcional. Anal. i Prilozen. 6 (1972), 51-62.
[12] A.G. Élašvili, Stationary subalgebras of points of general position for irreducible linear
Lie groups (Russian), Funkcional. Anal. i Prilozen. 6 (1972), 65-78.
[13] S. Garibaldi and R. Guralnick, Generically free representations and essential dimension, in preparation.
[14] S. Garibaldi and R. Guralnick, Simple groups stabilizing polynomials, Forum of Mathematics, Pi (2015), vol. 3, e3 (41 pages).
[15] S. Gerhardt, Topological generation of linear algebraic groups II, in preparation.
[16] A. Grothendieck, Élements de géométrie algébrique (rédigés avec la collaboration de
J. Dieudonné): Étude locale des schémas et des morphismes de schémas, III. Inst.
Hautes Etudes Sci. Publ. Math. No. 28, 1966.
[17] R. Guralnick, Some applications of subgroup structure to probabilistic generation and
covers of curves, in Algebraic groups and their representations, Cambridge (1997),
301-320, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 517, Kluwer Acad. Publ.,
Dordrecht.
[18] R. Guralnick, F. Lübeck, and A. Shalev, 0-1 generation laws for Chevalley groups
and random (2,3)-generation of finite simple groups, preprint.
[19] R. Guralnick and P. Tiep, Decompositions of small tensor powers and Larsen’s conjecture, Represent. Theory 9 (2005), 138-208.
[20] R. Guralnick, R. Lawther, M. Liebeck, and D. Testerman, Generic stabilizers for
actions of simple algebraic groups, in preparation.
[21] J. Humphreys. Conjugacy classes in semisimple algebraic groups, American Mathematical Society, Providence, 1995.

24

GERHARDT

[22] W.M. Kantor and A. Lubotsky. The probability of generating a finite classical group,
Geom. Dedicata 36 (1990), 67-87.
[23] N. M. Katz, Rigid local systems, Princeton University Press, Princeton, NJ, 1996.
[24] V. P. Kostov, On the existence of monodromy groups of Fuchsian systems on Riemann’s sphere with unipotent generators, J. Dynam. Control Systems 2 (1996), 125155.
[25] V. P. Kostov, On the Deligne-Simpson problem, C. R. Acad. Sci. Paris Sér. I Math.
329 (1999), 657-662.
[26] V. P. Kostov, On some aspects of the Deligne-Simpson problem, J. Dynam. Control
Systems 9 (2003), 393-436.
[27] V. P. Kostov, The Deligne-Simpson problem - a survey, J. Algebra 281 (2004), 83-108.
[28] V.P. Kostov, Some examples related to the Deligne-Simpson problem, Second International Conference on Geometry, Integrability and Quantization June 7-15, 2000,
Varna, Bulgaria Ivalo M. Mladenov and Gregory L. Naber, Editors Coral Press, Sofia
2001.
[29] V.P. Kostov, The Deligne-Simpson problem for zero index of rigidity, Perspectives in
Complex Analysis, Differential Geometry and Mathematical Physics, Editors: Stancho Dimiev and Kouei Sekigawa (Proceedings of the 5th International Workshop on
Complex Structures and Vector Fields, St Constantin (Bulgaria), 3-9 September 2000,
World Scientific, (2001), 1-35.
[30] R. Lawther, M.W. Liebeck and G.M. Seitz, Fixed point spaces in actions of exceptional
algebraic groups, Pacific J. Math. 205 (2002), 339-391.
[31] M.W. Liebeck and A. Shalev. The probability of generating a finite simple group,
Geom. Dedicata 56 (1995), 103-113.
[32] M.W. Liebeck and A. Shalev. Random (r,s)-generation of finite classical groups, Bull.
London Math. Soc. 34 (2002), 185-188.
[33] M.W. Liebeck and A. Shalev, Classical groups, probabilistic methods, and the (2, 3)generation problem, Ann. of Math. 144 (1996), 77-125.
[34] M.W. Liebeck and G.M. Seitz, Unipotent and nilpotent classes in simple algebraic
groups and Lie algebras, Mathematical Surveys and Monographs, Vol. 180 American
Mathematical Society, Providence, R.I., 2012.
[35] M.W. Liebeck and G.M. Seitz, A survey of maximal subgroups of exceptional groups
of Lie type, Geometriae Dedicata 35 (1990), 353-387.
[36] M.W. Liebeck and G.M. Seitz, On the subgroup structure of the classical groups,
Invent. Math. 134 (1998), 427-453.
[37] M.W. Liebeck and G.M. Seitz, The maximal subgroups of positive dimension in exceptional algebraic groups, Mem. Amer. Math. Soc. 802, 2004.
[38] F. Lübeck, Small degree representations in defining characteristic, LMS J. Comput.
Math 56 (2001), 135-169.
[39] G. Malle and D. Testerman, Linear algebraic groups and finite groups of Lie type,
Cambridge University Press, Cambridge, 2011.
[40] A.M. Popov, Finite stationary subgroups in general position of simple linear Lie
groups (Russian),Trudy Moskov. Mat. Obshch. 48 (1985), 7-59.
[41] A.M. Popov, Finite isotropy subgroups in general position of irreducible semisimple
linear Lie groups (Russian), Trudy Moskov. Mat. Obshch.50 (1987), 209-248.
[42] V.L. Popov and E.B. Vinberg, Invariant theory, in Encyclopaedia of Mathematical
Sciences series, vol. 55, Algebraic Geometry IV, Springer-Verlag, Berlin, 1994.
[43] L. L. Scott, Matrices and cohomology, Ann. of Math. 105:3 (1977), 473-492.
[44] T. Tao, The Lang-Weil bound. What’s New. N.p., 12 Nov. 2013. Web. 14 Apr. (2017).
[45] C. T. Simpson, Products of Matrices, Differential geometry, global analysis, and topology (Halifax, NS, 1990), Canadian Math. Soc. Conf. Proc. 12 (1992), Amer. Math.
Soc., Providence, RI, 1991, pp. 157–185.
[46] A. Zalesski, Linear groups, Russian Math. Surveys 36:5 (1981), 63-128.

TOPOLOGICAL GENERATION OF LINEAR ALGEBRAIC GROUPS I

25

Department of Mathematics, Colorado State University, 841 Oval Drive,
Fort Collins, Colorado 80523
E-mail address: gerhardt@math.colostate.edu

