Related papers: The V-filtration for tame unit $F$-crystals

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this…

We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration…

For a separated scheme $X$ of finite type over a perfect field $k$ of characteristic $p>0$ which admits an immersion into a proper smooth scheme over the truncated Witt ring $W_{n}$, we define the bounded derived category of locally…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $B$ be a Borel subgroup of $G$, and $U$ its unipotent radical. We prove that if $S=\Sym V$ has…

Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…

We give an introduction to the theory of $V$-filtrations of Malgrange and Kashiwara. After discussing the basic properties of this construction (in the case of a smooth hypersurface and, later, in the general case), we describe the…

Let $(F_r M)_{r\in\mathbb{Z}}$ be a finite filtration on an object $M$ of a neutral Tannakian category $\mathbf{T}$ in characteristic zero. Let $u(M)=u^F(M)$ be the Lie algebra of the subgroup of the Tannakian fundamental group of $M$ that…

We define a natural filtration on the ring ${\cal O}_{V,0}$ of germs of functions on a germ of a complex analytic variety $(V,0)$ related with the geometry of arcs on the variety and describe some properties of it.

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…

Let $f: X \to \mathbb{A}^1$ be a regular function on a smooth complex algebraic variety $X$. We formulate and prove an equivalence between the algebraic formal twisted de Rham complex of $f$ and the vanishing cycles with respect to $f$ as…

For $i : Z \to X$ a closed immersion of smooth varieties, we study how the $V$-filtration along $Z$ and the Hodge filtration on a mixed Hodge module $M$ on $X$ interact with each other. We also give a formula for the functors $i^*$, $i^!$…

Let $V$ be a Weyl module either for a reductive algebraic group $G$ or for the corresponding quantum group $U_q$. If $G$ is defined over a field of positive characteristic $p$, respectively if $q$ is a primitive $l$'th root of unity (in an…

Fontaine's $D_{\mathrm{cris}}$ functor allow us to associate an isocrystal to any crystalline representation. For a reductive group $G$, we study the reduction of lattices inside a germ of crystalline representations with $G$-structure $V$…

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…

Given a smooth, proper family of varieties in characteristic $p>0$, and a cycle $z$ on a fibre of the family, we formulate a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of $z$, whether $z$ extends…

Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these…

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…