Reduction mod p of cuspidal representations of GL₂( F_p^n) and symmetric powers.

DOI10.1016/J.JALGEBRA.2010.09.025MaRDI QIDQ627981zbMATH OpenOpenAlexFDO

Authors Davide A. Reduzzi

Publication date 4 March 2011

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0909.1359

zbMATH Keywords

congruences for mod \(p\) modular formscrystalline cohomologycuspidal representationsgeneral linear groupsmodular representations of finite groupsprincipal series representationssymmetric powers

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) (p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40) Modular representations and characters (20C20) Representations of finite groups of Lie type (20C33) Representation theory for linear algebraic groups (20G05) Linear algebraic groups over finite fields (20G40)

Abstract: We show the existence of integral models for cuspidal representations of GL(2,q), whose reduction modulo p can be identified with the cokernel of a differential operator on F_{q}[X,Y] defined by J-P. Serre. These integral models come from the crystalline cohomology of the projective curve XY^{q}-X^{q}Y-Z^{q+1}=0. As an application, we can extend a construction of C. Khare and B. Edixhoven (2003) giving a cohomological analogue of the Hasse invariant operator acting on spaces of modp modular forms for GL(2).

Review text

Let \(F\) denote the finite field \(\mathbb F_q\) with \(q\) elements for \(q\) a power of a prime \(p\), and let \(G\) denote the general linear group \(\text{GL}_2(F)\). Let \(V=F^2\) denote the natural two-dimensional \(FG\)-module. Further, for a non-negative integer \(k\), let \(V_k\) denote the \(k\)-th symmetric power of \(V\) as an \(FG\)-module. The author first considers a map \(e\otimes V_{k-(q+1)}\to V_k\) for \(k>q\) where \(e\) denotes the character determinant. It is shown that the cokernel of this map (having dimension \(q+1\)) is isomorphic to the reduction mod \(p\) of a principal series representation. The main focus of the paper is on a map \(D\colon V_k\to V_{k+(q-1)}\) defined by Serre. The main result is an identification of the cokernel of \(D\) for \(q>2\), \(2\leq k\leq p-1\), \(k\neq\frac{q+1}{2}\). Precisely, it is shown that the cokernel of \(D\) is isomorphic to the reduction mod \(p\) of an integral model of a cuspidal representation for \(\overline{\mathbb Q}_pG\) (where \(\overline{\mathbb Q}_p\) is the algebraic closure of the \(p\)-adic field). The proof makes use of a short exact sequence involving the cokernel of \(D\). This short exact sequence is identified with a short exact sequence in crystalline cohomology for the projective curve \(XY^q-X^qY-Z^{q+1}=0\) due to \textit{B. Haastert} and \textit{J.~C. Jantzen} [J. Algebra 132, No. 1, 77-103 (1990; Zbl 0724.20030)]. Lastly, in the case \(q=p>3\), the author applies his results to modular forms over \(G\). The map \(D\) discussed above is used to extend a cohomological analogue of the Hasse invariant operator constructed by \textit{B. Edixhoven} and \textit{C. Khare} [Doc. Math., J. DMV 8, 43-50 (2003; Zbl 1044.11030)] on the cohomology of spaces of mod \(p\) modular forms for \(\text{GL}_2\).

Recommendations

• Galois representations and Hecke operators associated with the \(\text{mod-}p\) cohomology of \(GL(m(p-1),\mathbb{Z})\)
• scientific article; zbMATH DE number 691442
• SL₃(F₂)-Extensions of Q and Arithmetic Cohomology Modulo 2
• scientific article; zbMATH DE number 767012
• scientific article; zbMATH DE number 5765041
• Galois representations and Hecke operators associated with the mod $p$ cohomology of $GL(1,\mathbb {Z})$ and $GL(2,\mathbb {Z})$
• Unstable homotopy invariance for finite fields
• Galois representations attached to mod \(p\) cohomology of \(GL(n,\mathbb{Z})\)
• A combinatorial interpretation of Serre's conjecture on modular Galois representations.
• Local constancy for the reduction mod \(p\) of 2-dimensional crystalline representations

Cites work

• A local analysis of congruences in the (p,p) case. II
• A study of certain modular representations
• Filtrations of the discrete series of \(SL_ 2(q)\) via crystalline cohomology
• Hasse invariant and group cohomology
• scientific article; zbMATH DE number 3650828 (Why is no real title available?)
• scientific article; zbMATH DE number 4063380 (Why is no real title available?)
• scientific article; zbMATH DE number 7922 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 596339 (Why is no real title available?)
• scientific article; zbMATH DE number 3435612 (Why is no real title available?)
• Modular forms in characteristic and special values of their L-functions
• Representations of reduced enveloping algebras and cells in the affine Weyl group
• Representations of reductive groups over finite fields
• Two letters on quaternions and modular forms \(\pmod p\) (with an introduction, appendix and references by R. Livné)

Cited in

(7)

• Representation theory and the cuspidal group of \(X(p)\)
• A Hecke-equivariant decomposition of spaces of Drinfeld cusp forms via representation theory, and an investigation of its subfactors
• A note on cusp forms and representations of \(\mathrm{SL}_2(\mathbb{F}_\mathrm{p})\)
• Reduction modulo p of cuspidal representations and weights in Serre's conjecture
• An explicit computation of the Hecke operator and the ghost conjecture
• A local analogue of the ghost conjecture of Bergdall-Pollack
• Modular representations of \(\mathrm{GL}_2(\mathbb{F}_q)\) using calculus

This page was built for publication: Reduction mod \(p\) of cuspidal representations of \(\text{GL}_2(\mathbb F_{p^n})\) and symmetric powers.

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