Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Olivier Brunat; Olivier Dudas; Jay Taylor

doi:10.4007/annals.2020.192.2.7

Brunat, Olivier;Dudas, Olivier;Taylor, Jay

2019-10-19 00:00:00

We show that the decomposition matrix of unipotent ℓ-blocks of a ﬁnite reductive group G(F ) has a unitriangular shape, assuming q is a power of a good prime and ℓ is very good for G. This was conjectured by Geck in 1990 as part of his PhD thesis. We establish this result by constructing projective modules using a modiﬁcation of generalised Gelfand–Graev characters introduced by Kawanaka. We prove that each such character has at most one unipotent constituent which occurs with multiplicity one. This establishes a 30 year old conjecture of Kawanaka. Contents 1 Introduction 3 1.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Unitriangular shape . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Kawanaka characters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Content . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.5 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.6 Further directions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Basic Setup and Notation 8 2.1 Finite Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Reductive Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 I Unipotent classes of reductive groups 10 3 Nilpotent Orbits 10 3.1 Cocharacters and Gradings . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Weighted Dynkin Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.3 Action by the Longest Element . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.4 Associated Cocharacters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 4 Unipotent Classes 15 4.1 Springer Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 4.2 Canonical Parabolic and Levi Subgroups . . . . . . . . . . . . . . . . . . . 16 4.3 Rational Class Representatives . . . . . . . . . . . . . . . . . . . . . . . . . 17 arXiv:1910.08830v3 [math.RT] 17 Jun 2020 5 Fusion of Unipotent Classes 18 II Central functions on ﬁnite reductive groups 23 6 Generalised Gelfand–Graev Characters 23 6.1 Kawanaka Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 6.2 Deﬁnition of GGGCs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.3 The Structure of the Radical . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Isotypic Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 6.5 Centralisers of Semisimple Elements . . . . . . . . . . . . . . . . . . . . . . 30 6.6 Dynkin Cocharacters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 7 Kawanaka Characters and their Values on Mixed Classes 31 7.1 Admissible Coverings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 7.2 Admissible Representatives for Cl (u) . . . . . . . . . . . . . . . . . . . . 33 7.3 Weil Representations of Symplectic Groups . . . . . . . . . . . . . . . . . . 34 7.4 Kawanaka Characters for Admissible Pairs . . . . . . . . . . . . . . . . . . 35 7.5 Character Formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 8 Fourier Transform of Kawanaka Characters 40 8.1 Lusztig’s Classiﬁcation of Unipotent Characters . . . . . . . . . . . . . . . 40 8.2 Fourier Transform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 8.3 Translation by Central Elements . . . . . . . . . . . . . . . . . . . . . . . . . 43 8.4 Restriction of Character Sheaves . . . . . . . . . . . . . . . . . . . . . . . . 44 8.5 Projection on the Family . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 8.6 Kawanaka’s Conjecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 III Admissible coverings for simple groups 50 9 Admissible Coverings for Classical Groups 50 9.1 Notation for classical groups . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 9.2 Partitions and unipotent classes of classical groups . . . . . . . . . . . . . . 51 9.3 Lifting component groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 9.4 Nilpotent Orbits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 9.5 Centraliser in the Levi Factor . . . . . . . . . . . . . . . . . . . . . . . . . . 54 10 Admissible Coverings for Exceptional Groups 56 10.1 Quasi-semisimple elements . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 ¯ ∼ 10.2 Families with A = S lifting to an involution . . . . . . . . . . . . . . . . 61 F 2 ¯ ∼ 10.3 Families with A = S not lifting to an involution . . . . . . . . . . . . . . 63 F 2 10.4 Families with A S and O distinguished . . . . . . . . . . . . . . . . 63 F 3 F 10.5 Families with A S and O of type D (a ) . . . . . . . . . . . . . . . . 64 F 3 F 4 1 ¯ ∼ 10.6 The family with A = S and O of type D (a )+A . . . . . . . . . . . . 65 F 3 F 4 1 1 2 ∼ 10.7 The family with A = S . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 F 4 10.8 The family with A S . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 F 5 11 Proof of Theorems A and B 67 1. Introduction 1.1 Overview One of the core features of the representation theory of ﬁnite groups is the ability to take an ordinary representation, deﬁned over a ﬁeld of characteristic zero, and reduce it to obtain a modular representation, deﬁned over a ﬁeld of positive characteristic ℓ > 0. The ℓ-decomposition matrix of a ﬁnite group is a matrix whose rows are indexed by ordi- nary irreducible representations and whose columns are indexed by modular irreducible representations. The entries of this matrix give the multiplicities of modular irreducibles in the reduction of ordinary irreducibles. Since ordinary representations are in general better understood than modular repre- sentations, it is crucial to have a good understanding of the decomposition matrix. The focus of this paper is to obtain new information on decomposition matrices when G = G is a ﬁnite reductive group and ℓ ∤ q (the non-deﬁning characteristic setting). By deﬁnition G is the subgroup of F-ﬁxed points of a connected reductive algebraic group G, deﬁned over an algebraic closure K = F , where F : G → G is a Frobenius endomorphism en- dowing G with an F -structure. Decomposition matrices can be computed blockwise. In addition, for ﬁnite reduc- tive groups, it is conjectured that any ℓ-block is Morita equivalent to a so-called unipo- tent ℓ-block of a possibly disconnected group [10], which is a block containing ordinary unipotent characters, and that in this case the decomposition matrices coincide. Such a reduction, known as the Jordan decomposition of blocks, was proven to hold in many cases by work of Bonnafe´–Rouquier [6] and more recently Bonnafe´–Dat–Rouquier [5]. Therefore from now on we shall focus only on the unipotent ℓ-blocks of G. Even for groups of small rank, determining the decomposition matrix of unipotent ℓ-blocks is considered a very hard problem. For example, the 3×3-decomposition matrix for the 3-dimensional unitary groups SU (q) when ℓ | q + 1 was determined only in 2002 by Okuyama–Waki [59]. Since then, new decomposition matrices were obtained using the ℓ-adic cohomology of Deligne–Lusztig varieties for larger unitary groups or other small rank groups. However, for this method to be successful, one needs prior knowledge on the general shape of the decomposition matrix. In 1990 Geck observed in his thesis [25] two general properties of the decomposition matrices of unipotent blocks which he conjectured to hold for any ﬁnite reductive group, assuming that ℓ is not too small, namely: • the ℓ-reduction of a cuspidal unipotent character remains irreducible, • the rows and columns of the decomposition matrix can be arranged so that it has a lower unitriangular shape, with identity blocks on families. 3 The ﬁrst conjecture was recently solved by Malle and the second author [22]. Our main result is a proof of the second conjecture. 1.2 Unitriangular shape The Weyl group W of G is its combinatorial skeleton. In [47, §4] Lusztig has deﬁned a partition Fam(W) of the irreducible characters of the Weyl group W into families Irr(W) = F. F∈Fam(W) We have a natural action of F on W which permutes the set Fam(W) and we denote by Fam(W) those families that are ﬁxed by this action. For each F-stable family F ∈ Fam(W) there is a corresponding family of ordinary unipotent characters of G, which we denote by UCh(F ). This gives a partition UCh(G) = UCh(F ) F∈Fam(W) of the set of all ordinary unipotent characters of G. To each familyF ∈ Fam(W) there is a corresponding unipotent conjugacy class O ⊆ G, related via the Springer correspondence. If F is F-stable then O is characterised by the fact that UCh(F ) is exactly the set of unipotent characters with unipotent support O , see [35, Prop. 4.2]. If O , O ⊆ G are two unipotent classes then we set O O F 1 2 1 2 if O ⊆ O (the Zariski closure). This deﬁnes a natural partial ordering of the classes. 1 2 Roughly, the unipotent support of a character is then deﬁned to be the largest F-stable unipotent conjugacy class, with respect to , on which the character takes a non-zero value, see [75, Thm. 1.26]. If F = {1 } is the family containing the trivial character of W then O is the reg- W F ular unipotent class, which is the unique maximal element with respect to . We have UCh(F ) = {1 } contains only the trivial character whose ℓ-reduction is irreducible. On the other hand, if F = {sgn } is the family containing the sign character of W then O is the trivial class, which is the unique minimal element with respect to . We have UCh(F ) = {St } contains only the Steinberg character whose ℓ-reduction can potentially have many irreducible constituents. Throughout we will work under some mild restrictions on the characteristic of the ﬁelds involved. For clarity we recall that a prime p is said to be bad for a quasi-simple group G if p = 2 and G is not of type A , p = 3 and G is of exceptional type, or p = 5 and G is of type E . For any arbitrary group G we say p is good if it is not bad for all the quasi-simple components of G. Another restriction will come from the order of the ﬁnite group Z(G) which is the largest (ﬁnite) quotient of Z(G) on which F acts trivially. This order involves only bad primes unless G has quasi-simple components of type A . The following, being our main result, gives the general shape of the decomposition matrix of unipotent blocks with respect to the ordering on unipotent classes. Our result 4 solves a conjecture of Geck [32, Conj. 2.1], which strengthens earlier conjectures stated in [25, 34]. Theorem A. Recall that G is a connected reductive algebraic group deﬁned over K with Frobenius endomorphism F : G → G. We make the following assumptions on ℓ and p = Char(K): • ℓ 6= p (non-deﬁning characteristic), • ℓ and p are good for G, • ℓ does not divide the order of Z(G) , the largest quotient of Z(G) on which F acts trivially. Let F 6 ··· 6 F be any total ordering of the F-stable families Fam(W) such that if O 1 r F O then F > F . Then the modular irreducible unipotent representations of G = G can be F i j ordered such that the decomposition matrix of the unipotent ℓ-blocks of G has the following shape   D 0 ··· 0    . .  ⋆ D .  2    . .  . . .  , . . . 0      ⋆ ··· ⋆ D  ⋆ ··· ··· ⋆ where each diagonal block D is the identity matrix, whose rows are indexed by the elements of UCh(F ). This result had been previously obtained for groups of type A by Dipper–James [21] and Geck [26], classical groups at a linear prime ℓ by Gruber–Hiss [38], and exceptional groups of type D by Geck [27], G by Hiss [40] and F by Wings [77]. The assumption 4 2 4 on ℓ ensures that the unipotent characters form a basic set for the unipotent ℓ-blocks [28]. As stated Theorem A need not hold when ℓ divides the order of Z(G) . Already this is the case when G = SL (q) and ℓ = 2. In future work we intend to explain what must be done to extend the previous theorem to the case where ℓ is bad or divides Z(G) . 1.3 Kawanaka characters The strategy for proving Theorem A goes back to Geck and Geck–Hiss [26, 34]. It relies on constructing projective modules whose characters involve only one unipotent character of a given family, with multiplicity one, and other unipotent characters from larger families only. When p is good, such projective modules were constructed by Kawanaka in [44] using a modiﬁed version of the generalised Gelfand-Graev represen- tations. The difﬁcult part is to show the statement about the unipotent constituents of their character, which was conjectured by Kawanaka in [44, 2.4.5]. In order to explain Kawanaka’s construction and our second main result we need to recall a few further facts regarding Lusztig’s classiﬁcation of unipotent characters. Recall that we have a natural involution −⊗ sgn : Irr(W) → Irr(W) given by tensor- ing with the sign character. This involution permutes the families of W and we denote by 5 ∗ F = F ⊗ sgn the dual family. This duality on families corresponds to an order revers- ing duality on unipotent classes. Namely, we have O O ′ if and only if O ′∗ O ∗. F F F F To simplify the notation we assume now that the F -structure on G, determined by F, is split. To each family F ∈ Fam(W) Lusztig has associated a small ﬁnite group A known as the canonical quotient. The elements in UCh(F ) are parametrised by the set ¯ ¯ ¯ M (A ) of A -conjugacy classes of pairs (a,ψ) where a ∈ A and ψ ∈ Irr(C (a)). F F F Under some extra assumption on F one can form the Kawanaka character K of G [a,ψ] attached to the conjugacy class of (a,ψ), see Section 7.4. When ℓ is not too small (not dividing the order of the ﬁnite group A ), then K is the character of a projective F [a,ψ] module. The following settles Kawanaka’s conjecture in the afﬁrmative. Theorem B. Assume G is an adjoint simple group, p is a good prime for G, andF ∈ Fam(W) is an F-stable family. Then for each [a,ψ] ∈ M (A ) there is a Kawanaka character K of G [a,ψ] whose projection on the space spanned by the unipotent characters UCh(G) is of the form ′∗ ρ + Z UCh(F ). [a,ψ] ′ F F ∈Fam(W) O ≺O ′ for a unique unipotent character ρ ∈ UCh(F ). Moreover, K is the character of a [a,ψ] [a,ψ] projective module when ℓ is a good prime for G. Remark 1.1. It is unclear whether the unipotent character ρ from Theorem B coincides [a,ψ] with the unipotent character labelled by [a,ψ] under Lusztig’s parametrisation in [47, §4]. 1.4 Content Much of this paper concerns the actual construction and properties of the characters K . The ﬁrst technical obstruction concerns Lusztig’s canonical quotient A . This [a,ψ] is naturally a quotient of the component group A (u) := C (u)/C (u) with u ∈ O . G G F To deﬁne the Kawanaka characters we must ﬁnd a suitable subgroup A 6 C (u) which ¯ ¯ maps surjectively onto A under the natural map C (u) → A (u) → A . F G G F We note that, in general, the subgroup we choose will not map onto A (u). For the Kawanaka characters to exist, A must satisfy the conditions of what we call an admissible covering of A . The exact details of this are given in Deﬁnition 7.1. Much of the latter part of the paper concerns the existence of such admissible coverings. We show the existence of admissible coverings for classical groups in Section 9 and for exceptional groups in Section 10. For this, we consider D to be an exceptional group. Of course, the main issue, which is the core of the paper, is to show that K can in- [a,ψ] volve at most one unipotent character of the family UCh(F ) and that such a constituent occurs with multiplicity one. This is achieved by considering a Fourier transformF of [a,ψ] K with respect to A. To simplify, let us assume that A A . The Fourier transforms [a,ψ] F of unipotent characters in UCh(F ) with respect to the ﬁnite group A coincide with the (suitably normalised) characteristic functions of certain character sheaves USh(F ) associated to the family F. Theorem B amounts to showing that F involves only one [a,ψ] character sheaf. 6 The advantage of working in this setting is that there are very few conjugacy classes where both F and the characteristic functions of character sheaves in USh(F ) take [a,ψ] non-zero values. Furthermore, these values can be explicitly computed. This is shown in Proposition 8.1 for the class functions F and recently by Lusztig in [52] for character [a,ψ] sheaves. We show in Proposition 8.8 that the contribution of UCh(F ) in F coincides, [a,ψ] up to a root of unity, with the characteristic function of the character sheaf associated with [a,ψ] in [52]. Some technical difﬁculties arise when A is larger than A . However, in these cases we may take A to be abelian, which allows us to overcome these difﬁculties and establish Theorem B whenever an admissible covering exists. 1.5 Applications The solution to Kawanaka’s conjecture given in Theorem B provides a geometric parametrisation of the unipotent characters, in terms of the Drinfeld doubles of the var- ious admissible coverings constructed in this paper. Since the action of Aut(G) is easy to describe on the Kawanaka characters we obtain a new way to compute that action on characters. We expect that the same should hold for irreducible characters in other isolated series, hence providing new information on their behaviour under the action of Aut(G). Such a strategy was already successfully applied to prove that the inductive McKay condition holds for groups of type A [12], where only GGGCs are needed. We note that such methods can also be applied to Galois automorphisms, which is current work of the third author and A. A. Schaeffer Fry. On the other hand, a result of Navarro–Tiep [58] gives a reduction of the Alperin Weight Conjecture to the case of simple groups. Their reduction involves the action of the automorphism group on irreducible Brauer characters. Under our assumption on ℓ the set of unipotent characters UCh(G) is a basic set for the unipotent blocks of G by [28, Thm. A]. As the set UCh(G) is stable under the action of the automorphism group it follows from Theorem A that there is an Aut(G)-equivariant bijection between UCh(G) and the irreducible Brauer characters in the unipotent blocks of G, see [17, Lem. 2.3]. The action of Aut(G) on UCh(G) is well understood, hence we get an explicit description of Aut(G) on unipotent Brauer characters. 1.6 Further directions There are two restrictions on the prime numbers in Theorem A. The ﬁrst restriction, on the characteristic p of the ground ﬁeld, comes from our construction of the projective modules via GGGCs. Recent work of Geck [33] provides an extension of this construction for bad prime numbers p. It will be interesting to see whether one can generalise that construction to the Kawanaka characters and extend Theorem B to the case where p is bad. This would involve dealing with Lusztig’s special pieces instead of special unipotent classes. The second restriction concerns the characteristic ℓ of the coefﬁcient ﬁeld of the rep- resentations. When ℓ is bad one needs to take into account the modular representation theory of the canonical quotient A which is no longer an ℓ -group. Inducing projective 7 characters of the admissible coverings instead of irreducible characters provides projec- tive characters for the ﬁnite reductive group using Theorem B. However, as observed in [29, 14] one needs to consider other unipotent classes, called ℓ-special, and prove a gen- eralisation of Kawanaka’s conjecture for some isolated families of non-unipotent charac- ters. This would show that when ℓ is bad there is still a unitriangular basic set which is labelled as in [14]. Finally, let us note that Theorem A provides a classiﬁcation of unipotent Brauer char- acters in terms of families. We expect this classiﬁcation to coincide with the one obtained via the mod-ℓ intersection cohomology of Deligne–Lusztig varieties (probably replacing intersection cohomology sheaves by parity sheaves [42]). The existence of ℓ-torsion in the cohomology should also explain the difference of behaviour between the cases of good and bad characteristic. Acknowledgments The ﬁrst and second authors gratefully acknowledge ﬁnancial support by the ANR grant GeRepMod ANR-16-CE40-0010-01. The second author also acknowledges ﬁnancial support by the DFG grant SFB-TRR 195. During part of this work the third author was supported by an INdAM Marie-Curie Fellowship. Visits of the ﬁrst and second authors to the University of Padova were supported by the third authors fellowship along with grants CPDA125818/12 and 60A01-4222/15 of the University of Padova. A visit of the third author to Paris VII was supported by the ANR grant ANR-16-CE40-0010-01. The authors warmly thank the hospitality of these institutions for facilitating their collabora- tion. Our proof of Proposition 5.12 is based on an argument using Slodowy slices, orig- inally communicated to us by Daniel Juteau. We warmly thank him for sharing his idea with us. We also thank Anthony Henderson for clarifying remarks concerning Lemma 5.10 in the case of Slodowy slices. Finally, we thank Gunter Malle for his valuable comments on a preliminary version of our paper. 2. Basic Setup and Notation 2.1 Finite Groups Throughout, we ﬁx a prime number ℓ. Assume G is a group acting on a set Ω with action · : G × Ω → Ω . Unless stated otherwise all group actions are assumed to be left actions. For any set X we have natural left and right actions of G on the set of functions g g −1 f : Ω → X deﬁned by f (ω) = f(g · ω) and f(ω) = f(g · ω) for any g ∈ G and ω ∈ Ω . Similarly we have natural left and right actions of G on the set of functions f : X → Ω g g −1 deﬁned by f(x) = g · f(x) and f (x) = g ·f(x) for any g ∈ G and x ∈ X. If G is a ﬁnite group then we denote by Irr(G) the irreducible Q -characters of G. This is an orthonormal basis of the space of Q -class functions Class(G) with respect to the 8 usual inner product hf,f i = f(g)f (g) |G| g∈G where : Q → Q is a ﬁxed involutive automorphism sending each root of unity to its ℓ ℓ inverse. Let ι : H → G be a homomorphism of groups then we have a natural restriction map ∗ ∗ ι : Class(G) → Class(H), deﬁned by ι (f) = f ◦ ι, and an induction map ι : Class(H) → Class(G) deﬁned by (ι (f))(x) = f(h) |G| (g,h)∈G×H x=ι(h) for all x ∈ G. The maps ι and ι are adjoint with respect to h−, −i and h−, −i . ∗ G H ∗ ∗ ∗ Moreover, if κ : H → L is another group homomorphism then (κ ◦ ι) = ι ◦ κ and (κ ◦ ι) = κ ◦ ι . ∗ ∗ ∗ We note that if ι is injective, and we identify H with ι(H), then ι is simply identiﬁed with the usual induction map Ind . Furthermore, if ι is surjective then ι (χ) = 0 for any χ ∈ Irr(H) with Ker(ι) 66 Ker(χ) and ι (χ) is the deﬂation of χ if Ker(ι) 6 Ker(χ). Hence, in general, we have ι is deﬂation from H to ι(H) followed by induction from ι(H) to G. 2.2 Reductive Groups Throughout we assume that G is a connected reductive algebraic group over K := F , an algebraic closure of the ﬁnite ﬁeld F with prime cardinality p > 0. We will tacitly assume that p is a good prime for G which is different from ℓ. The Lie algebra of G will be denoted by Lie(G) and the derived subgroup will be denoted by G 6 G. der For any x ∈ Lie(G) and g ∈ G we will write g · x for the element Ad(g)x where Ad : G → GL(V) is the adjoint representation, with V = Lie(G). This deﬁnes an action of G on Lie(G) which we will refer to as the adjoint action. Moreover, we denote by ad : Lie(G) → GL(V) the derivative of Ad. This is the adjoint representation of Lie(G) which satisﬁes (adx)(y) = [x,y] for all x,y ∈ Lie(G) where [−, −] : Lie(G) × Lie(G) → Lie(G) is the Lie bracket. Let F : G → G be a Frobenius endomorphism endowing G with an F -rational struc- ture. Given an F-stable subgroup H of G we will often denote by H := H the ﬁnite group of ﬁxed points under F. We assume ﬁxed an F-stable maximal torus and Borel subgroup T 6 B 6 G. If T 6 G is any F-stable maximal torus of G then F induces an auto- 0 0 morphism of the Weyl group W (T) := N (T)/T, which we also denote by F. We will G G typically denote the Weyl group W (T ) simply by W. G 0 We recall here that a morphism ϕ : G → G between algebraic groups is an isotypic morphism if the image ϕ(G) contains the derived subgroup of G and the kernel Ker(ϕ) is contained in the centre Z(G) of G. If G is a connected reductive algebraic group and ϕ e e is isotypic then G = ϕ(G) · Z(G). If one of these groups is deﬁned over F then we will implicitly assume ϕ is also deﬁned over F . If G denotes the multiplicative group of the ﬁeld K then for any algebraic group H 9 q we denote by X(H) = Hom(H,G ) the character group of H and X(H) = Hom(G , H) m m the set of cocharacters. The product on X(H) will be written additively. As above, H acts q q on X(H) and X(H) and we denote by C (λ) = C (λ(G )) the stabiliser of λ ∈ X(H). H H m We note that if H is abelian then X(H) is also naturally an abelian group whose prod- uct we again write additively. Moreover, if H is a torus then we denote by h−, −i : X(H)× X(H) → Z the usual perfect pairing. We also denote by h−, −i the natural extension of this pairing to a non-degenerate Q-bilinear form Q ⊗ X(H) × Q ⊗ X(H) → Q. Z Z Let us recall that to the triple (G, B , T ) we have a corresponding based root datum 0 0 q q q R(G, T , B ) = (X(T ),Φ(T ),∆ (T , B ),X(T ),Φ(T ),∆ (T , B )). 0 0 0 0 0 0 0 0 0 0 Here Φ(T ) ⊂ X(T ) are the roots of G relative to T , and ∆ (T , B ) ⊆ Φ(T ) are the 0 0 0 0 0 0 q q q simple roots determined by B . Similarly Φ(T ) ⊂ X(T ) are the coroots and ∆ (T , B ) ⊆ 0 0 0 0 0 Φ(T ) are the simple coroots. Forgetting the simple roots and coroots we get the usual root datum q q R(G, T ) = (X(T ),Φ(T ),X(T ),Φ(T )). 0 0 0 0 0 q q We will say a root datum R = (X,Φ,X,Φ) is torsion free if both the quotients X/ZΦ and q q X/ZΦ have no torsion. Note that all root data are assumed to be reduced. I. UNIPOTENT CLASSES OF REDUCTIVE GROUPS 3. Nilpotent Orbits We will denote by N(G) ⊆ Lie(G) the nilpotent cone of the Lie algebra. The adjoint action of G on g := Lie(G) preserves N(G) and any orbit of this restricted action is called a nilpotent orbit. The resulting set of orbits will be denoted by N(G)/G. 3.1 Cocharacters and Gradings If λ ∈ X(G) is a cocharacter then we have a corresponding grading g = g(λ,i) i∈Z where g(λ,i) = {x ∈ g | λ(k) · x = k x for all k ∈ G }. We note that g(λ, −i) = g(−λ,i) for all i ∈ Z. The group C (λ) preserves each weight space g(λ,i) and, by a result of Richardson [61], has ﬁnitely many orbits on g(λ,i) for any i 6= 0. In particular, there exists a unique open dense C (λ)-orbit g(λ,i) ⊆ g(λ,i) for G reg each i 6= 0. Associated to λ we have a corresponding parabolic subgroup P (λ) 6 G deﬁned as in [70, 3.2.15, 8.4.5]. This parabolic subgroup has the property that Lie(P (λ)) = g(λ,i). i>0 10 The group L (λ) := C (λ) 6 P (λ) is a Levi complement of the parabolic. In particular, G G G if U (λ)⊳ P (λ) is the unipotent radical then P (λ) = L (λ) ⋉ U (λ). The Lie algebras G G G G G of these subgroups have the following weight space decompositions Lie(L (λ)) = g(λ,0) and Lie(U (λ)) = g(λ,i). G G i>0 Furthermore, we have P (−λ) is the unique opposite parabolic subgroup, i.e., we have P (λ) ∩ P (−λ) = L (λ) = L (−λ). G G G G For any integeri > 0 there exist unique closed connected unipotent subgroups U (λ,i) 6 U (λ) and U (λ, −i) 6 U (−λ) such that Lie(U (λ,i)) = u (λ,i) and Lie(U (λ, −i)) = G G G G g G u (λ, −i) where M M u (λ,i) := g(λ,j) and u (λ, −i) := g(λ, −j). g g j>i j>i Indeed U (λ,i) is simply generated by the root subgroups of G, deﬁned with respect to some maximal torus in C (λ), corresponding to the root spaces that are contained in one of the weight spaces g(λ,j) for j > i. With this notation we clearly have for any i > 0 that U (λ, −i) = U (−λ,i) and G G U (λ,1) = U (λ) is the unipotent radical of the parabolic. If the ambient group G is G G clear then we will drop the subscripts writing P(λ), U(λ), L(λ), u(λ,i), etc., instead of P (λ), U (λ), L (λ), u (λ,i), etc. For any g ∈ G and cocharacter λ ∈ X(G) we have G G G g g g g g P( λ) = P(λ) and L( λ) = L(λ). Moreover, for each integer i ∈ Z we get that g g g( λ,i) = g · g(λ,i) g( λ,i) = g · g(λ,i) , (3.1) reg reg where the last equality is deﬁned only when i 6= 0. This implies immediately that g g g g U( λ,i) = U(λ,i) for any 0 6= i ∈ Z, in particular U( λ) = U(λ). q q Note also that we have a map F : X(T ) → X(T ), denoted λ 7→ F · λ, deﬁned as 0 0 follows. We have a Frobenius endomorphism F : G → G deﬁned by F (k) = k . q m m q −1 Given a cocharacter λ ∈ X(G) we deﬁne, as in [74, 3.23], a cocharacter F ·λ = F◦λ◦F ∈ q q q X(G). We denote by X(G) those characters λ ∈ X(G) satisfying F · λ = λ. From the deﬁnition of P(λ) and L(λ) it follows that F(P(λ)) = P(F · λ) and F(L(λ)) = L(F · λ). In particular, if λ ∈ X(G) then P(λ) and L(λ) are F-stable. Moreover, for any i ∈ Z we have F(g(λ,i)) = g(F · λ,i) F(g(λ,i) ) = g(F · λ,i) , (3.2) reg reg where, again, the last equality is deﬁned only when i 6= 0. This implies F(U(λ,i)) = U(F · λ,i) for any i > 0 so U(λ,i) is F-stable if λ ∈ X(G) . Remark 3.1. Let us brieﬂy point out why F·λ is a cocharacter. For this, let σ : K[G] → K[G] and σ : K[G ] → K[G ] be the arithmetic Frobenius endomorphisms given by σ(f) = q m m ∗ −1 q ∗ −1 q (F ) (f ) and σ (f) = (F ) (f ) respectively. Note that σ and σ are semilinear ring q q isomorphisms in the sense that σ(af) = a σ(f) for all a ∈ K and f ∈ K[G]. With this we 11 obtain a bijection Hom (K[G],K[G ]) → Hom (K[G],K[G ]), K-alg m K-alg m [q] −1 γ 7→ γ := σ ◦ γ ◦ σ . −1 q ∗ ∗ [q] ∗ −1 ∗ Now for any f ∈ K[G] we have σ (f) = F (f) hence we get that (λ ) = (F ) ◦ λ ◦ ∗ ∗ F = (F · λ) . This implies that F · λ is a cocharacter. 3.2 Weighted Dynkin Diagrams Let us ﬁx a triple (G , T , B ), deﬁned overC, such that R(G , T , B ) = R(G, T , B ). C C C C C C 0 0 We will denote by Φ = Φ(T ) = Φ(T ) and ∆ = ∆ (T , B ) = ∆ (T , B ) the common C 0 C C 0 0 sets of roots and simple roots which are identiﬁed under the isomorphism of based root data. Now, let {0} 6= O ∈ N(G )/G be a non-zero nilpotent orbit and let {e,h,f} ⊆ g := C C C Lie(G ) be an sl -triple such that e ∈ O. As g is a Lie algebra over C such a triple exists C 2 C by the Jacobson–Morozov Theorem, see for example [16, Thm. 3.3.1]. After possibly replacing {e,h,f} by a G -conjugate we can assume that h ∈ Lie(T ) C C and α(h) > 0 for all α ∈ ∆ . Here we identify Φ with a subset of Hom(Lie(T ),C) by differentiating. We then get an additive function d : Φ → Z, deﬁned by d (α) = α(h), (3.3) which is called a weighted Dynkin diagram; by convention we set d equal to the 0 func- {0} tion, i.e., d (α) = 0 for all α ∈ Φ. The set of all weighted Dynkin diagrams will {0} be denoted by D(Φ,∆ ) = {d | O ∈ N(G )/G }. It is known that the assignment O C C N(G )/G → D(Φ,∆ ), given by O 7→ d , is a well-deﬁned bijection. C C O Now assume d ∈ D(Φ,∆ ) then there exists a unique vector λ ∈ Q ⊗ ZΦ such that d Z d(α) = hα,λ i for all α ∈ Φ. Indeed, if ω q ∈ Q ⊗ ZΦ denotes the dual basis element to β ∈ ∆ , so that β Z q q hα,ω i = δ for any α,β ∈ ∆ , then λ = d(α)ω . It follows from the remark β α,β d α α∈∆ q q q after [13, 5.6.5] that λ ∈ ZΦ so we obtain a unique cocharacter λ ∈ X(T ) ⊆ X(G). The d d 0 following result, due to Kawanaka and Premet, gives the parameterisation of nilpotent orbits in terms of weighted Dynkin diagrams, see [43, Thm. 2.1.1], [60, Thm. 2.7] and [74, 3.22]. Theorem 3.2 (Kawanaka, Premet). Recall that p is a good prime for G. The map D(Φ,∆ ) → N(G)/G deﬁned by d 7→ G · g(λ ,2) d reg is a bijection. Let D(G) = { λ | d ∈ D(Φ,∆ ) and g ∈ G} ⊆ X(G) be all the conjugates of the cocharacters coming from the weighted Dynkin diagrams; this is clearly a G-invariant subset of X(G). The elements of D(G) are called Dynkin cocharacters. Note that the map 12 D(Φ,∆ ) → D(G), given by d 7→ λ , deﬁnes a bijection D(Φ,∆ ) → D(G)/G. This is clear from Theorem 3.2 and (3.1) because if d,d ∈ D(Φ,∆ ) are weighted Dynkin diagrams g ′ and λ ′ = λ then G · g(λ ′,2) = G · g(λ ,2) , which implies d = d . With this d d d reg d reg we can trivially rephrase Theorem 3.2 to get that the map D(G) → N(G)/G deﬁned by λ 7→ G · g(λ,2) induces a bijection D(G)/G → N(G)/G. reg If e ∈ N(G) is a nilpotent element then we set D (G) = {λ ∈ D(G) | e ∈ g(λ,2) }. e reg For any closed subgroup H 6 G we set D (G, H) := D (G) ∩ X(H). Now assume d ∈ e e D(Φ,∆ ) is the weighted Dynkin diagram such that e ∈ G · g(λ ,2) . If λ ∈ D (G) then d reg e we must have G · g(λ,2) = G · g(λ ,2) so λ = λ . In particular, we have reg d reg d D (G) ⊆ λ , (3.4) e d G g where λ is the G-orbit of λ . Note also that D (G) = D (G) for any g ∈ G. In d d g·e e particular, the group C (e) acts on D (G). We will see in Lemma 3.6 that this action is G e transitive. 3.3 Action by the Longest Element Let w ∈ W = W (T ) denote the longest element of the Weyl group, relative to the 0 G 0 choice of simple roots ∆ = ∆ (T , B ). Recall that we have a permutation of the roots 0 0 ρ : Φ → Φ given by ρ(α) = − α which satisﬁes ρ(∆ ) = ∆ . We will need the following concerning this action on the set of weighted Dynkin diagrams. Proposition 3.3. For any weighted Dynkin diagram d ∈ D(Φ,∆ ) we have d ◦ ρ = d and λ = −λ . d d Proof. The case d = 0 holds trivially, so we assume d 6= 0. As this statement is purely about the action of the Weyl group on the cocharacter lattice we may answer this over C. In fact, it is clear that it sufﬁces to show this assuming that G is adjoint; so we assume this is the case. Let us choose a homomorphism ϕ : SL (C) → G such that the image Im(ϕ) 6 G 2 C C is a closed subgroup and the kernel is central. Moreover, let d ϕ : sl (C) → g be the 1 2 C derivative of ϕ and set " #! " #! " #! 0 0 −1 0 0 1 e = d ϕ , h = d ϕ , f = d ϕ . 1 1 1 1 0 0 1 0 0 We then have {e,h,f} ⊆ g is an sl -triple. It follows from [13, 5.5.5, 5.5.6], which applies in characteristic 0, that we may assume ϕ is chosen such that {e,h,f} realises the weighted Dynkin diagram d as in (3.3). Moreover, the remark after [13, 5.6.5] implies that " # −1 k 0 λ (k) = ϕ 0 k 13 for any k ∈ G . Consider the usual element " # 0 −1 s = ∈ SL (C) 1 0 s˜ and set s˜ = ϕ(s) ∈ G . By a straightforward computation we have that λ = −λ . Now, C d d −1 if g = w˙ s˜, with w˙ ∈ N (T ) a representative of w , then for any α ∈ ∆ we have 0 G 0 0 C −1 g w ˙ w hα, λ i = hα, − λ )i = h− α,λ i = hρ(α),λ i = d(ρ(α)) > 0 d d d d because ρ(α) ∈ ∆ . This implies that d◦ρ ∈ D(Φ,∆ ) is a weighted Dynkin diagram, being afforded by the triple {g · e,g · h,g · f} and the Dynkin cocharacter λ . However, g · e is in the same G -orbit as e so d ◦ ρ = d. Correspondingly, we must have λ = λ so C d d w ˙ s˜ λ = λ = −λ . d d d Corollary 3.4. For any weighted Dynkin diagram d ∈ D(Φ,∆ ) we have G · g(λ , −2) = d reg G · g(λ ,2) . d reg Proof. This is clear as g(−λ,i) = g(λ, −i). F F F Corollary 3.5. Any rational cocharacter λ ∈ D(G) := D(G) ∩ X(G) is G -conjugate to −λ. In particular, for any rational element e ∈ g(λ,2) we have reg (G · e) ∩ g(λ, −2) 6= ∅. reg Proof. We have λ = λ for some Dynkin diagram d ∈ D(Φ,∆ ) and element x ∈ G. Therefore by Proposition 3.3 there exists an element g ∈ G such that λ = −λ. As F·λ = λ F(g) g we must have F · (−λ) = −λ so λ = λ. By a standard application of the Lang– Steinberg theorem inside the connected (Levi) subgroup C (λ) we may thus assume that F g g ∈ G and λ = −λ. After (3.1) we get that g · e ∈ g( λ,2) = g(−λ,2) = g(λ, −2) , reg reg reg which proves the last statement. 3.4 Associated Cocharacters Let e ∈ N(G) be a nilpotent element. Recall that e is said to be G-distinguished, or simply distinguished, if every torus T 6 C (e) is contained in Z(G). Following [41, 5.3] we say that a cocharacter λ ∈ X(G) is associated to e if the following hold: • e ∈ g(λ,2), • there exists a Levi subgroup L 6 G such that e ∈ N(L) is L-distinguished and λ(G ) 6 L . der 14 q We will denote by A (G) ⊆ X(G) the subset of cocharacters that are associated to e. If H 6 G is a closed subgroup then, as above, we set A (G, H) = A (G) ∩ X(H). The e e two sets of cocharacters A (G) and D (G) represent the two classiﬁcations of nilpotent e e orbits; namely the Bala–Carter classiﬁcation and the classiﬁcation by weighted Dynkin diagrams. The following clariﬁes the relationship between these two sets; this is essen- tially shown in [60]. Lemma 3.6 (Premet). For any nilpotent element e ∈ N(G) we have A (G) = D (G). Conse- e e quently, C (e) acts transitively on D (G). Proof. By Theorem 3.2 there exists a unique weighted Dynkin diagram d ∈ D(Φ,∆ ) such that e ∈ G · g(λ ,2) . Arguing as in the proof of [74, 3.22] it follows from [60, Prop. 2.5] d reg and [54, Prop. 16] that λ is associated to any nilpotent element f ∈ g(λ ,2) . In par- d d reg ticular, there exists a Levi subgroup M 6 G such that f ∈ N(M) is M-distinguished and λ (G ) 6 M . d m der Now assume λ ∈ D (G) is a cocharacter then λ = λ for some g ∈ G by (3.4). e d By assumption e ∈ g(λ,2) = g · g(λ ,2) so there exists an element f ∈ g(λ ,2) reg d reg d reg such that e = g · f. If L = M then we have Lie(L) = g · Lie(M), so e ∈ Lie(L), and g g λ(G ) 6 L = M . As C (e) = C (f) we clearly have e is L-distinguished so m der der L M λ ∈ A (G) is associated to e. This shows D (G) ⊆ A (G). e e e Finally, by [41, 5.3] the group C (e) acts transitively on A (G). Since it stabilises D (G) (see Section 3.2) we must have D (G) = A (G). e e e 4. Unipotent Classes 4.1 Springer Morphisms We will denote by U(G) ⊆ G the unipotent variety of G. Clearly the conjugation action of G on itself preserves U(G) and any orbit of this restricted action is called a unipotent class. The resulting set of orbits will be denoted by U(G)/G. As G is equipped with a Frobenius endomorphism F : G → G so is its Lie algebra g; we will denote this again by F : g → g. Note that the adjoint action is F-equivariant, in the sense that F(g ·x) = F(g) · F(x) for any g ∈ G and x ∈ g. Recall that a Springer homeomorphism is a homeomorphism φ : U(G) → N(G) which is G-equivariant, in the sense that φ ( u) = g · φ (u) for spr spr spr all g ∈ G and u ∈ U(G), and F-equivariant, in the sense that F ◦ φ = φ ◦ F. If such a spr spr homeomorphism exists then we obtain a corresponding F-equivariant bijection U(G)/G → N(G)/G between the unipotent classes and nilpotent orbits of G. In general there can be many different Springer homeomorphisms, as observed by Serre [55, §10]. In this regard, we will need the following classic result of Springer and 15 Serre, see [71, III, 3.12] and [55, §10]. Theorem 4.1 (Springer, Serre). Recall that p is assumed to be good for G. There exists a Springer homeomorphism φ : U(G) → N(G) and the resulting bijection U(G)/G → N(G)/G spr given by φ is independent of the choice of φ . spr spr We often have a stronger statement available to us concerning Springer homeomor- phisms. Namely, that there exists a Springer homeomorphism which is an isomorphism of varieties; we call such a morphism a Springer isomorphism. In general, Springer iso- morphisms need not exist even in good characteristic, as is exhibited by the example of G = PGL when p = 2, see [65, 7.0.3]. However, if G is proximate, in the following sense, then every Springer homeomorphism is an isomorphism, see [74, 3.4]. Deﬁnition 4.2 ([74, 2.10]). We say G is proximate if some (any) simply connected covering G → G of the derived subgroup G 6 G is a separable morphism. sc der der The assumption that G is proximate is required for the construction of Kawanaka’s GGGCs. We take this opportunity to mention the following fact concerning proximate groups, which will be used in Section 6. Lemma 4.3. Assume G is proximate and p is good for G then any closed connected reductive subgroup H 6 G of maximal rank is also proximate. Proof. Let T 6 H be a maximal torus of H then, by assumption, we have T 6 G is a q q q q maximal torus of G. Let R(G, T) = (X,Φ,X,Φ) and R(H, T) = (X,Ψ,X,Ψ) be the cor- responding root data. As remarked in [74, 2.15] we have G is proximate if and only if q q X/ZΦ has no p-torsion. Now, we have a short exact sequence q q q q q q 0 −→ ZΦ/ZΨ −→ X/ZΨ −→ X/ZΦ −→ 0. q q Since p is good for G we have ZΦ/ZΨ has no p-torsion by [71, 4.5]. On the other hand, q q X/ZΦ has no p-torsion since G is proximate. Therefore by the previous short exact se- q q quence, X/ZΨ has no p-torsion and H is proximate. 4.2 Canonical Parabolic and Levi Subgroups We assume ﬁxed a Springer homeomorphism φ : U(G) → N(G) as in Theorem 4.1. spr Using this Springer homeomorphism we may invoke the classiﬁcation of nilpotent orbits, as in Theorem 3.2, to obtain a classiﬁcation of unipotent conjugacy classes. Now, for any unipotent element u ∈ U(G) and closed subgroup H 6 G we set D (G) := D (G) and D (G, H) := D (G, H). u φ (u) u φ (u) spr spr If H is any closed subgroup of G containing u, we will write A (u) for the component group C (u)/C (u) of the centraliser C (u). We record the following concerning these H H component groups, see [69, §1.4] or [4, §8.B]. 16 Lemma 4.4. Assume G is connected reductive and L 6 G is a Levi subgroup. If g ∈ L then the natural homomorphism A (g) → A (g) is injective. L G ◦ ◦ Proof. The kernel of this map is C (g) ∩ C (g) = L ∩ C (g). As L is a Levi subgroup G G ◦ ◦ L = C (Z (L)) so the kernel is C (Z (L)) which is connected by [70, 6.4.7(i)]. G C (g) Proposition 4.5. Assume u ∈ G is a unipotent element and λ ∈ D (G) is a Dynkin cocharacter. If C (u) := L(λ) ∩ C (u) then the following hold: L(λ) G (i) C (u) = C (u) · C (u) and C (u) is the unipotent radical of C (u), G L(λ) U(λ) U(λ) G (ii) the natural map A (u) → A (u) is an isomorphism. L(λ) G Proof. Assume (i) holds. As C (u) is the unipotent radical it is connected soC (u) 6 U(λ) U(λ) ◦ ◦ ◦ C (u). This implies that C (u) = (C (u) ∩ C (u)) · C (u) and (ii) follows imme- L(λ) U(λ) G G G diately. It is easy to check that the property in (i) is preserved under taking isotypic morphisms. The statement then follows from [60, 2.3(iii)]. We leave the details to the reader. Remark 4.6. Note (ii) does not follow from Lemma 4.4 because we do not necessarily have that u ∈ L(λ). It follows from (3.2) that F · D (G) = D (G) for any e ∈ N(G). Hence, if e ∈ N(G) F(e) is F-ﬁxed then F preserves the subset D (G) ⊆ X(G). It is shown in [74, 3.25] that if F F e ∈ N(G) is F-ﬁxed then there exists an F-ﬁxed cocharacter λ ∈ D (G) , which is unique up to G -conjugacy. Combining this with Corollary 3.5 we get the following. Lemma 4.7. Assume u ∈ U(G) is a rational unipotent element then the following hold: F F F (i) D (G) 6= ∅ and the natural action of C (u) on D (G) is transitive, u G u F F (ii) any cocharacter λ ∈ D (G) is G -conjugate to −λ. F F The fact that there exists a character λ ∈ D (G) when u ∈ U(G) is rational implies that the corresponding subgroups P(λ), L(λ) and U(λ) are all F-stable, see Section 3.1. 4.3 Rational Class Representatives −1 Given an element u ∈ G we will denote by Cl (u) = {gug | g ∈ G} the corre- sponding G-conjugacy class of u. Recall that if u ∈ G is F-ﬁxed then the conjugacy class Cl (u) is F-stable. Moreover, the ﬁnite group G acts by conjugation on the ﬁxed F F F points Cl (u) . We denote by Cl (u) /G the resulting set of orbits, which are simply G G F F the G -conjugacy classes that are contained in Cl (u) . Recall from Section 4.2 that A (u) = C (u)/C (u) denotes the component group G G g F of the centraliser of u. If g ∈ G is an element such that u ∈ Cl (u) is F-ﬁxed then −1 g F(g) ∈ C (u). As F(u) = u we have F induces an automorphism F : A (u) → A (u) G G G of the component group. We have an equivalence relation ∼ on A (u) given by a ∼ F G F −1 1 b if and only if a = x bF(x) for some x ∈ A (u). We denote by H (F,A (u)) the G G resulting set of equivalence classes, which are the F-conjugacy classes of A (u). We note the following well-known parameterisation result, see for example [19, Prop. 3.21]. 17 F g −1 ◦ Proposition 4.8. The map Cl (u) → A (u) deﬁned by u 7→ g F(g)C (u) induces a G G F F 1 well-deﬁned bijection Cl (u) /G → H (F,A (u)). G G 5. Fusion of Unipotent Classes If u ∈ U(G) is a unipotent element then, by deﬁnition, Cl (u) ⊆ U(G) is a unipotent class. Now, assume H 6 G is a closed connected reductive subgroup of G. We have a natural map U(H)/H → U(G)/G given by Cl (u) 7→ Cl (u) which we call the fusion H G map; we will also denote this by U(H) U(G). One way to attempt the problem of determining the fusion map is to characterise unipotent classes by their Jordan normal form under some rational representation of the group. When G is simple of exceptional type and H is a maximal subgroup then this has been done by Lawther [45] in all characteristics. Here we are interested in the case where H contains a maximal torus of G and p is good for G. Using the following result of Fowler–Ro¨hrle we can give an easy combinatorial algorithm for computing the fusion map in terms of weighted Dynkin diagrams. Theorem 5.1 (Fowler–Ro¨hrle, [23, Thm. 1.1]). Assume p is a good prime for G and H 6 G is a closed connected reductive subgroup of G of maximal rank. If e ∈ N(H) is a nilpotent element then A (H) = A (G, H). In particular, if u ∈ U(H) is a unipotent element then e e D (H) = D (G, H). u u Proof. The second conclusion follows from Lemma 3.6. To calculate the fusion map we will only need the inclusion D (H) ⊆ D (G). We will e e also exclusively apply this in the case where H = C (s) for s ∈ G a semisimple element. We note that, in this case, the result we need is also proved by McNinch–Sommers [56, Rem. 25] using a different argument. The algorithm we give here will be used in the later parts of the paper. An analogous algorithm, given in terms of sl -triples, was used by Sommers in [66]. Algorithm 5.2 (Unipotent Fusion). Assumep is a good prime for G and H 6 G is a closed connected reductive subgroup containing a maximal torus T 6 H of G. Let R(G, T) = q q q q (X,Φ,X,Φ) and R(H, T) = (X,Ψ,X,Ψ) be the corresponding root data. Fix simple systems of roots Π ⊆ Ψ and ∆ ⊆ Φ. For α ∈ ∆ , resp., α ∈ Π, we denote by ω q ∈ QΦ, resp., π ∈ QΨ, the corresponding fundamental dominant coweight. [Input] A weighted Dynkin diagram d ∈ D(Ψ,Π), [Step 1] Determine the matrix A = (a ) such that α = a β. α,β α∈Π,β∈∆ α,β β∈∆ [Step 2] Let C = (hα q,βi) and D = (hα q,βi) be the transposed Cartan ma- α,β∈Π α,β∈∆ q q trices of Ψ and Φ respectively. The natural inclusion map QΨ → QΦ, with respect to the bases (πq ) and (ω q ) , is represented by the matrix α α∈Π α α∈∆ −1 C AD. Deﬁne a function f : ∆ → Z by setting −1 (f(α)) = (d(β)) C AD α∈∆ β∈Π and extend this linearly to a function f : Φ → Z. [Step 3] Let Φ ⊆ Φ be the positive roots determined by ∆ . Find an element w ∈ W (T), using [36, Algorithm A] for instance, such that −1 + w + + {α ∈ Φ | α 6∈ Φ } = {α ∈ Φ | f(α) < 0}. w w + We then have f (α) = f( α) > 0 for all α ∈ Φ . [Return] The weighted Dynkin diagram f ∈ D(Φ,∆ ). Identifying unipotent classes with weighted Dynkin diagrams, as in Theorems 3.2 and 4.1, we have the map D(Ψ,Π) → D(Φ,∆ ) describes the fusion map U(H) U(G). Remark 5.3. That this algorithm returns a weighted Dynkin diagram is part of the content of the Fowler–Ro¨hrle Theorem. This algorithm is easily implemented in CHEVIE [57] as it contains the weighted Dynkin diagrams of all unipotent classes. We note that our transposed Cartan matrices are simply the Cartan matrices in CHEVIE. For Step 3 of the algorithm we can use CHEVIE’s command ElementWithInversions. Example 5.4. Consider the case where G is simple of type B and p 6= 2. We assume ∆ = {α ,α } is a simple system of roots with the corresponding positive roots being 1 2 Φ = (10,01,11,12) in Bourbaki notation [9]. Hence, α is the short simple root. Let Ψ = {±10,±12} be a subsystem of type 2A with simple system Π = {10, −12}. The coroot corresponding to −12 is −α q − α q so we have 1 2 " # " # " # 2 0 1 0 2 −1 C = A = D = 0 2 −1 −1 −2 2 Letd be the weighted Dynkin diagram so that d(α) = 2 for all α ∈ ∆ , i.e., the weighted Dynkin diagram of the regular class. The function f obtained in Step 2 of the algorithm has values (2, −2,0, −2) on the positive roots taken in the ordering listed above. The −1 + w + element w = s s is such that {α ∈ Φ | α 6∈ Φ } = {01,12} hence satisﬁes the 2 1 w + condition in Step 3. Now we have (f (α) | α ∈ Φ ) = (2,0,2,2). In terms of weighted Dynkin diagrams the fusion map is given as follows. 2 2 and 2 0 2 0 0 1 0 2 We apply this same procedure with Ψ = {±01} and Π = {01} and d also deﬁned by d(01) = 2. We obtain the same weighted Dynkin diagram as above. This implies a regular element of the 2A is conjugate, in G, to a regular element of the Levi subgroup with simple root 01. If we assume G = SO (K), deﬁned as in [31, 1.7.3], then we see that the element must lie in the unipotent class of G whose elements act on the natural module with Jordan blocks of size (3,1,1). Inspecting the tables in [45] one sees that for a maximal connected reductive subgroup H 6 G it often happens that the fusion map U(H) U(G) is trivial, in the sense that if u,v ∈ U(H) are two unipotent elements with Cl (u) = Cl (v) then Cl (u) = Cl (v). Of G G H H course, there can be non-trivial fusion as is shown by the above example. We will need the following which guarantees trivial fusion. Theorem 5.5. Recall our assumption that p is good for G and let H 6 G be a closed connected reductive subgroup of maximal rank. If u,v ∈ U(H) are unipotent elements such that u ∈ Cl (v) then Cl (u) = Cl (v) if and only if Cl (u) = Cl (v). G G H H The proof of Theorem 5.5 is given at the end of this section. We will prove this state- ment by passing to the nilpotent cone, using a Springer morphism, and then proving the analogous statement for nilpotent orbits. By passing to the nilpotent cone we can use the existence of transverse slices to nilpotent orbits to help prove the statement. The ex- istence of such transverse slices will invoke a restriction on p but this will be removed using some standard reduction arguments. For this restriction on p we will need the following notion due to Herpel. q q Deﬁnition 5.6 (Herpel, [39]). Let R = (X,Φ,X,Φ) be a root datum then we say p is pretty good for R if the following properties hold: • for any subset Ψ ⊆ Φ we have X/ZΨ has no p-torsion q q q q • for any subset Ψ ⊆ Φ we have X/ZΨ has no p-torsion. We say p is pretty good for G if it is pretty good for the root datum R(G, T ). q q If R = (X,Φ,X,Φ) is a root datum, as above, then for any closed and symmetric q q subset Ψ ⊆ Φ we have a corresponding root datum R = (X,Ψ,X,Ψ). We will need the following fact concerning pretty good primes which is obvious from the deﬁnition. q q Lemma 5.7. If p is pretty good for the root datum R = (X,Φ,X,Φ) then for any closed symmetric subset Ψ ⊆ Φ we have p is pretty good for R . We note that if p is a pretty good prime for G then G is proximate in the sense of Section 4.1, see [74, 2.15]. Moreover, by a result of Herpel [39, Thm. 1.1], we have the centraliser C (x) of any element x ∈ g is separable, see [74, 3.10]. With this in mind we have the following existence result for transverse slices, which is shown in [74, 3.27]. Proposition 5.8 (see [74, 3.27]). Assume p is a pretty good prime for G. If e ∈ N(G) and λ ∈ D (G) then there exists a λ-invariant complement s ⊆ g to [g,e], i.e., λ(G ) · s = s and e m g = s ⊕ [g,e] as vector spaces. Furthermore, for any such subspace s the subset Σ = e + s ⊆ g is a transverse slice to the orbit G · e. Remark 5.9. The separability of centralisers implies that the tangent space at e is T (G · e) = [g,e] = {[x,e] | x ∈ g}. Inspecting the proof of [74, 3.27] we see that if s ⊆ g is a λ-invariant complement of [g,e] then we automatically have s ⊆ g(λ,i) because i60 u(λ,1) ⊆ [g,e]. 20 If p ≫ 0 is large then, by the Jacobson–Morozov Theorem, any nilpotent element e ∈ N(G) is contained in an sl -triple {e,h,f}. In this case we have g = [g,e] ⊕ c (f) and 2 g the subset e + c (f) ⊆ g is a transverse slice to the orbit G · e known as the Slodowy slice. Here c (f) = Lie(C (f)) is the centraliser of f ∈ N(G) in the Lie algebra. Therefore, g G Proposition 5.8 provides an alternative to the Slodowy slice when p is pretty good for G. In this direction we will need the following properties of transverse slices which are well-known in the case of the Slodowy slice. Lemma 5.10. Assume p is a pretty good prime for G. If e ∈ N(G) and s ⊆ g is a λ-invariant complement to [g,e] then the transverse slice Σ = e + s satisﬁes the following properties: (a) Σ ∩ G · e = {e}, ′ ′ (b) if e ∈ N(G) is such that G · e ∩ Σ 6= ∅ then G · e ∩ Σ 6= ∅. Proof. (a). Clearly we have T (Σ ∩ G · e) ⊆ T (Σ) ∩ T (G · e) = s ∩ [g,e] = {0} so dim(Σ ∩ e e e G ·e) = 0 which implies Σ ∩ G · e is ﬁnite. We deﬁne a G -action on g via the homomor- phism ρ : G → GL(g) given by 2 −1 ρ(k)x = k (λ(k ) · x) for all x ∈ g and k ∈ G . This action preserves Σ and is a contracting G -action with m m unique ﬁxed point e ∈ Σ since s ⊆ g(λ,i). Now, by [41, Lem. 2.10] the orbit G · e i60 is preserved by this action hence so is the intersection Σ ∩ G · e. If x ∈ Σ ∩ G · e then the G -orbit of x is irreducible because G is irreducible. As Σ ∩ G · e is ﬁnite the G -orbit m m m of x must be {x} so x ∈ Σ = {e}. (b). As Σ is a transverse slice to the orbit G · e we have the action map G × Σ → g is a smooth morphism. This implies the image G · Σ is an open subset of g, see, for instance, the proof of [74, 3.27]. In particular, we have O = G·Σ∩ G · e is a non-empty open subset ′ ′ of G · e (it is non-empty by assumption). As G is irreducible so is G · e which implies ′ ′ ′ ∅ 6= O ∩ G · e = G · Σ ∩ G · e = G · (Σ ∩ G · e ) ′ ′ because both O and G·e are non-empty open subsets of G · e . This shows that Σ∩ G·e must be non-empty. q q Assume T 6 G is a maximal torus and R(G, T) = (X,Φ,X,Φ). For each root α ∈ Φ we have a corresponding 1-dimensional root subspace g ⊆ g and, moreover, we have g = t ⊕ g α∈Φ where t := Lie(T). We denote by C (G) the set of closed subgroups H 6 G such that H is connected reductive and T 6 H. In particular, the elements in C (G) have maximal rank. If H ∈ 21 C (G) and h := Lie(H) then there exists a subset Ψ ⊆ Φ such that h = t ⊕ g . α∈Ψ As p is a good prime for G we have Ψ is closed and symmetric by [19, 1.14] and [8, 2.5], see q q also [53, §13.1]. In this case we have the root datum of H is given by R(H, T) = (X,Ψ,X,Ψ). Lemma 5.11. If n = g then we have g = h ⊕ n. Moroever, for any element e ∈ h we α∈Φ\Ψ have [g,e] = [h,e] ⊕ [n,e]. Proof. The ﬁrst statement is obvious and so clearly we have [g,e] = [h,e] + [n,e]. To see that this sum is direct it sufﬁces to show that [n, h] ⊆ n because then we have [h,e] ∩ [n,e] ⊆ h ∩ n = {0} since e ∈ h. Recall that for any two roots α,β ∈ Φ we have g if α + β ∈ Φ α+β [g , g ] ⊆ 0 if α + β 6∈ Φ. Now, if α ∈ Φ \ Ψ and β ∈ Ψ are roots such that α + β ∈ Φ is a root then we must have α +β ∈ Φ \ Ψ. If this were not the case then α = (α + β) − β ∈ Ψ because Ψ is closed and symmetric, a contradiction. Proposition 5.12. Assume p is a pretty good prime for G and H 6 G is a closed connected reductive subgroup of maximal rank. If e,e ∈ N(H) are nilpotent elements with e ∈ H · e then ′ ′ G · e = G · e if and only if H · e = H · e . Proof. Let λ ∈ A (H) be a cocharacter associated to e in H then λ ∈ D (H) by Lemma 3.6. e e We now choose a λ-invariant complement s ⊆ h to [h,e]. The set Σ = e + s is then a transverse slice to the orbit H · e, as in Proposition 5.8. We assume T 6 H is a maximal torus containing λ(G ) then T is also a maximal torus of G by assumption. Consider the decomposition g = h ⊕ n deﬁned in Lemma 5.11. As λ(G ) 6 T each root space g is λ-invariant, so n is λ-invariant. Moreover [n,e] is λ-invariant so we can choose a λ-invariant complement s ⊆ n to [n,e] by choosing a complement in each de- gree. By Lemma 5.11 we thus have ′ ′ g = h ⊕ n = (s ⊕ [h,e]) ⊕ (s ⊕ [n,e]) = (s ⊕ s ) ⊕ [g,e] so s˜ := s ⊕ s ⊆ g is a λ-invariant complement to [g,e]. By Theorem 5.1 we have λ ∈ D (H) = A (H) ⊆ A (G) = D (G) is associated to e in G so Σ = e + s˜ is a transverse e e e e slice to the orbit G · e by Proposition 5.8. ′ ′ ′ Clearly if H · e = H · e then G · e = G · e so assume conversely that G · e = G · e . ′ ′ By assumption e ∈ H · e so we have H · e ∩ Σ 6= ∅ hence H · e ∩ Σ 6= ∅ by Lemma 5.10. However, again by Lemma 5.10, we have ′ ′ ˜ ˜ ∅ 6= H · e ∩ Σ ⊆ G · e ∩ Σ = G · e ∩ Σ = {e}. 22 ′ ′ This implies that e ∈ H · e so H · e = H · e as desired. Proof (of Theorem 5.5). Assume ϕ : G → G is an isotypic morphism, see Section 2.2. Such a morphism restricts to a homeomorphism ϕ : U(G) → U(G) which is equivariant with respect to the conjugation actions. e e e If X ⊆ G is a subset then we denote by X = XZ (G) ⊆ G the product. The assignment e e X 7→ X yields a bijection between maximal tori of G and maximal tori of G. Moreover, if T 6 G is a ﬁxed maximal torus then this deﬁnes a bijection C (G) → C (G) by [53, T e Prop. 13.5 and Thm. 13.6]. If H ∈ C (G) then the restriction of ϕ to H is also an isotypic morphism H → H. With this one readily checks that the statement in Theorem 5.5 is true e e for the pair (G, H) if and only if it is true for the pair (G, H). We ﬁrst apply this remark to a smooth covering G → G, see [75, 1.24], so that we may assume the derived subgroup of G is simply connected. Next, we apply it to a smooth regular embedding, see [75, 7.5], so that we may assume the centre of G is smooth and connected. In particular, we have R(G, T) is torsion free, as deﬁned in Section 2.2, so p is a pretty good prime for G. Applying a Springer morphism, see Theorem 4.1, we see that the statement in Theorem 5.5 is equivalent to that in Proposition 5.12 so we are done. II. CENTRAL FUNCTIONS ON FINITE REDUCTIVE GROUPS Recall from Section 2 that for every F-stable subgroup H of G we denote by H := H the ﬁnite group of ﬁxed points under F. 6. Generalised Gelfand–Graev Characters F G To each rational unipotent element u ∈ U(G) Kawanaka associated a character Γ known as a generalised Gelfand–Graev Character (GGGC). If s ∈ C (u) is a semisim- C (s) ◦ G ple element centralising u then u ∈ C (s) and we may consider the GGGC Γ . Our C (s) G G purpose here is to show that the data deﬁning both Γ and Γ are comparable. 6.1 Kawanaka Data As before we set g = Lie(G). The deﬁnition of GGGCs requires data which is both global and local, in the sense that some data is the same for all unipotent elements and other data depend on the choice of u. We start by introducing the global data, which is a triple (φ ,κ,χ ) consisting of: spr p • a Springer isomorphism φ : U(G) → N(G), see Section 4.1, spr • a symmetric bilinear form κ : g × g → K which is G-invariant, with respect to the adjoint action, and is deﬁned over F , • and a non-trivial additive character χ : F → Q of the additive group of the p p ℓ ﬁnite ﬁeld F . 23 ⊥ If V ⊆ g is a subspace then we will denote by V = {x ∈ g | κ(x,v) = 0 for all v ∈ V} the subspace orthogonal to V with respect to κ. Note that we do not assume that κ is non-degenerate. Since φ is G-equivariant, then for any cocharacter λ ∈ X(G) it restricts to a P(λ)- spr equivariant isomorphism U(λ) → u(λ,1), see for example [55, Rem. 10]. We will require additional properties on this restriction, given in the following deﬁnition. Deﬁnition 6.1. Any triple K = (φ ,κ,χ ), as above, is called a Kawanaka datum for G if spr p the following hold: (KD1) for any cocharacter λ ∈ X(G) the following hold: (λ1) φ (U(λ,2)) = u(λ,2), spr (λ2) for any i ∈ {1,2} there exists a non-zero constant c ∈ K such that for any u,v ∈ U(λ,i) we have • φ (uv) − φ (u) − φ (v) ∈ u(λ,i + 1), spr spr spr • φ ([u,v]) − c [φ (u),φ (v)] ∈ u(λ,2i + 1), spr i spr spr (KD2) for any maximal torus S 6 G and root α ∈ Φ(S) we have g = Lie(S) ⊕ g . α β β∈Φ(S)\{−α} Remark 6.2. The conditions (λ1) and (λ2) in (KD1) ensure that the restriction of φ to spr any unipotent radical U(λ) is a Kawanaka isomorphism in the sense of [74, 4.1]. Note also that the condition in (KD2) automatically holds whenever κ is non-degenerate by the S-invariance of κ. Let us observe that Kawanaka data exist for proximate groups. Firstly, it follows from [74, 4.6], and our assumption that G is proximate, that there exists a Springer isomor- phism φ satisfying (KD1). Note that whilst it is only required that φ (U(λ,2)) ⊆ spr spr u(λ,2) in [74, 4.1(K1)] equality must hold because φ is an isomorphism and U(λ,2) spr and u(λ,2) are closed subsets of the same dimension. Now, in [74, 5.6] it is shown that there exists a form κ satisfying (KD2) when S = T . g g However, if S 6= T then there exists a g ∈ G such that S = T . We have Φ(S) = Φ(T ) 0 0 0 g g and for any α ∈ Φ(T ) we have g = g · g . By the G-invariance of κ we have (g ) = 0 α α α ⊥ ⊥ (g · g ) = g · (g ) so (KD2) holds. To recapitulate, we have the following. α α Lemma 6.3. If G is proximate then there exists a Kawanaka datum K = (φ ,κ,χ ) for G. spr p Remark 6.4. Note we obtain a character χ = χ ◦ Tr : F → Q where Tr is q p F /F q ℓ F /F q p q p the ﬁeld trace. From now until the end of this section we assume that the group G is proximate. We assume K = (φ ,κ,χ ) is a ﬁxed Kawanaka spr p datum for G. 24 6.2 Deﬁnition of GGGCs We now brieﬂy recall the construction of GGGCs; this construction is described in [43, §3.1] and [74, §5]. Let u ∈ U(G) be a rational unipotent element. We denote by G F η : U(G) → Q the map deﬁned by u ℓ η (v) = χ (κ(φ (u),φ (v))). q spr spr It follows from the G-equivariance of κ and φ that for any x ∈ G we have spr x G G η = η . (6.1) −1 u xux If λ ∈ D (G) is a Dynkin cocharacter associated to u then, by deﬁnition, φ (u) ∈ u spr g(λ,2) so F G U(λ, −3) ⊆ {v ∈ U(G) | η (v) = 1} (6.2) and η restricts to a linear character U (λ, −2) → Q , see [74, 5.8]. u G ℓ Lemma 6.5. Let us consider g(λ, −1) as an algebraic group under addition. We have a surjective homomorphism of algebraic groups γ : U(λ, −1) → g(λ, −1) deﬁned by γ(v) = π(φ (v)), spr where π : g → g(λ, −1) is the natural projection map. The kernel of γ is U(λ, −2). Hence, for any −1 subspace m ⊆ g(λ, −1) there exists a closed subgroup U(λ, m) := γ (m) containing U(λ, −2) as a normal subgroup. Moreover, we have F(U(λ, m)) = U(F · λ,F(m)) and for any a ∈ G we a a have U(λ, m) = U( λ,a · m). Proof. That γ is a morphism of varieties is clear and as φ is an isomorphism U(λ, −1) → spr u(λ, −1) it is clearly surjective. Note that for any i ∈ Z we have U(λ, −i) = U(−λ,i) and u(λ, −i) = u(−λ,i). For any u,v ∈ U(λ, −1) we have φ (uv) + u(λ, −2) = φ (u) + φ (v) + u(λ, −2), spr spr spr which follows from (−λ2), so γ is a homomorphism. Its kernel is U(λ, −2) by (−λ1). The remaining statements are clear. Now consider the bilinear form ω : g(λ, −1) × g(λ, −1) → K deﬁned by ω(x,y) = κ(φ (u), [x,y]). (6.3) spr Under our assumptions ω is a non-degenerate alternating bilinear form on g(λ, −1), see [74, 5.9]. For a subspace V ⊆ g(λ, −1) we denote by V = {x ∈ g(λ, −1) | ω(x,y) = 0 for all y ∈ V} the perpendicular space of V with respect to ω. Now let m ⊆ g(λ, −1) be an F-stable Lagrangian subspace, by which we mean that m = m . As in Lemma 6.5 we have a corresponding F-stable closed subgroup U(λ, m) 6 U(λ, −1) and we set U(λ, m) := U(λ, m) . By Chevalley’s commutator formula we have 25 G [U(λ, −1),U(λ, −2)] ⊆ U(λ, −3) so it follows from (6.2) that the character η of U(λ, −2) is invariant under U(λ, −1). Moreover, it can be extended to a character η˜ of U(λ, m), see [74, 5.13(ii)] for instance. U(λ,−1) G G We will denote by ζ := Ind (η˜ ) the induction of the extension. It is an u,λ U(λ,m) irreducible character of U(λ, −1) that satisﬁes U(λ,−1) G dim g(λ,−1)/2 G Ind (η ) = q ζ , (6.4) u u,λ U(λ,−2) G G see the proof of [74, 5.15]. In particular, the character ζ depends only on η and not u,λ on the choice of extension η˜ . It follows from (6.1) and (6.4) that for any x ∈ G we have x G G ζ = ζx x (6.5) u,λ u, λ Deﬁnition 6.6 (Kawanaka). Fix a Kawanaka datum K := (φ ,κ,χ ) for G. To the pair spr p (u,λ) where: • u is an F-stable unipotent element of G, • λ ∈ D (G) is an F-stable Dynkin cocharacter associated to u, we associate the Generalised Gelfand–Graev Character G G G Γ = Ind (ζ ). u U(λ,−1) u,λ By Lemma 4.7 and (6.5) we have Γ does not depend upon the choice of cocharacter F G G λ ∈ D (G) . Moreover, Γ = Γ for any x ∈ G. We must now relate the deﬁnition u u given in Deﬁnition 6.6 with that occurring previously in the literature, see [43, 50, 74]. F g g By Corollary 3.5 there exists an element g ∈ G such that λ = −λ so clearly U(λ,i) = U( λ,i) = U(−λ,i) = U(λ, −i) for any 0 6= i ∈ Z. Hence, conjugating we get that G g G G Γ = Γ = Ind (ζ ). u u U(λ,1) u,−λ Here ζ is an irreducible character obtained, as in (6.4), from the linear character of u,−λ U(λ,2) given by v 7→ χ (κ(g · φ (u),φ (v))). q spr spr This setting now matches, almost exactly, that used in [43, 74], except there the el- † † ement g · φ (u) should be replaced by φ (u) where : g → g is an F -opposition spr spr q automorphism of the Lie algebra. This notion depends upon the choice of a Chevalley basis for g. Now φ (u) and φ (u) are known to be G-conjugate, see [74, Prop. 5.3], spr spr F G but not necessarily G -conjugate. This means that Γ , as deﬁned in Deﬁnition 6.6, is a generalised Gelfand–Graev character as deﬁned in [43, 74]. However, they may differ up to a permutation of the rational classes inside a given G-conjugacy class. The arguments in [74] can be carried out verbatim with the element g · φ (u) re- spr placing the element −φ (u) . The key point here is that if s ⊆ g is a (−λ)-invariant spr complement subspace as in Proposition 5.8 then Σ = g · φ (u) + s is a transverse slice spr to the nilpotent orbit G · φ (u). For instance, the proof of the key result [74, Prop. 6.9] spr relies only on the fact that −φ (u) ∈ g(λ, −2). spr 26 Remark 6.7. The deﬁnition used here seems to be the correct one. For instance, it matches that used in [50]. Indeed, in [50] Lusztig works with an sl -triple {e,h,f}. His linear character on U(λ,2) is deﬁned as above but using the element −f. As is easily checked, in this case the elements e and −f are in the same SL (q)-orbit. 6.3 The Structure of the Radical To deﬁne Kawanaka characters we will need to consider the structure of the unipotent G G radical U(λ, −1). The kernel Ker(η )⊳ U(λ, −1) of the linear character η is a normal u u subgroup of U(λ, −1) as η is U(λ, −1)-invariant. Our interest is in the structure of the quotient group Q = U(λ, −1)/ Ker(η ). The following are immediate from Chevalley’s commutator formula: • U(λ, −2)/U(λ, −3) is an elementary abelian p-group, • [U(λ, −1),U(λ, −1)] ⊆ U(λ, −2) and [U(λ, −2),U(λ, −1)] ⊆ U(λ, −3). G G Since U(λ, −3) 6 Ker(η ) this implies [Q,Q] 6 U(λ, −2)/ Ker(η ) 6 Z(Q). Moreover, u u as U(λ, −2)/ Ker(η ) necessarily has a faithful irreducible character, it must be a cyclic group. Hence, it must be cyclic of order p as U(λ, −2)/ Ker(η ) is a quotient of the ele- mentary abelian group U(λ, −2)/U(λ, −3). The following was observed by Kawanaka in [44, §2.2]. Lemma 6.8. Assume p 6= 2. The group Q = U(λ, −1)/ Ker(η ) is either cyclic of order p or is an extraspecial p-group of exponent p. Proof. It is shown in [25, Satz 1.4.1] that we have Z(Q) = U(λ, −2)/ Ker(η ). Therefore Q/Z(Q) ≃ U(λ, −1)/U(λ, −2) is elementary abelian and Z(Q) is cyclic of order p. This shows that Q is either cyclic or an extraspecial group. Now consider the question of the p p p p(p−1)/2 p p exponent. If x,y ∈ Q then by [2, 8.6] we have (xy) = x y [x,y] = x y because [x,y] ∈ Z(Q) and Z(Q) has exponent p. Here we use our assumption that p is odd. As any non-trivial element of U(λ, −1) (hence of its quotient Q) can be written as a product of elements of order p, namely from the root groups, it follows that Q has exponent p. Let us continue to assume that p 6= 2. Recall that for any extraspecial p-group one can associate a symplectic form ω : Q × Q → Z(Q) on Q = Q/Z(Q) given by tak- ing commutators, see [2, 23.10] for more details. Let Aut (Q) 6 Aut(Q) be the ker- nel of the restriction map Aut(Q) → Aut(Z(Q)). It is clear that this group acts on Q and preserves the form ω . By [78, Thm. 1] this induces an isomorphism Out (Q) := Aut (Q)/ Inn(Q) → Sp(Q | ω ) onto the symplectic group deﬁned by the form. We record here the following to be used below. Lemma 6.9. Assume p 6= 2 and Q and Q are extraspecial p-groups of exponent p of the same 1 2 ﬁnite cardinality. Let Q = Q /Z(Q ). We assume that we are given: i i ′ ∗ • a ﬁnite p -group B and homomorphisms ϕ : B → Aut (Q ), i i • a B-equivariant isomorphism π : Q → Q , 1 2 27 ∼ • and an isomorphism γ : Z(Q ) → Z(Q ) such that ω (π(x),π(y)) = γ(ω (x,y)) 1 2 Q Q 2 1 for all x,y ∈ Q . Then there exists a B-equivariant isomorphism π : Q → Q lifting π. Such an isomorphism is 1 2 unique up to composing with a B-invariant element of Inn(Q ). Proof. There is only one isomorphism class of extraspecial groups of exponent p of a given cardinality, so there exists some isomorphism φ : Q → Q which necessarily fac- 1 2 tors through an isomorphism φ : Q → Q satisfying ω (φ(x),φ(y)) = φ(ω (x,y)) Q Q 1 2 2 1 for all x,y ∈ Q . It is shown by Winter [78, Thm. 1] that the restriction map Aut(Q ) → 1 1 Aut(Z(Q )) is surjective and the kernel Aut (Q ) has a complement in Aut(Q ). It fol- 1 1 1 lows that there exists some automorphism α ∈ Aut(Q ) such that π = αφ is an iso- morphism Q → Q which lifts π. The choice of α is unique up to composing with an 1 2 automorphism trivial on Z(Q ) and Q /Z(Q ), hence an element of Inn(Q ). 1 1 1 1 Let p : Aut (Q ) ։ Aut(Q ) be the natural surjection, whose kernel Inn(Q ) = i i i i −1 −1 Q is an abelian p-group. Note that we have p (παπ ) = πp (α)π for all α ∈ 2 1 Aut (Q ). Let ψ = p ◦ ϕ : B → Aut(Q ) be the composition. The B-equivariance 1 i i i −1 of π implies that ψ (a) = πψ (a)π for any a ∈ B. In turn, this implies that q(a) = 2 1 −1 −1 πϕ (a)π ϕ (a) ∈ Inn(Q ) for all a ∈ B. The map q : B → Inn(Q ) is a 1-cocycle in 1 2 2 2 ϕ (a) the sense that q(ab) = q(a)( q(b)) for all a,b ∈ B. However as B and Inn(Q ) have coprime orders the cohomology group H (B, Inn(Q )) is trivial [62, Thm. 9.42] so q is a 1- −1 −1 coboundary. This means there exists an ι ∈ Inn(Q ) such that q(a) = ιϕ (a)ι ϕ (a) 2 2 2 ′ −1 for all a ∈ B. Hence π := ι π is B-equivariant. Later we will use an explicit version of this form, deﬁned as follows. By deﬁnition of η the map γ : U(λ, −2) → F deﬁned by γ(v) = Tr κ(φ (u),φ (v)) F /F spr spr q p G + induces an isomorphism between Z(Q) = U(λ, −2)/ Ker(η ) and F . Using this identi- u p ﬁcation we get a symplectic form γ ◦ ω on Q with values in F given by Q p γ(ω (xZ(Q),yZ(Q))) = γ([x,y]) = Tr κ(φ (u),φ ([x,y]))) . (6.6) Q F /F spr spr q p 6.4 Isotypic Morphisms Now let ι : G → G be an isotypic morphism deﬁned over F , see Section 2.2. We will say that ι is separable if the restriction ι : G → G of ι to the derived subgroup is der der a separable isogeny. As we assume G is proximate this implies G is proximate. Indeed, if π : G → G is a simply connected covering then ι ◦ π : G → G is a simply sc der sc der connected covering. By assumption both π and ι are separable so ι ◦ π is separable. As the restriction ι : G → G is a seperable isogeny and U(G) = U(G ) we get der der der that the restriction ι : U(G) → U(G) is an isomorphism of varieties, see [74, 3.3]. Similarly we have the restriction of the differential δ := d ι : N(G) → N(G) is an isomorphism of varieties. 28 e Recall that K = (φ ,κ,χ ) is a ﬁxed Kawanaka datum of G. As G is proximate there spr p e e e e exists a Kawanaka datum K = (φ ,eκ,χ ) for G. We say that K and K are ι-compatible if spr p the following hold: • φ ◦ ι = δ ◦ φ spr spr • κ(x,y) = eκ(δ(x),δ(y)) for any x,y ∈ N(G). With this notion in place we may prove the following, which uniﬁes the discussion in [74, 14.12, 14.13] and provides more details. Lemma 6.10. Assume ι : G → G is a separable isotypic morphism deﬁned over F then (i) there exist ι-compatible Kawanaka data K = (φ ,κ,χ ) and K = (φ ,eκ,χ ). spr p spr p Moreover, if K and K are ι-compatible Kawanaka data then F G G G (ii) for each u ∈ U(G) we have ι (Γ ) = Γ where Γ is deﬁned with respect to K and u u ι(u) Γ is deﬁned with respect to K. ι(u) −1 Proof. (i). From the preceding discussion it is clear that φ = δ ◦ φ ◦ ι is a Springer spr spr e e isomorphism. Letπ : G → G be an adjoint quotient of G then, because ι is separable, we ad have π ◦ ι : G → G is also an adjoint quotient of G, see [7, V, Prop. 22.15]. As in [74, 5.6] ad we may assume that κ(x,y) = κ (d(π◦ι)(x), d(π◦ι)(y)) and eκ(x,y) = κ (dπ(x), dπ(y)) ad ad where κ is a ﬁxed bilinear form on Lie(G ). Hence, the resulting Kawanaka data are ad ad ι-compatible. (ii). If λ ∈ X(G) is a cocharacter then for any i ∈ Z we have g(ι (λ),i) = δ(g(λ,i)). In particular, if e ∈ N(G) is nilpotent then ι (D (G)) = D (G). Hence, for any unipotent ∗ e δ(e) element u ∈ U(G) we have e e e ι (D (G)) = ι (D (G)) = D (G) = D (G) = D (G). ∗ u ∗ φ (u) δ(φ (u)) e ι(u) spr spr φ (ι(u))) spr In other words, if we ﬁx a Dynkin cocharacter λ ∈ D (G) then ι (λ) ∈ D (G) is a u ∗ ι(u) Dynkin cocharacter for ι(u). Let j : U (λ, −2) → G be the natural inclusion map then Ind = j . We have G ∗ U (λ,−2) ι ◦ j = (ι ◦ j) = (λ ◦ γ) = λ ◦ γ where λ : U (ι (λ), −2) → G is the natural inclusion ∗ ∗ ∗ ∗ ∗ ∗ e ∗ and γ : U (λ, −2) → U (ι (λ), −2) is the isomorphism given by the restriction of ι. Using G ∗ the compatibility between K and K we have for all v ∈ U (λ, −2) that η (v) = χ κ(φ (u),φ (v)) q spr spr = χ κ˜(δ(φ (u)),δ(φ (v))) q spr spr ˜ ˜ = χ κ˜(φ (ι(u)),φ (ι(v))) q spr spr = η (ι(v)). ι(u) G G This shows that γ (η ) = η . As λ = Ind it follows from (6.4) that ∗ ∗ u U (ι (λ),−2) ι(u) e ∗ G G ι (Γ ) = Γ . That dim(g(λ, −1)) = dim(g(ι (λ), −1)) is obvious. ∗ ∗ ι(u) 29 6.5 Centralisers of Semisimple Elements F F Now assume, as at the start of this section, that u ∈ U(G) and s ∈ C (u) is a ◦ F semisimple element. To ease notation we set G = C (s), G = G , and g = Lie(G ). s s s s As pointed out in Lemma 4.3 the group G is proximate because G is proximate and p is good for G. Hence, we can construct the GGGC of G associated to u. To relate Γ and Γ we will need the following. Proposition 6.11. Assume K = (φ ,κ,χ ) is a Kawanaka datum for G then the restricted spr p triple K| = (φ | ,κ| ,χ ) is a Kawanaka datum for G . G spr g ×g p s U(G ) s s s s Proof. As s is semisimple we have g = {x ∈ g | s · x = x} is the inﬁnitesimal centraliser of s, see [8, 10.1]. Hence we have N(G ) = N(G) ∩ g and U(G ) = U(G) ∩ G . By the s s s s G-equivariance of φ we have φ (U(G )) = N(G ), which shows that φ | is a spr spr s s spr U(G ) Springer isomorphism for G . Let λ ∈ X(G ) be a cocharacter of G . It is naturally a cocharacter of G and we have s s two parabolic subgroups P (λ) 6 P (λ) with unipotent radicals U (λ) 6 U (λ). We G G G G s s need to check that the properties (KD1) and (KD2) of Deﬁnition 6.1 hold for U (λ), given that they hold for U (λ). Since λ(G ) ⊂ G we have that λ = λ. Therefore s acts on g(λ,i) for any i ∈ Z and m s g (λ,i) = g(λ,i) ∩ g . In particular, if i > 0 then u (λ,i) = u (λ,i) ∩ g and U (λ,i) = s s g g s G s s U (λ,i) ∩ G . Now (λ1) in (KD1) for U (λ) states that φ (U (λ,2)) ⊆ u (λ,2). As G s G spr G g φ (U(G )) ⊆ g we get that spr s s φ (U (λ,2)) = φ (U (λ,2) ∩ G ) ⊆ u (λ,2) ∩ g = u (λ,2). spr G spr G s g s g s s After the comment following Remark 6.2 we see that (λ1) holds for U (λ). The same argument shows that (λ2) holds for U (λ) so K| satisﬁes (KD1). G G s s Assume S 6 G is a maximal torus of G then S 6 G is also a maximal torus of G be- s s cause G has maximal rank. If Φ (S) and Φ (S) are the roots of G and G respectively, s G G s deﬁned with respect to S, then it is clear that Φ (S) = {α ∈ Φ (S) | g ⊆ g }. G G α s Moreover, as root spaces are 1-dimensional we have (g ) = g for all α ∈ Φ (S). This s α α G ⊥ ⊥ implies that (g ) = g ∩ g so we see immediately that (KD2) holds for K| as it holds s s G α α for K. F G Corollary 6.12. Assume λ ∈ D (G ) is a Dynkin cocharacter associated to u. If η , resp., u s η , is deﬁned with respect to the Kawanaka datum K, resp., K| , then u s U (λ,−2) G G G η = Res (η ) u u U (λ,−2) as linear characters of U (λ, −2). 30 6.6 Dynkin Cocharacters Let us end by addressing the relationship between the sets of Dynkin cocharacters D (G ) and D (G). As φ | is a Springer isomorphism onto its image we may, u s u spr U(G ) and will, assume that the set D (G ) of Dynkin cocharacters is deﬁned with respect to u s φ | so that spr U(G ) D (G ) = D (G ), u s φ (u) s spr c.f., Section 4.2. By the result of Fowler–Ro¨hrle, c.f., Theorem 5.1, we get that D (G ) = u s D (G, G ). u s 7. Kawanaka Characters and their Values on Mixed Classes From now on we assume that G is proximate and we ﬁx a Kawanaka datum K = (φ ,κ,χ ) spr p for G. We recall here Kawanaka’s modiﬁed version of the GGGCs and state a ﬁrst result on their values. 7.1 Admissible Coverings F F F Let u ∈ U(G) be a unipotent element of G = G . Recall from Section 4.3 that the G - orbits on Cl (u) are parametrised by the F-conjugacy classes of the ﬁnite group A (u). G G On the other hand, Lusztig’s classiﬁcation of unipotent characters [47] involves a certain quotient of A (u) known as the canonical quotient. This classiﬁcation will be recalled in Section 8.1. As u is F-ﬁxed the Frobenius endomorphism acts on A (u). We will consider short exact sequences of the form 1 −→ N −→ A (u) −→ A −→ 1 ¯ ¯ so that A is a quotient of A (u). We say such a sequence, or quotient A, is deﬁned over F if F(N) = N so that F acts on A. To construct Kawanaka characters we will need to be able to lift the quotient A to a subgroup of C (u). Such a lift will need to satisfy the conditions encapsulated in the following deﬁnition. Deﬁnition 7.1. Let u ∈ U(G) be a rational unipotent element. A pair (A,λ) consisting of a subgroup A 6 C (u) and a Dynkin cocharacter λ ∈ D (G) is said to be admissible G u for u if the following hold: (A0) A ⊂ L(λ) so that A is a ﬁnite group, (A1) A consists of semisimple elements, (A2) a ∈ C (C (a)) for all a ∈ A. L(λ) Now assume A is a quotient of the component group A (u) deﬁned over F . We say G q that an admissible pair (A,λ) for u, as above, is an admissible covering for A if: 31 ¯ (A3) the restriction to A of the map C (u) ։ A ﬁts into the following short exact sequence 1 −→ Z −→ A −→ A −→ 1 where Z 6 Z(A) is a central subgroup with Z ∩ [A,A] = {1}. Note we necessarily have that F must act trivially on A for such a covering to exist. The optimal scenario here is to be able to ﬁnd an admissible covering of the entire component group A (u), assuming F acts trivially on A (u). Unfortunately, even when G G F acts trivially on A (u) it will not always be possible to ﬁnd such a covering, see the remark preceding Proposition 9.4. The main issue here is that condition (A2) might not hold in general. Several of the following sections will be concerned with showing that admissible coverings exist when G is simple and A is taken to be Lusztig’s canonical quotient. We now make a few re- marks on the deﬁnition of admissible coverings that are to be used later on. Remark 7.2. Let a ∈ A and a¯ be its image in A. Then under the assumption (A3) there is a short exact sequence 1 −→ Z −→ C (a) −→ C (a¯) −→ 1. −1 −1 Indeed, if b ∈ A is such that ab ∈ baZ then a b ab ∈ Z ∩ [A,A], and therefore ab = ba. This shows the surjectivity of the map C (a) −→ C (a¯). The fact that its kernel is Z is obvious. Remark 7.3. Assume λ ∈ X(G) is a cocharacter and A 6 L(λ) is any subgroup consisting of semisimple elements. If a ∈ A is an element with C (a) cyclic then we have C (a) 6 A A ◦ ◦ ◦ C (C (a)). Indeed, if b ∈ C (a) is a generator then b ∈ C (b) = C (C (a)) by A A A L(λ) L(λ) L(λ) [19, Prop. 2.5] because b is semisimple. Remark 7.4. Assume λ ∈ X(G) is a cocharacter and T 6 L(λ) is an F-stable maximal torus. If A 6 T is any subgroup then for any a ∈ A we have ◦ ◦ a ∈ A 6 T 6 C (A) 6 C (C (a)). L(λ) L(λ) Hence (A2) will automatically hold in this situation. In the case of classical groups we will not work directly with adjoint groups but with symplectic and special orthogonal groups. The following allows us to descend to adjoint groups. For this we introduce the following notation: for any u ∈ G we denote by Z (u) the image of the natural map Z(G) → A (u). Lemma 7.5. Let π : G → G be an adjoint quotient of G. If u ∈ G is unipotent then we have a ad short exact sequence 1 −→ Z (u) −→ A (u) −→ A (π(u)) −→ 1, G G G ad 32 Assume we have a short exact sequence 1 −→ N −→ A (u) −→ A −→ 1, as above, with Z (u) 6 N then A is naturally a quotient of A (π(u)). Moreover, if (A,λ) is G G ad ¯ ¯ an admissible covering for u of A then (π(A),π ◦ λ) is an admissible covering for π(u) of A. −1 Proof. The ﬁrst short exact sequence is clear because C (u) = π (C (π(u))), which G G ad follows as u is unipotent and Ker(π) = Z(G) consists of semisimple elements. We denote by F : G → G the Frobenius endomorphism induced by that on G, i.e., we have ad ad F ◦ π = π ◦ F. Moreover, we set L = C (λ) and M = C (π ◦ λ). It is clear that π(L) 6 M G G ad so certainly π(A) 6 M , because π is F-equivariant, so (A0) holds. That (A1) holds is clear ′ ′ because the image of a p -element is again a p -element. By assumption it follows that we have a short exact sequence 1 −→ π(Z) −→ π(A) −→ A −→ 1, with the notation as in (A3). Note that the image of Z in A (u) must contain Z (u) by G G assumption. Certainly π(Z) 6 Z(π(A)) and as [π(A),π(A)] = π([A,A]) we have π(Z) ∩ [π(A),π(A)] = π(Z) ∩ π([A,A]). Now if x = π(y) = π(z) with y ∈ [A,A] and z ∈ Z then ′ ′ y = zz for some z ∈ A ∩ Kerπ ⊂ Z and (A3) for A forces y = 1 hence x = 1. This shows that (A3) holds for π(A). Finally let us consider (A2). For any a ∈ A we certainly have π(C (a)) 6 C (π(a)). A π(A) Now assume π(b) ∈ C (π(a)) for some b ∈ A. It follows from the discussion in Re- π(A) −1 −1 mark 7.2 that bab a ∈ Z so b ∈ C (a). Hence π(C (a)) = C (π(a)) and A A π(A) ◦ ◦ ◦ ◦ π(a) ∈ π(C (C (a))) = π(C (C (a))) 6 C (π(C (a))) = C (C (π(a))) A A A π(A) L M M for any a ∈ A so (A2) holds. 7.2 Admissible Representatives for Cl (u) We have seen in Proposition 4.8 that if u ∈ U(G) then the F-conjugacy classes of A (u) parametrise the G-conjugacy classes of Cl (u) . Now assume (A,λ) is an admis- G G sible pair for u as in Deﬁnition 7.1. Being a subgroup of G the group A acts on Cl (u) by conjugation. However, it also acts by conjugation on A (u) via the natural homo- morphism A → A (u). The following shows that we can choose representatives that, roughly speaking, are equivariant with respect to these actions. Lemma 7.6. Assume (A,λ) is an admissible pair for u ∈ U(G) . Then there exists a set of unipotent elements {u | a ∈ A} ⊆ Cl (u) satisfying the following conditions, for all a ∈ A: a G (i) the G-conjugacy class of u corresponds to the image of a in A (u) under the correspon- a G dence of Proposition 4.8, −1 (ii) for all b ∈ A we have bu b = u −1, bab 33 ◦ F ◦ (iii) for all b ∈ C (a) we have u ∈ C (b) and λ ∈ D (C (b)). A a u G a G Any set {u | a ∈ A} satisfying these conditions will be called a set of admissible representa- tives. ◦ −1 Proof. Given a ∈ A, we can use (A2) to ﬁnd g ∈ C (C (a)) such that g F(g ) = a. a A a a L(λ) −1 If we set u := g ug then (i) follows by the deﬁnition of the correspondence. Every a a b ∈ A is F-stable therefore −1 −1 −1 −1 (bg b ) F(bg b ) = bab . a a Since g centralises C (a) this shows that we can assume, without loss of generality, that a A −1 g = bg b . Consequently for all b ∈ A ⊂ C (u) we have −1 a G bab −1 −1 −1 −1 −1 −1 bu b = bg ug b = bg b ubg b = u −1 a a a a a bab which proves (ii). In particular u ∈ C (b) whenever b commutes with a. F ◦ ◦ Finally, since b ∈ L(λ) = C (λ) the image of λ lies in C (b) so λ ∈ D (G,C (b)) = G u G G ◦ g g ◦ a a D (C (b)), see Section 6.6. Therefore λ = λ lies in D ( C (b)). Thus (iii) follows u u G a G from the fact that by construction g ∈ C (b) whenever b ∈ C (a). a A 7.3 Weil Representations of Symplectic Groups In this section we assume that p = Char(K) is odd. Moreover, V is a ﬁnite-dimensional K-vector space equipped with a Frobenius endomorphism F : V → V endowing V with an F -rational structure and ω : V ×V → K is a non-degenerate alternating bilinear form deﬁned over F . Following Ge´rardin [37] we deﬁne the Heisenberg group H := H(V | ω) of the sym- F + plectic space (V | ω) to be the set V × F with group law deﬁned by ′ ′ ′ ′ ′ (v,k)(v ,k ) = (v + v ,k + k + ω(v,v )/2). ′ ′ ′ ′ ′ Note, this deﬁnition is such that (0,ω(v,v )) = [(v,k), (v ,k )] for all (v,k), (v ,k ) ∈ H, where [−, −] denotes the commutator in H, and Z := Z(H) = {(0,k) | k ∈ F }. Let S = Sp(V | ω) be the symplectic group determined by the form ω. We have a natural action ofS onH given by its action onV, in particular this action ﬁxes pointwise Z. We denote by SH(V | ω) and SH the semidirect product S ⋉ H. Now assume η ∈ Irr(Z) is a non-trivial linear character of the centre. There exists a unique irreducible character ζ ∈ Irr(H) whose restriction to Z is a multiple of η. It is supported only on Z and 1/2 ζ (1) = [H : Z] , see [37, Lem. 1.2]. The unicity implies this character is invariant under S. Theorem 7.7 (Ge´rardin, [37, Thm. 2.4]). Recall our assumption that p, hence q, is odd. There ˜ ˜ ˜ exists an extension ζ ∈ Irr(SH) of the character ζ ∈ Irr(H). If we stipulate that ζ 6= ζ when η η η η (dim(V),q) = (2,3) then this extension is unique. Furthermore, if t ∈ S is semisimple then for ˜ ˜ any two non-trivial irreducible characters η,η ∈ Irr(Z) we have ζ (t) = ζ ′(t). η η 34 Proof. The statement concerning semisimple elements is implied by [37, Thm. 2.4] but here is a direct proof. Let C = Sp(V | ω) · Z(GL(V)) be the conformal symplectic group and let C = C be the ﬁxed points under the natural Frobenius endomorphism induced from that on V. We have a surjective homomorphism µ : C → F such that ω(gx,gy) = µ (g)ω(x,y). The group C acts automorphically on H = V × F by setting g · (v,k) = (gv,µ (g)k). This clearly extends the action of S⊳ C on H so SH⊳ C ⋉ H. We deﬁne an action of × + + × F on Irr(F ) given by (ξη)(k) = η(ξk) for all k ∈ F and ξ ∈ F . Now assume q q q q η ∈ Irr(Z) is non-trivial then for any g ∈ C we have ζ is an irreducible character of H whose restriction to Z is a multiple of µ (g)η. Hence ζ = ζ and it follows that µ (g)η ˜ ˜ ζ = ζ . µ (g)η If t ∈ S is semisimple and g ∈ C then t ∈ S is S-conjugate to t. Indeed, from the deﬁnition of C it follows that t and t are Sp(V | ω)-conjugate. However as t is semisimple its centraliser in Sp(V | ω) is connected because the symplectic group is g F simply connected, therefore t and t must be S = Sp(V | ω) -conjugate. The statement now follows because, in the action deﬁned above, F acts transitively on the non-trivial characters of F . Deﬁnition 7.8. The unique extension ζ of ζ speciﬁed in Theorem 7.7 will be called the η η SH Weil extension. A representation of S = Sp(V | ω) with character Res (ζ ) is called a (reducible) Weil representation of S. 7.4 Kawanaka Characters for Admissible Pairs From now, until the end of this section we assume that p 6= 2. We ﬁx a unipotent element u ∈ U(G) , an admissible pair (A,λ) for u, and a set {u = u | a ∈ A} of admissible representatives as in Lemma 7.6. Let L = L(λ) = C (λ) and L = L . For any a ∈ A the group C (a) 6 C (u ) G A L a G G normalises U(λ, −1). Moreover, by (6.1) we see that C (a) ﬁxes the character ζ := ζ u u ,λ under the natural conjugation action. We wish to deﬁne an extension of ζ to the group C (a)U(λ, −1) = C (a) ⋉U(λ, −1), which is a semidirect product as C (a) is contained A A A in the Levi complement L. Following Kawanaka we get such an extension by using the (reducible) Weil representation of the symplectic group. Let V = g(λ, −1) and let H = H(V | ω ) be the Heisenberg group and S = Sp(V | ω ) the symplectic group, as in Section 7.3. Here ω is the form deﬁned as in Section 6.2 a a with respect to the element u . We denote by SH the semidirect product S ⋉ H. The endomorphism of H (v,k) 7−→ (v, Tr (k)) F /F q p has central kernel K and H/K is an extra special p-group of exponent p. G G It follows from (6.4) that Ker(η ) = Ker(ζ ) and, furthermore, the quotient group u u a a Q := U(λ, −1)/ Ker(ζ ) is either a cyclic group of order p or an extraspecial p-group 35 of exponent p, see Lemma 6.8. Assume Q is extraspecial. The group C (a) 6 C (u ), A L a through its action on U(λ, −1), ﬁxes the character ζ so it acts on the quotient Q. Clearly this action preserves Z(Q) and, in fact, it pointwise ﬁxes Z(Q) since it ﬁxes η . Hence we have a homomorphism C (a) → Aut (Q), in the notation of Section 6.3. As in the proof of Lemma 6.5, the Springer morphism induces a C (a)-equivariant group isomorphism π : Q → V , where Q = Q/Z(Q). We can identify Z(Q) with Z(H/K) via the isomorphism z 7→ (0,γ(z)) + K, where γ : Z(Q) → F is as in Section 6.3. With this identiﬁcation we have π intertwines the forms ω and ω as in Lemma 6.9, see (6.6). Certainly C (a) stabilises the form ω so we have a homomorphism C (a) → S. A a A We have a natural homomorphism S → Aut (H/K) and so by composition we obtain a homomorphism C (a) → Aut (H/K). By Lemma 6.9 the isomorphism π lifts to a C (a)-equivariant isomorphism π : Q → H/K. This then lifts, trivially, to an isomor- phism C (a) ⋉ Q → C (a) ⋉ H/K. Recapitulating we have the following commutative A A diagram of homomorphisms C (a) ⋉ U(λ, −1) C (a) ⋉ Q C (a) ⋉ H/K S ⋉ H/K SH A A A U(λ, −1) Q H/K H By deﬂation followed by inﬂation along the bottom row of the previous diagram, we may view ζ as an irreducible character of H whose restriction to Z(H) is a multiple of a non-trivial irreducible character, namely the inﬂation of η . After Theorem 7.7 this can be extended to a unique character of SH, the Weil extension, which clearly has K in its kernel. Deﬂating, restricting and inﬂating along the top row of the diagram, we obtain an extension of ζ to C (a) ⋉ U(λ, −1) which we call the Weil extension. We formalise our discussion in the following deﬁnition. G G Deﬁnition 7.9. For any a ∈ A we deﬁne an extension ζ ∈ Irr(C (a) ⋉U(λ, −1)) of ζ u u a a as follows: G G • if ζ is linear then ζ is the unique extension whose restriction to C (a) is a u u a a multiple of the trivial character, G G • if ζ is not linear then we take ζ to be the Weil extension, as deﬁned above. u u a a Remark 7.10. In deﬁning the Weil extension above we made a choice of a B-invariant ∼ ∼ isomorphism Q → H/K lifting Q → V . As stated in Lemma 6.9 any other choice is ob- tained by composing with an element of Inn(Q) centralised by C (a). This is realised by an inner automorphism of C (a) ⋉ Q so the extension is independent of the choice we made. The purpose of deﬁning the extension in this way is that we may state the following concerning its values. Lemma 7.11 (Ge´rardin). There exists a class function ε ∈ Class(A) such that for each a ∈ A and t ∈ C (a) the following hold: 36 (i) ε(t) ∈ {±1}, G dim(g (λ,−1))/2 ˜ t (ii) ζ (t) = ε(t)q . Proof. If V = g(λ, −1) = {0} then this is clear as ζ is linear and the function ε is deﬁned by simply taking ε(t) = 1 for all t ∈ A. We now consider the case where V 6= {0}. In this case none of the characters ζ are linear. Consider ﬁrst the case where a = 1. It is shown by Ge´rardin in [37, Cor. 4.8.1] that there exists a sign ε(t) such that G dim(g (λ,−1))/2 ζ (t) = ε(t)q . This gives a function ε : A → {±1}. We see that ε is a class function because if t ,t ∈ A 1 2 are conjugate in A then they are conjugate in C (u). We now consider the case where a 6= 1. Let us denote by π : L → GL(V) the natural map so that π(s)v = s · v for all s ∈ L and v ∈ V. Recall that u = u where g ∈ a a ◦ −1 C (C (a)) satisﬁes g F(g ) = a. As a ∈ A 6 C (u) we have π(a) ∈ Sp(V | ω), A L L a −1 where ω = ω . We pick an element h ∈ Sp(V | ω) such that π(a) = h F(h) then −1 F −1 F π(g )h ∈ GL(V) . Let φ = hπ(g ) ∈ GL(V) . From the deﬁnitions we see that for all x,y ∈ V we have −1 −1 ω (x,y) = ω(g · x,g · y) = ω(φx,φy) a a where the last equality follows because h ∈ Sp(V | ω). Thus we obtain an isomorphism F F φ −1 SH(V | ω ) → SH(V | ω) given by s 7→ s = φsφ . φ G F By transport of structure we obtain a character ζ on SH(V | ω). The restriction of this character to Z(H(V | ω)) is clearly a multiple of a non-trivial irreducible character. φ G Hence the restriction of ζ is the character of a (reducible) Weil representation of Sp(V | F φ G G ˜ ˜ ω) . As t ∈ C (a) is semisimple it follows from Theorem 7.7 that ζ (t) = ζ (t). u u g φ h φ However, as t = t we have that t = t so t and t are Sp(V | ω)-conjugate elements. F φ G φ G φ G ˜ ˜ ˜ They must, therefore, be Sp(V | ω) -conjugate so ζ (t) = ζ ( t) = ζ (t). This u u u a a a G G ˜ ˜ shows that ζ (t) = ζ (t) for all t ∈ C (a). u u Deﬁnition 7.12. We will call the class function ε ∈ Class(A) deﬁned in Lemma 7.11 the Weil-sign character of A. As we deﬁne it here, the Weil-sign character of C (a) is not necessarily a character of C (a), only a class function. In almost all of the situations we consider in this paper it will be a genuine character. However, we will not need this fact here. With all of this in hand we are now ready to deﬁne Kawanaka characters. Deﬁnition 7.13. Assume a ∈ A and ψ ∈ Irr(C (a)) and let ζ ∈ Irr(C (a) · U(λ, −1)) A u A be the extension of ζ ∈ Irr(U(λ, −1)) deﬁned in Deﬁnition 7.9. We deﬁne the Kawanaka character associated to the pair (a,ψ) to be C (a)⋉U(λ,−1) G G G A K := Ind ζ ⊗ Inf ψ . (a,ψ) C (a)⋉U(λ,−1) A a C (a) When the ambient ﬁnite group is clear we will denote it simply by K . (a,ψ) 37 b G G ˜ ˜ Remark 7.14. Assume a,b ∈ A then we have ζ = ζ . Indeed, the restriction u u a −1 bab b G b G G G of ζ to U(λ, −1) coincides with ζ = ζ = ζ by (6.5) and Lemma 7.6. −1 u u u a a bu b −1 a bab Hence the equality follows from the unicity of the Weil extension. This implies immedi- ately that for any ψ ∈ Irr(C (a)) we have K b b = K . ( a, ψ) (a,ψ) We note in addition that it is immediately clear from the deﬁnition that the corre- sponding GGGCs Γ = ψ(1)K (7.1) a (a,ψ) ψ∈Irr(C (a)) are a sum of Kawanaka characters. This follows simply by decomposing the regular representation of C (a). 7.5 Character Formula We now obtain a character formula for the values of Kawanaka characters on mixed classes in terms of GGGCs. A formula of this kind was stated, without proof, by Kawanaka [43, Lem. 2.3.5]. A similar formula already appears in [63, Prop. 3.5] and [77, Satz 3.2.11]. As this may be needed in different situations in the future we state the ﬁrst part purely in the context of arbitrary ﬁnite groups. Lemma 7.15. Assume G is a ﬁnite group, p > 0 is a prime, U 6 G is a p-subgroup of G, and G H B 6 N (U) is a p -group. Let H = BU and suppose γ = Ind (χ ⊗ Inf ψ) for some class H B functions χ ∈ Class(H) and ψ ∈ Class(B). Moreover, let sv = vs ∈ G with s ∈ G a p -element and v ∈ G a p-element. (i) If s is not G-conjugate to an element of B then γ(sv) = 0. (ii) If s ∈ B then for each t ∈ B which is G-conjugate to s choose an element x ∈ G such that x x t t s = t and set v = v then C (t) γ(sv) = ψ(t) Ind (t · χ)(v ) C (t) |B| t∈B t∼ s where t · χ ∈ Class(C (t)) is the function deﬁned by (t · χ)(g) = χ(tg) for any g ∈ C (t). Proof. By deﬁnition we have x x γ(sv) = χ( (sv))ψ( (sv)) |B||U| x∈G (sv)∈BU ′ x where we identify ψ with the inﬂation. Since B is a p -group the decomposition (sv) = x x ′ x ( s)( v) is the decomposition of an element into its p -part and p-part. The p-element v must lie in the (unique) Sylow p-subgroup U of BU. Let b ∈ B be the projection of the ′ x x x p -element s on B so that ( s)U = bU. The cyclic groups generated by b and by s are complements of U in hb,Ui. By the Schur–Zassenhaus theorem they must be conjugate, x y therefore s ∈ B for some y ∈ U. This shows in particular that (i) holds. 38 ′ −1 x y x y ′ y x Now assume s ∈ B. If s ∈ B and s ∈ B for y,y ∈ U then t = s and −1 ′ y x ′ −1 t = s are elements of B which are conjugate under U, hence we can write t = ztz ′ −1 −1 −1 ′ for some z ∈ U. But t t = z(tz t ) forces t = t since B normalises U. This proves ′ x that y and y differ by left multiplication by an element of C ( s). We get 1 1 x x γ(sv) = χ( (sv))ψ( (sv)) |B||U| |C ( s)| (x,y)∈G×U −1 y x s∈B v∈U 1 1 x x = χ( (sv))ψ( s) |B| |C ( s)| x∈G s∈B v∈U where the last equality is obtained by translating x to yx, and using the fact that ψ is trivial on U. For each t ∈ B with t ∼ s we ﬁx an element x ∈ G such that s = t and we set G t −1 x x xx x v = v. Then s = t if and only if x ∈ C (t)x and in that case v = v ∈ C (t) t G t t G since v ∈ C (s). Replacing x by xx and letting x run over C (t) we get G G X X 1 1 γ(sv) = ψ(t) χ(t( v )) |B| |C (t)| t∈B x∈C (t) t∼ s x v ∈C (t) t U C (t) = ψ(t) Ind (t · χ)(v ). C (t) |B| t∈B t∼ s Proposition 7.16. Assume a ∈ A and ψ ∈ Irr(C (a)). If sv = vs ∈ G is an element with s ∈ G semisimple and v ∈ G unipotent. (i) If s is not G-conjugate to an element of C (a) then K (sv) = 0. A (a,ψ) (ii) If s ∈ C (a) then for each t ∈ C (a) which is G-conjugate to s, choose an element x ∈ G A A t x x t t such that s = t, and set v = v then C (t) K (sv) = ψ(t)ε(t)Γ (v ) (a,ψ) u t |C (a)| t∈C (a) t ∼ s C (t) C (t) C (t) G G where ε is the Weil-sign character as in Lemma 7.11 and Γ := Ind (Γ ) is the u ◦ u a a C (t) induction of the GGGC associated to the unipotent element u in the connected reductive group C (t). Proof. We let U = U(λ, −1), U = U(λ, −1), and B = C (a). After Lemma 7.15 we see that (i) holds and we need only show (ii). We consider the formula in (ii) of Lemma 7.15 evaluated at sv = vs with s ∈ C (a). Let t ∈ C (a) and assume x ∈ G is such that A A t x x t t t = s then we set v = v. We need to show that C (t) C (t) G G G Ind (t · ζ )(v ) = ε(t)Γ (v ). (7.2) t u t C (t) a ◦ F Let G = C (t), G = G , and g = Lie(G ), as in Section 6.5. Calculating the restriction t t t t G t 39 using Corollary 6.12 we see that C (a)·U A G U G (dim(g(λ,−1))−dim(g (λ,−1)))/2 G t t Res (ζ ) = Res (ζ ) = q ζ u C (t) u u C (t) a a a is a multiple of an irreducible character of C (t) = U (λ, −1). U G As hti · C (t) is a direct product it follows that every irreducible constituent of the C (a)·U A G G ˜ t restriction Res (ζ ) is of the form ψ ⊗ ζ with ψ ∈ Irr(hti). Hence u u hti·C (t) a a C (a)·U A G G Res (ζ ) = χ ⊗ ζ u u hti·C (t) a a where χ is a (not necessarily irreducible) character of hti. After Lemma 7.11 we see that G −1 G t ˜ χ(t) = ζ (1) ζ (t) = ε(t) u u a a is given by the Weil-sign character. Thus, we get that C (t) C (t) G G G G Ind (t · ζ )(v ) = ε(t) Ind (ζ )(v ) t t u u C (t) a C (t) a U U from which the statement follows. 8. Fourier Transform of Kawanaka Characters Our goal in this section is to determine the multiplicity of a unipotent character in a given Kawanaka character. 8.1 Lusztig’s Classiﬁcation of Unipotent Characters If G is a ﬁnite group then the irreducible representations of the Drinfeld double of G are parametrised by the set of orbits M (G) = {(a,ψ) | a ∈ G,ψ ∈ Irr(C (a))}/G. Here the group G acts by simultaneous conjugation and the orbit of a pair (a,ψ) is de- noted by [a,ψ]. Following Lusztig [47, §4], we associate to any two pairs [a,φ], [b,ψ] ∈ M (G) the Fourier coefﬁcient X x φ( a)ψ(b ) {[b,φ], [a,ψ]} = . |C (a)||C (b)| A A x∈A a∈C (b) It is easily checked that the deﬁnition does not depend upon the choice of representatives for the equivalence classes [a,φ] and [b,ψ]. More generally, assume F : G → G is an automorphism then we can consider the coset GF ⊆ G ⋊ hFi. The group G acts on this coset by conjugation and we can consider the set M (G,F) = {(aF,φ) | a ∈ G,φ ∈ Irr(C (aF))}/G, 40 where again G acts on the pairs by simultaneous conjugation and the orbit of a pair (aF,φ) is denoted by [aF,φ]. Recall from Section 1 that to each familyF ∈ Fam(W) there is a corresponding unipo- tent conjugacy class O ⊆ G, related via the Springer correspondence. A unipotent class of the form O is said to be special. For any family F ∈ Fam(W) Lusztig has deﬁned a quotient A of the component group A (u), with u ∈ O , known as the canonical quo- F G F tient. Recall that we have a dual familyF = F ⊗ sgn given by tensoring with the sign character. Following [47, §13] we have the set UCh(F ) is parameterised by M (A ,F) where A is Lusztig’s canonical quotient, see also [51, Thm. 0.4]. ¯ ¯ WhenF acts trivially onA thenC (aF) = C (a) and we have a bijectionM (A ,F) → ¯ ¯ F F A A F F M (A ) given by [aF,φ] 7−→ [a,φ]. When G/Z(G) is simple and Z(G) is connected we can choose u ∈ O such that F acts trivially on A (u), and therefore on A , see [73, G F Prop. 2.4]. Since the canonical quotient depends only on W and F, this shows that F acts trivially on A whenever G is simple. 8.2 Fourier Transform We ﬁx a unipotent element u ∈ U(G) and an admissible pair (A,λ) as in Deﬁnition 7.1. Moreover, we assume that the Kaw- naka characters are deﬁned for Cl (u), with respect to (A,λ), as in Deﬁnition 7.13. For each orbit [a,ψ] ∈ M (A) we denote by K the Kawanaka character K . [a,ψ] (a,ψ) This is well deﬁned by Remark 7.14. Using the Fourier coefﬁcient deﬁned in Section 8.1 we can deﬁne the Fourier transform of Kawanaka characters as follows: given [b,φ] ∈ M (A), we set F := {[b,φ], [a,ψ]}K . [b,φ] [a,ψ] [a,ψ]∈M (A) We will also use the following equivalent expression for F , namely [b,φ] X X X x 1 φ(a)ψ(b ) F = K x . (8.1) [b,φ] (a ,ψ) |A| |C (b)| x∈Aa∈C (b) ψ∈Irr(C (a )) A A Considering the special case where b = 1 we get the following expression for the Fourier transform X X X 1 φ(a)ψ(1) F = K x [1,φ] (a ,ψ) |A| |A| x∈Aa∈A ψ∈Irr(C (a )) X X = φ(a) ψ(1)K (a,ψ) |A| a∈A ψ∈Irr(C (a)) = φ(a)Γ |A| a∈A 41 where Γ is the generalised Gelfand-Graev character (GGGC) of G associated with u , u a see Sections 6.2 and 7.4. Note, that for the second equality we performed the change of x x variables a 7→ a and used the fact that φ( a) = φ(a) as φ ∈ Irr(A). The linear combination F is often referred to as the Mellin transform of the gen- [1,φ] eralised Gelfand-Graev characters, studied for example in [50, 30, 18]. It is unipotently supported and vanishes on many conjugacy classes. The following proposition gener- alises this observation to the other Fourier transforms. Proposition 8.1. Recall our choice of unipotent element u ∈ U(G) and admissible pair (A,λ). Consider a pair [b,φ] ∈ M (A) and an element sv = vs ∈ G with s semisimple and v unipotent. Then: (i) F (sv) = 0 if s is not G-conjugate to b, [b,φ] (ii) for s = b we have ε(b) C (b) F (bv) = φ(a)Γ (v), [b,φ] a |C (b)| a∈C (b) where ε is the Weil-sign character of A. Proof. Let sv be the Jordan decomposition of an element of G. Given [a,ψ] ∈ M (A), the values of K at sv can be computed from Proposition 7.16. Consequently we have, [a,ψ] using (8.1), that X X X X 1 φ(a)ψ(b ) C (t) F (sv) = ψ(t)ε(t)Γ (v ) [b,φ] u x t |A| |C (a )||C (b)| A A x x x∈A a∈C (b) ψ∈Irr(C (a )) t∈C (a ) A A A t∼ s   C (t) X X X X 1 φ(a)ε(t)Γ (v ) u x t  x  = ψ(b )ψ(t) , |A| |C (a )||C (b)| A A x∈Aa∈C (b) t∈C (a ) ψ∈Irr(C (a )) A A A t∼ s x x t t where v = v for some x such that s = t. From the orthogonality relations the sum t t x x ψ(b )ψ(t) is zero unless t and b are conjugate under C (a ), in which ψ∈Irr(C (a )) case it equals |C x (t)|. In particular F (sv) = 0 if s is not G-conjugate to b, which C (a ) [b,φ] proves (i). Let us now consider the case where s = b. In this case the previous equality becomes X X X |C x (t)| C (a ) C (t) F (bv) = φ(a)ε(t)Γ (v ). [b,φ] u x t |A| |C (a )||C (b)| A A x∈A a∈C (b) t∈C (a ) A A t∼ x b C (a ) x x x x Note that we have C (a ) = C (a) and that if r ∈ C (a) then r ∼ x b if and A A A C (a ) x x y only if r ∼ b. Now if t = r ∈ C (a ) and y ∈ C (a) is an element such that b = r C (a) A A −1 x y x x x then we have b = r = t. Hence, if t = r ∈ C (a ) contributes to the sum above −1 y then we may assume that x = x y where y ∈ C (a) satisﬁes b = r. Putting this t r r A 42 together the previous equality becomes X X X |C (r)| x 1 −1 C (a) C (r ) A y x F (bv) = φ(a)ε(r) Γ (v). [b,φ] −1 x ax |A| |C (a)||C (b)| A A x∈A a∈C (b) r∈C (a) A A r∼ b C (a) Note that ε is a class function on A, see Lemma 7.11. −1 Recall from Lemma 7.6 that u = x u x for any x,a ∈ A so by (ii) of Lemma 6.10 −1 x ax we get that x x −1 C (r ) C (r ) C (r) G G G Γ = Γ = Γ . u −1 u −1 a x u x x ax a −1 C (r) C (b) y G G An entirely analogous argument shows that Γ = Γ because y ∈ C (a) and u u r A a a b = r. Therefore, we get that X X X |C (b)| C (a) C (b) F (bv) = φ(a)ε(b)Γ (v) [b,φ] u |A| |C (a)||C (b)| A A x∈A a∈C (b) r∈C (a) A A r∼ b C (a) ε(b) C (b) = φ(a)Γ (v). |C (b)| a∈C (b) This proves (ii). 8.3 Translation by Central Elements It will be convenient to formulate a version of Proposition 8.1 in terms of the Mellin transforms of GGGCs. For that purpose we introduce the translation operator. Deﬁnition 8.2. Given a central function f on a ﬁnite group H and z ∈ Z(H) we denote by z · f the class function on H obtained by translation by z. More precisely, z · f satisﬁes (z ·f)(h) = f(zh) for all g ∈ G. Remark 8.3. Since multiplication by z is an H-equivariant bijection of H the corresponding ′ ′ −1 translation by z is an isometry of Class(H), so if f,f ∈ Class(H) then hz ·f,f i = hf,z · f i . ◦ ◦ F If we deﬁne the following class function on C (b) := C (b) G G C (b) Γ = φ(a)Γ (b,φ) a |C (b)| a∈C (b) then Proposition 8.1 can be stated as follows. Corollary 8.4. Under the assumptions of Proposition 8.1 −1 F = ε(b) Ind ◦ b · Γ . [b,φ] (b,φ) C (b) −1 Proof. Since GGGCs are unipotently supported, the class function b · Γ can take (b,φ) ◦ F non-zero values only at elements of the form bv where v ∈ U(C (b)) is unipotent. Fur- x ′ ′ ′ thermore, if x ∈ G is such that (bv) = bv = v b with v unipotent then x ∈ C (b), 43 which shows that G C (b) −1 x G Ind ◦ b · Γ (bv) = Γ ( v) = (Ind Γ )(v). C (b) (b,φ) (b,φ) (b,φ) ◦ C (b) |C (b)| x∈C (b) The result follows from Proposition 8.1. When H := H is a ﬁnite reductive group, the translation operator is compatible with Alvis–Curtis duality D . We refer the reader to [19, Chap. 8] for a deﬁnition of this operator. Lemma 8.5. Let H be a connected reductive group with Frobenius endomorphism F. If z ∈ F F Z(H) = Z(H ) then z · D (f) = D (z · f) for every class function f on H. H H Proof. Since z is central, it is contained in any maximal torus of H, therefore it lies in the centre of any standard Levi subgroup L of H. But the translation by any element of the H ∗ H centre of L commutes with the operator R ◦ R on class functions, see [4, 10.2, 10.3]. L L Therefore the translation by z commutes with D . We will be particularly interested in translations by semisimple elements s ∈ G in ◦ ◦ their centraliser C (s) or C (s) (note that s ∈ C (s) by [19, Prop. 2.5]). Combining the G G previous results we can compute the scalar product of the Alvis–Curtis dual of F [b,φ] with any class function on G in terms of duals of GGGCs of C (b). Corollary 8.6. Under the assumptions of Proposition 8.1, given any class function f ∈ Class(G) we have D (F ),f = ±ε(b) D (Γ ),b · Res ◦ (f) G ◦ [b,φ] C (b) (b,φ) C (b) G C (b) G G ε(b) C (b) = ± φ(a) D (Γ ),b · Res ◦ (f) . C (b) u a C (b) C (b) |C (b)| G a∈C (b) Proof. Let f be a class function on G. Using adjunction and Corollary 8.4 we get D (F ),f = ε(b) Γ ,b · Res (D (f))i ◦ . G [b,φ] [b,φ] G C (b) C (b) Since Γ is unipotently supported, we are only interested in the value of the class func- [b,φ] −1 ◦ F ◦ −1 F tion Res ◦ (D (f)) at elements of the formb v wherev ∈ U(C (b)) = U(C (b )) . C (b) G G By [19, Cor. 8.16] we have in that case G −1 G −1 Res ◦ D (f)(b v) = ±D (Res ◦ f)(b v) C (b) C (b) C (b) G G and the result follows from Lemma 8.5. 8.4 Restriction of Character Sheaves We want to use Corollary 8.6 when f is the characteristic function of a character sheaf. To this end we recall recent results by Lusztig on the restriction of such sheaves [52]. 44 Let us denote by USh(G) the set of (isomorphism classes of) unipotent character sheaves on G. We have a partition USh(G) = USh(F ) F∈Fam(W) indexed by the families of W, see [48, III, Cor. 16.7]. The character sheaves in USh(F ) have a unipotent support, which turns out to be the class O . The intrinsic properties characterising the class O as the unipotent support are as follows. Given a conjugacy class O of G, we denote by O the unipotent conjugacy class uni consisting of the unipotent parts of the elements in O. It is shown in [50, Thm. 10.7], see also [74, Thm. 13.8] for the extension to good characteristic, that the following two properties hold: • if F ∈ USh(F ) and O is a conjugacy class then F = 0 if dim O > dim O or if |O uni F dim O = dim O and O 6= O ; uni F uni F • there exists a conjugacy class O ⊆ G, with O = O , and a unipotent character uni F ′ ′ sheaf F ∈ USh(F ) such that F 6= 0. |O A priori it is not clear from the deﬁnition that given a unipotent character sheaf F ∈ USh(F ) there exists a class O ⊆ G such that O = O and F 6= 0. However, uni F |O this ambiguity has recently been resolved by Lusztig [52], giving a geometric interpreta- tion of the parametrisation of F-stable unipotent character sheaves which parallels that of unipotent characters. We recall his result here. Assume F ∈ Fam(W) is a family and let u ∈ O be a unipotent element. Recall that A denotes Lusztig’s canonical quotient of A (u). Let O be a conjugacy class with F G O = O and let F ∈ USh(F ) be a character sheaf such that F 6= 0. Pick an element uni F |O b ∈ C (u) such that O = Cl (bu). This semisimple element b is unique up to conjugation G G ′ ′ ′ by C (u). Moreover, if O = Cl (b u) is another class with b ∈ C (u) such that F ′ 6= 0 G G G |O ¯ ¯ then the images of b and b in A are conjugate under A . F F ◦ ∗ As in Section 8.3 one can consider the translation by b on C (b). We will denote by b the pull-back of C (b)-equivariant sheaves on C (b) along this map. If C = Cl (u) C (b) G G then it is shown in [52, §1.7] that b (F ) ≃ E[− dim O − dimZ(L)] (8.2) |bC for some (not-necessarily irreducible) C (b)-equivariant local system E on C. Here L is a Levi subgroup of G attached to the cuspidal support of F. ¯ ¯ Denote by b the image of b in A . It is explained in [52, §2.3] that the local sys- tem E is obtained from an irreducible representation ψ of C (b) through the natural ¯ ¯ ¯ map A (u) = A (bu) −→ C (b). Note that (b,ψ) is well-deﬁned up to A - G ¯ F C (b) A conjugation, and in fact it characterises the character sheaf F, see [52, Thm. 2.4]. Theorem 8.7 (Lusztig). The map F 7→ [b,ψ] induces a bijection between USh(F ) and the elements of M (A ). 45 Let us draw the consequences of this result on the values of the characteristic function F F of F. We assume now that: F ∈ Fam(W) is F-stable, u ∈ O is F-ﬁxed, and that F acts trivially on A . This last assumption is satisﬁed, for instance, when G is simple, see [73, Prop. 2.4]. With these assumptions it follows from Theorem 8.7 that every character sheaf with unipotent support O , i.e., any character sheaf contained in USh(F ), is F- stable. The choice of an isomorphism between F and F F deﬁnes a class function χ on G. Since F is a simple perverse sheaf, this class function is well-deﬁned up to a scalar. We can normalise it so that if F = F is the character sheaf corresponding to [b,ψ] ∈ [b,ψ] ◦ x 1 M (A ) then for every x ∈ C (b) such that (bu) is F-stable, there exists d ∈ Z such F F G 2 that we have x x d F −1 χ (bu) = χ b( u) = q ψ x F(x) (8.3) F F −1 −1 −1 ¯ where x F(x) is the image of x F(x) in C (b). Indeed, x F(x) centralises both u ¯ ¯ and b, therefore its image in A centralises b, the image of b. Furthermore, using the normalisation in [48, V, §25.1] and (8.2) the value of d is given by 1 1 d = dim G − dim Cl (bu) − dimZ(L) = dimC (bu) − dimZ(L) . (8.4) F G G 2 2 Finally, let us note that in [52, §1.7] it is also shown that the irreducible summands of the local system E in (8.2), considered as a C (b)-equivariant local system, lie in a ◦ ◦ Springer series attached to a Levi subgroup of the form C (b) of C (b) where x ∈ G is L G x ◦ x ◦ ◦ such that b is an isolated element of L . Consequently Z (L ) = Z (C (b)) so that d = dimC (bu) − dimZ(C x(b)) . (8.5) F G 8.5 Projection on the Family From now until the end of this section we ﬁx an F-stable family F F F ∈ Fam(W) and a unipotent element u ∈ O . We assume that (A,λ) is an admissible covering for the canonical quotient A of A (u), see Deﬁnition 7.1, and that the Kawanaka characters are deﬁned for O , with respect to (A,λ). Associated to the F-stable unipotent class O we get from Section 8.4 a family of class functions on G parametrised by M (A ), given by the characteristic functions of the unipotent character sheaves with unipotent support O . On the other hand, we have constructed in Section 8.2 a family {F } of class functions onG parametrised [b,Φ] [b,Φ]∈M (A) by M (A) whenever (A,λ) is an admissible pair for u ∈ O . Our next goal is to establish the following proposition, which computes the scalar products between these two families. For this we will need certain properties of the Alvis–Curtis dual D (Γ ) of a GGGC. This introduces some restrictions on the size of the G u ﬁeld q when Z(G) is not connected. We recall that there exists a bound q (G), depending only on the root system of G, such that if q > q (G) then the main results of [49] hold. 46 If Z(G) is connected then by work of Shoji [64] one may take q (G) = 1. In the following we will use properties of GGGCs stated in [30, §2]. As mentioned in [30] these properties are known to hold when q > q (G) and p is good by results of Lusztig [50], with extensions to good characteristic provided in [74]. Proposition 8.8. Recall that (A,λ) is an admissible covering for A . For any a ∈ A we denote ¯ ¯ ¯ by a¯ ∈ A the image of a under the map A → A (u) → A . To [a,ψ] ∈ M (A ) and F G F F [b,φ] ∈ M (A) we associate: • the characteristic function χ of the unipotent character sheaf associated to [a,ψ], nor- [a,ψ] malised so that (8.3) holds, • the Fourier transform F deﬁned in Section 8.2. [b,φ] If q > q (G) then the following hold: ¯ ¯ (i) if a and b are not conjugate under A , then hF ,D (χ )i = 0, F G G [b,φ] [a,ψ] (ii) if a = b then hF ,D (χ )i = ε(b)ζhφ,ψi [b,φ] G [a,ψ] G C (b) for some root of unity ζ, where ψ is the irreducible character of C (b) obtained by inﬂation of ψ through the map C (b) ։ C (b) = C (a). ¯ ¯ A A Proof. By Corollary 8.6, the scalar product between F and D (χ ) is given by [b,φ] [a,ψ] hF ,D (χ )i = ±ε(b) D (Γ ),b · Res ◦ χ . [b,φ] G [a,ψ] G C (b) (b,φ) [a,ψ] C (b) C (b) With our assumption that q > q (G) it is known that the class function D ◦ (Γ ) is 0 C (b) (b,φ) unipotently supported and D (Γ )(v) 6= 0 forces the C (b)-conjugacy class of u C (b) (b,φ) to lie in the closure of the C (b)-conjugacy class of v, see [30, 2.4(c)]. On the other hand, by deﬁnition of the unipotent support of character sheaves, if v ∈ C (b) is such that χ (bv) 6= 0 then dim Cl (v) < dim Cl (u) or Cl (u) = Cl (v). G G G G [a,ψ] Therefore, for the product D (Γ )(v)χ (bv) to be non-zero we need to have C (b) (b,φ) [a,ψ] that Cl (u) = Cl (v), and that the C (b)-conjugacy class of u lies in the closure of the G G ◦ ◦ C (b)-conjugacy class of v. By Theorem 5.5, this forces the C (b)-conjugacy classes of u G G and v to coincide. Consequently, ε(b) hF ,D (χ )i = ± D ◦ (Γ )(v)χ (bv). (8.6) [b,φ] G [a,ψ] G C (b) (b,φ) [a,ψ] |C (b)| ◦ F v∈U(C (b)) v∼ ◦ u C (b) Now for v conjugate to u under C (b) the G-conjugacy classes of bv and bu coincide. ¯ ¯ Therefore from Theorem 8.7 we deduce that χ (bv) = 0 unless the image b of b in A [a,ψ] F is conjugate to a. This proves (i). Now assume that a = b. Let us consider the map β : A ◦ (u) → C (a). C (b) 47 ◦ ◦ If c ∈ C (b) then b ∈ C (c) and by (A2) we have c ∈ C (C (c)) 6 C (b), which A A A G G shows that C (b) 6 C (b). Now by Remark 7.2 the map C (b) → C (b) = C (a) ¯ ¯ A A A A G F F is surjective. Since A 6 C (u) then C (b) 6 C ◦ (u) and we deduce that the map β is G A C (b) surjective. We denote by β ψ the irreducible character of A (u) obtained from ψ by inﬂation C (b) along β. Following [30, (2.2)], we deﬁne the following class function on C (b): −1 ◦ −1 ψ x F(x) if g = xux for some x ∈ C (b), Y ∗ (g) = (u,β ψ) 0 otherwise. −1 −1 where x F(x) is the image of x F(x) in C (b) = C (a). Note that F acts trivially on ¯ ¯ A A F F A so that one can extend β ψ trivially to A (u) ⋊hFi, in which case Y ∗ agrees C (b) (u,β ψ) with the deﬁnition given in [30, (2.2)]. The class function Y ∗ is also the (normalised) (u,β ψ) characteristic function of the irreducible local system corresponding to β ψ. From the equations (8.3) and (8.6) we deduce that ◦ ◦ hF ,D (χ )i = ±ε(b)q hD (Γ ),Y ∗ i , (8.7) [b,φ] G [a,ψ] G C (b) (b,φ) (u,β ψ) C (b) G G where F is the character sheaf associated to [a,ψ]. By [30, (2.4) and (2.3.c)], there is a root of unity ζ and a half-integer d (both depending on the local system associated to (u,β ψ)) such that for every c ∈ C (b) we have C (b) G −d −d hD ◦ (Γ ),Y ∗ i ◦ = ζq Y ∗ (u ) = ζq ψ(c). C (b) u (u,β ψ) C (b) (u,β ψ) c G G By [30, (2.2.b)] the explicit value of d is given by d = (dimC (su) − dimZ(M)) ◦ ∗ for M a Levi subgroup of C (b) attached to the cuspidal support of the pair (u,β ψ) in the generalised Springer correspondence. We actually have d = d by (8.5). Using the deﬁnition of Γ in terms of the various generalised Gelfand-Graev char- (b,φ) C (b) acters Γ for c ∈ C (b) we get u A C (b) hD ◦ (Γ ),Y ∗ i ◦ = φ(c)hD ◦ (Γ ),Y ∗ i ◦ C (b) [b,φ] (u,β ψ) C (b) C (b) c (u,β ψ) C (b) G G G G |C (b)| c∈C (b) −d X ζq = φ(c)ψ(c¯) |C (b)| c∈C (b) −d = ζq hφ,ψi C (b) e ¯ where ψ is the inﬂation of ψ through the map C (b) ։ C (b) = C (a). Then (ii) ¯ ¯ A A F F follows from (8.7). 48 8.6 Kawanaka’s Conjecture In the previous section we computed the multiplicity of the characteristic functions of character sheaves with unipotent support O in the Alvis–Curtis dual of the Fourier transforms of Kawanaka characters. We now translate this result to deduce the multiplic- ity of the unipotent characters with unipotent support O in the Alvis–Curtis dual of the Kawanaka characters. As was mentioned in Section 8.1 we have an involutive permutation of the families given by tensoring with the sign character of W. At the level of unipotent classes this cor- responds to Spaltenstein duality, see [3, Cor. 3.5] and [68, Chp. 3]. On unipotent charac- ters we have an involutive permutation induced by Alvis–Curtis duality. For any F-stable F ∗ family F ∈ Fam(W) we have a bijection UCh(F ) → UCh(F ) given by ρ 7→ ±D (ρ), where the sign is the unique choice making ±D (ρ) a character. As explained in [47, 13.1.3] the irreducible characters in UCh(F ) are parameterised by M (A ). The following theorem proves the conjecture stated by Kawanaka in [44, 2.4.5] under the assumption that an admissible covering of Lusztig’s canonical quotient exists. Theorem 8.9. Recall that F ∈ Fam(W) is a family and (A,λ) is an admissible covering of Lusztig’s canonical quotient A of A (u) with u ∈ O . We will additionally assume that F G either: (i) A is abelian, ∼ ¯ (ii) or A = A . If q > q (G) then given [a,ψ] ∈ M (A), the character K has at most one unipotent con- 0 [a,ψ] stituent in UCh(F ) and it occurs with multiplicity at most one. Furthermore, every unipotent character in UCh(F ) occurs in some K . [a,ψ] Proof. We start by recalling from Section 7.4 that the generalised Gelfand-Graev character associated to u is Γ = ψ(1)K . u [a,ψ] ψ∈Irr(C (a)) Since every unipotent character ofF occurs in Γ for some a ∈ A by [74, Prop. 15.4], we deduce that every unipotent character of F occurs in some K . [a,ψ] b b Now let K , resp., F , be the projection of K , resp., F , on the space [a,ψ] [b,φ] [a,ψ] [b,φ] spanned by the unipotent characters in UCh(F ). It is also the span of the Alvis–Curtis dual of the characteristic functions of character sheaves with unipotent support Cl (u). Recall from Deﬁnition 7.1 that Z denotes the kernel of the surjective map A ։ A. Then Proposition 8.8 shows that given [b,φ] ∈ M (A) we have 0 if Z 6⊂ Ker(φ), F = (8.8) [b,φ] ε(b)ζ D (χ ) otherwise, ¯ ¯ [b,φ] G [b,φ] ¯ ¯ where ζ is some root of unity and φ is the irreducible character of C (b) ≃ C (b)/Z [b,φ] A induced by φ (see Remark 7.2 for the latter isomorphism). 49 b Let us ﬁrst assume that A = A, i.e., that Z = 1. Then by (8.8) the family {F } [b,φ] [b,φ]∈M (A) is an orthonormal family of class functions. Since the Fourier transform on M (A) is a unitary involution, we get b b b b hK ,K i = hF ,F i = 1 [a,ψ] [a,ψ] G [a,ψ] [a,ψ] G which shows that K is an irreducible unipotent character. [a,ψ] Now assume that A is abelian. In that case the class function K can be written [a,ψ] b b K = ψ(b)φ(a)F [a,ψ] [b,φ] |A| (b,φ)∈M (A) = ψ(b)φ(a)ε(b)ζ D (χ ). ¯ ¯ [b,φ] [b,φ] |A| (b,φ)∈M (A) Z⊂Ker(φ) We deduce that the inner product of K with itself is given by [a,ψ] ′ ′ −1 b b hK ,K i = ψ(b)ψ(b )φ(a)φ (a)ε(b)ε(b )ζ ζ G ′ ′ [a,ψ] [a,ψ] [b,φ] [b ,φ ] |A| ′ ′ (b,φ),(b ,φ )∈M (A) Z⊂Ker(φ)∩Ker(φ ) ′ ′ ¯ ¯ ¯ ¯ (b,φ)=(b ,φ ) −1 = ψ(z)ε(b)ε(bz)ζ ζ [b,φ] 2 [bz,φ] |A| [b,φ]∈M (A) z∈Z Z⊂Ker(φ) where we have used that the irreducible characters of A are linear since A is abelian. Each term in the previous sum is a root of unity, and there are |A||A/Z||Z| = |A| terms in b b the sum. Therefore hK ,K i 6 1, and at most one unipotent character occurs in [a,ψ] [a,ψ] K , and it occurs with multiplicity at most one. [a,ψ] Remark 8.10. If one can prove that ζ = ζ and ε(b) = ε(bz) for every z ∈ Z [b,φ] [bz,φ] then one does not need the extra assumption on A given in Theorem 8.9. Furthermore in that case one can show that K is either zero if Z * Ker(ψ) or is a single unipotent [a,ψ] character otherwise. III. ADMISSIBLE COVERINGS FOR SIMPLE GROUPS 9. Admissible Coverings for Classical Groups In this section we assume that Char(K) = p 6= 2. 50 9.1 Notation for classical groups Assume F is a ﬁeld with Char(F) 6= 2 and V is a ﬁnite dimensional F-vector space then we denote by GL(V) the general linear group of invertible F-linear transformations V → V. As usual SL(V) = {f ∈ GL(V) | det(f) = 1} 6 GL(V) denotes the special linear group. If g ∈ GL(V) and η ∈ F then we denote by V (g) = {v ∈ V | gv = ηv} the η-eigenspace of g. We have an action of GL(V) on the bilinear forms B : V ×V → F deﬁned by B(v,w) = B(gv,gw) for all g ∈ GL(V) and v,w ∈ V. The stabiliser of B under this action is denoted by GL(V | B). We also set SL(V | B) = SL(V) ∩ GL(V | B). If B is a non- degenerate symmetric bilinear form then we also write O(V) = O(V | B) = GL(V | B) and SO(V) = SO(V | B) = SL(V | B) for the corresponding orthogonal and special or- thogonal groups. If B is a non-degenerate alternating bilinear form then we denote by Sp(V) = Sp(V | B) = SL(V | B) = GL(V | B) the corresponding symplectic group. 9.2 Partitions and unipotent classes of classical groups Recall that a partition is a (possibly empty) ﬁnite sequence (µ ,... ,µ ) of positive in- 1 r tegers µ > ··· > µ > 0. If µ is empty then we deﬁne |µ | = 0 otherwise we deﬁne 1 r |µ | = µ +··· +µ . If N > 0 is an integer then we denote by P(N) the set of all partitions of N, i.e., the set of all partitions µ satisfying |µ | = N. If V has dimension N then the unipo- tent classes of GL(V) are labelled by P(N) according to the Jordan type of the unipotent elements. The class corresponding to µ ∈ P(N) will be denoted by O . For example, we have O N is the trivial class {1} and O is the regular unipotent class. We recall that there is a (N) (1 ) natural partial orderE on the set P(n) given by the dominance ordering. Under the above bijection we haveE coincides with the partial order on unipotent classes introduced in Section 1. In other words, µ E ν ⇐⇒ O ⊆ O . µ ν Given a partition µ of N and m ∈ {1,... ,N} we will write r (µ ) := #{1 6 j 6 r | µ = m} for the number of parts of µ equal to m. If the partition in question is clear then r r r N 2 1 we simply write r instead of r (µ ), so that µ can be written µ = (N ,... ,2 ,1 ). m m We denote by P (N) ⊆ P(N) the set of partitions µ for which r ≡ 0 (mod 2) for all ε m 1 6 m 6 N such that (−1) = ε. The partition µ ∈ P (N) is said to be very even if each part µ is even. Assume V is endowed with a non-degenerate alternating bilinear form. For any µ ∈ P (N) we have Sp(V)∩O 6= ∅. WhenF is algebraically closed the map µ 7→ Sp(V)∩O −1 µ µ gives a bijection between P (N) and the unipotent classes of Sp(V). We will denote −1 again by O the intersection Sp(V) ∩ O when F is algebraically closed. Assuming now µ µ V is endowed with a non-degenerate symmetric bilinear form then the same statements hold if we replace P (N) with P (N) and Sp(V) with O(V). We again denote by O the −1 1 µ intersection. Now consider the case of SO(V). Still assuming F is algebraically closed we have the 51 intersection O := O(V) ∩ O is a single SO(V) class unless µ is very even in which case µ µ + − O = O ⊔ O is a disjoint union of two SO(V) conjugacy classes. We will not need to µ µ + − differentiate between these two classes here. To unify the notation we set O = O = O µ µ when µ is not very even. 9.3 Lifting component groups The group Sp(V) has no torsion primes. Therefore by [71, Thm. II.5.8] every ﬁnite subgroup of commuting semisimple elements lies in a maximal torus of Sp(V). An extra assumption is needed for orthogonal groups. Lemma 9.1. Assume B is a non-degenerate symmetric bilinear form on V and let G = SL(V | B) = SO(V). Furthermore, we assume A = ha ,... ,a i 6 G is a subgroup generated by 1 k commuting semisimple elements a of G satisfying a = Id . If V (a ) ∩ V (a ) = {0} for i V −1 i −1 j all i 6= j then there exists a torus S 6 G containing A. Proof. Let G = O(V). By assumption we have a basis (v ,... ,v ) of V such that each v 1 i is an eigenvector of each a . If W = V (a ) ∩ ··· ∩ V (a ) then our assumptions imply j 1 1 1 k that we have an orthogonal decomposition V = W ⊕ V (a ) ⊕ ··· ⊕ V (a ). −1 1 −1 k In particular the restriction of B to each of these summands is non-degenerate. Clearly any element f ∈ C (A) must preserve this subspace decomposition. So we have C (A) = O(W) × O(V (a )) × ··· × O(V (a )) −1 1 −1 k ◦ ◦ and C (A) = C (A) is a corresponding direct product of special orthogonal groups. i,j Now a | = (−1) Id ∈ Z(SO(V (a ))) because V (a ) has even dimen- i −1 j −1 j V (a ) V (a ) −1 j −1 j sion as a ∈ SO(V). We may therefore pick any maximal torus S in C (A). 9.4 Nilpotent Orbits For the rest of this section we will assume that V is an F -vector space of dimension 0 q N and B : V × V → F is a non-degenerate bilinear form for which there exists a sign 0 0 q ε ∈ {±1} such that B(v,w) = εB(w,v) for all v,w ∈ V . (9.1) In other words, B is alternating if ε = −1 and symmetric if ε = 1. Extending scalars we obtain a K-vector space V = K⊗ V and a non-degenerate bilinear form B : V ×V → K. F 0 We set G = SL(V | B) and G = GL(V | B). The vector space V has a natural Frobenius endomorphism F : V → V satisfying q F F(k ⊗ v) = k ⊗ v on simple tensors. We have the ﬁxed point space V is an F -vector space naturally identiﬁed with V . From F we obtain Frobenius endomorphisms F : G → G and F : G → G given by precomposing with the Frobenius on V. It is clear that we ∼ ∼ have G = SL(V | B) and G = GL(V | B). 0 0 52 We ﬁx a Springer isomorphismφ : U(G) → N(G) which gives a bijection U(G)/G → spr N(G)/G, see Theorem 4.1. Recall that we have a bijection P (N) → U(G)/G deﬁned as in Section 9.2. If µ ∈ P (N) and e ∈ φ (O ) then the Jordan form of e is also described ε spr by µ . This follows from Theorem 4.1 as there is at least one Springer isomorphism for which this is true. For instance, one can take a Cayley map as in [71, Thm. III.3.14]. Following [41] we describe how to get a representative of the nilpotent orbit φ (O ). spr µ Let µ = (µ > ··· > µ > 0). We ﬁx a basis 1 r (m) V = (v | 1 6 m 6 N with r 6= 0 and 1 6 s 6 r ,1 6 i 6 m) m m s,i (m) (m) r (m) (m) m of V and set V = Span {v | 1 6 i 6 m} and V = V . If r = 0 then we s s m K s,i s=1 (m) (m) implicitly assume that V = V = {0}. We deﬁne a bijection ¯ : V → V by setting (m)  m v if (−1) = −ε (m) s,m+1−i v¯ = s,i (m) v if (−1) = ε. r +1−s,m+1−i Note we have r is even if (−1) = ε. Following [41, 1.11] we may choose the basis V such that (m) (n) (n) (m) i+1 B(v ,v¯ ) = εB(v¯ ,v ) = (−1) δ δ δ (9.2) i,j s,t m,n s,i t,j t,j s,i where the indices run over all possible relevant values. (m) (m) Now, let e ∈ gl(V ) be the nilpotent element deﬁned such that s s (m) v if 1 6 i < m (m) (m) s,i+1 e v = s,i 0 if i = m. (m) Up to permuting the basis elements, the matrix of e is a single Jordan block of size m. P P (m) N r Let g = Lie(G). We have e = e ∈ g is a nilpotent element whose Jordan µ s m=1 s=1 normal form is parameterised by µ , see [41, 1.11]. We now deﬁne some elements that will be used below in the construction of admissi- ble splittings. Let I = {1 6 k 6 N | r 6= 0 and (−1) = −ε}. For each k ∈ I and 1 6 s 6 r k k (k) the bilinear form B restricts to a non-degenerate bilinear form on V by (9.2) (with the Q Q (k) r (m) same ε). Therefore we can form the involution a ∈ GL(V | B) 6 G m∈I t=1 deﬁned such that (k) δ δ s,t k,m a | = (−1) Id (m) (m) V V t t (k) for all m ∈ I and 1 6 t 6 r . It is clear from the deﬁnition that a ∈ C (e ) and m µ (k) (k) det(a ) = (−1) so a ∈ G if and only if k is even, i.e., if and only if ε = −1. Note that s s these involutions pairwise commute. Remark 9.2. As the F -subspace V ⊆ V contains a basis of V there exists an element g ∈ F g −1 GL(V) such that gV ⊆ V so the bilinear form B is F-ﬁxed. This implies h = g F(g) ∈ G = GL(V | B). We have a corresponding Frobenius endomorphism F = h ◦ F : V → V F ′ and the nilpotent element e ∈ g is F -ﬁxed. 53 ◦ As G = G we see that by replacing g by gx, with x ∈ G, we may replace h by any element of the coset hG. With this remark we see that when ε = −1 we may assume h = 1 because G = G. This amounts to saying we may assume V ⊆ V . Assume now ε = 1 and µ is not very even then there exists an odd integer 1 6 k 6 N with r (µ ) 6= 0. (k) As k is odd the element a ∈ C (e ) is not contained in G so we may assume that 1 G (k) (k) either h = 1 or h = a . In particular, as h ∈ C (e ) we get that e ∈ g and each a µ µ s 1 G is F-stable. 9.5 Centraliser in the Levi Factor (m) We continue with the setup in Section 9.4. Following [41, 3.3, 3.4] we let V = (v | s,j i = 2j − 1 − m), for i ∈ Z, be part of the basis V and set V(i) = Span V . We then get L L a grading V = V(i) of V and a corresponding grading gl(V) = gl(V,i) such i∈Z i∈Z that e ∈ gl(V,2). In turn, we get a grading g = g(i) by setting g(i) = gl(V,i) ∩ g. i∈Z It follows from [41, 3.5, 5.4] and Lemma 3.6 that there exists a cocharacter λ ∈ D (G) such that g(λ,i) = g(i) for all i ∈ Z, see also Remark 9.2. If we set L(λ) = {g ∈ G | g(V(i)) = V(i) for all i ∈ Z} then L(λ) = L(λ) ∩ G, see [41, 3.11]. We now aim to describe more concretely the group L(λ). By deﬁnition, if g ∈ L(λ) then we get an element g = g| ∈ GL(V(i)) for any i ∈ Z. If V(i) 6= {0} then we have i V(i) B(V(i),V(−i)) 6= 0, see [41, 3.4(1)], but B(V(i),V(i)) = B(V(−i),V(−i)) = 0. It follows that B restricts to a non-degenerate bilinear form on V(i) ⊕ V(−i) for any i > 0 and we −1 tr have g = g is the inverse transpose of g , see [41, 4.5(1)]. −i i With this we see that an element g ∈ L(λ) is uniquely determined by its restrictions g| for all i > 0. In other words, we have an isomorphism V(i) L(λ) → SL(V(0) | B) × GL(V(i)) i>0 (9.3) g 7→ (g| ,g| ,g| ,... ), V(0) V(1) V(2) see [41, 4.5]. (m) Given 1 6 m 6 N, we now let W = Kv then certainly dim(W ) = r . m m m s=1 s,1 As in [41, 3.7(4)] the space W can be endowed with a non-degenerate bilinear form m−1 B : W × W → K deﬁned by setting B (v,w) = B(v,e w). According to [41, 3.8, m m m m Prop. 2] the map C (e ) → GL(W | B ) µ m m L(λ) (9.4) m=1 f 7→ (f| ,f| ,... ,f| ) W W W 1 2 N 54 is an isomorphism of algebraic groups and we have  m O(W ) if (−1) = −ε, GL(W | B ) = (9.5) m m  m Sp(W ) if (−1) = ε. (k) Recall that I = {1 6 k 6 N | r 6= 0 and (−1) = −ε}. The group B = ha | k ∈ I and k s 1 6 s 6 r i 6 C (e ) is an elementary abelian 2-group. It is clear from the deﬁnition k µ (k) that a (V(i)) = V(i) for all i ∈ Z so B 6 C (e ). Moreover, the natural surjective s µ L(λ) map C (e ) → A (e ) = C (e )/C (e ) restricts to a surjective map B → µ µ µ µ L(λ) L(λ) L(λ) L(λ) (k) (k) (k) (k) A (e ). If a¯ denotes the image of a in A (e ) then we have a¯ = a¯ for µ s s µ s L(λ) L(λ) t (k) any 1 6 s,t 6 r . From this we see that the subgroup A = ha | k ∈ Ii 6 B maps isomorphically onto A (e ) by (9.4) and (9.5). L(λ) Proposition 9.3. Assume B is an alternating bilinear form so that G = Sp(V) = SL(V | B) is a symplectic group. Any unipotent class O ∈ U(G)/G, with µ ∈ P (N) is F-stable. Moreover, −1 F F F there exists en element u ∈ O , a ﬁnite 2-group A 6 C (u) , and a cocharacter λ ∈ D (G) , G u such that (A,λ) is an admissible covering of A (u). −1 Proof. By Remark 9.2 the nilpotent element e is F-ﬁxed hence so is u = φ (e ) ∈ O . µ µ µ spr (k) F F In particular O is F-stable. We take A = ha | k ∈ Ii 6 C (e ) = C (u) , and µ µ L(λ) L(λ) λ ∈ D (G) to be as in the beginning of the section. Obviously (A,λ) satisﬁes (A0), (A1), and (A3). We need only to check that (A2) holds. With this in mind let S 6 GL(V(i)) be the diagonal maximal torus deﬁned with (k) respect to the basis V . As k ∈ I is even we have a | = Id because any basis V(0) V(0) (m) element v ∈ V has m odd. It is therefore clear that the isomorphism in (9.3) maps A s,j into the torus S × S × ··· . That (A2) holds follows from Remark 7.4. 1 2 If G is a special orthogonal group then it is false, in general, that for a unipotent el- ement u ∈ U(G) one can ﬁnd an admissible covering for A (u). The issue is showing that (A2) holds, see Lemma 9.1. As an example, consider the partition µ = (5,3,1). How- ever, what we show now is that for special unipotent classes one can ﬁnd an admissible covering for Lusztig’s canonical quotient, which will be sufﬁcient for our needs. Proposition 9.4. Assume B is a symmetric bilinear form so that G = SO(V) = SL(V | B) is a special orthogonal group. Let O ∈ U(G)/G be an F-stable special unipotent class, with µ ∈ F F P (N). Then there exists an element u ∈ O , a ﬁnite 2-group A 6 C (u) , and a cocharacter 1 G λ ∈ D (G) such that the pair (A,λ) is an admissible covering of Lusztig’s canonical quotient A of A (u). Proof. If µ is a very even partition, i.e., I = ∅, then the statement is trivial because A (u) is trivial. Hence we will assume that µ is not very even so I 6= ∅ and we may drop the ± superscripts from O . −1 F F As above, u = φ (e ) ∈ O is F-ﬁxed. We take λ ∈ D (G) to be as in Section 9.5. µ u spr µ Following [67] we write I = I ⊔ I where I = {k ∈ I | r (µ ) ≡ 1 (mod 2)} and odd ev odd k similarly I = {k ∈ I | r (µ ) ≡ 0 (mod 2)}. As in the proof of [67, Thm. 6] we write ev k 55 (m) I = {j ,... ,j } with j > ··· > j and for each 1 6 m < s we let I = {k ∈ I | j > odd 1 s s 1 m+1 (m) k > j }. Note that, by deﬁnition we have I ⊆ I . m ev (m) It is shown in the proof of [67, Thm. 6] that for any odd 1 6 m < t and i ∈ I we (i) (j ) (j ) (j ) m m+1 m have a¯ a¯ and a¯ a¯ are in the kernel of the natural map A (u) → A . Now G F 1 1 1 1 let us write I = {k ,... ,k } with k > ··· > k . For 1 6 n < t we set 1 t t 1 (k ) (k ) n+1 n a a if k ∈ I odd 1 1 c = (k ) (k )  n+1 n a a if k ∈ I , n ev 1 2 where we note that if k ∈ I then we necessarily have r (µ ) > 1. Let A = hc | 1 6 n ev k n n < ti 6 C (u) . This is an elementary abelian 2-group that maps isomorphically onto A (u). Assume 1 6 m < n < t then we have V (c ) ∩ V (c ) = {0} unless n = m + 1 G −1 m −1 n and k ∈ I . odd We claim that for any 1 < n < t with k ∈ I we have either the image of c or n odd n c in A (u) is in the kernel of the natural map A (u) → A . Write k = j with n−1 G G F n m (k ) (k ) n+1 n (m) 1 6 m 6 t. Either k ∈ I or k = j so if m is odd we have a¯ a¯ n+1 n+1 m+1 1 1 (m−1) is in the kernel. Similarly, either k ∈ I or k = j . If m is even then n−1 n−1 m−1 (k ) (k ) n n−1 (m−1) a¯ a¯ is in the kernel because if k ∈ I we have n−1 1 1 (k ) (k ) (j ) (j ) (k ) (j ) n n−1 m m−1 n−1 m−1 a¯ a¯ = (a¯ a¯ )(a¯ a¯ ). 1 1 1 1 1 1 Now for each 1 < n < t with k ∈ I we remove one of the generators c or c n odd n−1 n e e from A which is contained in the kernel of the natural map A (u) → A . Let A 6 A be G F generated by what is left then we have a subgroup whose generators, and therefore their restrictions to V(0), satisfy the assumptions of Lemma 9.1. Consequently there exists a torus S 6 SL(V(0) | B) containing a for every a ∈ A. We may now conclude as in 0 |V(0) Proposition 9.3 that (A2) holds. Finally, as in the symplectic case it is obvious that (A,λ) satisﬁes (A0), (A1), and (A3). 10. Admissible Coverings for Exceptional Groups Theorem 10.1. Assume G is an adjoint simple group and F : G → G is a Frobenius endomor- phism so that either G is of exceptional type or (G,F) has type D . For each F-stable family F F F ∈ Fam(W) there exists a unipotent element u ∈ O and an admissible covering (A,λ) of Lusztig’s canonical quotient A of A (u) such that |A| is a product of bad primes for G. F G The goal of this section is to prove Theorem 10.1. If A is the canonical quotient attached to the family F ∈ Fam(W) then it is well known that, when G is of excep- ¯ ∼ tional type, we have A = S is a symmetric group with m ∈ {1,2,3,4,5}. When G is Steinberg’s triality group there is only one non-trivial A and it is isomorphic to S . Of F 2 course, if A is trivial then we may simply take A to be trivial. Hence, we will only treat the cases where A is non-trivial. We note here that, as a consequence of our proof, we establish the following which may be of independent interest. Over C this was shown by Fu–Juteau–Levy–Sommers [24, Prop. 6.1]. 56 0 ˜ ˜ B C n n n n 2 n−1 0 1 2 n−1 0 n−1 0 1 2 3 4 ˜ ˜ D F n 4 2 n−2 0 1 3 4 5 6 7 1 2 0 ˜ ˜ E G 7 2 1 3 4 5 6 7 8 0 1 3 4 5 6 ˜ ˜ E E 8 6 2 2 Figure 1: Labelled afﬁne Dynkin diagrams. Lemma 10.2. Recall that p is assumed to be good for G. Let G be an adjoint simple group, u ∈ G a unipotent element, and λ ∈ D (G) a Dynkin cocharacter, then there exists a subgroup A 6 C (u) such that C (u) = C (u) ⋊ A unless G is of type E or E and u is contained L(λ) G 7 8 in one of the four classes O occurring in Table 2. Moreover, when such a complement exists we F F may assume it is F-stable if u ∈ G and λ ∈ D (G) . Proof. If G is exceptional and u is distinguished then this is clear as C (u) is unipotent and A (u) is a p -group. If u is contained in the class D (a ) or D (a )+A then this 4 1 4 1 1 follows from the calculations in Sections 10.5 and 10.6. Finally the cases where A (u) = S are covered by the arguments in Sections 10.2 and 10.3. Whilst not all classes with A (u) S are listed in Tables 1 and 2 the remaining cases are treated with identical G 2 calculations performed in CHEVIE, which we omit. Now consider the case where G is classical. Let π : G → G be an isogeny from a classical group Sp(V) or SO(V). This deﬁnes a bijection U(G) → U(G) and for any −1 u˜ ∈ U(G) we have C (u˜ ) = π (C (u)), where u = π(u˜ ). We now appeal to the notation ˜ G (k ) (k ) 1 m ˜ ˜ of Section 9. Writing I = {k ,... ,k } then we let A = ha ,... ,a i if G = Sp(V) 1 1 (k ) (k ) (k ) (k ) 1 2 m−1 ˜ ˜ ˜ and A = ha a ,... ,a a i if G = SO(V). It is clear that A is an elementary 1 1 1 1 abelian 2-group and C (u˜ ) = C (u˜ ) ⋊ A. G ˜ ◦ ◦ Let B = π(A) then C (u) = C (u)B but it may happen that C (u) ∩ B 6= {1}. How- G G ever, as B is elementary abelian the subgroup C (u) ∩ B 6 B has a complement, say A, in B. The group A then gives a complement. In Tables 1 to 3 below we gather various information regarding Lusztig’s canonical quotient in adjoint exceptional groups. This information can be extracted from the data gathered in [13, Chp. 13], or alternatively using CHEVIE. Indeed, in [13] one ﬁnds all the sets of families Fam(W) with the corresponding special character in each family. From the explicit description of the Springer correspondence one can then compute the canonical 57 quotient directly from the deﬁnition given in [47, §13.1], see also the tables in [67]. Proving Theorem 10.1 will involve some detailed calculations in exceptional groups. For this we introduce some notation relating to the Steinberg presentation of G. Let q q q R(G, T , B ) = (X,Φ,∆ ,X,Φ,∆ ) be the based root datum of G deﬁned as in Section 2.2. 0 0 As in [70, Prop. 8.1.1] we choose for each root α ∈ Φ a closed embedding x : K → G, of the additive group of the ﬁeld, such that x (c) = x (α(t)c) for all t ∈ T and c ∈ K. The α α 0 image of the differential d x : Lie(K ) → Lie(G) is the corresponding 1-dimensional 1 α root space. We set e := d x (1). α α We also have an element n = x (1)x (−1)x (1) ∈ N (T ) whose image in the α α −α α G 0 Weyl group W = N (T )/T , denoted by s , is the reﬂection of α in the natural action of G 0 0 α W on Q ⊗ X. If w ∈ W is any element of the Weyl group then we set n := n ···n Z w α α where w = s ···s is a reduced expression for the element. The element n does not α α w 1 r depend upon the choice of reduced expression used to deﬁne it (see [76, Prop. 4.3] or [70, 8.3.3, 9.3.2]). q q q We set V = Q ⊗ X. For any simple root α ∈ ∆ we denote by ω ∈ V the fundamental dominant coweight corresponding to α so that we have hα,ω i = δ . In what follows β α,β we will assume, unless otherwise speciﬁed, that G is adjoint simple. In that case X has a + × basis, as a Z-module, given by {ω q | α ∈ ∆ }. We ﬁx a homomorphism ι : Q → K of abelian groups such that Z ⊆ Ker(ι) and Ker(ι)/Z 6 Q/Z is the p-torsion subgroup of Q/Z. If γ ∈ X(T ) then we consider this as a homomorphism Q → T by composing 0 0 1 1 with ι. For example, we write ω q ( ) instead of ω q (ι( )). α α 2 2 As G is simple we have Φ is irreducible and, unless speciﬁed otherwise, we denote by α ∈ Φ the negative of the highest root. We take the simple roots of G to be ∆ = {α ,... ,α } with the ordering of the simple roots taken to match the labelling of the 1 n Dynkin diagrams in Fig. 1. We let ∆ = ∆ ∪ {α } be the roots of the extended Dynkin diagram. The elements e ∈ Lie(G) for α ∈ Φ deﬁned above may, and will, be chosen to form part of a Chevalley basis for the Lie algebra. The structure constants for the Lie algebra depend upon a series of signs chosen on so-called extraspecial pairs. We follow a stan- dard algorithm to produce the extraspecial pairs and on each extraspecial pair we choose the sign to be 1. To compute the relevant structure constants, and related information, we use the algorithms deﬁned in [15, §3]. We defer to [15] for the details. Given two roots α,β ∈ Φ there exists a sign η ∈ {±1} such that x (c) = α,β β x (η c) for all c ∈ K. There is a standard algorithm for calculating these signs as s β α,β described in [15, §3]. If w ∈ W then there also exists a sign η such that x (c) = w,α α x (η c) for all c ∈ K. If w = s ···s is a ﬁxed reduced expression for w then we wα w,α α α r 1 have η = η η ···η . w,α α ,α α ,s α α ,s ···s α α r α α 1 2 1 r−1 1 Hence η can be computed from the signs η deﬁned above. w,α α,β 58 10.1 Quasi-semisimple elements In this section we recall some recent results of [20] concerning quasi-semisimple ele- ments. Let Σ ⊆ Φ be a closed subsystem with positive system Σ ⊆ Σ and T 6 M 6 G the corresponding subsystem subgroup. We will assume that σ ∈ N (T ) is such that G 0 σ + + σ σ + Σ = Σ so certainly Σ = Σ and M = M. Moreover, if Π ⊆ Σ is the unique sim- + σ ple system contained in Σ then Π = Π. Moreover, the element σ is a quasi-semisimple element of the group generated by the coset Mσ. Let Σ/hσi be the set of orbits of hσi acting on Σ. To each orbit O ∈ Σ/hσi we associate ∗ −1 ∗ ∗ vectors β = α ∈ V and β = |O| β . Similarly we associate vectors β = O α∈O O O −1 ∗ × q q q α q ∈ V and β = |O| β . Furthermore, we denote by C ∈ K the unique O σ,O α∈O O |O| element such that x (k) = x (C k) for any α ∈ O and k ∈ K. α α σ,O Following [20] we say the orbit O is special if there exist two roots α,β ∈ O such that α + β ∈ Σ is a root. The orbit of α + β is then said to be cospecial. We set s(O) = 2 if the orbit is special and s(O) = 1 otherwise. Proposition 10.3 (see, [20, Prop. 1.11]). The group C (σ) is a connected reductive algebraic ◦ ◦ ◦ group with maximal torus C (σ) and Borel subgroup C (σ). Let Σ be the roots of C (σ) with T B M 0 0 ◦ + ◦ respect to C (σ) and let Π ⊆ Σ ⊆ Σ be the simple and positive roots determined by C (σ). σ σ T σ B 0 0 If p 6= 2 then we have: (i) Σ = {β | O ∈ Σ/hσi and C = 1}, σ O σ,O + + (ii) Σ = {β | O ∈ Σ /hσi and C = 1}, O σ,O (iii) Π = {β | O ∈ Π/hσi and C = 1} ∪ {2β | O ∈ Π/hσi is special and C = −1}. σ O σ,O O σ,O ∗ ◦ q q Moreover, we have s(O)β ∈ X(C (σ)) is the coroot corresponding to β ∈ Σ . We let O σ O T q q q Π ⊆ Σ ⊆ Σ be the corresponding sets of coroots. σ σ Remark 10.4. Assume O ∈ Σ/hσi is a special orbit then |O | = 2i is even and α + α ∈ Σ 1 1 is a root. Moreover, {α, α} is contained in an irreducible component of type A . If O 2k 2 is the cospecial orbit containing α + α then β = 2β . However, by the calculation O O 2 1 in [72, 8.2] we have C = −C so exactly one of β or β is contained in Σ . σ,O σ,O O O σ 1 2 1 2 ◦ ◦ ◦ ◦ ◦ LetW (σ) be the Weyl groupN ◦ (C (σ))/C (σ) ofC (σ) with respect toC (σ). C (σ) M T T M T M 0 0 0 We may naturally identify W (σ) with a subgroup of the centraliser W (σ) = {w ∈ σ ◦ W (T ) | w = w}. Following [20] we say σ is quasi-central if W (σ) = W (σ). If σ is G 0 G quasi-central then C ∈ {±1} for all orbits O ∈ Σ/hσi and C = 1 unless the orbit O is σ,O σ,O special. We will need the following. Lemma 10.5 (see, [20, (1.24)]). Assume σ is quasi-central and t ∈ C (σ) then we have Σ = T tσ {β | O ∈ Σ/hσi and β (t) = C }. O σ,O Remark 10.6. If there are no special orbits then the condition that β (t) = C is simply σ,O the condition that β (t) = 1. However, even in this case the root system Σ is not tσ necessarily a closed subsystem of Σ . 59 Let us now give an example of these concepts which will be used later to deal with the unipotent class D (a ) in E . 4 1 6 Example 10.7. Assume G is any simple group of type E and let M 6 G be the standard Levi subgroup of type D with basis of simple roots given by Π = {2,3,4,5}. The group N (Π) = {w ∈ W | Π = Π} = hs ,s i is isomorphic to the symmetric group S , W Π,α Π,α 3 1 6 where s = w w is the product of longest elements. The element w = s s Π,α Π∪{α} Π Π,α Π,α 6 1 is of order 3 and acts on Π as the cyclic permutation (α ,α ,α ). 2 5 3 Let σ = n , an element of order 3, then Σ /hσi contains six orbits O = {1000,0100,0001} O = {1010,0110,0011} O = {1111}, 1 3 5 O = {0010} O = {1110,1011,0111} O = {1121} 2 4 6 where roots are written in Bourbaki convention with respect to Π. To ease notation we ∗ ∗ set β = β , β = β , . . . , etc. The set Σ/hσi contains no special orbits, hence also no i O i i O cospecial orbits. As σ has odd order it follows that C = 1 for all orbits O ∈ Σ/hσi so σ σ,O is quasi-central. The root system Σ is of type G with simple system Π = {β ,β }. Here the root β σ 2 σ 1 2 1 is short and the root β is long. Now consider the element t = ω ( ) ∈ C (σ). Note 2 4 T that ω q ∈ ZΦ is contained in the coroot lattice so t is an element of order 3 and we have + ∗ Σ = {β | O ∈ Σ/hσi and hβ ,ω q i ∈ 3Z} = {β ,β ,β } O 4 1 3 4 tσ O are the positive roots of a root system of type A with simple system {β ,β }. Note that 2 1 3 the sum β + β = 3β + β ∈ Σ is a root not contained in Σ so this subsystem of Σ 1 4 1 2 σ tσ σ is not closed in Σ . In the following sections we will need to calculate the fusion map U(C (σ)) U(M), as in Section 5. Note that C (σ) is not a maximal rank subgroup of M so the results in Section 5 do not directly apply. However, the fusion map can be calculated with the following result of Fowler–Ro¨hrle which is an analogue of Theorem 5.1 for the group C (σ). Theorem 10.8 (Fowler–Ro¨hrle, [23, Cor. 3.23]). Assume p is a good prime for G and σ ∈ ◦ ◦ G is a semisimple element. If u ∈ U(C (σ)) is a unipotent element then D (C (σ)) = M M D (M,C (σ)). With this result we may now use the same algorithm given in Algorithm 5.2 to cal- culate the fusion map U(C (σ)) U(M). We note that, as before, to calculate the fusion map we need only that the inclusion D (C (σ)) ⊆ D (G) holds. Moreover, u u as M has maximal rank inside G another application of Algorithm 5.2 gives the fusion map U(M) U(G). So we may in fact use the algorithm to calculate directly the map U(C (σ)) U(G). We give the following example to illustrate the point. Example 10.9. We use the notation of Example 10.7. Note that we have β = 2(ω q + ω q + ω q ) − 3ω q , 2 3 5 4 60 ∗ β = −(ω q + ω q + ω q ) + 2ω q . 2 3 5 4 Let π be the fundamental dominant coweight of Σ corresponding to β . We then have i i ∗ ∗ ∗ ∗ q q q q πq = 2β + 3β = ω q + ω q + ω q and πq = β + 2β = ω q . As one might expect we 1 2 3 5 2 4 1 2 1 2 ﬁnd that, in terms of weighted Dynkin diagrams, the fusion map U(C (σ)) U(M) is given as follows. a a b b Recall that β is the short root. In particular, there is no non-trivial fusion and C (σ) meets every σ-invariant unipotent class of M except the subregular class. Now consider the group C (tσ) of type A with simple system {β ,β }. Note that 2 1 3 ∗ ∗ ∗ q q q β = β + 3β . The fundamental dominant coweights of Σ are tσ 3 1 2 ∗ ∗ ∗ ∗ q q q q (2β + β ) = β + β = (ω q + ω q + ω q ) − ω q , 2 3 5 4 1 3 1 2 ∗ ∗ ∗ ∗ q q q q (β + 2β ) = β + 2β = ω . 1 3 1 2 Thus the fusion in terms of weighted Dynkin diagrams is given as follows a a a Hence, we see that C (tσ) meets the subregular class of M. 10.2 Families with A S lifting to an involution F 2 Each family F ∈ Fam(W) in Table 1 satisﬁes the property that A S . In the table F 2 we list the unique special character χ ∈ F, the corresponding unipotent class O , and F F the Spaltenstein dual class O . Moreover, following [66] we list for each family a set J which encodes the weighted Dynkin diagram for the class Cl (u) of a distinguished unipotent element u ∈ U(L ) in a corresponding maximal rank subgroup L 6 G. J J As in CHEVIE [57] J encodes this information as follows. By taking the absolute value of each integer in J we obtain a subset of the extended Dynkin diagram ∆ , via the explicit labelling in Fig. 1, and thus a corresponding maximal rank subgroup L . The weights on the weighted Dynkin diagram of the class Cl (u) are determined as follows. If i ∈ J is positive then the corresponding weight on the diagram is 2 and if i is negative then the corresponding weight on the diagram is 0; note that any distinguished class is even. Hence, in this case, Cl (u) is always the regular class in L except when G is of type E L J 8 and O is either A +2A , E (b ), or E (a ). F 4 1 8 6 8 5 With the subset J in hand it is easy to verify in CHEVIE that Cl (u) = O . In Fig. 1 we G F have listed the extended Dynkin diagrams for exceptional groups. If s ∈ T is an isolated involution in G then the Dynkin diagram of C (s) is obtained by removing one of the 61 G χ O O ∗ Cl (u) J F F F L 2 2 2 2 D φ 3 1 3 1 4A {0,1,3,4} 4 2,1 1 ˜ ˜ F φ A F (a ) A +A {0,2} 4 4,13 1 4 1 1 1 φ F (a ) A B {0,1,2,3} 4,1 4 1 1 4 E φ A E (a ) 4A {0,1,4,6} 6 30,15 2 6 3 1 φ E (a ) A A +A {0,1,3,4,5,6} 30,3 6 3 2 5 1 E φ A E (a ) 4A {0,3,5,7} 7 56,30 2 7 3 1 φ A +A E (a ) 5A {0,2,3,5,7} 120,25 2 1 6 1 1 φ D (a )+A E (a ) A +3A {0,2,3,5,6,7} 405,15 4 1 1 6 3 3 1 φ A D (a ) 2A {0,1,3,5,6,7} 420,13 4 5 1 3 φ D (a ) A D +2A {0,2,3,4,5,7} 420,10 5 1 4 4 1 φ E (a ) D (a )+A A +A {0,3,4,5,6,7} 405,8 6 3 4 1 1 5 1 φ E (a ) A +A A {0,1,3,4,5,6,7} 120,4 6 1 2 1 7 φ E (a ) A D +A {0,2,3,4,5,6,7} 56,3 7 3 2 6 1 E φ A E (a ) 4A {0,2,5,7} 8 112,63 2 8 3 1 φ A +A E (a ) 5A {0,2,3,5,7} 210,52 2 1 8 4 1 φ 2A E (a ) A +4A {0,1,2,3,5,7} 700,42 2 8 5 2 1 φ A E (a ) 2A {0,2,4,5,7,8} 2268,30 4 7 3 3 φ D (a )+A E (b ) A +A +2A {0,1,2,3,5,6,7} 2240,28 4 1 2 8 6 3 2 1 φ A +2A D (a ) D (a )+A {0,2,3, −4,5,7,8} 4200,24 4 1 7 2 4 1 3 φ D (a ) E (a ) D +2A {0,2,3,4,5,7} 2800,25 5 1 6 1 4 1 φ E (a ) D (a ) A +A {0,2,4,5,6,7} 5600,21 6 3 6 1 5 1 φ D (a ) E (a ) D +2A {0,1,2,3,4,5,7} 5600,15 6 1 6 3 5 1 φ E (a ) D (a ) A {0,2,4,5,6,7,8} 2800,13 6 1 5 1 7 φ E (a ) A D +A {0,2,3,4,5,6,7} 2268,10 7 3 4 6 1 φ E (a ) A +A D {0,2,3,4,5,6,7,8} 210,4 8 4 2 1 8 φ E (a ) A E +A {0,1,2,3,4,5,6,7} 112,3 8 3 2 7 1 φ E (b ) D (a )+A D (a ) {0,2,3, −4,5, −6,7, −8} 2240,10 8 6 4 1 2 8 3 φ E (a ) 2A D (a ) {0,2,3, −4,5,6,7,8} 700,6 8 5 2 8 1 Table 1: Families with A S lifting to an involution. F 2 red nodes from the extended diagram. Indeed, up to conjugacy we can, and will, assume that s = ω ( ), with α ∈ ∆ a red root. With this we see that each subsetJ is contained in a subsetK ⊆ ∆ such that C (s) = L where s ∈ T is an isolated involution in G. We note that there could be more than one choice for K. Hence we have L 6 C (s) is a Levi subgroup. In particular, this means that ◦ ◦ ◦ ◦ ◦ L = C (Z (L )) = C (sZ (L )). By [56, Prop. 15] there exists an element t ∈ sZ (L ) J J J J C (s) G such that L = C (t), so L is a pseudo-Levi subgroup of G in the parlance of [56]. J J ◦ ◦ ◦ Ass is isolated in G we must have Z (C (s)) is trivial; if not thenC (s) is contained in G G ◦ ◦ ◦ ◦ the proper Levi subgroupC (Z (C (s))). Hence s 6∈ Z (C (s)). As L is a Levi subgroup G J G G ◦ ◦ ◦ of C (s) we have the natural map Z(C (s)) → Z(L )/Z (L ) is surjective. Using either J J G G [56, Lem. 33] or a calculation in CHEVIE we get that Z(L )/Z (L ) is not trivial in each J J ◦ ◦ case. This means s 6∈ Z (L ). It thus follows from [56, Thm. 1] that s 6∈ C (u). ˜ ˜ ˜ In each case we have the subset J ⊆ ∆ is stable under the permutation ∆ → ∆ induced 62 G χ O O ∗ Cl (u) J F F F L E φ A +A A +A A +2A {2 | 0,1,3 | 5,6,7} 7 512,11 4 1 4 1 1 3 E φ E (a )+A A +A A +A {2,4,5,6,7,8,0 | 1} 8 4096,11 6 1 1 4 1 7 1 φ D (a ) A +2A D +A {1,3,4,5,2 | 7,8,0} 4200,12 7 2 4 1 5 3 φ A +A E (a )+A A +2A {1 | 0,7,8 | 2,4,5} 4096,26 4 1 6 1 1 1 3 ¯ ∼ Table 2: Families with A = S not lifting to an involution. F 2 by F. Hence, we have L is F-stable. Moreover, the class Cl (u) is the unique unipotent class in L of its dimension so it is also F-stable. Therefore we can assume that u ∈ L is an F-ﬁxed element of its conjugacy class. From the description of s above it is clear that we can assume that s is F-ﬁxed. We now take A = hsi and we ﬁx a cocharacter λ ∈ D (L ) . By Theorem 5.1 we have F F λ ∈ D (G) and s ∈ L(λ) = C (λ) because L 6 C (s). Thus we have A 6 L(λ) and u G J G the natural maps A → A (u) → A (u) are isomorphisms. As p is good for G it is L(λ) necessarily odd so (A1) holds and |A| = 2 is divisible only by bad primes. We have (A2) holds by Remark 7.3 and (A3) holds trivially. 10.3 Families with A S not lifting to an involution F 2 There are four families where A (u) = A S but all involutions in C (u) are G F 2 G contained in C (u). These families are listed in Table 2. In each case we either have G is of type E or E . For each family we list a subset J ⊆ ∆ of the extended Dynkin diagram 7 8 of G. We assume s = ω q ( ) with α ∈ ∆ \ J then s is an isolated semisimple element of ˜ ˜ order 4 with simple system of roots ∆ \ {α}. Hence J ⊆ ∆ \ {α} so L 6 C (s) is a Levi subgroup of the centraliser. The root α is uniquely determined except in the case where (G, O ) is of type (E , A +A ) in which case there are two choices. It does not matter F 8 4 1 which element we choose. Now we have F(s) = s for some n ∈ N (T ) which can be taken to be 1 if q ≡ 1 G 0 (mod 4) and a representative of the longest element if q ≡ −1 (mod 4). Assume g ∈ G −1 g g ′ n satisﬁes g F(g) = n then F( s) = s. If F (x) = F(x) then conjugation by g inter- ′ ′ twines the Frobenius endomorphisms F and F . It sufﬁces to argue with respect to F and translate under the conjugation action by g. ′ ◦ As the longest element is −1 we have L is F -stable and is a Levi subgroup of C (s). ′ ′ F F If u ∈ L is a regular unipotent element and λ ∈ D (L ) is a corresponding Dynkin cocharacter then s ∈ C (u). A calculation in CHEVIE shows that Z(L )/Z (L ) is of L(λ) J J order 4 in each case so, arguing as in Section 10.2, we see that s 6∈ C (u). It is clear that L(λ) F ′ A = hsi 6 L(λ) satisﬁes (A0), (A1), and (A3) of Deﬁnition 7.1, with respect to F , and (A2) is satisﬁed by Remark 7.3. 10.4 Families with A S and O distinguished F 3 F F F Fix an element u ∈ O and a cocharacter λ ∈ D (G) . We have assumed that the class O is distinguished. By deﬁnition this means that C (u) contains no non-trivial F G 63 ¯ G χ O O ∗ A (u) = A F F F G F G φ G (a ) G (a ) S 2 2,1 2 1 2 1 3 F φ F (a ) F (a ) S 4 12,4 4 3 4 3 4 E φ D (a ) D (a ) S 6 80,7 4 1 4 1 3 E φ D (a ) E (a ) S 7 315,7 4 1 7 5 3 φ E (a ) D (a ) S 315,16 7 5 4 1 3 E φ D (a ) E (b ) S 8 1400,37 4 1 8 5 3 φ D (a )+A E (a ) S 1400,32 4 1 1 8 6 3 φ E (a ) D (a )+A S 1400,8 8 6 4 1 1 3 φ E (b ) D (a ) S 1400,7 8 5 4 1 3 φ E (a ) E (a ) S 4480,16 8 7 8 7 5 ∼ ¯ Table 3: Families with non-abelian A (u) = A . G F torus. After (i) of Proposition 4.5 we have C (u) is reductive so C (u) = {1} as its L(λ) L(λ) rank must be 0. Hence, the natural map C (u) → A (u) is an isomorphism so (A3) L(λ) G holds. g g We claim that, after possibly replacing (u,λ) by ( u, λ) for some g ∈ G, we have ∼ ¯ (C (u),λ) is an admissible covering of A (u) = A . Firstly, we arrange that (A0) G F L(λ) holds. Certainly C (u) is F-stable but it may not be the case that F acts trivially on L(λ) C (u). However, as C (u) S we have F acts as an inner automorphism, say L(λ) L(λ) 3 F(b) = b for some a ∈ C (u) and all b ∈ C (u). Now take g ∈ G to be such that L(λ) L(λ) −1 g g g F(g) = a then replacing (u,λ) by ( u, λ) we have F acts trivially on C (u). L(λ) Let A = C (u). As p is a good prime for G, an exceptional group, we have p 6= 2,3 L(λ) so (A1) holds. If a ∈ A then either C (a) is cyclic or C (a) = A. If C (a) = A then a A A A must be the identity so a ∈ C (C (a)). Appealing to Remark 7.3 in the cyclic case we L(λ) see that (A2) holds. 10.5 Families with A S and O of type D (a ) F 3 F 4 1 After Table 3 we see that G is of type E with n ∈ {6,7,8}. Let us note that regardless of the isogeny type of G if u ∈ U(G) is in the class D (a ) we have A (u) S . Using the 4 1 G 3 exact same argument as in Section 10.4 it sufﬁces to show that there exists an element u ∈ F F ◦ O , a cocharacter λ ∈ D (G) , and an F-stable complement A 6 C (u) of C (u). L(λ) L(λ) We ﬁrst consider the case where G is simple of type E . Let us adopt the notation of Example 10.7. In particular, we have σ = n ∈ N (T ) acts on Π as the cycle (α ,α ,α ) w G 0 2 5 3 and t = ω ( ) ∈ C (σ) is an element of order 3 with C (tσ) of type A . The group 4 T 2 3 0 M C (t) is reductive of type 3A with a basis of simple roots being given by J = {2,3,5}. Let ′ 1 1 1 1 w = w w and let a = α q ( )α q ( )α q ( )α q ( )n ′. ∆ J 2 3 4 5 w 2 2 2 2 a −1 a −1 The element a has order 2 and satisﬁes t = t and σ = σ . In particular, as a −1 ◦ t ∈ C (σ) we have (tσ) = (tσ) so a normalises K := C (tσ) and A = htσ,ai is 0 M isomorphic to S . The element a preserves the roots Σ and acts as the permutation 3 tσ (β , −β )(−β ,β ). Hence, a preserves the simple system {β , −β } of Σ and a is a 3 4 3 4 3 4 tσ quasi-central element of the coset Ka. Let u ∈ U(C (a)) be a regular unipotent element 64 ◦ ◦ and λ ∈ D (C (a),C (a,tσ)) a Dynkin cocharacter. Then u is regular in K and subreg- K T ular in M by Example 10.9. Hence u is contained in the class D (a ) of G. 4 1 As u ∈ M we have Z(M) 6 C (u) and certainly Z(M) 6 L(λ) because λ ∈ X(T ). We G 0 ◦ ◦ ◦ know that C (u) is a 2-dimensional torus, see [46, Table 22.1.3], so C (u) = Z (M). L(λ) L(λ) Certainly no element of A centralises M so A ∩ C (u) = {1} and A is a complement of L(λ) C (u). That A is F-stable is clear. L(λ) Now assume G is a simple group of type E or E and let M 6 G be the standard Levi 7 8 subgroup of type E . We have already shown that there exists an element u ∈ U(M) in F F the class D (a ), a cocharacter λ ∈ D (M) ⊆ D (G) , and an F-stable complement 4 1 u u A 6 C (u) of C (u). By Lemma 4.4 we have A 6 C (u) must also be an L (λ) L (λ) M L (λ) G F-stable complement of C (u) so we are done. L (λ) 10.6 The family with A = S and O of type D (a )+A F 3 F 4 1 1 In this case we have G is of type E . Let M 6 G be the standard Levi subgroup of type D A determined by the set of simple roots Π = {2,3,4,5 | 8} ⊆ ∆ . We have N (Π) is a 4 1 W reﬂection group of type B with generators s˜ = s , s˜ = s , and s˜ = s , 3 1 Π,α 2 Π,α 3 Π,α +α 6 1 6 7 where s denotes the product of longest elements w w . The element w = s˜ s˜ , Π,β Π 1 2 Π∪{β} of order 3, acts on Π as the cycle (α ,α ,α ). Moreover, the element σ = n is a quasi- 2 5 3 central element of the coset Mσ of order 3. 2 1 2 Let t = ω q ( )ω q ( )ω q ( ) ∈ C (σ), which is an element of order 3. If we let O = 1 4 6 T 7 3 3 3 + + {α } and O ,... , O be as in Example 10.7 then we have Σ /hσi = {O ,... , O }, where Σ 8 1 6 1 7 are the positive roots of M containing Π. Similarly to Example 10.7 we have C (tσ) is of type A A with positive roots Σ = {β ,β ,β ,β }. 2 1 tσ 1 3 4 7 The centraliser C (t) in M is the standard Levi subgroup of G of type 4A with basis M 1 of simple roots given by J = {2,3,5,8} ⊆ Π. We let w = w w s˜ s˜ s˜ s˜ s˜ s˜ and a = ∆ J 3 2 1 3 2 3 1 1 a −1 a −1 q q ′ ω ( )ω ( )n . Then a is an involution satisfying t = t and σ = σ . Hence 2 6 w 2 2 a −1 ◦ (tσ) = (tσ) so a normalises K = C (tσ) and A = htσ,ai is isomorphic to S . As in Section 10.5 the element a acts on Σ as the permutation (β , −β )(−β ,β ). Hence, a tσ 3 4 3 4 preserves the simple system {β , −β ,β } of Σ and a is a quasi-central element of the 3 4 7 tσ coset Ka. If u ∈ U(C (a)) is a regular unipotent element then u is contained in the class ◦ ◦ D (a )+A of G. We ﬁx a cocharacter λ ∈ D (C (a),C (a,tσ)) ⊆ D (G, T ). 4 1 1 u u 0 K T By design A 6 C (u) is an F-stable subgroup of C (u). Arguing as in Sec- L(λ) L(λ) tion 10.4 we see that it is sufﬁcient to show that A ∩ C (u) is trivial. The centraliser L(λ) s˜ s˜ s˜ 2 2 1 C (Π) = hs˜ ,s˜ ,s˜ i 6 N (Π) is a reﬂection group of type 3A . One easily checks W 3 W 1 3 3 that conjugation gives a faithful permutation action of the group hw,w i 6 W on the non-identity elements of C (Π). The group C (Π) is the Weyl group of a subsystem subgroup C 6 C (M) of type 3A , its roots being those that are orthogonal to all of those in Σ. As u ∈ M and λ ∈ D (M, T ), and as C is connected, we must have C 6 C (u). Moreover, it is well u 0 L(λ) known that equality holds in this case, see [46, Table 22.1.1]. By the above remarks it follows immediately that A ∩ C = {1} as desired. 65 ∼ 10.7 The family with A S F 4 In this case we have G is of type F and O is the class F (a ). Let u ∈ O and 4 F 4 3 λ ∈ D (G) be an associated cocharacter. The class F (a ) is distinguished so we can u 4 3 g g use the argument of Section 10.4 to show that, after possibly replacing (u,λ) by ( u, λ) for some g ∈ G, we have (A,λ) is an admissible covering for u where A = C (u). L(λ) The problem here is showing that (A2) holds. As A = C (u) S we have for any L(λ) 4 a ∈ A that C (a) is either: abelian of order 3 or 4, a dihedral group of order 8, or A itself. If C (a) = A then a ∈ Z(A) = {1} so certainly a ∈ C (C (a)). Now, in the abelian A A L(λ) case C (a) is generated by at most two elements. As G is simply connected it follows from [71, Thm. II.5.8] that C (a) is contained in a maximal torus of G so we can apply Remark 7.4. With this it sufﬁces to prove that the property in (A2) holds when C (a) is a dihedral group. All elements of A with C (a) a dihedral group are conjugate, hence we need only show it for one such element. Note also that as (A2) makes no reference to the Frobenius we need not concern ourselves with any questions of F-stability. Consider the isolated element s = ω ( ) of order 4. If α is the root 1242 then the 3 0 set Π = {1,2,0 | 4} is a basis of simple roots for the centraliser M = C (s), which is a semisimple group of type A A . Let w = w w . The element σ = n is an involution 3 1 ∆ Π w satisfying Π = Π. The set Π/hσi is a union of three orbits (O , O , O ) = ({0,1}, {2}, {4}). 1 2 3 One readily checks that σ is a quasi-central element of the coset Mσ and the group C (σ) is of type C A . Here {β ,β } is a simple system of roots for the C component with 2 1 O O 2 1 2 β the short root. ◦ ◦ ◦ Pick a regular unipotent elementu ∈ C (σ) and a cocharacter λ ∈ D (C (σ),C (σ)). M M T σ −1 One can check that u is regular in M and in the class F (a ) of G. As s = s we have 4 3 H = hs,σi is a dihedral group of order 8 with centre Z(H) = hs i. Let A = C (u) then L(λ) 2 2 2 clearly H 6 A and H 6 C (s ). As s is not the identity we must have H = C (s ). The A A q q torus S = {ω (−2v)ω (v) | v ∈ Q} 6 T 6 L(λ) is centralised by s and σ and contains s . 1 3 0 2 ◦ 2 Hence, we have s ∈ S 6 C (C (s )). L(λ) Remark 10.10. This last fact can be checked by hand and also by CHEVIE using the com- mand MatYPerm. This gives the matrix representation of the element w acting on the cocharacter lattice X. ¯ ∼ 10.8 The family with A = S F 5 In this case we have G is of type E and O is the class E (a ). We argue exactly as 8 F 8 7 in Section 10.7. As A = S we have for any a ∈ A that C (a) is either: abelian of order 5 A 4, 5, or 6, dihedral of order 8 or 12, or A itself. We need only show that (A2) holds when C (a) is dihedral. Case C (a) Dih . Consider the isolated element s = ω q ( ) ∈ T of order 4. Let A 8 6 0 α be the root 23465421 then the set Π = {1,3,4,2,5 | 8,7,0} is a basis of simple roots for the centraliser M := C (t) = C (t), which is a semisimple group of type D A . Let G 5 3 66 w w = w w then Π = Π and Π/hwi is a union of the following six orbits ∆ Π (O , O , O , O , O , O ) = ({1}, {3}, {4}, {2,5}, {0,8}, {7}). 1 2 3 4 5 6 The element σ = n ∈ N (T ) is a quasi-central element of the coset Mσ such that G 0 2 1 ◦ σ = ω q ( ). The group C (σ) is a semisimple group of type B C . The element t = 6 4 2 1 1 ω q ( )ω q ( ) ∈ T is centralised by σ so the product tσ is an involution. Moreover, the 4 6 0 2 4 group C (tσ) is a semisimple group of type B B C . Let O = {10100000} then a simple 1 3 2 0 system for Σ is given by {β | β ,β ,β | β ,β }. tσ O O O O O O 4 1 2 0 5 6 Pick a regular unipotent element u ∈ C (tσ). One can check that u is in the class D (a )+A of M and the class E (a ) of G. Moreover, let us ﬁx a cocharacter λ ∈ 5 1 3 8 7 ◦ ◦ tσ σ −1 D (C (tσ),C (tσ)). Note that s = s = s so the group H = hs,tσi is a dihe- M T dral group of order 8 with centre Z(H) = hs i. Let A = C (u) then clearly H 6 A and L(λ) 2 2 H 6 C (s ). From the list of the possible centralisers in A we see that H = C (s ) as A A s 6= 1. The torus S = {ω q (v)ω q (−2v) | v ∈ Q} 6 T 6 L(λ) is centralised by s and tσ 6 7 0 2 2 ◦ 2 and contains s . Hence, we have s ∈ S 6 C (C (s )). L(λ) Case C (a) = Dih . Now consider the element s = ω q ( ) of order 3. Let now A 12 7 α be the root 23465431 then the set Π = {1,2,3,4,5,6 | 8,0} is a basis of simple roots for the centraliser M := C (s) = C (s), which is a semisimple group of type E A . Let G 6 2 w = w w then Π = Π and hwi acts on Π with the orbits ∆ Π (O , O , O , O , O ) = ({1,6}, {3,5}, {4}, {2}, {0,8}). 1 2 3 4 5 1 1 q q The element σ = ω ( )ω ( )n is a quasi-central involution of the coset Mσ. Note 3 5 w 2 2 that the orbit O is special and C = 1. The group C (σ) is a semisimple group of 5 σ,O 5 M 1 1 type F A . The element t = ω q ( )ω q ( ) is an involution centralised by σ so tσ is also 4 1 2 7 2 2 an involution. The group C (tσ) is of type C A . Let O = {01110000,01011000} then we 4 1 0 have {β ,β ,β ,β | β } is a simple system for Σ . O O O O O tσ 0 1 2 3 5 Pick u ∈ C (tσ) in the class C (a )+A , i.e., u is a product of a subregular element 4 1 1 ◦ ◦ of C and a regular element of A , and let λ ∈ D (C (tσ),C (tσ)). Using the above 4 1 u M T one can check that u is in the class E (a )+A of M and the class E (a ) of G. We have 6 3 2 8 7 σ −1 ∼ s = s so H = ht,s,σi Dih with Z(H) = hti. Let A = C (u) then clearly H 6 A L(λ) and H 6 C (t). From the list of possible centralisers in A we must have H = C (t) as A A t 6= 1. The torus S = {ω q (v)ω q (−v) | v ∈ Q} 6 T 6 L(λ) is centralised by σ and contains 2 7 0 t. Hence, we have t ∈ S 6 C (C (t)). L(λ) The proof of Theorem 10.1 is now complete. 11. Proof of Theorems A and B Let ℓ be a prime number different from p = Char(K). We ﬁx an ℓ-modular system (K,O,F) which is big enough for all the ﬁnite groups encountered. 67 F Proof of Theorem B. Recall that G is an adjoint simple group and F ∈ Fam(W) is an F- stable family. It follows from Lemma 7.5, Propositions 9.3 and 9.4, and Theorem 10.1 that, with the assumptions listed in Theorem B, there exists a unipotent element u ∈ O and an admissible covering A 6 C (u) of the canonical quotient A such that |A| is divisible G F by bad primes only. Note that if G is of type A then A is trivial and we may take A to be the trivial group. ∼ ¯ In each case we see that either A is abelian or A = A . If G is of type A then for ∗ F each unipotent character ρ ∈ UCh(F ) we set K := Γ , the GGGC, with u ∈ O . Now ρ u assume G is not of type A then as p is good for G we have p 6= 2. By Theorem 8.9 we may choose, for each unipotent character ρ ∈ UCh(F ), a Kawanaka character K := K [a,ψ] such that ρ is the projection of K onto the subspace of Class(G) spanned by UCh(F ). ′ ′∗ ′ Now assume ρ ∈ UCh(F ) is another unipotent character so that hK ,ρ i 6= 0. By F ′ (7.1) there must exist a unipotent element u ∈ O such that hΓ ,ρ i = 6 0 because both ∗ ′ K and Γ are characters. As O = O ′ is the wave-front set of ρ it can be deduced ρ u F from a (dual) result of Geck–Malle [35, Prop. 4.3] that O O , see also [1, Thm. 9.1] F F and [74, Prop. 15.2]. This completes the proof of Theorem B because K contains only ∗ ′ one character in UCh(F ). In addition, since A is an ℓ -group, the character K is the character of a projective OG-module P . Proof of Theorem A. We start by reducing to groups with trivial center. Let us consider a e e regular embedding ι : G ֒→ G and an adjoint quotient π : G ։ G , both deﬁned over ad e e F . Write Z := Z(G) = Kerπ. By [19, Prop. 13.20] the induced maps on characters induce bijections ∼ ∼ e e ι : UCh(G) → UCh(G) and π : UCh(G ) → UCh(G). (11.1) ad Here ι identiﬁes with the restriction from G to G and π with the inﬂation from G ad e e e to G since Z is connected. Note that as a consequence, G/G acts trivially on the set of unipotent characters of G. We claim that (11.1) also holds for Brauer characters whenever ℓ is good and does not divide q|Z(G) |. We denote by UBr(G) the set of unipotent irreducible Brauer characters, by which we mean the Brauer characters of the simple FG-modules lying in a unipotent block. By [28, Thm. B], when ℓ is good for G, the restriction to G of a Brauer character of G is multiplicity-free. If we assume in addition that ℓ does not divide q|Z(G) |, then by [28, Thm. A] the unipotent characters of G form a basic set for ZUBr(G). Since G/G acts trivially on UCh(G) it must therefore act trivially on UBr(G), which shows that unipotent Brauer characters of G remain irreducible under restriction toG. On the other hand, every e e unipotent character of G has Z in its kernel by (11.1). Again, since unipotent characters form a basic set, the same holds for unipotent Brauer characters, and we deduce that inﬂation induces a bijection π : UBr(G ) → UBr(G). ∗ ad For all the ﬁnite reductive groups considered, unipotent characters form a basic set for the sum of unipotent ℓ-blocks so that we have a commutative diagram of isomorphisms 68 ∗ ι ∗ Z UCh(G) Z UCh(G) Z UCh(G ) ad dec dec dec e G G ad ι ∗ ZUBr(G) ZUBr(G) ZUBr(G ) ad where the horizontal arrows preserve the bases, and the vertical maps are the ℓ-decomposition maps. This shows that under the identiﬁcation of unipotent characters of G and G , ad their decomposition numbers coincide. Note that this identiﬁcation preserves the unipo- tent support. Now, using standard reduction techniques, see for example [47, §8.8], we can write G as a product G where each G is adjoint simple with Frobenius F . We ad i i conclude that it is enough to prove that Theorem A holds when G is adjoint simple. It follows from Theorem B that for every F-stable family F ∈ Fam(W) and each unipotent character ρ ∈ UCh(F ) there exists a projective OG-module P such that the following hold: ′ ′ (a) h[P ],ρ i = δ ′ for every ρ ∈ UCh(F ), ρ G ρ,ρ ′ ′ ′ (b) if h[P ],ρ i 6= 0 and ρ ∈ UCh(F ) then O ′ O (or equivalently for the dual ρ G F F ∗ ′∗ families O O ). F F Consequently this means that for each unipotent character ρ there is a unique inde- composable direct summand Q of P such that h[Q ],ρi 6= 0. Since the unipotent char- ρ ρ ρ acters form a basic set of characters for the unipotent blocks, we deduce that the modules {Q } give a complete set of representatives for the PIMs of the unipotent blocks ρ∈UCh(G) and Theorem A follows. References [1] P. N. ACHAR AND A.-M. AUBERT, Supports unipotents de faisceaux caracte`res, J. Inst. Math. Jussieu 6(2) (2007), 173–207. [2] M. ASCHBACHER, Finite group theory. Second edition. Cambridge Studies in Ad- vanced Mathematics, 10. Cambridge University Press, Cambridge, 2000. [3] D. BARBASCH AND D. VOGAN, Unipotent representations of complex semisimple groups, Ann. of Math. (2) 121 (1985), 41–110. [4] C. BONNAFE, Sur les caracte`res des groupes re´ductifs ﬁnis a` centre non connexe: applica- tions aux groupes spe´ciaux line´aires et unitaires, Aste´risque (2006), no. 306. [5] C. BONNAFE, J-F. DAT AND R. ROUQUIER, Derived categories and Deligne–Lusztig varieties II, Ann. of Math. (2) 185 (2017), no. 2, 609–670. [6] C. BONNAFE AND R. ROUQUIER, Cate´gories de´rive´es et varie´te´s de Deligne–Lusztig, Publ. Math. Inst. Hautes Etudes Sci. 97 (2003), 1–59. [7] A. BOREL, Linear algebraic groups, Graduate Texts in Mathematics 126, Second Edi- tion, Springer-Verlag, New York, 1991. 69 ´ [8] A. BOREL AND J. TITS, Groupes re´ductifs, Inst. Hautes Etudes Sci. Publ. Math. 27 (1965), 55–150. [9] N. BOURBAKI, Ele´ments de Mathe´matique. Fasc. XXXIV. Groupes et Alge`bres de Lie. Chapitres IV, V et VI, Hermann, Paris 1968. [10] M. BROUE, Isome´tries de caracte`res et e´quivalences de Morita ou de´rive´es, Inst. Hautes Etudes Sci. Publ. Math. No. 71 (1990), 45–63. [11] M. CABANES AND M. ENGUEHARD, Representation theory of ﬁnite reductive groups, New Mathematical Monographs, 1. Cambridge University Press, Cambridge, 2004. [12] M. CABANES AND B. SPATH, Equivariant character correspondences and inductive McKay condition for type A, J. Reine Angew. Math. 728 (2017), 153–194. [13] R. W. CARTER, Finite groups of Lie type. Conjugacy classes and complex characters, Wiley Classics Library. John Wiley & Sons, Ltd., Chichester, 1993. [14] R. CHANEB, Basic Sets for Unipotent Blocks of Finite Reductive Groups in Bad Characteris- tic, Int. Math. Res. Not. IMRN (2020), available online. DOI: 10.1093/imrn/rnaa019. [15] A. M. COHEN, S. H. MURRAY AND D. E. TAYLOR, Computing in groups of Lie type, Math. Comp. 73 (2004), no. 247, 1477–1498. [16] D. H. COLLINGWOOD AND W. M. MCGOVERN, Nilpotent orbits in semisimple Lie algebras, Van Nostrand Reinhold Mathematics Series. Van Nostrand Reinhold Co., New York, 1993. [17] D. DENONCIN, Stable basic sets for ﬁnite special linear and unitary groups, Adv. Math. 307 (2017), 344–368. [18] F. DIGNE, G. LEHRER AND J. MICHEL, On character sheaves and characters of reductive groups at unipotent classes, Pure Appl. Math. Quarterly 10 (2014), 459–512. [19] F. DIGNE AND J. MICHEL, Representations of ﬁnite groups of Lie type, London Mathe- matical Society Student Texts 21, Cambridge University Press, Cambridge, 1991. [20] F. DIGNE AND J. MICHEL, Quasi-semisimple elements, Proc. London Math. Soc. (3) 116 (2018), 1301–1328. [21] R. DIPPER AND G. JAMES, The q-Schur algebra, Proc. London Math. Soc. (3) 59 (1989), no. 1, 23–50. [22] O. DUDAS AND G. MALLE, Modular irreducibility of cuspidal unipotent characters, In- vent. Math. 211 (2018), no. 2, 579–589. [23] R. FOWLER AND G. ROHRLE, On cocharacters associated to nilpotent elements of reduc- tive groups, Nagoya Math. J. 190 (2008), 105–128. [24] B. FU, D. JUTEAU, P. LEVY, AND E. SOMMERS, Generic singularities of nilpotent orbit closures, Adv. Math. 305 (2017), 1–77. [25] M. GECK, Verallgemeinerte Gelfand–Graev Charaktere und Zerlegungszahlen endlicher Gruppen vom Lie-Typ, Dissertation, RWTH Aachen, 1990. 70 [26] M. GECK, On the decomposition numbers of the ﬁnite unitary groups in non-deﬁning char- acteristic, Math. Z. 207 (1991), no. 1, 83–89. [27] M. GECK, Generalized Gelfand-Graev characters for Steinberg’s triality groups and their applications, Comm. Algebra 19 (1991), 3249–3269. [28] M. GECK, Basic sets of Brauer characters of ﬁnite groups of Lie type II, J. London Math. Soc. 47 (1993), 255–268. [29] M. GECK, Basic sets of Brauer characters of ﬁnite groups of Lie type III, Manuscripta Math. 85 (1994), 195–216. [30] M. GECK, Character sheaves and generalised Gelfand-Graev characters, Proc. London Math. Soc. 78 (1999), 139–166. [31] M. GECK, An introduction to algebraic geometry and algebraic groups, Oxford Graduate Texts in Mathematics, 10. Oxford University Press, Oxford, 2003. [32] M. GECK, Remarks on modular representations of ﬁnite groups of Lie type in non-deﬁning characteristic,in Algebraic groups and quantum groups, 71–80, Contemp. Math., 565, Amer. Math. Soc., Providence, RI, 2012. [33] M. GECK, Generalised Gelfand–Graev representations in bad characteristic?, Transform. Groups, to appear. Preprint: arXiv:1810.08937. [34] M. GECK AND G. HISS, Modular representations of ﬁnite groups of Lie type in non- deﬁning characteristic. Finite reductive groups (Luminy, 1994), 195–249, Progr. Math. 141, Birkha¨user Boston, Boston, MA, 1997. [35] M. GECK AND G. MALLE, On the existence of a unipotent support for the irreducible characters of a ﬁnite group of Lie type, Trans. Amer. Math. Soc. 352 (2000), 429–456. [36] M. GECK AND G. PFEIFFER, Characters of ﬁnite Coxeter groups and Iwahori-Hecke al- gebras, London Mathematical Society Monographs 21. The Clarendon Press, Oxford University Press, New York, 2000. [37] P. GERARDIN, Weil representations associated to ﬁnite ﬁelds, J. Algebra 46 (1977), no. 1, 54–101. [38] J. GRUBER AND G. HISS, Decomposition numbers of ﬁnite classical groups for linear primes, J. Reine Angew. Math. 485 (1997), 55–91. [39] S. HERPEL, On the smoothness of centralisers in reductive groups, Trans. Amer. Math. Soc. 365 (2013), no. 7, 3753–3774. [40] G. HISS, On the decomposition numbers of G (q), J. Algebra 120 (1989), no. 2, 339–360. [41] J. C. JANTZEN, Nilpotent orbits in representation theory, in: Lie theory, vol. 228, Progr. Math. Birkha¨user Boston, Boston, MA, 2004, 1–211. [42] D. JUTEAU, C. MAUTNER AND G. WILLIAMSON, Parity sheaves, J. Amer. Math. Soc. 27 (2014), no. 4, 1169–1212. [43] N. KAWANAKA, Generalized Gelfand–Graev representations of exceptional simple alge- braic groups over a ﬁnite ﬁeld. I, Invent. Math. 84(3) (1986), 575–616. 71 [44] N. KAWANAKA, Shintani lifting and Gel’fand-Graev representations, in The Arcata Con- ference on Representations of Finite Groups (Arcata, Calif., 1986), 147–163, Proc. Sympos. Pure Math. 47 Part 1, Amer. Math. Soc., Providence, RI, 1987. [45] R. LAWTHER, Unipotent classes in maximal subgroups of exceptional algebraic groups, J. Algebra 322 (2009), no. 1, 270–293. [46] M. LIEBECK AND G. SEITZ, Unipotent and nilpotent classes in simple algebraic groups and Lie algebras, Mathematical Surveys and Monographs 180, American Mathemati- cal Society, Providence, RI, 2012. [47] G. LUSZTIG, Characters of reductive groups over a ﬁnite ﬁeld, Annals of Mathematics Studies 107, Princeton University Press, Princeton, NJ, 1984. [48] G. LUSZTIG, Character sheaves. I, Adv. Math. 56 (1985), no. 3, 193–237; Character sheaves. II, Adv. Math. 57 (1985), no. 3, 126–265; Character sheaves. III, Adv. Math. 57 (1985), no. 3, 266–315; Character sheaves. IV, Adv. Math. 59 (1986), no. 1, 1–63; Character sheaves. V, Adv. Math. 61 (1985), no. 2, 103–155. [49] G. LUSZTIG, Green functions and character sheaves, Ann. of Math. (2) 131 (1990), no. 2, 355–408. [50] G. LUSZTIG, A unipotent support for irreducible representations, Adv. Math. 94(2) (1992), 139–179. [51] G. LUSZTIG, Families and Springer’s correspondence, Paciﬁc J. Math. 267 (2014), no. 2, 431–450. [52] G. LUSZTIG, Restriction of a character sheaf to conjugacy classes, Bull. Math. Soc. Sci. Math. Roumanie 58 (106) (2015), 297–309. [53] G. MALLE AND D. TESTERMAN, Linear algebraic groups and ﬁnite groups of Lie type, Cambridge Studies in Advanced Mathematics, 133. Cambridge University Press, Cambridge, 2011. [54] G. J. MCNINCH, Nilpotent orbits over ground ﬁelds of good characteristic, Math. Ann. 329(1) (2004), 49–85. [55] G. J. MCNINCH, Optimal SL(2)-homomorphisms, Comment. Math. Helv. 80(2) (2005), 391–426. [56] G. J. MCNINCH AND E. SOMMERS, Component groups of unipotent centralisers in good characteristic, J. Algebra 260 (2003), no. 1, 323–337. [57] J. MICHEL, The development version of the CHEVIE package of GAP3, J. Algebra 435 (2015), 308–336. [58] G. NAVARRO AND P. H. TIEP, A reduction theorem for the Alperin weight conjecture, Invent. Math. 184 (2011), no. 3, 529–565. [59] T. OKUYAMA AND K. WAKI, Decomposition numbers of SU(3,q ), J. Algebra 255 (2002), no. 2, 258–270. [60] A. PREMET, Nilpotent orbits in good characteristic and the Kempf–Rousseau theory, J. Algebra 260 (2003), no. 1, 338–366. 72 [61] R. W. RICHARDSON, Finiteness theorems for orbits of algebraic groups, Indag. Math. 47 (1985), 337–344. [62] J. J. ROTMAN, An introduction to homological algebra. Second edition. Universitext. Springer, New York, 2009. [63] T. SHOJI, Lusztig’s conjecture for ﬁnite special linear groups, Represent. Theory 10 (2006), 164–222. [64] T. SHOJI, On the computation of unipotent characters of ﬁnite classical groups, Appl. Al- gebra Engrg. Comm. Comput. 7(3) (1996), 165–174. [65] P. SOBAJE, Unipotent elements and generalized exponential maps, Adv. Math. 333 (2018), 463–496. [66] E. SOMMERS, A generalization of the Bala-Carter theorem for nilpotent orbits, Internat. Math. Res. Notices 11 (1998), 539–562. [67] E. SOMMERS, Lusztig’s canonical quotient and generalised duality, J. Algebra 243 (2001), 790–812. [68] N. SPALTENSTEIN, Classes unipotentes et sous-groupes de Borel. Lecture Notes in Math- ematics, 946. Springer-Verlag, Berlin-New York, 1982. [69] N. SPALTENSTEIN, On the generalised Springer correspondence for exceptional groups, in Algebraic groups and related topics (Kyoto/Nagoya, 1983), 317–338, North- Holland, Amsterdam, 1985. [70] T. A. SPRINGER, Linear algebraic groups, Modern Birkha¨user Classics, Boston, Birkha¨user Boston Inc., 2009. [71] T. A. SPRINGER AND R. STEINBERG, Conjugacy classes, in Seminar on Algebraic Groups and Related Finite Groups (The Institute for Advanced Study, Princeton, N.J., 1968/69) pp. 167–266, Lecture Notes in Mathematics 131, Springer, Berlin, 1970. [72] R. STEINBERG, Endomorphisms of linear algebraic groups. Memoirs of the American Mathematical Society, No. 80, American Mathematical Society, Providence, R.I. 1968 [73] J. TAYLOR, On unipotent supports of reductive groups with a disconnected centre, J. Alge- bra 391 (2013), 41–61. [74] J. TAYLOR, Generalized Gelfand-Graev representations in small characteristics, Nagoya Math. J. 224 (2016), 93–167. [75] J. TAYLOR, The structure of root data and smooth regular embeddings of reductive groups, Proc. Edinb. Math. Soc. (2) 62 (2019), no. 2, 523–552. [76] J. TITS, Normalisateurs de tores. I. Groupes de Coxeter tendus, J. Algebra 4 (1966), 96–116. [77] E. WINGS, Uber die unipotenten Charaktere der Chevalley-Gruppen vom Typ F in guter Charakteristik, Dissertation, RWTH Aachen, 1995. [78] D. L. WINTER, The automorphism group of an extraspecial p-group, Rocky Mountain J. Math. 2 (1972), no. 2, 159–168. 73 ´ ´ O. BRUNAT, UNIVERSITE DE PARIS, SORBONNE UNIVERSITE, CNRS, INSTITUT DE MATHEMATIQUES DE JUSSIEU-PARIS RIVE GAUCHE, IMJ-PRG, F-75013, PARIS, FRANCE. E-mail address: olivier.brunat@imj-prg.fr ´ ´ O. DUDAS, UNIVERSITE DE PARIS, SORBONNE UNIVERSITE, CNRS, INSTITUT DE MATHEMATIQUES DE JUSSIEU-PARIS RIVE GAUCHE, IMJ-PRG, F-75013, PARIS, FRANCE. E-mail address: olivier.dudas@imj-prg.fr J. TAYLOR, UNIVERSITY OF SOUTHERN CALIFORNIA, DEPARTMENT OF MATHEMAT- ICS, 3620 SOUTH VERMONT AVENUE, LOS ANGELES, CA 90089, UNITED STATES. E-mail address: jayt@usc.edu

http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Mathematics arXiv (Cornell University)

http://www.deepdyve.com/lp/arxiv-cornell-university/unitriangular-shape-of-decomposition-matrices-of-unipotent-blocks-GWPSAJ67bt

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Loading next page...

ISSN: 0003-486X
eISSN: ARCH-3343
DOI: 10.4007/annals.2020.192.2.7
Publisher site: See Article on Publisher Site

Abstract

Journal

Mathematics – arXiv (Cornell University)

Published: Oct 19, 2019

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

Abstract

Journal

Recommended Articles

There are no references for this article.

Our policy towards the use of cookies