Let K be a p-adic field. We continue to develop the theory of rigid analytic p-divisible groups over K. For example, we explain how recover category Banach–Colmez spaces from “at finite level” without perfectoid spaces. then establish some results about families groups. This allows us prove “minimality” result in sense birational geometry for integral models unramified Rapoport–Zink

We prove a generic smoothness result in rigid analytic geometry over characteristic zero non-archimedean field. The proof relies on novel notion of points which are well adapted to ‘spreading out’ arguments, analogy with the use scheme theory. As an application, we develop six-functor formalism for Zariski-constructible étale sheaves spaces. Among other things, this implies that spaces support ...