Spectra of BP-linear relations, -series,

and BP cohomology of Eilenberg-Mac Lane spaces

Author:
Hirotaka Tamanoi

Journal:
Trans. Amer. Math. Soc. **352** (2000), 5139-5178

MSC (1991):
Primary 55N10, 55N20

Published electronically:
July 26, 1999

MathSciNet review:
1661270

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: On Brown-Peterson cohomology groups of a space, we introduce a natural inherent topology, BP topology, which is always complete Hausdorff for any space. We then construct a spectra map which calculates infinite BP-linear sums convergent with respect to the BP topology, and a spectrum which describes infinite sum BP-linear relations in BP cohomology. The mod cohomology of this spectrum is a cyclic module over the Steenrod algebra with relations generated by products of exactly two Milnor primitives. We show a close relationship between BP-linear relations in BP cohomology and the action of the Milnor primitives on mod cohomology. We prove main relations in the BP cohomology of Eilenberg-Mac Lane spaces. These are infinite sum BP-linear relations convergent with respect to the BP topology. Using BP fundamental classes, we define -series which are -analogues of the -series. Finally, we show that the above main relations come from the -series.

**[Ad]**J. F. Adams,*Stable homotopy and generalised homology*, University of Chicago Press, Chicago, Ill.-London, 1974. Chicago Lectures in Mathematics. MR**0402720****[Ar]**Shôrô Araki,*Typical formal groups in complex cobordism and 𝐾-theory*, Kinokuniya Book-Store Co., Ltd., Tokyo, 1973. Lectures in Mathematics, Department of Mathematics, Kyoto University, No. 6. MR**0375354****[Ba]**Nils Andreas Baas,*On bordism theory of manifolds with singularities*, Math. Scand.**33**(1973), 279–302 (1974). MR**0346824****[BM]**Nils Andreas Baas and Ib Madsen,*On the realization of certain modules over the Steenrod algebra*, Math. Scand.**31**(1972), 220–224. MR**0377879****[H]**Michiel Hazewinkel,*Formal groups and applications*, Pure and Applied Mathematics, vol. 78, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR**506881****[JW1]**David Copeland Johnson and W. Stephen Wilson,*Projective dimension and Brown-Peterson homology*, Topology**12**(1973), 327–353. MR**0334257****[JW2]**David Copeland Johnson and W. Stephen Wilson,*𝐵𝑃 operations and Morava’s extraordinary 𝐾-theories*, Math. Z.**144**(1975), no. 1, 55–75. MR**0377856****[JW3]**David Copeland Johnson and W. Stephen Wilson,*The projective dimension of the complex bordism of Eilenberg-MacLane spaces*, Osaka J. Math.**14**(1977), no. 3, 533–536. MR**0467731****[JW4]**David Copeland Johnson and W. Stephen Wilson,*The Brown-Peterson homology of elementary 𝑝-groups*, Amer. J. Math.**107**(1985), no. 2, 427–453. MR**784291**, 10.2307/2374422**[JY]**David Copeland Johnson and Zen-ichi Yosimura,*Torsion in Brown-Peterson homology and Hurewicz homomorphisms*, Osaka J. Math.**17**(1980), no. 1, 117–136. MR**558323****[L]**Peter S. Landweber,*Coherence, flatness and cobordism of classifying spaces*, Proc. Advanced Study Inst. on Algebraic Topology (Aarhus, 1970) Mat. Inst., Aarhus Univ., Aarhus, 1970, pp. 256–269. MR**0271964****[M1]**John Milnor,*The Steenrod algebra and its dual*, Ann. of Math. (2)**67**(1958), 150–171. MR**0099653****[M2]**J. Milnor,*On the cobordism ring Ω* and a complex analogue. I*, Amer. J. Math.**82**(1960), 505–521. MR**0119209****[M3]**J. Milnor,*On axiomatic homology theory*, Pacific J. Math.**12**(1962), 337–341. MR**0159327****[Mo]**Jack Morava,*A product for the odd-primary bordism of manifolds with singularities*, Topology**18**(1979), no. 3, 177–186. MR**546788**, 10.1016/0040-9383(79)90001-6**[Q]**Daniel Quillen,*On the formal group laws of unoriented and complex cobordism theory*, Bull. Amer. Math. Soc.**75**(1969), 1293–1298. MR**0253350**, 10.1090/S0002-9904-1969-12401-8**[R1]**Douglas C. Ravenel,*Complex cobordism and stable homotopy groups of spheres*, Pure and Applied Mathematics, vol. 121, Academic Press, Inc., Orlando, FL, 1986. MR**860042****[R2]**Douglas C. Ravenel,*Nilpotence and periodicity in stable homotopy theory*, Annals of Mathematics Studies, vol. 128, Princeton University Press, Princeton, NJ, 1992. Appendix C by Jeff Smith. MR**1192553****[RW1]**Douglas C. Ravenel and W. Stephen Wilson,*The Hopf ring for complex cobordism*, J. Pure Appl. Algebra**9**(1976/77), no. 3, 241–280. MR**0448337****[RW2]**Douglas C. Ravenel and W. Stephen Wilson,*The Morava 𝐾-theories of Eilenberg-Mac Lane spaces and the Conner-Floyd conjecture*, Amer. J. Math.**102**(1980), no. 4, 691–748. MR**584466**, 10.2307/2374093**[RWY]**D. C. Ravenel, W. S. Wilson, and N. Yagita,*Brown-Peterson cohomology from Morava -theory*, -theory**15**(1998), 147-199. CMP**99:02****[S]**Kathleen Sinkinson,*The cohomology of certain spectra associated with the Brown-Peterson spectrum*, Duke Math. J.**43**(1976), no. 3, 605–622. MR**0410725****[T1]**Hirotaka Tamanoi,*The image of the BP Thom map for Eilenberg-Mac Lane spaces*, Trans. Amer. Math. Soc.**349**(1997), no. 3, 1209–1237. MR**1401530**, 10.1090/S0002-9947-97-01826-6**[T2]**H. Tamanoi,*-subalgebras, Milnor basis, and cohomology of Eilenberg-Mac Lane spaces*, To appear in J. Pure and Applied Algebra.**[W]**W. Stephen Wilson,*The Ω-spectrum for Brown-Peterson cohomology. I*, Comment. Math. Helv.**48**(1973), 45–55; corrigendum, ibid. 48 (1973), 194. MR**0326712**

