Arxiv:2010.14837V2 [Math.RT] 30 Mar 2021 Hrce Aus Hsato Biul Rsre H Character the Preserves Obviously Action This Values

Home , Ree group

arXiv:2010.14837v2 [math.RT] 30 Mar 2021 hrce aus hsato biul rsre h character the preserves obviously action This values. character soitdt h integer the to associated xssan exists hr xssabjcinbtentest fcaatr of characters of sets the between bijection a exists there 2.1. iiil by divisible p evrf h nutv aosMKycniinfrtermiiggrou 1.1. in Theorem remaining type the Lie for of condition groups Galois–McKay characteristic. many inductive for I the true verify groups. 3 We is all Definition condition for [NSV20, holds Galois–McKay itself condition inductive conjecture Galois–McKay Galois–McKay inductive the the groups, If ac the [NSV20]. conjectur Navarro–McKay in under or fixed Galois–McKay are the characters called of is This numbers [Nav04]. same the that such ewt nerirudtdvrino i paper. his R of Lucas version to updated thankful earlier am an I with Furthermore, me versions. earlier on ments hrceitcfrtegroups the for characteristic Acknowledgement. characteristic. defining their in rus swl sfor as well as groups, ′ NTEIDCIEGLI–CA ODTO O IIEGOP O GROUPS FINITE FOR CONDITION GALOIS–MCKAY INDUCTIVE THE ON caatraddnt h e firreducible of set the denote and -character 2010 Date Let e od n phrases. and words Key ntefloig let following, the In aar,S¨t n alj eue h aosMKyconjectur Galois–McKay the reduced Vallejo Späth and Navarro, Let hscmltstevrfiaino h nutv aosMKyconditio Galois–McKay inductive the of verification the completes This Notation. G ac 1 2021. 31, March : p ahmtc ujc Classification. Subject Mathematics Abstract. nterdfiigcharacteristic. Galois–McK defining inductive their the in of verification the completes This h enn hrceitcfrtefiiegop fLetp w type Lie of the groups, groups verify Ree finite We and the Suzuki for account. characteristic into defining automorphisms the Galois some takes eapieand prime a be eafiiegroup, finite a be n ∈ p aar endti ojcueadpooe htteei bij a is there that proposed and conjecture this refined Navarro . Z h nutv aosMKycondition Galois–McKay inductive The with is eitouesm oain otyfloigtentto used notation the following mostly notation, some introduce we First I YEI HI EIIGCHARACTERISTIC DEFINING THEIR IN TYPE LIE h aosMKycnetr sarfieeto h ca conj McKay the of refinement a is conjecture Galois–McKay The σ G ol iet hn yPDavsrGne al o i ugsin an suggestions his for Malle Gunter advisor PhD my thank to like would I G ⊆ H ( 2 aosMKycnetr,gop fLetp,local–global type, Lie of groups conjecture, Galois–McKay ξ (2) n = ) G h group The . p 2. n h ipegop fLetp ihnngnrcShrmult Schur non-generic with type Lie of groups simple the and rm and prime a nt ru.W alacaatrof character a call We group. finite a B B ξ h nutv aosMKycondition Galois–McKay inductive The =Gal( := p 2 n n (2 2 ( (2) o vr oto unity of root every for i ) , n G ≥ Q 2 20C33. H (3 ab ) n h ruso i yewt o-eei cu multipl Schur non-generic with type Lie of groups the and 2), P i / csntrlyo Irr( on naturally acts ) IT JOHANSSON BIRTE 1. Q , Sylow- a etesbru ossigo those of consisting subgroup the be ) F Introduction p 4 ′ (2 caatr of -characters i ) , 1 p B sbru of -subgroup n (2) NV0 ento 3.1] Definition [NSV20, G ξ ycniinfrtefiiegop fLetype Lie of groups finite the for condition ay o integers for n ftenormalizer the of and fodrntdvsbeby divisible not order of t xetoa rp uoopim,the automorphisms, graph exceptional ith G G nutv aosMKycniinin condition Galois–McKay inductive ere.Fracharacter a For degrees. yIrr by yapyn h lmnsof elements the applying by ) Rh0,Rhtre hwdta the that showed Ruhstorfer [Ruh20], n ino eti aosautomorphisms Galois certain of tion htre o i dieadproviding and advice his for uhstorfer G h ca ojcuecam that claims conjecture McKay The . oapolmaotsml groups simple about problem a to e G p i ′ ihdge o iiil by divisible not degree with e. ( ≥ G so i yei hi defining their in type Lie of ps ojcue,MKyconjecture. McKay conjectures, o nt ruso i type Lie of groups finite for n ). 1 cueta additionally that ecture hi enn characteristic. defining their , 1 sstse o l simple all for satisfied is .1] n cinbtenteesets these between ection sstse ntedefining the in satisfied is ≥ N 2 σ G h uuiadRee and Suzuki the , p ( G ∈ P esythat say We . n[NSV20]. in ihdge not degree with ) uhta there that such ψ iplier. h ri of orbit the , ier. H com- d othe to σ p F is a 2 BIRTE JOHANSSON

ψ under the action of H is denoted by ψH. In the same way, σ ∈ H acts on a (projective) representation P over Qab via Pσ(g) := P(g)σ for all g ∈ G. Here, P(g)σ is obtained by applying σ to all matrix entries of P(g). Let f be an automorphism of G and ψ a character of a normal subgroup N E G. Then, we denote −1 by ψf the character defined by ψf (x)= ψ(xf ) for all x ∈ N, using exponential notation for the image of x under the automorphism f. For g ∈ G, we often use the element itself to denote the conjugation −1 by g. Thus we have ψg(x) = ψ(xg ) = ψ(gxg−1) for all x ∈ N. The stabilizer of ψ in G under this conjugation action is denoted by Gψ. In the same way, automorphisms of a group act on the (projective) representations of its normal subgroups. The group of inner automorphisms of a group G consists of the automorphisms induced by conjugation with the elements of G and will be denoted by Inn(G). The conjugation automorphisms of two elements are the same if and only if they are in the same coset modulo the centre Z(G). We will denote the subset of inner automorphisms of G that are induced by elements of a subgroup H ≤ G with Z(G) ≤ H by Inn(G | H). If Γ is a group of automorphisms of G, we denote by Γout ⊆ Γ a subgroup isomorphic to the outer automorphism group of G that is a complement to Inn(G) ∩ Γ. Note that this subgroup does not exist for all groups. For N E G and ψ a G-invariant character of N (i.e. ψg = ψ for all g ∈ G), let P be a projective representation of G such that • its restriction to N affords ψ, and • P(ng)= P(n)P(g) and P(gn)= P(g)P(n) for all n ∈ N and g ∈ G. Then, we say that P is associated to ψ. We know by [NSV20, Corollary 1.2] that we can always find such a projective representation with matrix entries in Qab. ab For an arbitrary ψ ∈ Irr(N), let P be a projective representation of Gψ over Q associated to ψ. ab gσ g σ × Then for (g, σ) ∈ G × Gal(Q /Q) with ψ := (ψ ) = ψ, let µgσ : Gψ → C be the unique function constant on cosets of N with µgσ(1) = 1 such that gσ g σ P := (P ) ∼ µgσP where ∼ denotes similarity between the projective representations [NSV20, Lemma 1.4]. 2.2. Inductive Galois–McKay condition. The inductive Galois–McKay condition from [NSV20, Def- inition 3.1] is the following. Condition 2.1. For a finite non-abelian simple group S and p a prime dividing |S|, let G be a universal covering group of S, R ∈ Sylp(G), and Γ := Aut(G)R := {f ∈ Aut(G) | f(R)= R}. Then, S satisfies the inductive Galois–McKay condition for p if the following holds for all ψ ∈ Irrp′ (G):

