Related papers: Overconvergent log isocrystals and holonomicity

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…

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…

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.…

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 show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from…

Let $k$ be a perfect field of characteristic $p >0$, $U$ be a variety over $k$ and $F$ be a power of Frobenius. We construct the category of overholonomic arithmetical ($F$-)$\D$-modules over $U$ and the category of overholonomic…

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…

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

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 $\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…

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…

In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove that Berthelot's characteristic variety associated with a holonomic $\mathcal{D}$-modules endowed with a Frobenius structure has pure dimension. As an…

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over…

For a flat $p$-adic formal family $S$ of log points over a complete discrete valuation ring with perfect residue field of mixed characteristics $(0,p)$ and for a simple normal crossing log scheme $X$ over an exact closed log subscheme of…

Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^\dag_{\X,\Q} $-module which is overcoherent after any change of basis is an…

Let $k$ be a perfect field of positive characteristic and $Z$ an effective Cartier divisor in the projective line over $k$ with complement $U$. In this note, we establish some results about the formal deformation theory of overconvergent…

For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…

In this paper, we prove the generic overconvergence of relative rigid cohomology with coefficient, by using the semistable reduction conjecture for overconvergent $F$-isocrystals (which is recently shown by Kedlaya).

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…

It has been proven by Serre, Larsen-Pink and Chin, that over a smooth curve over a finite field, the monodromy groups of compatible semi-simple pure lisse sheaves have "the same" $\pi_0$ and neutral component. We generalize their results to…