On the derived DG functors

DOI10.4310/MRL.2010.V17.N6.A14MaRDI QIDQ2275763zbMATH OpenOpenAlexFDO

Authors Vadim Vologodsky

Publication date 9 August 2011

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1004.1918

zbMATH Keywords

DG categoriesDG quasi-functionsenriched derived categoriesGrothendieck's conditions defining right derived functors

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Differential graded algebras and applications (associative algebraic aspects) (16E45) Abelian categories, Grothendieck categories (18E10)

Abstract: Assume that abelian categories $A,B$ over a field admit countable direct limits and that these limits are exact. Let $F:D_{dg}^{+}(A)-->D_{dg}^{+}(B)$ be a DG quasi-functor such that the functor $Ho(F):D^{+}(A)o{D}^{+}(B)$ carries $D^{geq0}(A)$ to $D^{geq0}(B)$ and such that, for every $i>0$, the functor $H^{i}F:AoB$ is effaceable. We prove that $F$ is canonically isomorphic to the right derived DG functor $R{H}^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 $D_{dg}^b(A)$, $D_{dg}^{+}(A)$ as the $Ext$ groups in the abelian category of left exact functors $AoIndB$ .

Review text

This paper is a development of DG categories and DG quasi-functions, examined by \textit{B. Keller} [``On cyclic homology of exact categories, J. Pure Appl. Algebra 136, No. 1, 1--56 (1999; Zbl 0923.19004)], \textit{V. Drinfeld} [``DG quotients of DG categories, J. Algebra, 272, No. 2, 643--691 (2004; Zbl 1064.18009)], \textit{B. Toën} [``The homotopy theory of dg-categories and derived Morita theory, Invent. Math. 167, No. 3, 615--667 (2007; Zbl 1118.18010)] and others, designed to make a better reltion between geometry and enriched derived categories. The main result asserts that under mild assumptions on abelian categories \({\mathcal{A}}\) and \({\mathcal{B}}\) the DG quasi-functors isomorphic to DG derived functors are precisely the DG quasi-functors satisfying Grothendieck's conditions [\textit{A. Grothendieck}, ``Sur quelques points d'algèbre homologique, Tohoku Math. J., II. Ser. 9, 119--221 (1957; Zbl 0118.26104)], defining right derived functors.

Recommendations

• Adjunctions of quasi-functors between dg-categories
• Relative derived functors
• Derived categories
• Deriving DG categories
• Derived categories of \(N\) DG categories

Cited in

(10)

• Adjunctions of quasi-functors between dg-categories
• Derived 2-functors in (2-SGp)
• Hodge realizations of 1-motives and the derived Albanese
• Deriving DG categories
• D-Sets and BG-Functors in Kazhdan-Lusztig Theory
• scientific article; zbMATH DE number 1540324 (Why is no real title available?)
• Integrality of instanton numbers and \(p\)-adic B-model
• Coderived and contraderived categories of locally presentable abelian DG-categories
• The four operations on perverse motives
• Tensor structure on perverse Nori motives

This page was built for publication: On the derived DG functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2275763)