Varieties of elements of given order in simple algebraic groups
Claude Marion

arXiv:1706.01653v1 [math.GR] 6 Jun 2017

Dipartimento di Matematica, Università degli Studi di Padova, Padova, Italy
marion@math.unipd.it

Abstract. Given a positive integer u and a simple algebraic group G defined over an
algebraically closed field K of characteristic p, we derive properties about the subvariety
G[u] of G consisting of elements of G of order dividing u. In particular, we determine
the dimension of G[u] , completing results of Lawther [7] in the special case where G is of
adjoint type. We also apply our results to the study of finite simple quotients of triangle
groups, giving further insight on a conjecture we proposed in [10] as well as proving that
some finite quasisimple groups are not quotients of certain triangle groups.

Contents
1 Introduction

2

2 Preliminary results on centralizers

8

3 Proofs of Propositions 2 and 3

12

4 Proof of Theorem 4 for G of exceptional type

13

5 Some properties of Spinn (K)

19

6 Upper bounds for du (G) for G of classical type

21

6.1

G is of type Aℓ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

6.2

G is of type Cℓ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

6.3

G is of type Bℓ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

6.4

G is of type Dℓ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

7 Proofs of Theorems 4 and 5

43

8 Proof of Proposition 7

48

9 Proof of Theorem 9

50

10 Proof of Proposition 10

56

11 Some tables

57
1

1

Introduction

Let G be a reductive algebraic group defined over an algebraically closed field K of characteristic p (possibly equal to 0), C be a conjugacy class of G and u be a positive integer.
In 2007 Guralnick [4] proved the following result:
Theorem 1. [4, Theorem 1.1]. Given a reductive algebraic group G, a conjugacy class
C of G and a positive integer u, the set {g ∈ G : g u ∈ C} is a finite union of conjugacy
classes of G.
In this paper, we concentrate our attention to the case where G is connected and
C = {1} is the trivial conjugacy class of G. For a positive integer u, we let
G[u] = {g ∈ G : g u = 1}
be the subvariety of G consisting of elements of G of order dividing u and set ju (G) =
dim G[u] . We also let du (G) be the minimal dimension of a centralizer in G of an element
of G of order dividing u. We are merely interested in determining ju (G) for every positive
positive integer u (when G is a simple algebraic group).
For completeness, we begin by proving Guralnick’s result in the case where G is connected and C = {1}. In the statement below, given g ∈ G, we let g G denote the conjugacy
class of g in G.
Proposition 2. Let G be a connected reductive algebraic group defined over an algebraically closed field K of characteristic p. Let u be a positive integer. Then the number
of conjugacy classes of G of elements of order dividing u is finite. In particular G[u]
is a finite union of conjugacy classes of G. Moreover dim G[u] = maxg∈G[u] dim g G and
codim G[u] = du (G).
Given a simple algebraic group G defined over an algebraically closed field K of characteristic p, we denote by Gs.c. (respectively, Ga. ) the simple algebraic group over K of
simply connected (respectively, adjoint) type having the same Lie type and Lie rank as G.
We prove the following result partially proved in [7, Theorem 3.11]:
Proposition 3. Let G be simple algebraic group defined over an algebraically closed field
K of characteristic p. Let u be a positive integer. Then
du (Ga. ) ≤ du (G) ≤ du (Gs.c. ).
In [7], given a positive integer u and a simple algebraic group G defined over an
algebraically closed field K of characteristic p, Lawther gives a lower bound for du (G).
Moreover, he proves that this lower bound is equal to du (G) in the case where G is of
adjoint type. We establish the following result completing Lawther’s result. Recall that
the Coxeter number of a simple algebraic group is defined to be the quotient of the number
of roots in the root system associated to G by the number of such roots which are simple.
Concretely, h = ℓ + 1, 2ℓ, 2ℓ, 2ℓ − 2, 6, 12, 12, 18 or 30 according respectively as G is of
type Aℓ , Bℓ , Cℓ , Dℓ , G2 , F4 , E6 . E7 or E8 .
Theorem 4. Let G be a simple algebraic group defined over an algebraically closed field
K of characteristic p. Let h be the Coxeter number of G and u be a positive integer. Write
h = zu + e and u = qv, where z and e are nonnegative integers with 0 ≤ e ≤ u − 1 and q,
v are coprime positive integers such that q is a power of p and p does not divide v. The
following assertions hold.
2

(i) If G is of type Aℓ then
du (Gs.c. ) = du (Ga. )
except if p 6= 2, u is even, h = zu and z is odd in which case
du (Gs.c. ) − du (Ga. ) = 2.
(ii) If G is of type Bℓ then
du (Gs.c. ) = du (Ga. )
except if
(a) p 6= 2, u ≡ 2 mod 4, h = zu, and z ≡ u/2 mod 4 or z ≡ 2 mod 4 in which
case
du (Gs.c. ) − du (Ga. ) = 2.
(b) p 6= 2, u ≡ 4 mod 8, h = zu and z is odd in which case
du (Gs.c. ) − du (Ga. ) = 2.
(iii) If G is of type Cℓ then
du (Gs.c. ) = du (Ga. )
except if p 6= 2 and u is even in which case
du (Gs.c. ) − du (Ga. ) = 2

lzm
2

.

(iv) If G is of type Dℓ then
du (Gs.c. ) = du (Ga. )
except if
(a) p 6= 2, u = 2, h = zu and z ≡ u/2 mod 4 in which case
du (Gs.c. ) − du (Ga. ) = 4.
(b) p 6= 2, u ≡ 2 mod 4, u > 2, h = zu and z ≡ u/2 mod 4 in which case
du (Gs.c. ) − du (Ga. ) = 2.
(c) p 6= 2, u ≡ 2 mod 4, e = u − 2 6= 0 and z ≡ 1 mod 4 in which case
du (Gs.c. ) − du (Ga. ) = 2.
(d) p 6= 2, u ≡ 4 mod 8, z is odd and h = zu in which case
du (Gs.c. ) − du (Ga. ) = 2.
(v) If G is of exceptional type then du (Gs.c. ) = du (Ga. ) except if G is of type E7 , p 6= 2
and u ∈ {2, 6, 10, 14, 18} in which case
d2 (Gs.c. ) − d2 (Ga. ) = 6

and

du (Gs.c. ) − du (Ga. ) = 2 for u ∈ {6, 10, 14, 18}.
3

We note that for G of exceptional type the only cases where the simply connected and
the adjoint groups are not abstractly isomorphic is when G is of type E6 or E7 and p 6= 3
or p 6= 2 respectively.
Recall that if a simple algebraic group G over an algebraically closed field K of characteristic p is not of simply connected type nor of adjoint type then either G is abstractly
isomorphic to SLn (K)/C where C 6 Z(SLn (K)), or G is of type Dℓ , p 6= 2 and G is
abstractly isomorphic to SO2ℓ (K) or a half-spin group HSpin2ℓ (K) where ℓ is even in the
latter case. For simple algebraic groups that are neither of simply connected nor adjoint
type we obtain the following result.
Theorem 5. Let G be a simple algebraic group, neither of simply connected nor adjoint
type, defined over an algebraically closed field K of characteristic p. Let u be a positive
integer. Write u = qv where q and v are coprime positive integers such that q is a power
of p and p does not divide v. Then the following assertions hold.
(i) If du (Gs.c. ) = du (Ga. ) then du (G) = du (Ga. )
(ii) Suppose du (Gs.c. ) 6= du (Ga. ).
(a) If G = SLℓ+1 (K)/C where C ≤ Z(SLℓ+1 (K)), then du (G) = du (Ga. ) if C has
an element of order 2, otherwise du (G) = du (Gs.c. ).
(b) If G = SO2ℓ (K) where p 6= 2, then du (G) = du (Ga. ).
(c) If G = HSpin2ℓ (K) where p 6= 2 and ℓ is even, then du (G) = du (Gs.c. ).
In [7] Lawther showed that if G is a simple algebraic group of rank ℓ with Coxeter
number h over an algebraically closed field and u is a positive integer with u ≥ h then
du (G) = ℓ. As a corollary of Theorems 4 and 5 we obtain the following result:
Corollary 6. Let G be a simple algebraic group of rank ℓ over an algebraically closed field
K of characteristic p. Let h be the Coxeter number of G and let u be a positive number.
Then
(i) If u > h then du (G) = ℓ.
(ii) Suppose u = h then du (G) = ℓ if G is (abstractly isomorphic to a group) of adjoint
type, or p = 2, or h is odd (and then G is of type A), or G = SLℓ+1 (K)/C and C
has an element of order 2 where C ≤ Z(SLℓ+1 (K)), or G ∼
= SO2ℓ (K) and p 6= 2, or
G is of type B or D and h ≡ 0 mod 8, or G = E6 (K), otherwise du (G) = ℓ + 2.
Given a simple algebraic group G over an algebraically closed field, we also derive a
further property of
N→N
du (G) :
u 7→ du (G).
Proposition 7. Let G be a simple algebraic group over an algebraically closed field K of
characteristic p. Then
N→N
du (G) :
u 7→ du (G).
is a decreasing function of u.
4

We now apply our results to the study of finite quasisimple images of triangle groups.
Recall that a finite group is quasisimple if it is perfect and the quotient by its centre is
simple.
Every finite quasisimple group being 2-generated, given a finite quasisimple group G0 and
a triple (a, b, c) of positive integers, a natural question to consider is whether G0 can be
generated by two elements of orders dividing respectively a and b and having product of
order dividing c. A finite group generated by two such elements is called an (a, b, c)-group.
Equivalently, an (a, b, c)-group is a finite quotient of the triangle group T = Ta,b,c with
presentation
T = Ta,b,c = hx, y, z : xa = y b = z c = xyz = 1i.
When investigating the finite (nonabelian) quasisimple quotients of T , we can assume that
1/a+1/b+1/c < 1 as otherwise T is either soluble or T ∼
= T2,3,5 ∼
= Alt5 (see [2]). The group
T is then a hyperbolic triangle group. Without loss of generality, we will further assume
that a ≤ b ≤ c and call (a, b, c) a hyperbolic triple of integers. (Indeed, Ta,b,c ∼
= Ta′ ,b′ ,c′ for
′
′
′
any permutation (a , b , c ) of (a, b, c).)
Recall that a finite quasisimple group G0 of Lie type occurs as the derived subgroup
of the fixed point group of a simple algebraic group G, when char(K) = p is prime,
under a Steinberg endomorphism F , i.e. G0 = (GF )′ . We use the standard notation
G0 = (GF )′ = G(q) where q = pr for some positive integer r. (We include the possibility
that G(q) is of twisted type.)
Given a simple algebraic group G and a triple (a, b, c) of positive integers, we say that
(a, b, c) is rigid for G if the sum ja (G) + jb (G) + jc (G) is equal to 2 dim G. When the
latter sum is less (respectively, greater) than 2 dim G, we say that (a, b, c) is reducible
(respectively, nonrigid) for G.
In [10] we conjectured the following finiteness result in the rigid case (first formulated for
hyperbolic triples (a, b, c) of primes):
Conjecture 8. Let G be a simple algebraic group defined over an algebraically closed field
K of prime characteristic p and let (a, b, c) be a rigid triple of integers for G. Then there
are only finitely many quasisimple groups G(pr ) (of the form (GF )′ where F is a Steinberg
endomorphism) that are (a, b, c)-generated.
In [6, Theorem 1.7], Larsen, Lubotzky and the author proved that Conjecture 8 holds
except possibly if p divides abcd where d is the determinant of the Cartan matrix of G. In a
future paper [5] we will make further progress on Conjecture 8 by, in particular, completely
settling it in the case where the finite group (GF )′ is simple. A crucial ingredient therein is
the classification of the hyperbolic triples (a, b, c) of integers as reducible, rigid or nonrigid
for a given simple algebraic group G. We determine this classification below.
Theorem 9. The following assertions hold.
(i) The reducible hyperbolic triples (a, b, c) of integers for simple algebraic groups G of
simply connected or adjoint type are exactly those given in Table 1. In particular
there are no reducible hyperbolic triples of integers for simple algebraic groups of
adjoint type.
(ii) The rigid hyperbolic triples of integers (a, b, c) for simple algebraic groups G of simply
connected type are exactly those given in Table 2.
(iii) The rigid hyperbolic triples of integers (a, b, c) for simple algebraic groups G of adjoint
type are exactly those given in Table 3.
5

(iv) The classification of the reducible and the rigid hyperbolic triples of integers for
SOn (K) is the same as for PSOn (K).
(v) The classification of the reducible and the rigid hyperbolic triples of integers for
HSpin2ℓ (K) is the same as for Spin2ℓ (K).
(vi) If C 6 Z(SLn (K)) contains an involution then the classification of the reducible and
the rigid hyperbolic triples of integers for SLn (K)/C is the same as for PSLn (K).
Otherwise, the classification of the reducible and the rigid hyperbolic triples of integers
for SLn (K)/C is the same as for SLn (K).
G
SL2 (K)
Sp4 (K)
Sp6 (K)
Sp8 (K)
Sp10 (K)
Sp12 (K)
Sp14 (K)
Sp16 (K)
Sp18 (K)
Sp22 (K)

p
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2

(a, b, c)
(2, b, c)
(2, 3, c), (2, 4, c), (3, 3, 4), (3, 4, 4), (4, 4, 4)
(2, 3, c), (2, 4, c), (2, 5, 5), (2, 5, 6), (2, 6, 6)
(2, 3, 7), (2, 3, 8), (2, 4, 5), (2, 4, 6)
(2, 3, 7), (2, 3, 8), (2, 3, 9), (2, 3, 10), (2, 4, 5), (2, 4, 6)
(2, 3, 7), (2, 3, 8), (2, 4, 5)
(2, 3, 7), (2, 3, 8), (2, 4, 5)
(2, 3, 7)
(2, 3, 7)
(2, 3, 7)

Table 1: Reducible triples for simple algebraic groups of simply connected or adjoint type
As Theorem 9 gives the list of the rigid triples of integers for a given simple algebraic
group, it puts Conjecture 8 into a very concrete context. Concerning the reducible case,
we prove the following nonexistence result.
Proposition 10. Let G be a simple algebraic group defined over an algebraically closed
field K of prime characteristic p and let (a, b, c) be a reducible triple of integers for G.
Then a quasisimple group G(pr ) (of the form (GF )′ where F is a Steinberg endomorphism)
is never an (a, b, c)-group.
Theorem 9 which gives inclusively the list of the reducible triple of integers for a given
simple algebraic group is one of the ingredients of the proof of Proposition 10. As an
immediate corollary of Theorem 9 and Proposition 10 we obtain the following result.
Corollary 11. If (G, p, (a, b, c)) is as in Table 1 then (GF )′ = G(pr ) is never an (a, b, c)group.
Unless otherwise stated, we let G be a connected reductive algebraic group defined
over an algebraically closed field K of characteristic p with maximal torus T . If T ′ is a
torus of G of dimension r we sometimes write T ′ = Tr .
Given a positive integer u, we let G[u] be the subvariety of G consisting of elements of
order dividing u, we set
ju (G) = dim G[u]
and we let du (G) be the minimal dimension of a centralizer in G of an element of G of
order dividing u.

6

G
SL2 (K)
SL3 (K)
SL4 (K)
SL5 (K)
SL6 (K)
SL10 (K)
Sp4 (K)
Sp4 (K)
Sp6 (K)
Sp8 (K)
Sp10 (K)
Sp12 (K)
Sp14 (K)
Sp16 (K)
Sp18 (K)
Sp20 (K)
Sp24 (K)
Sp26 (K)
Spin11 (K)
Spin12 (K)

p
p=2
p 6= 2
any
p=2
p 6= 2
any
p 6= 2
p 6= 2
p=2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2
p 6= 2

(a, b, c)
(a, b, c)
(a, b, c) a ≥ 3
(2, b, c)
(2, 3, c)
(2, 3, c), (2, 4, c), (3, 3, 4), (3, 4, 4),(4, 4, 4)
(2, 3, c)
(2, 3, c), (2, 4, 5), (2, 4, 6)
(2, 3, 7)
(2, 3, c), (3, 3, c)
(2, b, c) b ≥ 5, (3, 3, c) c ≥ 5, (3, 4, c) c ≥ 5, (4, 4, c) c ≥ 5
(2, 5, c) c ≥ 7, (2, 6, c) c ≥ 7, (3, 3, 4), (3, 4, 4), (4, 4, 4)
(2, 3, c) c ≥ 9, (2, 4, 7), (2, 4, 8), (2, 5, 5), (2, 5, 6), (2, 6, 6)
(2, 3, c) c ≥ 11, (2, 4, 7), (2, 4, 8)
(2, 3, 9), (2, 3, 10), (2, 4, 6)
(2, 3, 9), (2, 3, 10), (2, 4, 6)
(2, 3, 8), (2, 4, 5)
(2, 3, 8), (2, 4, 5)
(2, 3, 7)
(2, 3, 7)
(2, 3, 7)
(2, 3, 7)
(2, 3, 7)

Table 2: Rigid triples for simple algebraic groups of simply connected type
G
PSL2 (K)
PSL3 (K)
PSL4 (K)
PSL5 (K)
PSp4 (K)
G2 (K)

p
any
any
any
any
any
any

(a, b, c)
(a, b, c)
(2, b, c)
(2, 3, c)
(2, 3, c)
(2, 3, c), (3, 3, c)
(2, 4, 5), (2,5,5)

Table 3: Rigid triples for simple algebraic groups of adjoint type
For G simple, we fix some more notation as follows. We let Φ be the root system of
G with respect to T and set Π = {α1 , . . . , αℓ } ⊂ Φ to be a set of simple roots of G, where
ℓ is the rank of G. We let h = |Φ|/rank(G) = |Φ|/ℓ be the Coxeter number of G. Recall
that h = ℓ + 1, 2ℓ, 2ℓ, 2ℓ − 2, 6, 12, 12, 18 or 30 according respectively as G is of type Aℓ ,
Bℓ , Cℓ , Dℓ , G2 , F4 , E6 . E7 or E8 . Also we denote by Gs.c. (respectively, Ga. ) the simple
algebraic group over K of simply connected (respectively, adjoint) type having the same
Lie type and Lie rank as G.
Unless otherwise stated given a positive integer u, we also write:
u = qv where q and v are coprime positive integers such that q is a power of p and p does
not divide v,
h = zu + e where z, e are nonnegative integers such that 0 ≤ e ≤ q − 1,
h = αv + β where α, β are nonnegative integers such that 0 ≤ α ≤ v − 1,
α = γq + δ where γ, δ are nonnegative integers such that 0 ≤ δ ≤ q − 1.
An easy check yields γ = z. Note that if e = 0 then β = δ = 0. Furthermore, if β = 0
7

then δ = 0 if and only if e = 0.
Finally for an nonnegative integer r, we let ǫr ∈ {0, 1} be 0 if r is even, otherwise ǫr = 1,
and set σr ∈ {0, 1} to be 1 if r = 0, otherwise σr = 0.
The outline of the paper is as follows. In §2 we give some preliminary results on centralizers. In §3 we give detailed proofs for Propositions 2 and 3. In §4, given a positive integer
u, we determine du (G) for G a simple simply connected algebraic group of exceptional
type over an algebraically closed field K. This establishes Theorem 4 for G of exceptional
type. In §5 we recall some properties of the spin groups and determine when a preimage
under the canonical map Spinn (K) → SOn (K) of a semisimple element of SOn (K) of a
given order is also of that order. In §6 given a positive integer u, we determine precise
upper bounds for du (G) where G is a simple algebraic group of classical type over an
algebraically closed field. In §7 given a positive integer u, we determine du (G) for G of
classical type, completing the proofs of Theorems 4 and 5. In §8 we prove that for a given
simple algebraic group G over an algebraically closed field, du (G), seen as a function of u,
is decreasing. This establishes Proposition 7. In §9 we classify the reducible and the rigid
hyperbolic triples of integers for simple algebraic groups, establishing Theorem 9. In §10
we prove Proposition 10. Finally in §11 we collect Tables 4-8 which appear later in the
paper.
Acknowledgements. The author thanks the MARIE CURIE and PISCOPIA research
fellowship scheme and the University of Padova for their support. The research leading
to these results has received funding from the European Comission, Seventh Framework
Programme (FP7/2007-2013) under Grant Agreement 600376.

2

Preliminary results on centralizers

In this section, unless otherwise stated, G denotes a connected reductive group defined
over an algebraically closed field K of characteristic p. Given a positive integer u, recall
that du (G) is defined to be the minimal dimension of a centralizer in G of an element of G
of order dividing u. We first recall some generalities on the centralizer in G of an element
of G.
Lemma 2.1. Let G be a connected reductive group defined over an algebraically closed
field K of characteristic p. Let g be an element of G with Jordan decomposition g = xy
where x is unipotent and y is semisimple. Let H = CG (y)0 . The following assertions hold.
(i) We have x ∈ CG (y)0 , CG (g) = CCG(y) (x) and CG (g)0 = CCG (y)0 (x)0 .
(ii) The group H = CG (y)0 is reductive and so H = H1 · · · Hr T ′ for some nonnegative
integer r and simple groups Hi and central torus T ′ . Morever each Hi is closed and
normal in H, [Hi , Hj ] = 1 for i 6= j, and Hi ∩ H1 . . . Hi−1 Hi+1 · · · Hr is finite for
each i.
(iii) Write x = x1 · · · xr t where xi ∈ Hi and t ∈ T ′ . Then
CCG (y)0 (x) = CH1 (x1 ) . . . CHr (xr )T ′ .
(iv) dim CG (g) = dim CCG (y)0 (x) = rank(T ′ ) +
8

Pr

i=1 dim CHi (xi ).

Proof. We first consider part (i). Since G is connected reductive we have x ∈ CG (y)0
- see for example [9, Proposition 14.7]. It is well-known that CG (g) = CCG(y) (x). As
CG (g) 6 CG (y), we have CG (g)0 6 CG (y)0 . It now follows that CG (g)0 6 CCG (y)0 (x) and
so CG (g)0 = CCG (y)0 (x)0 .
We consider part (ii). Since G is connected reductive and y is a semisimple element of G,
CG (y)0 is connected reductive - see for example [9, Theorem 14.2]. Since H = CG (y)0 is
connected reductive, we have H = [H, H]Z(H)0 where Z(H)0 is a central torus and [H, H]
is semisimple - see for example [9, Corollary 8.22]. Part (ii) follows - see for example [9,
Theorem 8.21]. Part (iii) is now an easy consequence of part (ii).
We now consider part (iv). We have
dim CG (g) = dim CG (g)0

and

dim CCG (y)0 (x) = dim CCG (y)0 (x)0 .

Part (iv) now follows from parts (i)-(iii).

We now give some properties of du (G). In the statement below, we adopt the notation
of Lemma 2.1(ii) for the connected component of the centralizer of a semisimple element
in a connected reductive algebraic group.
Proposition 2.2. Let G be a connected reductive algebraic group over an algebraically
closed field K of characteristic p. Let u be a positive integer. Write u = qv where u and
v are coprime positive integers with q a power of p and p does not divide v. Then the
following assertions hold.
(i)
du (G) = min
dq (CG (y)0 ).
y ∈ G[v]
(ii) Let g = xy be the Jordan decomposition of an element g ∈ G where x and y are
respectively the unipotent and semisimple parts of g. If g has order dividing u and
du (G) = dim CG (g), then
du (G) = dq (CG (y)0 ).
(iii) If y is a semisimple element of G with CG (y)0 = H1 . . . Hr T ′ (as in Lemma 2.1(ii))
then
r
X
dq (Hi ).
dq (CG (y)0 ) = rank(T ′ ) +
i=1

