Related papers: Absolute prismatic cohomology

Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the…

We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite…

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 give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…

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…

In this note, we study the $p$-complete topological cyclic homology of the affine line relative to a ring $A$ which is smooth over a perfectoid ring $R$. Denoting by $NTC(A; \mathbb{Z}_p)$ the spectrum which measures the failure of…

The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect…

Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…

We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of \'etale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically \'etale morphisms are…

Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

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…

Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a…

We determine the geometric pro-\'etale cohomology of Drinfeld's upper half space ${\mathcal X}$ over a p-adic field. The strategy is different from the one given by Colmez, Dospinescu and Niziol. It uses the approach developed in a former…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…

Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent…