Search arXiv⌕ Search

arXiv · 2610.29672

Restriction of $p'$-degree characters, fields of values, and relative normal complements

Abstract

Let $G$ be a finite $p$-solvable group for a prime $p$, and let $P$ be a Sylow $p$-subgroup of $G$. Centella and Navarro proved that there is a canonical bijection ${\rm Irr}_{p'}(Φ_{1_G})\to{\rm Irr}_{p'}(Φ_{1_{\textbf N_G(P)}})$ preserving fields of values, where $Φ_{1_G}$ denotes the principal projective indecomposable character of $G$. In the spirit of a result of Berkovich on the McKay bijection, we characterize when this projective correspondence can be realized by restriction, proving that it holds if and only if $\mathbf{N}_G(P)$ admits a certain relative normal complement in $G$. More generally, we establish a refined criterion incorporating fields of values, and we extend this characterization to $π$-separable groups with nilpotent Hall $π$-subgroups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Cabrera-Berenguer. 2026-10-21. Restriction of $p'$-degree characters, fields of values, and relative normal complements. https://arxiv.org/abs/2610.29672

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Semi-infinite parabolic IC-sheaf II: the Ran space version

This paper is a sequel to arXiv:2310.0638. Let G be a split reductive group. We define the parabolic semi-infinite category on the Ran version of the affine Grassmanian Gr_{G,Ran}. We study the semi-infinite parabolic IC-sheaf in this category. We provide several descriptions of this object, one as certain colimit, another as an intermediate extension in certain category. We relate the global and local semi-infinite categories of sheaves. We also relate the intersection cohomology sheaf of the Drinfeld compactification of Bun_P with the semi-infinite parabolic IC-sheaf.

math.RT↗

Unipotent representations and the categorical trace of Frobenius

We give a new proof of the classification of unipotent representations for split finite groups of Lie type. To do this, we first construct an (infinity, 2)-categorification of Lusztig's map from the Hecke algebra to the asymptotic algebra. Then we use the theory of weights to show that it induces an isomorphism after applying trace of Frobenius.

math.RT↗