(iv)
du (G) = min
rank(T ′ ) + dq (H1 ) + · · · + dq (Hr ).
Q
r
CG (y)0 = i=1 Hi T ′
y ∈ G[v]
Proof. We first consider part (i). By definition du (G) = ming∈G[u] dim CG (g). Let g be
any element of G[u] . Write g = xy where x and y are respectively the unipotent and
semisimple parts of g. Clearly x ∈ G[q] and y ∈ G[v] . Following Lemma 2.1(i), we in fact
have x ∈ (CG (y)0 )[q] and CG (g)0 = CCG (y)0 (x)0 . It follows that
du (G) = min
min
dim CCG (y)0 (x).
0
y ∈ G[v] x ∈ (CG (y) )[q]
9

This establishes part (i).
We now consider part (ii). Note that x ∈ (CG (y)0 )[q] and y ∈ G[v] . Since by assumption
du (G) = dim CG (g) and by Lemma 2.1(iv) dim CG (g) = dim CCG (y)0 (x), we obtain
du (G) = dim CCG (y)0 (x).

(2.1)

By part (i) du (G) = minl∈G[v] dq (CG (l)0 ) and so dq (CG (y)0 ) ≥ du (G). However if dq (CG (y)0 ) >
du (G) then dim CCG (y)0 (x) > du (G), contradicting (2.1). Hence du (G) = dq (CG (y)0 ) as
claimed.
We now consider part (iii). Recall that by Lemma 2.1(ii), CG (y)0 is connected reductive.
For x ∈ (CG (y)0 )[q] , write x = x1 . . . xr t where xi ∈ Hi for 1 ≤ i ≤ r and t ∈ T ′ . By
Lemma 2.1(iv) we have
dim CCG (y)0 (x) = rank(T ′ ) +

r
X

dim CHi (xi ).

i=1

Hence
dq (CG (y)0 ) =
=

min

dim CCG (y)0 (x)

min

′

x∈(CG (y)0 )[q]

x∈(CG (y)0 )[q]
′

= rank(T ) +
= rank(T ′ ) +

rank(T ) +

r
X

dim CHi (xi )

i=1

r
X

i=1
r
X

min

x∈(CG (y)0 )[q]

dim CHi (xi )

dq (Hi ),

i=1

where to obtain the final equality we used Lemma 2.1(ii)-(iii). Part (iii) follows.
Finally part (iv) follows from parts (i) and (iii).
The result below is the main ingredient in the proof of Proposition 3.
Lemma 2.3. Let G be any group, C a normal subgroup of G, and φ : G → G/C be the
canonical surjective map. Let g, k be any elements of G and set
Gg,k = {x ∈ G : g−1 x−1 gx = k}.
The following assertions hold.
(i) Either Gg,k = ∅ or Gg,k is a coset of CG (g).
S
(ii) We have CG/C (gC) = k∈C φ(Gg,k ).

(iii) Suppose G is a simple algebraic group defined over an algebraically closed field K of
characteristic p and φ is an isogeny. Then
CG/C (gC)0 = (CG (g)/C)0 ∼
= CG (g)0 /(C ∩ CG (g)0 ).
In particular, dim CG/C (gC) = dim CG (g). Moreover if q is a power of p and g is a
semisimple element of G then
dq (CG/C (gC)0 ) = dq (CG (g)0 ).
10

Proof. We first consider part (i). Note that if g and gk are not conjugate then Gg,k = ∅.
Suppose that g and gk are conjugate, say l−1 gl = gk for some l ∈ G.
Let x be any element of Gg,k . Then
x−1 gx = gk = l−1 gl.
Hence lx−1 g(lx−1 )−1 = g and xl−1 ∈ CG (g). It follows that x ∈ CG (g)l and so Gg,k ⊆
CG (g)l.
Suppose now that x ∈ CG (g)l. Then x = yl for some y ∈ CG (g). Hence
x−1 gx = (yl)−1 g(yl) = l−1 · y −1 gy · l = l−1 gl = gk
and so x ∈ Gg,k . It follows that CG (g)l ⊆ Gg,k . We obtain Gg,k = CG (g)l, proving part
(i).
We now consider part (ii). Suppose first that xC is any element of φ(Gg,k ) where k ∈ C.
Without loss of generality, x ∈ Gg,k . Hence x−1 gx S
= gk. Since k ∈ C, we obtain
(xC)−1 · gC · xC = gC and so xC ∈ CG/C (gC). Hence k∈C φ(Gg,k ) ⊆ CG/C (gC).
Suppose now that xC ∈ CG/C (gC). Then (xC)−1 · gC · xC = gC and so (gC)−1 · (xC)−1 ·
gC · xC = C. It follows that there exists k ∈ C such that g −1 x−1
Sgx = k and so x ∈ Gg,k .
Hence xC ∈ φ(G
)
with
k
∈
C.
This
shows
that
C
(gC)
⊆
G/C
k∈C φ(Gg,k ). We obtain
S g,k
CG/C (gC) = k∈C φ(Gg,k ), proving part (ii).
Finally we consider part (iii). As G is simple and φ is an isogeny, ker φ = C is a finite
central subgroup of G. Also following part (ii), φ(CG (g)) = CG (g)/C is a subgroup
of CG/C (gC) of finite index and so CG/C (gC)0 6 (CG (g)/C)0 . On the other hand, as
CG (g)/C 6 CG/C (gC), we have (CG (g)/C)0 6 CG/C (gC)0 . Hence
CG/C (gC)0 = (CG (g)/C)0 .
Note that as CG (g)0 is connected so is the factor group CG (g)0 /(C ∩ CG (g)0 ) - see for
example [9, Proposition 1.10]. By the second isomorphism theorem, CG (g)0 /(C ∩ CG (g)0 )
can be seen as a connected subgroup of CG (g)/C. As this subgroup is of finite index, we
obtain
CG (g)0 /(C ∩ CG (g)0 ) ∼
(2.2)
= (CG (g)/C)0 = CG/C (gC)0 .
As C is a finite group, it now follows from (2.2) that dim CG/C (gC) = dim CG (g). To
conclude suppose that g is a semisimple element of G. By Lemma 2.1 CG (g)0 is a
connected reductive group. By [7] given a simple algebraic group H defined over K,
dq (H) is independent of the isogeny type of H (see Lemma 2.4 below). It follows that
dq (CG (g)0 /(C ∩ CG (g)0 )) = dq (CG (g)0 ) and so by (2.2) dq (CG (g)0 ) = dq (CG/C (gC)0 ), as
required.
For matter of clarity we record [7, Lemma 2.5 and Corollary 2.6]:
Lemma 2.4. Let G be a simple algebraic group defined over an algebraic closed field of
characteristic p. Let q be a power of p. Then dq (G) does not depend on the isogeny type of
G. Furthermore, let α be a nonnegative integer and write α = γq + δ where 0 ≤ δ ≤ q − 1
and let ς ∈ {0, 1}. Then the following assertions hold:
(i) dq (Aα−ς ) = γ 2 q + (2γ + 1)(α − ς − γq + 1) − 1.
(ii) dq (B⌈ α2 ⌉ − ςǫα ) =

γ2q
2

+ (2γ + 1)(⌈ α2 ⌉ − ςǫα −

γq
2 )+

⌈ γ2 ⌉ǫq .

(iii) dq (C⌈ α2 ⌉ − ςǫα ) =

γ2q
2

+ (2γ + 1)(⌈ α2 ⌉ − ςǫα −

γq
2 )+

⌈ γ2 ⌉ǫq .

11

(iv) dq (D⌈ α+1 ⌉−ςǫα+1 ) =
2

γq
γ
γ2q
α+1
2 +(2γ+1)(⌈ 2 ⌉−ςǫα+1 − 2 )+⌈ 2 ⌉ǫq −γ−ǫγ +2ςǫγ(α+1) σα−γq .

Corollary 2.5. Let m be a natural number. The following assertions hold:
(i) If m + 1 = γq + δ with 0 ≤ γ ≤ q − 1, then dq (Am+1 ) − dq (Am ) = 2γ + 1.
(ii) If 2m + 1 = γq + δ with 0 ≤ γ ≤ q − 1, then dq (Bm+1 ) − dq (Bm ) = 2γ + 1.
(iii) If 2m + 1 = γq + δ with 0 ≤ γ ≤ q − 1, then dq (Cm+1 ) − dq (Cm ) = 2γ + 1.
(iv) If 2m = γq + δ with 0 ≤ γ ≤ q − 1, then dq (Dm+1 ) − dq (Dm ) = 2γ + 1 − 2ǫγ σδ .
Finally we record the following result:
Lemma 2.6. [3, 6.17]. Let G be a simple algebraic group of rank ℓ over an algebraically
closed field K and let x ∈ G. Then
dim CG (x) ≡ ℓ mod 2.

3

Proofs of Propositions 2 and 3

In this section we prove Propositions 2 and 3. We first give a detailed proof of Proposition
2.
Proof of Proposition 2. Write u = qv where q and v are coprime positive integers such
that q is a power of p and p does not divide v. Let g be an element of G of order dividing
u. Let g = xy be the Jordan decomposition of g where x and y denote respectively the
unipotent and semisimple parts of g. In particular the order of x divides q and that of y
divides v. As G is connected, every semisimple element of G lies in a maximal torus of
G, see for example [9, Corollary 6.11]. Since all maximal tori of G are conjugate, see for
example [9, Corollary 6.5], it follows that there are only finitely many conjugacy classes
of G of semisimple elements of order dividing v. Let y1 , . . . , yr be representatives of the
conjugacy classes of G of semisimple elements of order dividing v. For 1 ≤ i ≤ r, CG (yi )0
is a connected reductive algebraic group (see Lemma 2.1(ii)) and so by [8] CG (yi )0 has
only finitely many unipotent classes. Let xi,1 , . . . , xi,ti be representatives of the unipotent
classes of CG (yi )0 . Now there exists 1 ≤ i ≤ r such that y is conjugate in G to yi . Let k
be an element of G such that kyk −1 = yi . Then
kgk−1 = kxyk −1
= kxk−1 · kyk−1
= kxk−1 · yi .
Note that kxk−1 ∈ CG (yi ). Indeed
kxk−1 · yi · (kxk −1 )−1 = kx · k−1 yi k · x−1 k−1
= kx · yx−1 k−1
= kyxx−1 k−1
= kyk−1
= yi .
Since G is a connected reductive group and kxk −1 · yi is the Jordan decomposition of
kxk−1 · yi , it follows that kxk−1 is a unipotent element of CG (yi )0 - see Lemma 2.1(i).
12

Hence there exist l ∈ CG (yi )0 and 1 ≤ j ≤ ti such that l · kxk−1 · l−1 = xi,j . Also as
l ∈ CG (yi )0 , we have lyi l−1 = yi . Hence
lkgk−1 l−1 = l · kgk−1 · l−1 .
= l · kxk−1 · yi · l−1
= l · kxk−1 l−1 · l · yi l−1
= xi,j yi
P
and so g is conjugate to xi,j yi . It follows that there are at most ri=1 ti conjugacy classes
of elements of G of order dividing u. It follows that G[u] consists of the finite union of
conjugacy classes of G of elements of order dividing u. Hence
dim G[u] = max dim gG .
g∈G[u]

Since for any element g ∈ G, codim gG = dim CG (g) - see for example [3, Proposition 1.5],
we obtain
codim G[u] = dim G − max dim g G = min dim CG (g) = du (G).
g∈G[u]

g∈G[u]



We can now prove Proposition 3.
Proof of Proposition 3. First, by [7], we have du (Ga. ) ≤ du (G). It remains to show
that du (G) ≤ du (Gs.c. ). Note that the result is trivial unless G is neither of adjoint nor
simply connected type. Let φ : Gs.c. → G be an isogeny. Let g be any element of Gs.c.
of order dividing u such that du (Gs.c. ) = dim CGs.c. (g). Then φ(g) is an element of G of
order dividing u and by Lemma 2.3 dim CG (φ(g)) = dim CGs.c. (g). Hence dim CG (φ(g)) =
du (Gs.c. ). Since du (G) ≤ dim CG (φ(g)) we obtain du (G) ≤ du (Gs.c. ). 

4

Proof of Theorem 4 for G of exceptional type

In this section, we determine du (G) for G a simple algebraic group of exceptional type
defined over an algebraically closed field K of characteristic p. In particular we prove
Theorem 4 for G of exceptional type (see Propositions 4.2 and 4.3 below). Recall that a
simple algebraic group of exceptional type is either simply connected or adjoint. Following
the result of Lawther [7] giving du (G) for G of adjoint type, we suppose that G is of simply
connected type. Without loss of generality, we assume that G is of type E6 or E7 and
p 6= 3 or 2 respectively, as these are the only cases where the simply connected and the
adjoint groups are not abstractly isomorphic.
Let T be a maximal torus of G with corresponding root system Φ and set Π = {α1 , . . . , αℓ } ⊂
Φ to be a set of simple roots of G, where ℓ is the rank of G. Note that ℓ = 6 or ℓ = 7
according respectively as G = E6 or G = E7 .
Given a positive integer u, we write u = qv where q and v are positive coprime integers
with q a power of p and p does not divide v.
Let y be a semisimple element of G of order dividing v, i.e. y ∈ G[v] . Since every semisimple element of G belongs to a maximal torus of G and all maximal tori are conjugate, we
can assume without loss of generality that y ∈ T . Now
CG (y)0 = hT, Uα : α ∈ Ψi
13

(4.1)

where Ψ = {α ∈ Φ : α(y) = 1} and Uα is the root subgroup of G corresponding to α. Also
we can write
ℓ
Y
hαi (kci )
y=
i=1


l 0
∈ SL2 (K)
where for l ∈
= K \ {0} and 1 ≤ i ≤ ℓ, hαi (l) is the image of
0 l−1
under the canonical map SL2 (K) → hUαi , U−αi i, k is an element of K ∗ of order v, and
0 ≤ ci ≤ v − 1 is an integer for all 1 ≤ i ≤ ℓ.
Given α ∈ Φ we then have
Pℓ
(4.2)
α(y) = k i=1 ci hαi ,αi


K∗

where
hαi , αi =

2(αi , α)
(αi , αi )

and (, ) denotes the inner product of the Euclidean space spanned by Φ.
Lemma 4.1. Let G be a simple simply connected algebraic group of type X = E6 or E7
defined over an algebraically closed field K of characteristic p. Let u be a positive integer.
Then du (G) = du (Ga. ) except possibly if G = E6 , p 6= 3 and u ≡ 0 mod 3, or G = E7 ,
p 6= 2 and u ≡ 0 mod 2.
Proof. Set C = Z(G) and note that

 3 if G = E6 and p 6= 3
|C| =
2 if G = E7 and p =
6 2

1 otherwise.

Also note that if (X, p) ∈ {(E6 , 3), (E7 , 2)} then G is abstractly isomorphic to Ga. and
so du (G) = du (Ga. ) for every positive integer u. We therefore assume that (X, p) 6∈
{(E6 , 3), (E7 , 2)}. Then C = Z(G) = hci is cyclic group of order 3 or 2 according respectively as X = E6 or E7 . Let φ : G → Ga. be the surjective canonical map. Let gC be an
element of Ga. of order dividing u such that dim CGa. (gC) = du (Ga. ).
Suppose u 6= 0 mod |C|. Then g ∈ G has order dividing u, and by Lemma 2.3 dim CG (g) =
dim CGa. (gC). Hence dim CG (g) = du (Ga. ) and du (G) ≤ du (Ga. ). It now follows from
Proposition 3 that du (G) = du (Ga. ).
Proposition 4.2. Suppose G is a simple simply connected algebraic group of type E6
defined over an algebraic closed field K of characteristic p. Let u be a positive integer.
Then du (G) = du (Ga. ).
Proof. Note that by [7] du (G) ≥ du (Ga. ) and du (Ga ) = 6 for u ≥ h = 12.
By Lemma 4.1 we can assume without loss of generality that p 6= 3 and u ≡ 0 mod 3.
Write u = qv where q and v are coprime positive integers such that q is a power of p and
p does not divide v.
We first suppose that u ≤ h = 12.
Assume u = 3. Then q = 1 and u = v = 3. Let
y3 = hα1 (k)hα2 (k2 )hα3 (k)hα4 (k2 )hα5 (k2 )hα6 (1)
where k ∈ K ∗ is an element of order 3. Then y3 is a semisimple element of G of order 3.
Moreover by (4.1) and (4.2) we get
CG (y3 )0 = A2 A2 A2 .
14

Hence dq (CG (y3 )0 ) = d1 (A2 A2 A2 ) = 24. Now by [7] du (Ga. ) = 24. We now deduce from
Proposition 2.2(i) that du (G) = du (Ga. ) = 24.
Assume u = 6. Then q = 1 and u = v = 6, or q = p = 2 and v = 3. Suppose first that
q = 1. Let
y6 = hα1 (k)hα2 (k2 )hα3 (k)hα4 (k5 )hα5 (k2 )hα6 (1)
where k ∈ K ∗ is an element of order 6. Then y6 is a semisimple element of G of order 6.
Moreover by (4.1) and (4.2) we get
CG (y6 )0 = A1 A1 A1 T3 .
Hence dq (CG (y6 )0 ) = d1 (A1 A1 A1 T3 ) = 12.
Suppose now that q = 2 and v = 3. Consider the semisimple element y3 of G of order 3
defined above. We have CG (y3 )0 = A2 A2 A2 and dq (CG (y3 )0 ) = d2 (A2 A2 A2 ) = 12.
Now by [7] du (Ga. ) = 12. We now deduce from Proposition 2.2(i) that du (G) = du (Ga. ) =
12.
Assume u = 9. Then q = 1 and u = v = 9. Let
y9 = hα1 (k)hα2 (k2 )hα3 (k)hα4 (k5 )hα5 (k8 )hα6 (1)
where k ∈ K ∗ is an element of order 9. Then y9 is a semisimple element of G of order 9.
Moreover by (4.1) and (4.2) we get
CG (y9 )0 = A1 T5 .
Hence dq (CG (y9 )0 ) = d1 (A1 T5 ) = 8. Now by [7] du (Ga. ) = 8. We now deduce from
Proposition 2.2(i) that du (G) = du (Ga. ) = 8.
Assume u = 12. Then q = 1 and u = v = 12, or q = 4, p = 2 and v = 3. Suppose first
that q = 1. Let
y12 = hα1 (k)hα2 (k2 )hα3 (k)hα4 (k5 )hα5 (k8 )hα6 (1)
where k ∈ K ∗ is an element of order 12. Then y12 is a semisimple element of G of order
12. Moreover by (4.1) and (4.2) we get
CG (y12 )0 = T6 .
Hence dq (CG (y12 )0 ) = d1 (T6 ) = 6.
Suppose now that q = 4, p = 2 and v = 3. Consider the semisimple element y3 of G of
order 3 defined above. We have CG (y3 )0 = A2 A2 A2 and dq (CG (y3 )0 ) = d4 (A2 A2 A2 ) = 6.
By Proposition 2.2(i) we obtain d12 (G) = d12 (Ga. ) = 6.
We now suppose that u > h = 12. If v ≥ h then let
y = hα1 (k)hα2 (k2 )hα3 (k)hα4 (k5 )hα5 (k8 )hα6 (1)
where k ∈ K ∗ is an element of order v. Then y is a semisimple element of G of order v.
Moreover by (4.1) and (4.2) we get
CG (y)0 = T6 .
Hence dq (CG (y)0 ) = dq (T6 ) = 6 and so by Proposition 2.2(i) du (G) = 6.
We finally suppose that u > h = 12 and v < h. As we are assuming that u ≡ 0 mod 3
and p 6= 3 we have v ≡ 0 mod 3. Hence v ∈ {3, 6, 9}.
Assume v = 3. As u > 12 we have q ≥ 5. Now y3 is a semisimple element of G of order 3
with CG (y3 )0 = A2 A2 A2 . As q ≥ 3, we have dq (CG (y3 )0 ) = dq (A2 A2 A2 ) = 6.
15

Assume v = 6. As u > 12 we have q ≥ 3. Now y6 is a semisimple element of G of order 6
with CG (y3 )0 = A1 A1 A1 T3 . As q ≥ 2, we have dq (CG (y6 )0 ) = dq (A1 A1 A1 T3 ) = 6.
Assume v = 9. As u > 12 we have q ≥ 2. Now y9 is a semisimple element of G of order 9
with CG (y9 )0 = A1 T5 . As q ≥ 2, we have dq (CG (y9 )0 ) = dq (A1 T5 ) = 6.
Hence in the case where u > h and v < h, by Proposition 2.2(i), we get du (G) = 6.
Proposition 4.3. Suppose G is a simple simply connected algebraic group of type E7
defined over an algebraic closed field K of characteristic p. Let u be a positive integer.
The following assertions hold.
(i) We have du (G) = du (Ga. ) unless p 6= 2 and u ∈ {2, 6, 10, 14, 18}.
(ii) Suppose p 6= 2. Then d2 (G) = du (Ga. ) + 6 and du (G) = du (Ga. ) + 2 for u ∈
{6, 10, 14, 18}. More precisely,
d2 (G) = 69, d6 (G) = 23, d10 (G) = 15, d14 (G) = 11

and

d18 (G) = 9.

Proof. Recall that by [7] du (G) ≥ du (Ga. ), du (Ga ) = 7 for u ≥ h = 18, and
d2 (Ga. ) = 63, d6 (Ga. ) = 21, d10 (Ga. ) = 13

and

d14 (Ga. ) = 9.

By Lemma 4.1 we can assume without loss of generality that p 6= 2 and u ≡ 0 mod 2,
as otherwise du (G) = du (Ga. ). Write u = qv where q and v are coprime positive integers
such that q is a power of p and p does not divide v. Note that q is odd and v ≡ 0 mod 2.
We first suppose that u ≤ h = 18.
Assume u = 2. Then q = 1 and u = v = 2. By [1, Table 6], d2 (G) = 69. Let
y2 = hα1 (k)hα2 (1)hα3 (1)hα4 (1)hα5 (k)hα6 (k)hα7 (1)
where k ∈ K ∗ is an element of order 2. Then y2 is a semisimple element of G of order 2.
Moreover by (4.1) and (4.2) we get
CG (y2 )0 = A1 D6 .
Hence dq (CG (y2 )0 ) = d1 (A1 D6 ) = 69 = d2 (G).
Assume u = 4. Then q = 1 and u = v = 4. By [7] and [1, Table 6], d4 (G) = d4 (Ga ) = 33.
Let
y4 = hα1 (k)hα2 (1)hα3 (1)hα4 (k2 )hα5 (k)hα6 (k)hα7 (k2 )
where k ∈ K ∗ is an element of order 4. Then y4 is a semisimple element of G of order 4.
Moreover by (4.1) and (4.2) we get
CG (y4 )0 = A3 A3 A1 .
Hence dq (CG (y4 )0 ) = d1 (A3 A3 A1 ) = 33 = d4 (G).
Assume u = 6. Then q = 1 and u = v = 6, or q = p = 3 and v = 2. Suppose first that
q = p = 3 and v = 2. By [1, Table 6] a semisimple element y of G of order 2 is such that
CG (y)0 = A1 D6 or E7 . It follows from Proposition 2.2(i) that d6 (G) = d3 (A1 D6 ) = 23.
Suppose now that q = 1. By [1, Table 6], d6 (G) = 23. Let
y6 = hα1 (k)hα2 (1)hα3 (1)hα4 (k2 )hα5 (k5 )hα6 (k3 )hα7 (k2 )
where k ∈ K ∗ is an element of order 6. Then y6 is a semisimple element of G of order 6.
Moreover by (4.1) and (4.2) we get
CG (y6 )0 = A3 A1 A1 T2 .
16

