Document Zbl 1373.55002 - zbMATH Open

Let \(P(m)\) denote the \(BP\)-module spectrum with coefficients \(P(m)^* = BP^*/I_m\), where each \(I_m = (p, v_1, \ldots , v_{m-1})\) is an invariant prime ideal in \(BP^*\). The invariant prime ideals of \(P(m)^*\) are then \(I_{m,n} = (v_m, \ldots , v_{n-1})\) (for \(n \geq m\)). Denoting Morava \(K\)-theory by \(K(m)\) (for each \(m>0\)), we define \({\hat E} (m,n)\) as the \(K(n)\)-localization of the spectra \(E(m,n)\) that are constructed (for \(n \geq m\)) from the \(P(m)\) by modding out the ideal \((v_{n+1}, v_{n+2}, \ldots)\) and inverting \(v_n\).
The main result in this work appears as Corollary 3.4, stating that the diagonal \(P(m) \rightarrow \prod_{n \in I} {\hat E}(m,n)\) splits for any infinite set \(I\) of integers greater than \(m\). The most relevant particular case is \(m=0\): the \(p\)-completion of \(BP\) is a retract of the product over all Morava \(E_n\)-theories \(\prod_{n>0}E_n\). The corollary comes as a result of Theorem 3.2, stating that a morphism \(f : P(m) \rightarrow D\), for \(D\) a \(p\)-complete Landweber flat \(P(m)\)-module, must be a split inclusion of spectra whenever the induced maps \(P(m)_*/I_{m,n} \rightarrow D_*/I_{m,n}\) are injective for all \(n>m\). This theorem is proved by extending a result of Hovey using Brown-Comenetz duality, a lift of Pontryagin duality for abelian groups to the category of spectra. From Hovey’s result and further work with Strickland, one could get a splitting \(B_p \rightarrow \prod_{n>0} L_{K(n)} \Big( \bigvee_{r \in S(n)} \Sigma^r L_{K(n)}E(n) \Big)\) (the \(S(n)\) are some indexing sets of even integers), but the splitting from Corollary 3.4 here is much smaller (the authors claim it is as small as possible with the techniques at hand) and thus more convenient for the applied results that follow.
The splitting from Corollary 3.4 allows for the generalization of some structural theorems of Ravenel-Wilson-Yagita from spaces to spectra. This starts in Theorem 3.9: For \(X\) a spectrum, if \(K(n)^*(X)\) is even for infinitely many \(n\), then \(P(m)^*(X)\) is even and Landweber flat for all \(m\). Further results lifting information on the Morava \(K\)-theory of spectra and maps of spectra to their \(P(m)\)-theory are obtained, mainly in Theorem 3.15. The first part of the paper concludes with an application to the free commutative algebra spectrum \(\mathbb{P}X\) on a spectrum \(X\), giving conditions on \(X\) that guarantee that \(P(m)^*(\mathbb{P}X)\) is Landweber flat (Proposition 3.20); for a large class of spaces \(X\), Theorem 3.18 shows that \(BP_p^*(\mathbb{P}X)\) is functorially determined by \(BP_p^*(X)\).
The second part of the paper deals with the rationalization \(\mathbb{Q} \otimes BP^*_p(X) \rightarrow \mathbb{Q} \otimes \prod_{n>0} E_n^*(X)\) of the above retract for \(m=0\), whenever \(X\) is the classifying space \(BA\) of a finite abelian group \(A\). Whenever \(X=BA\) or \(X=B\Sigma_m\), the retract result is used to lift factorizations of \(\mathbb{Q} \otimes \prod_{n>0} E_n^*(X)\) in order to get factorizations of \(\mathbb{Q} \otimes BP_p^*(X)\) (Theorems 4.17 and 4.18). These results are shown to be of bounded torsion, independently of the height \(n\) that is used. A rational isomorphism \(\prod_n E_n^*(BA) \rightarrow \prod_n \prod_{H \subseteq A} E^*_n(BH)/I\) is achieved, where \(H\) runs through the subgroups of \(A\) and \(I\) is the transfer ideal (Corollary 4.20), which extends to a split inclusion \(BP^*(BG)/I \rightarrow \prod_{n>0} E^*_n(BG)/I\), for \(G\) a finite group, that is compatible with the one in Corollary 3.4 (Lemma 4.21).

