If $X$ is a based connected topological space, it is well-known what the homology of $\Omega\Sigma X$ is: according to the Bott-Samelson theorem, it is a tensor algebra over reduced homology of $X$. (Some assumptions about coefficients should be put here).


However, it is also known that $\Omega\Sigma X$ is weakly equivalent to $D\_1X$, where $D\_1$ is a monad associated to little intervals operad. Passing to the homology, I can see that:


1. $H\_\*(\mathcal{D}\_1(\*);R)$ forms an operad in graded $R$-modules;
2. Homology of $D\_1X$ is an algebra over this operad.


All of the proofs of the Bott-Samelson theorem which I know use rather geometric description of $\Omega\Sigma X$, without using any information coming from the operad action. So my (probably quite vague) question is: is it possible to prove B-S theorem using operadic data? The result being something like "free $\mathcal{D}\_1$ algebra in $R$-modules with base $H\_\*(X;R)$"?


Maybe this is a question about reference, but any help would be appreciated. 



Homology of a loop-suspension space and action of $\mathcal{D}_1$-operad
$\newcommand{\E}{\mathbf{E}} \newcommand{\co}{\mathcal{O}} \newcommand{\free}{\mathrm{Free}} \newcommand{\H}{\mathrm{H}}$Here's one way of seeing the Bott-Samelson theorem. The James splitting gives an equivalence
$$\Sigma \Omega \Sigma X \simeq \bigvee\_{n>0} \Sigma X^{\wedge n},$$
so you find that if $k$ is a field, then the reduced homology $\H\_\ast(\Omega \Sigma X;k)$ (which is the homology of the suspension spectrum of $\Omega \Sigma X$) is isomorphic to $\bigoplus\_{n\geq 0} \H\_\ast(X^{\wedge n}; k) \cong \bigoplus\_{n\geq 0} \H\_\ast(X; k)^{\otimes n}$. This is the tensor algebra on $\H\_\ast(X; k)$; one observes that this isomorphism is actually multiplicative, too (it comes from the James splitting for $\Sigma^\infty\_+ \Omega \Sigma X$ being multiplicative), so $\H\_\ast(\Omega \Sigma X;k)$ is multiplicatively isomorphic to the tensor algebra on $\H\_\ast(X; k)$.


I'll write $\E\_k$ for what you call $D\_k$, so that the space $\Omega \Sigma X$ is the free $\E\_1$-space on $X$. In general, if $\co$ is an operad in spaces, then the $E$-homology $E\_\ast(\free\_\co(X))$ of the free $\co$-space on $X$ is given by the homotopy of $E \wedge \free\_\co(X) \simeq \free\_\co(E\wedge X)$, where the right hand side is the free $\co$-algebra on $E\wedge X$ in $E$-modules. This final equivalence is eseentially a consequence of the fact that the free functor is defined as a homotopy colimit, and these commute with smash products. The homotopy of this spectrum will be (in nice cases, e.g., homology with field coefficients) the free $E\_\ast$-module generated by $\co$-$E$-Dyer-Lashof operations on $E\_\ast X$.


One way to understand these Dyer-Lashof operations is as follows. There is a *stable* Snaith splitting which works more generally for any operad in spaces as above (that specializes to the stable version of the James splitting for $\co = \E\_1$):
$$\Sigma^\infty\_+ \free\_\co(X) \simeq \bigvee\_{n\geq 0} (\co(n)\_+ \wedge \Sigma^\infty X^{\wedge n})\_{h\Sigma\_n},$$
where $\co(n)$ are the spaces in $\co$. One can prove this essentially formally. The $\co$-$E$-Dyer-Lashof operations are encoded in the $E$-homology of $\co(n)$ --- this is the non-formal component of computing the $E$-homology of free $\co$-spaces. If $\co = \E\_k$, then $\co(n) = \mathrm{Conf}\_n(\mathbf{R}^k)$; when $k=1$, you find that there are no interesting Dyer-Lashof operations (other than "take powers"), so you get the Bott-Samelson result from these general considerations. For higher $k$, these Dyer-Lashof operations get a lot more interesting.


