arXiv:2108.12713v1 [math.AT] 28 Aug 2021 nerlplnma polynomial integral ftetm aecnrbtdt hsdvlpet h daof idea The development. this to contributed [ Pontryagin have time the of acltoswt hsrn.Amdrie xoiino thi of exposition modernised A ring. this with calculations isn nNvkvswr [ work Novikov’s in missing geometr the [ includes Stong it and Panov; and Limonchenko Chernykh, of ring SU-bordism the sp of of structure multiplicative groups homotopy stable for tool computational main the bordis of context the [ in Mironov spectr developed Adams–Novikov further the was of approach application This the on based posed, c the of description the in culminated It theory. bordism the theor bordism of results Key [ transversality. Thom of concept the deg ok fMlo [ Milnor of works aclto of calculation Foundation. h hoyo ods n oods a cieydvlpdi developed actively was and bordism of theory The sa lutaino i prah oio ulndacompl a outlined Novikov approach, his of illustration an As Adam the of potential the realised quickly have Topologists nNvkvs16 ok[ work 1967 Novikov’s In .Introduction 1. 2020 generators References Multiplicative theorem 5. Novikov’s Thom the of 4. 3. Preliminaries 2. hswr sspotdb h usa cec onainund Foundation Science Russian the by supported is work This a i 2 = ahmtc ujc Classification. Subject Mathematics Th oouesrcueof structure comodule where isn nteliterature. the in missing Abstract. Mir i ,Nvkv[ Novikov ], hsrsl a ic on ueosapiain nalgeb in applications numerous found since has result This . St Po Ω ,Btink[ Botvinnik ], ,tecluain ihteAasNvkvseta sequen spectral Adams-Novikov the with calculations the ], Ω SU h eae h hoyo rmdbrimt h tbehomot stable the to bordism framed of theory the related who ] SU sthe is Mi2 egv opeepofteNvkvisomorphism Novikov the proof complete a give We ih2ivrtd aeyo rvn h igisomorphism ring the proving on namely invereted, 2 with No1 n oio [ Novikov and ] SU Z NHMLG FTHE OF HOMOLOGY ON , [ brimrn.Tepofue h dm pcrlsqec an sequence spectral Adams the uses proof The ring. -bordism Bo a No3 H No2 No3 i • : ( n esii [ Vershinin and ] MSU i rn e praht oods n tbehmtp theor homotopy stable and cobordism to approach new brand a ] Ω ,Wl [ Wall ], .Afl ecito fteS-ods ring SU-bordism the of description full A ]. > SU ]o nntl aygnrtr,wt n eeao nevery in generator one with generators, many infinitely on 1] ; F ⊗ p 52,5S0 57R77. 55S10, 55N22, vrteda terdalgebra Steenrod dual the over ) No1 Z Wa1 Z MSU [ , 2 1 EYNABRAMYAN SEMYON ] No2 ,Aebc [ Averbuch ], 1. = ∼ Ve Z Introduction Ω .Tering The ]. Contents [ .TeAasNvkvseta eunehsas become also has sequence spectral Adams–Novikov The ]. 2 1 SU ][ y hc rvddasseai iwo ale geometric earlier on view systematic a provided which , 2 1 y , 3 rgrant er Av . . . , ecito sgvni h uvyppr[ paper survey the in given is description s MSU ,Mlo [ Milnor ], fmnflswt iglrte ntewrsof works the in singularities with manifolds of m eeotie ntewrso ohi [ Rokhlin of works the in obtained were y Ω ] lsqec n omlgoplw techniques. laws group formal and sequence al , t ecito fteadtv oso n the and torsion additive the of description ete crslsb al[ Wall by results ic mlx(ruiay ods ring bordism unitary) (or omplex ee [ heres Ω U pcrlsqec [ sequence spectral s № SU h 9016s otlaigtopologists leading Most 1950–1960s. the n ods a rtepiil omltdby formulated explicitly first was bordism deg a hw ob smrhct graded a to isomorphic be to shown was 17-04 n atal uddb h Simons the by funded partially and 21-71-00049 SPECTRUM ⊗ A p ∗ y Z Ra i Mi2 [ ihodprime odd with 1 2 2 = actplg n beyond. and topology raic ] ]. e n h eal ftearguments the of details the and ce, = ∼ ,Aia [ Atiyah ], i. Z Ω [ 2 1 SU ][ y p ruso pee using spheres of groups opy 2 Wa2 y , ecito fthe of description a d eissbtnilyo the on substantially relies 3 Ad1 . . . , At p ,Cne–ly [ Conner–Floyd ], hc a also was which , ]. ] , o acltosin calculations for ] deg y i vndegree, even 2 = a pro- was y Ω i U , nthe in CLP CF2 Ro 10 ], 8 7 4 2 1 ] ] 2 SEMYON ABRAMYAN

This result first appeared in Novikov’s work [No2] with only a sketch of the proof, stating that it can be proved using Adams’ in a way similar to Novikov’s calculation of the complex bordism ring ΩU . Although the result has been considered as known since the 1960s, its full proof has been missing in the literature, and also not included in the survey [CLP]. The main goal of this work is to give a complete proof of the isomorphism above using the original methods of the . It is included as Theorem 4.1. While filling in details in Novikov’s sketch we faced technical problems that seemed to be unknown before. For example, the comodule structure of F A∗ H•(MSU; p) over the dual p with odd prime p has not been satisfactory described in the literature. This calculation is one of the main results of the paper (Theorem 3.9). We also included a description of the related Hurewicz homomorphism π•(MSU) → H•(MSU) and forgetful map π•(MSU) →

π•(MU) in appropriate generators (with 2 inverted) in Corollary 5.3, and a result on the divisibility of characteristic numbers of SU-manifolds (Theorem 5.2). The structure of the paper is as follows. In Section 2, we fix notation and recall the necessary infor- mation on bordism, operations and the Adams spectral sequence. In Section 3, we describe F A∗ H•(MSU; p) as a p-comodule. Then in Section 4 using the Adams spectral sequences we prove the iso- SU Z 1 ∼ Z 1 morphism Ω ⊗ [ 2 ] = [ 2 ][y2,y3,...]. Finally, in Section 5 we descibe the Hurewicz homomorphism and compute the Milnor genus sn(yn). I wish to express gratitude to my supervisor Taras E. Panov for stating the problem, valuable advice and countless hours of discussions. I thank my advisor Alexander A. Gaifullin for stimulating discussions and significant contribution to this work.

2. Preliminaries In this section we recall necessary facts and notation. To fully explore the topics listed below, we recom- mend the following sources [Sw, St, CF1, MS, MT, SE, Ra]. Let G denote either the unitary group U or the special unitary group SU. Denote by MG corresponding Thom spectrum, i.e. the spectrum whose spaces are Thom spaces of the universal vector G(n)-bundles. By the fundamental theorem of Pontryagin and Thom, the homotopy groups of the Thom spectrum MG are isomorphic to the bordism ring of manifolds with a G-structure on the stable normal bundle.

The main technical tool for computations of π•(MG) will be the Adams spectral sequence. We first recall some basic facts about Steenrod operations. Let X be a and k be a non-negative integer. There are natural cohomology operations called Steenrod operations k n n+k Sq : H (X; F2) → H (X; F2), and for an odd prime p k n n+2n(p−1) P : H (X; Fp) → H (X; Fp). These operations are defined by the following properties. k k (1) Sq is F2-linear, P is Fp-linear. (2) Sq0 = 1 and P 0 = 1. (3) Sq1 is the Bockstein homomorphism. (4) If k > deg x then Sqk(x)=0. If2k > deg z then P k(z) = 0. (5) If k = deg x, the Sqk(x)= x2. If2k = deg z, then P k(z)= zp. k k i k−i k k i k−i (6) (Cartan formula) Sq (xy)= i=0 Sq (x)Sq (y), P (zw)= i=0 P (z)P (w). (7) (Adem relations) If 0

If 0

l/p (p − 1)(k − i) − 1 P lP k = (−1)l+i P k+l−iP i, l − pi Xi=0   l/p (p − 1)(k − i) P lβP k = (−1)l+i βP k+l−iP i l − pi Xi=0   (l−1)/p (p − 1)(k − i) − 1 + (−1)l+i P k+l−iβP i, l − pi Xi=0   n n+1 where β : H (X; Fp) → H (X; Fp) is the mod p Bockstein homomorphism. k For a prime p, define the mod p Steenrod algebra Ap to be the free Fp-algebra generated by Sq , k > 1, if p = 2, or by β and P k, k > 1, if p is odd, modulo the Adem relations. By the Cartan-Serre theorem, the admissible monomials form an additive basis of A2 (resp. Ap). The Steenrod algebra is a , with a coproduct induced by the map of the Eilenberg-MacLane spectra 1 ∞ 0 η∧ HFp ≃ Σ S ∧ HFp −−→ HFp ∧ HFp. A∗ The following theorems describes the structure of its dual Hopf algebra p. A∗ Theorem 2.1 (Milnor [Mi1]). For p = 2, let ξn ∈ ( 2)2n−1 be the dual basis element 2n−1 2n−2 2 1 ∗ ξn = (Sq Sq · · · Sq Sq ) . A∗ A∗ For odd p, let ξn ∈ ( p)2(pn−1) and τn ∈ ( p)2pn−1 be the dual basis elements

pn−1 pn−2 p 1 ∗ ξn = (P P · · · P P ) , pn−1 pn−2 p 1 ∗ τn = (P P · · · P P β) . Then for p = 2, we have an isomorphism of algebras A∗ ∼ F 2 = 2[ξ1,ξ2,...], and for odd p, we have an isomorphism of algebras A∗ ∼ F p = p[ξ1,ξ2,...] ⊗Fp ΛFp [τ0,τ1,...]. A∗ Let ξ0 = 1. The coproduct on p is given by n pk ∆(ξn)= ξn−k ⊗ ξk, for all p; k=0 X n pk ∆(τn)= τn ⊗ 1+ ξn−k ⊗ τk, for odd p. Xk=0 Theorem 2.2 (Brown-Davis-Peterson [BDP, Theorem 1.2]). Let ξ =1+ ξ1 + ξ2 + . . . If R = (r1, r2,...) is R r1 r2 A∗ i a finite sequence of non-negative integers, let ξ = ξ1 ξ2 ···∈ p, e(R)= i>1 ri, n(R)= i>1 ri(p − 1), and e(R) the multinomial coefficient. Then for each integer k, r1,r2,... P P  c(n(R)+ k + 1) e(R) ξ¯k = ξR, e(R) r1, r2,... XR    where c(m)= pi − m, with i the smallest integer such that pi − m is positive. 4 SEMYON ABRAMYAN

For an G, let ∞ p∞G = prG, r=1 \ be the subgroup of elements divisible by pr for any r > 1, and let ∞ Gp = G/p G. If G is finitely generated, then the latter equals G modulo torsion of order prime to p. Theorem 2.3 (Adams Spectral Sequence). Let p be a prime, and let X be a ring spectrum of finite type. Then there is a natural multiplicative spectral sequence s,t ∼ s • F F E2 = ExtAp H (X; p), p t =⇒ πt−s(X)p, where  s,t s+r+1,t+r dr : Er → Er . A∗ An element x in p-comodule is called primitive if it maps to 1 ⊗ x under the structure map. Z Z i ∗ C ∞ Recall that H•(MU; )is isomorphic to [b1, b2,...], where bi = j∗ (c1) and j : P → MU is the ∗ canonical map. The following theorem describes the A - structure of H•(MU; F ). p  p F F Theorem 2.4 ([Sw, Chapter 20]). Let PH•(MU; p) be the subalgebra of primitive elements of H•(MU; p). Then F F t PH•(MU; p)= p[xk | k > 1, k 6= p − 1], deg xk = 2k. Furthermore, F ∼ A′ F H•(MU; p) = p ⊗Fp PH•(MU; p), F A∗ as p-algebras and p-comodules, where F [ξ2,ξ2,...] if p = 2; A′ = (A /(β))∗ ∼ 2 1 2 p p = F ( p[ξ1,ξ2,...] if p is odd. 3. Homology of the Thom spectrum MSU We begin with collecting the necessary information about homology of the classifying space BSU. Lemma 3.1. [Ad, Lemma 2.4] There is an algebra isomorphism Z ∼ Z H•(BSU; ) = [y2,y3,...]. for suitable yi ∈ H2i(BSU; Z), i = 2, 3,... ∼ Remark 3.2. Lemma 3.1 can be easily generalised. Namely, E•(BSU) = π•(E)[Y2,Y3,...] for any complex oriented spectrum E.

Lemma 3.3. Homology H•(BSU; Z) is a subalgebra of H•(BU; Z).

f det Proof. Consider the canonical fibration BSU −→ BU −−→ CP ∞. The latter map corresponds to the first 2 ∞ Chern class c1 ∈ H (BU; Z) =∼ [BU, CP ]. Since the maps in the fibration are maps of H-spaces, they induce algebra homomorphisms in homology. Note that f∗ : H•(BSU; Z) → H•(BU; Z) is monic. Therefore, ∼ H•(BSU; Z) = Im f∗ is a subalgebra of H•(BU; Z).  F F Lemma 3.4. The p-th power of any element H•(BU; p) lies in H•(BSU; p).

• • Proof. Consider cohomology H (BU; Z) as a Z[c1]-module. Dualising the action map Z[c1]⊗ZH (BU; Z) → H •(BU; Z) we obtain a coaction Z Z ψ : H•(BU; ) → ΓZ[β1] ⊗Z H•(BU; ), Z where ΓZ[β1] is a divided polynomial algebra. The subcoalgebra PψH•(BU; ) of primitive elements is ∼ Z F isomorphic to Im f∗ = H•(BSU; ). In particular, since for any non-constant x ∈ ΓZ[β1] ⊗Z p its p-th F F power is zero, the p-th power of any element of H•(BU; p) actually lies in H•(BSU; p).  ON HOMOLOGY OF THE MSU SPECTRUM 5

The Thom isomorphism Φ: H•(BSU; Z) → H•(MSU; Z) is an algebra isomorphism, which implies Z ∼ Z H•(MSU; ) = [Y2,Y3,...]. F F It follows that the p-th power of any element of H•(MU; p) lies in H•(MSU; p). F The following theorem describes specific polynomial generators of H•(MU; p) which are compatible with F F the inclusion f∗ : H•(MSU; p) → H•(MU; p).

Theorem 3.5 (cf. [Pe]). Let p be an odd prime. There are elements zn ∈ H2n(MU; Fp), n > 1, such that the following hold F ∼ F (i) H•(MU; p) = p[z1, z2,...]; (ii) the composite

F ρ A′ F 1⊗π A′ F t G: H•(MU; p) −→ p ⊗Fp H•(MU; p) −−−→ p ⊗Fp H•(MU; p)/(zi, i = p − 1),

where ρ is the left coaction map and π is the canonical projection, is an isomorphism of Fp-algebras A∗ A∗ and p-comodules. Here the structure of an p-comodule of the latter algebra is given by the coaction on the first tensor factor; ¯ ¯ t (iii) G(zpt−1)= −ξt ⊗ 1, t > 1, where ξt is the Hopf conjugate of ξt, and G(zn) = 1 ⊗ zn, n 6= p − 1; (iv) if Yn ∈ H2n(MU; Fp), n > 2, are defined by

p t zn/p if n = p ; Yn = (zn otherwise; F ∼ F F then H•(MSU; p) = p[Y2,Y3,...] ⊂ H•(MU; p).

t t Proof. If n 6= p ,p − 1, let zn be the Hurewicz image of the n-dimensional SU-manifold Mn, where F {Mn}n=6 pt,pt−1 are polynomial generators of π•(MU)⊗Z p in the given degrees. Such manifolds are described, for example, in [St, p. 240–242]. Note that zn is primitive as it is the Hurewicz image. t If n = p , take zn = xpt ∈ H2pt (MU; Fp), where xpt is from Theorem 2.4. Elements zn are primitive by the very definition. t ∗ ∗ t > F t Finally, if n = p −1, let zp −1 = Φ(cpt−1), t 1, where cpt−1 ∈ H•(BU; p) is the dual of cp −1 with respect F to the monomial basis in the ci. Clearly, zpt−1 ∈ H•(MSU; p) for all t > 1. To compute the coaction of zpt−1 we use the following theorem.

∗ ∗ Theorem 3.6 (Brown-Davis-Peterson [BDP, Theorem 1.1]). Let ξ =1+ ξ1 + ξ2 + . . . and C = 1+Φ(c1)+ ∗ • F A • F Φ(c2)+ . . . Then for the right action H (MU; p) ⊗Fp p → H (MU; p), the dual right coaction ∆ maps C∗ to ∗ ¯−1 ∗ ¯i−1 ∆(C )= −1 ⊗ ξ + Φ(ci ) ⊗ ξ . > Xi 1 ¯ A∗ A∗ Here and further ψ ∈ p is Hopf conjugate of ψ ∈ p,

t−1 t−1 ps ps t t ¯ ¯ Corollary 3.7. ∆(zp −1)= −1 ⊗ ξt + zpt−s−1 ⊗ ξs. Equivalently, ρ(zp −1)= −ξt ⊗ 1+ ξs ⊗ zpt−s−1. s=0 s=0 P P A∗ Proof. For ζ ∈ p, denote by ζn the component of degree n. ∗ Since Φ(cpt−1)= zpt−1, the formula from Theorem 3.6 gives

¯−1 ∗ ¯i−1 (1) ∆(zpt−1)= −1 ⊗ (ξ )2(pt−1) + Φ(ci ) ⊗ (ξ )2(pt−i−1). > Xi 1 ¯−1 First, it follows easily from Theorem 2.2 that (ξ )2(pt−1) = ξt. 6 SEMYON ABRAMYAN

By Theorem 2.2,

t ¯i−1 c((p − i − 1) + (i − 1) + 1) e(R) R (ξ )2(pt−i−1) = ξ t e(R) r1, r2,... n(R)=Xp −i−1    t s 1 e(R) R 0 if i 6= p − p ; = ξ = t s t e(R) r1, r2,... (ξs if i = p − p . n(R)=Xp −i−1    1 s > The last identity holds because e(R) = 0 unless R = (0,..., 1, 0,...), in which case n(R)= p − 1, s 1. t−s ∗ ∗ p p Finally, Φ(cpk)=Φ(ck) , hence Φ( cpt−ps )= zps−1. Substituting these expressions into (1), we obtain

t−1 ps ∆(zpt−1)= −1 ⊗ ξt + zpt−s−1 ⊗ ξs s=0 X as needed. 

We resume the proof of Theorem 3.5. Since ρ is multiplicative, it follows from the corollary above that F t F zpt−1 is indecomposable in H•(MU; p). The elements zi, i 6= p − 1, are indecomposable in H•(MU; p) by t their construction. This proves assertion (i). Assertions (ii)–(iii) are clear. If n 6= p , then zn actually lies F F in the image of H•(MSU; p). Therefore, they are polynomial generators of H•(MSU; p). By Lemma 3.4, p p > F t F > zpt−1 , t 1, lies in H•(MSU; p). And finally, by [Ad, Lemma 2.1], zpt−1 ∈ Hp (MSU; p), t 1 are polynomial generators. 

t Corollary 3.8. There are polynomial generators Yn ∈ H2n(MSU), 6= p such that f∗(Yn) = ±bn modulo decomposables.

A∗ F We summarise the results above in the following description of the p-coalgebra structure of H•(MSU; p), it is similar to Theorem 2.4.

Theorem 3.9. Let p be an odd prime. There are elements Yn ∈ H2n(MSU; Fp) such that F ∼ F H•(MSU; p) = p[Y2,Y3,...]. F A∗ F The left coaction ρ: H•(MSU; p) → p ⊗Fp H•(MSU; p) is given by

t−1 s p t −ξ¯ ⊗ 1+ ξ¯ ⊗ Y − if n = p − 1; Y 7→ t s pt s−1 n  s=0  PYn otherwise. F In particular, the subalgebra PH•(MSU; p) of primitive elements under this coaction is isomorphic to

t Fp[Yn,n 6= p − 1,n > 2], deg Yn = 2n. Futhermore, the composite

F ρ A′ F H•(MSU; p) −→ p ⊗Fp H•(MSU; p) 1⊗π A′ F t A′ F −−−→ p ⊗Fp H•(MSU; p)/(Yi, i = p − 1) = p ⊗Fp PH•(MSU; p) F A∗ is an isomorphism of p-algebras and p-comodules. Moreover, this composite is given by

t −ξ¯t ⊗ 1 if n = p − 1; Yn 7→ (1 ⊗ Yn otherwise. ON HOMOLOGY OF THE MSU SPECTRUM 7

4. Novikov’s theorem Z 1 In this section we compute π•(MSU) ⊗ [ 2 ] using the modern adaptation of the Novikov’s original proof (see [No2]). Z 1 Theorem 4.1 (Novikov [No2]). There are elements yn ∈ π2n(MSU) ⊗ [ 2 ], n = 2, 3,..., such that Z 1 ∼ Z 1 π•(MSU) ⊗ [ 2 ] = [ 2 ][y2,y3,...].

Proof. For an odd prime p, consider the mod p Adams spectral sequence for π•(MSU) with the second term s,t ∼ s E CotorA∗ F ,H•(MSU; F ) . 2 = p p p t F ∼ A′ F A′ F F By Theorem 3.9, H•(MSU; p) = p ⊗ PH•(MSU ; p), where p = p[ξ1,ξ2,...] and PH•(MSU; p) = t Fp[Yn,n 6= p − 1,n > 2], deg Yn = 2n, is the subcoalgebra of primitive elements. By The Change of Rings Theorem (see [Li]), • • ′ Cotor ∗ F ,H•(MSU; F ) = Cotor ∗ F , A ⊗F PH•(MSU; F ) Ap p p • Ap p p p p • • ′ = Cotor ∗ F , A ⊗F PH•(MSU; F )  Ap p p • p p • = Cotor ∗ ′ (F , F )• ⊗F PH•(MSU; F ). Ap//Ap p  p p p A∗ A′ def A∗ A∗ A′ t By Theorem 2.1, p// p = p/( p · p) = ΛFp [τ0,τ1,...], deg τt = 2p − 1, is an exterior algebra of finite • type. Therefore, Cotor ∗ ′ (F , F )• is a polynomial algebra Ap//Ap p p • 1 Cotor ∗ ′ (F , F )• = F [q ,q ,...], q ∈ Cotor ∗ ′ (F , F ) t . Ap//Ap p p p 0 1 t Ap//Ap p p 2p −1 Therefore, for odd prime p the second term of the Adams spectral sequence has the following form •,• F F E2 = p[q0,q1,...] ⊗Fp PH•(MSU; p) F F t = p[q0,q1,...] ⊗Fp p[Yn,n 6= p − 1,n > 2] F F = p[q0] ⊗Fp p[m2,m3,...], 1,1 where q0 ∈ E2 and 1,2n+1 t qt ∈ E2 if n = p − 1 for some t> 0; mn = 0,2n (Yn ∈ E2 otherwise. s,t Note that E2 is zero whenever t − s is odd. Therefore, since the differentials reduce t − s by 1, dr = 0 for •,• •,• every r = 2, 3,... and E2 = E∞. One can easily show that 1,1 1 q ∈ E = Cotor ∗ ′ (F , F ) 0 2 Ap//Ap p p 1 is represented by p ∈ π0(MSU) =∼ Z. Thus, for every odd prime p there is an isomorphism of abelian groups ∼ Z π•(MSU)p = [m2,m3,...]. Next we show that there is a ring isomorphism F ∼ F π•(MSU) ⊗Z p = p[P2, P3,...] for some Pi = Pi(p) ∈ π2i(MSU). •,• Let Pi ∈ π2i(MSU), i = 2, 3,... be elements corresponding to mi ∈ E∞ in the mod p Adams spectral α ∞ Z sequence for MSU. Note that our choice depends on p. Since m , α = {α1,...,αk, 0,...} ∈ i=0 are α α1 αk linearly independent in the Adams spectral sequence, it follows that the monomials P = P1 · · · Pk are α F L linearly independent. We have to prove that the monomials P generate π•(MSU) ⊗Z p. t,q+t [Sw, Lemma 20.28] states that for every q ∈ Z>0 there is t ∈ Z>0 such that a filtration term F is t,q+t trivial mod p, i.e. F ⊗Z Fp = 0. Now using downward induction over s starting at s = t, we show that α s,q+s F α ∞ Z monomials P of degree q and of filtration at least s span F ⊗Z p. Let {m , α ∈ i=0 } be monomials s−1,q+s−1 − − in m in E , then any x ∈ F s 1,q+s 1 ⊗Z F can be written as x = a P αi mod F s,q+s, because i ∞ p i L P 8 SEMYON ABRAMYAN

s−1,q+s−1 s−1,q+s−1 α α the projection F → E∞ sends P i to m i , i = 1,...,k. Now we can use the inductive α F assumption to prove that the monomials P generate π•(MSU) ⊗Z p. Finally, Theorem 4.1 follows from the fact that if a graded ring of finite type R is isomorphic to Fp[P2, P3,...], 1 Z 1  deg Pi = 2i modulo an odd prime p then its localisation R[ 2 ] is isomorphic to [ 2 ][y2,y3,...], deg yi = 2i.

5. Multiplicative generators Z 1 In this section we compute characteristic numbers of polynomial generators of π•(MSU) ⊗ [ 2 ]. We start from the description of the mod p Hurewicz homomorphism in terms of the mod p Adams spectral sequence. Proposition 5.1. Let X be a spectrum of finite type. Then the mod p Hurewicz homomorphism F h: π•(X) → H•(X; p) coincides with the composite map 0,• 0,• F F ,(π•(X) → E∞ ֒→ E2 = PH•(X; p) ֒→ H•(X; p 0,• 0,• where E∞ and E2 are terms of the mod p Adams spectral sequence. Proof. Note that the map η F ∧1 ′ ∞ 0 H p X h : X ≃ Σ S ∧ X −−−−−−→ HFp ∧ X induces the mod p Hurewicz homomorphism in homotopy groups. Thus, we have a map of mod p Adams ′ •,• ¯ •,• F ∼ F ′ spectral sequences (h∗)r : Er → Er , r > 2, for π•(X) and π•(H p ∧ X) = H•(X; p) induced by h . Since F F ∼ A∗ F H•(H p ∧ X; p) = p ⊗Fp H•(X; p), it follows that s,• s E¯ = Cotor ∗ F ,H•(HF ∧ X; F ) = 0, if s> 0 2 Ap p p p • and  • 0, s ∼ ∗ E¯ = Cotor ∗ F ,H•(HF ∧ X; F ) F A H•(HF ∧ X; F )= H•(X; F ). 2 Ap p p p • = p p p p p The proposition now follows from the following decompositi on of the Hurewicz homomorphism h F π•(X) H•(X; p)

=∼ ′ 0,• (h∗)∞ 0,• E∞ E¯∞

′ 0,• (h∗)2 ¯0,• E2 E2 ′ 0,• ∼ F F  .(and the fact that (h∗)2 equals to the following composition E2 = PH•(X; p) ֒→ H•(X; p For any positive integer n define p if n +1= pt for some positive t and prime p; λn = (1 otherwise. 1 Z 1 Theorem 5.2 (Novikov [No2]). Let h: π•(MSU) ⊗ [ 2 ] → H•(MSU; [ 2 ]) be the Hurewicz homomorphism and let f : MSU → MU be the canonical map. Then there exist polynomial generators yn ∈ π2n(MSU) ⊗ Z 1 > [ 2 ], n 2, such that f∗h(yn)= ±λnλn−1bn Z 1 modulo decomposable elements in H2n(MU; [ 2 ]), where bn ∈ H2n(MU) is a canonical polynomial generator. Z 1 Therefore, yn ∈ π2n(MSU) ⊗ [ 2 ] can be taken as a polynomial generator if and only if

sn(yn)= ±λnλn−1 up to a power of 2. ON HOMOLOGY OF THE MSU SPECTRUM 9

t Z 1 Proof. Case 1: n 6= p − 1 for an odd prime p. By Proposition 5.1, yn ∈ π•(MSU) ⊗Z [ 2 ] is a polynomial F ∼ F t generator if and only if h(yn) ∈ PH•(MSU; p) = p[Yn | n 6= p − 1, and n > 2] is a polynomial generator, F in particular it is a polynomial generator of H•(MSU; p). Since this is true for every odd prime p, h(yn) is Z 1 a polynomial generator of H•(MSU; [ 2 ]). Thus, h(yn)= ±Yn modulo decomposables. t Suppose that n 6= p . Then f∗(Yn)= ±bn modulo decomposables by Corollary 3.8. Hence, f∗h(yn)= ±bn modulo decomposables, as needed. t Now suppose n = p . Then f∗(Yn) = ±pbn modulo decomposables by [Ko, Theorem 3.3]. Therefore, f∗h(yn)= ±pbn = ±λnλn−1bn modulo decomposables, as claimed. t Z 1 Case 2: n = p − 1 for an odd prime p. Let yn ∈ π2n(MSU) ⊗ [ 2 ] be a polynomial generator. Then F ∼ F t h(yn) is decomposable in PH•(MSU; p) = p[Yk | k 6= p −1, and k > 2] since there are no indecomposables t in degree 2(p − 1). Therefore, f∗h(yn) ∈ H2n(MU; Z) is divisible by p modulo decomposables. Argument t F similar to the one in case n 6= p − 1 implies that h(yn) is a polynomial generator of PH•(MSU; q) for any prime q 6= p. Hence, f∗h(yn) is divisible by p and is not divisible by any other prime q modulo decomposables. k Therefore, f∗h(yn)= ±p bn modulo decomposables. 2 It remains to prove that k = 1 above. In other words, we need to prove that h(yn) is not divisible by p modulo decomposables. This can be done either algebraically as below, or by providing explicit examples of SU-manifolds with an appropriate Milnor genus (see [CLP, Part II]). η Z∧1 Consider the map h′ : MSU −−−−−−−→H MSU HZ∧MSU that induces the Hurewicz homomorphism in homotopy groups. The second term of the mod p Adams spectral sequence for HZ ∧ MSU is

s,t s s E¯ = Cotor ∗ (F ; H•(HZ ∧ MSU; F )) = Cotor ∗ (F ; H•(HZ; F ))• ⊗F H•(MSU; F ). 2 Ap p p t Ap p p p p

Z F ∼ F A∗ ∼ F We have H•(H ; p) = p[ξ1,ξ2,...] ⊗Fp ΛFp [¯τ1, τ¯2,...]. Also, p = p[ξ1,ξ2,...] ⊗Fp ΛFp [¯τ0, τ¯1, τ¯2,...] • ∼ 1 by Theorem 2.1. It follows that Cotor ∗ (F ; H•(HZ; F ))• = F [q ], where q ∈ Cotor ∗ (F ; H•(HZ; F )) Ap p p p 0 0 Ap p p 1 represents p ∈ π0(HZ). ¯s,t Therefore, E2 = 0 when t − s is odd. As before, this implies that the spectral sequence degenerates in ¯s,t ¯s,t the second term, i.e. E2 = E∞ . The map h′ induces the following map of Cotor:

′ s s ∼ (2) h : Cotor ∗ (F ; H•(MSU; F )) → Cotor ∗ (F ; H•(HZ ∧ MSU; F )) F [q ] ⊗F H•(MSU; F ). ∗ Ap p p t Ap p p t = p 0 p p

In order to describe this map, we consider the following diagram of cobar complexes:

∼ • F quasi • F CA∗ H•(MSU; p) C ∗ ′ PH•(MSU; p) p Ap//Ap e (3)  h 

• F C H•(MSU; p) ΛFp [τ0] 

′ In homology, the map h induces the map h∗ in (2). 1 Consider the class m = q ∈ Cotor ∗ F ,H•(MSU; F ) defined in the proof of Theorem 4.1. By n t Ap p p 2pt−1 e • F Cobar construction, it is represented by [¯τt] ∈ C ∗ ′ PH•(MSU; p) . The element Ap//Ap   t i p • Q = − [¯τ ]ξ¯ ∈ C ∗ H•(MSU; F ) t i t−i Ap p i=0 X  10 SEMYON ABRAMYAN is a cycle that maps to −[¯τt] under the horizontal arrow in diagram (3). Indeed, recall that the conjugation is a coalgebra antihomomorphism and the coproduct on Ap is given in Theorem 2.1. Therefore, we have

t t t i t t−i ¯pi ¯pi ¯pk ¯pi ¯pi ¯pi+k dQt = − [1|τ¯i]ξt−i + [1|τ¯i]ξt−i + [¯τk|ξi−k]ξt−i − [¯τi|ξk ]ξt−i−k Xi=0 Xi=0 Xi=0 Xk=0 Xi=0 Xk=0 ¯pa pc ¯pa pc = [¯τa|ξb ]ξt−c − [¯τa|ξb ]ξt−c = 0. a+b=c a+b=c 06Xa,b,c6t 06Xa,b,c6t

The horizontal arrow in diagram (3) maps all ξi’s except ξ0 = 1 to zero. Therefore, Qt represents qt ∈ 1 CotorA∗ F ,H•(MU; F ) . p p p 2pt−1 1 ′ 1,2pt−1 Now we have h(Q ) = [τ ]ξ¯ ∈ C H•(MSU; F ) . Hence, (h ) (q ) = q ξ¯ ∈ E¯ . Since q t  0 t Λ[τ0] p ∗ t 0 t 2 0 Z 1 represents the multiplication by p, the element h(yn) ∈ H2n(MSU; [ 2 ]) is divisible precisely by p modulo decomposables. e  Z 1 Z 1 Corollary 5.3. There are polynomial generators yi ∈ π2i(MSU) ⊗Z [ 2 ], xi ∈ π2i(MU) ⊗Z [ 2 ], Yi ∈ Z 1 Z 1 H2i(MSU; [ 2 ]) and Xi ∈ H2i(MU; [ 2 ]), such that the canonical maps are given as in the diagram below:

1 yn7→λn−1xn 1 Z Z Z Z π•(MSU) ⊗ [ 2 ] π•(MU) ⊗ [ 2 ] x y n n 7→ 7→ λ λ n n X Y n n Z 1 Yn7→λn−1Xn Z 1 H•(MSU; [ 2 ]) H•(MU; [ 2 ])

References [Ad1] Adams, John F. On the Structure and Applications of the Steenrod Algebra. Comm. Math. Helv. 32 (1958), 180–214. [Ad] Adams, John F. Primitive Elements in the K-theory of BSU. Quart. J. Math. Oxford (2) 27 (1976), 253–262. [At] Atiyah, Micheal F. Bordism and Cobordism. Proc. Camb. Phil. Soc. 57 (1961), 200–208. [Av] Averbuh, Boris G. Algebraic structure of cobordism groups. Dokl. Akad. Nauk SSSR 125 (1959), 11–14 (Russian). [Bo] Botvinnik, Boris I. Manifolds with singularities and the Adams–Novikov spectral sequence. London Mathematical Society Lecture Note Series, 170. Cambridge University Press, Cambridge, 1992. [BDP] Brown, Edgar H. Jr.; Davis, Donald M.; Peterson, Franklin P. The homology of BO and some results about the Steenrod algebra. Math. Proc. Camb. Phil. Soc. 81 (1977), 393–398. [CLP] Chernykh, Georgy S.; Limonchenko Ivan U.; Panov, Taras E. SU-bordism: structure results and geometric representa- tives. Russian Math. Surveys 74 (2019), 461–524. [CF1] Conner, Pierre E.; Floyd, Edwin E. Differentiable Periodic Maps. Academic Press Inc., New York, 1964. [CF2] Conner, Pierre E.; Floyd, Edwin E. Torsion in SU-bordism. Mem. Amer. Math. Soc. 60, 1966. [Ko] Kochman, Stanley O. Polynomial Generators For H∗(BSU) and H∗(BSO, Z2) Proc. Amer. Math. Soc. 84 (1982), 149–154. [Li] Liulevicius, Arunas. Notes on Homotopy of Thom Spectra Amer. J. Math. 86 (1964), 1–16. [MS] Milnor, John W.; Stasheff James D. Characteristic Classes. Ann. of Math. Studies, Princeton University Press, Prince- tion, N. J., 1974. [Mi1] Milnor, John W. The Steenrod Algebra and Its Dual. Ann. of Math. (2) 67 (1958), no. 1, 205–295. ∗ [Mi2] Milnor, John W. On the Cobordism Ring Ω and a Complex Analogue, Part I. Amer. J. Math. 82 (1960), 505–521. [Mir] Mironov, Oleg K. Existence of multiplicative structures in the theory of cobordism with singularities. Izv. Akad. Nauk SSR Ser. Mat. 39 (1975), no. 5, 1065–1092 (Russian); Math. USSR – Izv. 39 (1975), no. 5, 1007–1034 (English translation). [MT] Mosher Robert E.; Tangora Martin C. Cohomology Operations and Applications in Homotopy Theory. Harper and Row, New York, 1968. [No1] Novikov, Sergei P. Some problems in the topology of manifolds connected with the theory of Thom spaces. Dokl. Akad. Nauk SSSR 132 (1960), 1031–1034 (Russian); Soviet Math. Dokl. 1 (1960), 717–720 (English translation). [No2] Novikov, Sergey P. Homotopy properties of Thom complexes. Mat. Sbornik 57 (1962), no. 4, 407–442 (Russian); English translation at http://www.mi.ras.ru/˜snovikov/6.pdf. [No3] Novikov, Sergey P. Methods of from the point of view of cobordism theory. Izv. Akad. Nauk SSSR, Ser. Mat. 31 (1967), no. 4, 855–951 (Russian); Math. USSR – Izv. 1 (1967), no. 4, 827–913 (English translation). ON HOMOLOGY OF THE MSU SPECTRUM 11

[Pe] Pengelley, David J. The mod two homology of MSO and MSU as a comodule algebras, and the Cobordism Ring. J. London Math. Soc. (2) 25 (1982), 467–472. [Po] Pontryagin, Lev S. Smooth manifolds and their applications in homotopy theory. Trudy Mat. Inst. Steklova, 45. Izdat. Akad. Nauk SSSR, Moscow, 1955 (Russian). [Ra] Ravenel, Douglas C. and stable homotopy groups of spheres. Pure and Applied Mathematics, 121. Academic Press, Inc., Orlando, FL, 1986. [Ro] Rohlin, Vladimir A. Theory of intrinsic homologies. Uspekhi Mat. Nauk 14 (1959) no. 4, 3–20 (Russian). [SE] Steenrod Norman E.; Epstein David B.A. Cohomology Operations. Ann. of Math. Studies, Princeton University Press, Princetion, N. J., 1962. [St] Stong, Robert E. Notes on Cobordism Theory. Math. Notes, 7. Princeton Univ. Press, Princeton, NJ, 1968. [Sw] Switzer, Robert M. Algebraic Topology — homotopy and homology. Springer-Verlag, New-York, 1975. [Th] Thom, Ren´e. Quelques propri´et´es globales des vari´et´es diff´erentiables. Comment. Math. Helv. 28 (1954), 17–86 (French). [Ve] Vershinin, Vladimir V. and spectral sequences. Translations of Mathematical Monographs, 130. American Mathematical Society, Providence, RI, 1993. [Wa1] Wall, Charles T.C. Determination of the cobordism ring. Ann. of Math. (2) 72 (1960), 292–311. [Wa2] Wall, Charles T.C. Addendum to a paper of Conner and Floyd. Proc. Cambridge Philos. Soc. 62 (1966), 171–175.

AG Laboratory, HSE, 6 Usacheva str., Moscow, Russia, 119048 Email address: [email protected]