Character correspondences induced by magic representations
arXiv:1004.4538
Abstract
Let G be a finite group, K a normal subgroup of G and H a subgroup such that G = HK, and set L = H \cap K. Suppose θ\in Irr K and ϕ\in Irr L, and ϕ occurs in θ_L with multiplicity n > 0. A projective representation of degree n on H/L is defined in this situation; if this representation is ordinary, it yields a bijection between Irr(G | θ) and Irr(H | ϕ). The behavior of fields of values and Schur indices under this bijection is described. A modular version of the main result is proved. We show that the theory applies if n and the order of H/L are coprime. Finally, assume that P <= G is a p-group with P \cap K = 1 and PK normal in G, that H = N_G(P), and that θ and ϕ belong to blocks of p-defect zero which are Brauer correspondents with respect to the group P. Then every block of F_p[G] or Q_p[G] lying over θ is Morita-equivalent to its Brauer correspondent with respect to P. This strengthens a result of Turull [Above the Glauberman correspondence, Advances in Math. 217 (2008), 2170--2205].
Strenghened results in Section 11: Added relation with Brauer correspondence. Fixed several minor errors, numeration of results 6.11-6.17 changed, otherwise numeration remains unchanged. Pagination changed. Updated references. 36 pages, pdflateX + biblatex