可构造 Weil 层的分类 Künneth 公式
A categorical Künneth formula for constructible Weil sheaves
AI总结：
本文证明了特征 $p>0$ 概型上 lisse 与可构造 Weil 层导出范畴的 Künneth 型等价，涵盖多种系数，并提出了适用于全局函数域上 shtuka 模叠上同调的 ind-可构造层变体。
摘要：
我们证明了特征 $p > 0$ 上概型的 lisse 与可构造 Weil 层导出范畴的 Künneth 型等价，涵盖多种系数，包括有限离散环、代数扩张 $E \supset \mathbf Q_\ell$（$\ell \ne p$）及其整数环 $O_E$。我们还考虑了适用于全局函数域上 shtuka 模叠上同调的 ind-可构造层变体。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
