## Algebraic & Geometric Topology

### Homotopy theory of unital algebras

Brice Le Grignou

#### Abstract

We provide an extensive study of the homotopy theory of types of algebras with units, for instance unital associative algebras or unital commutative algebras. To this purpose, we endow the Koszul dual category of curved coalgebras, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen equivalent to that of unital algebras. To prove such a result, we use recent methods based on presentable categories. This allows us to describe the homotopy properties of unital algebras in a simpler and richer way. Moreover, we endow the various model categories with several enrichments which induce suitable models for the mapping spaces and describe the formal deformations of morphisms of algebras.

#### Article information

Source
Algebr. Geom. Topol., Volume 19, Number 3 (2019), 1541-1618.

Dates
Revised: 25 September 2018
Accepted: 17 October 2018
First available in Project Euclid: 29 May 2019

https://projecteuclid.org/euclid.agt/1559095435

Digital Object Identifier
doi:10.2140/agt.2019.19.1541

Mathematical Reviews number (MathSciNet)
MR3954291

#### Citation

Le Grignou, Brice. Homotopy theory of unital algebras. Algebr. Geom. Topol. 19 (2019), no. 3, 1541--1618. doi:10.2140/agt.2019.19.1541. https://projecteuclid.org/euclid.agt/1559095435

#### References

• J Adámek, J Rosický, Locally presentable and accessible categories, London Mathematical Society Lecture Note Series 189, Cambridge Univ. Press (1994)
• M Anel, A Joyal, Sweedler theory for (co)algebras and the bar-cobar constructions, preprint (2013)
• M Bayeh, K Hess, V Karpova, M K\kedziorek, E Riehl, B Shipley, Left-induced model structures and diagram categories, from “Women in topology: collaborations in homotopy theory” (M Basterra, K Bauer, K Hess, B Johnson, editors), Contemp. Math. 641, Amer. Math. Soc., Providence, RI (2015) 49–81
• C Berger, I Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003) 805–831
• F Borceux, Handbook of categorical algebra, II: Categories and structures, Encyclopedia of Mathematics and its Applications 51, Cambridge Univ. Press (1994)
• A K Bousfield, V K A M Gugenheim, On ${\rm PL}$ de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 179, Amer. Math. Soc., Providence, RI (1976)
• J Chuang, A Lazarev, W H Mannan, Cocommutative coalgebras: homotopy theory and Koszul duality, Homology Homotopy Appl. 18 (2016) 303–336
• G C Drummond-Cole, J Hirsh, Model structures for coalgebras, Proc. Amer. Math. Soc. 144 (2016) 1467–1481
• W G Dwyer, D M Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980) 17–35 \goodbreak\null
• W G Dwyer, D M Kan, Simplicial localizations of categories, J. Pure Appl. Algebra 17 (1980) 267–284
• E Getzler, P Goerss, A model category structure for differential graded coalgebras, preprint (1999) Available at \setbox0\makeatletter\@url http://www.math.northwestern.edu/~pgoerss/papers/model.ps {\unhbox0
• E Getzler, J D S Jones, Operads, homotopy algebra and iterated integrals for double loop spaces, preprint (2000)
• P G Goerss, J F Jardine, Simplicial homotopy theory, Progress in Mathematics 174, Birkhäuser, Basel (1999)
• K Hess, M K\kedziorek, E Riehl, B Shipley, A necessary and sufficient condition for induced model structures, J. Topol. 10 (2017) 324–369
• V Hinich, Homological algebra of homotopy algebras, Comm. Algebra 25 (1997) 3291–3323
• V Hinich, DG coalgebras as formal stacks, J. Pure Appl. Algebra 162 (2001) 209–250
• J Hirsh, J Millès, Curved Koszul duality theory, Math. Ann. 354 (2012) 1465–1520
• K Lefèvre-Hasegawa, Sur les $A_\infty$–catégories, PhD thesis, Université Paris 7 (2003)
• J-L Loday, B Vallette, Algebraic operads, Grundl. Math. Wissen. 346, Springer (2012)
• J Lurie, Derived algebraic geometry, X: Formal moduli problems, unpublished manuscript (2011) Available at \setbox0\makeatletter\@url http://www.math.harvard.edu/~lurie/papers/DAG-X.pdf {\unhbox0
• S Mac Lane, Homology, Grundl. Math. Wissen. 114, Academic, New York (1963)
• A Polishchuk, L Positselski, Quadratic algebras, University Lecture Series 37, Amer. Math. Soc., Providence, RI (2005)
• L Positselski, Two kinds of derived categories, Koszul duality, and comodule–contramodule correspondence, Mem. Amer. Math. Soc. 996, Amer. Math. Soc., Providence, RI (2011)
• D Quillen, Rational homotopy theory, Ann. of Math. 90 (1969) 205–295
• D Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977) 269–331
• B Vallette, Homotopy theory of homotopy algebras, preprint (2014)