Return to Revisions

If you have two cdgas which are cofibrant (so built out of free cdgas and their cones via an iterated sequence of pushouts) and quasi-isomorphic then their homological invariants agree (one of the properties of cofibrant models is that any quasi-isomorphism between them admits a homotopy inverse). Vitali's example illustrates the problem in general: the minimal model for $H^* (S^2)$ is cofibrant, but $H^* (S^2)$ with trivial differential is not.