Let $X$ be a smooth affine variety over $\mathbb{C}$ and let $\mathcal{D}_X$ be its algebra of differential operators.

Consider $\mathcal{C}=\mathcal{D}_X$-$\text{mod}$, the stable $\infty$ category of $\mathcal{D}_X$-modules (unbounded complexes of $\mathcal{D}_X$-modules localized at quasi-isomorphisms). Assuming this is the correct category, i've seen in many places the statement that this category is compactly generated. I haven't been able to find a proof of this however. So...

Is $\mathcal{C}$ compactly generated? If so, who are the compact objects in $\mathcal{C}$? Where can I find a good reference for this?

up vote 4 down vote accepted

One place where this is discussed is

Drinfeld, Vladimir; Gaitsgory, Dennis, On some finiteness questions for algebraic stacks, Geom. Funct. Anal. 23, No. 1, 149-294 (2013). ZBL1272.14005.

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.