Comparing localizations across adjunctions

Casacuberta, Carles; Raventós, Oriol; Tonks, Andrew

doi:10.1090/tran/8382

Comparing localizations across adjunctions
HTML articles powered by AMS MathViewer

by Carles Casacuberta, Oriol Raventós and Andrew Tonks PDF

Trans. Amer. Math. Soc. 374 (2021), 7811-7865 Request permission

Abstract:

We show that several apparently unrelated formulas involving left or right Bousfield localizations in homotopy theory are induced by comparison maps associated with pairs of adjoint functors. Such comparison maps are used in the article to discuss the existence of functorial liftings of homotopical localizations and cellularizations to categories of algebras over monads acting on model categories, with emphasis on the cases of module spectra and algebras over simplicial operads. Some of our results hold for algebras up to homotopy as well; for example, if $T$ is the reduced monad associated with a simplicial operad and $f$ is any map of pointed simplicial sets, then $f$-localization coincides with $Tf$-localization on spaces underlying homotopy $T$-algebras, and similarly for cellularizations.

References

Jiří Adámek and Jiří Rosický, Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press, Cambridge, 1994. MR 1294136, DOI 10.1017/CBO9780511600579
J. F. Adams, Localisation and completion, University of Chicago, Department of Mathematics, Chicago, Ill., 1975. With an addendum on the use of Brown-Peterson homology in stable homotopy; Lecture notes by Z. Fiedorowicz on a course given at the University of Chicago in Spring, 1973. MR 0420607
John Frank Adams, Infinite loop spaces, Annals of Mathematics Studies, No. 90, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1978. MR 505692
Bernard Badzioch, Algebraic theories in homotopy theory, Ann. of Math. (2) 155 (2002), no. 3, 895–913. MR 1923968, DOI 10.2307/3062135
Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, and Jiří Rosický, Definable orthogonality classes in accessible categories are small, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 3, 549–589. MR 3323199, DOI 10.4171/JEMS/511
David Barnes and Constanze Roitzheim, Stable left and right Bousfield localisations, Glasg. Math. J. 56 (2014), no. 1, 13–42. MR 3137847, DOI 10.1017/S0017089512000882
Michael Barr, Composite cotriples and derived functors, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 336–356. MR 0241503
M. A. Batanin and C. Berger, Homotopy theory for algebras over polynomial monads, Theory Appl. Categ. 32 (2017), Paper No. 6, 148–253. MR 3607212
M. A. Batanin and D. White, Left Bousfield localization and Eilenberg–Moore categories, to appear in Homol. Homotopy Appl.
Gilbert Baumslag, Some aspects of groups with unique roots, Acta Math. 104 (1960), 217–303. MR 122859, DOI 10.1007/BF02546390
Jon Beck, Distributive laws, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 119–140. MR 0241502
Clemens Berger and Ieke Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003), no. 4, 805–831. MR 2016697, DOI 10.1007/s00014-003-0772-y
Julia E. Bergner, Rigidification of algebras over multi-sorted theories, Algebr. Geom. Topol. 6 (2006), 1925–1955. MR 2263055, DOI 10.2140/agt.2006.6.1925
A. K. Bousfield, The localization of spectra with respect to homology, Topology 18 (1979), no. 4, 257–281. MR 551009, DOI 10.1016/0040-9383(79)90018-1
A. K. Bousfield, Homotopy spectral sequences and obstructions, Israel J. Math. 66 (1989), no. 1-3, 54–104. MR 1017155, DOI 10.1007/BF02765886
A. K. Bousfield, Localization and periodicity in unstable homotopy theory, J. Amer. Math. Soc. 7 (1994), no. 4, 831–873. MR 1257059, DOI 10.1090/S0894-0347-1994-1257059-7
A. K. Bousfield, Unstable localization and periodicity, Algebraic topology: new trends in localization and periodicity (Sant Feliu de Guíxols, 1994) Progr. Math., vol. 136, Birkhäuser, Basel, 1996, pp. 33–50. MR 1397720
A. K. Bousfield, Homotopical localizations of spaces, Amer. J. Math. 119 (1997), no. 6, 1321–1354. MR 1481817
A. K. Bousfield, On $K(n)$-equivalences of spaces, Homotopy invariant algebraic structures (Baltimore, MD, 1998) Contemp. Math., vol. 239, Amer. Math. Soc., Providence, RI, 1999, pp. 85–89. MR 1718077, DOI 10.1090/conm/239/03598
A. K. Bousfield and E. M. Friedlander, Homotopy theory of $\Gamma$-spaces, spectra, and bisimplicial sets, Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977) Lecture Notes in Math., vol. 658, Springer, Berlin, 1978, pp. 80–130. MR 513569
A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972. MR 0365573
C. Braun, J. Chuang, and A. Lazarev, Derived localisation of algebras and modules, Adv. Math. 328 (2018), 555–622. MR 3771137, DOI 10.1016/j.aim.2018.02.004
R. R. Bruner, J. P. May, J. E. McClure, and M. Steinberger, $H_\infty$ ring spectra and their applications, Lecture Notes in Mathematics, vol. 1176, Springer-Verlag, Berlin, 1986. MR 836132, DOI 10.1007/BFb0075405
Carles Casacuberta, On structures preserved by idempotent transformations of groups and homotopy types, Crystallographic groups and their generalizations (Kortrijk, 1999) Contemp. Math., vol. 262, Amer. Math. Soc., Providence, RI, 2000, pp. 39–68. MR 1796125, DOI 10.1090/conm/262/04167
Carles Casacuberta, Marek Golasiński, and Andrew Tonks, Homotopy localization of groupoids, Forum Math. 18 (2006), no. 6, 967–982. MR 2278610, DOI 10.1515/FORUM.2006.049
Carles Casacuberta and Javier J. Gutiérrez, Homotopical localizations of module spectra, Trans. Amer. Math. Soc. 357 (2005), no. 7, 2753–2770. MR 2139526, DOI 10.1090/S0002-9947-04-03552-4
Carles Casacuberta, Javier J. Gutiérrez, Ieke Moerdijk, and Rainer M. Vogt, Localization of algebras over coloured operads, Proc. Lond. Math. Soc. (3) 101 (2010), no. 1, 105–136. MR 2661243, DOI 10.1112/plms/pdp034
Carles Casacuberta and Georg Peschke, Localizing with respect to self-maps of the circle, Trans. Amer. Math. Soc. 339 (1993), no. 1, 117–140. MR 1123451, DOI 10.1090/S0002-9947-1993-1123451-X
Carles Casacuberta, José L. Rodríguez, and Jin-yen Tai, Localizations of abelian Eilenberg–Mac Lane spaces of finite type, Algebr. Geom. Topol. 16 (2016), no. 4, 2379–2420. MR 3546469, DOI 10.2140/agt.2016.16.2379
Wojciech Chachólski, On the functors $CW_A$ and $P_A$, Duke Math. J. 84 (1996), no. 3, 599–631. MR 1408539, DOI 10.1215/S0012-7094-96-08419-7
J. Daniel Christensen and Daniel C. Isaksen, Duality and pro-spectra, Algebr. Geom. Topol. 4 (2004), 781–812. MR 2100680, DOI 10.2140/agt.2004.4.781
Sjoerd E. Crans, Quillen closed model structures for sheaves, J. Pure Appl. Algebra 101 (1995), no. 1, 35–57. MR 1346427, DOI 10.1016/0022-4049(94)00033-F
D. Degrijse, M. Hausmann, W. Lück, I. Patchkoria, and S. Schwede, Proper equivariant stable homotopy theory, to appear in Memoirs of the AMS
Albrecht Dold and René Thom, Quasifaserungen und unendliche symmetrische Produkte, Ann. of Math. (2) 67 (1958), 239–281 (German). MR 97062, DOI 10.2307/1970005
Emmanuel Dror Farjoun, Cellular spaces, null spaces and homotopy localization, Lecture Notes in Mathematics, vol. 1622, Springer-Verlag, Berlin, 1996. MR 1392221, DOI 10.1007/BFb0094429
Emmanuel Dror Farjoun, Rüdiger Göbel, and Yoav Segev, Cellular covers of groups, J. Pure Appl. Algebra 208 (2007), no. 1, 61–76. MR 2269828, DOI 10.1016/j.jpaa.2005.11.004
Daniel Dugger, Combinatorial model categories have presentations, Adv. Math. 164 (2001), no. 1, 177–201. MR 1870516, DOI 10.1006/aima.2001.2015
Daniel Dugger and Daniel C. Isaksen, Motivic cell structures, Algebr. Geom. Topol. 5 (2005), 615–652. MR 2153114, DOI 10.2140/agt.2005.5.615
Bjørn Ian Dundas, Oliver Röndigs, and Paul Arne Østvær, Motivic functors, Doc. Math. 8 (2003), 489–525. MR 2029171
William G. Dwyer, Philip S. Hirschhorn, Daniel M. Kan, and Jeffrey H. Smith, Homotopy limit functors on model categories and homotopical categories, Mathematical Surveys and Monographs, vol. 113, American Mathematical Society, Providence, RI, 2004. MR 2102294, DOI 10.1090/surv/113
W. G. Dwyer and D. M. Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980), no. 1, 17–35. MR 578563, DOI 10.1016/0022-4049(80)90113-9
W. G. Dwyer and D. M. Kan, Function complexes in homotopical algebra, Topology 19 (1980), no. 4, 427–440. MR 584566, DOI 10.1016/0040-9383(80)90025-7
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, DOI 10.1090/surv/047
S. Galatius, A. Kupers, and O. Randal-Williams, Cellular $E_k$-algebras, arXiv:1805.07184v2.
Rüdiger Göbel, José L. Rodríguez, and Lutz Strüngmann, Cellular covers of cotorsion-free modules, Fund. Math. 217 (2012), no. 3, 211–231. MR 2943679, DOI 10.4064/fm217-3-2
Javier J. Gutiérrez, Strict modules and homotopy modules in stable homotopy, Homology Homotopy Appl. 7 (2005), no. 1, 39–49. MR 2138349
Javier J. Gutiérrez, Homological localizations of Eilenberg-MacLane spectra, Forum Math. 22 (2010), no. 2, 349–356. MR 2607569, DOI 10.1515/FORUM.2010.019
J. J. Gutiérrez, Transfer of algebras over operads along derived Quillen adjunctions, J. Lond. Math. Soc. 86 (2012), 607–625.
Javier J. Gutiérrez, Cellularization of structures in stable homotopy categories, Math. Proc. Cambridge Philos. Soc. 153 (2012), no. 3, 399–418. MR 2990623, DOI 10.1017/S0305004112000278
J. J. Gutiérrez, O. Röndigs, M. Spitzweck, and P. A. Østvær, On functorial (co)localization of algebras and modules over operads, to appear in Abhaud. Math. Sem. Uni. Hamburg
Javier J. Gutiérrez and Rainer M. Vogt, A model structure for coloured operads in symmetric spectra, Math. Z. 270 (2012), no. 1-2, 223–239. MR 2875831, DOI 10.1007/s00209-010-0794-2
Philip Hackney, Marcy Robertson, and Donald Yau, Relative left properness of colored operads, Algebr. Geom. Topol. 16 (2016), no. 5, 2691–2714. MR 3572345, DOI 10.2140/agt.2016.16.2691
Kathryn Hess, Magdalena Kȩdziorek, Emily Riehl, and Brooke Shipley, A necessary and sufficient condition for induced model structures, J. Topol. 10 (2017), no. 2, 324–369. MR 3653314, DOI 10.1112/topo.12011
Kathryn Hess and Brooke Shipley, The homotopy theory of coalgebras over a comonad, Proc. Lond. Math. Soc. (3) 108 (2014), no. 2, 484–516. MR 3166360, DOI 10.1112/plms/pdt038
M. A. Hill, M. J. Hopkins, and D. C. Ravenel, On the nonexistence of elements of Kervaire invariant one, Ann. of Math. (2) 184 (2016), no. 1, 1–262. MR 3505179, DOI 10.4007/annals.2016.184.1.1
Philip S. Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003. MR 1944041, DOI 10.1090/surv/099
Mark Hovey, Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, Providence, RI, 1999. MR 1650134
Mark Hovey, Brooke Shipley, and Jeff Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), no. 1, 149–208. MR 1695653, DOI 10.1090/S0894-0347-99-00320-3
I. M. James, Reduced product spaces, Ann. of Math. (2) 62 (1955), 170–197. MR 73181, DOI 10.2307/2007107
J. F. Jardine, Motivic symmetric spectra, Doc. Math. 5 (2000), 445–552. MR 1787949
Niles Johnson and Justin Noel, Lifting homotopy $T$-algebra maps to strict maps, Adv. Math. 264 (2014), 593–645. MR 3250294, DOI 10.1016/j.aim.2014.07.002
Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
M. A. Mandell and J. P. May, Equivariant orthogonal spectra and $S$-modules, Mem. Amer. Math. Soc. 159 (2002), no. 755, x+108. MR 1922205, DOI 10.1090/memo/0755
J. P. May, The geometry of iterated loop spaces, Lecture Notes in Mathematics, Vol. 271, Springer-Verlag, Berlin-New York, 1972. MR 0420610
J. P. May, What precisely are $E_\infty$ ring spaces and $E_\infty$ ring spectra?, New topological contexts for Galois theory and algebraic geometry (BIRS 2008), Geom. Topol. Monogr., vol. 16, Geom. Topol. Publ., Coventry, 2009, pp. 215–282. MR 2544391, DOI 10.2140/gtm.2009.16.215
G. Mislin, Localization with respect to $K$-theory, J. Pure Appl. Algebra 10 (1977/78), no. 2, 201–213. MR 467732, DOI 10.1016/0022-4049(77)90023-8
Fernando Muro, Homotopy theory of nonsymmetric operads, Algebr. Geom. Topol. 11 (2011), no. 3, 1541–1599. MR 2821434, DOI 10.2140/agt.2011.11.1541
Fernando Muro, Homotopy theory of non-symmetric operads, II: Change of base category and left properness, Algebr. Geom. Topol. 14 (2014), no. 1, 229–281. MR 3158759, DOI 10.2140/agt.2014.14.229
Fernando Muro, Correction to the articles “Homotopy theory of nonsymmetric operads”, I–II [ MR2821434; MR3158759], Algebr. Geom. Topol. 17 (2017), no. 6, 3837–3852. MR 3709662, DOI 10.2140/agt.2017.17.3837
Joseph A. Neisendorfer, Localization and connected covers of finite complexes, The Čech centennial (Boston, MA, 1993) Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 385–390. MR 1321002, DOI 10.1090/conm/181/02044
Justin Noel, $H_\infty \neq E_\infty$, An alpine expedition through algebraic topology, Contemp. Math., vol. 617, Amer. Math. Soc., Providence, RI, 2014, pp. 237–240. MR 3243401, DOI 10.1090/conm/617/12285
Dmitri Pavlov and Jakob Scholbach, Admissibility and rectification of colored symmetric operads, J. Topol. 11 (2018), no. 3, 559–601. MR 3830876, DOI 10.1112/topo.12008
Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432
Douglas C. Ravenel, Localization with respect to certain periodic homology theories, Amer. J. Math. 106 (1984), no. 2, 351–414. MR 737778, DOI 10.2307/2374308
Oriol Raventós, The hammock localization preserves homotopies, Homology Homotopy Appl. 17 (2015), no. 2, 191–204. MR 3426380, DOI 10.4310/HHA.2015.v17.n2.a10
Emily Riehl, Categorical homotopy theory, New Mathematical Monographs, vol. 24, Cambridge University Press, Cambridge, 2014. MR 3221774, DOI 10.1017/CBO9781107261457
Oliver Röndigs and Paul Arne Østvær, Modules over motivic cohomology, Adv. Math. 219 (2008), no. 2, 689–727. MR 2435654, DOI 10.1016/j.aim.2008.05.013
J. Rosický and W. Tholen, Left-determined model categories and universal homotopy theories, Trans. Amer. Math. Soc. 355 (2003), no. 9, 3611–3623. MR 1990164, DOI 10.1090/S0002-9947-03-03322-1
Stefan Schwede and Brooke E. Shipley, Algebras and modules in monoidal model categories, Proc. London Math. Soc. (3) 80 (2000), no. 2, 491–511. MR 1734325, DOI 10.1112/S002461150001220X
Brooke Shipley, A convenient model category for commutative ring spectra, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$-theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 473–483. MR 2066511, DOI 10.1090/conm/346/06300
Michael Shulman, Comparing composites of left and right derived functors, New York J. Math. 17 (2011), 75–125. MR 2781909
M. Shulman, Homotopy limits and colimits and enriched homotopy theory, arXiv: math/0610194v3.
Jin-yen Tai, On $f$-localization functors and connectivity, Stable and unstable homotopy (Toronto, ON, 1996) Fields Inst. Commun., vol. 19, Amer. Math. Soc., Providence, RI, 1998, pp. 285–298. MR 1622354, DOI 10.1007/s002880050159
D. White, Monoidal Bousfield localizations and algebras over operads, arXiv:1404.5197.
David White and Donald Yau, Bousfield localization and algebras over colored operads, Appl. Categ. Structures 26 (2018), no. 1, 153–203. MR 3749666, DOI 10.1007/s10485-017-9489-8
D. White and D. Yau, Right Bousfield localization and operadic algebras, to appear in Tbilisi Math. J.
D. White and D. Yau, Right Bousfield localization and Eilenberg–Moore categories, arXiv:1609.03635.