Abstract:McKay's conjecture (1971) on character degrees was reduced by Isaacs-Malle-Navarro (2007) to a so-called inductive condition on characters of finite quasisimple groups [IMN07], thus opening the way to a proof of McKay's conjecture using the classification of finite simple groups. After [Ma07], [Ma08], [S12], [CS13], [KS16], [MS16], [CS17a], [CS17b], [CS19], [S23a], [S23b], we complete here the last step of a proof with an analysis of the representations of certain normalizers ${\mathrm N}_G({\mathbf S})$ in $G={\mathbf G}^F$ of maximal $d$-tori ${\mathbf S}$ ($d\geq 3$) of the ambient simple simply-connected algebraic group ${\mathbf G}$ of type ${\mathrm D}_l$ ($l\geq 4$) for which $F$ is a Frobenius endomorphism. To establish the so-called local conditions A$(d)$ and B$(d)$, we introduce a certain class of $F$-stable reductive subgroups ${\mathbf M}\leq {\mathbf G}$ of maximal rank where ${\mathbf M}^\circ$ is of type ${\mathrm D}_{l_1}\times {\mathrm D}_{l-l_1}$ with ${\mathbf M}/{\mathbf M}^\circ$ of order 2. They are an efficient substitute for ${\mathrm N}_G({\mathbf S})$ or the local subgroups in non-defining characteristic relevant to McKay's abstract statement. For a general class of those subgroups ${\mathbf M}^F$ we describe their characters and the action of $\operatorname {Aut}({\mathbf G}^F)_{{\mathbf M}^F}$ on them, showing in particular that $\mathrm{Irr}({\mathbf M}^F)$ and $\mathrm {Irr}({\mathbf G}^F)$ share some key features in that regard. With this established, McKay's conjecture is now a theorem stating $\textit{McKay's equality}$: For any prime $\ell$, any finite group has as many irreducible complex characters of degree prime to $\ell$ as the normalizers of its Sylow $\ell$-subgroups.

Even Character Degrees and Ito–Michler Theorem

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Characters of odd degree of symmetric groups

On the sum of character codegrees of finite groups

Character degrees in $π$-separable groups

Sylow branching coefficients and a conjecture of Malle and Navarro

Character degrees and local subgroups revisited

Character degrees of normally monomial p-groups of maximal class

On the degrees of irreducible characters fixed by some field automorphism in finite groups

Eulerian character degree graphs of solvable groups

Irreducible character degrees and normal subgroups

On polynomials of finite groups

$p$-groups with small number of character degrees and their normal subgroups

On super-monomial characters and groups having two irreducible monomial character degrees

Groups with a Fixed Character Degree

On almost $p$-rational characters of $p'$-degree

Finite Groups Whose All Proper Subgroups Have Only Irreducible Characters of Square-free Degrees

Odd-degree rational characters and the order of rational elements in finite groups

The McKay Conjecture on character degrees

Character degrees of 5-groups of maximal class

Finite Solvable Groups Whose Character Degree Graphs Are Not Complete