ON THE INDUCTIVE GALOIS–MCKAY CONDITION FOR FINITE GROUPS OF LIE TYPE IN THEIR DEFINING CHARACTERISTIC BIRTE JOHANSSON Abstract. The Galois–McKay conjecture is a refinement of the McKay conjecture that additionally takes some Galois automorphisms into account. We verify the inductive Galois–McKay condition in the defining characteristic for the finite groups of Lie type with exceptional graph automorphisms, the Suzuki and Ree groups, Bn(2) (n ≥ 2), and the groups of Lie type with non-generic Schur multiplier. This completes the verification of the inductive Galois–McKay condition for the finite groups of Lie type in their defining characteristic. 1. Introduction Let G be a finite group, p a prime and P a Sylow-p-subgroup of G. The McKay conjecture claims that there exists a bijection between the sets of characters of G and of the normalizer NG(P ) with degree not divisible by p. Navarro refined this conjecture and proposed that there is a bijection between these sets such that the same numbers of characters are fixed under the action of certain Galois automorphisms [Nav04]. This is called the Galois–McKay or Navarro–McKay conjecture. Navarro, Sp¨ath and Vallejo reduced the Galois–McKay conjecture to a problem about simple groups in [NSV20]. If the inductive Galois–McKay condition [NSV20, Definition 3.1] is satisfied for all simple groups, the Galois–McKay conjecture itself holds for all groups. In [Ruh20], Ruhstorfer showed that the inductive Galois–McKay condition is true for many groups of Lie type in their defining characteristic. We verify the inductive Galois–McKay condition for the remaining groups of Lie type in their defining characteristic. Theorem 1.1. The inductive Galois–McKay condition [NSV20, Definition 3.1] is satisfied in the defining i i i characteristic for the groups B2(2 ), G2(3 ), F4(2 ), Bn(2) for integers i ≥ 1, n ≥ 2, the Suzuki and Ree groups, as well as for G2(2) and the simple groups of Lie type with non-generic Schur multiplier. This completes the verification of the inductive Galois–McKay condition for finite groups of Lie type in their defining characteristic. Acknowledgement. I would like to thank my PhD advisor Gunter Malle for his suggestions and com- ments on earlier versions. Furthermore, I am thankful to Lucas Ruhstorfer for his advice and providing me with an earlier updated version of his paper. arXiv:2010.14837v2 [math.RT] 30 Mar 2021 2. The inductive Galois–McKay condition 2.1. Notation. First we introduce some notation, mostly following the notation used in [NSV20]. Let p be a prime and G a finite group. We call a character of G with degree not divisible by p a ′ ′ p -character and denote the set of irreducible p -characters of G by Irrp′ (G). In the following, let H ⊆ G := Gal(Qab/Q) be the subgroup consisting of those σ ∈ G such that there n exists an n ∈ Z with σ(ξ) = ξp for every root of unity ξ of order not divisible by p. We say that σ is associated to the integer n. The group H acts naturally on Irr(G) by applying the elements of H to the character values. This action obviously preserves the character degrees. For a character ψ, the orbit of Date: March 31, 2021. 2010 Mathematics Subject Classification. 20C33. Key words and phrases. Galois–McKay conjecture, groups of Lie type, local–global conjectures, McKay conjecture. 1 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, Definition 1.5], i.e. that the conditions given by [NSV20, Definition 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 satisfied. (b) We have −1 C ⋊ (G)= {(g,γ ) | g ∈ N} G ΓψH g with γg denoting the automorphism by conjugation with g. Proof. The first 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¨a12, Theorem 1.1] (for a differ- ent 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.