On the labelling of characters of Weyl groups of type $F_4$

In the literature on finite groups of Lie type, there exist two different conventions about the labelling of the irreducible characters of Weyl groups of type~$F_4$. We point out some issues concerning these two conventions and their effect on tables about unipotent characters or the Springer correspondence. Using experiments related to these issues with the computer algebra system {\sf CHEVIE}, we spotted an error in Spaltenstein's tables for the generalised Springer correspondence in type~$E_7$.


Introduction
This note is about certain notational conventions in the representation theory of finite groups of Lie type.General references are the books by Carter [2], Digne-Michel [3] and Lusztig [13]; see also [6] for a more recent survey.There are some issues in relation to Weyl groups of type F 4 .These groups (and related data like generic degrees, Springer representations etc.) occur in a substantial way in a number of situations including: • The parametrisation of unipotent characters of a Chevalley group F 4 (q).
• Degree formulae for unipotent principal series characters of a twisted Chevalley group 2 E 6 (q).• Degrees of unipotent characters of E 8 (q) in the Harish-Chandra series above a cuspidal unipotent character of a Levi subgroup of type D 4 .• The Springer correspondence for a simple algebraic group of type F 4 .
• The generalised Springer correspondence for a simple algebraic group of type E 7 with respect to a cuspidal datum in a Levi subgroup of type A 1 ×A 1 ×A 1 .• The generalised Springer correspondence for a simple algebraic group of type E 8 with respect to a cuspidal datum in a Levi subgroup of type D 4 .In a root sytem of type F 4 there are long roots and short roots, but the picture is highly symmetric and, hence, it often requires some extra care to fix notation and conventions.Unfortunately, this is not always done consistently in the existing literature, which prompted us to write this note.In fact, during the work on [7], there actually occurred some delicate contradictions as a result of a misunderstanding regarding the conventions used in existing tables.(This will be briefly explained in Example 5.2.).Our purpose here is to try to clarify some points in relation to the long/short root issue in type F 4 .In the course of verifying a number of tables, we actually discovered an error in Spaltenstein's table for the generalised Springer correspondence in type E 7 ; see Lemma 6.2.

Characters of a Coxeter group of type F 4
Let W be a Coxeter group of type F 4 .The basic and widely used reference for the character table of W is Kondo [9].In that article, W is constructed in a purely grouptheoretical way, without reference to an underlying root system.With the notation of [9,Prop. 5.1], we have W = d, a, τ, τ σ where d, a, τ, τ σ are elements of order 2 that satisfy the following braid relations: Thus, the corresponding Coxeter diagram is as follows.
The group W has 25 irreducible characters, of degrees 1, 2, 4, 6, 8, 9, 12, 16; we shall denote by n j the j-th character of degree n in Kondo's table [9, p. 152].(This is a standard notation in the existing literature, e.g., Alvis [1], Carter [2], Lusztig [13]; note that Shoji [19], Spaltenstein [21] use a slightly different notation for the characters of degree 4.) Table 1 contains some information about the values of the characters on d, a, τ, τ σ and aτ .The second column of that table refers to the notation introduced by Carter [2, p. 413] (where one can also find the complete character table); the third column refers to the a-function, as defined in [13, 4.1], and printed in [13, 4.10].
Remark 2.1.There is a group automorphism ι : W → W such that ι(d) = τ σ, ι(a) = τ , ι(τ ) = a and ι(τ σ) = d.This automorphism has order 2 and it induces a permutation of the irreducible characters of W as follows: or, with Carter's notation: (All other characters are fixed.)Remark 2.2.Let (φ ′ , φ ′′ ) be a pair of characters that are permuted by the above automorphism ι : W → W .By inspection of Table 1 we see that we always have φ ′ (a) = φ ′ (d) 0 and φ ′′ (a) = φ ′′ (d) 0. (Hence, this property characterises φ ′ and φ ′′ .)Remark 2.3.In the following sections, the Coxeter group W will typically arise as the Weyl group of a (crystallographic) root system Φ of type F 4 in some finite-dimensional Euclidean vector space E with scalar product ( , ) : E × E → R. Such a root system contains roots of different lengths, which gives rise to the long/short root issue mentioned in the introduction.Let us fix a set of simple roots Π = {α 1 , α 2 , α 3 , α 4 } ⊆ Φ, labelled in such a way that α 1 , α 2 are long and α 3 , α 4 are short: Then, denoting by s i ∈ GL(E) the reflection with root α i (1 i 4), we have W ∼ = s 1 , s 2 , s 3 , s 4 ⊆ GL(E).Hence, when referring to the labelling of Irr(W ) in Table 1, it is necessary to match the above generators s 1 , s 2 , s 3 , s 4 to Kondo's generators d, a, τ, τ σ; in other words, one has to specify which of Kondo's generators should correspond to long roots, and which to short roots.There are precisely two possibilities: (AC): s 1 =d, s 2 =a, s 3 =τ , s 4 =τ σ, that is, d, a are reflections in long roots; or (L): s 1 =τ σ, s 2 =τ , s 3 =a, s 4 =d, that is, d, a are reflections in short roots.
Working with (AC) or (L) leads to different labels precisely for those irreducible characters that are permuted by the automorphism ι : W → W in Remark 2.1.Concretely, this means for example that the character 2 3 has value 2 on s 1 , s 2 with respect to (L), and value 0 on s 1 , s 2 with respect to (AC).

