Derived smooth induction with applications

In natural characteristic, smooth induction from an open subgroup does not always give an exact functor. In this article we initiate a study of the right derived functors, and we give applications to the non-existence of projective representations and duality.