Dedekind概形上扭曲D-模整体化的滤子

Fabian Januszewski与作者建立了一般基概形上扭曲D-模的理论。在本短文中，我们在Dedekind概形 $S$ 上的光滑拟紧 $K$-概形上，对由光滑 $S$-仿射群概形 $K$ 等变扭曲可积联络沿从光滑真 $K$-概形 $Y$ 出发的 $K$-等变闭浸入取直像所得的扭曲D-模整体化，构造了一个 $K$-不变的正穷竭滤子，其对每个整数 $p$ 的第 $p$ 个相伴分次 $\mathcal{O}_S$-模均为有限秩局部自由。特别地，若 $S$ 为仿射且坐标环为 $k$，则其整体截面的 $k$-模是投射的。