Galois-equivariant McKay bijections for primes dividing \(q - 1\) (Q2143235)

The McKay Conjecture is an important problem in the representation theory of finite groups. Suppose \(p\) is a prime number, \(G\) is a finite group, and \(P\leq G\) is a Sylow \(p\)-subgroup. Define \(\mathrm{Irr}_{p'}(G):=\{\chi \in\mathrm{Irr}(G):p\nmid \chi (1)\}\) where \(\mathrm{Irr}(G)\) denotes the set of complex irreducible characters of the group \(G\). Then \(|\mathrm{Irr}_{p'}(G)|=|\mathrm {Irr}_{p'}(N_{G}(P))|\) where \(N_{G}(P)\) is the normalizer of \(P\) in \(G\). If the conjecture is true in its complete sense, this must be a staggering invention as \(G\) and \(N_{G}(P)\) are different in general and they share an invariant property. Condition \(\dagger\): Let \(G\) be a finite quasisimple group and let \(Q \in\mathrm{Syl}_{l}(G)\). Then there is a proper \(\mathrm{Aut}(G)_{Q}\)-stable subgroup \(M\) of \(G\) with \(N_{G}(Q)\leq M\) and an \(\mathrm{Aut}(G)_{Q} \times \mathfrak{H}_{l}\)-equivariant bijection \[ \mathrm{Irr}_{l'} (G) \rightarrow\mathrm{Irr}_{l'} (M) \] such that corresponding characters lie over the same character of \(Z(G)\). The main Theorems in the article are as follows: Theorem A: Let \(q\) be a power of a prime and assume \(G\) is a group of Lie type of simply connected type defined over \(\mathbb{F}_{q}\) and such that \(G\) is not of type \(A_{n}\) nor of Suzuki or Ree type. Let \(l\) be a prime not dividing \(q\) and write \(d_{l}(q)\) for the multiplicative order of \(q\) modulo \(l\) if \(l\) is odd, respectively modulo 4 if \(l = 2\). Assume that one of the following holds: \begin{itemize} \item[(1)] \(d_{l}(q)=1\) and either \(l \neq 3\) or \(G\) is not \(G_{2}(q)\) with \(q \equiv 4, 7 (mod \ 9)\); \item[(2)] \(l = 2, d_{l}(q)=2\), and \(G\) is not \(\mathrm{D}_{n}(q)\) or \(^{2}\mathrm{D}_{n}(q)\) with \(n \geq 4\). \end{itemize} Then Condition \(\dagger\) holds for \(G\) and the prime \(l\). Theorem B: Let \(S\) be as in one of the following cases: \begin{itemize} \item \(q\) is any power of an odd prime and \(S\) is a simple group \(G_{2}(q)\), \(^{3}D_{4}(q),F_{4}(q), E7(q), E8(q)\), or \(B_{n}(q)\) with \(n \geq 3\); \item \(q\) is a power of an odd prime such that \(q \equiv \pm 1 \pmod 8\) and \(S\) is a simple group \(C_{n}(q)\) with \(n \geq 2\); \item \(S\) is one of the exceptional covering groups \(3.B_{3}(3)\) or \(3.G_{2}(3)\). \end{itemize} Then the McKay-Navarro conjecture holds for the finite group \(S\) for the prime \(l = 2\). In this article, the author proves many special cases of McKay-Navarro conjecture. Any advancement in the direction of the complete proof of McKay's conjecture must be highly appreciated. Also, this article opens more windows for Mathematicians to work in this direction.