Related papers: Overconvergent F-isocrystals and differential over…

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 introduce a valuation-theoretic approach to the problem of semistable reduction (i.e., existence of logarithmic extensions on suitable covers) of overconvergent isocrystals with Frobenius structure. The key tool is the quasicompactness…

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 (part of the author's PhD thesis), we introduce the notions of semistability and potential semistability of overconvergent F-crystals over an equal characteristic local field. We establish their equivalence with the notions of…

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…

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…

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…

We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite…

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

We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters…

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…

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 article we give a survey of the various forms of Berthelot's conjecture and some of the implications between them. By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic…

R. Crew conjectured that every overconvergent F-isocrystal over k((t)) (k a field of positive characteristic) is quasi-unipotent (equivalently, potentially semistable), and so has ``generic'' and ``special'' Newton polygons. It is easy to…

Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is…

We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse…

In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of…

For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

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…