Reference for functors in Kadeishvili's C_\infty paper

Question

In his paper Cohomology $C_\infty$-algebra and rational homotopy type, Tornike Kadeishvili describes how the rational cohomology of a simply-connected space carries the structure of a $C_\infty$-algebra, and how this structure determines the rational homotopy type of the space. (The result has been mentioned before on MathOverflow, eg in these answers.)

I'm trying to follow the proofs, which are somewhat light on details. In particular, they rely on an adjoint pair of functors $$\Gamma\colon CDGAlg \rightleftarrows DGLieCoalg \colon \mathcal{A}$$ introduced in section 4.3, between the categories of commutative differential graded algebras, and differential graded Lie coalgebras. The functor $\Gamma$ is given as the composition $$\Gamma\colon CDGAlg\stackrel{B}{\to}DGBialg\stackrel{Q}{\to}DGLieCoalg$$ where $B$ is a bar construction and $Q$ is the functor of indecomposables. The adjoint functor $\mathcal{A}$ is dual to the Chevalley-Eilenberg functor. There is a standard weak equivalence $\mathcal{A}\Gamma(A)\to A$.

I am struggling to find any reference to these functors in the papers cited in the bibliography. For the proof of Theorem 9.1 we seem to need that the functor $\mathcal{A}\Gamma$ applied to the weak equivalences of $C_\infty$-algebras $$\lbrace f_i\rbrace\colon (H(A),\lbrace m_i\rbrace )\to (A,\lbrace d, \mu, 0,\ldots\rbrace)$$ yields a weak equivalence $\mathcal{A}\Gamma(H(A))\to\mathcal{A}\Gamma(A)$ in $CDGAlg$, but this is not stated anywhere and is not obvious to me.

Is the above true, and can anyone explain why?

Where can I read more about the functors $\Gamma$ and $\mathcal{A}$ and their properties, in particular in the setting of $C_\infty$-algebras?

Answer 1

You can find all the arguments in Chapter 11 of the book downloadable at http://math.unice.fr/~brunov/Operads.html. This chapter deals with the bar and the cobar constructions for algebras over a Koszul operad. The last section [11.4] treats the extension to homotopy algebras.

The theorem "the bar-cobar construction for $C_\infty$-algebras sends $\infty$-quasi-isomorphisms to quasi-isomorphisms" is exactly Proposition 11.4.11 apply to the operad $P=Com$.

[Needless to say that this reference does not provide the very first proof of this fact for $C_\infty$-algebras. Let's just say that it is freely available on the net, so easily accessible.]

Answer 2

Ben Walter and I make the functors $\Gamma$ and $A$ more explicit, by using an explicit model for the cofree Lie Coalgebra functor, in this paper. We do not discuss the application to $\infty$-algebras as Bruno does in much greater generality. (We were interested in using explicit models to be able to compute, in particular in the long exact sequence of a fibration as we do in a sequel to this paper on Hopf invariants.)