Related papers: Overconvergent F-isocrystals and differential over…

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…

In this article we prove Crew's parabolicity conjecture of $F$-isocrystals. For this purpose, we introduce and study the notion of $\dagger$-hull of a sub-$F$-isocrystal. On the way, we prove a new Lefschetz theorem for overconvergent…

Let $\mathcal{G}$ be a smooth linear group scheme of finite type. For any positive integer $k$ and a finite field $\mathbb{F}$, let $W_k(\mathbb{F})$ be the ring of Witt vectors of length $k$ over $\mathbb{F}$. We show that the group…

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…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open…

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…

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…

We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log…

Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$.…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…

This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully…

We define and study the overconvergent site of an algebraic variety, the sheaf of overconvergent functions on this site and show that the modules of finite presentations correspond to Berthelot's overconvergent isocrystals. We work with…

We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on…

Let F be a non-Archimedean locally compact field of residue characteristic p, let G be an inner form of GL(n,F) with n>0, and let l be a prime number different from p. We describe the block decomposition of the category of finite length…

For a Cohen-Macaulay ring $R$, we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite…

Given a variety $Y$ with a rectangular Lefschetz decomposition of its derived category, we consider a degree $n$ cyclic cover $X \to Y$ ramified over a divisor $Z \subset Y$. We construct semiorthogonal decompositions of $\mathrm{D^b}(X)$…