W. Stephen Wilson,*The Ω-spectrum for Brown-Peterson cohomology. II*, Amer. J. Math.**97**(1975), 101–123. MR**0383390****[Y1]**Nobuaki Yagita,*On relations between Brown-Peterson cohomology and the ordinary mod 𝑝 cohomology theory*, Kodai Math. J.**7**(1984), no. 2, 273–285. MR**744140**, 10.2996/kmj/1138036912**[Y2]**Nobuaki Yagita,*On the image 𝜌(𝐵𝑃*(𝑋)→𝐻*(𝑋;𝑍_{𝑝}))*, Homotopy theory and related topics (Kyoto, 1984) Adv. Stud. Pure Math., vol. 9, North-Holland, Amsterdam, 1987, pp. 335–344. MR**896964****[Z]**Raphael Zahler,*The Adams-Novikov spectral sequence for the spheres*, Ann. of Math. (2)**96**(1972), 480–504. MR**0319197**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
55N10,
55N20

Retrieve articles in all journals with MSC (1991): 55N10, 55N20

Additional Information

**Hirotaka Tamanoi**

Affiliation:
Department of Mathematics, University of California at Santa Cruz, Santa Cruz, California 95064

Email:
tamanoi@math.ucsc.edu

DOI:
https://doi.org/10.1090/S0002-9947-99-02484-8

Keywords:
Brown-Peterson (co)homology theory,
BP fundamental class,
BP topology,
Eilenberg--Mac Lane spaces,
Milnor primitives,
$\Omega $-spectrum,
Steenrod algebra,
Sullivan exact sequence,
$v_{n}$-series

Received by editor(s):
April 30, 1998

Published electronically:
July 26, 1999

Additional Notes:
This research was partially supported by a Faculty Research Grant, University of California at Santa Cruz

Article copyright:
© Copyright 1999
American Mathematical Society