A categorical Künneth formula for constructible Weil sheaves

Abstract

We prove a Künneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p>0$ for various coefficients, including finite discrete rings, algebraic field extensions $E\supset {\mathbf{Q}}_{\ell }$, $\ell \ne p$ and their rings of integers $O_E$. We also consider a variant for ind-construtible sheaves which applies to the cohomology of moduli stacks of shtukas over global function fields.

v4: The material concerning constructible sheaves has been split off in a separate paper, see arXiv:2305.18131 Comments welcome!

Cited by in corpus (1)

• Nearby cycles commute with proper direct image on stacks of shtukas