Related papers: Prismatic $F$-crystals and Wach modules

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…

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…

Every Anderson $A$-motive $M$ over a field determines a compatible system of Galois representations on its Tate modules at almost all primes of $A$. This adapts easily to $F$-isocrystals, which are rational analogues of $A$-motives for the…

A classical result of Cherbonnier and Colmez says that all \'etale $(\varphi, \Gamma)$-modules are overconvergent. In this paper, we give another proof of this fact when the base field $K$ is a finite extension of $\mathbb Q_p$.…

In this note, we define the notion of $F$-analytic $B$-pairs and we prove that its category is equivalent to the one of $F$-analytic $(\varphi_q,\Gamma_K)$-modules.

Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these…

In this paper, we consider the (crystalline) prismatic crystals on a scheme $\mathfrak{X}$. We classify the crystals by $p$-connections on a certain ring and prove a cohomological comparison theorem. This equivalence is more general than…

In this paper, we study $(\varphi,\Gamma)$-modules over rings which are "combinations of discrete algebras and affinoid $\mathbb{Q}_p$-algebras", and prove basic results such as the existence of a fully faithful functor from the category of…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

We show an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, arbitrary…

We construct a Wach module for the absolutely semi-stable representations the filtered $(\varphi, N)$-module of which satisfies the Griffiths transversality, which happens in particular for ordinary representations. This construction…

Let $p$ be a prime, $K$ a finite extension of $\mathbb Q_p$, and let $G_K$ be the absolute Galois group of $K$. The category of \'etale $(\varphi, \tau)$-modules is equivalent to the category of $p$-adic Galois representations of $G_K$. In…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We show all Laurent $F$-crystals over $p$-adic fields are overconvergent.

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

Let $p$ be a prime, $W$ the ring of Witt vectors of a perfect field $k$ of characteristic $p$ and $\zeta$ a primitive $p$th root of unity. We introduce a new notion of calculus over $W$ that we call absolute calculus. It may be seen as a…

We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative…

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…

The theory of $(\varphi_q,\Gamma)$-modules is a generalization of Fontaine's theory of $(\varphi,\Gamma)$-modules, which classifies $G_F$-representations on $\CO_F$-modules and $F$-vector spaces for any finite extension $F$ of $\BQ_p$. In…