Moretó's subnormaliser conjecture

From papers

Let GG be a finite group and let \ell be a prime number. For an \ell-element xGx\in G, define the subnormaliser

SubG(x):=gGxg,x.\operatorname{Sub}_G(x):=\big\langle g\in G\mid \langle x\rangle\triangleleft\triangleleft\langle g,x\rangle\big\rangle.

Let Irrx(G)\operatorname{Irr}^x(G) denote the set of complex irreducible characters of GG that do not vanish at xx. Moretó's subnormaliser conjecture. There exists a bijection

fx:Irrx(G)Irrx(SubG(x))f_x:\operatorname{Irr}^x(G)\to\operatorname{Irr}^x(\operatorname{Sub}_G(x))

for which, for every χIrrx(G)\chi\in\operatorname{Irr}^x(G),

χ(1)=fx(χ)(1)\chi(1)_\ell=f_x(\chi)(1)_\ell

and

Q(χ(x))=Q(fx(χ)(x)).\mathbb{Q}(\chi(x))=\mathbb{Q}(f_x(\chi)(x)).

The conjecture predicts character correspondences between a finite group and the subnormalisers of its \ell-elements, preserving both the \ell-parts of character degrees and the fields generated by the corresponding character values. The source gives no resolution status for the conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

Gunter Malle, “The subnormaliser conjecture and unipotent characters”, arXiv:2606.04526 (2026).

Solutions 0

No solutions have been posted yet.