Related papers: $p$-adic Hodge theory for Artin stacks

In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between \'etale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an…

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise known comparison theorems in $p$-adic Hodge theory so as to accommodate coefficients. More precisely, we establish a…

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…

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…

Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic \'etale cohomology of its generic fibre is also…

We construct a category of Breuil-Kisin $G_K$-modules to classify integral semi-stable Galois representations. Our theory uses Breuil-Kisin modules and Breuil-Kisin-Fargues modules with Galois actions, and can be regarded as the algebraic…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic…

Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois…

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

We study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other…

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…

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…

In this paper, we apply stack theoretic ideas to the classification problem in Dieudonn\'e theory. First, we use crystalline cohomology of classifying stacks to directly reconstruct the classical Dieudonn\'e module of a finite, $p$-power…

We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find…

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions…

For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge…

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules…