On the Right Derived Functors of Ordinary Parts

Abstract: We prove a variant of Emerton's conjecture concerning the right derived functors of the ordinary parts functor $\operatorname{Ord}_P^G$. This functor plays an important role in the theory of mod $p$ representations of $p$-adic reductive groups. A key ingredient for our proof is a comparison between certain small and parabolic inductions. Additionally, our method yields an explicit description of Vign\'eras' right adjoint to parabolic induction. In the appendix (joint with Heyer) we apply our results to obtain a mod $p$ variant of Bernstein's Second Adjointness, i.e. we show that the right and left adjoint of derived parabolic induction are isomorphic (on complexes with admissible cohomology) up to a cohomological shift and twist by a character.