Hence dq (CG (y6 )0 ) = d1 (A3 A1 A1 T2 ) = 23 = d6 (G).
Assume u = 8. Then q = 1 and u = v = 8. Let
y8 = hα1 (1)hα2 (1)hα3 (k)hα4 (k)hα5 (k2 )hα6 (k7 )hα7 (k3 )
where k ∈ K ∗ is an element of order 8. Then y8 is a semisimple element of G of order 8.
Moreover by (4.1) and (4.2) we get
CG (y8 )0 = A2 A1 A1 T3 .
Hence dq (CG (y8 )0 ) = 17. Since, by [7], d8 (Ga ) = 17, we deduce from Proposition 2.2(i)
that d8 (G) = 17.
Assume u = 10. Then q = 1 and u = v = 10, or q = p = 5 and v = 2. Suppose first that
q = p = 5 and v = 2. By [1, Table 6] a semisimple element y of G of order 2 is such that
CG (y)0 = A1 D6 or E7 . It follows from Proposition 2.2(i) that d10 (G) = d5 (A1 D6 ) = 15.
Suppose now that q = 1. By (4.1) and (4.2), a semisimple y element of G of order 10 is
such that CG (y)0 is generated by at least four root subgroups Uα where α is a positive root
of G. It follows from [7] that d10 (G) > d10 (Ga. ) = 13. Hence by Lemma 2.6 d10 (G) ≥ 15.
Let
y10 = hα1 (k)hα2 (1)hα3 (1)hα4 (1)hα5 (k6 )hα6 (k)hα7 (k8 )
where k ∈ K ∗ is an element of order 10. Then y10 is a semisimple element of G of order
10. Moreover by (4.1) and (4.2) we get
CG (y10 )0 = A1 A2 T4 .
Hence
dq (CG (y10 )0 ) = d1 (A1 A2 T4 ) = 15.
It now follows from Proposition 2.2(i) that d10 (G) = 15.
Assume u = 12. Then q = 1 and u = v = 12, or q = p = 3 and v = 4. Suppose first
that q = p = 3 and v = 4. Consider the semisimple element y4 of G defined above. Then
CG (y4 )0 = A3 A3 A1 and dq (CG (y4 )0 ) = d3 (A3 A3 A1 ) = 11. Hence by Proposition 2.2(i),
we obtain d12 (G) ≤ 11. Suppose now that q = 1 and u = v = 12. Let
y12 = hα1 (k)hα2 (1)hα3 (1)hα4 (k)hα5 (k3 )hα6 (k5 )hα7 (k8 )
where k ∈ K ∗ is an element of order 12. Then y12 is a semisimple element of G of order
12. Moreover by (4.1) and (4.2) we get
CG (y12 )0 = A1 A1 T5 .
Hence dq (CG (y12 )0 ) = 11.
Since, by [7], d12 (Ga ) = 11, we deduce that d12 (G) = 11 for all p.
Assume u = 14. Then q = 1 and u = v = 14, or q = p = 7 and v = 2. Suppose first that
q = p = 7 and v = 2. By [1, Table 6] a semisimple element y of G of order 2 is such that
CG (y)0 = A1 D6 or E7 . It follows from Proposition 2.2(i) that d14 (G) = d7 (A1 D6 ) = 11.
Suppose now that q = 1. By (4.1) and (4.2), a semisimple y element of G of order 14 is
such that CG (y)0 is generated by at least two root subgroups Uα where α is a positive root
of G. We deduce that CG (s)0 6= A1 T6 . It follows from [7] that d14 (G) > d14 (Ga. ) = 9.
Hence by Lemma 2.6 d14 (G) ≥ 11. Let
y14 = hα1 (k)hα2 (1)hα3 (1)hα4 (1)hα5 (k2 )hα6 (k5 )hα7 (k9 )
17

where k ∈ K ∗ is an element of order 14. Then y14 is a semisimple elements of G of order
14. Moreover by (4.1) and (4.2) we get
CG (y14 )0 = A1 A1 T5 .
Hence
dq (CG (y14 )0 ) = d1 (A1 A1 T5 ) = 11.
It now follows from Proposition 2.2(i) that d14 (G) = 11.
Assume u = 16. Then q = 1 and u = v = 16. Let
y16 = hα1 (k)hα2 (1)hα3 (1)hα4 (k)hα5 (k3 )hα6 (k6 )hα7 (k10 )
where k ∈ K ∗ is an element of order 16. Then y16 is a semisimple element of G of order
16. Moreover by (4.1) and (4.2) we get
CG (y16 )0 = A1 T6 .
Hence dq (CG (y16 )0 ) = 9. Since, by [7], d16 (Ga ) = 9, we deduce from Proposition 2.2(i)
that d16 (G) = 9.
Assume u = 18. Then q = 1 and u = v = 18, or q = 9, p = 3 and v = 2. Suppose first that
q = 9, p = 3 and v = 2. By [1, Table 6] a semisimple element y of G of order 2 is such that
CG (y)0 = A1 D6 or E7 . It follows from Proposition 2.2(i) that d18 (G) = d9 (A1 D6 ) = 9.
Suppose now that q = 1. By (4.1) and (4.2), a semisimple y element of G of order 18 is
such that CG (y)0 is generated by at least one root subgroup Uα where α is a positive root
of G. We deduce that CG (y)0 6= T7 . It follows from [7] that d18 (G) > d18 (Ga. ) = 7. Hence
by Lemma 2.6 d18 (G) ≥ 9. Let
y18 = hα1 (k)hα2 (1)hα3 (1)hα4 (k)hα5 (k3 )hα6 (k6 )hα7 (k10 )
where k ∈ K ∗ is an element of order 18. Then y18 is a semisimple element of G of order
18. Moreover by (4.1) and (4.2) we get
CG (y18 )0 = A1 T6 .
Hence
dq (CG (y18 )0 ) = d1 (A1 T6 ) = 9.
It now follows from Proposition 2.2(i) that d18 (G) = 9.
We now suppose that u > h = 18. Recall that p 6= 2 and v ≡ 0 mod 2. Assume v > h.
Note that v ≥ 20. Let
y = hα1 (k)hα2 (1)hα3 (1)hα4 (k2 )hα5 (k5 )hα6 (k9 )hα7 (k14 )
where k ∈ K ∗ is an element of order v. Then y is a semisimple element of G of order
v ≥ 20. Moreover by (4.1) and (4.2) we get
CG (y)0 = T7 .
Hence dq (CG (y)0 ) = dq (T7 ) = 7 and so by Proposition 2.2(i) du (G) = 7.
We finally suppose that u > h = 18 and v ≤ h. Since v ≡ 0 mod 2 we have v ∈
{2, 4, 6, 8, 10, 12, 14, 16, 18}.
Assume v = 2. As u ≥ 20 we have q ≥ 10. Now y2 is a semisimple element of G of order
18

2 with CG (y2 )0 = A1 D6 . As q ≥ 10, we have dq (CG (y2 )0 ) = dq (A1 D6 ) = 7.
Assume v = 4. As u ≥ 20 we have q ≥ 5. Now y4 is a semisimple element of G of order 4
with CG (y4 )0 = A3 A3 A1 . As q ≥ 4, we have dq (CG (y4 )0 ) = dq (A3 A3 A1 ) = 7.
Assume v = 6. As u ≥ 20 and p 6= 2 we have q ≥ 5. Now y6 is a semisimple element of G of
order 6 with CG (y6 )0 = A3 A1 A1 T2 . As q ≥ 4, we have dq (CG (y6 )0 ) = dq (A3 A1 A1 T2 ) = 7.
Assume v = 8. As u ≥ 20 we have q ≥ 3. Now y8 is a semisimple element of G of order 8
with CG (y8 )0 = A2 A1 A1 T3 . As q ≥ 3, we have dq (CG (y8 )0 ) = dq (A2 A1 A1 T3 ) = 7.
Assume v = 10. As u ≥ 20 and p 6= 2 we have q ≥ 3. Now y10 is a semisimple element of G
of order 10 with CG (y10 )0 = A2 A1 T4 . As q ≥ 3, we have dq (CG (y10 )0 ) = dq (A2 A1 T4 ) = 7.
Assume v ∈ {12, 14}. As u ≥ 20 and p 6= 2 we have q ≥ 3. Now y12 and y14 are
semisimple elements of G of respective orders 12 and 14 with CG (y12 )0 = A1 A1 T5 and
CG (y14 )0 = A1 A1 T5 . As q ≥ 2, we have dq (CG (y12 )0 ) = dq (CG (y14 )0 ) = dq (A1 A1 T5 ) = 7.
Assume v ∈ {16, 18}. As u ≥ 20 and p 6= 2 we have q ≥ 3. Now y16 and y18 are semisimple
elements of G of respective orders 16 and 18 with CG (y16 )0 = A1 T6 and CG (y18 )0 = A1 T6 .
As q ≥ 2, we have dq (CG (y16 )0 ) = dq (CG (y18 )0 ) = dq (A1 T6 ) = 7.
Hence in the case where u > h and v ≤ h, by Proposition 2.2(i), we get du (G) = 7.

5

Some properties of Spinn (K)

Let K now denote an algebraically closed field K of characteristic p 6= 2. We give a
characterization of semisimple elements of Spinn (K) of a given order (see Lemma 5.1
below). Before doing so we recall some properties of the group Spinn (K) and the canonical
surjective map Spinn (K) → SOn (K), where n ≥ 7 is a positive integer. Write n = 2ℓ or
n = 2ℓ + 1 for some integer ℓ ≥ 1, according respectively as n is even or odd.
Let V be the natural module for SOn (K) and let
B = {e1 , f1 , . . . , eℓ , fℓ } or

B = {e1 , f1 , . . . , eℓ , fℓ , d}

(according respectively as n is even or odd) be a standard basis of V . That is, (ei , fi ) = 1,
(ei , ei ) = (fi , fi ) = 0 for 1 ≤ i ≤ ℓ, (ei , fj ) = (ei , ej ) = (fi , fj ) = 0 for i 6= j such that
1 ≤ i, j ≤ ℓ and if n is odd then (d, d) = 1 and (d, ei ) = (d, fi ) for 1 ≤ i ≤ ℓ. Here
(, ) : V × V → K denotes the non-degenerate symmetric bilinear form associated to V .
Let T0 (V, K) be the K-algebra of polynomials in e1 , f1 , . . . , eℓ , fℓ if n is even (respectively,
in e1 , f1 , . . . , eℓ , fℓ , d if n is odd). Also let I(V, K) be the ideal of T0 (V, K) generated by
{vv − (v, v) : v ∈ V } and let C0 (V, K) = T0 (V, K)/I(V, K).
Let ∗ : C0 (V, K) → C0 (V, K) be the K-linear map such that for any even positive integer
r and elements x1 , . . . , xr ∈ B, we have the equality (x1 . . . xr )∗ = xr . . . x1 (in C0 (V, K)).
Note that for x in V , we have x∗ x = xx∗ = xx = (x, x).
We can now define the spin group Spinn (K) as an abstract group, namely Spinn (K)
consists of the elements t of C0 (V, K) such that:
t∗ t = 1,

tV t−1 = V

and the map
V →V
x 7→ txt−1
has determinant 1.
19

Given an element t of Spinn (K), consider the map φt : V → V defined by φt (x) = txt−1
for x in V . Then for any x in V ,
(φt (x), φt (x)) = φt (x)φt (x) = txt−1 txt−1 = tx2 t−1 = t(x, x)t−1 = (x, x)
and so φt is an element of SOn (K). In fact the map φ:
Spinn (K) → SOn (K)
t
7→ φt
is a surjective homomorphism with kernel equal to {1, −1}.
We can now characterize a preimage of a semisimple element of SOn (K) of a given
order under the canonical surjective map Spinn (K) → SOn (K), where n ≥ 7 is a positive
integer and K is an algebraically closed field of characteristic p 6= 2.
Lemma 5.1. Let g be an element of SOn (K) defined over an algebraically closed field K
of characteristic p 6= 2. Suppose g is a semisimple element of SOn (K) of order u, and
let ω be a u-th root of unity of K. Let ±w be any of the two preimages of g under the
canonical surjective map φ : Spinn (K) → SOn (K). The following assertions hold.
(i) The order of w in Spinn (K) is divisible by u.
(ii) There exits t ∈ {±w} of order u if and only if u is odd, or u is even and the number
of eigenvalues of φ(t) of the form ω i with i odd is divisible by 4.
(iii) If neither w nor −w has order u, then u is even and ±w has order 2u.
Proof. This is a classical result which follows from the properties of the canonical surjective map φ : Spinn (K) → SOn (K) described above. We give a sketch of the argument.
We first consider part (i). Let g be any semisimple element of SOn (K) of order u. Let w
be a preimage of g under φ (so that −w is the other preimage of g under φ) and let m be
the order of w. We have gm = φ(w)m = φ(wm ) = φ(1) = 1. Hence u, which is the order
of g, divides the order of a preimage of g under φ. This establishes part (i).
We now consider parts (ii) and (iii). Let V be the natural module for SOn (K). There
is a standard basis B of V , where B = (e1 , f1 , . . . , eℓ , fℓ ) or (e1 , f1 , . . . , eℓ , fℓ , d) according
respectively as n is even or odd, such that the matrix of g with respect to B is diagonal
with entries di satisfying dui = 1 for 1 ≤ i ≤ n. Note that if 1 ≤ j ≤ ℓ then d2j−1 = d−1
2j is
a power of ω, and if n is odd then dn = 1. Moreover without loss of generality d1 = ω and
d2 = ω −1 . For 1 ≤ j ≤ ℓ, let gj be the element of SOn (K) such that, with respect to B, gj
is diagonal and (gj )2j−1,2j−1 = dj , (gj )2j,2j = dj+1 , (gj )k,k = 1 for k 6∈ {2j − 1, 2j}. Note
that g = g1 . . . gℓ . In the decomposition g = g1 . . . gℓ delete the elements gj with 1 ≤ i ≤ ℓ
such that gj = 1, and renumbering the elements gj where 1 ≤ j ≤ ℓ, if necessary, write
g = g1 . . . gι where 1 ≤ ι ≤ ℓ and g1 , . . . , gι are not the identity element.
Let 1 ≤ j ≤ ι and let 1 ≤ k ≤ ι be such that (gj )2k−1,2k−1 and (gj )2k,2k are both not 1.
Write θj = (gj )2k−1,2k−1 . Note that θj 6= 1 is a power of ω and θj−1 = (gj )2k,2k . Moreover
gj (ek ) = θj ek , gj (fk ) = θj−1 fk and gj fixes every other element of B. Write θj = ω lj for
some positive integer lj .
For a nonsingular element x in V , let Rx be the reflection:
V
y

→ V
7
→
y−
20

2(y,x)
(x,x) x.

An easy check yields
gj = R(1−θj )ek +(θ−1 −1)fk R2ek +2fk .
j

Let
xj = ((1 − θj )ek + (θj−1 − 1)fk )(2ek + 2fk ).
Then xj ∈ C0 (V, K) and xj x∗j = 16(1 − θj )2 θj−1 . Let τj ∈ K be such that τj2 = θj−1 = ω −lj ,
furthermore if u and lj are both odd take τj = ω (u−lj )/2 , and if lj is even take τj = ω −lj /2 .
Let
xj
.
tj =
4(1 − θj )τj
Then tj is an element of Spinn (K) and the image of tj under the canonical surjective map
φ : Spinn (K) → SOn (K) is gj . Furthermore, for any positive integer m,
tm
j =
and so
tuj

1
= u =
τj



1
(ek fk + θj−m (2 − ek fk ))
2τjm

1
if lj is even, or u and lj are both odd
−1 if u is even and lj is odd.

(5.1)

Finally, let t = t1 . . . tι . Then t ∈ Spinn (K) and φ(t) = g = g1 . . . gι . Now for 1 ≤ i, j ≤ ι,
ti and tj commute and so
tu = (t1 . . . tι )u = tu1 . . . tuι =

ι
Y
1
.
τju

j=1

It follows from (5.1) that tu = 1 if and only if u is odd or u is even and the number of
eigenvalues of φ(t) = g of the form ω i with i odd is divisible by 4. Otherwise tu = −1
and t2u = 1. Note that the other preimage of g under φ is −t and (−t)u = tu if u is even,
otherwise (−t)u = −tu . Parts (ii) and (iii) now follow from part (i).

6

Upper bounds for du(G) for G of classical type

Let G be a simple algebraic group of classical type defined over an algebraically closed
field K of characteristic p. Let u be a positive integer. In this section, we give an upper
bound for du (G). Since by Proposition 3 du (G) ≤ du (Gs.c. ) we assume without loss of
generality that G is of simply connected type.
Unless otherwise stated, we use the notation introduced at the end of §1. Recall, we
let h be the Coxeter number of G and write:
u = qv where q and v are coprime positive integers such that q is a power of p and p does
not divide v,
h = zu + e where z, e are nonnegative integers such that 0 ≤ e ≤ q − 1,
h = αv + β where α, β are nonnegative integers such that 0 ≤ α ≤ v − 1,
α = γq + δ where γ, δ are nonnegative integers such that 0 ≤ δ ≤ q − 1.
An easy check yields γ = z. Also if e = 0 then β = δ = 0. Furthermore, if β = 0 then
δ = 0 if and only if e = 0.
Finally for an nonnegative integer r, we let ǫr ∈ {0, 1} be 0 if r is even, otherwise ǫr = 1,
and set σr ∈ {0, 1} to be 1 if r = 0, otherwise σr = 0.

21

Moreover, we also let ω be a v-th root of 1 in K and consider the following diagonal
blocks M1 , M2 , M3 , M4 , M5 , M6 , M7 , M8 and M9 where:
M1 = diag(1, ω, ω 2 , . . . , ω v−1 ) is of size v,
M2 = diag(ω, ω −1 , ω 2 , ω −2 , . . . , ω ⌊β/2⌋ , ω −⌊β/2⌋ ) is of size β − ǫβ ,
M3 = diag(ω, ω −1 , ω 2 , ω −2 , . . . , ω ⌈β/2⌉ , ω −⌈β/2⌉ ) is of size β + ǫβ ,
M4 = diag(ω, ω 2 , . . . , ω v−1 )

is of size v − 1.

and if β ≥ 2 is even then
M5 = diag(ω, ω −1 , . . . , ω β/2−1 , ω −(β/2−1) )
β

β

M6 = diag(ω 2 , ω −2 , . . . , ω 2 , ω − 2 )

is of size β − 2

is of size β − 2,

and if v ≥ 4 is even then
v

v

M7 = diag(ω 2 , ω −2 , . . . , ω 2 −1 , ω −( 2 −1) ) is of size v − 4,
v

v

v

v

M8 = diag(ω, ω −1 , ω 2 , ω −2 , . . . , ω 2 −3 , ω −( 2 −3) , ω 2 −1 , ω −( 2 −1) ) is of size v − 4,
v

v

M9 = diag(ω, ω −1 , ω 2 , ω −2 , . . . , ω 2 −2 , ω −( 2 −2) ) is of size v − 4.
We also write (1) for I1 = diag(1) and (−1) for −I1 = diag(−1). More generally given
a positive integer i, we write (ω i ) for diag(ω i ) Finally, given some nonnegative integers
r1 , . . . , r11 and some nonnegative integers s1 , . . . , sv−1 we denote by
j sj
M1r1 ⊕ M2r2 ⊕ M3r3 ⊕ M4r4 ⊕ M5r5 ⊕ M6r6 ⊕ M7r7 ⊕ M8r8 ⊕ M9r9 ⊕ (1)r10 ⊕ (−1)r11 ⊕v−1
j=1 (ω )

the diagonal matrix consisting of ri blocks Mi for 1 ≤ i ≤ 9, Ir10 , −Ir11 and ω j Isj for
1 ≤ j ≤ v − 1.

6.1

G is of type Aℓ

Let G = (Aℓ )s.c. with ℓ ≥ 1 defined over an algebraically closed field K of characteristic
p. Here |Φ| = ℓ(ℓ + 1) and h = ℓ + 1.
Lemma 6.1. Let G = (Aℓ )s.c. be defined over an algebraically closed field of characteristic
p. Let u = qv be a positive integer where q and v are coprime positive integers such that
q is a power of p and p does not divide v. Write h = zu + e = αv + β and α = zq + δ
where z, e, α, β, δ are nonnegative integers such that e < u, β < v, and δ < q. Let y be
the element of Gs.c. of order v defined in Table 4 (see §11). Then CG (y)0 and dq (CG (y)0 )
are given in Table 4 and dq (CG (y)0 ) is an upper bound for du (G).
Proof. We first determine CG (y)0 . Suppose that ǫv = 1 or (ǫv , ǫα ) = (0, 0). As any nontrivial eigenvalue of y can be paired with its inverse, y is an element of G of order v. Also
y has α + ǫβ eigenvalues equal to 1, α + 1 eigenvalues equal to ω i where i is any integer
with 1 ≤ |i| ≤ ⌊β/2⌋, and every other eigenvalue of y occurs with multiplicity α. Therefore
CG (y)0 = Aβα Av−β
α−1 Tv−1 .
Suppose that (ǫv , ǫα , ǫβ ) = (0, 1, 1). As any nontrivial eigenvalue of y can be paired with
its inverse, y is an element of G of order v. Also y has α + 1 eigenvalues equal to −1, α + 1
eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ (β − 1)/2, and every other
eigenvalue of y occurs with multiplicity α. Therefore CG (y)0 = Aβα Av−β
α−1 Tv−1 .
22

Suppose that (ǫv , ǫα , ǫβ ) = (0, 1, 0) and β ≥ 2. As any eigenvalue of y can be paired with
its inverse, y is an element of G of order v. Also y has α + 1 eigenvalues equal to 1,
α + 1 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
1 ≤ |i| ≤ (β − 2)/2, and every other eigenvalue of y occurs with multiplicity α. Therefore
CG (y)0 = Aβα Av−β
α−1 Tv−1 .
Suppose finally that (ǫv , ǫα ) = (0, 1) and β = 0. As any eigenvalue of y can be paired
with its inverse, y is an element of G of order v. Also y has α − 1 eigenvalues equal to 1,
α + 1 eigenvalues equal to −1, and every other eigenvalue of y occurs with multiplicity α.
Therefore CG (y)0 = Aα Av−2
α−1 Aα−2 Tv−1 .
Note that by Proposition 2.2(i), du (G) ≤ dq (CG (y)0 ) and so dq (CG (y)0 ) is an upper
bound for du (G). It remains to calculate dq (CG (y)0 ).
By Lemma 2.4,
dq (Aα ) = z 2 q + (2z + 1)(α − zq + 1) − 1,
2

and
dq (Aα−2 ) =



(6.1)

dq (Aα−1 ) = z q + (2z + 1)(α − zq) − 1,

(6.2)

z 2 q + (2z + 1)(α − 1 − zq) − 1
if δ > 0
(z − 1)2 q + (2z − 1)(α − 1 − (z − 1)q) − 1 if δ = 0,

(6.3)

where for determining dq (Aα−2 ) we do the Euclidean division of α − 1 by q:

zq + (δ − 1)
if δ > 0
α−1=
(z − 1)q + q − 1 if δ = 0.
Assume first that (ǫv , ǫα ) 6= (0, 1) or β > 0. We then have
CG (y)0 = Aβα Av−β
α−1 Tv−1 .
By Proposition 2.2(iii), (6.1) and (6.2)
dq (CG (y)0 ) = (v − 1) + dq (Aβα Av−β
α−1 )
= (v − 1) + βdq (Aα ) + (v − β)dq (Aα−1 )
= 2z(αv + β) − qvz(z + 1) + αv + β − 1
= 2z(zu + e) − zu(z + 1) + zu + e − 1
= z 2 u + e(2z + 1) − 1.
Assume now that (ǫv , ǫα ) = (0, 1) and β = 0. Since β = 0, recall that e = 0 if and only
if δ = 0. We then have
CG (y)0 = Aα Av−2
α−1 Aα−2 Tv−1 .
By Proposition 2.2(iii), (6.1), (6.2) and (6.3)
dq (CG (y)0 ) = (v − 1) + dq (Aα Av−2
α−1 Aα−2 )
= (v − 1) + dq (Aα ) + (v − 2)dq (Aα−1 ) + dq (Aα−2 )

