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.

Mackey's theory of τ-conjugate representations for finite groups. APPENDIX: On Some Gelfand Pairs and Commutative Association Schemes

Mackey's theory of $\tau$-conjugate representations for finite groups. APPENDIX: On Some Gelfand Pairs and Commutative Association Schemes

Appendix: on Some Gelfand Pairs and Commutative Association Schemes

On Representations of Real Jacobi Groups

Mackey Analogy Via 𝒟-modules for SL(2, ℝ)

Dual Pairs and Contragredients of Irreducible Representations

An introduction to Mackey and Green 2-functors

Mackey analogy via $\mathcal{D}$-modules in the example of $SL(2,\mathbb{R})$

On the Connes–Kasparov isomorphism, I

Pathological Computations of Mackey Functor-valued Tor over Cyclic Groups

A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions

$Γ$-conjugate weight enumerators and invariant theory

Twisted Conjugation on Connected Simple Lie Groups and Twining Characters

The transfer in mod-p group cohomology between Σ_p \int Σ_{p^{n-1}}, Σ_{p^{n-1}} \int Σ_p and Σ_{p^n}

Kostant's generating functions and McKay-Slodowy correspondence

An additive variant of the differential symbol maps

A G ] 8 J ul 2 00 2 COUNTING FOURIER-MUKAI PARTNERS AND APPLICATIONS

The McKay Conjecture on character degrees

On the representation theory of the symmetry group of the Cantor set

Mackey Imprimitivity and commuting tuples of homogeneous normal operators