Rational Homotopical Models and Uniqueness

The main goal of this paper is to prove the following conjecture of Baues and Lemaire: the differential graded Lie algebra associated with the Sullivan model of a space is homotopy equivalent to its Quillen model. In addition we show the same for the cellular Lie algebra model which we build from the simplicial analog of the classical Adams-Hilton model. It turns out that this cellular Lie algebra model is one link in a chain of models connecting the models of Quillen and Sullivan. The key result which makes all this possible is Anick's correspondence between differential graded Lie algebras and Hopf algebras up to homotopy. In addition we show that the Quillen model is a rational homotopical equivalence, and we conclude the same for the other models using our main result. The construction of the three models is given in detail. The background from homotopy theory, differential algebra, and algebra is presented in great generality.