Related papers: Relative $(\varphi,\Gamma)$-modules and prismatic …

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 construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

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 a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…

K. Kato has recently constructed certain syntomic complexes associated with a uniform $F$-crystal over a smooth project variety $X$ and related their cohomology groups to special values of the $L$-function attached to $F$. In this paper, we…

Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

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 introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

We study relative Wach modules generalising our previous works on this subject. Our main result shows a categorical equivalence between relative Wach modules and lattices inside relative crystalline representations. Using this result, we…

In this paper, we introduce the notion of parabolic log convergent isocrystals on smooth varieties endowed with a simple normal crossing divisor, which is a kind of $p$-adic analogue of the notion of parabolic bundles on smooth varieties…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

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…

Let X be a smooth variety over an algebraically closed field of characteristic p > 0, Z a smooth divisor, and j : U = X\Z --> X the natural inclusion. An axiomatizing of the properties of a V -filtration on a unit F-crystal is proposed and…

We prove that intermediate extensions of perverse constructible $\mathbb{F}_p$-sheaves commute with smooth pullbacks for schemes admitting a closed embedding into a smooth scheme over a field of characteristic $p$ (embeddable schemes for…

We study the notion of Wach modules in relative setting, generalizing the arithmetic case. Over an unramified base, for a $p$-adic representation admitting such structure, we examine the relationship between its relative Wach module and…

Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…

In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the…