It is known that the rational homotopy theory of spaces (e.g. simplicial sets) is equivalent in some sense to the homotopy theory of cdgas over $\mathbb{Q}$. This has been expressed in various forms in the literature. For instance, Felix-Halperin-Thomas show that homotopy classes of maps between simply connected rational spaces with finite-dimensional homology in each dimension can be computed via homotopy classes of cdga maps between Sullivan models for each of them. However, there is a stronger statement that I would like to be true, have heard asserted (without proof) that it is true, but haven't been able to figure out: I would like for that statement to be true without finite-dimensional hypothesis.
Consider the following two model categories:
First, we can take simplicial sets with the usual (Kan) model structure, and then left Bousfield localize at the class of "rational homology equivalences." In other words, the model structure is such that the cofibrations are the injections, weak equivalences are maps inducing isomorphisms on $H_*(\cdot, \mathbb{Q})$, and everything else is determined. That this model structure exists follows from a combination of the small object argument and the Bousfield-Smith cardinality argument (or one can probably appeal to general facts on existence of Bousfield localizations).
Second, we can take commutative dgas (nonnegatively graded) over $\mathbb{Q}$. The model structure is obtained by transfer from a slight variant of the model structure on nonnegatively graded chain complexes. In other words, a fibration of cdgas is a surjection, and a weak equivalence is a quasi-isomorphism. The cofibrations are thus determined; there is a standard generating set (basically, what one gets by applying the free functor to generating sets for chain complexes).
Edit: As Tyler Lawson observes below, this is not actually a model structure. I am not sure at the moment what the right one is. Perhaps we should relax "surjections" to "surjections in degrees $\geq 1$." Alternatively, we could consider the model category of all cdgas (in which case the functor below is obviously not anywhere near a Quillen equivalence).
Now, we have a Quillen adjunction between the first and the opposite of the second, which sends a simplicial set $X_\bullet$ to the "polynomial de Rham algebra" $A^{PL}(X_\bullet)$, a cdga which is quasi-isomorphic to the rational cochain algebra (and which, in particular, solves the commutative cochain problem).
Q1: Is this a Quillen equivalence? (As Tyler Lawson points out, there is a simple reason why this is not the case: namely, that elements in $H^0$ could be nilpotent. Is this, however, the "only" reason why it fails? For instance, what if one restricts to cdgas that are "connected," i.e. have only $\mathbb{Q}$ in degree zero?)
I have not seen this statement in what I've read (not that much). In fact, most authors seem to prefer to work only with simply connected spaces; the advantage is that there you can localize at the rational homotopy equivalences (which are the same as the rational homology equivalences by the mod $\mathcal{C}$ theory). Granted, simply connected spaces do not form a model category. Quillen dealt with it by working with 2-reduced simplicial sets (those with only one vertex and edge). Other authors (e.g. Felix-Halperin-Thomas) don't use the framework of model categories at all, but state something essentially equivalent to this in the case when one works with simply connected spaces with finite-dimensional homology groups.
Here's what I understand of the argument, and why I don't know how to extend it. The basic claim, as before, is that if $X_\bullet $ and $Y_\bullet$ are simplicial sets, with $Y_\bullet$ an abelian space and a rational Kan complex (if I'm not mistaken, these are fibrant in the model structure thus constructed), and $A, B$ are cofibrant (e.g. Sullivan) models in cdgas for $X_\bullet, Y_\bullet$, then homotopy classes of maps $[X_\bullet, Y_\bullet]$ are the same as homotopy classes of maps $ B \to A$. By using a Postnikov tower to express $Y_\bullet$ as a homotopy inverse limit under a whole bunch of fibrations with Eilenberg-MacLane spaces as fibers, we can assume that $Y_\bullet $ is a $K(V, n)$ for $V$ a vector space over $\mathbb{Q}$. (If I understand correctly, fibrations and homotopy inverse limits of spaces obtain good Sullivan models.) If $V$ is finite-dimensional, then we have an explicit Sullivan model (just a free (graded)-commutative algebra), and so we can compute homotopy classes of maps $B \to A$; they'll be the same as maps from $V$ into the cohomology of $X_\bullet$. But maps from $X_\bullet$ into an Eilenberg-MacLane space classify cohomology classes, so we're done.
But, this doesn't seem to work when $V$ is infinite-dimensional. I don't know what a good Sullivan model for a $K(V, n)$ is anymore. The cohomology in dimension $n$ is $V^\vee$, but, say, if $n$ is even, then the cohomology in dimension $2n$ should be $(V \otimes V)^{\vee}$, not what would be nice: $V^\vee \otimes V^\vee$. So, is this statement even true? At the very least, can we get some kind of equivalence of $\infty$-categories?
Quillen himself stated the result using a Quillen equivalence, but it's actually a somewhat complex series of them. He starts with reduced 2-simplicial sets, and then goes to reduced simplicial groups via the loop group construction, then takes the completed group ring dimensionwise to get a simplicial complete Hopf algebra, and then takes primitive elements to get a simplicial Lie algebra, and then applies the lax symmetric monoidal Dold-Kan functor to get dg-Lie algebras. So maybe dg-Lie algbras (or dg-coalgebras) are better than cdgas for describing rational homotopy theory.
Still, one thing that I would like to be true, but is not proved in Quillen's paper, is a direct Quillen equivalence starting with (localized) simplicial sets and ending in some algebraic category. The problem is, the Quillen equivalences I've described go in the opposite direction. The loop group is a left adjoint, but taking primitive elements is a right adjoint. So, while there is an honest Quillen equivalence between reduced simplicial sets and simplicial complete Hopf algebras, there is not proved (in this paper, as far as I can tell) the existence of a single Quillen equivalence (not a zig-zag) which ends in a category with no reference to topology.
Q2: Is there a direct Quillen equivalence of the rational homotopy category with a nice algebraic category?
For instance, it would be interesting if there was some coalgebra version of the de Rham complex.
