Above the Glauberman correspondence. (Q2474319): Difference between revisions

This important paper is a culmination of the author's extensive recent work on character correspondences related to the McKay conjecture. Let \(G\) be a finite group, \(p\) a prime, \(P\in\text{Syl}_p(G)\) and \(N=N_G(P)\). The well-known McKay conjecture states that if \(\text{Irr}_{p'}(G)\) is the set of irreducible (complex) characters of \(p'\)-degree of \(G\), then \(|\text{Irr}_{p'}(G)|=|\text{Irr}_{p'}(N)|\). Recent generalizations of the McKay conjecture by Isaacs-Navarro, Navarro and the author suggest that there even is a bijection between \(\text{Irr}_{p'}(G)\) and \(\text{Irr}_{p'}(N)\) preserving many properties of the characters. The main result of the paper under review proves the following very strong version of the McKay conjecture for all \(p\)-solvable groups: Theorem. Let \(p\) be a prime, \(G\) a finite \(p\)-solvable group and \(P\) be a Sylow \(p\)-subgroup of \(G\). Let \(F\) be a field of characteristic 0, and assume that either the field \(\mathbb{Q}_p\) of \(p\)-adic numbers is contained in \(F\), or that \(F\) is algebraically closed. Then there exists a bijection \(f\colon\text{Irr}_{p'}(G)\to\text{Irr}_{p'}(N_G(P))\) satisfying all of the following conditions: (1) For every \(\chi\in\text{Irr}_{p'}(G)\) there is some \(\varepsilon\in\{-1,1\}\) such that \(\chi(1)\equiv\varepsilon f(\chi)(1)\pmod p\). (2) \(f\) commutes with the action of \(\text{Gal}(\overline F/F)\), so, in particular, \(F(\chi)=F(f(\chi))\) for every \(\chi\in\text{Irr}_{p'}(G)\). (3) For every \(\chi\in\text{Irr}_{p'}(G)\), we have \([f(\chi)]=[\chi]\in\text{Br}(F(\chi))\), and so \(\chi\) and \(f(\chi)\) have the same Schur index over every field containing \(F\). (4) Let \(U\) be a normal \(p\)-subgroup of \(G\), let \(\zeta\in\text{Irr}(U)\), and assume that \(\zeta\) is \(P\)-invariant. Then \(f(\text{Irr}_{p'}(G;\zeta,F))=\text{Irr}_{p'}(N_G(P);\zeta,F)\), where \(\text{Irr}_{p'}(G,\zeta,F)\) denotes the set of all irreducible characters of \(G\) of \(p'\)-degree such that their restriction to \(U\) contains at least one irreducible character which is Galois conjugate over \(F\) to \(\zeta\). This result, in particular, includes the strengthened conjectures by Isaacs-Navarro and Navarro. Its proof does not use CFSG and rather is an application of another main result in the paper: a generalization of a result of Dade on the Glauberman correspondence. Let \(S\) be a finite solvable group acting on the finite group \(N\) such that \(S\) and \(N\) have coprime orders. The Glauberman correspondence is a natural bijection from the set \(\text{Irr}_S(N)\) of irreducible characters of \(N\) which are invariant under the action of \(S\) to \(\text{Irr}(C_N(S))\). Now suppose that \(SN\trianglelefteq G\) for a finite group \(G\). If \(\theta\in\text{Irr}_S(N)\) and \(\psi\in\text{Irr}(C_N(S))\) is its Glauberman correspondent, then there is a bijection with good compatibility properties from \(\text{Irr}(G,\theta)\) to \(\text{Irr}(N_G(S),\psi)\). However, a full proof of this result never appeared in the literature. In the paper under review a full proof of a strenghtened version of this result is given, which is based on the author's theory of Clifford sets and Dade's classification of endopermutation modules.