Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

An object $E$ in a triangulated category $\mathcal{T}$ with (small) coproducts is called compact if the functor $\mathrm{Hom}_{\mathcal{T}}(E,-)$ commutes with arbitrary coproducts or, equivalently, if any morphism from $E$ to some coproduct factors through a finite subcoproduct.

Neeman (The Grothendieck Duality Theorem..., Prop 2.5) showed that $\mathcal{D} \bigl( \mathrm{QCoh}(X) \bigr)$ is compactly generated if $X$ is a quasi-compact and separated scheme and the proof uses only the semi-separatedness of $X$. Note that compact = perfect. Bondal-Van den Bergh (Generators and representability of functors, Cor 3.1.2) prove this statement for $X$ quasi-compact and quasi-separated.

Whenever it comes to semi-separated and quasi-compact schemes I look for connections to algebraic stacks $\mathfrak{X}$ in the sense of Goerss, Naumann, ..., i.e., a stack in the flat topoplogy with affine diagonal and some faithfully flat atlas from some affine scheme. Those schemes which are algebraic stacks are precisely the semi-separated and quasi-compact ones. Has anyone ever tried to extend the proof of Neeman to show that $\mathrm{QCoh}(\mathfrak{X})$ is compactly generated?

The 2-category of algebraic stacks with some fixed atlas is equivalent to the 2-category of flat Hopf algebroids (Naumann, The stack of formal groups..., ยง3.3). Under this equivalence quasi-coherent sheaves correspond to comodules over the associated Hopf algebroid. So a reformulation is: Is $\mathcal{D} \bigl( \mathrm{Comod}(\Gamma) \bigr)$ compactly generated for every flat Hopf algebroid $(A,\Gamma)$?

share|improve this question
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.