2zαv − qvz(z + 1) + αv − 1 if δ > 0
=
2zαv − qvz(z + 1) + αv + 1 if δ = 0

2z(zu + e) − zu(z + 1) + zu + e − 1 if δ > 0
=
2z(zu + e) − zu(z + 1) + zu + e + 1 if δ = 0
 2
z u + e(2z + 1) − 1 if e > 0
=
z 2 u + e(2z + 1) + 1 if e = 0.
23

6.2

G is of type Cℓ

Let G = (Cℓ )s.c be a simply connected group of type Cℓ with ℓ ≥ 2 defined over an
algebraically closed field K of characteristic p. Here |Φ| = 2ℓ2 and h = 2ℓ.
Lemma 6.2. Let G = (Cℓ )s.c be defined over an algebraically closed field of characteristic
p. Let u = qv be a positive integer where q and v are positive integers such that q is a
power of p. Write h = zu + e = αv + β and α = zq + δ where z, e, α, β, δ are nonnegative
integers such that e < u, β < v, and δ < q. Let y be the element of G of order v defined
in Table 5 (see §11). Then CG (y)0 and dq (CG (y)0 ) are given in Table 5 and dq (CG (y)0 )
is an upper bound for du (G).
Proof. Since h = 2ℓ, note that if ǫv = 1 then ǫα = ǫβ and ǫu = ǫq , whereas if ǫv = 0 then
ǫu = 0, ǫq = 1 and ǫβ = 0. We first determine CG (y)0 . Suppose that ǫv = 1. As any
eigenvalue of y can be paired with its inverse, y is an element of G of order v. Also y has
α + ǫβ eigenvalues equal to 1, 0 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i
where i is any integer with 1 ≤ |i| ≤ ⌊β/2⌋, and every other eigenvalue of y occurs with
⌊β⌋

v−1

−⌊ β ⌋

2
2
C⌈ α2 ⌉ T v−1 .
multiplicity α. Therefore CG (y)0 = Aα2 Aα−1
2
Suppose that (ǫv , ǫα ) = (0, 0). As any eigenvalue of y can be paired with its inverse, y is
an element of G of order v. Also y has α eigenvalues equal to 1, α eigenvalues equal to −1,
α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2, and every other
β

v

−1− β

2
2
C 2α T v2 −1 .
eigenvalue of y occurs with multiplicity α. Therefore CG (y)0 = Aα2 Aα−1
2
Suppose that (ǫv , ǫα ) = (0, 1) and β ≥ 2. As any eigenvalue of y can be paired with
its inverse, y is an element of G of order v. Also y has α + 1 eigenvalues equal to 1,
α + 1 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
1 ≤ |i| ≤ (β − 2)/2, and every other eigenvalue of y occurs with multiplicity α. Therefore
β

CG (y)0 = Aα2

−1

v

−β

2
2
C 2α+1 T v2 −1 .
Aα−1
2

Suppose finally that (ǫv , ǫα ) = (0, 1) and β = 0. As any eigenvalue of y can be paired
with its inverse, y is an element of G of order v. Also y has α − 1 eigenvalues equal to 1,
α + 1 eigenvalues equal to −1, and every other eigenvalue of y occurs with multiplicity α.
v
−1
2
Therefore CG (y)0 = Aα−1
C α+1 C α−1 T v2 −1 .
2

2

By Proposition 2.2(i), du (G) ≤ dq (CG (y)0 ) and so dq (CG (y)0 ) is an upper bound for
du (G). It remains to calculate dq (CG (y)0 ).
Note that by Lemma 2.4,
dq (Aα ) = z 2 q + (2z + 1)(α − zq + 1) − 1,
dq (Aα−1 ) = z 2 q + (2z + 1)(α − zq) − 1,
 z2q
l α m zq  l z m

−
+
ǫq
+ (2z + 1)
dq C⌈ α2 ⌉ =
2
2
2
2
and if α is odd then

 l m
 z2q

α − 1 zq
z
ǫq .
+ (2z + 1)
−
+
dq C α−1 =
2
2
2
2
2
24

Assume first that ǫv = 1. Recall that ǫu = ǫq and ǫα = ǫβ . We have
⌊β ⌋

v−1

−⌊ β2 ⌋

2
CG (y)0 = Aα2 Aα−1

C⌈ α2 ⌉ T v−1 .
2

By Proposition 2.2(iii),
0

dq (CG (y) ) =
=
=
=
=

 β v−1 β

v−1
⌊2⌋
−⌊ 2 ⌋
2
α
+ dq Aα Aα−1
C⌈ 2 ⌉
2
 
 



β
β
v−1
v−1
+
−
dq (Aα ) +
dq (Aα−1 ) + dq C⌈ α2 ⌉
2
2
2
2
qvz(z + 1) αv + β l z m
ǫq
+
+
z(αv + β) −
2
2
2
m
l
zu(z + 1) zu + e
z
z(zu + e) −
ǫq
+
+
2
2
2
lz m
1 2
ǫu .
(z u + e(2z + 1)) +
2
2

Assume that (ǫv , ǫα ) = (0, 0). Recall that ǫq = 1 and ǫβ = 0. We have
β

v

−1− β2

2
CG (y)0 = Aα2 Aα−1

C 2α T v2 −1 .
2

By Proposition 2.2(iii),
0

dq (CG (y) ) =
=
=
=
=


 β v
v
−1− β2 2
2
2
− 1 + dq Aα Aα−1 C α
2
2


 
v
β
β
v
− 1 + dq (Aα ) +
−1−
dq (Aα−1 ) + 2dq C α2
2
2
2
2
lzm
qvz(z + 1) αv + β
ǫq
+
+2
z(αv + β) −
2
2
2
lzm
zu(z + 1) zu + e
z(zu + e) −
ǫq
+
+2
2
2
2
m
l
z
1 2
.
(z u + e(2z + 1)) + 2
2
2

Assume that (ǫv , ǫα ) = (0, 1) and β ≥ 2. Recall that ǫq = 1 and ǫβ = 0. We have
β

CG (y)0 = Aα2

−1

v

−β

2
2
C 2α+1 T v2 −1 .
Aα−1
2

By Proposition 2.2(iii),
dq (CG (y)0 ) =
=
=
=
=


 β
v
−1 v2 − β2 2
C α+1
− 1 + dq Aα2 Aα−1
2
2






β
v β
v
−1+
− 1 dq (Aα ) +
−
dq (Aα−1 ) + 2dq C α+1
2
2
2
2
2
m
l
qvz(z + 1) αv + β
z
z(αv + β) −
ǫq
+
+2
2
2
2
m
l
z
zu(z + 1) zu + e
ǫq
+
+2
z(zu + e) −
2
2
2
lzm
1 2
.
(z u + e(2z + 1)) + 2
2
2
25

Assume finally that (ǫv , ǫα ) = (0, 1) and β = 0. Recall that ǫq = 1. We have
v

−1

2
C α+1 C α−1 T v2 −1 .
CG (y)0 = Aα−1
2

2

By Proposition 2.2(iii),
dq (CG (y)0 ) =
=
=
=
=

6.3


 v −1
v
2
− 1 + dq Aα−1
C α+1 C α−1
2
2
2




v

v
−1+
− 1 dq (Aα−1 ) + dq C α+1 + dq C α−1
2
2
2
2
lz m
qvz(z + 1) αv
z(αv) −
ǫq
+
+2
2
2
2
lzm
zu(z + 1) zu + e
z(zu + e) −
ǫq
+
+2
2
2
2
m
l
1 2
z
.
(z u + e(2z + 1)) + 2
2
2

G is of type Bℓ

Let G = (Bℓ )s.c be a simply connected group of type Bℓ with ℓ ≥ 3 defined over an algebraically closed field K of characteristic p. Here |Φ| = 2ℓ2 , h = 2ℓ and G = Spinh+1 (K)
if p 6= 2, otherwise G = SOh+1 (K). Given an element g in G, we let g be the image of g
under the canonical surjective map G → SOh+1 (K).
Lemma 6.3. Let G = (Bℓ )s.c where ℓ ≥ 3 be defined over an algebraically closed field K
of characteristic p. Let u = qv be a positive integer where q and v are positive integers
such that q is a power of p and p does not divide v. Write h = zu + e = αv + β and
α = zq + δ where z, e, α, β, δ are nonnegative integers such that e < u, β < v, and δ < q.
Consider the following conditions:

(a) ǫv = 1.
(b) v = 2.
(c) (ǫv , ǫα ) = (0, 1), v > 2 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 0, 0), (0, 2, 3), (2, 0, 3), (2, 2, 2)}.
(d) (ǫv , ǫα ) = (0, 1) and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 2, 1), (2, 2, 0)}.
(e) (ǫv , ǫα ) = (0, 1), β > 0 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 0, 2), (2, 0, 1)}.
(f ) (ǫv , ǫα ) = (0, 1), v > 2, β = 0 and (v mod 4, ℓ mod 4) ∈ {(0, 2), (2, 1)}.
(g) (ǫv , ǫα ) = (0, 0), v > 2 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 0, 0), (0, 2, 3), (2, 0, 0), (2, 2, 3)}.
(h) (ǫv , ǫα ) = (0, 0) and (v mod 4, β mod 4, ℓ mod 4) = (2, 2, 1).
(i) (ǫv , ǫα ) = (0, 0), β > 0 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 2, 1), (2, 0, 2)}.
(j) (ǫv , ǫα ) = (0, 0), β > 0 and (v mod 4, β mod 4, ℓ mod 4) ∈ (0, 0, 2).
(k) (ǫv , ǫα ) = (0, 0), v > 2, β = 0 and (v mod 4, ℓ mod 4) = (2, 2).
26

Let y be the element of SOh+1 (K) of order v defined in Table 6 (see §11). Then y has
a preimage y in G of order v, and CSOh+1 (y)0 and dq (CG (y)0 ) = dq (CSOh+1 (K) (y)0 ) are
given in Table 6. Furthermore dq (CG (y)0 ) is an upper bound for du (G).
Proof. Note that by Lemma 2.3(iii), dq (CG (y)0 ) = dq (CSOh+1 (K) (y)0 ). Since h = 2ℓ, note
that if ǫv = 1 then ǫα = ǫβ and ǫu = ǫq , whereas if ǫv = 0 then ǫu = 0, ǫq = 1 and
ǫβ = 0. Note also that if ℓ ≡ 2 mod 4, v ≡ 0 mod 4 and β = 0 then α is odd, as
otherwise on one hand we would have 2ℓ ≡ 4 mod 8 and on the other 2ℓ = αv ≡ 0
mod 8, a contradiction. We first determine CSOh+1 (K) (y)0 . Suppose that case (a) holds
so that v is odd. As any eigenvalue of y different from 1 can be paired with its inverse,
y is an element of SOh+1 (K) of order v. Furthermore, since v is odd, by Lemma 5.1 it
follows that y has a preimage y in G of order v. Also y has α + 1 + ǫβ eigenvalues equal
to 1, 0 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
1 ≤ |i| ≤ ⌊β/2⌋, and every other eigenvalue of y occurs with multiplicity α. Therefore
⌊β ⌋

v−1

−⌊ β ⌋

2
2
CSOh+1 (K) (y)0 = Aα2 Aα−1
B⌈ α2 ⌉ T v−1 .
2
Suppose that case (b) holds so that v = 2. As any eigenvalue of y different from 1 can
be paired with its inverse, y is an element of SOh+1 (K) of order v. Now the number N
of eigenvalues ω i = (−1)i of y with i odd is equal to ℓ, ℓ − 1, ℓ + 2 or ℓ + 1 according
respectively as ℓ mod 4 is 0, 1, 2 or 3. Since N is divisible by 4, it follows from Lemma
5.1 that y has a preimage y in G of order v. Also


Bℓ Dℓ



2
2

 B ℓ+1 D ℓ−1
2
2
CSOh+1 (K) (y)0 =
B ℓ−2 D ℓ+2


2
2


 B ℓ−1 D ℓ+1
2

2

if ℓ ≡ 0 (4)
if ℓ ≡ 1 (4)
if ℓ ≡ 2 (4)
if ℓ ≡ 3 (4).

Suppose that case (c) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then

N

=


α·




 α·

v
2
v
2

+ β2

if (v

mod 4, β

mod 4) = (0, 0)

if (v

β
− 1 + (α + 1) + 2
 if (v

β
− 1 + (α + 1) + 2 + 1
if (v

mod 4, β

mod 4) = (0, 2)

mod 4, β

mod 4) = (2, 0)

mod 4, β

mod 4) = (2, 2)

+
v
2
v
2

β
2


+1


α·



 α·

if (v
 ℓ
=
ℓ + 1 if (v

ℓ + 2 if (v

mod 4, β
mod 4, β
mod 4, β

mod 4) = (0, 0)
mod 4) ∈ {(0, 2), (2, 0)}
mod 4) = (2, 2).

From the assumptions of case (c), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α eigenvalues equal to 1, α + 1 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2,
and every other eigenvalue of y occurs with multiplicity α. Therefore CSOh+1 (K) (y)0 =
β

v

−1− β

2
2
Aα2 Aα−1
B α−1 D α+1 T v2 −1 .
2
2
Suppose that case (d) or (e) holds. As any eigenvalue of y different from 1 can be paired
with its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of

27

eigenvalues ω i of y with i odd. Then



β
v

α
·
+
−
2
if (v mod 4, β

2


2



β
 α· v +
if (v mod 4, β
2
2 −1


N =

β
v

if (v mod 4, β
α · 2 − 1 + (α + 1) + 2 − 2








β
v
 α·
if (v mod 4, β
2 − 1 + (α + 1) + 2 − 1

 ℓ − 2 if (v mod 4, β mod 4) = (0, 0)
=
ℓ − 1 if (v mod 4, β mod 4) ∈ {(0, 2), (2, 0)}

ℓ
if (v mod 4, β mod 4) = (2, 2).

mod 4) = (0, 0)
mod 4) = (0, 2)
mod 4) = (2, 0)
mod 4) = (2, 2)

From the assumptions of case (d) or (e), it follows that N is divisible by 4. Hence by
Lemma 5.1, y has a preimage y in G of order v. Also y has α + 2 eigenvalues equal to
1, α + 1 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where if case (d) holds
then i is any integer with 1 ≤ |i| ≤ (β/2 − 1) and if case (e) holds then i any integer
with 2 ≤ |i| ≤ β/2, and every other eigenvalue of y occurs with multiplicity α. Therefore
β

−1

v

−β

2
2
B α+1 D α+1 T v2 −1 .
CSOh+1 (K) (y)0 = Aα2 Aα−1
2
2
Suppose that case (f) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then


(α − 1) · v2 + v2− 2

 if v ≡ 0 mod 4
N =
v
v
(α − 1) · 2 − 1 + ((α − 1) + 2) + 2 − 1 − 2 if v ≡ 2 mod 4

ℓ − 2 if v ≡ 0 mod 4
=
ℓ − 1 if v ≡ 2 mod 4.

From the assumptions of case (f), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α+2 eigenvalues equal to 1, α+1 eigenvalues
equal to −1, α eigenvalues equal to ω i where i is any integer with 2 ≤ |i| ≤ v/2 − 1, and
every other eigenvalue of y occurs with multiplicity α − 1. Therefore CSOh+1 (K) (y)0 =
v

−2

2
Aα−1
Aα−2 B α+1 D α+1 T v2 −1 .
2
2
Suppose that case (g) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then

α · v2 + β2
if (v mod 4, β mod 4) = (0, 0)





β
v
 α· +
if (v mod 4, β mod 4) = (0, 2)
2
2 +1

N =

α · v2 − 1 + α + β2

 if (v mod 4, β mod 4) = (2, 0)


 α · v − 1 + α + β + 1
if (v mod 4, β mod 4) = (2, 2)
2
2

ℓ
if (v mod 4, β mod 4) ∈ {(0, 0), (2, 0)}
=
ℓ + 1 if (v mod 4, β mod 4) ∈ {(0, 2), (2, 2)}.

From the assumptions of case (g), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1, α eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2,
and every other eigenvalue of y occurs with multiplicity α. Therefore CSOh+1 (K) (y)0 =
28

β

v

−1− β

2
2
Aα2 Aα−1
B α2 D α2 T v2 −1 .
Suppose that case (h) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then

 β
v
2(ℓ − 1)
−1 +
+1−2 +α=
.
N =α·
2
2
2

From the assumptions of case (h), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1, α eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 2 ≤ |i| ≤ β/2, (α + 1)
v
v
eigenvalues equal to ω 2 −1 , (α+1) eigenvalues equal to ω −( 2 −1) and every other eigenvalue
β

v

− β −1

2
2
B α2 D α2 T v2 −1 .
of y occurs with multiplicity α. Therefore CSOh+1 (K) (y)0 = Aα2 Aα−1
Suppose that case (i) or (j) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then



β
v

+
−
2
if (v mod 4, β mod 4) = (0, 0)
α
·

2

2

β
N =
if (v mod 4, β mod 4) = (0, 2)
α · v2 + 2 − 1




β
v
α · 2 − 1 + (α + 2) + 2 if (v mod 4, β mod 4) = (2, 0)

 ℓ − 2 if (v mod 4, β mod 4) = (0, 0)
=
ℓ − 1 if (v mod 4, β mod 4) = (0, 2)

ℓ + 2 if (v mod 4, β mod 4) = (2, 0).

From the assumptions of case (i) or (j), it follows that N is divisible by 4. Hence by
Lemma 5.1, y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to
1, α + 2 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where if case (i) holds
then i is any integer with 1 ≤ |i| ≤ (β/2 − 1) and if case (j) holds then i any integer
with 2 ≤ |i| ≤ β/2, and every other eigenvalue of y occurs with multiplicity α. Therefore
β

−1

v

−β

2
2
B α2 D α+2 T v2 −1 .
CSOh+1 (K) (y)0 = Aα2 Aα−1
2
Suppose that case (k) holds. As any eigenvalue of y different from 1 can be paired with
its inverse, y is an element of SOh+1 (K) of order v. Let N be the number of eigenvalues
ω i of y with i odd. Then
v
 v

2(ℓ + 2)
N = (α − 1) ·
−1 +
− 1 + (α + 2) =
.
2
2
2

From the assumption of case (k), it follows that N is divisible by 4. Hence by Lemma
5.1, y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1,
α + 2 eigenvalues equal to −1, α eigenvalues equal to ω i where i is any integer with
1 ≤ |i| ≤ v/2 − 2, and every other eigenvalue of y occurs with multiplicity α − 1. Therefore
v

−2

2
Aα−2 B α2 D α+2 T v2 −1 .
CSOh+1 (K) (y)0 = Aα−1
2

By Proposition 2.2(i), du (G) ≤ dq (CG (y)0 ) and so dq (CG (y)0 ) is an upper bound for
du (G). It remains to calculate dq (CSOh+1 (y)0 ) = dq (CG (y)0 ).
It follows from Lemma 2.4 that
 2
z q + (2z + 1)(α + 2 − zq) − 1
if δ < q − 1
dq (Aα+1 ) =
2
(z + 1) q + (2z + 3)(α + 2 − (z + 1)q) − 1 if δ = q − 1,
29

dq (Aα ) = z 2 q + (2z + 1)(α − zq + 1) − 1,
dq (Aα−1 ) = z 2 q + (2z + 1)(α − zq) − 1,
z 2 q + (2z + 1)(α − 1 − zq) − 1
if δ > 0
(z − 1)2 q + (2z − 1)(α − 1 − (z − 1)q) − 1 if δ = 0,
 z2q

l α m zq  l z m
−
+
ǫq ,
dq B⌈ α2 ⌉ =
+ (2z + 1)
2
2
2
2


 l m
 z2q

α+1
zq
z
ǫq − z − ǫz ,
+ (2z + 1)
dq D⌈ α+1 ⌉ =
−
+
2
2
2
2
2

dq (Aα−2 ) =



if α is odd then


 l m
