Moretó–Rizo character correspondence conjecture for subnormalisers

Let GG be a finite group and pp a prime. For a subgroup HH of GG, define its subnormaliser by

Sub⁡G(H)=⟨{g∈G∣H◃◃⟨g,H⟩}⟩.\operatorname{Sub}_G(H)=\left\langle\{g\in G\mid H\triangleleft\triangleleft\langle g,H\rangle\}\right\rangle.

For an element x∈Gx\in G, write Sub⁡G(x)=Sub⁡G(⟨x⟩)\operatorname{Sub}_G(x)=\operatorname{Sub}_G(\langle x\rangle), and let Irr⁡x(G)\operatorname{Irr}^x(G) be the set of complex irreducible characters of GG that do not vanish at xx.

Moretó–Rizo's character correspondence conjecture. For any pp-element x∈Gx\in G, there exists a bijection

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

such that, for every χ∈Irr⁡x(G)\chi\in\operatorname{Irr}^x(G),

χ(1)p=fx(χ)(1)p\chi(1)_p=f_x(\chi)(1)_p

and

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

This conjecture proposes a character correspondence between a finite group and the subnormaliser of a pp-element, preserving the pp-parts of character degrees and the fields generated by the corresponding character values. The source presents it as a recent conjecture motivating the study, but provides no resolution status.

References

Primary source

Gunter Malle, “Subnormalisers of semisimple elements in finite groups of Lie type”, arXiv:2511.01557 (2025).

Additional references

2 papers in this index state this conjecture (2025). The statement above is taken from the most recent of them; the others are arXiv:2503.10425.

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.