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.

On polynomials of finite groups

On polynomial representations of finite groups

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Words and polynomial invariants of finite groups in non-commutative variables

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

The Weil-Steinberg character of finite classical groups

Finite Solvable Groups Whose Character Degree Graphs Are Not Complete

Character theory and Euler characteristic for orbispaces and infinite groups

Methods and questions in character degrees of finite groups

On Heights of Characters of Finite Groups

Finite groups in which every irreducible character has either $p'$-degree or $p'$-codegree

A Note on Character Degrees of Finite Solvable Groups

On the $L$-polynomials of curves over finite fields

Real polynomials with constrained real divisors. I. Fundamental groups

Character degrees of normally monomial p-groups of maximal class

The McKay Conjecture on character degrees

On the sum of character codegrees of finite groups

Polynomial growth harmonic functions on finitely generated abelian groups

E-Polynomials of Generic $\text{GL}_n\rtimes\!<\!σ\!>\!~$-Character Varieties: Branched Case

Local character expansions and asymptotic cones over finite fields

On character sheaves and characters of reductive groups at unipotent classes