The Iwahori-Hecke algebra of type F 4
We shall also need the generic Iwahori-Hecke algebra H associated with the Coxeter group W of type F 4 as defined in Section 2. Let K = Q(u, v) where u, v are commuting indeterminates.Then H is an associative K-algebra with basis {T w | w ∈ W }. As an algebra, H is generated by the basis elements T d , T a , T τ , T τ σ , subject to the above braid relations and the following quadratic relations: It is known that H is abstractly isomorphic to the group algebra of W over K (an explicit isomorphism is provided by [4]); furthermore, the specialisation (u, v) → (1, 1) induces a bijection between the irreducible representations of H and those of W .To give an example (which will also serve as a useful test case later on), we construct representations of H which specialise to the representations of W with characters 2 1 and 2 3 .
Example 3.1.By checking that the defininig relations for the above generators of H hold, one obtains two-dimensional matrix representations σ, σ ′ : H → M 2 (K) via the following assignments: One easily sees that these are irreducible.We have Hence, if we specialise (u, v) → (1, 1), then the character of σ becomes the character 2 1 of W .Similarly, σ ′ specialises to the character 2 3 of W . Now, we have the one-dimensional representation ind : H → K such that T d , T a → u and T τ , T τ σ → v (which specialises to the trivial character 1 1 of W ). Then the "generic degree" associated with an irreducible representation φ : H → M d (K) is defined by All of these have been computed previously (see [2, §13.5] and the references there) but, in the above two cases, we can just perform an explicit computation (using a computer) and obtain: (See also [2, p. 450].)Specialising (u, v) to powers of q, where q is a power of a prime, we obtain actual degrees of characters of certain Chevalley groups over F q ; see [2, Theorem 10.11.5] and [13,Corollary 8.7].

