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

Hello,

I wonder if the techniques introduced in Neemans paper: "The Grothendieck duality theorem via Bousfield's techniques and Brown representability " can be used to establish Verdier duality. More precisely:

Consider the unbounded, derived category $D(M)$ of $\mathbb{Q}$ vector spaces on a compact complex manifold $M$ . I would like to show that $Rf_!$ has a right adjoint. In order to use Brown representability one has to show that $D(M)$ is compactly generated. i.e. there exists a set of objects $c_i$ that commutes with direct sums: $$Hom(c_i,\bigoplus x_j)=\bigoplus Hom(c_i,x_j)$$ and generates $D(M)$: $$\forall c_i Hom(c_i,x)=0 \Rightarrow x=0$$

My problem is that i can't find such a set of generators. I first tried shifts of

$$i_*\mathbb{Q}$$ where $i$ is the inclusion of an open subset. However these do neither commute with coproducts nor are they generators (they can not see sheaves without global sections). My second try was shifts of $$i_!\mathbb{Q}$$ these are generators, but again they do not seem to respect coproducts.

Can someone give a set of compact generators? Or is this approach to Verdier duality doomed anyway?

share|improve this question
    
I am not sure if this specific example is compactly generated, but without having really thought about it I would guess that it is at least well generated which is sufficient for the representability theorem to hold. Hopefully I have some time later to turn this into an actual answer (or I'll ask Amnon). –  Greg Stevenson Feb 17 '10 at 9:52
add comment

1 Answer

up vote 8 down vote accepted

The category of sheaves of $\mathbb{Q}$ vector spaces on $M$ is a Grothendieck abelian category. It follows that the derived category of such, $D(M)$ in your notation, is a well generated triangulated category. A proof of this can be found in Neeman's paper "On The Derived Category of Sheaves on a Manifold". In particular $D(M)$ satisfies Brown representability.

I thought I'd also comment on the proof. The point is that by a result of Alonso, Jeremías and Souto one can extend the Gabriel-Popescu theorem to the level of derived categories. This realizes the derived category of any Grothendieck abelian category as a localization of the derived category of R-modules for some ring R. The kernel of this localization can be generated by a set of objects and so general nonsense gives the desired generating set of $\alpha$-small objects for some regular cardinal $\alpha$ for the localization.

share|improve this answer
    
Thank you! I would still be interested, if D(M) is compactly generated for compact M. The paper you mentioned "On The Derived Category of Sheaves on a Manifold" tells us, that D(M) is not compactly gererated for non compact M. However it says nothing about compact M. –  Jan Weidner Feb 17 '10 at 12:21
    
Yes - it also considers the derived category of all sheaves of abelian groups. As I said in the comment I am not sure if it is compactly generated or not at the moment. –  Greg Stevenson Feb 17 '10 at 20:19
    
Also, you're welcome :) Another thing to add is that compactness may not be enough in general. There are certain smooth compact complex surfaces for which the finite version of Brown representability fails, although again this is not for the category of sheaves that you want to consider. So at least it isn't clear to me what to expect. –  Greg Stevenson Feb 17 '10 at 20:25
add comment

Your Answer

 
discard

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

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