We introduce a new category of coefficients for -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 -modules. We prove here that a constructible isocrystal is completely determined by any of its geometric realizations.
"Constructible isocrystals." Algebra Number Theory 10 (10) 2121 - 2152, 2016. https://doi.org/10.2140/ant.2016.10.2121