Graph explorer

Constructible isocrystals

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.