Derived smooth induction with applications (Q6986624)

Let \(k\) be a field of characteristic \(p > 0\). For every locally profinite group \(G\), the category of smooth \(G\)-representations on \(k\)-vector spaces is denoted by \(\mathrm{Mod}_k(G)\). To each compact open subgroup \(K \subset G\) is attached the smooth induction functor \(\mathrm{Ind}^G_K\). We also obtain the endo-functor \(\underline{\mathrm{Ind}}\) of \(\mathrm{Mod}_k(G)\) by \(V \mapsto \varinjlim_K \mathrm{Ind}^G_K(V)\). In fact, it can be upgraded to a \(\mathrm{Mod}_k(G \times G)\)-valued functor.\N\NLet \(\mathbf{G}\) be a connected reductive group defined over \(\mathfrak{F}\), a finite extension of \(\mathbb{Q}_p\) with ring of integers \(\mathfrak{O}\), and put \(G = \mathbf{G}(\mathfrak{F})\). For every \(m \geq 0\), let \(K_m\) be the \(m\)-th principal congruence subgroup of \(\mathbf{G}(\mathfrak{O})\) defined by a chosen special vertex in the Bruhat--Tits building of \(\mathbf{G}\), assuming that \(m\) is divisible by the ramification index \(e = e(\mathfrak{F}|\mathbb{Q}_p)\) (with \(m > e\) if \(p=2\)).\N\NLet \(P_{\min}\) be the group of \(\mathfrak{F}\)-points of a minimal parabolic of \(\mathbf{G}\). The first main result (Theorem 1.2) asserts that \(\mathrm{R}^i \mathrm{Ind}^G_{K_m}(k) = 0\) if and only if \(i > \dim_{\mathbb{Q}_p}(G/P_{\mathrm{min}})\).\N\NUsing this, it is shown in Theorem 1.1 that when \(\mathbf{G}\) is non-trivial, \(\mathrm{Mod}_k(G)\) has no nonzero projective objects.\N\NSet \(D(G) = D(\mathrm{Mod}_k(G))\). The final main result (Theorem 1.3) states that for \(G = \mathbf{G}(\mathfrak{F})\) as above, there is an isomorphism \(C^{\infty}(G, k)[0] \simeq \mathrm{R}\mathrm{Ind}(k)\) in the derived category \(D(G \times G)\).\N\NAs a sample application, Corollary 4.7 shows that if \(G\) is a \(p\)-adic Lie group with non-discrete center, then \(\mathrm{Mod}_k(G)\) has no nonzero projective objects.