Related papers: Dieudonn\'e theory via classifying stacks and pris…

We prove that if $G$ is a finite flat group scheme of $p$ power rank over a perfect field of characteristic $p$, then the second crystalline cohomology of its classifying stack $H^2_{crys}(BG)$ recovers the Dieudonn\'e module of $G$. We…

Let $k$ be a perfect field of characteristic $p>2$ and $K$ an extension of $F=\mathrm{Frac} W(k)$ contained in some $F(\mu_{p^r})$. Using crystalline Dieudonn\'e theory, we provide a classification of $p$-divisible groups over…

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…

The Dieudonn\'e crystal of a p-divisible group over a semiperfect ring R can be endowed with a window structure. If R satisfies a boundedness condition, this construction gives an equivalence of categories. As an application one obtains a…

This work is devoted to the study of integral $p$-adic Hodge theory in the context of Artin stacks. For a Hodge-proper stack, using the formalism of prismatic cohomology, we establish a version of $p$-adic Hodge theory with the \'etale…

Let $\mathscr{O}_K$ be a 2-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\mathscr{O}_K$ in terms of certain Frobenius module over…

We describe the prismatic F-gauge associated to a finite flat height one group scheme over a smooth variety of positive characteristic. As applications, we derive the description of the crystalline Dieudonn\'e module of…

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…

We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…

We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…

We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonn\'e modules to a class of rings, properly…

We define, for each quasi-syntomic ring $R$ (in the sense of Bhatt-Morrow-Scholze), a category $\mathrm{DM}^{\rm adm}(R)$ of \textit{admissible prismatic Dieudonn\'e crystals over $R$} and a natural functor from $p$-divisible groups over…

For all $n \geq 1$, there is a notion of $n$-smooth group scheme over any $\mathbb{F}_p$-algebra $R$, which may be thought of as a ``Frobenius analogue" of $n$-truncated Barsotti-Tate groups over $R$. We show that the category of $n$-smooth…

We show that to every p-divisible group over a p-adic ring one can associate a display by crystalline Dieudonne theory. For an appropriate notion of truncated displays, this induces a functor from truncated Barsotti-Tate groups to truncated…

We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale…

Given a perfect field $k$ of characteristic $p>0$, a smooth proper $k$-scheme $Y$, a crystal $E$ on $Y$ relative to $W(k)$ and a finite group $G$ acting on $Y$ and $E$, we show that, viewed as virtual $k[G]$-module, the reduction modulo $p$…

In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…