相关论文: Prismatic $F$-crystals and crystalline Galois repr…

Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field, and let $E$ be a finite extension of $\mathbf{Q}_p$ contained in $K$. We show that the category of prismatic $F$-crystals on…

We show that the category of logarithmic prismatic F-crystals on $(\mathcal{O}_K, \varpi^{\mathbb{N}})$ is equivalent to the category of $\mathbb{Z}_p$-lattices in semistable $\text{Gal}_K$-representations. We then apply our method to…

We give a new construction of $(\varphi, \hat G)$-modules using the theory of prisms developed by Bhatt and Scholze. As an application, we give a new proof about the equivalence between the category of prismatic $F$-crystals in finite…

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that…

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline \'etale…

We prove that both local Galois representations and $(\varphi,\Gamma)$-modules can be recovered from prismatic F-crystals, from which we obtain a new proof of the equivalence of Galois representations and $(\varphi,\Gamma)$-modules.

We show that the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of $(\varphi,…

We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between…

For an absolutely unramified field extension $L/\mathbb{Q}_p$ with imperfect residue field, we define and study Wach modules in the setting of $(\varphi,\Gamma)$-modules for $L$. Our main result establishes a direct equivalence between the…

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…

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…

Let $K$ be a complete discretely valued field with mixed characteristic $(0, p)$ and imperfect residue field $k_K$. Let $\Delta$ be a finite set. We construct an equivalence of categories between finite dimensional…

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…

Let $\mathcal{O}_K$ be a mixed characteristic complete discrete valuation ring with perfect residue field. We study $\mathbb{B}_\mathrm{dR}^+$-crystals on the (log-) prismatic site of $\mathcal{O}_K$, which are crystals defined over the de…

Let $k$ be a perfect field of characteristic $p \geq 3$, and let $K$ be a finite totally ramified extension of $K_0 = W(k)[p^{-1}]$. Let $L_0$ be a complete discrete valuation field over $K_0$ whose residue field has a finite $p$-basis, and…

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…

Let V be a crystalline p-adic representation of the absolute Galois group G_K of an finite unramified extension K of Q_p and T a lattice of V stable by G_K. We prove the following result: Let Fil^1 V be the maximal sub-representation of V…

Let K be a complete discrete valuation field of mixed characteristic (0,p) with perfect residue field. Let (\pi_n)_{n\ge 0} be a system of p-power roots of a uniformizer \pi=\pi_0 of K with \pi^p_{n+1}=\pi_n, and define G_s (resp.\…

Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…

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}$.…