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



Dyer-Lashof based spectral sequence for homotopy classes of maps between infinite loop spaces (spectra).
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](http://www.math.northwestern.edu/~pgoerss/). They construct such a spectral sequence using Andre-Quillen cohomology in "Moduli spaces of commutative ring spectra," and "Andre-Quillen (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 Dyer-Lashof 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 Dyer-Lashof algebra.


They use this machinery to show in section 7 that the space of $E\_\infty$ maps between Lubin-Tate spectra is homotopically discrete. If you're looking for computations using these spectral sequences, that's a great place to start.