α − 1 zq
z
z2q
dq B α−1 =
ǫq ,
+ (2z + 1)
−
+
2
2
2
2
2
( z2q
z 
zq 
α−1


ǫq − z − ǫz
if δ > 0
2 + (2z + 1)
2 − 2 + 2 
dq D α−1 =
(z−1)q
(z−1)2 q
z−1
α−1
2
+ (2z − 1) 2 − 2
+ 2 ǫq − (z − 1) if δ = 0,
2




and if α is even then


dq B α−2
2



=

(

z2 q
2 + (2z
(z−1)2 q
+
2

+ 1)
(2z −

and


dq D α2 =

(

z2q
2
z2q
2

+ (2z + 1)
+ (2z + 1)

α
2
α
2

−
−

zq
α−2
z
ǫq
2 − 2 + 2 
(z−1)q
α−2
1) 2 − 2
+



zq 
2 +
zq 
2 +

 

if δ > 0
 z−1 
2

ǫq if δ = 0,

z 
ǫ − z − ǫz
if δ > 0 or z is even
 z2  q
2 ǫq − z − ǫz + 2 otherwise.

Assume first that case (a) holds so that ǫv = 1. Recall that ǫu = ǫq and ǫα = ǫβ . We
have
−⌊ β2 ⌋
⌊ β ⌋ v−1
2
CSOh+1 (K) (y)0 = Aα2 Aα−1
B⌈ α2 ⌉ T v−1 .
2

By Proposition 2.2(iii),
0

dq (CSOh+1 (K) (y) ) =
=
=
=
=

 β v−1 β

v−1
⌊2⌋
−⌊ 2 ⌋
2
+ dq Aα Aα−1
B⌈ α2 ⌉
2
 
 



β
β
v−1
v−1
+
−
dq (Aα ) +
dq (Aα−1 ) + dq B⌈ α2 ⌉
2
2
2
2
qvz(z + 1) αv + β l z m
ǫq
+
+
z(αv + β) −
2
2
2
zu(z + 1) zu + e l z m
z(zu + e) −
ǫq
+
+
2
2
2
m
l
1 2
z
ǫu .
(z u + e(2z + 1)) +
2
2

Assume that case (b) holds so that v = 2, ǫu = ǫv = 0 and ǫq = 1. Recall that α = ℓ
and β = 0. Note also that e = 0 if and only if δ = 0. We have

B α2 D α2
if α ≡ 0 (4)



 B α+1 D α−1 if α ≡ 1 (4)
2
2
CSOh+1 (K) (y)0 =
B α−2 D α+2 if α ≡ 2 (4)


2
2

 B α−1
D α+1 if α ≡ 3 (4).
2

30

2

If α ≡ 0 mod 4 then z is even if δ = 0, and by Proposition 2.2(i)
dq (CSOh+1 (K) (y)0 ) = dq (B α2 D α2 )
= dq (B α2 ) + dq (D α2 )
= −qz(z + 1) + 2αz + α
−qvz(z + 1)
(zu + e)
=
+ (zu + e)z +
2
2
(zu + e)
−zu(z + 1)
+ (zu + e)z +
=
2
2
2
z u + e(2z + 1)
.
=
2
If α ≡ 1 mod 4 then by Proposition 2.2(iii)
dq (CSOh+1 (K) (y)0 ) = dq (B α+1 D α−1 )
2

2

= dq (B α+1 ) + dq (D α−1 )
2
2

−qz(z + 1) + 2αz + α if δ > 0
=
−qz 2 + 2αz + 2
if δ = 0
( 2
z u+e(2z+1)
if δ > 0
2
=
2
z q+2
if δ = 0
( 2
z u+e(2z+1)
if δ > 0
2
=
z2u
if δ = 0
2 +2
( 2
z u+e(2z+1)
if e > 0
2
=
z 2 u+e(2z+1)
+ 2 if e = 0.
2
If α ≡ 2 mod 4 then z is even if δ = 0, and by Proposition 2.2(iii)
dq (CSOh+1 (K) (y)0 ) = dq (B α−2 D α+2 )
2

2

= dq (B α−2 ) + dq (D α+2 )
2
2

−qz(z + 1) + 2αz + α if δ > 0
=
−qz 2 + 2αz + 2
if δ = 0
( 2
z u+e(2z+1)
if e > 0
2
=
z 2 u+e(2z+1)
+ 2 if e = 0.
2
If α ≡ 3 mod 4 then by Proposition 2.2(iii)
dq (CSOh+1 (K) (y)0 ) = dq (B α−1 D α+1 )
2

2

= dq (B α−1 ) + dq (D α+1 )
2

=
=

2

−qvz(z + 1)
(zu + e)
+ (zu + e)z +
2
2
2
z u + e(2z + 1)
.
2

Assume that case (c) holds. Recall that ǫq = ǫα = 1 and ǫu = ǫv = ǫβ = 0. We have
β

v

−1− β2

2
CSOh+1 (K) (y)0 = Aα2 Aα−1

31

B α−1 D α+1 T v2 −1 .
2

2

By Proposition 2.2(iii),
 β v

v
−1− β2
2
2
− 1 + dq Aα Aα−1 B α−1 D α+1
2
2
2






v
β
β
v
− 1 + dq (Aα ) +
−1−
dq (Aα−1 ) + dq B α−1 + dq D α+1
2
2
2
2
2
2
qvz(z + 1) αv + β
z(αv + β) −
+
2
2
zu(z + 1) zu + e
z(zu + e) −
+
2
2
1 2
(z u + e(2z + 1)).
2

0

dq (CSOh+1 (K) (y) ) =
=
=
=
=

Assume that case (d) or case (e) holds. Recall that ǫq = ǫα = 1 and ǫu = ǫv = ǫβ = 0.
We have
β
−1 v2 − β2
CSOh+1 (K) (y)0 = Aα2 Aα−1
B α+1 D α+1 T v2 −1 .
2

2

By Proposition 2.2(iii),

 β
v
−1 v2 − β2
2
− 1 + dq Aα Aα−1 B α+1 D α+1
2
2
2








β
v β
v
−1+
− 1 dq (Aα ) +
−
dq (Aα−1 ) + dq B α+1 + dq D α+1
2
2
2
2
2
2
qvz(z + 1) αv + β
+
z(αv + β) −
2
2
zu(z + 1) zu + e
+
z(zu + e) −
2
2
1 2
(z u + e(2z + 1)).
2

0

dq (CSOh+1 (K) (y) ) =
=
=
=
=

Assume that case (f) holds. Recall that ǫq = ǫα = 1, ǫu = ǫv = ǫβ = 0 and β = 0. Also
δ = 0 if and only if e = 0. We have
v

−2

2
Aα−2 B α+1 D α+1 T v2 −1 .
CSOh+1 (K) (y)0 = Aα−1
2

2

By Proposition 2.2(iii),
dq (CSOh+1 (K) (y)0 ) =
=
=
=
=


 v −2
v
2
Aα−2 B α+1 D α+1
− 1 + dq Aα−1
2
2
2




v

v
−1+
− 2 dq (Aα−1 ) + dq (Aα−2 ) + dq B α+1 + dq D α+1
2
2
2
2
(
qvz(z+1)
αv
+ 2
if δ > 0
zαv −
2
qvz(z+1)
αv
zαv −
+ 2 + 2 if δ = 0
2
(
+ zu+e
if δ > 0
z(zu + e) − zu(z+1)
2
2
zu(z+1)
zu+e
+ 2 + 2 if δ = 0
z(zu + e) −
2
 1 2
if e > 0
2 (z u + e(2z + 1))
1 2
(z
u
+
e(2z
+
1))
+
2
if
e = 0.
2

Assume that case (g) or case (h) holds. Recall that ǫq = 1 and ǫu = ǫv = ǫα = ǫβ = 0.
Also if δ = 0 then z must be even. We have
β

v

−1− β2

2
CSOh+1 (K) (y)0 = Aα2 Aα−1

32

B α2 D α2 T v2 −1 .

By Proposition 2.2(iii),
 β v

v
−1− β2
2
2
− 1 + dq Aα Aα−1 B α2 D α2
2


 


v
β
β
v
− 1 + dq (Aα ) +
−1−
dq (Aα−1 ) + dq B α2 + dq D α2
2
2
2
2
qvz(z + 1) αv + β
+
z(αv + β) −
2
2
zu(z + 1) zu + e
z(zu + e) −
+
2
2
1 2
(z u + e(2z + 1)).
2

0

dq (CSOh+1 (K) (y) ) =
=
=
=
=

Assume that case (i) or case (j) holds. Recall that ǫq = 1 and ǫu = ǫv = ǫα = ǫβ = 0.
We have
β

CSOh+1 (K) (y)0 = Aα2

−1

v

−β

2
2
Aα−1
B α2 D α+2 T v2 −1 .
2

By Proposition 2.2(iii),
dq (CSOh+1 (K) (y)0 ) =
=
=
=
=


 β
v
−1 v2 − β2
− 1 + dq Aα2 Aα−1
B α2 D α+2
2
2






 
v
β
v β
−1+
− 1 dq (Aα ) +
−
dq (Aα−1 ) + dq B α2 + dq D α+2
2
2
2
2
2
qvz(z + 1) αv + β
z(αv + β) −
+
2
2
zu(z + 1) zu + e
+
z(zu + e) −
2
2
1 2
(z u + e(2z + 1)).
2

Assume that case (k) holds. Recall that ǫq = 1, ǫu = ǫv = ǫα = ǫβ = 0 and β = 0.
Also δ = 0 if and only if e = 0. We have
v

−2

2
CSOh+1 (K) (y)0 = Aα−1
Aα−2 B α2 D α+2 T v2 −1 .
2

By Proposition 2.2(iii),
dq (CSOh+1 (K) (y)0 ) =
=
=
=
=


 v −2
v
2
− 1 + dq Aα−1
Aα−2 B α2 D α+2
2
2

 
v


v
−1+
− 2 dq (Aα−1 ) + dq (Aα−2 ) + dq B α2 + dq D α+2
2
2
2
(
qvz(z+1)
αv
+ 2
if δ > 0
zαv −
2
qvz(z+1)
αv
zαv −
+ 2 + 2 if δ = 0
2
(
+ zu+e
if δ > 0
z(zu + e) − zu(z+1)
2
2
zu(z+1)
zu+e
+ 2 + 2 if δ = 0
z(zu + e) −
2
 1 2
if e > 0
2 (z u + e(2z + 1))
1 2
(z
u
+
e(2z
+
1))
+
2
if e = 0.
2

33

6.4

G is of type Dℓ

Let G = (Dℓ )s.c be a simply connected group of type Dℓ with ℓ ≥ 4 defined over an
algebraically closed field K of characteristic p. Here |Φ| = 2ℓ(ℓ − 1), h = 2ℓ − 2 and
G = Spinh+2 (K) if p 6= 2, otherwise G = SOh+2 (K). Given an element g in G, we let g
be the image of g under the canonical surjective map G → SOh+2 (K).
Lemma 6.4. Let G = (Dℓ )s.c where ℓ ≥ 4 be defined over an algebraically closed field K
of characteristic p. Let u = qv be a positive integer where q and v are positive integers
such that q is a power of p and p does not divide v. Write h = zu + e = αv + β and
α = zq + δ where z, e, α, β, δ are nonnegative integers such that e < u, β < v, and δ < q.
Consider the following conditions:

(a) ǫv = 1.
(b) v = 2.
(c) (ǫv , ǫα ) = (0, 1), v > 2 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 0, 1), (0, 2, 0), (2, 0, 0), (2, 2, 3)}.
(d) (ǫv , ǫα ) = (0, 1) and (v mod 4, β mod 4, ℓ mod 4) = (0, 2, 2).
(e) (ǫv , ǫα ) = (0, 1), v > 2 and (v mod 4, β mod 4, ℓ mod 4) = (2, 2, 1).
(f ) (ǫv , ǫα ) = (0, 1), β > 0 and (v mod 4, β mod 4, ℓ mod 4) = (0, 0, 3).
(g) (ǫv , ǫα ) = (0, 1), v > 2, β > 0, β 6= v − 2 and (v mod 4, β mod 4, ℓ mod 4) =
(2, 0, 2).
(h) (ǫv , ǫα ) = (0, 1), v > 2, β = v − 2 and (v mod 4, β mod 4, ℓ mod 4) = (2, 0, 2).
(i) (ǫv , ǫα ) = (0, 1), β = 0 and (v mod 4, β mod 4, ℓ mod 4) = (0, 0, 3).
(j) (ǫv , ǫα ) = (0, 1), v > 2, β = 0 and (v mod 4, β mod 4, ℓ mod 4) = (2, 0, 2).
(k) (ǫv , ǫα ) = (0, 0), v > 2 and (v mod 4, β mod 4, ℓ mod 4) ∈ {(0, 0, 1), (0, 2, 0), (2, 0, 1), (2, 2, 0)}.
(l) (ǫv , ǫα ) = (0, 0) and (v mod 4, β mod 4, ℓ mod 4) = (2, 2, 2).
(m) (ǫv , ǫα ) = (0, 0) and (v mod 4, β mod 4, ℓ mod 4) = (0, 0, 3).
(n) (ǫv , ǫα ) = (0, 0) and (v mod 4, β mod 4, ℓ mod 4) = (0, 2, 2).
(o) (ǫv , ǫα ) = (0, 0), v > 2, β > 0 and (v mod 4, β mod 4, ℓ mod 4) = (2, 0, 3).
(p) (ǫv , ǫα ) = (0, 0), v > 2, β = 0 and (v mod 4, ℓ mod 4) = (2, 3).
Let y be the element of SOh+2 (K) of order v defined in Table 7 (see §11). Then y has
a preimage y in G of order v, and CSOh+2 (y)0 and dq (CG (y)0 ) = dq (CSOh+2 (K) (y)0 ) are
given in Table 7. Furthermore dq (CG (y)0 ) is an upper bound for du (G).
Proof. Note that by Lemma 2.3(iii), dq (CG (y)0 ) = dq (CSOh+2 (K) (y)0 ). Since h = 2ℓ − 2,
note that if ǫv = 1 then ǫα = ǫβ and ǫu = ǫq , whereas if ǫv = 0 then ǫu = 0, ǫq = 1 and
ǫβ = 0. We first determine CSOh+2 (K) (y)0 . Suppose that case (a) holds so that v is odd. As
any eigenvalue of y can be paired with its inverse, y is an element of SOh+2 (K) of order v.
34

Furthermore, since v is odd, by Lemma 5.1 it follows that y has a preimage y in G of order
v. Also y has α + 2 − ǫβ eigenvalues equal to 1, 0 eigenvalues equal to −1, α + 1 eigenvalues
equal to ω i where i is any integer with 1 ≤ |i| ≤ ⌈β/2⌉, and every other eigenvalue of y
⌈β ⌉

v−1

−⌈ β ⌉

2
2
D⌈ α+1 ⌉ T v−1 .
occurs with multiplicity α. Therefore CSOh+1 (K) (y)0 = Aα2 Aα−1
2
2
Suppose that case (b) holds so that v = 2. As any eigenvalue of y can be paired with
its inverse, y is an element of SOh+2 (K) of order v. Now the number N of eigenvalues
ω i = (−1)i of y with i odd is equal to ℓ, ℓ − 1, ℓ + 2 or ℓ + 1 according respectively as ℓ
mod 4 is 0, 1, 2 or 3. Since N is divisible by 4, it follows from Lemma 5.1 that y has a
preimage y in G of order v. Also

if ℓ ≡ 0 (4)
Dℓ Dℓ


 2 2

 D ℓ+1 D ℓ−1 if ℓ ≡ 1 (4)
2
2
CSOh+2 (K) (y)0 =
D ℓ−2 D ℓ+2 if ℓ ≡ 2 (4)


2
2


 D ℓ−1 D ℓ+1 if ℓ ≡ 3 (4).
2

2

Suppose that case (c) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

α · v2 + β2
if (v mod 4, β mod 4) = (0, 0)





 α· v + β +1
if (v mod 4, β mod 4) = (0, 2)
2
2

N =
β
v

α · 2 − 1 + (α + 1) + 2

 if (v mod 4, β mod 4) = (2, 0)


 α · v − 1 + (α + 1) + β + 1
if (v mod 4, β mod 4) = (2, 2)
2
2

 ℓ − 1 if (v mod 4, β mod 4) = (0, 0)
=
ℓ
if (v mod 4, β mod 4) ∈ {(0, 2), (2, 0)}

ℓ + 1 if (v mod 4, β mod 4) = (2, 2).
From the assumptions of case (c), it follows that N is divisible by 4. Hence by Lemma 5.1, y
has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1, α + 1 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2,
and every other eigenvalue of y occurs with multiplicity α. Therefore CSOh+2 (K) (y)0 =
β

v

−1− β

2
2
Aα2 Aα−1
D α+1 D α+1 T v2 −1 .
2
2
Suppose that case (d) or (e) holds. Note that if case (d) holds then h ≡ 2 mod 8 and so
β < v − 2 as otherwise h = (α + 1)v − 2 which, under the assumptions of case (d), is equal
to 6 modulo 8, a contradiction. As any eigenvalue of y can be paired with its inverse, y
is an element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i
odd. Then



 α· v + β −1
if (v mod 4, β mod 4) = (0, 2)
2
2


N =

 α · v − 1 + (α + 1) + β − 1
if (v mod 4, β mod 4) = (2, 2)
2
2

ℓ − 2 if (v mod 4, β mod 4) = (0, 2)
=
ℓ − 1 if (v mod 4, β mod 4) = (2, 2).

From the assumptions of case (d) or (e), it follows that N is divisible by 4. Hence by
Lemma 5.1, y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1,
α + 1 eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where if case (d) holds then
35

i is any integer with 1 ≤ |i| ≤ β/2 − 1 or |i| = v/2 − 2 and if case (e) holds then i any
integer with 1 ≤ |i| ≤ β/2 − 1 or |i| = v/2 − 1, and every other eigenvalue of y occurs with
β

v

−1− β

2
2
multiplicity α. Therefore CSOh+2 (K) (y)0 = Aα2 Aα−1
D α+1 D α+1 T v2 −1 .
2
2
Suppose that case (f) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then


(
if β 6= v − 4
α · v2 + β2 − 2
N =
v
v
α· 2 + 2
if β = v − 4

ℓ − 3 if β 6= v − 4
=
ℓ + 1 if β = v − 4.

From the assumptions of case (f), it follows that N is divisible by 4. Hence by Lemma
5.1, y has a preimage y in G of order v. Also y has α + 1 eigenvalues equal to 1, α + 1
eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where if β 6= v − 4 then i is any
integer with 2 ≤ |i| ≤ β/2 or |i| = v/2 − 2 and if β = v − 4 then i is any integer with
1 ≤ |i| ≤ v/2 − 3 or |i| = v/2 − 1, and every other eigenvalue of y occurs with multiplicity
β

v

−1− β

2
2
D α+1 D α+1 T v2 −1 .
α. Therefore CSOh+2 (K) (y)0 = Aα2 Aα−1
2
2
Suppose that case (g) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

v
 β
N = α·
−1 +
− 2 + (α + 1)
2
2
= ℓ − 2.

From the assumptions of case (g), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α+1 eigenvalues equal to 1, α+1 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 2 ≤ |i| ≤ β/2 or
|i| = v/2 − 1, and every other eigenvalue of y occurs with multiplicity α. Therefore
β

v

−1− β

2
2
D α+1 D α+1 T v2 −1 .
CSOh+2 (K) (y)0 = Aα2 Aα−1
2
2
Suppose that case (h) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then
v
 β
N =α·
− 1 + + (α + 3) = ℓ + 2.
2
2
From the assumptions of case (h), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α+1 eigenvalues equal to 1, α+3 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ v/2 − 2,
and every other eigenvalue of y occurs with multiplicity α. Therefore CSOh+2 (K) (y)0 =
v

−2

Aα2 Aα−1 D α+1 D α+3 T v2 −1 .
2
2
Suppose that case (i) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

v v
N = (α − 1) · +
− 2 + 4 = ℓ + 1.
2
2
From the assumptions of case (i), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α+1 eigenvalues equal to 1, α−1 eigenvalues
36

equal to −1, α eigenvalues equal to ω i where i is any integer with 2 ≤ |i| ≤ v/2 − 1, and
every other eigenvalue of y occurs with multiplicity α + 1. Therefore CSOh+2 (K) (y)0 =
v

−2

2
Aα Aα−1
D α+1 D α−1 T v2 −1 .
2
2
Suppose that case (j) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then
 v

v
−1 +
− 1 + 2 + (α + 1) = ℓ + 2.
N = (α − 1) ·
2
2
From the assumptions of case (j), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α+1 eigenvalues equal to 1, α+1 eigenvalues
equal to −1, α+1 eigenvalues equal to ω, α+1 eigenvalues equal to ω −1 , α eigenvalues equal
v
to ω i where i is any integer with 2 ≤ |i| ≤ v/2−2, α−1 eigenvalues equal to ω 2 −1 and α−1
v

v

−3

2
eigenvalues equal to ω −( 2 −1) . Therefore CSOh+2 (K) (y)0 = Aα Aα−1
Aα−2 D α+1 D α+1 T v2 −1 .
2
2
Suppose that case (k) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

if (v mod 4, β mod 4) = (0, 0)
α · v2 + β2





β
 α· v +
if (v mod 4, β mod 4) = (0, 2)
2
2 +1

N =
β
v

α · 2 − 1 + α + 2

 if (v mod 4, β mod 4) = (2, 0)


 α · v − 1 + α + β + 1
if (v mod 4, β mod 4) = (2, 2)
2
2

ℓ − 1 if (v mod 4, β mod 4) ∈ {(0, 0), (2, 0)}
=
ℓ
if (v mod 4, β mod 4) ∈ {(0, 2), (2, 2)}.

From the assumptions of case (k), it follows that N is divisible by 4. Hence by Lemma
5.1, y has a preimage y in G of order v. Also y has α+2 eigenvalues equal to 1, α eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2,
and every other eigenvalue of y occurs with multiplicity α. Therefore CSOh+2 (K) (y)0 =
β

v

−1− β

2
2
Aα2 Aα−1
D α2 D α+2 T v2 −1 .
2
Suppose that case (l) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then


v

β
N =α·
−1 +α+
− 1 = ℓ − 2.
2
2

From the assumptions of case (l), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α + 2 eigenvalues equal to 1, α eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2 − 1
or |i| = v/2 − 1, and every other eigenvalue of y occurs with multiplicity α. Therefore
β

v

−1− β

2
2
D α2 D α+2 T v2 −1 .
CSOh+2 (K) (y)0 = Aα2 Aα−1
2
Suppose that case (m) holds. As any eigenvalue of y can be paired with its inverse, y is
an element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i
odd. Then



 α· v + β −2
if β 6= v − 4
2
2

N =
 α· v + β +2
if β = v − 4
2
2

ℓ − 3 if β 6= v − 4
=
ℓ + 1 if β = v − 4.

37

From the assumptions of case (m), it follows that N is divisible by 4. Hence by Lemma
5.1, y has a preimage y in G of order v. Also if β 6= v − 4 then y has α+ 2 eigenvalues equal
to 1, α eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
2 ≤ |i| ≤ β/2 or |i| = v/2 − 2, and every other eigenvalue of y occurs with multiplicity
α. On the other hand if β = v − 4 then y has α + 2 eigenvalues equal to 1, α eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ β/2 − 1
or |i| = β/2 + 1, and every other eigenvalue of y occurs with multiplicity α. Therefore in
β

v

−1− β

2
2
both cases CSOh+2 (K) (y)0 = Aα2 Aα−1
D α2 D α+2 T v2 −1 .
2
Suppose that case (n) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then


β
v
− 1 = ℓ − 2.
N =α· +
2
2

From the assumptions of case (n), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also if β 6= v − 2 then y has α + 2 eigenvalues equal
to 1, α eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
1 ≤ |i| ≤ β/2 − 1 or |i| = v/2 − 2, and every other eigenvalue of y occurs with multiplicity
α. On the other hand if β = v − 2 then y has α + 2 eigenvalues equal to 1, α + 2 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ v/2 − 2,
and every other eigenvalue of y occurs with multiplicity α. Therefore
 β v
β
 A 2 A 2 −1− 2 D α D α+2 T v
if β 6= v − 2
α
−1
α−1
2
2
2
CSOh+2 (K) (y)0 =
v
−2
 Aα2 A
if β = v − 2.
D α+2 D α+2 T v
α−1

2

2

2

−1

Suppose that case (o) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

(
 
α · v2 − 1 + β2 − 2 + α if β 6= v − 2
N =

α · v2 − 1 + β2 + (α + 2) if β = v − 2

ℓ − 3 if β 6= v − 2
=
ℓ + 1 if β = v − 2.
From the assumptions of case (o), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also if β 6= v − 2 then y has α + 2 eigenvalues equal
to 1, α eigenvalues equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with
2 ≤ |i| ≤ β/2 or |i| = v/2 − 1, and every other eigenvalue of y occurs with multiplicity α.
On the other hand if β = v − 2 then y has α + 2 eigenvalues equal to 1, α + 2 eigenvalues
equal to −1, α + 1 eigenvalues equal to ω i where i is any integer with 1 ≤ |i| ≤ v/2 − 2,
and every other eigenvalue of y occurs with multiplicity α. Therefore
 β v
β
 A 2 A 2 −1− 2 D α D α+2 T v
if β 6= v − 2
α
−1
α−1
2
2
2
CSOh+2 (K) (y)0 =
v
 Aα2 −2 A
D α+2 D α+2 T v
if β = v − 2.
α−1

2

2

2

−1

Suppose that case (p) holds. As any eigenvalue of y can be paired with its inverse, y is an
element of SOh+2 (K) of order v. Let N be the number of eigenvalues ω i of y with i odd.
Then

v
− 1 + (α + 2) = ℓ + 1.
N =α·
2
38

From the assumptions of case (p), it follows that N is divisible by 4. Hence by Lemma 5.1,
y has a preimage y in G of order v. Also y has α eigenvalues equal to 1, α + 2 eigenvalues
equal to −1, and every other eigenvalue of y occurs with multiplicity α. Therefore
v

−1

2
D α2 D α+2 T v2 −1 .
CSOh+2 (K) (y)0 = Aα−1
2

By Proposition 2.2(i), du (G) ≤ dq (CG (y)0 ) and so dq (CG (y)0 ) is an upper bound for du (G).
It remains to calculate dq (CSOh+2 (y)0 ) = dq (CG (y)0 ).
It follows from Lemma 2.4 that
dq (Aα ) = z 2 q + (2z + 1)(α − zq + 1) − 1,
dq (Aα−1 ) = z 2 q + (2z + 1)(α − zq) − 1,
z 2 q + (2z + 1)(α − 1 − zq) − 1
if δ > 0
(z − 1)2 q + (2z − 1)(α − 1 − (z − 1)q) − 1 if δ = 0,


 l m

 z2q
α+1
zq
z
dq D⌈ α+1 ⌉ =
ǫq − z − ǫz ,
+ (2z + 1)
−
+
2
2
2
2
2

dq (Aα−2 ) =



if α is odd then


dq D α−1
2



dq D α+3 =
2



(

=

(

z2q
2 + (2z
(z−1)2 q
+
2

z2q
2 + (2z
(z+1)2 q
+
2

+ 1)
(2z −

+ 1)
(2z +

and if α is even then
( 2


z q
2 + (2z + 1)
dq D α2 =
z2q
2 + (2z + 1)

zq
α−1
z
ǫq − z − ǫz
2 − 2 + 2 
(z−1)q
α−1
1) 2 − 2
+ z−1
2 ǫq −



 

zq
α+3
z
ǫq − z − ǫz
2 − 2 + 2 
(z+1)q
α+3
3) 2 − 2
+ z+1
2 ǫq −



α
2
α
2

−
−

 

zq 
2 +
zq 
2 +

if δ > 0
(z − 1) if δ = 0,
if δ < q − 1

(z + 1) − ǫz+1 if δ = q − 1,

z 
ǫ − z − ǫz
if δ > 0 or z is even
 z2  q
2 ǫq − z − ǫz + 2 otherwise.

Assume first that case (a) holds so that ǫv = 1. Recall that ǫu = ǫq and ǫα = ǫβ . We
have
⌈β ⌉

v−1

−⌈ β2 ⌉

2
CSOh+2 (K) (y)0 = Aα2 Aα−1

D⌈ α+1 ⌉ T v−1 .
2

2

By Proposition 2.2(iii),
dq (CSOh+2 (K) (y)0 ) =
=
=
=
=


 β v−1 β
v−1
−⌈ 2 ⌉
⌈ ⌉
2
D⌈ α+1 ⌉
+ dq Aα2 Aα−1
2
2
 
 



β
β
v−1
v−1
+
−
dq (Aα ) +
dq (Aα−1 ) + dq D⌈ α+1 ⌉
2
2
2
2
2
m
l
qvz(z + 1) αv + β
z
z(αv + β) −
ǫq + z + 1 − ǫz
+
+
2
2
2
m
l
z
zu(z + 1) zu + e
ǫq + z + 1 − ǫz
+
+
z(zu + e) −
2
2
2
lz m
1 2
ǫu + z + 1 − ǫz .
(z u + e(2z + 1)) +
2
2
39

Assume that case (b) holds so that v = 2, ǫu = ǫv = 0 and ǫq = 1. Recall that α = ℓ−1
and β = 0. Note also that e = 0 if and only if δ = 0. We have


α

 D 2 D α+2
2
0
D α−1 D α+3
CSOh+2 (K) (y) =
2
2

 D α+1
D α+1
2

2

if α ≡ 0 (2)
if α ≡ 1 (4)
if α ≡ 3 (4).

If α ≡ 0 mod 2 then z is even if δ = 0, and by Proposition 2.2(iii)

dq (CSOh+2 (K) (y)0 ) = dq (D α2 D α+2 )
2

= dq (D α2 ) + dq (D α+2 )
2

= −qz(z + 1) + 2αz + α + z + 1 − ǫz
−qvz(z + 1)
(zu + e)
=
+ (zu + e)z +
+ z + 1 − ǫz
2
2
−zu(z + 1)
(zu + e)
=
+ (zu + e)z +
+ z + 1 − ǫz
2
2
z 2 u + e(2z + 1)
=
+ z + 1 − ǫz .
2

If α ≡ 1 mod 4 then by Proposition 2.2(iii)

dq (CSOh+2 (K) (y)0 ) = dq (D α−1 D α+3 )
2

2

= dq (D α−1 ) + dq (D α+3 )
2
2

2 + 2αz + α + 4
−z
if δ = q − 1 = 0



2
−qz + (2α + 1)z + 2
if δ = 0 6= q − 1
=
2 + (2α − 2q + 1)z + 2α − q + 3 if δ = q − 1 6= 0
−qz



−qz 2 + (2α − q + 1)z + α + 1 − ǫz
if δ 6∈ {0, q − 1}
 −zu(z+1)

+ (zu + e)z + zu+e

2
2 + z + 1 − ǫz + 4 if u = 2

 −qvz(z+1)
+ αvz + α + z + 1 − ǫz + 2
if e = 0 6= u − v
2
=
−qvz(z+1)

+ αvz + α + z + 1 − ǫz + 2
if e = u − v 6= 0

2

 −qvz(z+1)
+ αvz + α + z + 1 − ǫz
otherwise
2
 −zu(z+1)

+ (zu + e)z + zu+e

2
2 + z + 1 − ǫz + 4 if u = 2

 −zu(z+1)
zu+e
+ (zu + e)z + 2 + z + 1 − ǫz + 2 if e = 0 6= u − v
2
=
−zu(z+1)

+ (zu + e)z + zu+e

2
2 + z + 1 − ǫz + 2 if e = u − v 6= 0

 −zu(z+1)
zu+e
+ (zu + e)z + 2 + z + 1 − ǫz
otherwise
 2 2
z u+e(2z+1)

+ z + 1 − ǫz + 4 if u = 2


2

 z 2 u+e(2z+1)
+ z + 1 − ǫz + 2 if e = 0 6= u − v
2
=
2 u+e(2z+1)
z

+ z + 1 − ǫz + 2 if e = u − v 6= 0

2


 z 2 u+e(2z+1) + z + 1 − ǫ
otherwise.
z
2
40

If α ≡ 3 mod 4 then by Proposition 2.2(iii)
dq (CSOh+2 (K) (y)0 ) = dq (D α+1 D α+1 )
2

2

= 2dq (D α+1 )
2

= −qz(z + 1) + 2αz + α + z + 1 − ǫz
zu + e
−zu(z + 1)
+ (zu + e)z +
+ z + 1 − ǫz
=
2
2
z 2 u + e(2z + 1)
+ z + 1 − ǫz .
=
2
Assume that case (c), (d), (e), (f) or (g) holds. Recall that ǫq = ǫα = 1 and ǫu = ǫv =
ǫβ = 0. We have
β

v

−1− β2

2
CSOh+2 (K) (y)0 = Aα2 Aα−1

D α+1 D α+1 T v2 −1 .
2

2

By Proposition 2.2(iii),
0

dq (CSOh+2 (K) (y) ) =
=
=
=
=


 β v
v
−1− β2
2
2
− 1 + dq Aα Aα−1 D α+1 D α+1
2
2
2




v
v
β
β
− 1 + dq (Aα ) +
−1−
dq (Aα−1 ) + 2dq D α+1
2
2
2
2
2
qvz(z + 1) αv + β
z(αv + β) −
+
+ z + 1 − ǫz
2
2
zu(z + 1) zu + e
z(zu + e) −
+
+ z + 1 − ǫz
2
2
z 2 u + e(2z + 1)
+ z + 1 − ǫz .
2

Assume that case (h) holds. Recall that ǫq = ǫα = 1, ǫu = ǫv = ǫβ = 0 and β = v − 2.
We have
v

CSOh+2 (K) (y)0 = Aα2

−2

Aα−1 D α+1 D α+3 T v2 −1 .
2

2

By Proposition 2.2(iii),
 v −2

v
− 1 + dq Aα2 Aα−1 D α+1 D α+3
2
2
2

v




v
−1+
− 2 dq (Aα ) + dq (Aα−1 ) + dq D α+1 + dq D α+3
=
2
2
2
2
(
qvz(z+1)
+ αv+β
+ z + 1 − ǫz
if δ < q − 1
z(αv + β) −
2
2
=
qvz(z+1)
αv+β
+ 2 + z + 1 − ǫz + 2 if δ = q − 1
z(αv + β) −
2
( 2
z u+e(2z+1)
+ z + 1 − ǫz
if e 6= u − v + β
2
=
z 2 u+e(2z+1)
+ z + 1 − ǫz + 2 if e = u − v + β
2

dq (CSOh+2 (K) (y)0 ) =

Assume that case (i) holds. Recall that ǫq = ǫα = 1, ǫu = ǫv = ǫβ = 0 and β = 0. We
have
v

−2

2
D α−1 D α+1 T v2 −1 .
CSOh+2 (K) (y)0 = Aα Aα−1
2

41

2

By Proposition 2.2(iii),


v
v
−2
2
D α−1 D α+1
− 1 + dq Aα Aα−1
2




v 2  2
v
=
− 1 + dq (Aα ) +
− 2 dq (Aα−1 ) + dq D α−1 + dq D α+1
2
2
2
2
(
qvz(z+1)
αv+β
+ 2 + z + 1 − ǫz + 2 if δ = 0
z(αv + β) −
2
=
qvz(z+1)
z(αv + β) −
+ αv+β
+ z + 1 − ǫz
if δ 6= 0
2
2
( 2
z u+e(2z+1)
+ z + 1 − ǫz + 2 if e = 0
2
=
z 2 u+e(2z+1)
+ z + 1 − ǫz
otherwise.
2

dq (CSOh+2 (K) (y)0 ) =

Assume that case (j) holds. Recall that ǫq = ǫα = 1, ǫu = ǫv = ǫβ = 0 and β = 0. We
have
v

−3

2
CSOh+2 (K) (y)0 = Aα Aα−1
Aα−2 D α+1 D α+1 T v2 −1 .
2

2

By Proposition 2.2(iii),


v
v
−3
2
Aα−2 D α+1 D α+1
− 1 + dq Aα Aα−1
2
2


v
 2
v
=
− 1 + dq (Aα ) +
− 3 dq (Aα−1 ) + dq (Aα−2 ) + 2dq D α+1
2
2
2
(
qvz(z+1)
αv+β
+ 2 + z + 1 − ǫz
if δ > 0
z(αv + β) −
2
=
qvz(z+1)
αv+β
+ 2 + z + 1 − ǫz + 2 if δ = 0
z(αv + β) −
2
( 2
z u+e(2z+1)
+ z + 1 − ǫz
if e > 0
2
=
z 2 u+e(2z+1)
+ z + 1 − ǫz + 2 if e = 0.
2

dq (CSOh+2 (K) (y)0 ) =

Assume that case (k), (l), (m), (n) or (o) holds, and that β 6= v − 2 if in cases (n) or
(o). Recall that ǫq = 1 and ǫu = ǫv = ǫα = ǫβ = 0. We have
β

v

−1− β2

2
CSOh+2 (K) (y)0 = Aα2 Aα−1

D α2 D α+2 T v2 −1 .
2

By Proposition 2.2(iii),
0

dq (CSOh+2 (K) (y) ) =
=
=
=

 β v

v
−1− β2
2
2
− 1 + dq Aα Aα−1 D α2 D α+2
2
2




v
β
β
v
− 1 + dq (Aα ) +
−1−
dq (Aα−1 ) + dq (D α2 ) + dq D α+2
2
2
2
2
2
qvz(z + 1) αv + β
z(αv + β) −
+
+ z + 1 − ǫz
2
2
z 2 u + e(2z + 1)
+ z + 1 − ǫz .
2

Assume that case (n) or (o) holds, and β = v − 2. Recall that ǫq = 1 and ǫu = ǫv =
ǫα = ǫβ = 0. We have
v

CSOh+2 (K) (y)0 = Aα2

−2

Aα−1 D α+2 D α+2 T v2 −1 .
2

42

2

By Proposition 2.2(iii),
 v −2

v
− 1 + dq Aα2 Aα−1 D α+2 D α+2
2
2
2

v


v
−1+
− 2 dq (Aα ) + dq (Aα−1 ) + 2dq D α+2
=
2
2
2
qvz(z + 1) αv + β
+
+ z + 1 − ǫz
= z(αv + β) −
2
2
z 2 u + e(2z + 1)
=
+ z + 1 − ǫz .
2

dq (CSOh+2 (K) (y)0 ) =

Assume finally that case (p) holds. Recall that ǫq = 1, ǫu = ǫv = ǫα = ǫβ = 0 and
β = 0. We have
v
−1
2
D α2 D α+2 T v2 −1 .
CSOh+2 (K) (y)0 = Aα−1
2

By Proposition 2.2(iii),

 v −1
v
2
D α2 D α+2
− 1 + dq Aα−1
2
2

v




v
−1+
− 1 dq (Aα−1 ) + dq D α2 + dq D α+2
=
2
2
2
qvz(z + 1) αv + β
+
+ z + 1 − ǫz
= z(αv + β) −
2
2
z 2 u + e(2z + 1)
=
+ z + 1 − ǫz .
2

dq (CSOh+2 (K) (y)0 ) =

7

Proofs of Theorems 4 and 5

Recall that in §4 we proved Theorem 4 for G of exceptional type, see Propositions 4.2 and
4.3. In this section given a positive integer u and a simple algebraic group G of classical
type over an algebraically closed field K of characteristic p, we determine du (G). We begin
with the case where G is of simply connected type and complete the proof of Theorem
4. We will then consider G of neither simply connected type nor adjoint type and prove
Theorem 5.
Proof of Theorem 4. As noticed at the beginning of this section, following Propositions
4.2 and 4.3 we can assume that G is simply connected of classical type. By [7, Theorem 1],
where Lawther determines du (Ga. ) and shows that du (G) ≥ du (Ga. ), and Lemmas 6.1, 6.2,
6.3 and 6.4, where the upper bounds for du (G) are determined accordingly respectively as
G is of type Aℓ , Cℓ , Bℓ , or Dℓ , we get that du (G) = du (Ga. ) except possibly if one of the
cases in Table 8 (see §11) holds.
It remains to show that in the cases appearing in Table 8 the upper bounds given for
du (G) − du (Ga. ) are in fact the precise values for du (G) − du (Ga. ). As usual, we let h be
the Coxeter number of G and write: h = zu + e = αv + β and α = zq + δ where z, e, α,
β, δ are nonnegative integers such that e < u, β < v, and δ < q. Noting that in the cases
appearing in Table 8 u is even, we set s = v/2.
Suppose first that G is of type Aℓ . By Table 8, we have to consider the case where p 6= 2,
u is even, h = zu and z is odd. Since e = 0, we have β = δ = 0. Also since p 6= 2 and z is
odd, q and α are also odd.
Since 0 ≤ du (G) − du (Ga. ) ≤ 2, by Lemma 2.6 it suffices to show that du (G) − du (Ga. ) > 0.
43

Under the assumptions on h, u and z, adapting the proof of of [7, Proposition 3.3], we
obtain that du (Ga. ) is attained for an element of Ga. whose semisimple part y of order v
has centralizer satisfying CGa. (y)0 = Avα−1 Tv−1 . Moreover du (Ga. ) = dq (Avα−1 Tv−1 ).
By the assumptions on h, u and z it follows that y is not the image of an element
of SLh (K) of order dividing v under the canonical map SLh (K) → PSLh (K). Hence
du (G) − du (Ga. ) > 0 and du (G) = du (Ga. ) + 2 as required.
Suppose now that G is of type Bℓ . By Table 8, we have to consider the case where
p 6= 2, u is even, h = zu and z is odd unless u ≡ 2 mod 4 and z ≡ 2 mod 4; moreover if
z is odd then either u ≡ 2 mod 4 and z ≡ u/2 mod 4, or u ≡ 4 mod 8. Since e = 0, we
have β = δ = 0 and α > 0. Also since p 6= 2, q is also odd.
Write s = v/2 and let a and b be nonnegative integers such that ℓ − 1 = as + b with
0 ≤ b ≤ s − 1. Under the assumptions on h, u and z we have a = α − 1 and b = s − 1.
Since 0 ≤ du (G) − du (Ga. ) ≤ 2, by Lemma 2.6 it suffices to show that du (G) − du (Ga. ) > 0.
Under the assumptions on h, u and z, adapting the proof of [7, Proposition 3.6], we obtain
that du (Ga. ) is attained for an element of Ga. whose semisimple part y of order v has
centralizer satisfying
v

−1

v

2
B⌈ α−1 ⌉ D⌈ α2 ⌉ T v2 −1 = GLα (K) 2 −1 SOα (K)SOα+1 (K).
CGa. (y)0 = Aα−1
2

Moreover

v

−1

2
B⌈ α−1 ⌉ D⌈ α2 ⌉ T v2 −1 ).
du (Ga. ) = dq (Aα−1
2

By the assumptions on h, u and z it follows from Lemma 5.1 that y is not the image of
an element of Spinh+1 (K) of order dividing v under the canonical map Spinh+1 (K) →
SOh+1 (K). Hence du (G) − du (Ga. ) > 0 and du (G) = du (Ga. ) + 2 as required.
Suppose now that G is of type Cℓ . By Table 8, we have to consider the case where
p 6= 2 and u is even. Let y ∈ G[v] be of order v and such that Z = CG (y)0 is of minimal
dimension. We first show that dq (Z) − du (Ga. ) = 2⌈z/2⌉.
There are essentially three possibilities for the structure of Z = CG (y)0 . Indeed either
y has no eigenvalues equal to 1 or −1 in which case Z has no C factors, or y has some
eigenvalues equal to 1 or −1 but not both in which case Z has one C factor, or y has some
eigenvalues equal to 1 and −1 in which case Z has two C factors. Using Corollary 2.5 and
arguing in a similar way as in the proof of [7, Proposition 3.4] we can assume that either
s−1−b
Z = Aba Aa−1
Ts−1 where a, b are nonnegative integers such that ℓ = a(s − 1) + b and
⌊b⌋

s−1−⌊ 2b ⌋

0 ≤ b < s − 1, or Z = Aa 2 Aa−1

C⌈ a2 ⌉ Ts−1 where a, b are nonnegative integers such that
b−ǫ (1−σ )

s−1−b+ǫ (1−σ )

a
b
b
2ℓ = a(2s−1)+b and 0 ≤ b < 2s−1, or Z = Aa a
Aa−1
C⌈ a2 ⌉ C⌈ a2 ⌉−ǫa σb Ts−1
where a, b are nonnegative integers such that ℓ = as + b and 0 ≤ b < s.
s−1−b
Ts−1 where a, b are nonnegative integers such that ℓ =
Suppose first that Z = Aba Aa−1
a(s − 1) + b and 0 ≤ b < s − 1. Note that v > 2 and so s > 1. Write a = cq + d where c, d
are nonnegative integers such that 0 ≤ d < q. It follows from Lemma 2.4 that

c(c + 1)u
+ c(c + 1)q.
2
An easy check yields h = zu + e = c(u − 2q) + f where f = d(v − 2) + 2b satisfies
0 ≤ f ≤ u − 2q − 2. In particular c ≥ z. Write c = z + j where j ≥ 0. [7, Theorem 1]
which gives the value of du (Ga. ) now yields
uj
dq (Z) − du (Ga. ) =
(j − 1) + (z + j)q(z − j + 1) + f j.
2
dq (Z) = (2c + 1)ℓ −

44

We claim that z ≥ j − 1. Suppose not. Then c ≥ 2z + 2 and so we get
0 = 2ℓ − 2ℓ
= (c(u − 2q) + f ) − (zu + e)
≥ (2z + 2)(u − 2q) + f − (zu + e)
= z(u − 4q) + 2(u − 2q) + f − e
≥ z(u − 4q) + 2(u − 2q) − u + 1
= z(u − 4q) + u − 4q + 1
Since v > 2, we have u ≥ 4q and so we get 0 ≥ 1, a contradiction. Therefore z ≥ j − 1 as
claimed. It follows that
dq (Z) − du (Ga. ) ≥ 2⌈z/2⌉.
⌊b⌋

s−1−⌊ b ⌋

Suppose now that Z = Aa 2 Aa−1 2 C⌈ a2 ⌉ Ts−1 where a, b are nonnegative integers such
that 2ℓ = a(2s − 1) + b and 0 ≤ b < 2s − 1. Write a = cq + d where c, d are nonnegative
integers such that 0 ≤ d < q. It follows from Lemma 2.4 that
dq (Z) = (2c + 1)ℓ −

c(c + 1)u c(c + 1)q
+
+ ⌈c/2⌉.
2
2

An easy check yields h = zu + e = c(u − q) + f where f = d(v − 1) + b satisfies 0 ≤ f ≤
u − q − 1. In particular c ≥ z. Write c = z + j where j ≥ 0. [7, Theorem 1] which gives
the value of du (Ga. ) now yields
dq (Z) − du (Ga. ) =

(z + j)q(z − j + 1) z + j + ǫz+j
uj
(j − 1) +
+
+ f j.
2
2
2

We claim that z ≥ j − 1. Suppose not. Then c ≥ 2z + 2 and so we get
0 = 2ℓ − 2ℓ
= (c(u − q) + f ) − (zu + e)
≥ (2z + 2)(u − q) + f − (zu + e)
= z(u − 2q) + 2(u − q) + f − e
≥ z(u − 2q) + 2(u − q) − u + 1
= z(u − 2q) + u − 2q + 1
We have u ≥ 2q and so we get 0 ≥ 1, a contradiction. Therefore z ≥ j − 1 as claimed. It
follows that
dq (Z) − du (Ga. ) ≥ 2⌈z/2⌉.
b−ǫ (1−σ )

s−1−b+ǫ (1−σ )

a
b
b
Suppose finally that Z = Aa a
Aa−1
C⌈ a2 ⌉ C⌈ a2 ⌉−ǫa σb Ts−1 where a, b are nonnegative integers such that ℓ = as + b and 0 ≤ b < s. Writing a = cq + d where c, d are
nonnegative integers such that 0 ≤ d < q one can show that c = z and Lemma 2.4 yields
dq (Z) − du (Ga. ) = 2⌈z/2⌉ (see the proof of [7, Proposition 3.4]) for more details.
We have in fact showed that if G is simply connected of type Cℓ , p 6= 2, v is even and y
is a semisimple element of G of order v having centralizer Z of minimal dimension then
dq (Z) = dqv (Ga. ) + 2⌈z/2⌉ where z = ⌊h/(qv)⌋. Since

du (G) = min dq (CG (y)0 )
y∈G[v]

45

and for any divisor r of v we have ⌊rh/(qv)⌋ ≥ ⌊h/qv⌋ and, by [7, Lemma 1.3], dqv/r (Ga. ) ≥
dqv (Ga. ), we deduce that du (G) = dq (Z) = du (Ga. ) + 2⌈z/2⌉.
Suppose finally that G is of type Dℓ . By Table 8, we have to consider the case where
p 6= 2, z is odd, and u ≡ 2 mod 4 or u ≡ 4 mod 8. Moreover if u ≡ 4 mod 8 then
h = zu. Finally if u ≡ 2 mod 4 then h = zu and z ≡ u/2 mod 4, or e = u − 2 6= 0 and
z ≡ 1 mod 4. Since v is even, β is also even. Also since p 6= 2, q is odd. Finally under
the assumptions on h, u and z, α is odd.
Write s = v/2 and let a and b be nonnegative integers such that ℓ − 1 = as + b with
0 ≤ b ≤ s − 1. We have a = α is odd and b = β/2.
Suppose first that u = 2 so that q = 1 and v = 2. Corollary 2.5 and Lemma 5.1 yield that
an element y of G of order u with centralizer of minimal dimension has centralizer with
connected component D(z+3)/2 D(z−1)/2 and du (G) = du (Ga. ) + 4.
Suppose now that u > 2. Then 0 ≤ du (G) − du (Ga. ) ≤ 2, and so by Lemma 2.6 it suffices
to show that du (Gs.c. ) − du (Ga. ) > 0. Under the assumptions on h, u and z, adapting
the proof of [7, Proposition 3.5], we obtain that du (Ga. ) is attained for an element of Ga.
whose semisimple part y of order v has centralizer satisfying
β

v

−1− β2

2
CGa. (s)0 = Aα2 Aα−1

Moreover

β

v

β

2
D α+1 D α+1 T v2 −1 = GLα+1
GLα (K) 2 −1− 2 SOα+1 (K)SOα+1 (K).
2

2

β

v

−1− β2

2
du (Ga. ) = dq (Aα2 Aα−1

D α+1 D α+1 T v2 −1 ).
2

2

By the assumptions on h, u and z, it follows from Lemma 5.1 that y is not the image
of an element of Spinh+2 (K) of order dividing v under the canonical map Spinh+2 (K) →
SOh+2 (K). Hence du (G) − du (Ga. ) > 0 and du (Gs.c. ) = du (Ga. ) + 2 as required. 
Given a positive integer u, we can now determine du (G) for G a simple algebraic group
of neither simply connected nor adjoint type and prove Theorem 5.
Proof of Theorem 5. Note that since G is neither simply connected nor adjoint, G is of
classical type. We first consider part (i). If du (Gs.c. ) = du (Ga. ) then Proposition 3 yields
du (G) = du (Ga. ).
We now consider part (ii) and assume that du (Gs.c. ) 6= du (Ga. ). In particular, by Theorem
4, p 6= 2 and u is even (and so v is also even). By Proposition 3 we have du (Ga. ) ≤ du (G) ≤
du (Gs.c. ).
(a) Suppose first that G = SLℓ+1 (K)/C where C ≤ Z(SLℓ+1 (K)) is a central subgroup
of Gs.c. . Note that C is finite and cyclic and write C = hci. Since du (Gs.c. ) 6= du (Ga. )
Theorem 4 yields h = zu = zqv where z is odd.
Assume (u, |C|) = 1. Let gC ∈ G be an element of order dividing u. Then gu ∈ C
and say the eigenvalue of gu is cl for some 0 ≤ l ≤ |C| − 1. Since (u, |C|) = 1, there
is a positive integer j such that ju ≡ 1 mod |C|. Let k be a positive integer such that
k ≡ −jl mod |C| and set g ′ = g · diag(ck , . . . , ck ). Then g ′ is an element of Gs.c. of order
dividing u, g′ C = gC and by Lemma 2.3 dim CGs.c. (g ′ ) = dim CG (g′ C). It follows that
du (G) = du (Gs.c. ).
Assume now that (u, |C|) > 1. We claim that du (G) = du (Gs.c. ) if |C| is odd, otherwise
du (G) = du (Ga. ). By Lemma 2.6, Proposition 3 and Theorem 4, du (G) ≡ ℓ mod 2,
du (Ga. ) ≤ du (G) ≤ du (Gs.c. ) and du (Gs.c ) − du (Ga. ) = 2. Hence either du (G) = du (Ga. )
or du (G) = du (Gs.c. ).
46

Suppose du (G) = du (Ga. ). Let gC be an element of G of order dividing u such that
dim CG (gC) = du (Ga. ). Write g = xy where x and y are respectively the unipotent and
semisimple parts of g. As gu ∈ C and (p, |C|) = 1, the order of x divides q and the order
of y divides v|C|. By Lemma 2.3 du (Ga. ) = dim CGs.c. (g) and so y v 6= 1, as otherwise g
has order dividing u and du (Ga ) = du (Gs.c. ), a contradiction.
Furthermore, y must have v distinct eigenvalues, each repeated zq times. These v distinct
eigenvalues must be ω 1+jk , ω −(1+jk) where 0 ≤ j ≤ (v − 2)/2, k > 1 is a divisor of |C|
and ω ∈ K is a primitive kv-th root of unity. Considering 1 6= y v ∈ C we deduce that
ω v = ω −v and so ω v has order 2. Hence 2 divides |C|. It follows that if |C| is odd then
du (G) = du (Gs.c. ).
Suppose that |C| is even. Consider g a semisimple element of Gs.c. having v distinct
eigenvalues, each repeated zq times, equal to ω 1+2j , ω −(1+2j) where 0 ≤ j ≤ (v − 2)/2,
ω ∈ K is a primitive 2v-th root of unity. Then gC is an element of G of order v and
CG (gC)0 = Avα−1 Tv−1 . It follows that dq (CG (gC)0 ) = du (Ga. ) and so du (G) = du (Ga. ).
(b) Suppose G = SO2ℓ (K). Using the notation of Lemma 6.4 and Theorem 4, we let
ω ∈ K be a primitive v-th root of 1 and y ∈ G be a semisimple element of order v such
that

if v = 2
 (−1)ℓ ⊕ (1)ℓ
M1α ⊕ M3 ⊕ (1) ⊕ (−1) if v > 2 and α is odd
y=

M1α ⊕ M3 ⊕ (1)2
if v > 2 and α is even.
Then


Dℓ Dℓ



 β2 v2 −1− β
2
2
D α+1 D α+1
Aα2 Aα−1
CG (y)0 =
2
2

β
β
v


 Aα2 A 2 −1− 2 D α D α+2
α−1
2
2

if v = 2

if v > 2 and α is odd
if v > 2 and α is even.

An easy check yields that dq (CG (y)) = du (Ga. ) and so du (G) = du (Ga. ).
(c) Finally suppose that G = HSpin2ℓ (K) where p 6= 2 and ℓ is even. Write H = Gs.c. and
let C = Z(H) = hc1 , c2 i, C1 = hc1 i, C2 = hc2 i where c1 , c2 are of order 2 and H/C = Ga. ,
H/C1 = G and H/C2 = SO2ℓ (K).
Suppose first that u = 2. Let hC1 be an element of H/C1 of order 2 satisfying
d2 (H/C1 ) = dim CH/C1 (hC1 ).
By Lemma 2.3 we have
dim CH (h) = dim CH/C1 (hC1 ) = dim CH/C2 (hC2 ) = dim CH/C (hC).

(7.1)

Since hC1 has order 2, either h2 = 1 or h2 = c1 . Also note that hC has order dividing 2.
If hC is trivial then h ∈ C and so by (7.1) dim CH/C1 (hC1 ) = dim H/C1 , a contradiction.
Hence hC has order 2. We claim that h2 6= c1 . Suppose not. Then hC is an element of H/C
of order 2 and hC2 is an element of H/C2 of order 4. It follows that hC2 has ℓ eigenvalues
equal to ω and ℓ eigenvalues equal to ω −1 where ω ∈ K is a primitive fourth root of unity.
Hence CH/C2 (hC2 ) = Aℓ . Using (7.1), it follows that d2 (G) > d2 (Gs.c. ), contradicting
d2 (G) ≤ d2 (Gs.c. ). Hence h2 = 1 and so by (7.1) d2 (G) ≥ d2 (Gs.c. ). Therefore d2 (G) =
d2 (Gs.c. ).
Suppose now that u > 2. Since by Theorem 4 du (Gs.c. ) − du (Ga. ) = 2, in order to show
that du (G) = du (Gs.c. ) it is enough by Lemma 2.6 to prove that du (G) 6= du (Ga. ). Suppose
for a contradiction that du (G) = du (Ga. ). Let hC1 be an element of G = H/C1 of order u
such that
dim CH/C1 (hC1 ) = du (Ga. ).
47

By Lemma 2.3 we have
dim CH (h) = dim CH/C1 (hC1 ) = dim CH/C2 (hC2 ) = dim CH/C (hC).

(7.2)

Since hC1 has order u, hu ∈ C1 and so hu = 1 or hu = c1 . Also hC has order dividing
u whereas hC2 has order dividing u or 2u. Suppose hC2 has order dividing u. Then
hu ∈ C1 ∩ C2 = 1 and so h is an element of Gs.c. of oder dividing u. Hence by (7.2),
du (Gs.c. ) = du (Ga. ), a contradiction.
Suppose hC2 has order dividing 2u but (hC2 )u 6= C2 . Then hu = c1 and (hC2 )u =
c1 C2 . Let h = xy be the Jordan decomposition of h where x is unipotent and y is
semisimple. Note that (yC2 )v = c1 C2 . Without loss of generality, yC2 is diagonal and
(yC2 )i,i (yC2 )i+1,i+1 = 1 for every odd i with 1 ≤ i ≤ 2ℓ − 1. Note that no eigenvalue of
yC2 is equal to 1 or −1. Let d be a semisimple element of H such that dC2 is diagonal,
(dC2 )i,i (dC2 )i+1,i+1 = 1 for every odd i with 1 ≤ i ≤ 2ℓ−1 and dC2 has ℓ eigenvalues equal
to ω and ℓ eigenvalues equal to ω −1 where ω ∈ K is a primitive 2v-th root of unity. Then
(dC2 )v = c1 C2 and (dyC2 )v = C2 . Hence dyC2 is an element of H/C2 of order dividing v
and CH/C2 (dyC2 ) ∼
= CH/C2 (yC2 ). Since ℓ is even, it follows from Lemma 5.1 that d is a
semisimple element of H of order dividing 2v and so dy is a semisimple element of H of
order dividing v. Now by Lemma 2.3
dq (CH (dy)0 ) = dq (CH/C2 (dyC2 )0 )
and so we obtain
dq (CH (dy)0 ) = dq (CH/C2 (yC2 )0 )
= du (Ga. ).
Hence du (Gs.c. ) = du (Ga. ), a contradiction. 

8

Proof of Proposition 7

Given a simple algebraic group G defined over an algebraically closed field K of characteristic p, we now show that du (G) : N → N is a decreasing function of u. We need to
show that for every positive integer u, we have du (G) − du+1 (G) ≥ 0. Now by Proposition
3, we have du (Ga. ) ≤ du (G) ≤ du (Gs.c. ) for every positive integer u. Hence the conclusion
of the proposition will follow at once after we show that for every positive integer u, we
have
du (Ga. ) − du+1 (Gs.c. ) ≥ 0.
(8.1)
If G is of exceptional type then the result follows at once from [7, Theorem 1] and Theorem
4. We therefore assume that G is of classical type.
Note that if u = 1 then du (Ga. ) = d1 (Ga. ) = dim G ≥ du+1 (Gs.c. ) and so (8.1) holds.
Suppose now that u ≥ h. Since u ≥ h we have du (Ga. ) = ℓ. Also as u + 1 > h, Theorem
4 yields du+1 (Gs.c. ) = du+1 (Ga ) = ℓ. Therefore du (Ga. ) = du+1 (Gs.c. ) = ℓ and so (8.1)
holds.
We can therefore assume that 2 ≤ u ≤ h − 1. In particular z ≥ 1. Write h = z ′ (u + 1) + e′
where z ′ , e′ are nonnegative integers such that 0 ≤ e′ ≤ u. An easy check gives 1 ≤ z ′ ≤ z.
Write z ′ = z − j where 0 ≤ j ≤ z − 1. Then e′ = e − z + j(u + 1). Note that if j = 1 then
z ≥ 2. Also z − e ≤ j(u + 1) ≤ u + z − e. We claim that either z > 2j − 1 or j = 1. Suppose
otherwise. Then as z ≥ 1 we get j ≥ 2 and z ≤ 2j − 1. Using the latter inequality and
the fact that j(u + 1) ≤ u + z − e, we get j ≤ 1 − e/(u − 1) and so j ≤ 1, a contradiction
48

establishing the claim.
Suppose that G is of type A. By Theorem 4 we have du+1 (Gs.c. ) ≤ du+1 (Ga. ) + 2 and
so
du (Ga. ) − du+1 (Gs.c. ) ≥ du (Ga. ) − du+1 (Ga ) − 2.

(8.2)

Let D = du (Ga. ) − du+1 (Ga ). Note that Lemma 2.6 yields du (Ga. ) ≡ du+1 (Ga. ) mod 2
and so D ≡ 0 mod 2. Using [7, Theorem 1], we have
D = z 2 u + e(2z + 1) − 1 − ((z − j)2 (u + 1) + (e − z + j(u + 1))(2(z − j) + 1) − 1)
= (u + 1)j(j − 1) + z(z − 2j + 1) + 2je.
Recalling that z ≥ 2 if j = 1, we note that if j = 1 then D > 0. Also if z > 2j − 1 then
D > 0.
Hence D > 0 in all cases. As D ≡ 0 mod 2 we deduce that D ≥ 2 and so (8.2) yields
du (Ga. ) − du+1 (Gs.c. ) ≥ 0. Hence (8.1) holds.
Suppose that G is of type C. By Theorem 4 we have du+1 (Gs.c. ) ≤ du+1 (Ga. )+2ǫu ⌈(z −
j)/2⌉ and so


z−j
.
(8.3)
du (Ga. ) − du+1 (Gs.c. ) ≥ du (Ga. ) − du+1 (Ga ) − 2ǫu
2
Let D = du (Ga. ) − du+1 (Ga ). Note that Lemma 2.6 yields du (Ga. ) ≡ du+1 (Ga. ) mod 2
and so D ≡ 0 mod 2. Using [7, Theorem 1], we have
l z m  (z − j)2 (u + 1) + (e − z + j(u + 1))(2(z − j) + 1)
z 2 u + e(2z + 1)
D =
−
+ ǫu
2
2
2


z−j
+ǫu+1
2
 l m 


(u + 1)j(j − 1) + z(z − 2j + 1) + 2je
z−j
z−j
z
=
−
+ ǫu
+
.
2
2
2
2

Recalling that z ≥ 2 if j = 1, we note that if j = 1 then D ≥ 0 and moreover
D ≥ (z 2 + ǫz )/2 ≥ z + ǫz = 2⌈z/2⌉ for u odd. Also if z > 2j − 1 then D ≥ 0 and
moreover D ≥ 2⌈z/2⌉ for u odd.
In all cases we therefore have D ≥ 0 and moreover D ≥ 2⌈z/2⌉ for u odd. Now (8.3)
yields du (Ga. ) − du+1 (Gs.c. ) ≥ 0. Hence (8.1) holds.
Suppose that G is of type B. By Theorem 4 we have du+1 (Gs.c. ) ≤ du+1 (Ga. ) + 2ǫu
and so
du (Ga. ) − du+1 (Gs.c. ) ≥ du (Ga. ) − du+1 (Ga ) − 2ǫu .
(8.4)
Let D = du (Ga. ) − du+1 (Ga ). Note that Lemma 2.6 yields du (Ga. ) ≡ du+1 (Ga. ) mod 2
and so D ≡ 0 mod 2. Using [7, Theorem 1], we have
l z m  (z − j)2 (u + 1) + (e − z + j(u + 1))(2(z − j) + 1)
z 2 u + e(2z + 1)
D =
−
+ ǫu
2
2
2


z−j
+ǫu+1
2
 l m 


(u + 1)j(j − 1) + z(z − 2j + 1) + 2je
z−j
z−j
z
=
−
+ ǫu
+
.
2
2
2
2
49

Arguing as in the case where G is of type C, we deduce that D ≥ 0 and moreover D ≥ 2
for u odd. Now (8.4) yields du (Ga. ) − du+1 (Gs.c. ) ≥ 0. Hence (8.1) holds.
Suppose that G is of type D. Since u ≥ 2, by Theorem 4 we have du+1 (Gs.c. ) ≤
du+1 (Ga. ) + 2ǫu and so
du (Ga. ) − du+1 (Gs.c. ) ≥ du (Ga. ) − du+1 (Ga ) − 2ǫu .
Let D = du (Ga. ) − du+1 (Ga ). Note that Lemma 2.6 yields du (Ga. ) ≡ du+1 (Ga. ) mod 2
and so D ≡ 0 mod 2. Using [7, Theorem 1], we have
D =

(u + 1)j(j − 1) + z(z − 2j + 1) + 2je
+ ǫu
2



 l m 

z−j
z−j
z
−
+
+ j + ǫz−j − ǫz .
2
2
2

Arguing as in the case where G is of type B, we deduce that D ≥ 0 and moreover D ≥ 2
for u odd. We deduce that du (Ga. ) − du+1 (Gs.c. ) ≥ 0. Hence (8.1) holds. 

9

Proof of Theorem 9

In this section we prove Theorem 9. We proceed in two steps, first in the special case
where G is of simply connected type (see Proposition 9.1), and then we consider other
types (see Proposition 9.2).
Proposition 9.1. Let G be a simple simply connected algebraic group over an algebraic
closed field K of prime characteristic p. The classification of the hyperbolic triples (a, b, c)
of integers for G is as given in Theorem 9.
Proof. As usual we let h be the Coxeter number of G and for a positive integer u, we let
z and e be the nonnegative integers such that h = zu + e and 0 ≤ e ≤ u − 1. Also du (G)
denotes the minimal dimension of the centralizer of an element of G of order dividing
u. By Proposition 2 du (G) is the codimension of the subvariety G[u] of G consisting of
elements of order dividing u. Writing ju (G) = dim G[u] , we have du (G) = dim G − ju (G).
Let (a, b, c) be a hyperbolic triple of integers. Let S(a,b,c) = da (G) + db (G) + dc (G) and
D(a,b,c) = S(a,b,c) − dim G. Saying that (a, b, c) is reducible (respectively, rigid, nonrigid)
for G amounts to saying that D(a,b,c) is greater than (respectively equal to, less than) 0.
Recall the partial order we put on the set of hyperbolic triples of integers. Given two
hyperbolic triples (a, b, c) and (a′ , b′ , c′ ) of integers, we say that (a, b, c) ≤ (a′ , b′ , c′ ) if and
only if a ≤ a′ , b ≤ b′ and c ≤ c′ . Among all hyperbolic triples, exactly three are minimal:
(2, 3, 7), (3, 3, 4) and (2, 4, 5). By Proposition 7, if (a, b, c) is nonrigid for G then (a′ , b′ , c′ )
is nonrigid for G for every (a′ , b′ , c′ ) ≥ (a, b, c).
For a nonnegative integer p, we let θp ∈ {0, 1} be such that θp = 1 if p is odd or p = 0,
otherwise θp = 0.
Suppose first that G is of exceptional type. By Theorem 4 and [7, Theorem 1], every
hyperbolic triple (a, b, c) of integers is nonrigid for G unless G is of type G2 and (a, b, c) ∈
{(2, 4, 5), (2, 5, 5)} in which case (a, b, c) is rigid for G.
Suppose now that G is of classical type. In a first step we show that if ℓ ≥ 11, ℓ ≥ 10,
ℓ ≥ 15, or ℓ ≥ 9 accordingly respectively as G is of type A, B, C or D, then every
hyperbolic triples of integers is nonrigid for G.
Suppose first that G is of type A. Note that dim G = h2 − 1. By Theorem 4 and [7,
50

Theorem 1], we have
du (G) ≤ z 2 u + e(2z + 1) − 1 + 2θp (1 − ǫu )
(h − e)(h + e)
+ e − 1 + 2θp (1 − ǫu ).
=
u
Let g(e) = (h−e)(h+e)
+ e − 1 + 2θp (1 − ǫu ). Then g′ (e) =
u
if e < u/2. Hence du (G) ≤ F (u) where

u−2e
u ,

and g′ (e) > 0 if and only

F (u) = g(u/2)
u2 − 4u + 4h2
+ 2θp (1 − ǫu ).
=
4u
In particular, for any hyperbolic triple (a, b, c) of integers, we have S(a,b,c) ≤ F (a) + F (b) +
F (c).
Suppose (a, b, c) = (2, 3, 7). We have S(2,3,7) ≤ F (2) + F (3) + F (7). Now
F (2) =

h2 − 1
+ 2θp ,
2

4h2 − 3
,
12

F (3) =

Hence

F (7) =

4h2 + 21
.
28

41h2
+ 2θp .
42

S(2,3,7) ≤
and

D(2,3,7) ≤ −

h2
+ 2θp + 1.
42

2

Since − h42 + 2θp + 1 is negative for h ≥ 12, it follows that (2, 3, 7) is nonrigid for G
provided h ≥ 12, that is ℓ ≥ 11. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 3, 7) is nonrigid for G with ℓ ≥ 11.
Suppose (a, b, c) = (2, 4, 5). We have S(2,4,5) ≤ F (2) + F (4) + F (5). Now
F (2) =

h2 − 1
+ 2θp ,
2

F (4) =

Hence
S(2,4,5) ≤

h2
+ 2θp ,
4

F (5) =

4h2 + 5
.
20

19h2
1
+ 4θp − .
20
4

and
D(2,4,5) ≤ −

h2 3
+ + 4θp .
20 4

2

Since − h20 + 4θp + 43 is negative for h ≥ 10, it follows that (2, 4, 5) is nonrigid for G
provided h ≥ 10, that is ℓ ≥ 9. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 4, 5) is nonrigid for G with ℓ ≥ 9.
Suppose (a, b, c) = (3, 3, 4). We have S(3,3,4) ≤ F (3) + F (3) + F (4). Now
F (3) =

4h2 − 3
,
12

Hence
S(3,3,4) ≤

F (4) =

h2
+ 2θp .
4

11h2
1
+ 2θp − .
12
2

and
D(3,3,4) ≤ −

h2 1
+ + 2θp .
12 2

51

2

Since − h12 + 2θp + 12 is negative for h ≥ 6, it follows that (3, 3, 4) is nonrigid for G
provided h ≥ 6, that is ℓ ≥ 5. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (3, 3, 4) is nonrigid for G with ℓ ≥ 5.
Suppose now that G is of type B. Note that dim G = h(h + 1)/2. By Theorem 4 and
[7, Theorem 1], we have
du (G) ≤
=

z 2 u + e(2z + 1) z + 1
+
+ 2θp (1 − ǫu )
2
2
(h − e)(h + e + 1) e + 1
+
+ 2θp (1 − ǫu ).
2u
2

′
Let g(e) = (h−e)(h+e+1)
+ e+1
2u
2 + 2θp (1 − ǫu ). Then g (e) =
only if e < (u − 1)/2. Hence du (G) ≤ F (u) where

u−2e−1
2u ,

and g ′ (e) > 0 if and

F (u) = g((u − 1)/2)
u2 + 2u + (2h + 1)2
+ 2θp (1 − ǫu ).
=
8u
In particular, for any hyperbolic triple (a, b, c) of integers, we have S(a,b,c) ≤ F (a) + F (b) +
F (c).
Suppose (a, b, c) = (2, 3, 7). We have S(2,3,7) ≤ F (2) + F (3) + F (7). Now
F (2) =

4h2 + 4h + 9
+ 2θp ,
16

Hence
S(2,3,7) ≤

F (3) =

h2 + h + 4
,
6

F (7) =

h2 + h + 16
.
14

164h2 + 164h + 797
+ 2θp .
336

and
D(2,3,7) ≤ −

4h2 + 4h − 797
+ 2θp .
336

2

Since − 4h +4h−797
+ 2θp is negative for h ≥ 20, it follows that (2, 3, 7) is nonrigid for G
336
provided h ≥ 20, that is ℓ ≥ 10. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 3, 7) is nonrigid for G with ℓ ≥ 10.
Suppose (a, b, c) = (2, 4, 5). We have S(2,4,5) ≤ F (2) + F (4) + F (5). Now
F (2) =

4h2 + 4h + 9
+ 2θp ,
16

F (4) =

Hence
S(2,4,5) ≤

4h2 + 4h + 25
+ 2θp ,
32

F (5) =

h2 + h + 9
.
10

76h2 + 76h + 359
+ 4θp .
160

and
D(2,4,5) ≤ −

4h2 + 4h − 359
+ 4θp .
160

2

+ 4θp is negative for h ≥ 16, it follows that (2, 4, 5) is nonrigid for G
Since − 4h +4h−359
160
provided h ≥ 16, that is ℓ ≥ 8. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 4, 5) is nonrigid for G with ℓ ≥ 8.
Suppose (a, b, c) = (3, 3, 4). We have S(3,3,4) ≤ F (3) + F (3) + F (4). Now
F (3) =

h2 + h + 4
,
6

F (4) =
52

4h2 + 4h + 25
+ 2θp .
32

Hence
S(3,3,4) ≤

44h2 + 44h + 203
+ 2θp .
96

and
D(3,3,4) ≤ −

4h2 + 4h − 203
+ 2θp .
96

2

Since − 4h +4h−203
+ 2θp is negative for h ≥ 10, it follows that (3, 3, 4) is nonrigid for G
96
provided h ≥ 10, that is ℓ ≥ 5. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (3, 3, 4) is nonrigid for G with ℓ ≥ 5.
Suppose now that G is of type C. Note that dim G = h(h + 1)/2. By Theorem 4 and
[7, Theorem 1], we have
( 2
z u+e(2z+1)
+ z + 1 if u is even
2
du (G) ≤
z 2 u+e(2z+1)
+ z+1
if u is odd
2
2
(
(h−e)(h+e+2)
+ 2e + 1 if u is even
2u
=
(h−e)(h+e+1)
+ e+1
if u is even
2u
2
Let
g(e) =

(

(h−e)(h+e+2)
2u
(h−e)(h+e+1)
2u

Then
′

g (e) =



+
+

u−2e−2
2u
u−2e−1
2u

e
2 +
e+1
2

1 if u is even
if u is odd

if u is even
if u is odd

and if u is even then g ′ (e) > 0 if and only if e < (u − 2)/2, else g′ (e) > 0 if and only if
e < (u − 1)/2. Hence du (G) ≤ F (u) where

g((u − 2)/2) if u is even
F (u) =
g((u − 1)/2) if u is odd
( 2
u +4u+4(h+1)2
if u is even
8u
=
u2 +2u+(2h+1)2
if u is odd
8u
In particular, for any hyperbolic triple (a, b, c) of integers, we have S(a,b,c) ≤ F (a) + F (b) +
F (c).
Suppose (a, b, c) = (2, 3, 7). We have S(2,3,7) ≤ F (2) + F (3) + F (7). Now
F (2) =

h2 + 2h + 4
,
4

F (3) =

Hence
S(2,3,7) ≤

h2 + h + 4
,
6

F (7) =

h2 + h + 16
.
14

41h2 + 62h + 236
.
84

and
D(2,3,7) ≤ −

h2 − 20h − 236
.
84

2

is negative for h ≥ 30, it follows that (2, 3, 7) is nonrigid for G provided
Since − h −20h−236
84
h ≥ 30, that is ℓ ≥ 15. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with (a′ , b′ , c′ ) ≥
53

(2, 3, 7) is nonrigid for G with ℓ ≥ 15.
Suppose (a, b, c) = (2, 4, 5). We have S(2,4,5) ≤ F (2) + F (4) + F (5). Now
F (2) =

h2 + 2h + 4
,
4

F (4) =

Hence
S(2,4,5) ≤

h2 + 2h + 9
,
8

F (5) =

h2 + h + 9
.
10

19h2 + 34h + 121
40

and
D(2,4,5) ≤ −

h2 − 14h − 121
.
40

2

Since − h −14h−121
is negative for h ≥ 22, it follows that (2, 4, 5) is nonrigid for G provided
40
h ≥ 22, that is ℓ ≥ 11. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with (a′ , b′ , c′ ) ≥
(2, 4, 5) is nonrigid for G with ℓ ≥ 11.
Suppose (a, b, c) = (3, 3, 4). We have S(3,3,4) ≤ F (3) + F (3) + F (4). Now
F (3) =

h2 + h + 4
,
6

Hence
S(3,3,4) ≤

F (4) =

h2 + 2h + 9
.
8

11h2 + 14h + 59
.
24

and
D(3,3,4) ≤ −

h2 − 2h − 59
.
24

2

is negative for h ≥ 10, it follows that (3, 3, 4) is nonrigid for G proSince − h −2h−59
24
vided h ≥ 10, that is ℓ ≥ 5. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (3, 3, 4) is nonrigid for G with ℓ ≥ 5.
Suppose finally that G is of type D. Note that dim G = (h + 1)(h + 2)/2. By Theorem
4 and [7, Theorem 1], we have
( 2
z u+e(2z+1)
+ z + 1 + 4θp σu−2 + 2θp (1 − σu−2 ) if u is even
2
du (G) ≤
z 2 u+e(2z+1)
+ 3(z+1)
if u is odd
2
2
(
(h−e)(h+e+2)
+ 2e + 1 + 4θp σu−2 + 2θp (1 − σu−2 ) if u is even
2u
=
(h−e)(h+e+3)
+ e+3
if u is odd
2u
2
Let
g(e) =

(

(h−e)(h+e+2)
2u
(h−e)(h+e+3)
2u

+
+

e
2 +1
e+3
2

Then
′

g (e) =



+ 4θp σu−2 + 2θp (1 − σu−2 ) if u is even
if u is odd
u−2e−2
2u
u−2e−3
2u

if u is even
if u is odd

and if u is even then g ′ (e) > 0 if and only if e < (u − 2)/2, else g′ (e) > 0 if and only if
e < (u − 3)/2. Hence du (G) ≤ F (u) where

g((u − 2)/2) if u is even
F (u) =
g((u − 3)/2) if u is odd
( 2
u +4u+4(h+1)2
+ 4θp σu−2 + 2θp (1 − σu−2 ) if u is even
8u
=
u2 +6u+(2h+3)2
if u is odd
8u
54

In particular, for any hyperbolic triple (a, b, c) of integers, we have S(a,b,c) ≤ F (a) + F (b) +
F (c).
Suppose (a, b, c) = (2, 3, 7). We have S(2,3,7) ≤ F (2) + F (3) + F (7). Now
F (2) =

h2 + 2h + 4
+ 4θp ,
4

F (3) =

Hence
S(2,3,7) ≤

h2 + 3h + 9
,
6

F (7) =

h2 + 3h + 25
.
14

41h2 + 102h + 360
+ 4θp .
84

and
D(2,3,7) ≤ −

h2 + 24h − 276
+ 4θp .
84

2

+ 4θp is negative for h ≥ 16, it follows that (2, 3, 7) is nonrigid for G
Since − h +24h−276
84
provided h ≥ 16, that is ℓ ≥ 9. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 3, 7) is nonrigid for G with ℓ ≥ 9.
Suppose (a, b, c) = (2, 4, 5). We have S(2,4,5) ≤ F (2) + F (4) + F (5). Now
F (2) =

h2 + 2h + 4
+ 4θp ,
4

F (4) =

Hence
S(2,4,5) ≤

h2 + 2h + 9
+ 2θp ,
8

F (5) =

h2 + 3h + 16
.
10

19h2 + 42h + 149
+ 6θp
40

and
D(2,4,5) ≤ −

h2 + 18h − 109
+ 6θp .
40

2

+ 6θp is negative for h ≥ 12, it follows that (2, 4, 5) is nonrigid for G
Since − h +18h−109
40
provided h ≥ 12, that is ℓ ≥ 7. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (2, 4, 5) is nonrigid for G with ℓ ≥ 7.
Suppose (a, b, c) = (3, 3, 4). We have S(3,3,4) ≤ F (3) + F (3) + F (4). Now
F (3) =

h2 + 3h + 9
,
6

Hence
S(3,3,4) ≤

F (4) =

h2 + 2h + 9
+ 2θp .
8

11h2 + 30h + 99
+ 2θp .
24

and
D(3,3,4) ≤ −

h2 + 6h − 75
+ 2θp .
24

2

+ 2θp is negative for h ≥ 10, it follows that (3, 3, 4) is nonrigid for G
Since − h +6h−75
24
provided h ≥ 10, that is ℓ ≥ 6. Also every hyperbolic triple (a′ , b′ , c′ ) of integers with
(a′ , b′ , c′ ) ≥ (3, 3, 4) is nonrigid for G with ℓ ≥ 6.
Finally to classify hyperbolic triples (a, b, c) of integers for G with ℓ ≤ 10, ℓ ≤ 9, ℓ ≤ 14,
ℓ ≤ 8 accordingly respectively as G is of type A, B, C, D one can use Theorem 4 and [7,
Theorem 1] to find da (G), db (G) and dc (G) and compute D(a,b,c) . Note that if u > h then
du (G) = ℓ.
Proposition 9.2. Let G be a simple algebraic group over an algebraic closed field K of
prime characteristic p. The classification of hyperbolic triples (a, b, c) of integers for G is
as given in Theorem 9.
55

Proof. The case where G is of simply connected type is treated in Proposition 9.1. We
therefore suppose that G is not of simply connected type. We denote by Gs.c. (respectively,
Ga. ) the simple algebraic group of simply connected (respectively, adjoint) type having
the same Lie type and Lie rank as G.
For an integer u, let du (G) denote the minimal dimension of the centralizer of an element
of G of order dividing u. By Proposition 2 du (G) is the codimension of the subvariety
G[u] of G consisting of elements of order dividing u. Writing ju (G) = dim G[u] , we have
du (G) = dim G − ju (G).
Let (a, b, c) be a hyperbolic triple of integers. Let S(a,b,c) = da (G) + db (G) + dc (G) and
D(a,b,c) = S(a,b,c) − dim G. Recall that saying that (a, b, c) is reducible (respectively, rigid,
nonrigid) for G amounts to saying that D(a,b,c) is greater than (respectively equal to, less
than) 0.
By Proposition 3, given a positive integer u, we have du (G) ≤ du (Gs.c. ). It follows that
every hyperbolic triple of integers which is nonrigid for Gs.c. is nonrigid for G. In particular,
by Proposition 9.1, we can now assume that G is of classical type. By the proof of
Proposition 9.1 if G is such that ℓ ≤ 11, ℓ ≤ 10, ℓ ≤ 15, ℓ ≤ 9 accordingly respectively
as G is of type A, B, C, D then every hyperbolic triple of integers is nonrigid for G. For
G of small rank, one can use [7, Theorem 1] and Theorems 4 and 5 to find da (G), db (G)
and dc (G), compute D(a,b,c) and classify a given hyperbolic triple (a, b, c) of integers for
G. Note that if u > h then du (G) = ℓ.

10

Proof of Proposition 10

We consider Proposition 10. Let G be a simple algebraic group over an algebraically closed
field K. The main ingredient in the proof of Proposition 10 is the following result proved
in [10] combined with the classification given in Theorem 9 of the reducible and the rigid
hyperbolic triples of integers for simple algebraic groups if p is a bad prime for G or G is
of exceptional type. Recall that p is said to be bad for G if G is of type Bℓ , Cℓ , Dℓ and
p = 2, or of type G2 , F4 , E6 , E7 and p ∈ {2, 3}, or of type E8 and p ∈ {2, 3, 5}. A prime
p is said to be good for G if it is not bad for G. Also in the statement below and from
now on, by an irreducible subgroup of a classical group G, we mean a subgroup acting
irreducibly on the natural module for G.
Proposition 10.1. [10, Proposition 2.1]. Suppose that G is of classical type and p is a
good prime for G. If g1 , g2 , g3 are elements of G such that g1 g2 g3 = 1 and hg1 , g2 i is an
irreducible subgroup of G then
dim g1G + dim g2G + dim g3G ≥ 2 dim G.
We can now prove Proposition 10.
Proof of Proposition 10. If G is of classical type and p is a good prime for G then the result
follows from Proposition 10.1. The remaining cases follow from Theorem 9 which shows
that there are no reducible hyperbolic triples of integers for G if G is of symplectic or
orthogonal type and p = 2, or if G is of exceptional type.


56

11

Some tables

In this section we collect Tables 4-8 of the paper. Tables 4-7 appear in §6 and Table 8
appears in §7.
Table 4: A semisimple element y of G = (Aℓ )s.c of order v giving an upper bound for
du (G)
Case
ǫv = 1,
or (ǫv , ǫα ) = (0, 0)
(ǫv , ǫα , ǫβ ) = (0, 1, 1)
(ǫv , ǫα , ǫβ ) = (0, 1, 0),
β≥2
(ǫv , ǫα ) = (0, 1), β = 0

Element y

CGs.c. (y)0

dq (CGs.c. (y)0 )

M1α ⊕ M2 ⊕ (1)ǫβ

Aβα Av−β
α−1 Tv−1

z 2 u + e(2z + 1) − 1

Aα Av−2
α−1 Aα−2 Tv−1



M1α ⊕ M2 ⊕ (−1)
M1α ⊕ M5 ⊕ (1) ⊕ (−1)
M1α−1 ⊕ M4 ⊕ (−1)

z 2 u + e(2z + 1) − 1
z 2 u + e(2z + 1) + 1

if e > 0
if e = 0

Table 5: A semisimple element y of G = (Cℓ )s.c of order v giving an upper bound for
du (G)
Case
ǫv = 1

Element y

CG (y)0

M1α ⊕ M2 ⊕ (1)ǫβ

β
⌊ β ⌋ v−1
2 −⌊ 2 ⌋
C⌈ α2 ⌉ T v−1
Aα2 Aα−1
β
2

dq (CG (y)0 )

β
v
2 −1− 2

2

C 2α T v2 −1

(ǫv , ǫα ) = (0, 0)

M1α ⊕ M2

Aα Aα−1

(ǫv , ǫα ) = (0, 1), β ≥ 2

M1α ⊕ M5 ⊕ (1) ⊕ (−1)

Aα2

(ǫv , ǫα ) = (0, 1), β = 0

M1α−1 ⊕ M4 ⊕ (−1)

2
Aα−1
C α+1 C α−1 T v2 −1

β

v

−1

v

−β

2
2
Aα−1
C 2α+1 T v2 −1
2

−1

2

57

2

2

(z 2 u+e(2z+1))
2
(z 2 u+e(2z+1))
2

+ ⌈ z2 ⌉ǫu
+ 2⌈ z2 ⌉

Table 6: A semisimple element y of G = (Bℓ )s.c of order v giving an upper bound for du (G)
(a)

(b)

(c)
(d)
(e)
(f)

CSOh+1 (K) (y)0

Element y
M1α ⊕ M2 ⊕ (1)1+ǫβ

(1)ℓ+1 ⊕ (−1)ℓ



(1)ℓ+2 ⊕ (−1)ℓ−1
(1)ℓ−1 ⊕ (−1)ℓ+2



(1)ℓ ⊕ (−1)ℓ+1

2

if
if
if
if

(4)
(4)
(4)
(4)

β

Aα

(h)
(i)
(j)

M1α ⊕ M5 ⊕ (1) ⊕ (−1)2
M1α ⊕ M6 ⊕ (1) ⊕ (−1)2

⊕ M6 ⊕ (ω

v −1
2

2

−1)
−( v
2

M1α−1 ⊕ M9 ⊕ (1)2 ⊕ (−1)3

1
(z 2 u + e(2z + 1)) + ⌈ z2 ⌉ǫu
2




 (z 2 u+e(2z+1))
+ 2 if ℓ ≡ 1, 2 (4)
2
and e = 0



 (z 2 u+e(2z+1))
otherwise
2
1
(z 2 u
2

+ e(2z + 1))

Aα−1 B α+1 D α+1 T v2 −1
2

v −2

2

v −1− β
2

2
Aα2 Aα−1

) ⊕ (ω

2

2
Aα−2 B α+1 D α+1 T v2 −1
Aα−1
β

M1α

(4)
(4)
(4)
(4)

B α−1 D α+1 T v2 −1

v−β
2
2

2

M1α−1 ⊕ M7 ⊕ (1)3 ⊕ (−1)2
M1α ⊕ M2 ⊕ (1)

ℓ≡0
ℓ≡1
ℓ≡2
ℓ≡3

2
2
v −1− β
2

β
−1
2

⊕ M5 ⊕ (1) ⊕ (−1)
⊕ M6 ⊕ (1)2 ⊕ (−1)

if
if
if
if


Bℓ Dℓ

2
2


 B ℓ+1 D ℓ−1
2
2
B ℓ−2 D ℓ+2


2
2


B ℓ−1 D ℓ+1
2
Aα2 Aα−1

2

(g)

(k)

ℓ≡0
ℓ≡1
ℓ≡2
ℓ≡3

M1α ⊕ M2 ⊕ (−1)
M1α
M1α

dq (CG (y)0 )

⌊ β ⌋ v−1
−⌊ β
⌋
2
2
Aα2 Aα−1
B⌈ α2 ⌉ T v−1

2

B α2 D α2 T v2 −1

58

Case







1
(z
2

(z 2 u+e(2z+1))
2
(z 2 u+e(2z+1))
2
2

+2

if e = 0
otherwise

u + e(2z + 1))

) ⊕ (1)
β

Aα2

−1

v−β

2
2
B α2 D α+2 T v2 −1
Aα−1
2

v −2

2
Aα−1
Aα−2 B α2 D α+2 T v2 −1
2







(z 2 u+e(2z+1))
2
(z 2 u+e(2z+1))
2

+2

if e = 0
otherwise

Table 7: A semisimple element y of G = (Dℓ )s.c of order v giving an upper bound for du (G)
Case
(a)

(b)

CSOh+1 (K) (y)0

Element y

⌉
⌈β
2

M1α ⊕ M3 ⊕ (1)2−ǫβ

(1)ℓ ⊕ (−1)ℓ



(1)ℓ+1 ⊕ (−1)ℓ−1
(1)ℓ−2 ⊕ (−1)ℓ+2



(1)ℓ−1 ⊕ (−1)ℓ+1

Aα

if
if
if
if

ℓ≡0
ℓ≡1
ℓ≡2
ℓ≡3

(4)
(4)
(4)
(4)

dq (CG (y)0 )

v−1
−⌈ β
⌉
2
2

Aα−1

D⌈ α+1 ⌉ T v−1
2



 D 2ℓ D 2ℓ
D ℓ+1 D ℓ−1
2
2

 D ℓ−2
D ℓ+2
2

β

v −1− β
2

2

if ℓ ≡ 0 (4)
if ǫℓ = 1
if ℓ ≡ 2 (4)

2

(c)

M1α ⊕ M3 ⊕ (1) ⊕ (−1)

(d)
(e)
(f)

(g)

M1α ⊕ M5 ⊕ (ω 2 −2 ) ⊕ (ω −( 2 −2) ) ⊕ (1) ⊕ (−1)
v
v
M1α ⊕ M5 ⊕ (ω 2 −1 ) ⊕ (ω −( 2 −1) ) ⊕ (1) ⊕ (−1)
v
v −2
−(
α
M1 ⊕ M6 ⊕ (ω 2 ) ⊕ (ω 2 −2) ) ⊕ (1) ⊕ (−1)
if β 6= v − 4
M1α ⊕ M8 ⊕ (1) ⊕ (−1)
if β = v − 4
v
v
M1α ⊕ M6 ⊕ (ω 2 −1 ) ⊕ (ω −( 2 −1) ) ⊕ (1) ⊕ (−1)

(h)

M1α

(i)

M1α−1 ⊕ M7 ⊕ (ω)2 ⊕ (ω −1 )2 ⊕ (1)2

2
D α−1 D α+1 T v2 −1
Aα Aα−1

M1α−1 ⊕ M9 ⊕ (ω) ⊕ (ω −1 ) ⊕ (1)2 ⊕ (−1)2

2
Aα−2 D2α+1 T v2 −1
Aα Aα−1

(k)

M1α ⊕ M3 ⊕ (1)2

2
Aα2 Aα−1

(l)
(m)

M1α
M1α

(n)

M1α ⊕ M5 ⊕ (ω 2 −2 ) ⊕ (ω −( 2 −2) ) ⊕ (1)2
if β 6= v − 2
M1α ⊕ M9 ⊕ (1)2 ⊕ (−1)2
if β = v − 2

(o)

M1α ⊕ M6 ⊕ (ω 2 −1 ) ⊕ (ω −( 2 −1) ) ⊕ (1)2
if β 6= v − 2
M1α ⊕ M9 ⊕ (1)2 ⊕ (−1)2
if β = v − 2
M1α ⊕ (−1)2

2
Aα2 Aα−1
v

v

⊕ M9 ⊕ (1) ⊕ (−1)

v −2
2

3

Aα

(p)

v −1
2
v −2
2

⊕ M5 ⊕ (ω
⊕ M6 ⊕ (ω
if β 6= v − 4
M1α ⊕ M8 ⊕ (1)2
if β = v − 4

2

2

Aα−1 D α+1 D α+3 T v2 −1
2

59
(j)

D α+1 D α+1 T v2 −1

v −2

2

2

v −3

2

β

−( v
−1)
2

2

v −1− β
2

D α2 D α+2 T v2 −1
2

2

) ⊕ (ω
) ⊕ (1)
v
) ⊕ (ω −( 2 −2) ) ⊕ (1)2

v

v

v

v

β

v −1− β

2
2
D α2 D α+2 T v2 −1
Aα2 Aα−1
2
if β 6= v − 2
v −2
Aα2 Aα−1 D α+2 D α+2 T v2 −1
2
2
if β = v − 2
β

v −1− β

2
2
D α2 D α+2 T v2 −1
Aα2 Aα−1
2
if β 6= v − 2
v −2
Aα2 Aα−1 D α+2 D α+2 T v2 −1
2
2
if β = v − 2
v −1
2
Aα−1
D α2 D α+2 T v2 −1
2

1
(z 2 u + e(2z + 1)) + ⌈ z2 ⌉ǫu + z + 1 − ǫz
2



 z 2 u+e(2z+1)


+ z + 1 − ǫz + 4 if ℓ ≡ 2 (4)

2



and u = 2

z 2 u+e(2z+1)
+
z
+
1
−
ǫ
+
2
if
ℓ ≡ 2 (4) and
z
2



e = u − v 6= 0




or e = 0 6= u − v


 z 2 u+e(2z+1)
+
z
+
1
−
ǫ
otherwise
z
2
z 2 u+e(2z+1)
2

(

+ z + 1 − ǫz

z 2 u+e(2z+1)
+z+1−
2
z 2 u+e(2z+1)
+z+1−
( 2 2
z u+e(2z+1)
+z+1−
2
z 2 u+e(2z+1)
+z+1−
( 2 2
z u+e(2z+1)
+z+1−
2
z 2 u+e(2z+1)
+z+1−
2
z 2 u+e(2z+1)
+ z + 1 − ǫz
2

ǫz + 2
ǫz

if e = u − 2
otherwise

ǫz + 2
ǫz

if e = 0
otherwise

ǫz + 2
ǫz

if e = 0
otherwise

G
Aℓ
Cℓ
Bℓ
Dℓ

Cases
p 6= 2, u even, h = zu and z odd
p 6= 2 and u even
p 6= 2, u ≡ 2 mod 4, h = zu, and z ≡ u/2 mod 4 or z ≡ 2 mod 4
p 6= 2, u ≡ 4 mod 8, h = zu and z odd
p 6= 2, u = 2, h = zu and z ≡ u/2 mod 4
p 6= 2, u ≡ 2 mod 4, u > 2, h = zu and z ≡ u/2 mod 4
p 6= 2, u ≡ 2 mod 4, e = u − 2 6= 0 and z ≡ 1 mod 4
p 6= 2, u ≡ 4 mod 8, z is odd, and h = zu

du (Gs.c ) − du (Ga. )
≤ 2 
≤ 2 z2
≤2
≤4
≤2

Table 8: The possible exceptions to du (Gs.c. ) = du (Ga. ) for G of classical type

60

References
[1] A. Cohen, R. Griess. On finite simple subgroups of the complex Lie group of type E8 .
The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986),
367–405, Proc. Sympos. Pure Math. 47, Part 2. Amer. Math. Soc. Providence, RI,
1987.
[2] M. Conder. Hurwitz groups: a brief survey. Bull. Amer. Math. Soc. 23 (1990), 359–
370.
[3] J. Humphreys. Conjugacy classes in semisimple algebraic groups. Mathematical Surveys and Monographs 43. American Mathematical Society, Providence, RI, 1995.
[4] R. Guralnick. Intersections of conjugacy classes and subgroups of algebraic groups.
Proc. Amer. Math. Soc. 135 (2007), 689–693.
[5] S. Jambor, A. Litterick, C. Marion. On finite simple images of triangle groups. Submitted for publication.
[6] M. Larsen, A. Lubotzky, C. Marion. Deformation theory and finite simple quotients
of triangle groups I. J. Eur. Math. Soc. 16 (2014), 1349–1375.
[7] R. Lawther. Elements of specified order in simple algebraic groups. Trans. Amer.
Math. Soc. 357 (2005), 221–245.
[8] G. Lusztig. On the finiteness of the number of unipotent classes. Invent. Math. 34
(1976), 201–213.
[9] G. Malle, D. Testerman. Linear algebraic groups and finite groups of Lie type. Cambridge Studies in Advanced Mathematics 133. Cambridge University Press, Cambridge, 2011.
[10] C. Marion. On triangle generation of finite groups of Lie type. J. Group Theory 13
(2010), 619–648.
[11] K. Strambach, H. Völklein. On linearly rigid tuples. J. Reine. Angew. Math. 510
(1999), 57–62.

61

