| Title:
|
Quillen-Segal algebras and stable homotopy theory (English) |
| Author:
|
Bacard, Hugo |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
4 |
| Issue:
|
1 |
| Year:
|
2020 |
| Pages:
|
57-114 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Let $\scr M$ be a monoidal model category that is also combinatorial. If $\scr O$ is a monad, operad, properad, or a PROP; following Segal’s ideas we develop a theory of Quillen-Segal $\scr O$-algebras and show that we have a Quillen equivalence between usual $\scr O$-algebras and Quillen-Segal $\scr O$-algebras. We also introduce Quillen-Segal theories and we use them to obtain the stable homotopy category by a similar method to that of Hovey. (English) |
| Keyword:
|
homotopy algebras |
| Keyword:
|
operads |
| Keyword:
|
spectra |
| Keyword:
|
Segal categories |
| Keyword:
|
$\infty$-categories |
| MSC:
|
18D50 |
| MSC:
|
18G55 |
| MSC:
|
55P42 |
| MSC:
|
55P48 |
| idZBL:
|
Zbl 1453.18023 |
| idMR:
|
MR4074274 |
| DOI:
|
10.21136/HS.2020.03 |
| . |
| Date available:
|
2026-03-11T19:40:01Z |
| Last updated:
|
2026-03-11 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153418 |
| . |
| Reference:
|
[1] Adámek, J., Rosický, J.: Locally presentable and accessible categories..Cambridge University Press, Volume 189 |
| Reference:
|
[2] Adams, J. F.: Stable homotopy and generalised homology.Chicago lectures in mathematics, University of Chicago Press, ISBN:9780226005249 |
| Reference:
|
[3] Artin, M., Mazur, B.: Etale homotopy..Springer, Cham, Volume 100 |
| Reference:
|
[4] Bacard, H.: Segal Enriched Categories I. |
| Reference:
|
[5] Bacard, H.: Segal Enriched Categories II.In preparation |
| Reference:
|
[6] Bacard, H.: Toward weakly enriched categories: co-Segal categories..J. Pure Appl. Algebra, Vol. 218, Iss. 6, 1130-1170 |
| Reference:
|
[7] Barr, M., Wells, C.: Toposes, triples and theories..Repr. Theory Appl. Categ., Vol. 2005, Iss. 12, 1-288 |
| Reference:
|
[8] Barwick, C.: On left and right model categories and left and right Bousfield localizations..Homology Homotopy Appl., Vol. 12, Iss. 2, 245-320 10.4310/HHA.2010.v12.n2.a9 |
| Reference:
|
[9] Batanin, M.: Monoidal globular categories as a natural environment for the theory of weak n-categories..Adv. Math., Vol. 136, Iss. 1, 39-103 10.1006/aima.1998.1724 |
| Reference:
|
[10] Batanin, M., Berger, C.: Homotopy theory for algebras over polynomial monads..Theory Appl. Categ., Vol. 32, 148-253 |
| Reference:
|
[11] Beke, T.: Sheafifiable homotopy model categories..Math. Proc. Camb. Philos. Soc., Vol. 129, Iss. 3, 447-475, DOI:10.1017/S0305004100004722 10.1017/S0305004100004722 |
| Reference:
|
[12] Beke, T.: Sheafifiable homotopy model categories. II..J. Pure Appl. Algebra, Vol. 164, Iss. 3, 307-324, DOI:10.1016/S0022-4049(01)00075-5 10.1016/S0022-4049(01)00075-5 |
| Reference:
|
[13] Berger, C., Moerdijk, I.: Axiomatic homotopy theory for operads..Comment. Math. Helv., Vol. 78, Iss. 4, 805-831 10.1007/s00014-003-0772-y |
| Reference:
|
[14] Berger, C., Moerdijk, I.: Resolution of coloured operads and rectification of homotopy algebras..Categories in algebra, geometry and mathematical physics, pages 31-58, |
| Reference:
|
[15] Berger, C., Moerdijk, I.: On the homotopy theory of enriched categories..Q. J. Math., Vol. 64, Iss. 3, 805-846 10.1093/qmath/hat023 |
| Reference:
|
[16] Bergner, J.: Rigidification of algebras over multi-sorted theories..Algebr. Geom. Topol., Vol. 6, 1925-1955 10.2140/agt.2006.6.1925 |
| Reference:
|
[17] Bergner, J.: A model category structure on the category of simplicial categories..Trans. Am. Math. Soc., Vol. 359, Iss. 5, 2043-2058 10.1090/S0002-9947-06-03987-0 |
| Reference:
|
[18] Bergner, J.: Simplicial monoids and Segal categories..Categories in algebra, geometry and mathematical physics, pages 59-83, |
| Reference:
|
[19] Bergner, J.: A survey of (\infty , 1)-categories..Towards higher categories, pages 69-83, |
| Reference:
|
[20] Bergner, J.: Equivalence of models for equivariant (\infty,1)-categories..Glasg. Math. J., Vol. 59, Iss. 1, 237-253 10.1017/S0017089516000136 |
| Reference:
|
[21] Bergner, J., Hackney, P.: Group actions on Segal operads..Isr. J. Math., Vol. 202, 423-460 10.1007/s11856-014-1075-2 |
| Reference:
|
[22] Boardman, J., Vogt, R.: Homotopy invariant algebraic structures on topological spaces..Springer, Cham, Volume 347 |
| Reference:
|
[23] Borceux, F.: Handbook of categorical algebra. 1.Encyclopedia of mathematics and its applications, Cambridge University Press, ISBN:0-521-44178-1 |
| Reference:
|
[24] Bousfield, A., Friedlander, E.: Homotopy theory of \Gamma-spaces, spectra, and bisimplicial sets.Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, pages 80-130, Lecture notes in math. 658 |
| Reference:
|
[25] Carlsson, G., Milgram, R. J.: Stable homotopy and iterated loop spaces..Handbook of algebraic topology, pages 505-583, |
| Reference:
|
[26] Chorny, B., Rosický, J.: Class-locally presentable and class-accessible categories.J. Pure Appl. Algebra, Vol. 216, Iss. 10, 2113-2125, http://dx.doi.org/10.1016/j.jpaa.2012.01.015, DOI:10.1016/j.jpaa.2012.01.015 10.1016/j.jpaa.2012.01.015 |
| Reference:
|
[27] Cisinski, D-C., Moerdijk, I.: Dendroidal sets as models for homotopy operads..J. Topol., Vol. 4, Iss. 2, 257-299, DOI:10.1112/jtopol/jtq039 10.1112/jtopol/jtq039 |
| Reference:
|
[28] Cordier, J-M., Porter, T.: Homotopy coherent category theory..Trans. Am. Math. Soc., Vol. 349, Iss. 1, 1-54 10.1090/S0002-9947-97-01752-2 |
| Reference:
|
[29] Deligne, P., Griffiths, P., Morgan, J., Sullivan, D.: Real homotopy theory of Kähler manifolds..Invent. Math., Vol. 29, 245-274 10.1007/BF01389853 |
| Reference:
|
[30] Dwyer, W., Hirschhorn, P., Kan, D.: Model categories and more general abstract homotopy theory. |
| Reference:
|
[31] Dwyer, W., Hirschhorn, P., Kan, D., Smith, J.: Homotopy limit functors on model categories and homotopical categories.Mathematical surveys and monographs, American Mathematical Society, Providence, RI, ISBN:0-8218-3703-6 |
| Reference:
|
[32] Dwyer, W., Kan, D.: Simplicial localizations of categories..J. Pure Appl. Algebra, Vol. 17, 267-284 |
| Reference:
|
[33] Dwyer, W., Kan, D., Smith, J.: Homotopy commutative diagrams and their realizations.J. Pure Appl. Algebra, Vol. 57, Iss. 1, 5-24, http://dx.doi.org/10.1016/0022-4049(89)90023-6, DOI:10.1016/0022-4049(89)90023-6 10.1016/0022-4049(89)90023-6 |
| Reference:
|
[34] Elmendorf, A., Křı́ž, I., Mandell, M., May, J. P.: Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole..Providence, RI: American Mathematical Society, Volume 47 |
| Reference:
|
[35] Fukaya, K.: Morse homotopy, A_\infty-category, and Floer homologies.Proceedings of GARC Workshop on Geometry and Topology ’93 (Seoul, 1993), pp 1-102 |
| Reference:
|
[36] Garner, R., Hirschowitz, T.: Shapely monads and analytic functors..J. Log. Comput., Vol. 28, Iss. 1, 33-83 |
| Reference:
|
[37] Goerss, P., Jardine, J. F.: Localization theories for simplicial presheaves..Can. J. Math., Vol. 50, Iss. 5, 1048-1089, DOI:10.4153/CJM-1998-051-1 10.4153/CJM-1998-051-1 |
| Reference:
|
[38] Goerss, P., Jardine, J. F.: Simplicial homotopy theory.Progress in mathematics, Birkhäuser Verlag, Basel, ISBN:3-7643-6064-X Zbl 0949.55001 |
| Reference:
|
[39] Hackney, P., Robertson, M., Yau, D.: Relative left properness of colored operads..Algebr. Geom. Topol., Vol. 16, Iss. 5, 2691-2714, DOI:10.2140/agt.2016.16.2691 10.2140/agt.2016.16.2691 |
| Reference:
|
[40] Hirschhorn, P.: Model categories and their localizations..Providence, RI: American Mathematical Society (AMS), Volume 99 |
| Reference:
|
[41] Hirschowitz, A., Simpson, C.: Descente pour les n-champs (descent for n-stacks). |
| Reference:
|
[42] Hollander, S.: A homotopy theory for stacks.Israel J. Math., Vol. 163, 93-124, http://dx.doi.org/10.1007/s11856-008-0006-5, DOI:10.1007/s11856-008-0006-5 10.1007/s11856-008-0006-5 |
| Reference:
|
[43] Hovey, M.: Smith ideals of structured ring spectra. |
| Reference:
|
[44] Hovey, M.: Model categories.Mathematical surveys and monographs, American Mathematical Society, Providence, RI, ISBN:0-8218-1359-5 |
| Reference:
|
[45] Hovey, M.: Spectra and symmetric spectra in general model categories..J. Pure Appl. Algebra, Vol. 165, Iss. 1, 63-127 |
| Reference:
|
[46] Jardine, J. F.: Simplicial presheaves.J. Pure Appl. Algebra, Vol. 47, Iss. 1, 35-87, http://dx.doi.org/10.1016/0022-4049(87)90100-9, DOI:10.1016/0022-4049(87)90100-9 10.1016/0022-4049(87)90100-9 |
| Reference:
|
[47] Jardine, J. F.: Stacks and the homotopy theory of simplicial sheaves..Homology Homotopy Appl., Vol. 3, Iss. 2, 361-384, DOI:10.4310/HHA.2001.v3.n2.a5 10.4310/HHA.2001.v3.n2.a5 |
| Reference:
|
[48] Johnson, M., Yau, D.: On homotopy invariance for algebras over colored PROPs..J. Homotopy Relat. Struct., Vol. 4, Iss. 1, 275-315 |
| Reference:
|
[49] Joyal, A.: Letter to A. Grothendieck. |
| Reference:
|
[50] Joyal, A., Kock, J.: Weak units and homotopy 3-types.Categories in algebra, geometry and mathematical physics, pages 257-276, Contemp. math. 431 |
| Reference:
|
[51] Joyal, A., Tierney, M.: Strong stacks and classifying spaces.Category theory (Como, 1990), pages 213-236, Lecture notes in math. 1488 |
| Reference:
|
[52] Kadeišvili, T.: On the theory of homology of fiber spaces.Uspekhi Mat. Nauk, Vol. 35, Iss. 3(213), 183-188 |
| Reference:
|
[53] Kan, D.: On c. s. s. complexes..Am. J. Math., Vol. 79, 449-476 |
| Reference:
|
[54] Kelly, G. M.: Basic concepts of enriched category theory..Repr. Theory Appl. Categ., Vol. 2005, Iss. 10, 1-136 |
| Reference:
|
[55] Kelly, G. M., Lack, S.: \mathscr{V}-Cat is locally presentable or locally bounded if \mathscr{V} is so.Theory Appl. Categ., Vol. 8, 555-575 |
| Reference:
|
[56] Kock, J.: Frobenius algebras and 2D topological quantum field theories..Cambridge University Press, Volume 59 |
| Reference:
|
[57] Kock, J., Toën, B.: Simplicial localization of monoidal structures, and a non-linear version of Deligne’s conjecture..Compos. Math., Vol. 141, Iss. 1, 253-261 10.1112/S0010437X04001009 |
| Reference:
|
[58] Kontsevich, M., Soibelman, Y.: Notes on A_\infty-algebras, A_\infty-categories and non-commutative geometry..Homological mirror symmetry. New developments and perspectives, pages 153-219, |
| Reference:
|
[59] Krivine, J-L.: Théorie des ensembles..Paris: Cassini |
| Reference:
|
[60] Leinster, T.: Up-to-Homotopy Monoids. |
| Reference:
|
[61] Leinster, T.: A survey of definitions of n-category..Theory Appl. Categ., Vol. 10, 1-70 |
| Reference:
|
[62] Lima, E.: Duality and postnikov invariants.University of Chicago |
| Reference:
|
[63] Loday, J-L., Vallette, B.: Algebraic operads..Berlin: Springer, Volume 346 |
| Reference:
|
[64] Low, Z. L.: The heart of a combinatorial model category..Theory Appl. Categ., Vol. 31, 31-62 |
| Reference:
|
[65] Lurie, J.: Higher algebra.Available on the author’s website |
| Reference:
|
[66] Lurie, J.: Stable Infinity Categories. |
| Reference:
|
[67] Lurie, J.: Tannaka Duality for Geometric Stacks. |
| Reference:
|
[68] Mac Lane, S.: Categories for the working mathematician.Graduate texts in mathematics, Springer-Verlag, New York, ISBN:0-387-98403-8 |
| Reference:
|
[69] Markl, M.: Operads and PROPs..Handbook of algebra. Volume 5, pages 87-140, |
| Reference:
|
[70] Markl, M., Shnider, S., Stasheff, J. D.: Operads in algebra, topology and physics.Mathematical surveys and monographs, American Mathematical Society, ISBN:9780821843628 |
| Reference:
|
[71] May, J. P.: The geometry of iterated loop spaces..Springer, Cham, Volume 271 |
| Reference:
|
[72] May, J. P.: The dual Whitehead theorems.., pages 46-54, |
| Reference:
|
[73] Moerdijk, I., Weiss, I.: Dendroidal sets..Algebr. Geom. Topol., Vol. 7, 1441-1470, DOI:10.2140/agt.2007.7.1441 10.2140/agt.2007.7.1441 |
| Reference:
|
[74] Morel, F., Voevodsky, V.: $\mathbb{A}^1$-homotopy theory of schemes..Publ. Math., Inst. Hautes Étud. Sci., Vol. 90, 45-143 10.1007/BF02698831 |
| Reference:
|
[75] Muro, F.: Homotopy theory of non-symmetric operads. II: Change of base category and left properness..Algebr. Geom. Topol., Vol. 14, Iss. 1, 229-281 10.2140/agt.2014.14.229 |
| Reference:
|
[76] Muro, F.: Correction to: “Homotopy theory of nonsymmetric operads. I–II”..Algebr. Geom. Topol., Vol. 17, Iss. 6, 3837-3852 10.2140/agt.2017.17.3837 |
| Reference:
|
[77] Pellissier, R.: Catégories enrichies faibles.Theses, Université Nice Sophia Antipolis |
| Reference:
|
[78] Quillen, D.: Homotopical algebra..Springer, Cham, Volume 43 |
| Reference:
|
[79] Rezk, C.: A model for the homotopy theory of homotopy theory..Trans. Am. Math. Soc., Vol. 353, Iss. 3, 973-1007, DOI:10.1090/S0002-9947-00-02653-2 10.1090/S0002-9947-00-02653-2 |
| Reference:
|
[80] Rezk, C.: Every homotopy theory of simplicial algebras admits a proper model.Topology Appl., Vol. 119, Iss. 1, 65-94, http://dx.doi.org/10.1016/S0166-8641(01)00057-8, DOI:10.1016/S0166-8641(01)00057-8 10.1016/S0166-8641(01)00057-8 |
| Reference:
|
[81] Riehl, E.: Algebraic model structures.New York J. Math., Vol. 17, 173-231, http://nyjm.albany.edu:8000/j/2011/17_173.html |
| Reference:
|
[82] Rosický, J.: Generalized Brown representability in homotopy categories..Theory Appl. Categ., Vol. 14, 451-479 |
| Reference:
|
[83] Rosický, J.: On combinatorial model categories..Appl. Categ. Struct., Vol. 17, Iss. 3, 303-316 10.1007/s10485-008-9171-2 |
| Reference:
|
[84] Schwede, S.: Stable homotopy of algebraic theories..Topology, Vol. 40, Iss. 1, 1-41 10.1016/S0040-9383(99)00046-4 |
| Reference:
|
[85] Schwede, S., Shipley, B.: Algebras and modules in monoidal model categories.Proc. London Math. Soc. (3), Vol. 80, Iss. 2, 491-511, http://dx.doi.org/10.1112/S002461150001220X, DOI:10.1112/S002461150001220X 10.1112/S002461150001220X |
| Reference:
|
[86] Segal, G.: Categories and cohomology theories.Topology, Vol. 13, 293-312 Zbl 0284.55016, 10.1016/0040-9383(74)90022-6 |
| Reference:
|
[87] Simpson, C.: Homotopy theory of higher categories.New mathematical monographs, Cambridge University Press, ISBN:978-0-521-51695-2 |
| Reference:
|
[88] Stanculescu, A.: A model category structure on the category of simplicial multicategories.Appl. Categ. Structures, Vol. 22, Iss. 1, 1-11, http://dx.doi.org/10.1007/s10485-012-9291-6, DOI:10.1007/s10485-012-9291-6 10.1007/s10485-012-9291-6 |
| Reference:
|
[89] Stanculescu, A.: Stacks and sheaves of categories as fibrant objects. I..Theory Appl. Categ., Vol. 29, 654-695 |
| Reference:
|
[90] Stasheff, J.: Homotopy associativity of H-spaces. I, II.Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid., Vol. 108, 293-312 |
| Reference:
|
[91] Stephan, M.: On equivariant homotopy theory for model categories..Homology Homotopy Appl., Vol. 18, Iss. 2, 183-208 10.4310/HHA.2016.v18.n2.a10 |
| Reference:
|
[92] Tabuada, G.: Homotopy theory of dg categories via localizing pairs and Drinfeld’s dg quotient..Homology Homotopy Appl., Vol. 12, Iss. 1, 187-219 10.4310/HHA.2010.v12.n1.a11 |
| Reference:
|
[93] Tamarkin, D.: What do dg-categories form?.Compos. Math., Vol. 143, Iss. 5, 1335-1358 10.1112/S0010437X07002771 |
| Reference:
|
[94] Tamsamani, Z.: Sur des notions de n-catégorie et n-groupoide non strictes via des ensembles multi-simpliciaux.K-Theory, Vol. 16, Iss. 1, 51-99, http://dx.doi.org/10.1023/A:1007747915317, DOI:10.1023/A:1007747915317 10.1023/A:1007747915317 |
| Reference:
|
[95] Thomason, R. W., Trobaugh, T.: Higher algebraic K-theory of schemes and of derived categories..The Grothendieck Festschrift |
| Reference:
|
[96] Toën, B.: Derived Hall algebras..Duke Math. J., Vol. 135, Iss. 3, 587-615 |
| Reference:
|
[97] Toën, B.: Dualité de Tannaka supérieure I: Structure monoı̈dales.Unpublished manuscript. Available on the author’s website |
| Reference:
|
[98] Toën, B., Vezzosi, G.: Segal topoi and stacks over Segal categories. |
| Reference:
|
[99] Vallette, B.: Homotopy theory of homotopy algebras. |
| Reference:
|
[100] Vallette, B.: Manin products, Koszul duality, Loday algebras and Deligne conjecture..J. Reine Angew. Math., Vol. 620, 105-164, DOI:10.1515/CRELLE.2008.051 10.1515/CRELLE.2008.051 |
| Reference:
|
[101] Vallette, B.: Algebra + homotopy = operad..Symplectic, Poisson, and noncommutative geometry, pages 229-290, |
| Reference:
|
[102] Vogt, R.: The HELP-lemma and its converse in Quillen model categories..J. Homotopy Relat. Struct., Vol. 6, Iss. 1, 115-118 |
| Reference:
|
[103] Wallbridge, J.: Higher Tannaka Duality.PhD thesis, Adelaide/Toulouse |
| Reference:
|
[104] Yau, D.: Higher dimensional algebras via colored PROPs. |
| . |
