We introduce a 6-functor formalism for p-adic coefficients on rigid
spaces over Q_p and show how it extends to certain stacky maps. By
applying this to classifying stacks we obtain a powerful framework for
studying p-adic representations of p-adic reductive groups. As an
application we prove new results on the p-adic Jacquet-Langlands
correspondence (joint with David Hansen). |