Harish-Chandra series of unipotent characters
Let p be a prime and G be a simple algebraic group over an algebraic closure of F p .Let q be a power of p and F : G → G be a Frobenius map with respect to an F q -rational structure.Let B ⊆ G be an F -stable Borel subgroup and T ⊆ G be an F -stable maximal torus contained in B. Let Φ be the root system of G with respect to T and Π ⊆ Φ be the set of simple roots determined by B. Then F induces an action on Φ which preserves Π.Let G F = G(F q ) and Uch(G F ) be the set of unipotent characters of G F .We have a partition of Uch(G F ) into Harish-Chandra series, and there is a collection of bijections where W S is a certain finite Coxeter group associated to each S .Following [11, 3.25], this is further specified as follows.
• There is a well-defined F -invariant subset Π ′ ⊆ Π such that the simple reflections of W S are indexed by the set Π of F -orbits on Π \ Π ′ ; furthermore, there is a certain "parameter function" λ : Π → {q n | n ∈ Z 1 }.• The pair (W S , λ) determines an Iwahori-Hecke algebra with parameters given by {λ( ᾱ) | ᾱ ∈ Π} (see [11, 3.6]); the degrees of the characters in S are obtained from the generic degrees of that algebra using the formula in [11, (3.26.1)].The possibilities for Π ′ ⊆ Π, Π, λ are explicitly listed in Table II (p.35) of [11].Let now S ⊆ Uch(G F ) be a Harish-Chandra series where the associated Coxeter group W S is of type F 4 ; this situation occurs for G F ∈ {F 4 (q), 2 E 6 (q), E 8 (q)}.
Then Φ is of type E 6 and F induces an automorphism of order 2 on Φ.Let again S ⊆ Uch(G F ) be the Harish-Chandra series containing the trivial character of G F .Then Π ′ = ∅ and Π, λ are given as follows.
Again, W S is a Coxeter group of type F 4 .When referring to Kondo's article for the labelling of Irr(W S ), one has to specify whether Kondo's generators d, a correspond to {α 2 }, {α 4 } or to {α 3 , α 5 }, {α 1 , α 6 }.In other words, one has to specify whether λ takes value q on d, a and value q 2 on τ, τ σ, or vice versa.This specification can be reconstructed from the existing tables, as follows.
On the other hand, as discussed above, the degrees of these two characters can also be obtained using the generic degrees of the Iwahori-Hecke algebra H associated with W S and the parameter function λ.Using the results of the computations at the end of Section 3, and assuming λ(d) = λ(a) = q, λ(τ ) = λ(τ σ) = q 2 , we get the same result as above.(If we assume λ(d) = λ(a) = q 2 , λ(τ ) = λ(τ σ) = q, then we get a different result.)Thus, Lusztig must have been using the convention: and a comparison with the table in [2, p. 481] shows that the same is also true for Carter.Hence, both Lusztig [13] and Carter [2] use the convention (AC) for the groups Again, W S is a Coxeter group of type F 4 .As in the previous example, one has to specify whether λ takes value q on Kondo's generators d, a and value q 4 on τ, τ σ, or vice versa.Actually, Lusztig specifies this in his book [13, p. 361]; it is the same convention as in the previous example: a comparison with the table in [2, pp. 484-488] shows that the same is also true for Carter.So both Lusztig [13] and Carter [2] use the convention (AC) in the present situation.
One can also do a consistency check, as above.The characters in S are denoted by D 4 [φ] for φ ∈ Irr(W S ).For example, according to the table in [13, p. 366], the degrees of 2 q 4 + higher powers of q, On the other hand, we can also determine these degrees using the generic degrees of the Iwahori-Hecke algebra associated with W S , λ; we get the same result for the degrees precisely when we specify the values of λ as above.
Remark 4.5.Let W S be the finite Coxeter group associated with a Harish-Chandra series S ⊆ Uch(G F ). Then [10, Theorem 5.9] and [10, (7.7)] do not only show how the type of W S and the parameter function λ are determined from Π ′ ⊆ Π, but [10, Theorem 5.9] also describes a natural root system Φ for W S .One can then check the following: (a) In Example 4.3 (where G F = 2 E 6 (q)), the simple roots in Φ corresponding to the F -orbits {α 2 }, {α 4 } are long, and the other two are short.(b) In Example 4.4 (where G F = E 8 (q)), the simple roots in Φ corresponding to ᾱ8 , ᾱ7 are long, and the other two are short.Thus, as noted before, in both (a) and (b), the choice (AC) is made for matching the simple reflections in W S (corresponding to the roots in Π) with Kondo's generators d, a, τ, τ σ.

