Lucas Gerth | Searcharxiv

arXiv2026

A Dieudonn\'e theory for analytic p-divisible groups and applications to Shimura varieties

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\'e theory of Ansch\"utz--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.

math.AG↗

arXiv2024

A Hodge-Tate decomposition with rigid analytic coefficients

Let $X$ be a smooth proper rigid analytic space over a complete algebraically closed field extension $K$ of $\mathbb{Q}_p$. We establish a Hodge--Tate decomposition for $X$ with $G$-coefficients, where $G$ is any commutative locally $p$-divisible rigid group. This generalizes the Hodge--Tate decomposition of Faltings and Scholze, which is the case $G=\mathbb{G}_a$. For this, we introduce geometric analogs of the Hodge--Tate spectral sequence with general locally $p$-divisible coefficients. We prove that these spectral sequences degenerate at $E_2$. Our results apply more generally to a class of smooth families of commutative adic groups over $X$ and in the relative setting of smooth proper morphisms $X\rightarrow S$ of smooth rigid spaces. We deduce applications to analytic Brauer groups and the geometric $p$-adic Simpson correspondence.

math.AG↗