Reduction mod \(p\) of cuspidal representations of \(\text{GL}_2(\mathbb F_{p^n})\) and symmetric powers. (Q627981)

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\).