Let κ = Fq be a finite field of characteristic p > 0, and k be a fixed algebraic closure of κ. We fix a prime ` 6= p, and an isomorphism τ : Q` → C. Whenever we want to denote something (e.g. scheme, sheaf, morphism, etc.) defined over κ, we will put a subscript 0 (e.g. X0 is a scheme over κ, F0 is a Weil sheaf defined over X0, etc.), and when the subscript is dropped, this means the correspond...