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

I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F \circ G)$ that happens under various circumstances.

Questions:

1.) Suppose I have an additive functor $F$ between abelian categories (say with enough injectives and projectives). If $F$ is left or right exact I can consider its right or left derived functors respectively. With the derived category formalism is there a useful notion of a derived functors if $F$ is neither left nor right exact? Perhaps such a notion could associate to a short exact sequence a long exact sequence (that continues in both directions).

2.) I've heard that with the formalism of derived categories one is able to compose left and right derived functors. I assume that you have to work in an unbounded derived category somehow, because right and left derived functors are defined on different derived categories. This seems to be entirely omitted from Hartshorne. Is it useful to consider such compositions (say in algebraic geometry, or etale cohomology)?

References will be greatly appreciated!

share|improve this question
1  
You can consider the right and left derived functors of an arbitrary additive functor, not necessarily left or right exact; IIRC it will just in general fail to be the case that the zeroth derived functor coincides with the original functor. –  Qiaochu Yuan Apr 9 '13 at 5:56
    
An example of a "useful" composition of left and right derived functors is the direct image of D-modules, which is a $R\pi_*$ applied to a derived tensor product. –  Ketil Tveiten Apr 9 '13 at 8:30
add comment

1 Answer 1

For 1) you should look into Positselski papers. For 2) see this question Composing left and right derived functors.

share|improve this answer
    
Sasha, so it seems like #1 isn't mainstream. Is that right? –  LMN Apr 9 '13 at 6:23
    
It depends on what do you want from the derived functor. If you want it to be a natural extension to the derived category of the initial functor, you have to be careful. As far as I understand in case of a nonexact functor the answer is that you have to modify the derived category appropriately. I think you can find an explanation in Positselki papers. –  Sasha Apr 9 '13 at 6:41
    
Thanks for you comments Sasha! –  LMN Apr 9 '13 at 6:54
2  
Specifically, double-sided derived functors are discussed in my book "Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures" (the arXiv version can be found at arxiv.org/abs/0708.3398 , but the printed book version is better). A more precise reference is Section 2.7. –  Leonid Positselski Apr 9 '13 at 10:32
2  
This is a definition of a balanced double-sided derived functor of a functor of two arguments, in which the objects/complexes whose substitution at the first argument makes the functor exact in the second argument are used as resolutions. The construction is sensitive to the fine details of the definitions of the derived categories from which the would-be derived functor is supposed to act, and a modification of the conventional definitions is sometimes required, as Sasha mentions above. See Section 0.2.3 for counterexamples. –  Leonid Positselski Apr 9 '13 at 10:37
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.