1
$\begingroup$

Let $A$ be differential graded algebra (we abbreviate to dga) and $K(A)$ (resp., $D(A)$) the homotopy category (resp., derived category) of $A$-Mod.

A dg A-module $P$ is cofibrant if $$\textrm{Hom}_{K(A)} (P,L) \to \textrm{Hom}_{K(A)} (P,M) $$ is surjective for any quasi-isomorphism $L \to M$ which is surjective. See Section 2.12 in Derived equivalents from mutations of quivers with potential.

I have two questions:

  1. I would like to know how the projection functor $K(A) \to D(A)$ induces an equivelance $A-\textrm{cofib} \sim D(A)$, where $A-\textrm{cofib}$ is the full subcategory of $K(A)$ on the cofibrant objects.
  2. The cannonical projection from $K(A) \to D(A)$ admits a left adjoint functor ${\bf p}$ sending a dg $A$-module to a cofibrant dg $A$-module $_{\bf p}M$ quasi-isomorphic to $M$. What's the left adjoint functor ${\bf p}$ or how to understand the left adjoint functor ${\bf p}$?
Improve this question
$\endgroup$
2
  • $\begingroup$ The notation $K(A)$ for the homotopy category is unusual, and there is no reasonable functor from the homotopy category to $D(A)$. By $K(A)$ do you mean the category of cofibrant objects? $\endgroup$
    – Dmitry Vaintrob
    Commented Dec 17, 2016 at 15:21
  • $\begingroup$ I mean that $K(A)$ is a homotopy category, see en.wikipedia.org/wiki/Derived_category $A$-cofib is the full subcategory of $K(A)$ consisting of cofibrant objects. $\endgroup$
    – bing
    Commented Dec 18, 2016 at 12:07

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .