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.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to complete the proof of the McKay conjecture. The McKay conjecture (proposed in 1971) is related to the degrees of irreducible complex characters of finite groups. Specifically, it asserts that for any prime number \(\ell\) and any finite group \(X\), the number of degrees of its irreducible complex characters that are coprime to \(\ell\) is equal to the corresponding number in the normalizer of its Sylow \(\ell\)-subgroup.
Mathematically, the McKay conjecture can be written as:
\[ |Irr_{\ell'}(X)| = |Irr_{\ell'}(N_X(S))| \]
where \(Irr_{\ell'}(X)\) represents the set of all degrees of irreducible complex characters of \(X\) that are coprime to \(\ell\), and \(N_X(S)\) is the normalizer of the Sylow \(\ell\)-subgroup \(S\) in \(X\).
To prove this conjecture, Isaacs, Malle and Navarro in 2007 reduced it to a so - called "inductive condition", that is, the characters on certain quasisimple groups satisfy certain conditions. This paved the way for using the classification of finite simple groups to prove the McKay conjecture.
In this paper, the authors Marc Cabanes and Britta Späth completed the last step of the proof. They analyzed the representations of the normalizer \(N_G(S)\) of the maximal \(d\)-torus \(S\) of a specific algebraic group \(G\), and introduced a special class of \(F\)-stable reductive subgroups \(M\) to verify the local conditions \(A(d)\) and \(B(d)\), and finally proved the McKay conjecture.
In summary, this paper solved the problem of proving the McKay conjecture, especially completed the final technical steps, ensuring that the conjecture holds for all finite groups and prime numbers.