A Riemann-Hilbert correspondence for Cartier crystals
arXiv:1812.00256
Abstract
For a variety separated over a perfect field of characteristic which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on and constructible -sheaves on the étale site . The key intermediate step is to extend the category of locally finitely generated unit -modules for smooth schemes introduced by Emerton and Kisin to embeddable schemes. On the one hand, this category is equivalent to Cartier crystals. On the other hand, by using Emerton-Kisin's Riemann-Hilbert correspondence, we show that it is equivalent to Gabber's category of perverse sheaves in .
The results in this paper are part of the author's PhD thesis