  We introduce a derived smooth duality functor on the unbounded derived
category of smooth mod p representations of a p-adic Lie group. Using this
functor we relate various subcategories of admissible complexes.
