The image of the Thom map for EilenbergMacLane spaces
Author:
Hirotaka Tamanoi
Journal:
Trans. Amer. Math. Soc. 349 (1997), 12091237
MSC (1991):
Primary 55N22, 55P20, 55S25
MathSciNet review:
1401530
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: Fundamental classes in cohomology of EilenbergMacLane spaces are defined. The image of the Thom map from cohomology to mod cohomology is determined for arbitrary EilenbergMacLane spaces. This image is a polynomial subalgebra generated by infinitely many elements obtained by applying a maximum number of Milnor primitives to the fundamental class in mod cohomology. This subalgebra in mod cohomology is invariant under the action of the Steenrod algebra, and it is annihilated by all Milnor primitives. We also show that cohomology determines Morava cohomology for EilenbergMacLane spaces.
 [A1]
J.
F. Adams, Lectures on generalised cohomology, Category Theory,
Homology Theory and their Applications, III (Battelle Institute Conference,
Seattle, Wash., 1968, Vol. Three), Springer, Berlin, 1969,
pp. 1–138. MR 0251716
(40 #4943)
 [A2]
J.
F. Adams, Stable homotopy and generalised homology, University
of Chicago Press, Chicago, Ill., 1974. Chicago Lectures in Mathematics. MR 0402720
(53 #6534)
 [Ar]
Shôrô
Araki, Typical formal groups in complex cobordism and
𝐾theory, Kinokuniya BookStore Co. Ltd., Tokyo, 1973.
Lectures in Mathematics, Department of Mathematics, Kyoto University, No.
6. MR
0375354 (51 #11549)
 [Ba]
Nils
Andreas Baas, On bordism theory of manifolds with
singularities, Math. Scand. 33 (1973), 279–302
(1974). MR
0346824 (49 #11547b)
 [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
(51 #14048)
 [BP]
Edgar
H. Brown Jr. and Franklin
P. Peterson, A spectrum whose 𝑍_{𝑝} cohomology is
the algebra of reduced 𝑝^{𝑡ℎ} powers, Topology
5 (1966), 149–154. MR 0192494
(33 #719)
 [H]
Michiel
Hazewinkel, Formal groups and applications, Pure and Applied
Mathematics, vol. 78, Academic Press Inc. [Harcourt Brace Jovanovich
Publishers], New York, 1978. MR 506881
(82a:14020)
 [JW1]
David
Copeland Johnson and W.
Stephen Wilson, Projective dimension and BrownPeterson
homology, Topology 12 (1973), 327–353. MR 0334257
(48 #12576)
 [JW2]
David
Copeland Johnson and W.
Stephen Wilson, 𝐵𝑃 operations and Morava’s
extraordinary 𝐾theories, Math. Z. 144
(1975), no. 1, 55–75. MR 0377856
(51 #14025)
 [JW3]
David
Copeland Johnson and W.
Stephen Wilson, The projective dimension of the complex bordism of
EilenbergMacLane spaces, Osaka J. Math. 14 (1977),
no. 3, 533–536. MR 0467731
(57 #7584)
 [JW4]
David
Copeland Johnson and W.
Stephen Wilson, The BrownPeterson homology of elementary
𝑝groups, Amer. J. Math. 107 (1985),
no. 2, 427–453. MR 784291
(86j:55008), http://dx.doi.org/10.2307/2374422
 [JY]
David
Copeland Johnson and Zenichi
Yosimura, Torsion in BrownPeterson homology and Hurewicz
homomorphisms, Osaka J. Math. 17 (1980), no. 1,
117–136. MR
558323 (81b:55010)
 [K]
D.
Kraines, On excess in the Milnor basis, Bull. London Math.
Soc. 3 (1971), 363–365. MR 0300271
(45 #9317)
 [M1]
John
Milnor, The Steenrod algebra and its dual, Ann. of Math. (2)
67 (1958), 150–171. MR 0099653
(20 #6092)
 [M2]
J.
Milnor, On the cobordism ring Ω* and a complex analogue.
I, Amer. J. Math. 82 (1960), 505–521. MR 0119209
(22 #9975)
 [M3]
J.
Milnor, On axiomatic homology theory, Pacific J. Math.
12 (1962), 337–341. MR 0159327
(28 #2544)
 [Mo]
Jack
Morava, A product for the oddprimary bordism of manifolds with
singularities, Topology 18 (1979), no. 3,
177–186. MR
546788 (80k:57063), http://dx.doi.org/10.1016/00409383(79)900016
 [Q]
Daniel
Quillen, On the formal group laws of unoriented
and complex cobordism theory, Bull. Amer. Math.
Soc. 75 (1969),
1293–1298. MR 0253350
(40 #6565), http://dx.doi.org/10.1090/S000299041969124018
 [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
(87j:55003)
 [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
(94b:55015)
 [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
(56 #6644)
 [RW2]
Douglas
C. Ravenel and W.
Stephen Wilson, The Morava 𝐾theories of EilenbergMac Lane
spaces and the ConnerFloyd conjecture, Amer. J. Math.
102 (1980), no. 4, 691–748. MR 584466
(81i:55005), http://dx.doi.org/10.2307/2374093
 [SY]
Nobuo
Shimada and Nobuaki
Yagita, Multiplications in the complex bordism theory with
singularities, Publ. Res. Inst. Math. Sci. 12
(1976/77), no. 1, 259–293. MR 0415642
(54 #3723)
 [T]
H. Tamanoi, A decomposition formula for Milnor's Steenrod reduced powers, mod cohomology of EilenbergMacLane spaces in terms of Milnor basis, and subalgebras, IHES preprint, IHES/M/95/51.
 [W]
B.
Vujanović, Dj.
Djukić, and M.
Pavlović, A variational principle for the laminar boundary
layer theory, Boll. Un. Mat. Ital. (4) 7 (1973),
377–391 (English, with Italian summary). MR 0327163
(48 #5505)
W.
Stephen Wilson, The Ωspectrum for BrownPeterson cohomology.
II, Amer. J. Math. 97 (1975), 101–123. MR 0383390
(52 #4271)
 [Wu]
Urs
Würgler, On products in a family of cohomology theories
associated to the invariant prime ideals of
𝜋_{∗}(𝐵𝑃), Comment. Math. Helv.
52 (1977), no. 4, 457–481. MR 0478135
(57 #17624)
 [Y]
Nobuaki
Yagita, On the image
𝜌(𝐵𝑃*(𝑋)→𝐻*(𝑋;𝑍_{𝑝})),
Homotopy theory and related topics (Kyoto, 1984) Adv. Stud. Pure Math.,
vol. 9, NorthHolland, Amsterdam, 1987, pp. 335–344. MR 896964
(88j:55005)
 [Z]
Raphael
Zahler, The AdamsNovikov spectral sequence for the spheres,
Ann. of Math. (2) 96 (1972), 480–504. MR 0319197
(47 #7742)
 [A1]
 J. F. Adams, Lectures on Generalised Cohomology, Lecture Notes in Math., vol. 99, SpringerVerlag, New York, 1969. MR 40:4943
 [A2]
 J. F. Adams, Stable Homotopy and Generalized Homology, University of Chicago Press, Chicago, Ill., 1974. MR 53:6534
 [Ar]
 S. Araki, Typical Formal Groups in Complex Cobordism and KTheory, Lecture Notes Math., Kyoto Univ., vol. 6, Kinokuniya Book Store, 1973. MR 51:11549
 [Ba]
 N. A. Baas, On bordism theory of manifolds with singularity, Math. Scand. 33 (1973), 279302. MR 49:11547b
 [BM]
 N. A. Baas and Ib Madsen, On the realization of certain modules over the Steenrod algebra, Math. Scand. 31 (1971), 220224. MR 51:14048
 [BP]
 E. H. Brown and F. P. Peterson, A spectrum whose cohomology is the algebra of reduced th powers, Topology 5 (1966), 149154. MR 33:719
 [H]
 M. Hazewinkel, Formal Groups and Applications, Academic Press, New York, 1978. MR 82a:14020
 [JW1]
 D. C. Johnson and W. S. Wilson, Projective dimension and BrownPeterson homology, Topology 12 (1973), 327353. MR 48:12576
 [JW2]
 D. C. Johnson and W. S. Wilson, BPoperations and Morava's extraordinary Ktheories, Math. Z. 144 (1975), 5575. MR 51:14025
 [JW3]
 D. C. Johnson and W. S. Wilson, The projective dimension of the complex cobordism of EilenbergMacLane spaces, Osaka J. Math. 14 (1977), 533536. MR 57:7584
 [JW4]
 D. C. Johnson and W. S. Wilson, The BrownPeterson homology of elementary groups, Amer. J. Math. 107 (1985), 427453. MR 86j:55008
 [JY]
 D. C. Johnson and Z. Yosimura, Torsion in BrownPeterson homology and Hurewicz homomorphisms, Osaka J. Math. 17 (1980), 117136. MR 81b:55010
 [K]
 D. Kraines, On excess in the Milnor basis, Bull. London Math. Soc. 3 (1971), 363365. MR 45:9317
 [M1]
 J. W. Milnor, The Steenrod algebra and its dual, Ann. of Math. 67 (1958), 150171. MR 20:6092
 [M2]
 J. W. Milnor, On the cobordism ring and a complex analogue, Amer. J. Math. 82 (1960), 505521. MR 22:9975
 [M3]
 J. W. Milnor, On axiomatic homology theory, Pacific J. Math. 12 (1962), 337341. MR 28:2544
 [Mo]
 J. Morava, A product for the oddprimary bordism of manifolds with singularities, Topology 18 (1979), 177186. MR 80k:57063
 [Q]
 D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. 75 (1969), 12931298. MR 40:6565
 [R1]
 D. C. Ravenel, Complex Cobordism and Stable Homotopy Groups of Spheres, Academic Press, Orlando, FL, 1986. MR 87j:55003
 [R2]
 D. C. Ravenel, Nilpotence and Periodicity in Stable Homotopy Theory, Annals of Math. Studies 128, Princeton Univ. Press, Princeton, NJ, 1992. MR 94b:55015
 [RW1]
 D. C. Ravenel and W. S. Wilson, The Hopf ring for complex cobordism, J. Pure Appl. Algebra 9 (1977), 241280. MR 56:6644
 [RW2]
 D. C. Ravenel and W.S.Wilson, The Morava K theories of EilenbergMacLane spaces and the ConnerFloyd conjecture, Amer. J. Math. 102 (1980), 691748. MR 81i:55005
 [SY]
 N. Shimada and N. Yagita, Multiplications in the complex bordism theory with singularities, Publ. R. I. M. S., Kyoto Univ. 12 (1976), 259293. MR 54:3723
 [T]
 H. Tamanoi, A decomposition formula for Milnor's Steenrod reduced powers, mod cohomology of EilenbergMacLane spaces in terms of Milnor basis, and subalgebras, IHES preprint, IHES/M/95/51.
 [W]
 W. S. Wilson, The spectrum for BrownPeterson cohomology, Part I, Comment. Math. Helv. 48 (1973), 4555; Part II, Amer. J. Math. 97 (1975), 101123. MR 48:5505; MR 52:4271
 [Wu]
 U. Würgler, On products in a family of cohomology theories associated to the invariant prime ideals of , Comment. Math. Helvet. 52 (1977), 457481. MR 57:17624
 [Y]
 N. Yagita, On the image , Homotopy Theory and Related Topics (Kyoto, 1984), Adv. Stud. Pure Math., vol. 9, NorthHolland, Amsterdam, 1987, pp. 335344. MR 88j:55005
 [Z]
 R. Zahler, The AdamsNovikov spectral sequence for the spheres, Ann. of Math. 96 (1972), 480504. MR 47:7742
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (1991):
55N22,
55P20,
55S25
Retrieve articles in all journals
with MSC (1991):
55N22,
55P20,
55S25
Additional Information
Hirotaka Tamanoi
Affiliation:
Institut des Hautes Études Scientifiques, 35 Route de Chartres, 91440 BuressurYvette, France
Address at time of publication:
Department of Mathematics, University of California at Santa Cruz, Santa Cruz, California 95064
Email:
tamanoi@cats.ucsc.edu
DOI:
http://dx.doi.org/10.1090/S0002994797018266
PII:
S 00029947(97)018266
Keywords:
$BP$ cohomology theory,
$BP$ fundamental class,
EilenbergMac Lane spaces,
Milnor primitives,
Morava $K$ theory,
Steenrod algebra,
Thom map
Received by editor(s):
October 5, 1995
Article copyright:
© Copyright 1997 American Mathematical Society
