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

TL;DR
This paper develops a new Dieudonné theory for analytic p-divisible groups over adic spaces, establishing equivalences with Hodge-Tate structures and local shtukas, and applies these results to Shimura varieties and period maps.
Contribution
It generalizes Fargues' theorem to families over adic spaces, constructs a functor to the Fargues--Fontaine curve, and links p-divisible groups with local shtukas and prismatic Dieudonné theory.
Findings
Equivalence between families of analytic p-divisible groups and Hodge-Tate triples.
Construction of a functor associating p-divisible groups to coherent sheaves on the Fargues--Fontaine curve.
Identification of certain Shimura varieties as moduli spaces of analytic p-divisible groups.
Abstract
We study families of analytic -divisible groups over adic spaces defined over . We prove an equivalence between such families and Hodge-Tate triples, generalizing a theorem of Fargues. For a perfectoid space , we construct a functor associating to an analytic -divisible group a coherent sheaf on the relative Fargues--Fontaine curve . Restricting to analytic -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 -divisible groups with extra structure, and we give a reinterpretation of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Advanced Algebra and Geometry · Homotopy and Cohomology in Algebraic Topology
