Constructible isocrystals
arXiv:1601.07046 · doi:10.2140/ant.2016.10.2121
Abstract
We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse holonomic arithmetic D-modules. We prove here that a constructible isocrystal is completely determined by any of its geometric realizations.
Prépublication de l'IRMAR 2016-08