The stable Adams conjecture and higher associative structures on Moore spectra

Prasit Bhattacharya; Nitu Kitchloo

doi:https://doi.org/10.4007/annals.2022.195.2.1

Abstract

In this paper, we provide a new proof of the stable Adams conjecture. Our proof constructs a canonical null-homotopy of the stable J-homomorphism composed with a virtual Adams operation, by applying the K-theory functor to a multinatural transformation. We also point out that the original proof of the stable Adams conjecture is incorrect and present a correction. This correction is crucial to our main application. We settle the question on the height of higher associative structures on the mod $p^k$ Moore spectrum $\mathrm {M}_p(k)$ at odd primes. More precisely, for any odd prime $p$, we show that $\mathrm {M}_p(k)$ admits a Thomified $\mathbb {A}_n$-structure if and only if $n < p^k$. We also prove a weaker result for $p=2$.

Show/hide bibliography for this article

[AM] $Go to document$ M. Artin and B. Mazur, Étale Homotopy, Springer-Verlag, Berlin-New York, 1969, vol. 100.

Show bibtex

@BOOK{AM, author = {Artin, M. and Mazur, B.}, title = {{É}tale Homotopy}, series = {Lecture Notes in Math.}, volume = {100}, publisher = {Springer-Verlag, Berlin-New York}, year = {1969}, pages = {iii+169}, mrclass = {14.55 (18.00)}, mrnumber = {0245577}, mrreviewer = {J. S. Milne}, doi = {10.1007/BFb0080957}, url = {https://doi.org/10.1007/BFb0080957}, zblnumber = {0182.26001}, }
[HAMS] P. Bhattacharya, Higher associativity of Moore spectra, 2020.

Show bibtex

@MISC{HAMS, author = {Bhattacharya, Prasit}, title = {Higher associativity of {M}oore spectra}, arxiv = {1607.02702v2}, year={2020}, }
[BousKan] $Go to document$ A. K. Bousfield and D. M. Kan, Homotopy Limits, Completions and Localizations, Springer-Verlag, New York, 1972, vol. 304.

Show bibtex

@BOOK{BousKan, author = {Bousfield, A. K. and Kan, D. M.}, title = {Homotopy {L}imits, {C}ompletions and {L}ocalizations}, series = {Lecture Notes in Math.}, volume = {304}, publisher = {Springer-Verlag, New York}, year = {1972}, pages = {v+348}, mrclass = {55J05}, mrnumber = {0365573}, mrreviewer = {Harold Hastings}, doi = {10.1007/978-3-540-38117-4}, url = {https://doi.org/10.1007/978-3-540-38117-4}, zblnumber = {0259.55004}, }
[BouslocalSp] $Go to document$ A. K. Bousfield, "The localization of spectra with respect to homology," Topology, vol. 18, iss. 4, pp. 257-281, 1979.

Show bibtex

@ARTICLE{BouslocalSp, author = {Bousfield, A. K.}, title = {The localization of spectra with respect to homology}, journal = {Topology}, fjournal = {Topology. An International Journal of Mathematics}, volume = {18}, year = {1979}, number = {4}, pages = {257--281}, issn = {0040-9383}, mrclass = {55N20 (55N15 55P60)}, mrnumber = {0551009}, mrreviewer = {Willi Meier}, doi = {10.1016/0040-9383(79)90018-1}, url = {https://doi.org/10.1016/0040-9383(79)90018-1}, zblnumber = {0417.55007}, }
[homoiter] $Go to document$ F. R. Cohen, T. J. Lada, and P. J. May, The Homology of Iterated Loop Spaces, Springer-Verlag, New York, 1976, vol. 533.

Show bibtex

@BOOK{homoiter, author = {Cohen, Frederick R. and Lada, Thomas J. and May, J. Peter}, title = {The Homology of Iterated Loop Spaces}, series = {Lecture Notes in Math.}, volume = {533}, publisher = {Springer-Verlag, New York}, year = {1976}, pages = {vii+490}, mrclass = {55G25 (55D35)}, mrnumber = {0436146}, mrreviewer = {Peter J. Eccles}, doi = {10.1007/BFb0080464}, url = {https://doi.org/10.1007/BFb0080464}, zblnumber = {0334.55009}, }
[EMring] $Go to document$ A. D. Elmendorf and M. A. Mandell, "Rings, modules, and algebras in infinite loop space theory," Adv. Math., vol. 205, iss. 1, pp. 163-228, 2006.

Show bibtex

@ARTICLE{EMring, author = {Elmendorf, A. D. and Mandell, M. A.}, title = {Rings, modules, and algebras in infinite loop space theory}, journal = {Adv. Math.}, fjournal = {Advances in Mathematics}, volume = {205}, year = {2006}, number = {1}, pages = {163--228}, issn = {0001-8708}, mrclass = {19D23 (18D10 55P43)}, mrnumber = {2254311}, mrreviewer = {J. P. C. Greenlees}, doi = {10.1016/j.aim.2005.07.007}, url = {https://doi.org/10.1016/j.aim.2005.07.007}, zblnumber = {1117.19001}, }
[EMmult] $Go to document$ A. D. Elmendorf and M. A. Mandell, "Permutative categories, multicategories and algebraic $K$-theory," Algebr. Geom. Topol., vol. 9, iss. 4, pp. 2391-2441, 2009.

Show bibtex

@ARTICLE{EMmult, author = {Elmendorf, A. D. and Mandell, M. A.}, title = {Permutative categories, multicategories and algebraic {$K$}-theory}, journal = {Algebr. Geom. Topol.}, fjournal = {Algebraic \& Geometric Topology}, volume = {9}, year = {2009}, number = {4}, pages = {2391--2441}, issn = {1472-2747}, mrclass = {19D23 (18D10 18D50 55P42 55U35)}, mrnumber = {2558315}, doi = {10.2140/agt.2009.9.2391}, url = {https://doi.org/10.2140/agt.2009.9.2391}, zblnumber = {1205.19003}, }
[FMclassify] $Go to document$ E. M. Friedlander and G. Mislin, "Cohomology of classifying spaces of complex Lie groups and related discrete groups," Comment. Math. Helv., vol. 59, iss. 3, pp. 347-361, 1984.

Show bibtex

@ARTICLE{FMclassify, author = {Friedlander, Eric M. and Mislin, Guido}, title = {Cohomology of classifying spaces of complex {L}ie groups and related discrete groups}, journal = {Comment. Math. Helv.}, fjournal = {Commentarii Mathematici Helvetici}, volume = {59}, year = {1984}, number = {3}, pages = {347--361}, issn = {0010-2571}, mrclass = {55R40 (18F25 19D55 19F27 57T10)}, mrnumber = {0761803}, mrreviewer = {Mark Feshbach}, doi = {10.1007/BF02566356}, url = {https://doi.org/10.1007/BF02566356}, zblnumber = {0548.55016}, }
[Floop] $Go to document$ E. M. Friedlander, "The infinite loop Adams conjecture via classification theorems for ${\cal F}$-spaces," Math. Proc. Cambridge Philos. Soc., vol. 87, iss. 1, pp. 109-150, 1980.

Show bibtex

@ARTICLE{Floop, author = {Friedlander, Eric M.}, title = {The infinite loop {A}dams conjecture via classification theorems for {${\cal F}$}-spaces}, journal = {Math. Proc. Cambridge Philos. Soc.}, fjournal = {Mathematical Proceedings of the Cambridge Philosophical Society}, volume = {87}, year = {1980}, number = {1}, pages = {109--150}, issn = {0305-0041}, mrclass = {55P47 (14F35)}, mrnumber = {0549303}, mrreviewer = {V. P. Snaith}, doi = {10.1017/S0305004100056577}, url = {https://doi.org/10.1017/S0305004100056577}, zblnumber = {0426.55010}, }
[Fetale] E. M. Friedlander, Étale Homotopy of Simplicial Schemes, Princeton Univ. Press, Princeton, N.J.; Univ. of Tokyo Press, Tokyo, 1982, vol. 104.

Show bibtex

@BOOK{Fetale, author = {Friedlander, Eric M.}, title = {\'{E}tale Homotopy of Simplicial Schemes}, series = {Annals of Math. Stud.}, volume = {104}, publisher = {Princeton Univ. Press, Princeton, N.J.; Univ. of Tokyo Press, Tokyo}, year = {1982}, pages = {vii+190}, isbn = {0-691-08288-X; 0-691-08317-7}, mrclass = {55P99 (14F35 55-02)}, mrnumber = {0676809}, mrreviewer = {V. P. Snaith}, zblnumber = {0538.55001}, }
[FStwo] $Go to document$ E. M. Friedlander and R. M. Seymour, "Two proofs of the stable Adams conjecture," Bull. Amer. Math. Soc., vol. 83, iss. 6, pp. 1300-1302, 1977.

Show bibtex

@ARTICLE{FStwo, author = {Friedlander, Eric M. and Seymour, R. M.}, title = {Two proofs of the stable {A}dams conjecture}, journal = {Bull. Amer. Math. Soc.}, fjournal = {Bulletin of the American Mathematical Society}, volume = {83}, year = {1977}, number = {6}, pages = {1300--1302}, issn = {0002-9904}, mrclass = {55F50}, mrnumber = {0448352}, mrreviewer = {J. Stasheff}, doi = {10.1090/S0002-9904-1977-14421-2}, url = {https://doi.org/10.1090/S0002-9904-1977-14421-2}, zblnumber = {0387.55007}, }
[Gcompare] $Go to document$ P. Goerss, "Comparing completions of a space at a prime," in Homotopy Theory via Algebraic Geometry and Group Representations, Amer. Math. Soc., Providence, RI, 1998, vol. 220, pp. 65-102.

Show bibtex

@INCOLLECTION{Gcompare, author = {Goerss, Paul}, title = {Comparing completions of a space at a prime}, booktitle = {Homotopy Theory via Algebraic Geometry and Group Representations}, venue = {({E}vanston, {IL}, 1997}, series = {Contemp. Math.}, volume = {220}, pages = {65--102}, publisher = {Amer. Math. Soc., Providence, RI}, year = {1998}, mrclass = {55P60}, mrnumber = {1642890}, mrreviewer = {J. Aguadé}, doi = {10.1090/conm/220/03095}, url = {https://doi.org/10.1090/conm/220/03095}, zblnumber = {0912.55009}, }
[KOmassey] $Go to document$ S. O. Kochman, "Symmetric Massey products and a Hirsch formula in homology," Trans. Amer. Math. Soc., vol. 163, pp. 245-260, 1972.

Show bibtex

@ARTICLE{KOmassey, author = {Kochman, Stanley O.}, title = {Symmetric {M}assey products and a {H}irsch formula in homology}, journal = {Trans. Amer. Math. Soc.}, fjournal = {Transactions of the American Mathematical Society}, volume = {163}, year = {1972}, pages = {245--260}, issn = {0002-9947}, mrclass = {55G30 (55B40 55D35)}, mrnumber = {0331388}, mrreviewer = {G. Hirsch}, doi = {10.2307/1995721}, url = {https://doi.org/10.2307/1995721}, zblnumber = {0208.25502}, }
[Kmassey] $Go to document$ D. Kraines, "Massey higher products," Trans. Amer. Math. Soc., vol. 124, pp. 431-449, 1966.

Show bibtex

@ARTICLE{Kmassey, author = {Kraines, David}, title = {Massey higher products}, journal = {Trans. Amer. Math. Soc.}, fjournal = {Transactions of the American Mathematical Society}, volume = {124}, year = {1966}, pages = {431--449}, issn = {0002-9947}, mrclass = {55.34}, mrnumber = {0202136}, mrreviewer = {W. D. Barcus}, doi = {10.2307/1994385}, url = {https://doi.org/10.2307/1994385}, zblnumber = {0146.19201}, }
[Kloop] $Go to document$ N. J. Kuhn, "Morava $\mathrm{K}$-theories and infinite loop spaces," in Algebraic Topology, Springer, Berlin, 1989, vol. 1370, pp. 243-257.

Show bibtex

@INCOLLECTION{Kloop, author = {Kuhn, Nicholas J.}, title = {Morava {$\mathrm{K}$}-theories and infinite loop spaces}, booktitle = {Algebraic Topology}, venue = {{A}rcata, {CA}, 1986}, series = {Lecture Notes in Math.}, volume = {1370}, pages = {243--257}, publisher = {Springer, Berlin}, year = {1989}, mrclass = {55P47 (55N20)}, mrnumber = {1000381}, mrreviewer = {Richard John Steiner}, doi = {10.1007/BFb0085232}, url = {https://doi.org/10.1007/BFb0085232}, zblnumber = {0692.55005}, }
[Madsen] $Go to document$ I. H. Madsen, "On the action of the Dyer-Lashof algebra in $H_{\ast}(G)$," Pacific J. Math., vol. 60, iss. 1, pp. 235-275, 1975.

Show bibtex

@ARTICLE{Madsen, author = {Madsen, I. H.}, title = {On the action of the {D}yer-{L}ashof algebra in {$H\sb{\ast}(G)$}}, journal = {Pacific J. Math.}, fjournal = {Pacific Journal of Mathematics}, volume = {60}, year = {1975}, number = {1}, pages = {235--275}, issn = {0030-8730}, mrclass = {55G25 (57F99)}, mrnumber = {0388392}, mrreviewer = {R. K. Lashof}, zblnumber = {0313.55018}, doi = {10.2140/pjm.1975.60.235}, url = {https://doi.org/10.2140/pjm.1975.60.235}, }
[MayImonoid] $Go to document$ J. P. May, "The spectra associated to ${\cal I}$-monoids," Math. Proc. Cambridge Philos. Soc., vol. 84, iss. 2, pp. 313-322, 1978.

Show bibtex

@ARTICLE{MayImonoid, author = {May, J. P.}, title = {The spectra associated to {${\cal I}$}-monoids}, journal = {Math. Proc. Cambridge Philos. Soc.}, fjournal = {Mathematical Proceedings of the Cambridge Philosophical Society}, volume = {84}, year = {1978}, number = {2}, pages = {313--322}, issn = {0305-0041}, mrclass = {55B20 (55D35)}, mrnumber = {0488033}, mrreviewer = {Stewart B. Priddy}, doi = {10.1017/S0305004100055134}, url = {https://doi.org/10.1017/S0305004100055134}, zblnumber = {0393.55013}, }
[Mpc] $Go to document$ J. P. May, "The spectra associated to permutative categories," Topology, vol. 17, iss. 3, pp. 225-228, 1978.

Show bibtex

@ARTICLE{Mpc, author = {May, J. P.}, title = {The spectra associated to permutative categories}, journal = {Topology}, fjournal = {Topology. An International Journal of Mathematics}, volume = {17}, year = {1978}, number = {3}, pages = {225--228}, issn = {0040-9383}, mrclass = {55P42 (55N20 55P35)}, mrnumber = {0508886}, mrreviewer = {J. F. Adams}, doi = {10.1016/0040-9383(78)90027-7}, url = {https://doi.org/10.1016/0040-9383(78)90027-7}, zblnumber = {0417.55011}, }
[Morel] $Go to document$ F. Morel, "Ensembles profinis simpliciaux et interprétation géométrique du foncteur $T$," Bull. Soc. Math. France, vol. 124, iss. 2, pp. 347-373, 1996.

Show bibtex

@ARTICLE{Morel, author = {Morel, Fabien}, title = {Ensembles profinis simpliciaux et interprétation géométrique du foncteur {$T$}}, journal = {Bull. Soc. Math. France}, fjournal = {Bulletin de la Société Mathématique de France}, volume = {124}, year = {1996}, number = {2}, pages = {347--373}, issn = {0037-9484}, mrclass = {55P60 (18G30 55S10)}, mrnumber = {1414543}, mrreviewer = {J. Aguadé}, doi = {10.24033/bsmf.2284}, url = {https://doi.org/10.24033/bsmf.2284}, zblnumber = {0868.55015}, }
[MPstable] $Go to document$ H. R. Miller and S. B. Priddy, "On $G$ and the stable Adams conjecture," in Geometric Applications of Homotopy Theory, II, 1978, pp. 331-348.

Show bibtex

@INPROCEEDINGS{MPstable, author = {Miller, Haynes R. and Priddy, Stewart B.}, title = {On {$G$} and the stable {A}dams conjecture}, booktitle = {Geometric Applications of Homotopy Theory, {II}}, venue = {{P}roc. {C}onf., {E}vanston, {I}ll., 1977}, series = {Lecture Notes in Math.}, volume = {658}, pages = {331--348}, publisher = {Springer, Berlin}, year = {1978}, mrclass = {55P35}, mrnumber = {0513582}, mrreviewer = {V. P. Snaith}, doi = {10.1007/BFb0068724}, url = {https://doi.org/10.1007/BFb0068724}, zblnumber = {0383.55013}, }
[Omult] $Go to document$ S. Oka, "Multiplications on the Moore spectrum," Mem. Fac. Sci. Kyushu Univ. Ser. A, vol. 38, iss. 2, pp. 257-276, 1984.

Show bibtex

@ARTICLE{Omult, author = {Oka, Shichirô}, title = {Multiplications on the {M}oore spectrum}, journal = {Mem. Fac. Sci. Kyushu Univ. Ser. A}, fjournal = {Memoirs of the Faculty of Science. Kyushu Univ.. Series A. Mathematics}, volume = {38}, year = {1984}, number = {2}, pages = {257--276}, issn = {0373-6385}, mrclass = {55P45}, mrnumber = {0760188}, mrreviewer = {Donald M. Davis}, doi = {10.2206/kyushumfs.38.257}, url = {https://doi.org/10.2206/kyushumfs.38.257}, zblnumber = {0552.55009}, }
[Qadams] $Go to document$ D. Quillen, "The Adams conjecture," Topology, vol. 10, pp. 67-80, 1971.

Show bibtex

@ARTICLE{Qadams, author = {Quillen, Daniel}, title = {The {A}dams conjecture}, journal = {Topology}, fjournal = {Topology. An International Journal of Mathematics}, volume = {10}, year = {1971}, pages = {67--80}, issn = {0040-9383}, mrclass = {55.30}, mrnumber = {0279804}, mrreviewer = {J. F. Adams}, doi = {10.1016/0040-9383(71)90018-8}, url = {https://doi.org/10.1016/0040-9383(71)90018-8}, zblnumber = {0219.55013}, }
[Runit] $Go to document$ C. Rezk, "The units of a ring spectrum and a logarithmic cohomology operation," J. Amer. Math. Soc., vol. 19, iss. 4, pp. 969-1014, 2006.

Show bibtex

@ARTICLE{Runit, author = {Rezk, Charles}, title = {The units of a ring spectrum and a logarithmic cohomology operation}, journal = {J. Amer. Math. Soc.}, fjournal = {Journal of the American Mathematical Society}, volume = {19}, year = {2006}, number = {4}, pages = {969--1014}, issn = {0894-0347}, mrclass = {55N22 (55P43 55S05)}, mrnumber = {2219307}, mrreviewer = {Keith Peter Johnson}, doi = {10.1090/S0894-0347-06-00521-2}, url = {https://doi.org/10.1090/S0894-0347-06-00521-2}, zblnumber = {1106.55002}, }
[Scat] $Go to document$ G. Segal, "Categories and cohomology theories," Topology, vol. 13, pp. 293-312, 1974.

Show bibtex

@ARTICLE{Scat, author = {Segal, Graeme}, title = {Categories and cohomology theories}, journal = {Topology}, fjournal = {Topology. An International Journal of Mathematics}, volume = {13}, year = {1974}, pages = {293--312}, issn = {0040-9383}, mrclass = {55B20}, mrnumber = {0353298}, mrreviewer = {J. P. May}, doi = {10.1016/0040-9383(74)90022-6}, url = {https://doi.org/10.1016/0040-9383(74)90022-6}, zblnumber = {0284.55016}, }
[SassoI] $Go to document$ J. D. Stasheff, "Homotopy associativity of $H$-spaces. I," Trans. Amer. Math. Soc., vol. 108, pp. 275-292, 1963.

Show bibtex

@ARTICLE{SassoI, author = {Stasheff, James Dillon}, title = {Homotopy associativity of {$H$}-spaces. {I}}, journal = {Trans. Amer. Math. Soc.}, fjournal = {Transactions of the American Mathematical Society}, volume = {108}, year = {1963}, pages = {275--292}, issn = {0002-9947}, mrclass = {55.40}, mrnumber = {0158400}, mrreviewer = {A. H. Clark}, doi = {10.1090/S0002-9947-1963-99936-3}, url = {https://doi.org/10.1090/S0002-9947-1963-99936-3}, zblnumber = {0114.39402}, }
[Sasso] $Go to document$ J. D. Stasheff, "Homotopy associativity of $H$-spaces. II," Trans. Amer. Math. Soc. 108, vol. 108, pp. 293-312, 1963.

Show bibtex

@ARTICLE{Sasso, author = {Stasheff, James Dillon}, title = {Homotopy associativity of {$H$}-spaces. {II}}, journal = {Trans. Amer. Math. Soc. 108}, fjournal = {Transactions of the American Mathematical Society}, volume = {108}, year = {1963}, pages = {293--312}, issn = {0002-9947}, mrclass = {55.40}, mrnumber = {0158400}, mrreviewer = {A. H. Clark}, doi = {10.1090/s0002-9947-1963-0158400-5}, url = {https://doi.org/10.1090/s0002-9947-1963-0158400-5}, zblnumber = {0114.39402}, }
[Sgenetics] $Go to document$ D. Sullivan, "Genetics of homotopy theory and the Adams conjecture," Ann. of Math. (2), vol. 100, pp. 1-79, 1974.

Show bibtex

@ARTICLE{Sgenetics, author = {Sullivan, Dennis}, title = {Genetics of homotopy theory and the {A}dams conjecture}, journal = {Ann. of Math. (2)}, fjournal = {Annals of Mathematics. Second Series}, volume = {100}, year = {1974}, pages = {1--79}, issn = {0003-486X}, mrclass = {55F25 (55D15 57F99)}, mrnumber = {0442930}, mrreviewer = {D. B. Fuchs}, doi = {10.2307/1970841}, url = {https://doi.org/10.2307/1970841}, zblnumber = {0355.57007}, }
[Text] $Go to document$ H. Toda, "Extended $p$-th powers of complexes and applications to homotopy theory," Proc. Japan Acad., vol. 44, pp. 198-203, 1968.

Show bibtex

@ARTICLE{Text, author = {Toda, Hirosi}, title = {Extended {$p$}-th powers of complexes and applications to homotopy theory}, journal = {Proc. Japan Acad.}, fjournal = {Proceedings of the Japan Academy}, volume = {44}, year = {1968}, pages = {198--203}, issn = {0021-4280}, mrclass = {55.40}, mrnumber = {0230311}, mrreviewer = {P. S. Green}, doi = {10.3792/pja/1195521243}, url = {https://doi.org/10.3792/pja/1195521243}, zblnumber = {0181.26405}, }

The stable Adams conjecture and higher associative structures on Moore spectra

Abstract

Authors