$F$-等晶体的 Drinfeld 引理，I

我们证明，在收敛或过收敛设定下，特征 $p$ 完备域上两个或多个光滑概型的绝对积上的绝对不可约 $F$-等晶体，进一步配备部分 Frobenius 映射的作用，是乘积因子上 $F$-等晶体的外积。对于 $\ell \neq p$ 为素数的 lisse $\bar{\mathbb{Q}}_\ell$-层，相应的陈述是特征 $p$ 下概型绝对积基本群上 Drinfeld 引理的推论。后者在 V. Lafforgue 关于带有 $\ell$-adic 系数的约化群的 Langlands 对应方法中起关键作用；其 $p$-adic 类比将在与 Daxin Xu 的后续工作中予以考虑。