Galois-invariant height-zero characterization of normal Sylow subgroups

Let pp be a prime, and let Jp\mathcal J_p be the subgroup of Gal(Qab/Q)\operatorname{Gal}({\mathbb Q}^{\rm ab}/{\mathbb Q}) consisting of automorphisms of order pp that fix all pp-power-order roots of unity. For a finite group GG, let IrrJp(Bp(G)){{\operatorname{Irr}}}_{\mathcal J_p}(B_p(G)) be the set of Jp\mathcal J_p-invariant irreducible characters of the principal pp-block Bp(G)B_p(G).

Galois-invariant normal Sylow subgroup conjecture. Let GG be a finite group and let qq be a prime. Then GG has a normal Sylow qq-subgroup if and only if, for any pqp\neq q that divides G|G|, qq does not divide χ(1)\chi(1) for every χIrrJp(Bp(G))\chi\in{{\operatorname{Irr}}}_{\mathcal J_p}(B_p(G)).

This is proposed as a Galois-equivariant strengthening of the height-zero character criterion. The paper presents it as a further direction, and no resolution is given.

Sources & referencesView supporting material

Primary source

Alexander Moretó and A. A. Schaeffer Fry, “A normal version of Brauer's height zero conjecture”, arXiv:2406.06428 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.