MSC:

55N20	Generalized (extraordinary) homology and cohomology theories in algebraic topology
55N22	Bordism and cobordism theories and formal group laws in algebraic topology
55R40	Homology of classifying spaces and characteristic classes in algebraic topology

References:

[1]	M.Ando, M. J.Hopkins and N. P.Strickland, The sigma orientation is an H_∞ map, Amer. J. Math.126 (2004), 247-334; MR 2045503 (2005d:55009).10.1353/ajm.2004.0008 · Zbl 1071.55003
[2]	T.Barthel and M.Frankland, Completed power operations for Morava E-theory, Algebr. Geom. Topol.15 (2015), 2065-2131; MR 3402336.10.2140/agt.2015.15.2065 · Zbl 1326.55018
[3]	T.Barthel and N.Stapleton, Centralizers in good groups are good, Algebr. Geom. Topol.16 (2016), 1453-1472.10.2140/agt.2016.16.1453 · Zbl 1365.55001
[4]	A. K.Bousfield, The localization of spectra with respect to homology, Topology18 (1979), 257-281; MR 551009 (80m:55006).10.1016/0040-9383(79)90018-1 · Zbl 0417.55007
[5]	A. K.Bousfield, Uniqueness of infinite deloopings for K-theoretic spaces, Pacific J. Math.129 (1987), 1-31; MR 901254 (89g:55017).10.2140/pjm.1987.129.1 · Zbl 0664.55006
[6]	E. S.Devinatz, M. J.Hopkins and J. H.Smith, Nilpotence and stable homotopy theory. I, Ann. of Math. (2)128 (1988), 207-241; MR 960945 (89m:55009).10.2307/1971440 · Zbl 0673.55008
[7]	V. G.Drinfeld, Elliptic modules, Math. USSR Sb.23 (1974), 561-592.10.1070/SM1974v023n04ABEH001731 · Zbl 0321.14014 · doi:10.1070/SM1974v023n04ABEH001731
[8]	W. G.Dwyer and J. P. C.Greenlees, Complete modules and torsion modules, Amer. J. Math.124 (2002), 199-220; MR 1879003.10.1353/ajm.2002.0001 · Zbl 1017.18008
[9]	A. D.Elmendorf, I.Kriz, M. A.Mandell and J. P.May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, vol. 47 (American Mathematical Society, Providence, RI, 1997), with an appendix by M. Cole; MR 1417719 (97h:55006). · Zbl 0894.55001
[10]	J. P. C.Greenlees and H.Sadofsky, The Tate spectrum of v_n -periodic complex oriented theories, Math. Z.222 (1996), 391-405; MR 1400199 (97d:55010).10.1007/BF02621873 · Zbl 0849.55005
[11]	M.Hopkins, Complex oriented cohomology theories and the language of stacks, Course Notes,http://www.math.rochester.edu/people/faculty/doug/otherpapers/coctalos.pdf.
[12]	M. J.Hopkins, N. J.Kuhn and D. C.Ravenel, Generalized group characters and complex oriented cohomology theories, J. Amer. Math. Soc.13 (2000), 553-594.10.1090/S0894-0347-00-00332-5 · Zbl 1007.55004
[13]	M. J.Hopkins and J. H.Smith, Nilpotence and stable homotopy theory. II, Ann. of Math. (2)148 (1998), 1-49; MR 1652975 (99h:55009).10.2307/120991 · Zbl 0927.55015
[14]	M.Hovey, Bousfield localization functors and Hopkins’ chromatic splitting conjecture, in The Čech centennial (Boston, MA, 1993), Contemporary Mathematics, vol. 181 (American Mathematical Society, Providence, RI, 1995), 225-250; MR 1320994 (96m:55010). · Zbl 0830.55004
[15]	M. A.Hovey, v_n -elements in ring spectra and applications to bordism theory, Duke Math. J.88 (1997), 327-356; MR 1455523 (98d:55017).10.1215/S0012-7094-97-08813-X · Zbl 0880.55006
[16]	M.Hovey, Operations and co-operations in Morava E-theory, Homology, Homotopy Appl.6 (2004), 201-236; MR 2076002 (2005f:55003).10.4310/HHA.2004.v6.n1.a13 · Zbl 1063.55003
[17]	M.Hovey, Some spectral sequences in Morava<![CDATA \([E]]\)>-theory, Preprint (2004). · Zbl 1063.55003
[18]	M.Hovey and H.Sadofsky, Invertible spectra in the E (n)-local stable homotopy category, J. Lond. Math. Soc. (2)60 (1999), 284-302; MR 1722151 (2000h:55017).10.1112/S0024610799007784 · Zbl 0947.55013
[19]	M.Hovey and N. P.Strickland, Morava K-theories and localisation, Mem. Amer. Math. Soc.139 (1999), no. 666, viii+100pp; MR 1601906 (99b:55017). · Zbl 0929.55010
[20]	D. C.Johnson and W. S.Wilson, Projective dimension and Brown-Peterson homology, Topology12 (1973), 327-353; MR 0334257 (48 #12576).10.1016/0040-9383(73)90027-X · Zbl 0271.55006
[21]	D. C.Johnson and W. S.Wilson, BP operations and Morava’s extraordinary K-theories, Math. Z.144 (1975), 55-75; MR 0377856 (51 #14025).10.1007/BF01214408 · Zbl 0309.55003
[22]	T.Kashiwabara, Brown-Peterson cohomology of 𝛺^∞𝛴^∞S^2n, Quart. J. Math.49 (1998), 345-362; MR 1645564 (2000d:55013).10.1093/qmathj/49.3.345 · Zbl 0906.55003
[23]	T.Kashiwabara, On Brown-Peterson cohomology of QX, Ann. of Math. (2)153 (2001), 297-328; MR 1829752 (2002f:55013).10.2307/2661343 · Zbl 0985.55006
[24]	A.Kono and N.Yagita, Brown-Peterson and ordinary cohomology theories of classifying spaces for compact Lie groups, Trans. Amer. Math. Soc.339 (1993), 781-798; MR 1139493 (93m:55006).10.1090/S0002-9947-1993-1139493-4 · Zbl 0783.55007
[25]	N. J.Kuhn, Morava K-theories and infinite loop spaces, in Algebraic topology (Arcata, CA, 1986), Lecture Notes in Mathematics, vol. 1370 (Springer, Berlin, 1989), 243-257; MR 1000381 (90d:55014).10.1007/BFb0085232 · Zbl 0692.55005
[26]	N. J.Kuhn, Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces, Adv. Math.201 (2006), 318-378; MR 2211532 (2007d:55006).10.1016/j.aim.2005.02.005 · Zbl 1103.55007
[27]	T. Y.Lam, Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189 (Springer, New York, 1999); MR 1653294 (99i:16001).10.1007/978-1-4612-0525-8 · Zbl 0911.16001
[28]	P. S.Landweber, Annihilator ideals and primitive elements in complex bordism, Illinois J. Math.17 (1973), 273-284; MR 0322874 (48 #1235). · Zbl 0261.55006
[29]	P. S.Landweber, Homological properties of comodules over MU_∗(MU) and BP_∗(BP), Amer. J. Math.98 (1976), 591-610; MR 0423332 (54 #11311).10.2307/2373808 · Zbl 0355.55007
[30]	H. R.Margolis, Modules over the Steenrod algebra and the stable homotopy category, in Spectra and the Steenrod algebra, North-Holland Mathematical Library, vol. 29 (North-Holland, Amsterdam, 1983); MR 738973 (86j:55001). · Zbl 0552.55002
[31]	N.Minami, From K (n + 1)^∗(X) to K (n)^∗(X), Proc. Amer. Math. Soc.130 (2002), 1557-1562; MR 1879983 (2003a:55009).10.1090/S0002-9939-01-06374-2 · Zbl 0994.55005
[32]	D.Quillen, Elementary proofs of some results of cobordism theory using Steenrod operations, Adv. Math.7 (1971), 29-56; MR 0290382.10.1016/0001-8708(71)90041-7 · Zbl 0214.50502 · doi:10.1016/0001-8708(71)90041-7
[33]	D. C.Ravenel and W. S.Wilson, The Morava K-theories of Eilenberg-MacLane spaces and the Conner-Floyd conjecture, Amer. J. Math.102 (1980), 691-748; MR 584466 (81i:55005).10.2307/2374093 · Zbl 0466.55007
[34]	D. C.Ravenel, W. S.Wilson and N.Yagita, Brown-Peterson cohomology from MoravaK-theory, K-Theory15 (1998), 147-199; MR 1648284 (2000d:55012).10.1023/A:1007776725714 · Zbl 0912.55002
[35]	C.Rezk, The congruence criterion for power operations in Morava E-theory, Homology, Homotopy Appl.11 (2009), 327-379; MR 2591924 (2011e:55021).10.4310/HHA.2009.v11.n2.a16 · Zbl 1193.55010
[36]	C.Rezk, Rings of power operations for Morava<![CDATA \([E]]\)>-theories are Koszul, Preprint (2012),arXiv:1204.4831.
[37]	T.Schlank and N.Stapleton, A transchromatic proof of Strickland’s theorem, Adv. Math.285 (2015), 1415-1447; MR 3406531.10.1016/j.aim.2015.07.025 · Zbl 1373.55004
[38]	B.Schuster and N.Yagita, Transfers of Chern classes in BP-cohomology and Chow rings, Trans. Amer. Math. Soc.353 (2001), 1039-1054; MR 1804412 (2002b:55030).10.1090/S0002-9947-00-02647-7 · Zbl 0961.55012
[39]	N.Stapleton, Transchromatic generalized character maps, Algebr. Geom. Topol.13 (2013), 171-203; MR 3031640.10.2140/agt.2013.13.171 · Zbl 1300.55011 · doi:10.2140/agt.2013.13.171
[40]	N.Stapleton, Subgroups of p-divisible groups and centralizers in symmetric groups, Trans. Amer. Math. Soc.367 (2015), 3733-3757; MR 3314822.10.1090/S0002-9947-2014-06344-7 · Zbl 1333.55004 · doi:10.1090/S0002-9947-2014-06344-7
[41]	N.Strickland, Functorial philosophy for formal phenomena,http://hopf.math.purdue.edu/Strickland/fpfp.pdf.
[42]	N. P.Strickland, Finite subgroups of formal groups, J. Pure Appl. Algebra121 (1997), 161-208; MR 1473889 (98k:14065).10.1016/S0022-4049(96)00113-2 · Zbl 0916.14025
[43]	N. P.Strickland, Formal schemes and formal groups, in Homotopy invariant algebraic structures (Baltimore, MD, 1998), Contemporary Mathematics, vol. 239 (American Mathematical Society, Providence, RI, 1999), 263-352; MR 1718087 (2000j:55011).10.1090/conm/239/03608 · Zbl 1101.14322
[44]	W. S.Wilson, Brown-Peterson cohomology from Morava K-theory. II, K-Theory17 (1999), 95-101; MR 1696426 (2000d:55014).10.1023/A:1007730830899 · Zbl 0929.55004
[45]	N.Yagita, The exact functor theorem for BP_∗/I_n -theory, Proc. Japan Acad. Ser. A Math. Sci.52 (1976), 1-3; MR 0394631 (52 #15432). · Zbl 0344.55001
[46]	Z.-i.Yosimura, Projective dimension of Brown-Peterson homology with modulo (p, v_1, …, v_n-1) coefficients, Osaka J. Math.13 (1976), 289-309; MR 0415603 (54 #3686). · Zbl 0336.55006

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.