Degree divisibility in Alperin-McKay correspondences (Q6103352)

The McKay conjecture asserts that if \(G\) is a finite group, \(p\) is a prime and \(P\) is a Sylow \(p\)-subgroup of \(G\), then \(|\mathrm{Irr}_{p'}(G)|=|\mathrm{Irr}_{p'}(N_G(P))|\), where \(\mathrm{Irr}_{p'}(G)\) is the set of complex irreducible character of degree not divisible by \(p\) of \(G\). Alperin proposed the following generalization of McKay's conjecture, which is known as the Alperin-McKay conjecture: the number of \(p'\)-degree irreducible characters among Brauer correspondent \(p\)-blocks coincides. It was proved in [\textit{A. Turull}, J. Algebra 307, No. 1, 300--305 (2007; Zbl 1118.20011)] that if \(G\) is solvable then there is a bijection \(f:\mathrm{Irr}_{p'}(G)\longrightarrow\mathrm{Irr}_{p'}(N_G(P))\) such that \(f(\chi)(1)\) divides \(\chi(1)\) for every \(\chi\in\mathrm{Irr}_{p'}(G)\). It was recently shown in [\textit{N. Rizo}, Arch. Math. 112, No. 1, 5--11 (2019; Zbl 1502.20007)] that this holds for \(p\)-solvable groups if we assume the degree-divisibility between Glauberman correspondent characters. This was subsequently proved in [\textit{M. Geck}, Ann. Math. (2) 192, No. 1, 229--249 (2020; Zbl 1491.20026)]. In this paper, the authors obtain a result analogous to the theorems of Turull and Rizo for Brauer correspondent \(p\)-blocks of \(p\)-solvable groups, both for ordinary characters and Brauer characters. They also show that if \(B\) is a \(p\)-block of a \(p\)-solvable group with defect group \(D\) and \(b\) is the Brauer correspondent block, then the dimension of \(b\) divides the dimension of \(B\).