Welcome to MathOverflow

Question

5

1

Hi,

I want to consider a scheme $X$ which is proper over a field $k$. With $Qcoh(X)$ resp. $Coh(X)$ I mean the abelian category of quasicoherent resp. coherent sheaves on $X$. With $Vec(k)$ resp. $Vec_{f}(k)$ I mean the category of k-vector spaces resp. finitedimensional k-vector-spaces.

I consider the left exact functor

$\Gamma: Qcoh(X) \rightarrow Vec(k)$

Then, as $Qcoh(X)$ has enough Injectives one has a right derived functor

$R\Gamma: D^{+}(Qcoh(X)) \rightarrow D^{+}(Vec(k))$.

My question: how can I get the right derived functor of

$\Gamma: Coh(X) \rightarrow Vec_{f}(k)$?

I know that it exists, it is constantly used e.g. in Huybrechts book about Fourier-Mukai. But I don't see how you get it.

Of course one first thinks of just composing

$D^{+}(Coh(X)) \rightarrow D^{+}(Qcoh(X)) \rightarrow D^{+}(Vec(k))$,

but who tells me that this will satisfy the universal property for derived functors? (That you land in the finitedimensional vecs is not that important for me.)

As a stimulus see discussion after Theorem 3.21 in Huybrechts' book about Fourier-Mukai. As I say below in a comment I can't cope with his treatment at that point.

Thanks a lot!

edited Aug 19 2011 at 16:08

asked Aug 19 2011 at 12:27

Descartes
297●1●4

4

I believe the standard way to handle such problems if you are happy to assume the scheme is Noetherian, is to rather than consider D^+(Coh(X)) we consider for example the equivalent category D^+_{Coh}(QCoh(X)) or even D^+_{Coh}(Mod(X))(this might require to assume quasi-compact and seperated). That is the derived category of quasicoherent sheaves with coherent cohomology. This category has injectives as usual... – Daniel Pomerleano Aug 19 2011 at 13:58

1

Huybrechts, in that very book, actually states this quite carefully and examines it pretty thoroughly. See Proposition 2.42 and the surrounding material. – Matt Aug 19 2011 at 15:56

I know the book and my problem actually arose from the discussion in that book, especially what he says after Theorem 3.21. I don't think that it suffices what he is saying. In fact, he just takes the composition of the functors as I mentioned it in my question, then shows that you land in the finitedimensional vector spaces and that you can take the bounded categories, but definitely not why this really is the derived functor. You don't a priori know that it exists in the sense of its universal property. – Descartes Aug 19 2011 at 16:07

Derived functor of global sections of coherent sheaves

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.