关于反常层的等变导出范畴

在本文中，我们将 Beilinson 针对三角范畴和过滤三角范畴的实现形式体系扩展到了伪函子和伪自然的环境。作为推论，我们证明了 Beilinson 定理的等变版本：对于代数闭域 $K$ 上的任意代数群 $G$ 以及任意 $G$-簇 $X$，存在范畴等价 $D_G^b(X; \overline{\mathbb{Q}}_{\ell}) \simeq D_G^b(\mathbf{Perv}(X;\overline{\mathbb{Q}}_{\ell}))$，其中 $\ell$ 是与 $K$ 的特征互素的素整数。我们还证明了 Beilinson 定理的其他非 $D$-模方面的等变类似物在等变情形下同样成立。