The mod-\(p\) Riemann-Hilbert correspondence and the perfect site (Q6113271)

A Frobenius module over a commutative \(\mathbb{F}_p\)-algebra \(R\) is the datum of an \(R\)-module \(M\) equipped with a Frobenius-semilinear map \(\varphi _M:M\rightarrow M\) or equivalently a left module over the twisted polynomial ring \(R[F]\), i.e., the free associative algebra over \(R\) on a generator \(F\) with the relations \(Fa=a^pF\). The mod-\(p\) Riemann-Hilbert correspondence (in covariant and contravariant forms) relates \(\mathbb{F}_p\)-étale sheaves on the spectrum of an \(\mathbb{F}_p\)-algebra \(R\) and Frobenius modules over \(R\) and originates from a result of Katz describing locally constant constructible sheaves on Spec\((R)\). In the present paper the author gives an exposition of these correspondences using Breen's vanishing results on the perfect site.