  In this paper we prove a general vanishing result for Kohlhaase's higher
smooth duality functors $S^i$. If $G$ is any unramified connected reductive
$p$-adic group, $K$ is a hyperspecial subgroup, and $V$ is a Serre weight, we
show that $S^i(\ind_K^G V)=0$ for $i>\dim(G/B)$ where $B$ is a Borel subgroup.
(Here and throughout the paper $\dim$ refers to the dimension over $\Q_p$.)
This is due to Kohlhaase for $\GL_2(\Q_p)$ in which case it has applications to
the calculation of $S^i$ for supersingular representations. Our proof avoids
explicit matrix computations by making use of Lazard theory, and we deduce our
result from an analogous statement for graded algebras via a spectral sequence
argument. The graded case essentially follows from Koszul duality between
symmetric and exterior algebras.
