The homology of an infinite loop space, which represents a spectrum, is an algebra over the DyerLashof algebra (see for example CohenLadaMay's Springer volume, or for part of the story the more accessible Luminy notes of BissonJoyal). Has anyone used this to construct a spectral sequence converging under some assumptions to $[X,Y]$, the homotopy classes of infiniteloopmaps between $X$ and $Y$, which starts with some kind of derived (Ext/Tor) maps between their homology in the category of algebras over the DyerLashof algebra? Have any calculations been done with such a spectral sequence?

$\begingroup$ Note: because of "duality" between the DyerLashof algebra action on the homology of \Omega^\infty \Sigma^\infty X and the Steenrod action on the cohomology of X, one might recover something close to the Adams Spectral sequence in these cases. $\endgroup$– Dev SinhaApr 12, 2010 at 23:03

$\begingroup$ Does Peter May say something about this in his paper "A general algebraic approach to Steenrod operations" (ams.org/mathscinetgetitem?mr=281196) ? I can't find my copy, so I don't remember what spectral sequences he writes down. Probably there are no calculations in that paper, in any event. $\endgroup$– Bill KronholmApr 13, 2010 at 15:14

1$\begingroup$ No, not there, but a spectral sequence of the sort requested does appear in ``The geometry of iterated loop spaces'', pages 155156. That is probably the first reference to such a spectral sequence, but not the best. I believe Kraines and Lada made some calculational use of such a spectral sequence. $\endgroup$– Peter MayJan 2, 2012 at 0:07
2 Answers
This might not quite be what you're looking for, Dev, but you should check out Paul Goerss and Mike Hopkins' "Multiplicative ring spectra project," on Paul's webpage. They construct such a spectral sequence using AndreQuillen cohomology in "Moduli spaces of commutative ring spectra," and "AndreQuillen (co)homology for simplicial algebras over simplicial operads." A relevant theorem would be 4.3 in the first reference, which gives the spectral sequence.
Though this doesn't use DyerLashof operations, they appear in section 6 (especially Prop 6.4) where Goerss and Hopkins give a second spectral sequence which computes the $E_2$ term of the original spectral sequence. The new $E_2$ term is given in terms of an $Ext$ functor in the category of unstable modules over the DyerLashof algebra.
They use this machinery to show in section 7 that the space of $E_\infty$ maps between LubinTate spectra is homotopically discrete. If you're looking for computations using these spectral sequences, that's a great place to start.
I'm not sure if this is what you want, but Haynes Miller constructs a spectral sequence computing the homology of a connective spectrum $E$ from the homology of $E_0$ as a Hopf algebra over the DyerLashof algebra in the 1978 Pacific Journal of Mathematics paper "A spectral sequence for the homology of an infinite delooping."