\(p\)-torsion coefficient systems for \(\mathrm{SL}_2(\mathbb{Q}_p)\) and \(\mathrm{GL}_2(\mathbb{Q}_p)\) (Q661371)

Let \(G\) be a connected reductive \(p\)-adic group. In their monumental work [Publ. Math., Inst. Hautes Étud. Sci. 85, 97--191 (1997; Zbl 0892.22012)], \textit{P. Schneider} and \textit{U. Stuhler} established an equivalence between (a) the category of smooth \(G\)-representations over \(\mathbb{C}\) generated by sufficiently small open compact subgroups, and (b) a certain category of \(G\)-equivariant sheaves on the Bruhat-Tits building of \(G\), which the author calls ``coefficient system''. Taking the zeroth homology of the coefficient system gives back the \(G\)-representation. One obtains in this way a well-behaved resolution of \(G\)-representations. This theory also works for \(\pmod \ell\) representations, where \(\ell \neq p\). In view of the \(p\)-adic Langlands correspondence, it would be interesting to define an analogous functor for \(G\)-representations over rings of characteristic \(p\). For general \(G\) this seems to fail. Nonetheless, the article under review carries out a similar \(\mod p\) construction for \(G = \mathrm{GL}_2(\mathbb{Q}_p)\) and \(\mathrm{SL}_2(\mathbb{Q}_p)\), whose Bruhat-Tits trees are the same in some sense. More precisely, let \(\Lambda\) be an Artinian local algebra with residual characteristic \(p\). The category of \(G\)-representations under consideration is that of smooth \(G\)-representations over \(\Lambda\) which are generated by invariants under a pro-\(p\)-Iwahori subgroup. The case for higher congruence subgroups remains unexplored at the moment. The resulting resolution for representations, as alluded to above, has already appeared in \textit{P. Colmez}'s work [Astérisque 330, 281--509 (2010; Zbl 1218.11107)] under the name of ``standard presentations''. The approach here has the advantage that (1) it is canonical and functorial; (2) it also includes the case of \(\mathrm{SL}_2(\mathbb{Q}_p)\).