Related papers: A note on effective descent for overconvergent iso…

Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce…

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…

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…

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…

Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…

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…

This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k-affinoid algebras to be a stack for the Berkovich analogue of the faithfully-flat…

We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.

This article is the third one of a series of three articles devoted to direct images of isocrystals: here we consider overconvergent isocrystals with Frobenius structure. For a liftable proper smooth morphism we establish the…

The setting is the representation theory of a simply connected, semisimple algebraic group over a field of positive characteristic. There is a natural transformation from the wall-crossing functor to the identity functor. The kernel of this…

In this article we prove exactness of the homotopy sequence of overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving a corresponding result for rigid analytic…

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

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive…

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…

The main aim of this article is to give new classes of smooth projective varieties over characteristic $p>0$ that admit flat liftings over the Witt vectors together with additional data (logarithmic structure and the Frobenius morphism) by…

We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…

Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…

We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers.