# mod $p$ homology of Thom spectra MSU

Using pairing in Atiyah-Hirzebruch spectral sequence one can show that homology of $$BU(n)$$ is a free abelian group with basis $$\alpha_{k_1}\cdots\alpha_{k_t}$$, $$k\leqslant n$$, where $$\alpha_{i} = \big((c_1)^i\big)^* \in H_{2i}(\mathbb C P^\infty)$$. Therefore, passing to (co)limits and applying the Thom isomorphism, we have $$$$H_*(MU) \cong \mathbb Z[a_1, a_2, \ldots].$$$$

Since polynomial generators come as image of homology classes of $$\mathbb C P^\infty$$, $$\mathfrak A_p^*$$-comodule structure of $$H_*(MU; \mathbb F_p)$$ can be deduced from the one of $$H_*(\mathbb C P^\infty; \mathbb F_p)$$.

Is there any similar description of $$H_*(MSU; \mathbb F_p)$$? Namely, is there any description of $$H_*(MSU; \mathbb F_p)$$ as an $$\mathbb F_p$$-algebra and $$\mathfrak A_p^*$$-comodule?

• Basically you can play the same game at odd prime. I don't know about the explicit $F_p$ algebra structure, but $A_p$ commodule structure at odd prime is quite simple, and at 2, it is described in (1.5) of The Homotopy Type of MSU David J. Pengelley American Journal of Mathematics American Journal of Mathematics Vol. 104, No. 5 (Oct., 1982), pp. 1101-1123 – user43326 Mar 12 at 8:02
• @user43326, is there any reference to $A_p^*$-comodule structure of $H_*(MSU;\mathbb F_p)$ for odd $p$? – Semyon Abramyan Mar 12 at 11:47
• I don't have any reference, but at odd $p$, $MSU$ splits as wedge of $BP$, this gives the action of the Steenrod algebra. – user43326 Mar 12 at 14:27
• @user43326 do you how to prove the latter? – Semyon Abramyan Mar 12 at 15:22
• Well, Pengalley says, "standard method"... I would imagine you can simply compute it using the Thom isomorphism. Although there might be an argument using the fact that both $MSU$'s homotopy and homology are torsion-free. – user43326 Mar 13 at 7:10