## When is a quasi-isomorphism necessarily a homotopy equivalence?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Under what circumstances is a quasi-isomorphism between two complexes necessarily a homotopy equivalence? For instance, this is true for chain complexes over a field (which are all homotopy equivalent to their homology). It's also true in an $\mathcal{A}_\infty$ setting.

Is it true for chain complexes of free Abelian groups? The case I'm particularly interested in is chain complexes of free $(\mathbb{Z}/2\mathbb{Z})[U]$ modules or free $\mathbb{Z}[U]$ modules, but I'm also interested in general statements.

-

3
Equivalent reformulation, considering the cone of the quasi-isomorphism: under what circumstances is an acyclic complex a split acyclic complex (i.e. spliced together from split short exact sequences)? True for complexes of projectives bounded to the right and, dually, for complexes of injectives bounded to the left. In free Z/4-modules, the unbounded complex .. -> Z/4 -2-> Z/4 -2-> Z/4 -> ... is acyclic, but not split acyclic. – Matthias Künzer Mar 24 2011 at 6:27

## 1 Answer

If your complexes are bounded, this is always true for any ring more generally replacing free modules with projectives. The statement is that D^b(A-mod) is equivalent to Ho(Proj-A mod) and you can find it in Weibel Chapter 10.4. If your complexes are unbounded things are more tricky. Then your statement is true in over any ring of finite homological dimension. Basically you have two notions K-projective(which have the property that you want) and complexes of projectives. Bounded complexes of projectives are K-projective, but unbounded ones are not unless you have the finiteness hypothesis(see Matthias' answer). See this post for the injective version of this story http://mathoverflow.net/questions/41642/question-about-unbounded-derived-categories-of-quasicoherent-sheaves. In the cases you are interested in there is no problem.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 3, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8884819746017456, "perplexity_flag": "middle"}