Lifting polynomial representations of SL₂(p^r) from F_p to Z/p^sZ

DOI10.1090/PROC/17599MaRDI QIDQ7261995zbMATH OpenFDO

Authors Chris Parker, Martin van Beek

Publication date 10 June 2026

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/PROC/17599

zbMATH Keywords

\(p\)-adic representationbasic representationmodular representation theory

Mathematics Subject Classification ID

(p)-adic representations of finite groups (20C11) Representations of finite groups of Lie type (20C33)

Review text

The paper determines the lifting behaviour of the polynomial \(\mathbb{F}_p\mathrm{SL}_2(p^r)\)-modules considered in the paper to representations over \(\mathbb{Z}/p^s\mathbb{Z}\) for \(s>1\). For a prime \(p\) and \(r\in\mathbb{N}\), let \(V_n(p^r)\) be the module of homogeneous polynomials of degree \(n\) in two variables over \(\mathbb{F}_{p^r}\), viewed as an \(\mathbb{F}_p\mathrm{SL}_2(p^r)\)-module, and let \(\Lambda(p^r)\) denote the dual module of \(V_p(p^r)\).\N\NThe main result shows that, among the modules \(V_i(p^r)\) with \(1\leq i\leq p\), the only ones lifting to \(\mathbb{Z}/p^2\mathbb{Z}\) are \(V_1(2)\), \(V_2(2)\), and, for odd \(p\), the modules \(V_{p-2}(p)\) and \(V_{p-1}(p)\). The module \(\Lambda(p^r)\) lifts to \(\mathbb{Z}/p^2\mathbb{Z}\) precisely when \(p^r=2\). Moreover, whenever such a lift to \(\mathbb{Z}/p^2\mathbb{Z}\) exists, the module lifts to \(\mathbb{Q}_p\). Since lifting to \(\mathbb{Z}/p^s\mathbb{Z}\) with \(s>1\) implies lifting to \(\mathbb{Z}/p^2\mathbb{Z}\), this gives the corresponding obstruction for all \(s>1\).\N\NThe proof translates the lifting problem into matrix equations in the kernel of the natural map \(\mathrm{GL}_n(\mathbb{Z}/p^2\mathbb{Z})\to\mathrm{GL}_n(\mathbb{F}_p)\). It uses elements corresponding to a unipotent element and to a toral element normalizing a Sylow \(p\)-subgroup of \(\mathrm{SL}_2(p^r)\), and derives restrictions from the existence of elements of order \(p\) in the relevant cosets. The paper also obtains corresponding non-vanishing results for \(H^2(G,V\otimes_{\mathbb{F}_p}V^*)\), equivalently for \(\mathrm{Ext}^2_{\mathbb{F}_pG}(V,V)\), outside the listed lifting cases.

Cites work

• A lifting theorem for modular representations
• scientific article; zbMATH DE number 3724683 (Why is no real title available?)
• scientific article; zbMATH DE number 49607 (Why is no real title available?)
• scientific article; zbMATH DE number 1101830 (Why is no real title available?)
• scientific article; zbMATH DE number 820677 (Why is no real title available?)
• Linear groups of degree at most 27 over residue rings modulo p^k.
• Mod p Reducibility of Unramified Representations of Finite Groups of Lie Type
• On the modular characters of groups
• Reduced fusion systems over p-groups with abelian subgroup of index p: III
• Reduced fusion systems over \(p\)-groups with abelian subgroup of index \(p\). II
• Representations of finite groups in characteristic \(p^r\).
• Simple fusion systems over p-groups with abelian subgroup of index p. I.
• The Integral Representation Ring a(R k G)
• The Magma algebra system. I: The user language

This page was built for publication: Lifting polynomial representations of \(\mathrm{SL}_2(p^r)\) from \(\mathbb{F}_p\) to \(\mathbb{Z}/p^s\mathbb{Z}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7261995)