Heuts, Gijs Lie algebras and \(v_n\)-periodic spaces. (English) Zbl 1481.55007 Ann. Math. (2) 193, No. 1, 223-301 (2021). Through this important work, the author places rational homotopy theory and the analogous \(v_n\)-periodic homotopy theory for spaces in the context of higher category theory and higher algebra, develops and applies tools in this framework to obtain desirable (spectral) algebraic models for (unstable) \(v_n\)-periodic homotopy theory, along with a conceptual understanding of the Bousfield-Kuhn functor and its Goodwillie tower, among other things.More precisely, for each \(n\geq1\), upon defining a (locally small) full \(\infty\)-subcategory \(\mathcal{S}_{v_n}\) of pointed spaces by inverting the \(v_n\)-periodic equivalence, the author establishes as a main result (Theorem 2.6) an equivalence between \(\mathcal{S}_{v_n}\) and the \(\infty\)-category of Lie algebras in \(T(n)\)-local spectra, where the Lie algebra structure arises from the adjunction between \[\Theta\!:\mathrm{Sp}_{T(n)} \to \mathcal{S}_{v_n}\text{ and }\Phi\!: \mathcal{S}_{v_n} \to \mathrm{Sp}_{T(n)}\] with \(\Phi\) equivalent to the restriction of the Bousfield-Kuhn functor to this subcategory, so that \(\Phi\) is also equivalent to the forgetful functor of the Lie algebra structure. For example, the classical Whitehead bracket on the homotopy groups of a pointed space corresponds to this Lie algebra structure in a precise way. A \(K(n)\)-local analogue of the main theorem follows as a formal consequence (but not the other way around).On the other hand, for a Koszul-dual statement, a second stabilize-destabilize adjunction between \[\Sigma^\infty_{T(n)}\!:\mathcal{S}_{v_n} \to\mathrm{Sp}_{T(n)}\text{ and }\Omega^\infty_{T(n)}\!: \mathrm{Sp}_{T(n)}\to \mathcal{S}_{v_n}\] leads to a comparison between \(\mathcal{S}_{v_n}\) and the \(\infty\)-category of commutative ind-coalgebras in \(T(n)\)-local spectra, which is shown to be an equivalence only for levelwise truncations of the Goodwillie approximation of \(\mathcal{S}_{v_n}\) (along the tower of the identity). In this way, the author identifies the Goodwille tower of the Bousfield-Kuhn functor \(\Phi\) levelwise as primitives for this coalgebra structure. Due to the issue with convergence of the Goodwillie tower of the identity, not all spaces enjoy the full equivalence without truncation, and interesting examples and non-examples are studied by the author here, in joint work elsewhere, as well as by others, with computational consequences, particularly for spheres and \(n\leq2\).The reviewer recommends the survey [M. Behrens and C. Rezk, Springer Proc. Math. Stat. 309, 275–323 (2020; Zbl 1456.55007)] for an accessible and generous introduction to this series of exciting developments in unstable \(v_n\)-periodic homotopy theory by the author here, by Behrens and Rezk, and by G. Arone and M. Ching, among others, through a variety of approaches, as vast generalizations of Quillen’s and others’ pioneering work in rational homotopy theory, as well as a set of seventeen lecture notes from the Harvard Thursday seminars on unstable chromatic homotopy theory organized by J. Lurie and M. J. Hopkins. It is also worth mentioning that algebra and coalgebra objects of \(\infty\)-categories, such as those appearing in this work, play a pivotal role in spectral algebraic geometry. Further computations with \(v_n\)-periodic homotopy theory will surely elucidate the advances made here. Reviewer: Yifei Zhu (Shenzhen) Cited in 1 ReviewCited in 11 Documents MSC: 55P43 Spectra with additional structure (\(E_\infty\), \(A_\infty\), ring spectra, etc.) 55P62 Rational homotopy theory 55Q51 \(v_n\)-periodicity Keywords:\(v_n\)-periodic homotopy groups; Bousfield-Kuhn functor; spectral Lie algebras; chromatic homotopy theory Citations:Zbl 1456.55007 × Cite Format Result Cite Review PDF Full Text: DOI arXiv References: [1] Adams, J. F., On the groups {\(J(X)\)}. {IV}, Topology. Topology. An International Journal of Mathematics, 5, 21-71 (1966) · Zbl 0145.19902 · doi:10.1016/0040-9383(66)90004-8 [2] Arone, Greg; Ching, Michael, Operads and chain rules for the calculus of functors, Ast\'{e}risque. Ast\'{e}risque, 338, vi+158 pp. (2011) · Zbl 1239.55004 [3] Arone, G. Z.; Dwyer, W. G., Partition complexes, {T}its buildings and symmetric products, Proc. London Math. Soc. (3). Proceedings of the London Mathematical Society. Third Series, 82, 229-256 (2001) · Zbl 1028.55008 · doi:10.1112/S0024611500012715 [4] Arone, Greg; Mahowald, Mark, The {G}oodwillie tower of the identity functor and the unstable periodic homotopy of spheres, Invent. Math.. Inventiones Mathematicae, 135, 743-788 (1999) · Zbl 0997.55016 · doi:10.1007/s002220050300 [5] Arone, Greg; Kankaanrinta, Marja, The homology of certain subgroups of the symmetric group with coefficients in {L}ie{\((n)\)}, J. Pure Appl. Algebra. Journal of Pure and Applied Algebra, 127, 1-14 (1998) · Zbl 0921.55012 · doi:10.1016/S0022-4049(97)00050-9 [6] Basterra, Maria; Mandell, Michael A., Homology and cohomology of {\(E_\infty \)} ring spectra, Math. Z.. Mathematische Zeitschrift, 249, 903-944 (2005) · Zbl 1071.55006 · doi:10.1007/s00209-004-0744-y [7] Behrens, Mark, The {G}oodwillie tower and the {EHP} sequence, Mem. Amer. Math. Soc.. Memoirs of the American Mathematical Society, 218, xii+90 pp. (2012) · Zbl 1330.55012 · doi:10.1090/S0065-9266-2011-00645-3 [8] Behrens, Mark; Rezk, Charles, The {B}ousfield-{K}uhn functor and topological {A}ndr\'{e}-{Q}uillen cohomology, Invent. Math.. Inventiones Mathematicae, 220, 949-1022 (2020) · Zbl 1444.55003 · doi:10.1007/s00222-019-00941-x [9] Behrens, Mark; Rezk, Charles, Spectral algebra models of unstable \(v_n\)-periodic homotopy theory. Bousfield {C}lasses and {O}hkawa’s {T}heorem, 275-323 (2020) · Zbl 1456.55007 · doi:10.1007/978-981-15-1588-0_10 [10] Bousfield, A. K., Localization and periodicity in unstable homotopy theory, J. Amer. Math. Soc.. Journal of the American Mathematical Society, 7, 831-873 (1994) · Zbl 0839.55008 · doi:10.2307/2152734 [11] Bousfield, A. K., The {\(K\)}-theory localizations and {\(v_1\)}-periodic homotopy groups of {\(H\)}-spaces, Topology. Topology. An International Journal of Mathematics, 38, 1239-1264 (1999) · Zbl 0933.57034 · doi:10.1016/S0040-9383(98)00052-4 [12] Bousfield, A. K., On the telescopic homotopy theory of spaces, Trans. Amer. Math. Soc.. Transactions of the American Mathematical Society, 353, 2391-2426 (2001) · Zbl 0971.55016 · doi:10.1090/S0002-9947-00-02649-0 [13] Brantner, Lukas; Heuts, Gijs, The {\(v_n\)}-periodic {G}oodwillie tower on wedges and cofibres, Homology Homotopy Appl.. Homology, Homotopy and Applications, 22, 167-184 (2020) · Zbl 1431.55013 · doi:10.4310/HHA.2020.v22.n1.a10 [14] Ching, Michael, Bar constructions for topological operads and the {G}oodwillie derivatives of the identity, Geom. Topol.. Geometry and Topology, 9, 833-933 (2005) · Zbl 1153.55006 · doi:10.2140/gt.2005.9.833 [15] Ching, Michael, Bar-cobar duality for operads in stable homotopy theory, J. Topol.. Journal of Topology, 5, 39-80 (2012) · Zbl 1319.55003 · doi:10.1112/jtopol/jtr027 [16] Chu, Hongyi; Haugseng, Rune, Enriched {\( \infty \)}-operads, Adv. Math.. Advances in Mathematics, 361, 106913-85 (2020) · Zbl 1475.18032 · doi:10.1016/j.aim.2019.106913 [17] Cisinski, Denis-Charles; Moerdijk, Ieke, Dendroidal sets as models for homotopy operads, J. Topol.. Journal of Topology, 4, 257-299 (2011) · Zbl 1221.55011 · doi:10.1112/jtopol/jtq039 [18] Clausen, Dustin; Mathew, Akhil, A short proof of telescopic {T}ate vanishing, Proc. Amer. Math. Soc.. Proceedings of the American Mathematical Society, 145, 5413-5417 (2017) · Zbl 1378.55005 · doi:10.1090/proc/13648 [19] Devinatz, Ethan S.; Hopkins, Michael J.; Smith, Jeffrey H., Nilpotence and stable homotopy theory. {I}, Ann. of Math. (2). Annals of Mathematics. Second Series, 128, 207-241 (1988) · Zbl 0673.55008 · doi:10.2307/1971440 [20] Eldred, Rosona; Heuts, Gijs; Mathew, Akhil; Meier, Lennart, Monadicity of the {B}ousfield-{K}uhn functor, Proc. Amer. Math. Soc.. Proceedings of the American Mathematical Society, 147, 1789-1796 (2019) · Zbl 1416.55002 · doi:10.1090/proc/14331 [21] Farjoun, Emmanuel Dror, Cellular Spaces, Null Spaces and Homotopy Localization, Lecture Notes in Math., 1622, xiv+199 pp. (1996) · Zbl 0842.55001 · doi:10.1007/BFb0094429 [22] Francis, John; Gaitsgory, Dennis, Chiral {K}oszul duality, Selecta Math. (N.S.). Selecta Mathematica. New Series, 18, 27-87 (2012) · Zbl 1248.81198 · doi:10.1007/s00029-011-0065-z [23] Getzler, E.; Jones, J. D.S., Operads, homotopy algebra and iterated integrals for double loop spaces [24] Ginzburg, Victor; Kapranov, Mikhail, Koszul duality for operads, Duke Math. J.. Duke Mathematical Journal, 76, 203-272 (1994) · Zbl 0855.18006 · doi:10.1215/S0012-7094-94-07608-4 [25] Goodwillie, Thomas G., Calculus. {III}. {T}aylor series, Geom. Topol.. Geometry and Topology, 7, 645-711 (2003) · Zbl 1067.55006 · doi:10.2140/gt.2003.7.645 [26] Heuts, Gijsbert, Goodwillie approximations to higher categories, 115 pp. (2015) [27] Hopkins, Michael J.; Smith, Jeffrey H., Nilpotence and stable homotopy theory. {II}, Ann. of Math. (2). Annals of Mathematics. Second Series, 148, 1-49 (1998) · Zbl 0924.55010 · doi:10.2307/120991 [28] Joyal, A., Quasi-categories and {K}an complexes, J. Pure Appl. Algebra. Journal of Pure and Applied Algebra, 175, 207-222 (2002) · Zbl 1015.18008 · doi:10.1016/S0022-4049(02)00135-4 [29] Joyal, A., The theory of quasi-categories {I} (2008) [30] Kuhn, Nicholas J., Morava {K}-theories and infinite loop spaces. Algebraic topology ({A}rcata, {CA}, 1986), Lecture Notes in Math., 1370, 243-257 (1989) · Zbl 0692.55005 · doi:10.1007/BFb0085232 [31] Kuhn, Nicholas J., The {M}c{C}ord model for the tensor product of a space and a commutative ring spectrum. Categorical decomposition techniques in algebraic topology ({I}sle of {S}kye, 2001), Progr. Math., 215, 213-236 (2004) · Zbl 1063.55009 [32] Kuhn, Nicholas J., Tate cohomology and periodic localization of polynomial functors, Invent. Math.. Inventiones Mathematicae, 157, 345-370 (2004) · Zbl 1069.55007 · doi:10.1007/s00222-003-0354-z [33] Kuhn, Nicholas J., Localization of {A}ndr\'{e}-{Q}uillen-{G}oodwillie towers, and the periodic homology of infinite loopspaces, Adv. Math.. Advances in Mathematics, 201, 318-378 (2006) · Zbl 1103.55007 · doi:10.1016/j.aim.2005.02.005 [34] Kuhn, Nicholas J., A guide to telescopic functors, Homology Homotopy Appl.. Homology, Homotopy and Applications, 10, 291-319 (2008) · Zbl 1169.55007 · doi:10.4310/HHA.2008.v10.n3.a13 [35] Kuhn, Nicholas J.; Pereira, Lu\'{\i}s Alexandre, Operad bimodules and composition products on {A}ndr\'{e}-{Q}uillen filtrations of algebras, Algebr. Geom. Topol.. Algebraic & Geometric Topology, 17, 1105-1130 (2017) · Zbl 1362.55008 · doi:10.2140/agt.2017.17.1105 [36] Lurie, Jacob, Higher Topos Theory, Ann. of Math. Stud., 170, xviii+925 pp. (2009) · Zbl 1175.18001 · doi:10.1515/9781400830558 [37] available on author’s webpage, Higher algebra (2014) [38] available on author’s webpage, Elliptic cohomology {I}: {S}pectral {A}belian varieties (2016) [39] Lurie, Jacob; Hopkins, M. J.; {\relax et al.}, Unstable chromatic homotopy theory [40] Mahowald, Mark, The image of {\(J\)} in the {\(EHP\)} sequence, Ann. of Math. (2). Annals of Mathematics. Second Series, 116, 65-112 (1982) · Zbl 0504.55010 · doi:10.2307/2007048 [41] Mathew, Akhil, Examples of descent up to nilpotence. Geometric and Topological Aspects of the Representation Theory of Finite Groups, Springer Proc. Math. Stat., 242, 269-311 (2018) · Zbl 1544.18019 · doi:10.1007/978-3-319-94033-5_11 [42] McCarthy, Randy, Dual calculus for functors to spectra. Homotopy {M}ethods in {A}lgebraic {T}opology ({B}oulder, {CO}, 1999), Contemp. Math., 271, 183-215 (2001) · Zbl 0996.19005 · doi:10.1090/conm/271/04357 [43] Moerdijk, I.; Weiss, I., On inner {K}an complexes in the category of dendroidal sets, Adv. Math.. Advances in Mathematics, 221, 343-389 (2009) · Zbl 1171.55009 · doi:10.1016/j.aim.2008.12.015 [44] Quillen, Daniel, Rational homotopy theory, Ann. of Math. (2). Annals of Mathematics. Second Series, 90, 205-295 (1969) · Zbl 0191.53702 · doi:10.2307/1970725 [45] Rezk, Charles, The units of a ring spectrum and a logarithmic cohomology operation, J. Amer. Math. Soc.. Journal of the American Mathematical Society, 19, 969-1014 (2006) · Zbl 1106.55002 · doi:10.1090/S0894-0347-06-00521-2 [46] Riehl, Emily; Verity, Dominic, Homotopy coherent adjunctions and the formal theory of monads, Adv. Math.. Advances in Mathematics, 286, 802-888 (2016) · Zbl 1329.18020 · doi:10.1016/j.aim.2015.09.011 [47] Sullivan, Dennis, Infinitesimal computations in topology, Inst. Hautes \'{E}tudes Sci. Publ. Math.. Institut des Hautes \'{E}tudes Scientifiques. Publications Math\'{e}matiques, 269-331 (1977) · Zbl 0374.57002 [48] Thompson, Robert D., Unstable {\(v_1\)}-periodic homotopy groups of a {M}oore space, Proc. Amer. Math. Soc.. Proceedings of the American Mathematical Society, 107, 833-845 (1989) · Zbl 0678.55010 · doi:10.2307/2048186 [49] Thompson, Robert D., The {\(v_1\)}-periodic homotopy groups of an unstable sphere at odd primes, Trans. Amer. Math. Soc.. Transactions of the American Mathematical Society, 319, 535-559 (1990) · Zbl 0707.55010 · doi:10.2307/2001253 [50] Wang, Guozhen, Unstable Chromatic Homotopy Theory, (no paging) pp. (2015) [51] Zhu, Yifei, Morava {\(E\)}-homology of {B}ousfield-{K}uhn functors on odd-dimensional spheres, Proc. Amer. Math. Soc.. Proceedings of the American Mathematical Society, 146, 449-458 (2018) · Zbl 1422.55032 · doi:10.1090/proc/13727 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.