The (generalised) Springer correspondence
Let again p be a prime and G be a simple algebraic group over an algebraic closure of F p .Let N G be the set of all pairs (C, E ) where C is a unipotent conjugacy class of G and E is an irreducible Q ℓ -local system on C, equivariant for the conjugation action of G. (Here, ℓ is a prime = p.)Let M G be the set of all triples (L, C 0 , E 0 ) (up to G-conjugacy) where L is a Levi subgroup of some parabolic subgroup of G and (C 0 , E 0 ) ∈ N L is "cuspidal" (see [14, 2.4, 6.2]).Using intersection cohomology methods, Lusztig [14, §6] has defined a natural surjective map N G → M G .Following [16], the fibres of that map will be called "unipotent blocks"; they form a partition of N G .Furthermore, there is a collection of bijections where W I is a certain finite Coxeter group associated to each I ; in fact, by [14, §9], we have W I = N G (L)/L where (L, C 0 , E 0 ) is the triple corresponding to I under the map N G → M G .This is called the generalised Springer correspondence; note that all this does not require an F q -rational structure on G.If I 1 is the unipotent block containing the pair ({1}, Q ℓ ), then W I 1 = W is the Weyl group of G and the bijection I 1 ↔ Irr(W ) is the correspondence defined earlier by Springer in the 1970s (up to tensoring by the sign character of W ). For example, it is known that I 1 contains all pairs (C, Q ℓ ) where C is a unipotent conjugacy class of G and Q ℓ stands for the trivial local system.We call I 1 the "principal unipotent block" of N G .Now assume that G is of exceptional type.The basic reference for the generalised Springer correspondence in this case is Spaltenstein's article [21], which completes and extends to small characteristics p earlier work of Springer (for G of type G 2 ), Shoji (F 4 ) and Alvis-Lusztig (E 6 , E 7 , E 8 ); see the detailed references in [21].According to [14, §15], there are three cases in which there are unipotent blocks I ⊆ N G such that W I is of type F 4 ; these occur for G of type As in the previous section, there are certain issues concerning the conventions used when referring to Kondo's labelling of Irr(W I ).
Example 5.1.Let G be of type F 4 , where we fix the labelling of the simple roots as in the previous section, that is,

