Descent of morphisms of overconvergent F-crystals

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.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.