Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred from the projectice model structure on chain complexes, it follows formally that the projective model structure on $cdga$ is right proper. However the only reference for it being left proper I know is Toen & Vezzosi's HAG II, and this proof is roundabout, in that they show that $cdga$ forms a HAG context, which hence implies it must be left proper. Does someone know a more direct proof, or a reference with one? Thanks!
Direct proof that the model category of cdgas is left proper
David Carchedi
- 15.5k
- 38
- 99