Related papers: A note on \'etale $(\varphi,\Gamma)$-modules in fa…

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

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 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.

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

For a smooth $p$-adic formal scheme over the ring of integers of a perfectoid field of mixed characteristic $(0,p)$ containing all $p$-power roots of unity, we prove that the prismatic cohomology of a locally finite free prismatic crystal…

We construct the $\Lambda$-adic de Rham analogue of Hida's ordinary $\Lambda$-adic \'etale cohomology and of Ohta's $\Lambda$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic…

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…

Berger and Colmez introduced a theory of families of overconvergent \'etale (Phi,Gamma)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of…

Let X_d be the p-adic analytic space classifying the d-dimensional (semisimple) p-adic Galois representations of the absolute Galois group of Q_p. We show that the crystalline representations are Zarski-dense in many irreducible components…

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois…

Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…

Given a p-adic representation of the Galois group of a local field, we show that its Galois cohomology can be computed using the associated etale (phi,Gamma)-module over the Robba ring; this is a variant of a result of Herr. We then…

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,…

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 construct \Lambda-adic de Rham and crystalline analogues of Hida's ordinary \Lambda-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate…

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…

Let $p$ be a prime, and let $\mathrm{X}$ be a smooth $p$-adic formal scheme over $\mathrm{Spf} \mathcal{O}_K$ where $K/\mathbf{Q}_p$ is a finite extension. We show that reflexive sheaves on the stack $\mathrm{X}^{\mathrm{Syn}}$ are…

We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize \'etale (phi,Gamma)-modules; the formal…

We study the $p$-adic variation of triangulations over $p$-adic families of $(\varphi,\Gamma)$-modules. In particular, we study certain canonical sub-filtrations of the pointwise triangulations and show that they extend to affinoid…