Kiran S. Kedlaya
Building on our previous papers (math.AG/0102173, math.AG/0105244, math.AG/0106192) we prove that every overconvergent F-isocrystal over k((t)) is quasi-unipotent (in the sense of Crew), for k a field of positive characteristic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 the process, we construct a category of overconvergent log-isocrystals and discuss its basic properties. In subsequent work, we will use these results to show that a canonical logarithmic extension always exists after pulling back E along a suitable cover of X.
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 quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.
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 conjecture restricted to the subcategory of potentially semistable (or quasi-unipotent) crystals, following de Jong's proof of a slightly weaker result. We also prove Tsuzuki's conjecture restricted to crystals with at most two distinct slopes.
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 unipotency and quasi-unipotency given by Crew, and to recast the conjecture that every overconvergent crystal is quasi-unipotent in terms of potential semistability. Consequences, including an extension of de Jong's extension theorem for F-crystals to the logarithmic case, will appear in a subsequent paper.
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 construct a Newton polygon for an arbitrary overconvergent F-crystal that coincides with the generic Newton polygon for potentially semistable crystals. We give an analogous construction for the special Newton polygon, by showing that the F-crystal can be trivialized over a large auxiliary ring. In a subsequent preprint, we use this construction to prove the …
We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately, unlike the former, the functoriality of the theory is not built-in. We defined somewhere else the "overconvergent site" which is functorially attached to an algebraic variety and proved that the category of modules of finite presentation on this ringed site is equivalent to the category of over- convergent isocrystals on the variety. We show here that their coh…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.
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$ defined over $\mathbb Q$, then the category of constructible crystals on $X/O$ is equivalent to the category of constructible modules endowed with an overconvergent connection on the tube $\,]X[_V$ of $X$ in $V$. We also show that the cohomology of a constructible crystal is then isomorphic to the de Rham cohomology of its realization on the tube $\,]X[_V$. This i…
We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers.
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 étale and crystalline companions, we establish a weaker version of this criterion in which we also assume that the wild local monodromy of the restrictions to curves is trivialized by pullback along a single dominant morphism to $X$.
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 true for crystals up to isogeny. As an application we prove a Künneth formula for the crystalline fundamental group.
In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, stating that a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k [\![ t ]\!]$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham-Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter example to show that the variational Tate conject…
We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there cannot be a gap between nonzero Hodge numbers.) As an application, we deduce a refinement of a result of V.Lafforgue on the slopes of Frobenius of an l-adic local system. We also prove similar stateme…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。