Koszul对偶性与Frobenius的半单性

Beilinson-Ginzburg-Soergel的一个基本结果指出，在旗簇及相关空间上，l-adic perverse层的范畴的一个特定修正版本展现出一种称为Koszul对偶性的现象。该修正本质上包括丢弃那些茎上具有Frobenius非半单作用的对象。在本文中，我们证明了许多常见的层函子（各种拉回和推出）在修正范畴或其三角化类比上诱导出相应的函子。特别地，我们证明了这些函子保持Frobenius作用的半单性。