Related papers: Prismatization over $\mathbf{Z}$

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…

The Geometrical Lemma is a classical result in the theory of (complex) smooth representations of $p$-adic reductive groups, which helps to analyze the parabolic restriction of a parabolically induced representation by providing a filtration…

We introduce a functor $\mathfrak{M}:\mathbf{Alg}\times\mathbf{Alg}^\mathrm{op}\rightarrow\mathrm{pro}\text{-}\mathbf{Alg}$ constructed from representations of $\mathrm{Hom}_\mathbf{Alg}(A,B\otimes ? )$. As applications, the following items…

Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that the arithmetic $p$-adic pro-\'etale cohomology of smooth partially proper spaces over $K$ satisfies a duality, as conjectured by Colmez, Gilles and Nizio{\l}. We derive it from…

Let $k$ be a field of characteristic $p>0$ not necessarily perfect. Using Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for realizable $k$-schemes of finite type.

In his work extending rational simple connectedness to schemes with higher Picard rank, Yi Zhu introduced hypotheses for schemes insuring that the relative Picard functor is representable and is \'{e}tale locally constant with finite free…

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…

One introduces a class of projective parameterizations that resemble generalized de Jonqui\`eres maps. Any such parametrization defines a birational map $\mathfrak{F}$ of $\pp^n$ onto a hypersurface $V(F)\subset \pp^{n+1}$ with a strong…

We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits…

The saturation of an algebraic surface is the maximal open embedding with complement of dimension zero. For schemes, it was introduced by the first named author and A. Bondal, who proved that the saturation of a surface X can be recovered…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

We introduce the crisp topology for schemes as a refinement of the fpqc topology. This Grothendieck topology uses the new notion of crisp morphisms, which generalise universal injectivity from ring homomorphisms to arbitrary morphisms of…

In this paper we study skeleta of residually tame coverings of a marked curve over a non-archimedean field. We first generalize a result by Liu and Lorenzini by proving a simultaneous semistable reduction theorem for residually tame…

J McClure's Dyer-Lashof operation in $p$-adic $K$-theory defines, in particular, a prismatic structure on the complex representation ring of the circle group. Work of Ando, Rezk, Stapleton, and others generalizes this to define a canonical…

We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…

Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.

Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…

In this paper, we follow two main goals. In the first attempt, we give some functorial properties of the $p$-analog of the Fourier-Stieltjes algebras in which we generalize some previously existed definitions and theorems in Arsac and…

We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…

We define a derived enhancement of the classical quot functor of quotients associated to a coherent sheaf on a nonsingular quasiprojective variety. We prove its representability and show that it has the expected tangent complex. The derived…