>
As above, let I 1 ⊆ N G be the principal unipotent block.Then W I 1 = W = s 1 , s 2 , s 3 , s 4 is the Weyl group of G (where s i is the reflection with root α i ).The correspondence I 1 ↔ Irr(W ) was determined by Shoji [19], with some conditions on the characteristic which were later removed by Spaltenstein [21].As before, one has to specify which of Kondo's generators d, a, τ, τ σ should correspond to long roots, and which to short roots.Now Shoji explicitly describes the restrictions of the irreducible characters of W to a parabolic subgroup of type C 3 .So one can deduce from [19, 4.3 and Again, one has to match ᾱ8 , ᾱ7 , ᾱ6 , ᾱ1 to Kondo's generators d, a, τ, τ σ.Now Spaltenstein writes on [21, p. 327] that it makes sense to assign relative root lengths to ᾱ8 , ᾱ7 , ᾱ6 , ᾱ1 .
In this case, he declares ᾱ6 , ᾱ1 to be long, and ᾱ8 , ᾱ7 to be short.Since he also refers to Alvis [1] (with convention (AC)), we are led to the assumption that Spaltenstein uses the following matching with Kondo's generators: ᾱ1 ↔ d, ᾱ6 ↔ a, ᾱ7 ↔ τ, ᾱ8 ↔ τ σ.Note that this is the matching opposite to that in Example 4.4; note also that Spaltenstein's declaration of relative root lengths for W I is opposite to that in Remark 4.5(b).(These different declarations actually caused the "delicate contradictions" mentioned in the introduction, and prompted this note.) That the above assumption is correct has been independently confirmed by the second author in [7, §4.5], via a computation involving characteristic functions of character sheaves and the intersection of Bruhat cells with conjugacy classes.(If the opposite matching is used, then those computations result in a contradiction; see [7,Remark 4.5.33].)The fact that computations of that kind are able to detect properties of the generalised Springer correspondence was subsequently used in order to resolve the last open question concerning the generalised Springer correspondence for G of type E 8 ; see [8].
Similarly to the previous example, Spaltenstein [21, p. 327] declares ᾱ4 , ᾱ6 to be long, and ᾱ1 , ᾱ3 to be short.(Note again that this declaration of relative root lengths is opposite to that provided by [10, Theorem 5.9].)Again, we are led to assume that Spaltenstein uses the following matching with Kondo's generators: ᾱ6 ↔ d, ᾱ4 ↔ a, ᾱ3 ↔ τ, ᾱ1 ↔ τ σ.This is confirmed by the computations in the proof of Lemma 6.2 below, in which also one error in Spaltenstein's table will be corrected.We came across that error via the following remark.
Remark 5.4.Let I ⊆ N G be a unipotent block.Using the bijection I ↔ Irr(W I ), we introduce an equivalence relation ∼ on Irr(W I ) as follows.Let χ, χ ′ ∈ Irr(W I ) and assume that (C, E ) ↔ χ and (C ′ , E ′ ) ↔ χ ′ under the above bijection; then we write χ ∼ χ ′ if C = C ′ .In [15], Lusztig shows that the equivalence classes under ∼ for the principal unipotent block I 1 ⊆ N G can be recovered in a purely algebraic way, using operations with characters of Weyl groups.In [16,Conj. 6.11], there is a conjecture in a similar spirit for arbitrary unipotent blocks of N G .Using CHEVIE [18], we computed the algebraic version of ∼ for the unipotent block I ⊆ N G in Example 5.3, where G is of type E 7 ; and we found an inconsistency with Spaltenstein's table [21].

