Above the Glauberman correspondence. (Q2474319): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:17, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Above the Glauberman correspondence. |
scientific article |
Statements
Above the Glauberman correspondence. (English)
0 references
5 March 2008
0 references
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.
0 references
finite \(p\)-solvable groups
0 references
irreducible complex characters
0 references
McKay conjecture
0 references
character correspondences
0 references
Glauberman correspondence
0 references
Clifford theory
0 references
Brauer groups
0 references
Schur indices
0 references