Related papers: Purity for overconvergence

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…

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 $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of \'etale and crystalline…

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the…

Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's…

In this paper, we establish a criterion for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal crossing divisor.…

Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field $k$. Let $X$ be a variety over $k$, $Y$ be an open of $X$, $Y'$ be an open of $Y$ dense in $X$. We extend Kedlaya's full faithfulness as follows…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a…

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

In this paper, we prove a `cut-by-curves criterion' for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal…

We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable…

It is conjectured by de Jong that, if $X$ is a connected smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial \'etale fundamental group, any isocrystal on on $X/W$ is trivial. We prove this…

We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic…

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…

By works of Kedlaya and Shiho, it is known that, for a smooth variety $\overline{X}$ over a field of positive characteristic and its simple normal crossing divisor $Z$, an overconvergent isocrystal on the compliment of $Z$ satisfying a…

We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be…

Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the…