Skip to main content
2 of 2
edited body
David White
  • 30.3k
  • 9
  • 154
  • 250

Direct proof that the model category of cdgas is left proper

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 projective 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!

David Carchedi
  • 15.5k
  • 38
  • 99