(1) There exists a Γ-stable subgroup NG(R) ⊆ N ( G and a Γ × H-equivariant bijection

Ω : Irrp′ (G) → Irrp′ (N). ′ ab (2) There exist projective representations P of G⋊Γψ and P of N ⋊ΓΩ(ψ) with entries in Q associated to ψ respectively Ω(ψ) such that the associated factor sets α, α′ take roots of unity values, coincide on (N ⋊ Γ ) × (N ⋊ Γ ) and P(c), P′(c) are associated with the same scalar for all c ∈ C ⋊ (N). ψ ψ G ΓψH ′ (3) µa,µa agree on N ⋊ Γψ for all a ∈ ((N ⋊ ΓψH ) × H)ψ. We will see now that this is the same as in [NSV20, Deﬁnition 1.5], i.e. that the conditions given by [NSV20, Deﬁnition 1.5 (i), (ii)] always hold in this case. Lemma 2.2. Consider the setting of Condition 2.1. (a) Assuming Condition 2.1 (1) holds, the equations • G ⋊ ΓψH = G(N ⋊ ΓψH ), • G ∩ (N ⋊ ΓψH )= N, ⋊ ⋊ H • CG ΓψH (G) ⊆ N Γψ , • ((N ⋊ ΓψH ) × H)ψ = ((N ⋊ ΓψH ) × H)Ω(ψ) = ((N ⋊ Γ) × H)ψ = ((N ⋊ Γ) × H)Ω(ψ) ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 3

are always satisﬁed. (b) We have −1 C ⋊ (G)= {(g,γ ) | g ∈ N} G ΓψH g with γg denoting the automorphism by conjugation with g. Proof. The ﬁrst two equalities of (a) are obvious since N ≤ G. Note that (b) implies the third equation. For g ∈ G, τ ∈ Γ and with id ∈ Γ denoting the identity automorphism, we have

(g, τ) ∈ CG⋊Γ(G) ⇔ (g, τ)(h, id) = (h, id)(g, τ) for all h ∈ G ⇔ (gτ(h), τ) = (hg,τ) for all h ∈ G ⇔ gτ(h)= hg for all h ∈ G ⇔ τ(h)= g−1hg for all h ∈ G. Since Inn(G | N) is the subgroup of inner automorphisms in Γ and acts trivially on the characters of G and N, the claim −1 ⋊ ⋊ H CG ΓψH (G)= {(g,γg ) | g ∈ N}⊆ N Γψ follows. For a Γ × H-equivariant bijection Ω, the fourth equation follows by equivariance and since N acts trivial on all characters of G and N.

For a group N ≤ G, Γ ≤ Aut(G)N , ψ ∈ Irr(G) and a map Ω : Irrp′ (G) → Irrp′ (N) satisfying the equations from Lemma 2.2 (a) and Condition 2.1 (2) and (3), we also write

(G ⋊ ΓψH , G, ψ) ≥c (N ⋊ ΓψH ,N, Ω(ψ)). Remark 2.3. (a) Note that we already know that the inductive McKay condition from [IMN07, Section 10] is satisfied for groups of Lie type in their defining characteristic [Spä12, Theorem 1.1] (for a different phrasing of the inductive McKay condition more similar to Condition 2.1 see [Nav18, Definition 10.23]). Thus, if H acts trivially on all occurring characters of p′-degree, we already know that there exists a Γ-invariant bijection from Irrp′ (G) to Irrp′ (N) satisfying (2) of Condition 2.1. (b) Assume that the projective representation P associated to some ψ ∈ Irrp′ (G) from Condition 2.1 (2) is even an ordinary representation. Then, every such µa for a ∈ ((N ⋊ ΓψH ) × H)ψ is a character of (G ⋊ Γψ)/G by Gallagher’s lemma (see for example [Isa76, Corollary 6.17]). This follows from the a fact that both P and P afford characters of G ⋊ Γψ extending ψ. Let X be a representation of G affording ψ. This representation can be canonically extended to a representation X of G ⋊ Inn(G | N) by setting X ((g,γ )) = X (g)X (h) e h with γh the inner automorphism associated to h ∈ N. Let a ∈ ((N ⋊ ΓψH ) × H)ψ; then we have ψ = ψa. Consequently, there exists somee invertible matrix M such that X (g)a = M −1X (g)M for all g ∈ G. Then, we have a a a −1 −1 X ((g,γh)) = X (g) X (h) = M X (g)MM X (h)M = M −1X (g)X (h)M ∼ X ((g,γ )) e h for all (g,γh) ∈ G ⋊ Inn(G | N). Thus, if P is an ordinary representation that extends X , both P a e and P afford characters extending the same character of G ⋊ Inn(G | N). Therefore, µa is even a character of (G ⋊ Γψ)/(G ⋊ Inn(G | N)) in this case. e (c) It actually occurs that the characters µa as in the constructions in Remark 2.3(b) are not trivial. An example for this is G2(3) in its defining characteristic. Since the outer automorphism group of the Schur cover is cyclic, we know that all irreducible characters ψ of G extend as in (b) canonically to G ⋊ Inn(G | N) and also to G ⋊ Γψ. Computing the µa for all of these extensions, we see that there 4 BIRTE JOHANSSON

is a ψ ∈ Irr3′ (G) of degree 14 such that every extension corresponds to a non-trivial µa for some a ∈ ((N ⋊ ΓψH ) × H)ψ (for more details see the proof of Proposition 5.3).

i i i 3. B2(2 ), G2(3 ), F4(2 ), and the Suzuki and Ree groups in their defining characteristic i i i In this section, we consider the groups with exceptional graph automorphisms B2(2 ), G2(3 ), F4(2 ) 2 2f+1 2 2f+1 2 2f+1 for i ≥ 2, and the Suzuki and Ree groups B2(2 ), G2(3 ), F4(2 ) for f ≥ 1. We prove that these groups satisfy the inductive Galois–McKay condition in their deﬁning characteristic. The groups 2 2 2 2 B2(2), G2(3), F4(2), B2(8), G2(3), and F4(2) will be studied separately in Section 5. The group B2(2) is solvable and thus we do not have to consider it further. We follow [Mas10] and [Ruh20] and extend the results from there.

3.1. Notation. We now fix the notation we will use throughout this section. Let i i i 2 2f+1 2 2f+1 2 2f+1 G ∈{B2(2 ), G2(3 ), F4(2 ), B2(2 ), G2(3 ), F4(2 )} and p be the defining characteristic 2 or 3, respectively. For the Suzuki and Ree groups, we also write q2 := p2f+1. The group G is simple, non-abelian, has trivial Schur multiplier, and trivial centre [MT11, Table 24.2, Remark 24.19]. Let G be the corresponding algebraic group of type B2, G2, or F4, respectively, defined over an algebraic closure k of Fp. We denote by Fp the standard field automorphism of G and by γ be the endomorphism of G induced by the exceptional automorphism ρ of the Dynkin diagram. If G is a Suzuki or Ree group, f i F we set F = Fp ◦ γ. Otherwise, we set F = Fp. Then, F is a Steinberg endomorphism such that G = G. We fix an F -stable maximal torus T ⊂ G and an F -stable Borel subgroup B ⊃ T. Let U be the unipotent radical of B. By [MT11, Corollary 24.11], U = UF is a Sylow-p-subgroup of G with normalizer B = BF . We denote by Φ the root system of G with respect to T and by Φ∨ the set of coroots. Let n be the rank of Φ and denote the set of simple roots with respect to B by ∆= hαi | 1 ≤ i ≤ ni.

3.2. Dual fundamental weights. Let X(T) be the character group of T and Y (T) the group of cocharacters of T. For α ∈ Φ, let Uα be the root subgroup associated to α and fix an isomorphism ∨ xα : (k, +) → Uα. Following [Mas10], we can now define dual fundamental weights ωj ∈ Y (T) such that ∨ × hαi,ωj i = δij for 1 ≤ i, j ≤ n. For t ∈ k , we set −1 hα(t)= xα(t)x−α(−t )xα(t)xα(−1)x−α(1)xα(−1). Note that the dual fundamental weights only depend on the type of the root system of G and not on F . 2 By definition, we have γ = Fp and x (t) if α is long, γ(x (t)) = ρ(α) α x (tp) if α is short, ρ(α) see e.g. [GLS98, Theorem 1.15.4]. We follow the ideas in [Ruh20] and imitate the considerations that were already made there for Frobe- nius endomorphisms and groups without exceptional graph automorphisms. Lemma 3.1. The action of γ on the dual weights is given by

∨ ∨ ωρ(j)(µ) if α is long, γ(ωj (µ)) = ∨ p ( ωρ(j)(µ ) if α is short, where we use ρ also to denote the permutation of the indices of the αi induced by ρ. Proof. Since the centre of G is trivial, we can write n ∨ × ∨ lakj ωj : k → T, ωj (µ)= hαk (µ ) k Y=1 ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 5

n×n with (aij )i,j ∈ Q the inverse of the Cartan matrix of G and l the exponent of X(T)/ZΦ, i.e. l = 1 for G2, F4 and l = 2 for B2 [Mas10, Chapter 6]. Thus this is just a simple computation using the inverses of the Cartan matrices as in [Mas10, Appendix]. 3.3. An equivariant bijection. As already pointed out in Remark 2.3(a), we know that the inductive McKay condition holds in defining characteristic. More precisely, we know by [Bru09, Theorem 5] that there exists a Γ-equivariant bijection F F ΩiMcK : Irrp′ (G ) → Irrp′ (B ) such that Condition 2.1 (2) holds. We want to show that this bijection is also H-equivariant. Now, (G, F ) is selfdual by [Car85, p.120] and the centre of G is trivial by [GLS98, Theorem 1.12.5]. For a semisimple element s ∈ GF , we denote by E(GF ,s) the set of irreducible constituents of all G ′ possible Deligne–Lusztig generalized characters RT′ (s) for F -stable maximal tori T ⊆ G. By the Jordan decomposition of irreducible characters of GF , we have a partition Irr(GF )= E(GF ,s) s [ where s ranges over the conjugacy classes of semisimple elements of GF [GM20, Theorem 2.6.2]. The outer automorphism group of GF is then hγi. If GF is a Suzuki or Ree group, it has order 2f +1 and is equal to hFpi. Otherwise, the outer automorphism group has order 2i [GLS98, Theorem 2.5.12]. We already know how the outer automorphisms act on the character sets E(GF ,s). Lemma 3.2. Let σ ∈ H such that every p′-root of unity is mapped to its p-th power. For any outer automorphism κ of GF we have E(GF ,s)κ = E(GF ,sκ) and further E(GF ,s)σ = E(GF ,sp)= E(GF ,sFp ) Proof. The first equality is [Bru09, Proposition 1] since all outer automorphisms of G commute with F . Similar as [GM20, Proposition 3.3.16], the second claim follows from the character formula and the fact that all maximal tori have an order prime to p. We show an analogous result for the local case. F Lemma 3.3. Let σ ∈ H be associated to the integer k ≥ 1. Then σ acts on Irrp′ (B ) in the same way k as Fp . Proof. If F is a Frobenius map, the claim is included in [Ruh20, Remark 5.2]. We consider the remaining F 2 2 F groups case by case. First, let G be of type B2 or G2. Then, B = B is a Frobenius group with F ∼ × 2 B = R · H with R ∈ Sylp(G ) and H = Fq2 , |H| = q − 1 by [HB82, Sect. XI.3] and [Eat00, Proof of Lemma 5]. Thus, the irreducible characters of B consist of the inflations of characters in Irr(H) and the induced characters of R that are non-trivial. As in [IMN07, (16C)] and [Eat00, Proof of Lemma 5], we have B B Irrp′ (B)= {InfH (τ) | τ ∈ Irr(H)}∪{IndR(λ) | λ ∈ Irrp′ (R)} B = {InfH (τ) | τ ∈ Lin(H)}∪{ψ0} B for a character ψ0 = IndR(λ) with λ ∈ Irrp′ (R). Since H = hαi is cyclic, its irreducible characters are of the form i 2 τi : α 7→ εq2−1, 0 ≤ i ≤ q − 2 k 2 k pk Fp with εq2−1 a (q −1)-th root of unity. We have Fp (α)= α and it follows τi = τpk i. Then, by explicitly looking at the character values of τi, it follows k σ Fp τi = τpk i = τi . 6 BIRTE JOHANSSON

2 Since ψ0 is the only character of B of degree q − 1, it is ﬁxed by Fp and σ. Thus we have k ψFp = ψσ = ψ for all ψ ∈ Irr(B). F 2 Finally, let G be of type F4. With the notation and index sets as in [HH09], we have as in [HH09, Proof of Lemma 6.1]

Irr2′ (B)= {Bχ1(k,l)}∪{Bχ2(k)}∪{Bχ5(k)}∪{Bχ8}.

As described there, F2 acts on these characters by doubling the character parameters. By looking at the explicit character values given in [HH09, Table A.6] we see that σ acts on the characters in the same way k as F2 .

Proposition 3.4. The Γ-equivariant bijection ΩiMcK from [Bru09] is even H-equivariant. Proof. Let σ ∈ H. We know from [Bru09, Lemma 5] that in every Lusztig series E(GF ,s) there is only ′ F F one character of p -degree. Thus, every σ acts on Irrp′ (G ) and Irrp′ (B ) in the same way as some k element Fp ∈ Γ. Since ΩiMcK is Γ-equivariant, it follows for all ψ ∈ Irrp′ (G) σ F k F k σ ΩiMcK(ψ )=ΩiMcK(ψ p )=ΩiMcK(ψ) p =ΩiMcK(ψ) . This shows the claim.

3.4. Character extensions. We use the same construction and notation for the characters φS and ξ of UF /[U, U]F and UF as in [Ruh20, Section 4.4.]. Here, S is a subset of {1, ..., r} with r = n if F is a Frobenius map and r = n/2 if we are in the case of Suzuki and Ree groups. Although only Frobenius maps F were considered in [Ruh20], the construction works in the same way for the Suzuki and Ree groups. GF F Then, Γ1 = IndUF (ξ) is the Gelfand–Graev character of G , see [DM20, Paragraph before Deﬁnition F F 12.3.3]. We denote the Alvis–Curtis duality map for G by DG : Z Irr(G ) → Z Irr(G ), see [DM20, Section 7.2] or [GM20, Section 3.4]. γ σ t Lemma 3.5. For every σ ∈ G there exists a t ∈ T such that φS = φS for all S ⊆{1, .., r}. × σ Proof. As in the proof of [Ruh20, Lemma 6.3(a)], let b ∈ Fp such that φ0 (a)= φ0(ba) for all a ∈ Fq. It ∨ Fp n Fp t σ is shown there that for si := ωi (b) ∈ T with 1 ≤ i ≤ n and t := i=1 si ∈ T we have φS = φS . Since bp = b, it follows with Lemma 3.1 that n n n Q n ∨ ∨ p ∨ γ(t)= γ(si)= ωρ(j)(b) ωρ(j)(b )= ωj (b)= t. i=1 i ,α i ,α i=1 Y =1 Yi long =1 Yi short Y Thus, t is γ-invariant. We now want to show that the global and local characters can be extended to their stabilizers in Γ such that the corresponding µa are trivial. We use the constructions from [Ruh20, Section 6.3] and see k that they are still valid in our case. Let F0 be any Steinberg automorphism of G such that F0 = F for some integer k. We set for any F -stable closed subgroup H of G k−1 k H = H × F0 (H) × ... × F0(H) ≤ G = G. Let τ : G → G, τ(g1,...,gk) = (g2,...,gk,g1) be an automorphism. Then we see as in [Ruh20, Section 6.3] that τ is a quasi-central automorphism of G and that the projection onto the ﬁrst coordinate pr induces isomorphisms

τF0 F τF0 F H =∼ H , G ⋊ hτi =∼ G ⋊ hF0i. The following proposition extends [Ruh20, Proposition 6.7] to our setting. Although Ruhstorfer considers only Galois automorphisms in H, the proof given there also holds for all Galois automorphisms that satisfy ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 7

[Ruh20, Assumption 6.6] and act like some ﬁeld automorphism of the group. Thus, the changes we make are only due to the generalization to Steinberg automorphisms F0 and the limited knowledge about duality for disconnected groups in this setting.

Proposition 3.6. Let ψ ∈ Irr(GF ) be a semisimple character and σ ∈ G a Galois automorphism such e σ Fp γ e −1 that we have ψ = ψ for some e ∈ N. Let t be an element in T as in Lemma 3.5 and set xσ := Fp σ t. xσ Then there exists an extension ψˆ ∈ Irr(G ⋊ hγiψ) such that ψˆ = ψˆ.

k Proof. Let F0 be a generator of hγiψ such that there is a k ∈ N with F0 = F . Step 1: Translating the characters to G. Denote by

∨ F τF0 prG⋊hτi : Z Irr(G ⋊ hF0i) → Z Irr(G ⋊ hτi),

∨ F τF0 ∨ F τF0 prG : Z Irr(G ) → Z Irr(G ), prU : Z Irr(U ) → Z Irr(U ) the maps induced by pr, restricting to isomorphisms of the respective irreducible characters. ∨ ∨ Note that the centers of G and G are trivial. We set ψ := prG (ψ) and ξ := prU (ξ). Let Γ1 = GτF0 IndUτF0 (ξ). Using the character formula for induction, we see that

τF ∨ GF G 0 ∨ F prG ◦ IndU = IndUτF0 ◦ prU

∨ and it follows Γ1 = prG (Γ1). Since ψ is semisimple, ψ is a constituent of DG(Γ1) by [DM20, Corollary 12.4.10]. From [GM20, ∨ Proposition 3.4.3] we know that Alvis-Curtis duality and prG also commute in this setting. Consequently, ∨ ∨ we have DG ◦ prG = prG ◦ DG and ψ is a constituent of DG(Γ1). Let φ : G → G be the morphism e given by the action of Fp t and set

φ : G → G, (g1,...gk) 7→ (φ(g1),...φ(gk)).

−1 Then, we have ψφσ = ψ, and

−1 e ξxσ = ξφσ = ξFp = ξ

φσ−1 φσ−1 implies ξ = ξ and Γ1 =Γ1. Step: 2 Extending characters to the disconnected group. We extend ξ ∈ Irr(UτF0 ) to a character ˆξ ∈ Irr(UτF0 ⋊ hτi) by setting ˆξ(τ)=1. Let

ˆ GτF0 ⋊hτi ˆ Γ1 := IndUτF0 ⋊hτi(ξ).

Then, it is easy to see that Γˆ1 extends Γ1. We need the construction of Deligne–Lusztig characters and duality for disconnected groups from [DM94, Definition 2.2 and 3.10]. There, Digne and Michel only consider finite groups of Lie type that arise via Frobenius endomorphisms. Since τF0 is not necessarily a Frobenius endomorphism of G ⋊ hτi, we have to make sure that the constructions still work in our setting. Going through [DM94], it is easy to see that most of the claims still hold if we allow Steinberg endomorphisms. We checked this for all results and definitions that we need in the following. 8 BIRTE JOHANSSON

ˆ Using [DM94, Corollaire 2.4.], it is easy to see that DG⋊hτi(Γ1) extends DG(Γ1): τF τF e (G⋊hτi) 0 (G⋊hτi) 0 rk (P) G⋊hτi ∗ G⋊hτi G⋊ ss ResGτF0 ◦ D hτi = ResGτF0 ◦ (−1) · RL⋊hτi ◦ RL⋊hτi e e PX⊃B e G L⋊ τF0 G⋊ rkss(P) ( hτi) ∗ hτi = (−1) · ad(1) ◦ RL ◦ ResLτF0 ◦ RL⋊hτi e e PX⊃B G G G⋊ τF0 rkss(P) ∗ ( hτi) = (−1) RL ◦ RL ◦ ResGτF0 P B X⊃ (G⋊hτi)τF0 G = D ◦ ResGτF0 where

• B ⊂ G ⋊ hτi is a fixed τF0-stable Borel subgroup containing τ and the sum runs over all τF0- stable parabolic subgroups P of G ⋊ hτi containing B, and L ⋊ hτi denotes the τF0-stable Levi subgroupe corresponding to P containing τ; • B ⊂ G is an F -stable fixede Borel subgroup and thee sum runs over all τF0-stable parabolic subgroups P of G containinge B, and L denotes the τF0-stable Levi subgroup corresponding to P; • rkss denotes the semisimple rank of an algebraic group. A bijection between the summation indices as implied by the notation exists by the remarks after [DM94, Definition 3.10] and the considerations about Levi subgroups and parabolic subgroups in [DM94, Section 1.1]. Step 3: Conclusion. It is clear that Harish–Chandra induction and restriction still commute with Galois automorphisms and group automorphisms in the generalized case. Thus, we have −1 ˆ φσ−1 ˆ φσ ˆ DG⋊hτi(Γ1) = DG⋊hτi(Γ1 )= DG⋊hτi(Γ1). ˆ As mentioned before, the character ψ is a constituent of DG(Γ1). Since DG(Γ1) and DG⋊hτi(Γ1) are both ˆ ˆ −1 mupltiplicity free, there is only one constituent ψ of DG⋊hτi(Γ1) that extends ψ. Thus, it is φσ -stable ∨ −1 ˆ F −1 and it follows that (prG⋊hτi ) (ψ) ∈ Irr(G ⋊ hF0i) is a φσ -stable character extending ψ. It remains to show the existence of convenient extensions of the local characters. Proposition 3.7. Let χ ∈ Irr(BF ) be a semisimple character and σ ∈ G a Galois automorphism such e σ Fp γ e −1 that we have χ = χ for some e ∈ N. Let t be an element in T as is Lemma 3.5 and set xσ := Fp σ t. F xσ Then there exists an extension χˆ ∈ Irr(B ⋊ hγiψ) of χ such that χˆ =χ ˆ. i i i Proof. For the groups B2(2 ), G2(3 ), and F4(2 ), this can be shown in the same way as [Ruh20, Prop. 6.10]. For the Suzuki and Ree groups, we cannot use further results on the characters φS considered there F 2 2 2 2 ′ F and thus give a different proof. Let G be B2(q ) or G2(q ). We recall the p -characters of B = B from the proof of Lemma 3.3: B B Irrp′ (B)= {InfH (τi) | τi ∈ Lin(H)}∪{IndR(λ) for a fixed non-trivial λ ∈ Lin(R)} B with R ∈ Sylp(B), B = RH. Since the characters InfH (τi) are linear, we obtain an extension to e −1 k B B ⋊ hγi B that is invariant under F σ by settingτ î(bγ ) = Inf (τi)(b) for all k ∈ N, b ∈ B. These InfH (τi) p H extensions are also invariant under xσ since t ∈ B. We now consider the linear character ξ ∈ Irr(R). As noted before, ξ is invariant under xσ and can be extended to ξˆ ∈ Irr(R ⋊ hγi) such that it is xσ-invariant. This also gives us an xσ-invariant extension B ˆ B IndR(ξ) of the character IndR(ξ). 2 2 For G = F4(q ), the characters were explicitly constructed in [HH09]. In the notation given there, we have Irr2′ (B)= {Bχ1(k,l)}∪{Bχ2(k)}∪{Bχ5(k)}∪{Bχ8}. ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 9

Since Bχ1(k,l) is linear, we can extend it as claimed. F Denote by λ2(k) ∈ Irr(CT (α1(1))U ) the character inducing B χ2(k) as given in [HH09, p. 9]. Then F2 we can easily see λ2(k) = λ2(2k) and it follows

hF2iB χ2(k) = hF2iλ2(k). F The character λ2(k) restricts to a linear character φ{1} ∈ Irr(U ) that coincides by construction with the character denoted in the same way defined in [Ruh20, Section 4.4.]. The action of TF on the root F subgroups is described in [HH09, Table 2] and it is easy to see that CT (α1(1))U = Bφ{1} is the inertia F subgroup of φ{1} in B. By Clifford correspondence, λ2(k) is the unique character of CT (α1(1))U inducing Bχ2(k) such that λ2(k)|UF has φ{1} as a constituent. Since φ{1} and Bχ2(k) are xσ -invariant, the Clifford correspondent λ2(k) is also xσ-invariant. Thus, we can extend the linear character λ2(k) to ˆ F an xσ-invariant character λ2(k) ∈ Irr(CT (α1(1))U ⋊ hF2iB χ2(k). Now it is easy to see that C (α (1))UF ⋊hF i T 1 2 B χ2(k) ˆ IndB⋊ F (λ2(k)) h 2iB χ2(k) is an xσ-invariant extension of B χ2(k). In the same way, this can be shown for the other characters. 3.5. Verificitation of the inductive condition. We are now able to verify the inductive Galois–McKay condition for all considered groups in their defining characteristic. i i i 2 2f+1 2 2f+1 2 2f+1 Theorem 3.8. The group S ∈{B2(2 ), G2(3 ), F4(2 ), B2(2 ), G2(3 ), F4(2 )} satisfies Con- dition 2.1 with p the defining characteristic p =2 or p =3, respectively. Proof. We use the notation of Condition 2.1. As already mentioned, the group S is simple, non-abelian and has trivial Schur multiplier; thus we can consider G = S. We want to verify the condition for N = B. + The outer automorphism group of G is cyclic with generator γ. Since U = α∈Φ+ Uα with Φ the set of positive roots with respect to ∆, γ fixes U by the description of its action in Section 3.2. Thus, we have Γ = hγ, Inn(G | N) i. Q Let Ω be the Γ × H-equivariant bijection from Proposition 3.4 and D = hγi. We know by Proposition xσ 3.6 that for all ψ ∈ Irrp′ (G) we find an extension ψˆ ∈ Irr(G ⋊ Dψ) such that ψˆ = ψˆ for all σ ∈ H. Now, e −1 every a ∈ (D × H)ψ is of the form (Fp , σ ) for some σ ∈ H associated to the integer e. As an element of TD ⊆ TF ⊆ B ⊆ G, t acts trivially on ψˆ and we have x F eσ−1t F eσ−1 ψˆ σ = ψˆ p = ψˆ p = ψ.ˆ We can now extend ψˆ to the inner automorphisms in Γ as described in Remark 2.3 (b). Then, a representation affording ψ leads to trivial µa for all a ∈ ((B ⋊ Γ) × H)ψ. The same can be done for the local character Ω(ψ) and the claim follows. e 4. Bn(2) in defining characteristic

We verify Condition 2.1 for S = Bn(2) with an integer n ≥ 4 and p = 2. For n = 2 and n = 3, this will be treated separately in Proposition 5.3. 4.1. Action of Galois automorphisms in the global case. The group S is simple, non-abelian and has trivial Schur multiplier [MT11, Remark 24.19], hence we can take G = S in Condition 2.1. We want to show that the Galois automorphisms in H act trivially on the characters in Irr2′ (G).

Lemma 4.1. The Galois automorphisms in H act trivially on Irr2′ (G). r Proof. Let m be the exponent of G and σ ∈ H with σ(ξm)= ξm for an m-th root of unity ξm and r ∈ Z coprime to m. We want to show that for such an r every semisimple element s ∈ G is conjugate to its r B r-th power s . We can consider every element of G = n(2) = Sp2n(2) as a 2n × 2n-matrix. As in the proof of [Cab11, Proposition 2], we obtain a bijection between the classes of semisimple elements of G and the set of self-dual polynomials f ∈ F2[X] of degree 2n by taking the characteristic polynomial. Let l be the smallest integer such that every self-dual f ∈ F2[X] splits into linear factors 10 BIRTE JOHANSSON over F2l . Then, every f is uniquely described by its set of roots over F2l . Since f is the characteristic polynomial of an element in a semisimple conjugacy class of G, the roots of f are the eigenvalues of every element in this class. It follows that every conjugacy class of semisimple elements can be uniquely described by the eigenvalues of its elements. × × ab Let s ∈ G be semisimple with eigenvalues λ1,...,λ2n ∈ F2l . With α a generator of F2l and ξ ∈ Q a fixed primitive (2l − 1)-th root of unity, we can define a bijective group homomorphism ∗ × : F2l → hξi, α 7→ ξ. 2f Now, σ ∈ H acts on hξi via σ(ξ)= ξ for some f ∈ Z. Because all matrix entries of s lie in F2, we have ∗ ∗ r ∗ r ∗ ∗ {λ1,...,λ2n} = {(λ1) ,..., (λ2n) }. Taking the inverse under , this implies r r {λ1,...,λ2n} = {λ1,...,λ2n}. Thus, the set of eigenvalues of s coincides with the set of eigenvalues of sr and it follows that s and sr are conjugate. By [Lus77, p. 164], there exists a bijection between the rational semisimple elements of Sp2n(2) and of its dual SO2n+1(2) with an isomorphism of centralizers. Thus, the Jordan decomposition of χ ∈ Irr(G) can be written as (s,ν) with s ∈ G semisimple and ν a unipotent character of CG(s) [GM20, Section σ 2.6]. Now, Bn defined over F2 is connected reductive with connected centre. By [SV20], χ has Jordan decomposition (sr,νσ) for σ ∈ H as described above. As in the proof of [Cab11, Proposition 2], we have ∼ CG(s) = Sp2k(2) × C for some 0 ≤ k ≤ n and C a product of finite linear groups for every semisimple s ∈ G. By [Lus02, Corollary 1.12], every unipotent character of a group of type A or B is rational-valued. σ r Thus, it follows ν = ν for every unipotent character ν of CG(s). For all σ ∈ H we also know that s is conjugate to s, thus the Jordan decompositions of χ and χσ are the same and it follows χ = χσ.

4.2. Action of Galois automorphisms in the local case. Let SymMn(2) be the additive group of symmetric n × n -matrices over F2, Un(2) ≤ GLn(2) the group of upper triangular unipotent matrices over F2 and 0 1 x xsJ J := .. ∈ GL (F ), R := | x ∈ U (2), s ∈ SymM (2) .  .  n 2 0 J(x−1)T J n n 1 0     By [Cab11, Proposition 3], R is a self-normalizing Sylow-2-subgroup of G. We want to show that Con- dition 2.1 is satisﬁed for N = R.

Lemma 4.2. The Galois automorphisms in H act trivially on Irr2′ (R). Proof. We want to show that all linear characters of R have integer character values. Since all linear characters of R can be obtained as inﬂated characters from its abelianization R/R′, it suﬃces to show that all linear characters of R/R′ have integer character values. ∼ T As in [Cab11], we see R = SymMn(2) ⋊ Un(2) with Un(2) acting on SymMn(2) by x.s = xsx for x ∈ Un(2) and s ∈ SymMn(2). With the same considerations as in [Cab11, proof of Proposition 3], it follows ′ ∼ ′ ∼ n+1 R/R = (SymMn(2)/[SymMn(2),Un(2)]) × (Un(2)/Un(2) ) = (C2) . Thus, every value of a linear character of R/R′ is either 1 or −1 and thereby an integer. Now the claim follows.

Proposition 4.3. Condition 2.1 is satisﬁed for the group S = Bn(2) with n ≥ 4 in its deﬁning characteristic p =2. Proof. We use the notation that was introduced in the beginning of the section. The group G = S has trivial outer automorphism group [GLS98, Section 2.5]. Thus, Γ = Inn(G | R) acts trivially on all characters in Irr2′ (G) and Irr2′ (R). ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 11

By Lemma 4.1 and Lemma 4.2, the group H acts trivially on these characters. We know |Irr2′ (G)| = n+1 |Irr2′ (R)| = 2 by [Cab11, Section 2]. Thus, there obviously exists a Γ × H-equivariant bijection between Irr2′ (G) and Irr2′ (R). Since Γ = Inn(G | R), we can extend a representation X of G aﬀording ψ ∈ Irr2′ (G) to G ⋊ Γ canonically as described in Remark 2.3 (b). Again by Remark 2.3 (b), any µa for a ∈ ((N ⋊ Inn(G | N)) × H has to be a character of (G ⋊ Γ)/(G ⋊ Inn(G | R)) and thereby trivial. The same is true for Ω(ψ); thus (2) and (3) of Condition 2.1 hold.

5. Groups with non-generic Schur multiplier and G2(2)

In this section, we show that the inductive Galois–McKay condition is also satisfied for G2(2) and the finite groups of Lie type with non-generic Schur multiplier (see e.g. [MT11, Table 24.3]) in their defining characteristic. 5.1. About p-extensions. As we see in the following lemma, we often do not have to consider the full Schur cover. Given a group S and some covering group G of it, the p′-part of the covering group is some covering group H with G ։ H ։ S such that |G|/|H| is a p-power and |H|/|S| is prime to p. Lemma 5.1. Let S be a simple non-abelian group, p a prime, G the Schur cover of S and H the p′-part of the Schur cover. Let M be the normalizer of a Sylow-p-subgroup P of H and set Γ = Aut(H)P . Assume ′ that there exists a Γ × H-equivariant bijection Ω : Irrp′ (H) → Irrp′ (M) such that for all ψ ∈ Irrp′ (H) we have ′ (H ⋊ ΓψH ,H,ψ) ≥c (M ⋊ ΓψH ,M, Ω (ψ)). Then the inductive Galois–McKay condition holds for S.

Proof. We have G/Z(G) =∼ S and G/Z(G)p =∼ H and G is a central p-extension of H. Consider an irreducible character of G such that its restriction to Z(G)p is not trivial. Let d be the degree of the character. Then, we ﬁnd a z ∈ Z(G)p such that an aﬀording representation X is of the form

X (z)= εId for some ε ∈ C× with ε|Z(G)p| = 1 and ε 6= 1. Since S is perfect, G is also perfect [Nav18, Theorem B.4] and its only linear character is the trivial one. Thus, the determinant of X (g) has to be 1 for all elements g ∈ G and it follows det(X (z)) = εd =1.

Since |Z(G)p| is a p-power and ε 6= 1, d and p cannot be coprime and it follows p | d. Therefore, all ′ irreducible p -characters of G have Z(G)p in their kernel and can be obtained by inflating irreducible ′ G ′ p -characters of H. Thus, deflation yields a bijection DefH between p -characters of G and H. Let R ≤ G be the preimage of P and N its normalizer in G. Since Z(G)p ≤ N by definition and Sylow N ′ theory, N is a central p-extension of M. Thus, inflation yields a bijection InfM between the p -characters of M and N. It follows that Ω′ induces a bijection N ′ G Ω := InfM ◦ Ω ◦ DefH : Irrp′ (G) → Irrp′ (N). By [Nav18, Corollary B.8], the automorphism groups of G and H are both isomorphic to the automorphism group of S. Consequently, every automorphism of H stabilizing P extends uniquely to an automorphism of G stabilizing R. Under this identification, we denote the group of automorphisms of G by Γ as well. Since a χ ∈ Irrp′ (G) is uniquely determined by the values of χ on H, Γ and H act on G N Irrp′ (G) in the same way as on Irrp′ (H), i.e. DefH is Γ × H-equivariant. The same is true for InfM ; thus Ω is Γ × H-equivariant. It remains to show that (2) and (3) in Condition 2.1 hold. For a ψ ∈ Irrp′ (G), we can extend every projective representation of H ⋊ Γ G to G ⋊ Γψ canonically such that it is trivial on Z(G)p. The DefH (ψ) same can be done for projective representations of M ⋊ Γ ′ G . By assumption, we have projective Ω (DefH (ψ)) G representations of H ⋊ Γ G and M ⋊ Γ ′ G satisfying Condition 2.1 (2), (3) for Def (ψ). It is DefH (ψ) Ω (DefH (ψ)) H easy to see that the trivially extended representations of G ⋊ Γψ and N ⋊ ΓΩ(ψ) satisfy these conditions for ψ as well. Therefore, Condition 2.1 holds for S. 12 BIRTE JOHANSSON

Thus, it suﬃces to consider the p′-part of the Schur multiplier in Condition 2.1. 5.2. Explicit computations. We ﬁrst prove a simple lemma stating some facts that will be used fre- quently to simplify the explicit computations for many of the mentioned groups.

Lemma 5.2. Let ψ ∈ Irrp′ (G) with the notation of Condition 2.1.

(a) If Γψ/ Inn(G | N) is cyclic, ψ extends to G ⋊ Γψ. (b) Assume either • Γψ = Inn(G | N) or • Γψ = ΓψH and there exists a subgroup (ΓψH )out ≤ ΓψH isomorphic to the corresponding outer automorphism group and some extension of ψ to G ⋊ (ΓψH )out with character values ﬁxed by Hψ. Then there exists a representation of G ⋊ Γψ associated to ψ such that µa is trivial for all a ∈ ((G ⋊ Γ) × H)ψ. (c) Assume ψ is linear, Γψ/ Inn(G | N) is cyclic and (ΓψH )out exists and is abelian. Then we ﬁnd an extension of ψ to G ⋊ Γψ such that µa is trivial for all a ∈ ((G ⋊ Γ) × H)ψ.

The same holds for ψ ∈ Irrp′ (N) if we replace G by N in the respective semidirect products. Proof. We can extend any representation affording ψ canonically to a representation of G ⋊ Inn(G | N) as in Remark 2.3(b). Now, Γψ/ Inn(G | N) is cyclic and there exists a representation of G⋊Γψ associated to ψ by [Nav18, Theorem 5.1]. This shows (a). The canonical extension of a representation affording ψ to G ⋊ Inn(G | N) corresponds to trivial µa by Remark 2.3(b). Thus, (b) holds if Γψ = Inn(G | N). To show (b) in the second case, let X be a representation of G ⋊ (ΓψH )out affording the described Hψ-invariant character ψ0. Then, we can extend X canonically to a representation P of G ⋊ ΓψH . Let ψ1 be the character afforded by this representation. Since ψ0 only has Hψ-invariant values and ψ1((1,γg)) = ψ0((g, id)) for γg the inner automorphism associated to g ∈ G, ψ1 also has Hψ-invariant character values. We have P(yxy−1)= P(y)P(x)P(y−1) ∼P(x) for all x, y ∈ G ⋊ ΓψH . Thus, for all a ∈ ((N ⋊ ΓψH ) × H)ψ = (N ⋊ ΓψH ) × Hψ only the H-component determines µa. Let σ be the H-component of a. Then, we have a σ ψ1 = µaψ1 = ψ1 = ψ1 and the claim follows. For (c), we can define an extension ψ0 ∈ Irr(G ⋊ Γψ) by setting k ψ0(tu )= ψ(t) for any t ∈ G, u ∈ Γψ such that Γψ = hu, Inn(G | N)i. Then, we have k (γ,σ) σ k ψ0(tu ) = ψ(γ(t)) = ψ(t)= ψ0(tu ) for all (γ, σ) ∈ ((ΓψH )out × H)ψ. The claim holds since we can extend the character canonically to the inner automorphisms in Γ. In the following proof, all explicit computations were made with GAP [GAP19]. ′ Proposition 5.3. The inductive Galois–McKay condition holds for G2(2) and the simple groups of Lie type with non-generic Schur multiplier in their defining characteristic. Proof. Let S be a simple group of Lie type, p its defining characteristic and G the p′-part of the Schur cover of S. Note that the proof of [Ruh20, Theorem 7.3] does not use the fact that GF = G is the universal ′ covering group of S. Except for B2(2) , the exceptional part of the Schur multiplier is always a p-group [MT11, Table 24.3]. Therefore, by Lemma 5.1 and [Ruh20, Theorem 7.3], the inductive Galois–McKay condition is satisfied in defining characteristic for S being one of the groups PSL3(2), PSL3(4), PSL2(4), 2E D + PSL4(2), PSU4(2), PSU4(3), 6(2), PSL2(9), O7(3), PSU6(2), 4(2) = SO8 (2). The remaining simple ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 13

F G 2B B ′ groups of Lie type with exceptional Schur multiplier are Sp6(2), 4(2), 2(3), 2(8), and 2(2) [MT11, Table 24.3]. G ′ G 2B G ′ Note that 2(2) has trivial Schur multiplier. For S ∈{Sp6(2), 2(3), 2(8), 2(2) }, the outer automorphism group of S is cyclic by [CCN+85]. By Lemma 5.1, it suffices to let G be the p′-part of the Schur cover of S with p being the defining characteristic of S . Then the outer automorphism group of G is also cyclic [Nav18, Corollary B.8]. One can show computationally that with R ∈ Sylp(G) and Γ = Aut(G)R the actions of Γ × H on Irrp′ (G) and on Irrp′ (NG(R)) are permutation isomorphic. Thus, we can easily find a Γ × H-equivariant bijection between Irrp′ (G) and Irrp′ (NG(R)). By constructing the factor map π : Aut(G) → Aut(G)/ Inn(G), we find a subgroup Γout ≤ Γ such that the restrictition of π to Γout is surjective. Thus, we can compute the character tables of G ⋊ Γout and NG(R) ⋊ Γout. We see that we can apply Lemma 5.2 for the characters in all groups except G2(3). It follows that the inductive Galois–McKay condition is true for these groups. ′ If S = G2(3), we see that for both G and N = NG(R) we can apply Lemma 5.2 for all 3 -characters + except χ2 ∈ Irr3′ (G) of degree 14 as in [CCN 85, p.60] and a character ϕ ∈ Irr3′ (N) of degree 2 (it can be characterized as the only character of degree 2 fixed by Γ that has character value 1 for some group elements). The actions of both H and Γ are trivial on these characters, thus we can assume that Ω maps the characters onto another and we have

((G ⋊ Γ H ) × H)χ = (G ⋊ Γ) × H. χ2 2

We can now compute the character tables of G ⋊ Γout and N ⋊ Γout and determine the µa corresponding to χ2 and ϕ for a ∈ (G ⋊ Γ) × H. With Remark 2.3(b), it follows for both χ2 and ϕ χ if ξ σ = ξ 2, µ = 3 3 (y,σ) 1 if ξ σ = ξ , 3 3 with ξ3 a primitive third root of unity and (y, σ) ∈ (N ⋊Γ)×H. Here, χ is the character of G⋊Γout (resp. N ⋊ Γout) given by inﬂation from the non-trivial character of G ⋊ Γout/G =∼ C2 (resp. N ⋊ Γout/N =∼ C2), i.e. 1 if τ = id, χ(g, τ)= −1 else, for all (g, τ) ∈ N ⋊ Γout. Since we can extend the characters canonically to the inner automorphisms in Γ, Condition 2.1 is satisﬁed.

For S = F4(2), we know that the Schur multiplier has order 2 and can therefore consider G = S. We see that R ∈ Syl2(G) is self-normalizing and that the character values of the linear characters of R are + integers. The values of the characters in Irr2′ (G) are given in [CCN 85] and we see that H acts trivially on both Irr2′ (G) and Irr2′ (R). The outer automorphism group of G is generated by an outer automorphism γ stabilizing R with γ2 = id, induced by the exceptional graph automorphism of G [GLS98, Section 2.5]. We can compute the actions of γ on the conjugacy classes of G and N and we see that the actions of γ on Irr2′ (G) and Irr2′ (R) are permutation isomorphic. Thus, for ψ ∈ Irr2′ (G) we now have either Γψ = Inn(G | R) or we can read off the character values of G ⋊ hγi from the character table of the split + extension F4(2) : 2 given in [CCN 85]. There we see that H acts trivial on the extensions. Thus, by Lemma 5.2(b) we find an extension of ψ to G ⋊ Γψ such that all corresponding µa for a ∈ ((G ⋊ Γ) × H)ψ are trivial. The same holds for the characters in Irr2′ (R) by Lemma 5.2(c). ′ We now consider S = B2(2) =∼ PSL2(9) which has cyclic Schur multiplier of order 6 and thereby a non-trivial exceptional Schur multiplier in both defining characteristics p = 2 and p = 3. For p = 3, this was already treated above, thus let p = 2. Let G be the 3-cover of S, R a Sylow-2-subgroup of G, and N = NG(R). Note first Γ = hInn(G | N),γ1,γ2i with γ1,γ2 ∈ Aut(G)R of order 2 and that N is indeed Γ-stable. We have the additional difficulty that there is no subgroup of Γ that is isomorphic to the outer automorphism group. Thus, we choose a subgroup Γ′ ⊆ Γ containing representatives of ′ ′ all outer automorphisms of G. We see that all considered characters extend to G ⋊ Γψ resp. N ⋊ Γψ but we cannot assume that these character extensions agree with the described canonical extensions to 14 BIRTE JOHANSSON the semidirect product with the inner automorphisms. In particular, we do not know anymore that the ′ ′ centres of G ⋊ Γψ and N ⋊ Γψ are in the kernels of the extended characters. ′ We can explicitely compute the actions of Γ and H on Irr2′ (G) and Irr2′ (N). Since these are permutation isomorphic, we can construct a Γ × H-equivariant bijection between Irr2′ (G) and Irr2′ (N). For all characters in Irr2′ (G) we can show that there is at least one character extension such that all occurring ′ µa for a ∈ ((N ⋊ ΓψH ) × H)ψ are trivial, either by applying Lemma 5.2 or by individually determining ′ ′ the action of ((G ⋊ ΓψH ) × H)ψ on the relevant characters of G ⋊ Γψ. By computing the values of these ′ extended characters on the centre of G ⋊ Γψ, we see that all corresponding central characters are trivial. The same can be done for Irr2′ (N) and it follows that Condition 2.1 holds. References

[Bru09] O. Brunat, On the inductive McKay condition in the defining characteristic, Math. Z. 263 (2009), 411–424. [Cab11] M. Cabanes, Odd character degrees for Sp(2n, 2), C. R. Math. Acad. Sci. Paris 349 (2011), 611–614. [Car85] R.W. Carter, Finite groups of Lie type: conjugacy classes and complex characters, John Wiley & Sons, 1985. [CCN+85] J.H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker, and R.A. Wilson, Atlas of Finite Groups, Clarendon Press; Oxford University Press, 1985. [DM94] F. Digne and J. Michel, Groupes réductifs non connexes, Ann. scient. Ec.´ Norm. Sup. 27 (1994), no. 3, 345–406. [DM20] F. Digne and J. Michel, Representations of Finite Groups of Lie Type, London Mathematical Society Student Texts, Cambridge University Press, 2020. [Eat00] C. Eaton, Dade’s inductive conjecture for the Ree groups of type G2 in the defining characteristic, J. Algebra 226 (2000), 614–620. [GAP19] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.10.2, 2019, https://www.gap-system.org. [GLS98] D. Gorenstein, R. Lyons, and R. Solomon, The Classification of the Finite Simple Groups, Number 3, Mathe- matical Surveys and Monographs, vol. 40, Amer. Math. Soc., 1998. [GM20] M. Geck and G. Malle, The Character Theory of Finite Groups of Lie Type: A Guided Tour, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2020. [HB82] B. Huppert and N. Blackburn, Finite Groups III, Grundlehren der mathematischen Wissenschaften, Springer Berlin Heidelberg, 1982. 2 2 [HH09] F. Himstedt and S. Huang, Character table of a Borel subgroup of the Ree groups F4(q ), LMS J. Comput. Math. 12 (2009), 1–53. [IMN07] I.M. Isaacs, G. Malle, and G. Navarro, A reduction theorem for the McKay conjecture, Invent. math. 170 (2007), 33–101. [Isa76] I.M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, 1976, corrected reprint by Dover Publ., New York, 1994. [Lus77] G. Lusztig, Irreducible representations of finite classical groups, Invent. math. 43 (1977), 125–175. [Lus02] G. Lusztig, Rationality properties of unipotent representations, J. Algebra 258 (2002), 1–22. [Mas10] J. Maslowski, Equivariant character bijections in groups of Lie type, Dissertation, Technische Universität Kaiserslautern, 2010. [MT11] G. Malle and D. Testerman, Linear Algebraic Groups and Finite Groups of Lie Type, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2011. [Nav04] G. Navarro, The McKay conjecture and Galois automorphisms, Ann. of Math. 160 (2004), 1129–1140. [Nav18] G. Navarro, Character Theory and the McKay Conjecture, Cambridge Studies in Advanced Mathematics, Cam- bridge University Press, 2018. [NSV20] G. Navarro, B. Späth, and C. Vallejo, A reduction theorem for the Galois-McKay conjecture, Trans. Amer. Math. Soc. 373 (2020), 6157–6183. [Ruh20] L. Ruhstorfer, The Navarro refinement of the McKay conjecture for finite groups of Lie type in defining characteristic, 2020, arXiv:1703.09006,. [Spä12] B. Späth, Inductive McKay condition in defining characteristic, Bull. London Math. Soc. 44 (2012), no. 3, 426–438. [SV20] B. Srinivasan and C.R. Vinroot, Galois group action and Jordan decomposition of characters of finite reductive groups with connected center, J. Algebra 558 (2020), 708–727.

FB Mathematik, TU Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, Germany. Email address: [email protected]