Cocommutative coalgebras: homotopy theory and Koszul duality

We extend a construction of Hinich to obtain a closed model category structure on all differential graded cocommutative coalgebras over an algebraically closed field of characteristic zero. We further show that the Koszul duality between commutative and Lie algebras extends to a Quillen equivalence between cocommutative coalgebras and formal coproducts of curved Lie algebras.Comment: 38 page