$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$是紧生成的

Drinfeld和Gaitsgory证明了$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G)$是紧生成的。设$\mathrm{Bun}_G^{\mathrm{I}}$为$X$上带有固定点$x \in X$处Iwahori层结构的主$G$-丛的代数栈。更一般地，对于有限点集$x_1, ..., x_k \in X$，设$\mathrm{Bun}_G^{(\mathrm{I}; x_1, ..., x_k)}$为$X$上带有各点$x_j$处Iwahori层结构的主$G$-丛的代数栈。我们将证明$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^{\mathrm{I}})$和$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^{(\mathrm{I}; x_1, ..., x_k)})$是紧生成的。