Computing unipotent blocks
In this section we briefly discuss the explicit computation of unipotent blocks and the generalised Springer correspondence.In particular, this will allow us to resolve the inconsistency in Spaltenstein's table [21] mentioned in Remark 5.4.
The main tool is the "multiplicity formula" in [21, 1.2(II)] (which is a reformulation of a formula that originally appeared in [14, §8]).It relates the collection of bijections to the analogous collection of bijections where M is a Levi subgroup of some parabolic subgroup of G. Recall that we have surjective maps N G → M G and N M → M M .Let us fix unipotent blocks I ⊆ N G and I ′ ⊆ N M which correspond to the same triple in M M .(Note that M M ⊆ M G .)The latter condition implies that W I ′ can be naturally regarded as a parabolic subgroup of W I .To state the multiplicity formula, we need to introduce some further notation.
Let (C, E ) ∈ I and ρ ∈ Irr(W I ) correspond to (C, E ) under the above bijection.Furthermore, we set A G (u) := C G (u)/C • G (u) where u ∈ C; then E corresponds to an irreducible character φ ∈ Irr(A G (u)) (see [14, §0]).Let also (C ′ , E ′ ) ∈ I ′ and ρ ′ ∈ Irr(W I ′ ) correspond to (C ′ , E ′ ) under the above bijection.Furthermore, we set A M (u ′ ) := C M (u ′ )/C • M (u ′ ) where u ′ ∈ C ′ ; then E ′ corresponds to an irreducible character φ ′ ∈ Irr(A M (u ′ )).In this setting, the multiplicity formula states: where ε u,u ′ is the character of a permutation representation of the direct product A G (u) × A M (u ′ ) on a certain finite set X u,u ′ (defined in [21, 1.2]).
Example 6.1.In the above setting, let I 1 be the principal unipotent block of N G and I ′ 1 be the principal unipotent block of N M .Assume that the bijections I 1 ↔ Irr(W I 1 ) and I ′ 1 ↔ Irr(W I ′ 1 ) (that is, the ordinary Springer correspondences) are already known.Now, as remarked earlier, we have (C, Q ℓ ) ∈ I 1 and (C ′ , Q ℓ ) ∈ I ′ 1 .The corresponding characters of A G (u) and A M (u ′ ) are the trivial characters.So, since ε u,u ′ is the character of a permutation representation, the right hand side of the multiplicity formula will be a positive integer if X u,u ′ = ∅, and 0 otherwise.Via the left hand side of the multiplicity formula, this condition can be checked using a computation with the characters of W I 1 and of W I ′ 1 .Assume now that we have a situation where X u,u ′ = ∅ and I = I 1 , I ′ = I ′ 1 .Then the right hand side of the multiplicity formula for the pairs (C, E ) ∈ I and (C ′ , E ′ ) ∈ I ′ will still be 0 (because X u,u ′ = ∅) and so the multiplicity of ρ ′ ∈ Irr(W I ′ ) in the restriction of ρ ∈ Irr(W I ) to W I ′ must be 0. If the bijection I ′ ↔ Irr(W I ′ ) is already known, then this rules out many cases on the level of the bijection I ↔ Irr(W I ) -as pointed out in [21, 4.3 (Here, we use Spaltenstein's notation for the irreducible characters of W I .) Proof.(a) We only sketch this.First of all, by [14, 15.2], N G is the union of I 1 , I and one block consisting of a cuspidal pair when p = 2, 3 (where, as usual, I 1 denotes the principal unipotent block); if p = 3, then N G is the union of I 1 , I , I 2 and three blocks consisting of cuspidal pairs, where I 2 is a block with W I 2 of type A 1 .We shall assume that I 1 has been determined.By [21, 5.5], the block I 2 is also easily determined since W I 2 is of type A 1 ; the cuspidal pairs are listed in the last table of [21, p. 337].Thus, we can assume that the subset I ⊆ N G is known.Now let C be the unipotent class of G denoted by D 5 +A 1 , where dim B u = 6 and A G (u) ∼ = Z/2Z for u ∈ C. Consider the pair (C, E ) ∈ N G , where E corresponds to the non-trivial character of A G (u).We have (C, E ) ∈ I .According to Spaltenstein [20, p. 174], C is obtained by the process of induction [17] from the trivial class of a Levi of type A 2 +A 2 .By the transitivity of induction, it will also be induced from a class C ′ of a Levi M of type A 5 containing A 2 +A 2 .We choose M such that it contains the Levi L of type A 1 +A 1 +A 1 (indicated by open circles in Example 5.3).Using weighted Dynkin diagrams and [17, Prop.1.9(b)], we see that Consider the pair (C ′ , E ′ ) ∈ N M where E ′ corresponds to the non-trivial character of A M (u ′ ).The following information on (C ′ , E ′ ) is obtained via the CHEVIE function UnipotentClasses.The pair (C ′ , E ′ ) belongs to the unipotent block I ′ ⊆ N M which corresponds to the same triple in M M ⊆ M G as I .Furthermore, the parabolic subgroup W I ′ ⊆ W I is of type A 2 , with simple roots corresponding to ᾱ4 , ᾱ6 (long roots, as in Example 5.3).Under the bijection I ′ ↔ Irr(W I ′ ), the corresponding character is the sign character of W I ′ .
Since C is obtained from C ′ by induction, we are in the set-up of [21, 1.3].This shows that there are subgroups H ⊆ N ⊆ A G (u) such that H is normal in N with N/H ∼ = A M (u ′ ); furthermore, the sets X u,u ′ and A G (u)/H are isomorphic as sets with (A G (u) × A M (u ′ ))-actions.Since A G (u) and A M (u ′ ) are both isomorphic to Z/2Z, we must have H = {1}.Thus, X u,u ′ and A G (u) are isomorphic as sets with (A G (u) × A M (u ′ ))-actions.Consequently, we find that the right hand side of the multiplicity formula evaluates to 1. Working out the left hand side of that formula (using the CHEVIE function InductionTable), we see that only the following characters of W I can correspond to C: χ 1,3 , χ 1,4 , χ 6,1 , χ 6,2 , χ 8,3 , χ 8,4 .Using also induction of suitable classes from Levi subgroups M of type A 5 +A 1 and D 6 , one rules out further characters from the above list until the only remaining possibility is χ 8,3 .Thus, under the bijection I ↔ Irr(W I ), the pair (C, E ) must correspond to the character χ 8,3 .
For the remaining characters of W I , one proceeds as follows.First one considers all unipotent classes C such that |A G (u)| = 2 for u ∈ C. Using similar arguments as above, plus the highly efficient method in Example 6.1, one checks that the entries for these classes in Spaltenstein

Example 4 . 4 .
Let G F = E 8 (q).There is a Harish-Chandra series S ⊆ Uch(G F ) with corresponding Π ′ ⊆ Π, Π, λ as follows (where Π ′ is the subdiagram of type D 4 indicated by open circles in the diagram for E 8 ):

Example 5 . 3 .
Let G be simply connected of type E 7 , where p = 2.By [14, 15.2], there is a unique unipotent block I ⊆ N G such that W I is a Coxeter group of type F 4 .Under the map N G → M G , this block corresponds to a triple (L, C 0 , E 0 ) where L is of type A 1 +A 1 +A 1 (indicated by open circles in the diagram below).The generators of W I are indexed by the simple roots indicated by full circles in the diagram below:

Table 1 .
Remark 4.2.In the setting of Example 4.1, let us write [φ] ∈ S for the unipotent character corresponding to φ ∈ Irr(W ).If (φ ′ , φ ′′ ) is one of the pairs of characters that are permuted as in Remark 2.1, then [φ ′ ], [φ ′′ ] have the same degree.Thus, as far as unipotent character degrees are concerned, it is irrelevant whether convention (AC) or convention (L) is chosen.However, a difference occurs when we consider the partition of the unipotent characters into "families" and the parametrisation of the characters inside the various families in 2 , s 3 , s 4 is the Weyl group of G (where s i denotes the reflection with root α i ); the characters in S are in bijection with Irr(W ).As discussed in Section 2, Lusztig chooses (L) in[13,  4.10], while Carter chooses (AC) in[2, p. 414], so one has to apply the automorphism in Remark 2.1 in order to pass from the notation concerning Uch(G F ) in Lusztig's book[13,  p. 371] to Carter's notation in terms of finite sets M (G ) (of certain pairs (x, σ)), as defined in[13, 4.14](see also[2,   §13.6]).There are 11 families, two of which contain 4 characters, one of which contains 21 characters, and all the remaining families contain just one character.The 4-element families contain 3 characters of the form [φ] for φ ∈ Irr(W ).For example, one of

Table 4 ]
that Shoji uses the choice (AC) for the labelling of Irr(W ).A comparison with the table in[21,  p. 330]shows that Spaltenstein uses the same choice.Example 5.2.Let G be of type E 8 , where p = 2.By [14, 15.3], there is a unique unipotent block I ⊆ N G such that W I is a Coxeter group of type F 4 .Under the map N G → M G , this block corresponds to a triple (L, C 0 , E 0 ) where L is of type D 4 (indicated by open circles in the diagram below).The generators of W I are indexed by the simple roots indicated by full circles in the diagram below (similarly to Example 4.4): ]. Lemma 6.2.Let G and I ⊆ N G be as in Example 5.3, where G is simply connected of type E 7 (with p = 2) and W I is of type F 4 .(a) In the table [21, p. 331/332], the characters χ 2,3 and χ 8,3 of W I should be interchanged in the column labelled 3A ′′ 1 (p = 2).(b) With the adjustment in (a), the statements in [16, Conj.6.11] are correct for I .