Log prismatic Dieudonné theory for log $p$-divisible groups over $\mathcal{O}_{K}$ (2310.15732v1)

Abstract: Let $\mathcal{O}{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}{K}$ correspond to Dieudonn\'e crystals on the absolute log-prismatic site of $\mathcal{O}_{K}$ endowed with the Kummer log-flat topology. The proof uses log-descent to reduce the problem to the classical prismatic correspondence, recently established by Ansch\"utz-Le Bras.