5
$\begingroup$

A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every homotopy theory of simplicial algebras admits a proper model). Does a proof of this fact occur anywhere in the literature?

$\endgroup$
1
  • 5
    $\begingroup$ I don't know where it "appears", though of course it is not hard to prove; it amounts to the fact that polynomial algebras are flat. $\endgroup$ Sep 27, 2012 at 2:48

1 Answer 1

3
$\begingroup$

For simplicial commutative rings this is proved in Lemma 3.1.2 of Schwede's “Spectra in model categories and applications to the algebraic cotangent complex”, and the proof there immediately extends to algebras.

$\endgroup$
1
  • $\begingroup$ Charles was, I suppose, too modest to mention that it is also a special case of the paper I referred to in the question, but this is an earlier reference. $\endgroup$ Jun 30, 2015 at 10:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.