---
title: Inductive Galois–McKay Condition
url: https://www.emergentmind.com/topics/inductive-galois-mckay-condition
type: topic
---

# Inductive Galois–McKay Condition

Searching arXiv for recent and foundational papers on the inductive Galois–McKay condition.
The **inductive Galois–McKay condition**, also called the **inductive McKay–Navarro condition**, is the reduction-theoretic form of Navarro’s Galois refinement of the McKay conjecture. For a finite quasisimple group \(G\), a prime \(\ell\), a Sylow \(\ell\)-subgroup \(Q\), and the distinguished Galois subgroup \(H_\ell\) acting on \(\ell'\)-roots of unity by \(\ell\)-power maps, it requires a local subgroup \(M\) containing \(N_G(Q)\), an \(\operatorname{Aut}(G)_Q\times H_\ell\)-equivariant bijection between \(\Irr_{\ell'}(G)\) and \(\Irr_{\ell'}(M)\), and compatible extension data encoded by projective representations and character triples. In this form it strengthens the ordinary inductive McKay condition from automorphism-equivariant local-global character matching to a genuinely Galois-equivariant one [2106.14745][2010.14837].

## 1. Position within the McKay and Navarro conjectures

The classical McKay conjecture predicts that for a finite group \(G\) and a prime \(\ell\mid |G|\), the number of irreducible characters of degree prime to \(\ell\) in \(G\) equals the corresponding number for the normalizer of a Sylow \(\ell\)-subgroup. In the notation used in the literature,
\[
\Irr_{\ell'}(G)=\{\chi\in \Irr(G)\mid \ell\nmid \chi(1)\},
\]
and the conjecture compares \(\Irr_{\ell'}(G)\) with \(\Irr_{\ell'}(N_G(Q))\), where \(Q\in \Syl_\ell(G)\) [2106.14745].

Navarro’s refinement asks for more than equality of cardinalities. It introduces the subgroup
\[
H_\ell\le \Gal(\mathbb Q(\zeta_{|G|})/\mathbb Q)
\]
consisting of those Galois automorphisms \(\sigma\) such that, for some integer \(e\ge 0\),
\[
\sigma(\zeta)=\zeta^{\ell^e}
\]
for every root of unity \(\zeta\) of order not divisible by \(\ell\), and predicts an \(H_\ell\)-equivariant bijection between \(\Irr_{\ell'}(G)\) and \(\Irr_{\ell'}(N_G(Q))\) [2211.14237].

The inductive Galois–McKay condition is the simple-group reduction of this refinement. Recent work describes it as a system of conditions on the universal covering groups of non-abelian simple groups, analogous to the inductive McKay condition of Isaacs–Malle–Navarro, but with the Galois action built into both the character bijection and the extension-theoretic compatibility [2106.14745].

## 2. Formal structure of the condition

A standard formulation starts with a finite quasisimple group \(G\), a prime \(\ell\), and a Sylow \(\ell\)-subgroup \(Q\le G\). One asks for a proper \(\operatorname{Aut}(G)_Q\)-stable subgroup \(M<G\) with
\[
N_G(Q)\le M,
\]
and an \(\operatorname{Aut}(G)_Q\times H_\ell\)-equivariant bijection
\[
\Omega:\Irr_{\ell'}(G)\to \Irr_{\ell'}(M)
\]
such that corresponding characters lie over the same character of \(Z(G)\) [2007.15575].

This is only the equivariant part. The full inductive Galois–McKay condition also imposes an extension condition. In one formulation, for each \(\chi\in \Irr_{\ell'}(G)\), one requires projective representations \(\mathcal P\) and \(\mathcal P'\) of suitable semidirect products, defined over \(\mathbb Q_{\mathrm{ab}}\), whose factor sets take values in roots of unity, agree on the relevant intersection subgroup, and remain compatible after Galois twisting by \(\sigma\in H_\ell\) [2010.14837]. Other formulations express the same requirement in the language of character triples or \(H\)-triples, using relations of the form
\[
(A,G,\chi)_{\mathcal H}\ge_c (H,M,\psi)_{\mathcal H},
\]
where the relation \(\ge_c\) is encoded by associated projective representations with matching factor sets and matching scalar behavior on the relevant centralizer subgroup [2506.17123].

A persistent source of confusion is the distinction between the equivariant bijection and the full inductive condition. Several papers separate these two layers explicitly. In particular, work on groups of Lie type proves that some previously known McKay bijections are already \(H_\ell\)-equivariant and therefore are natural candidates for the inductive Galois–McKay condition, while emphasizing that the separate extension part is not automatic and may remain the main obstacle [2007.15575].

## 3. Harish–Chandra theoretic mechanisms and the equivariant bijection

For groups of Lie type, the decisive technical input is explicit control of Galois action on Harish–Chandra series. For a cuspidal pair \((L,\lambda)\), the irreducible characters in the Harish–Chandra series \(\mathcal E(G,L,\lambda)\) are parametrized by characters \(\eta\in \Irr(W(\lambda))\) of a relative Weyl group, and the Galois action takes the form
\[
\left(R_L^G(\lambda)_\eta\right)^\sigma = R_L^G(\lambda^\sigma)_{\eta'},
\]
with
\[
\eta'(w)=\gamma_{\lambda,\sigma}(w)\,\delta'_{\lambda,\sigma}(w^{-1})\,\eta^{(\sigma)}(w).
\]
The terms \(\gamma_{\lambda,\sigma}\), \(\delta'_{\lambda,\sigma}\), and the discrepancy between \(\eta^{(\sigma)}\) and \(\eta^\sigma\) are the obstructions to clean equivariance [2007.15575].

In the principal-series situation, the relevant local-global bijection is constructed by
\[
\Omega:\bigcup_{\lambda\in \Irr(T)} \mathcal E(G,T,\lambda)\to \Irr(N),
\qquad
R_T^G(\lambda)_\eta \mapsto \Ind_{N_\lambda}^N\bigl(\Lambda(\lambda)\eta\bigr),
\]
where \(T\) is a maximally split torus, \(N=N_G(T)\), and \(\Lambda\) is an extension map for \(T\lhd N\) [2007.15575]. The central technical step is to prove, in the relevant cases, that the obstructions vanish or are controlled:
\[
\gamma_{\lambda,\sigma}=1,\qquad \eta^{(\sigma)}=\eta^\sigma,
\]
and \(\delta_{\lambda,\sigma}\) is controlled or trivial. This yields
\[
\Omega(\chi^\sigma)=\Omega(\chi)^\sigma \qquad (\sigma\in H_\ell),
\]
first on principal series and then on the full \(\ell'\)-character set in the cases treated there [2007.15575].

This mechanism shows why groups of Lie type are the principal testing ground for the inductive Galois–McKay condition. The problem is not merely to count \(\ell'\)-characters, but to synchronize automorphisms, Galois action, Harish–Chandra parametrizations, and extension maps in a single local-global construction.

## 4. Established cases: prime \(2\) and defining characteristic

A substantial part of the theory is now known in defining characteristic and at the prime \(2\).

| Paper | Scope | Outcome |
|---|---|---|
| [2106.14745] | \(\ell=2\), odd characteristic, untwisted groups without nontrivial graph automorphisms | Proves the inductive McKay–Navarro conditions for \(C_n(q)\), \(B_n(q)\), \(G_2(q)\), \(F_4(q)\), \(E_7(q)\), and \(E_6(q)\) under the stated hypotheses |
| [2010.14837] | Defining characteristic for finite groups of Lie type | Completes the verification of the inductive McKay–Navarro condition for all finite groups of Lie type in defining characteristic |
| [2211.14237] | Remaining prime-\(2\) simple groups | Completes the inductive McKay–Navarro conditions for \(l=2\) and deduces the McKay–Navarro conjecture for \(l=2\) |

For the prime \(2\), one major result established the inductive McKay–Navarro conditions for several families of finite simple groups of Lie type in odd characteristic, all untwisted and without nontrivial graph automorphisms. The proof used Harish–Chandra theory for disconnected groups, a detailed analysis of odd-degree characters, and construction of compatible extensions to inertia groups, with the main difficulty lying in the analogue of the extension condition from the Navarro–Späth–Vallejo framework [2106.14745].

In defining characteristic, the remaining families were later handled by explicit control of the Galois action on Lusztig series and on local \(p'\)-characters. The resulting theorem verifies the inductive McKay–Navarro condition for groups with exceptional graph automorphisms, the Suzuki and Ree groups, \(B_n(2)\) for \(n\ge 2\), and groups with non-generic Schur multiplier, thereby completing the defining-characteristic case for all finite groups of Lie type [2010.14837].

The prime-\(2\) program was then completed for the remaining simple groups, including sporadic groups, alternating groups, and the Lie types \(A\), \(D\), and \(E_6\) with graph automorphisms. This yields the global corollary that the McKay–Navarro conjecture holds for the prime \(2\) [2211.14237].

## 5. Odd primes, type \(A\), and small-rank progress

For odd primes in cross-characteristic, the current picture is more partial. One line of work assembles tools for proving the inductive McKay–Navarro condition for groups of Lie type and odd primes \(\ell\neq p\), and proves the equivariance condition for \(G=\mathrm{SL}_n(q)\) or \(\mathrm{SU}_n(q)\). The framework uses Sylow \(d\)-tori, \(d\)-Harish–Chandra theory, generalized Gelfand–Graev representations, and equivariant extension maps. It yields an \(\Aut(G)_P\times \mathcal H_\ell\)-equivariant bijection in type \(A\) and proves the full inductive condition on the unipotent-character part, while explicitly stating that the full conjecture is not finished in all cases [2506.17123].

The same work formulates a general criterion reducing the inductive Galois–McKay problem to a combination of maximal extendibility, equivariant extension maps, stable transversals of characters, and a global-local bijection
\[
\Omega:\Irr_{\ell'}(G)\longrightarrow \Irr_{\ell'}(M)
\]
whose associated character triples satisfy a \(\ge_c\)-relation. A further compatibility condition on the “Gallagher factor” upgrades this to the full Galois-twisted triple condition required by the inductive McKay–Navarro framework [2506.17123].

At small rank, there is now a complete verification for \(\operatorname{PSL}_2(q)\). For a universal covering group \(X\) of \(S=\operatorname{PSL}_2(q)\), a prime \(\ell\mid |S|\), and \(\Gamma=\operatorname{Aut}(X)_L\) for \(L\in \Syl_\ell(X)\), the condition is formulated via a \(\Gamma\times\mathcal H\)-equivariant bijection
\[
\Omega:\Irr_{\ell'}(X)\to \Irr_{\ell'}(U)
\]
for a suitable local subgroup \(U\), together with a central ordering of \(\mathcal H\)-triples. The resulting theorem proves that \(\operatorname{PSL}_2(q)\) satisfies the inductive Galois–McKay condition for every prime divisor \(\ell\) of \(|\operatorname{PSL}_2(q)|\) [2507.21650].

## 6. Relation to ordinary inductive McKay and to nearby generalizations

The inductive Galois–McKay condition should be read against the background of the ordinary inductive McKay condition. A refinement of the ordinary theory shows that the inductive McKay condition yields more than numerical equality: it gives bijections on \(p'\)-characters compatible with automorphisms and preserving central isomorphism of character triples. In that setting one has relations of the form
\[
(A_\chi,G,\chi)\ge_c \bigl(M_A(P)_\chi,M,\Omega(\chi)\bigr),
\]
and the main theorem shows that this strengthened inductive condition globalizes from the universal covers of simple groups to arbitrary finite groups [2204.10300]. This does not yet incorporate Galois action, but it clarifies the structural strength expected of an inductive local-global correspondence.

Earlier precursor work proposed signed bijections between \(p'\)-degree characters of \(G\) and \(N_G(P)\) compatible with restriction and induction modulo explicitly defined subgroups of virtual characters, and derived Isaacs–Navarro-type congruence consequences from those correspondences. That framework is not the modern inductive Galois–McKay condition, but it supplies a close character-theoretic precursor [1009.1413].

More recent variants show how the local-global philosophy extends beyond the classical \(\ell'\)-character setting. For \(p\)-solvable groups, one can replace \(p'\)-degree characters by \((\mathcal N,p)\)-stable characters attached to a normal \(p\)-series and obtain a McKay-type equality, together with a canonical bijection in the odd-order case; the paper explicitly describes this as a precursor or variant rather than a direct instance of the inductive Galois–McKay condition [2512.07073]. In another direction, for a normal solvable subgroup \(N\) with Carter subgroup \(C\), there is a \((N_G(C)\times \Gal(\mathbb Q_{|G|}/\mathbb Q))\)-equivariant bijection from Isaacs’ head characters \(H(N)\) to \(\Lin(C)\), together with character-triple isomorphisms and degree control, giving a genuine analogue of the inductive McKay philosophy outside the Sylow-normalizer setting [2602.12849].

Taken together, these developments indicate that the inductive Galois–McKay condition is best viewed not as an isolated conjectural statement, but as one node in a broader program of equivariant local-global correspondences. Its defining feature is that the local subgroup, the automorphism action, the Galois action, and the projective-representation data are all required to fit into a single compatible structure. That requirement is precisely what makes the condition strong enough to support reduction theorems and, in the cases already solved, to convert character-theoretic correspondences into proofs of global conjectures [2211.14237].

Source: https://www.emergentmind.com/topics/inductive-galois-mckay-condition