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

 
discard

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

Browse other questions tagged or ask your own question.