4
$\begingroup$

Sorry for this question but I really have difficulties with model categories.

Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to H^*(A) $$ (Here $H^*(A)$ is the cohomology $dg$-algebra of $A$ with differential 0)

So my question is:

Is this equivalent to require, that there exists a $dg$-algebra $C$ and quasi-isomorphisms $$A\to C\leftarrow H^*(A) $$

Improve this question
$\endgroup$
4
  • 3
    $\begingroup$ The short answer is 'Yes'. The slightly longer answer is the following: Localize the category of DG-algebras at quasi-isomorphisms. Both conditions are equivalent to a third one which does not involve direction of arrows: $A$ and $H^*A$ are isomorphic in the localization. $\endgroup$
    – Fernando Muro
    Commented Mar 24, 2014 at 11:46
  • $\begingroup$ Thanks. By the way, do you suggest any reference? $\endgroup$
    – Oliver Straser
    Commented Mar 24, 2014 at 12:13
  • 2
    $\begingroup$ You're welcome. Gabriel-Zisman, Hovey, Hirschhorn... $\endgroup$
    – Fernando Muro
    Commented Mar 24, 2014 at 12:17
  • 3
    $\begingroup$ Let me add that you may enjoy Gabriel-Zisman most. It is were all this business started (also in Quillen's homotopical algebra book). Those books may help you with your intuition on model categories. $\endgroup$
    – Fernando Muro
    Commented Mar 24, 2014 at 13:57

0

Reset to default

You must log in to answer this question.