A Dieudonné theory for analytic p-divisible groups and applications to Shimura varieties
Lucas Gerth
TL;DR
This work develops a Dieudonné theory for families of analytic $p$-divisible groups over adic spaces defined over $\mathbb{Q}_p$, establishing an equivalence with $Hodge$-$Tate$ triples and extending Fargues’ framework to a relative setting. A central construction assigns to an analytic $p$-divisible group a coherent sheaf on the relative Fargues–Fontaine curve, with dualizability characterized by vector-bundle structure and a natural correspondence to minuscule local shtukas, compatible with prismatic Dieudonné theory. The authors then apply the theory to moduli problems for local Shimura varieties (EL/PEL types) and reinterpret the Hodge–Tate period map in terms of topologically $p$-torsion subgroups of abeloid varieties, providing a new geometric lens on $p$-adic uniformization and period maps. Together, these results connect analytic $p$-divisible groups, $v$-descent, vector bundles on the FF-curve, and prismatic/dieudonné frameworks to give moduli descriptions and period-map reinterpretations with potential for new insights in Shimura varieties and $p$-adic Hodge theory.
Abstract
We study families of analytic $p$-divisible groups over adic spaces $S$ defined over $\mathbb{Q}_p$. We prove an equivalence between such families and Hodge-Tate triples, generalizing a theorem of Fargues. For a perfectoid space $S$, we construct a functor associating to an analytic $p$-divisible group $\mathcal{G} \rightarrow S$ a coherent sheaf $\mathcal{E}(\mathcal{G})$ on the relative Fargues--Fontaine curve $X_S$. Restricting to analytic $p$-divisible groups admitting a Cartier dual, we obtain an equivalence of categories with local shtukas satisfying a minuscule condition, compatible with the prismatic Dieudonné theory of Anschütz--Le Bras. We conclude with applications to moduli spaces: we show that the local Shimura varieties of EL and PEL types of Scholze--Weinstein are moduli spaces of analytic $p$-divisible groups with extra structure, and we give a reinterpretation of the Hodge--Tate period map of Scholze in terms of topologically $p$-torsion subgroups of abelian varieties.
