Related papers: Crystalline prisms: Reflections and diffractions, …
Let $\varphi:X\to S$ be a morphism between smooth complex analytic spaces, and let $f=0$ define a free divisor on $S$. We prove that if the deformation space $T^1_{X/S}$ of $\varphi$ is a Cohen-Macaulay $\mathcal{O}_X$-module of codimension…
Given a natural number $m$ and a log smooth integral morphism $X\to S$ of fine log schemes of characteristic $p>0$ with a lifting of its Frobenius pull-back $X'\to S$ modulo $p^{2}$, we use indexed algebras ${\cal A}_{X}^{gp}$, ${\cal…
We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the…
Let $p$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group…
This paper contains two remarks on Beilinson's adeles with values in the De Rham complex of a scheme. The first is an interpretation, in terms of adeles, of the decomposition of the De Rham complex on a scheme defined modulo $p^{2}$ (the…
We determine the cohomology of the closed Drinfeld stratum of $p$-Deligne--Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus…
An irreducible integrable connection $(E,\nabla)$ on a smooth projective complex variety $X$ is called rigid if it gives rise to an isolated point of the corresponding moduli space $\mathcal{M}_{dR}(X)$. According to Simpson's motivicity…
Given an animated ring $S$, we define a filtration on its absolute prismatic cohomology $\mathcal{N}_r^{\geq i} \mathbb{\Delta}_S$, which we call the $r$-Nygaard filtration and study some of its main properties using a mixture of algebraic…
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…
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 formulate an integral Frobenius period map for the framed crystalline prismatization of the $p$-integral model $\mathcal{S}$ of a Shimura variety with good reduction. By analyzing reductions of this map, we derive a period map from the…
We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of…
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log…
For $p \geqslant 3$ and an unramified extension $F/\mathbb{Q}_p$ with perfect residue field, we define a syntomic complex with coefficients in a Wach module over a certain period ring for $F$. We show that our complex computes the…
For a finite extension $K/\mathbb{Q}_p$ and a split reductive group $G$ over $\mathcal{O}_K$, let $\overline{\rho} \colon \mathrm{Gal}_K \to G(\overline{\mathbb{F}}_p)$ be a continuous quasi-semisimple mod $p$ $G$-valued representation of…
Let X be a an affine smooth symplectic variety over $\mathbb{Z}/p\mathbb{Z},$ and A be its deformation quantization over the p-adic integers. We prove that for all $n\geq 1,$ the Hochschild cohomogy of $A/p^nA$ is isomorphic to the de…
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…
For a locally nilpotent integrable connection on a proper (strict) semistable family over a small polydisc with a relative horizontal simple normal crossing divisor, we construct a canonical section in derived categories inducing an…
In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of…
For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative…