Related papers: Semistable Reduction Theorem for Overconvergent $F…
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…
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…
We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree 0). We first introduce a higher-dimensional analogue of the generic…
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, $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…
The minimal slope conjecture, which was proposed by K.Kedlaya, asserts that two irreducible overconvergent $F$-isocrystals on a smooth variety are isomorphic to each other if both minimal slope constitutions of slope filtrations are…
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…
In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for 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.…
We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when…
We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory.…
Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a finite separable extension of $K$ with a complete set…
The main result of this work is a new proof and generalization of Lazard's comparison theorem of locally analytic group cohomology with Lie algebra cohomology for K-Lie groups, where K is a finite extension of the p-adic numbers. We show…
Let $k$ be a perfect field of positive characteristic and let $X$ be a smooth irreducible quasi-compact scheme over $k$. The Drinfeld-Kedlaya theorem states that for an irreducible $F$-isocrystal on $X$, the gap between consecutive generic…
This is the first in a series of papers in which we construct and study a new $p$-adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$. This will be a version of rigid cohomology, taking values…
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…
Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$…
Let $p$ be a prime, let $K$ be a discretely valued extension of $\mathbb{Q}_p$, and let $A_{K}$ be an abelian $K$-variety with semistable reduction. Extending work by Kim and Marshall from the case where $p>2$ and $K/\mathbb{Q}_p$ is…
We show all Laurent $F$-crystals over $p$-adic fields are overconvergent.