English

On the derived DG functors

K-Theory and Homology 2011-01-06 v2

Abstract

Assume that abelian categories A,BA, B over a field admit countable direct limits and that these limits are exact. Let F:Ddg+(A)>Ddg+(B)F: D^+_{dg}(A) --> D^+_{dg}(B) be a DG quasi-functor such that the functor Ho(F):D+(A)D+(B)Ho(F): D^+(A) \to D^+(B) carries D0(A)D^{\geq 0}(A) to D0(B)D^{\geq 0}(B) and such that, for every i>0i>0, the functor HiF:ABH^i F: A \to B is effaceable. We prove that FF is canonically isomorphic to the right derived DG functor RH0(F)RH^0(F). We also prove a similar result for bounded derived DG categories in a more general setting. We give an example showing that the corresponding statements for triangulated functors are false. We prove a formula that expresses Hochschild cohomology of the categories Ddgb(A) D^b_{dg}(A), Ddg+(A) D^+_{dg}(A) as the ExtExt groups in the abelian category of left exact functors AIndBA \to Ind B .

Keywords

Cite

@article{arxiv.1004.1918,
  title  = {On the derived DG functors},
  author = {Vadim Vologodsky},
  journal= {arXiv preprint arXiv:1004.1918},
  year   = {2011}
}

Comments

Final version. Erroneous example in the introduction is removed

R2 v1 2026-06-21T15:09:16.488Z