$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$ is Compactly Generated

TL;DR

This paper proves that the derived category of D-modules on certain algebraic stacks of principal G-bundles with Iwahori level structures is compactly generated, extending known results to more complex moduli stacks.

Contribution

It establishes the compact generation of D-modules on stacks of G-bundles with Iwahori level structures, generalizing previous results for the unstructured case.

Findings

D-mod(Bun_G^I) is compactly generated.

D-mod(Bun_G^{(I; x_1, ..., x_k)}) is compactly generated.

Extension of compact generation results to stacks with Iwahori level structures.

Abstract

Drinfeld and Gaitsgory proved that $\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G)$ is compactly generated. Let $\mathrm{Bun}_G^{\mathrm{I}}$ be the algebraic stack of principal $G$-bundles on $X$ together with Iwahori level structure at a fixed point $x \in X$. More generally, for a finite collection of points $x_1, ..., x_k \in X$, let $\mathrm{Bun}_G^{(\mathrm{I}; x_1, ..., x_k)}$ be the algebraic stack of principal $G$-bundles on $X$ together with Iwahori level structure at each point $x_j$. We will show that $\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^{\mathrm{I}})$ and $\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^{(\mathrm{I}; x_1, ..., x_k)})$ are compactly generated.