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

Berger and Colmez introduced a theory of families of overconvergent \'etale (Phi,Gamma)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of…

Let X be a complex algebraic variety, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. We show that the formal neighborhood of f in L(X) admits a decomposition into a…

Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat…

Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…

Let $K$ be a finite extension of ${\mathbb Q}_p$ and let $X$ be Drinfel'd's symmetric space of dimension $d$ over $K$. Let $\Gamma\subset {\rm SL}_{d+1}(K)$ be a cocompact discrete (torsionfree) subgroup and let…

We are interested in the structure of the crystal graph of level $l$ Fock spaces representations of $\mathcal{U}_q (\widehat{\mathfrak{sl}_e})$. Since the work of Shan [26], we know that this graph encodes the modular branching rule for a…

We prove the global triangulation conjecture for families of refined p-adic representations under a mild condition. That is, for a refined family, the associated family of (phi, Gamma)-modules admits a global triangulation on a Zariski open…

Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$,…

We construct \Lambda-adic de Rham and crystalline analogues of Hida's ordinary \Lambda-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate…

Displays can be thought of as relative versions of Fontaine's notion of strongly divisible lattice from integral $p$-adic Hodge theory. In favourable circumstances, the crystalline cohomology of a smooth projective $R$-scheme $X$ is endowed…

This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m…

We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally…

We define some rings of power series in several variables, that are attached to a Lubin-Tate formal module. We then give some examples of (\phi,\Gamma)-modules over those rings. They are the global sections of some reflexive sheaves on the…

We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such…

Let $\mathcal{Z}$ be a specialization closed subset of $\Spec R$ and $X$ a homologically left-bounded complex with finitely generated homologies. We establish Faltings' Local-global Principle and Annihilator Theorems for the local…

Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$. Let $\mathcal{D}^2_{fg}(A)$ denote the derived category of $2$-periodic complexes with finitely generated cohomology modules. Let $\mathcal{K}^2(\proj A) $ denote the…

We prove a general version of the crystalline equivalence principle which gives an equivalence of categories between a category of TQFTs defined on a generic space with $G$-symmetry, and a category of TQFTs with internal symmetry. We give a…

We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree 0). We first introduce a higher-dimensional analogue of the generic…

For any rank-one Riemannian symmetric space S of non-compact type and any discrete, cofinite, non-cocompact, torsion-free group $\Gamma$ of orientation-preserving Riemannian isometries on S, we develop a cohomological interpretation for the…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…