  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.
