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.

Action of automorphisms on irreducible characters of finite reductive groups of type A

Extensions of characters in type D and the inductive McKay condition, II

Extensions of characters in type D and the inductive McKay condition, I

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

On the automorphisms of the Drinfeld modular groups

On the action of relatively irreducible automorphisms on their train tracks

Characterisation of distal actions of automorphisms on the space of one-parameter subgroups of Lie groups

The McKay Conjecture on character degrees

Special unipotent representations of real classical groups: counting and reduction

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

An equivariant bijection of irreducible Brauer characters above the Dade-Glauberman-Nagao correspondence

Automorphisms of Graph Products of Groups and Acylindrical Hyperbolicity

On polynomials of finite groups

Generic irreducibility of parabolic induction for real reductive groups

Character of Irreducible Representations Restricted to Finite Order Elements -- An Asymptotic Formula

On the automorphism groups of connected bipartite irreducible graphs

Monodromy and irreducibility of type $A_1$ automorphic Galois representations

Faithful actions of automorphisms on the space of orderings of a group

On character sheaves and characters of reductive groups at unipotent classes

On conjugacy of additive actions in the affine Cremona group

Cyclic Characters of Alternating Groups