# A vanishing result for higher smooth duals

## TL;DR

This paper proves a general vanishing theorem for higher smooth duals of unramified p-adic groups, extending Kohlhaase's results and employing Lazard theory and Koszul duality to avoid explicit matrix calculations.

## Contribution

It establishes a broad vanishing result for higher smooth duals in p-adic groups using algebraic and spectral sequence techniques, generalizing prior specific cases.

## Key findings

- Vanishing of $S^i$ for $i > ext{dim}(G/B)$ in unramified p-adic groups.
- Application of Lazard theory and Koszul duality in the proof.
- Extension of Kohlhaase's results from $ ext{GL}_2( ext{Q}_p)$ to general groups.

## Abstract

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.