The DG Category of D-modules on the Moduli Stack of Principal G-bundles with Iwahori Level Structure is Compactly Generated
The DG category of D-modules on the moduli stack of principal G-bundles with Iwahori level structure is proven to be compactly generated, extending the result of Drinfeld and Gaitsgory for the unramified case.