I stumbled upon this Lemma:



> 
> Let $X$ be a spectrum and $H\_p(X;\Omega\_q^{Spin})\Rightarrow MSpin\_{p+q}(X)$ the Atiyah-Hirzebruch spectral: 
> 
> 
> * The differential $d\_2\colon H\_p(X;\Omega\_1^{Spin})\to H\_{p-2}(X;\Omega\_2^{Spin})$ is the dual of $Sq^2\colon H^{p-2}(X;\mathbb{Z}\_2)\to H^p(X;\mathbb{Z}\_2)$
> * The differential $d\_2\colon H\_p(X;\Omega\_0^{Spin})\to H\_{p-2}(X;\Omega\_1^{Spin})$ is reduction mod $2$ (denoted with $r$) composed with the dual of $Sq^2$
> 
> 
> 


And the proof is based on the following observation: $d\_2$ is a stable homology operation and thus induced from elements in $$[H\mathbb{Z}/2, \Sigma^2 H\mathbb{Z}/2]\cong \mathbb{Z}/2\langle Sq^2\rangle$$ or $$[H\mathbb{Z}, \Sigma^2 H\mathbb{Z}/2]\cong \mathbb{Z}/2\langle Sq^2\circ r\rangle$$ 


where $HR$ is the Spectrum representing singular cohomology with coefficient $R$.


[In this paper](http://archive.numdam.org/ARCHIVE/CM/CM_1979__39_3/CM_1979__39_3_333_0/CM_1979__39_3_333_0.pdf), def 3.1 suggest that an Homology Operation is a natural transformation between homology functors, but for example Switzer introduces the Homology Cooperations in a complete different way (they might be different but it seems that in some cases they re the dual of the cohomology operations). So my questions are:


**1)** First of all, what's the relationship between homology operations and the homology cooperations described in Switzer's book for example.


**2)** Why are we looking at the stable Cohomology operations and then dualise it?


**3)** later in the paper the following reasoning is done: the edge homomorphism for the AHSS for stable homotopy is a stable homology operation form stable homotopy to singular homology, i.e. an element of $[S^0,H\mathbb{Z}]\cong \mathbb{Z}\langle h \rangle$ where $h$ is the Hurewicz homomorphism. Therefore (after testing with certain space) we can conclude that the edge homomorphism is given by the Hurewicz map. Where can I see some reference for the fact that $[S^0,H\mathbb{Z}]\cong \mathbb{Z}\langle h \rangle$? why aren't we dualise anything here as done above? (I know that homology is not necessarily the dual of cohomology, but I want to understand why we dualise above and not here, since map of spectra indices stable Cohomology operations.



Understanding Homology Operations and how to compute them
I will work stably: everything in sight will be a spectrum.




---


It is well known and classical that cohomology operations correspond to map of spectra: that is if $E,F$ are two spectra, a natural transformation $E^\*X→F^{\*+n}X$ correspond by Yoneda to a map of spectra $E→\Sigma^nF$.


On the other hand if you have a map of spectra $E→\Sigma^nF$, you also get a homology operation $E\_\*X→F\_{\*-n}X$. This is because homology can be written as
$$ E\_\*X = \pi\_\*(E\wedge X),\qquad F\_{\*-n}X=\pi\_\*(\Sigma^nF\wedge X)\,.$$
So understanding cohomology operations will give you also a supply of homology operations. This is **not** a dualization as you said, it is just a way to get a homology operation out of a map of spectra: no duality required. Moreover we can prove that all homology operations are of this form.


In fact any such operation is determined by its restriction to finite spectra (since every spectrum is a filtered homotopy colimit of finite spectra), and using the canonical equivalence $\mathrm{Sp}\_{fin}\cong\mathrm{Sp}\_{fin}^{op}$, such a natural transformation is the same thing as a natural transformation
$$E^{-\*}X=E\_\*DX→F\_{\*+n}DX=F^{-\*-n}X$$
when $X$ varies among finite spectra and $D$ is the Spanier-Whitehead dual. But we know that these operations are induced by maps $E→\Sigma^nF$. 


Basically, when you restrict to finite spectra homology and cohomology are pretty much the same thing: you just need a Spanier-Whitehead dual to pass from one to the other.


We can say more about the second differential in the AHSS: if we look at the construction of the AHSS that uses the Postnikov tower for the spectrum $E$ instead than the one using the cellular filtration for $X$, we immediately see that the differential $d\_2$ is the map of spectra given by the k-invariants of $E$. That is, we can look at the AHSS as the spectral sequence associated to the exact couple


$$\require{AMScd}
\begin{CD}
\dots @>>> \pi\_\*(P\_{n+1}E\wedge X) @>>> \pi\_\*(P\_nE\wedge X) @>>> \pi\_\*(P\_{n-1}E\wedge X) @>>> \cdots\\
{} @VVV {} @VVV {} @VVV {}\\
\dots @. \pi\_\*(H\pi\_{n+1}E \wedge X)=H\_\*(X;\pi\_{n+1}E) @. \pi\_\*(H\pi\_nE\wedge X)=H\_\*(X;\pi\_nE) @. \pi\_\*(H\pi\_{n-1}E\wedge X)=H\_\*(X;\pi\_{n-1}E) @.\cdots
\end{CD}$$


That is the $d\_2:H\_\*(X;\pi\_nE)\to H\_{\*-1}(X;\pi\_{n+1}E)$ is induced by the map of spectra
$$H\pi\_nE\to \Sigma P\_{n+1}E\to \Sigma H\pi\_{n+1}E\,.$$
So we can leverage our understanding of the cohomology operations to get at the $d\_2$ of the AHSS.




---


Now let us tackle homology cooperations. These are the homotopy classes of $E\wedge E$. I really do not have too much to say about them: they show up because they are important for the Adams spectral sequence (in fact they basically run the show there). They are also the "dual" of the cohomology operations. If $E$ is an $E\_\infty$-ring spectrum we can use the universal coefficient spectral sequence to go
$$\mathrm{Ext}\_{E\_\*}(\pi\_\*(E\wedge E),E\_\*) \Rightarrow \pi\_\*F\_E(E\wedge E,E)=\pi\_\*F(E,E)$$
where $F\_E$ and $F$ are the internal hom in $E$-modules and spectra respectively. For example when $E=Hk$ for $k$ a field (the main case people treat I think) this spectral sequence degenerates telling you that the $k$-linear dual of $\pi\_\*(Hk\wedge Hk)$ is the ring of cohomology operations. As you can see these have no direct relation to homology operations and they arise in a different setting altogether.




---


Finally, the Hurewicz homomorphism. This is, by definition, the map on homology theories defined by the map $h:\mathbb{S}\to H\mathbb{Z}$ sending 1 to 1. In fact, if $f:\Sigma^n\mathbb{S}\to X$ is a class in $\pi\_nX$ we are sending it to the image of the fundamental homology class of $\Sigma^n\mathbb{S}$. But the fundamental homology class is just the map
$$\Sigma^nh=(h\wedge 1):\Sigma^n\mathbb{S}\to H\mathbb{Z}\wedge\Sigma^n\mathbb{S}\,.$$
So we are sending $f$ to $(1\_{H\mathbb{Z}}\wedge f)\circ (h \wedge 1) = (h\wedge f)$, that is we are doing the homology operation represented by $h$.


