1: \begin{abstract} We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem,  and show a kind of partial K\"unneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results.

2: 

3: Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author \cite{mann-p-adic-6-functors}. One major point of this paper is to extend the domain of validity of the $!$-functor formalism developed in \cite{mann-p-adic-6-functors} to allow certain ``stacky" maps. In the language of this extended formalism, we show that if $G$ is a $p$-adic Lie group, the structure map of the classifying small v-stack $B\underline{G}$ is $p$-cohomologically smooth.

4: \end{abstract}

5: