Filtrations of the discrete series of \(SL_ 2(q)\) via crystalline cohomology (Q2644770): Difference between revisions

Given a power \(q\) of \(p\), let \(k\) be a sufficiently large field of characteristic \(p\). One defines a certain plane projective curve \(C\) over \({\mathbb{F}}_ p\), left invariant by the action of \(SL_ 2(q)\). Then \(H^ 1_{cris}(C/k)\) is an \(SL_ 2(q)\)-module. The inverse images of the powers of the Frobenius morphism define a filtration on \(H^ 1_{cris}(C)\) by \(SL_ 2(q)\)-submodules. One compares this filtration mod \(p\) with a similar filtration of the Weyl modules \(V_ j=S^ j((k^ 2)^*)^*\) [cf. \textit{J. E. Humphreys}, Proc. Symp., Univ. Durham 1978, 259-288 (1980; Zbl 0472.20015) and \textit{J. C. Jantzen}, ibid., 291-300 (1980; Zbl 0472.20016)].