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 {\mathbb{Q}}_{\ell }$, $\ell \ne p$, and their rings of integers ${\mathcal{𝒪}}_E$. We also consider a variant for ind-constructible sheaves which applies to the cohomology of moduli stacks of shtukas over global function fields.

中文翻译：

---

可构造威尔滑轮的绝对 Künneth 公式

我们在特征方案上证明了 lisse 和可构造 Weil 滑轮的派生范畴的 Künneth 型等价性$p>0$对于各种系数，包括有限离散环、代数域扩展$乙\supset {\mathbb{Q}}_{\ell }$,$\ell \ne p$，以及它们的整数环${\mathcal{𝒪}}_{乙}$。我们还考虑了可构造滑轮的一种变体，它适用于全局函数域上 shtukas 模堆栈的上同调。