Homotopy theory of unital algebras

DOI10.2140/AGT.2019.19.1541MaRDI QIDQ2279055zbMATH OpenOpenAlexWikidataFDO

Authors Brice Le Grignou

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.02254

zbMATH Keywords

bar and cobar constructionscurved coalgebrasKoszul dualityoperads

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Algebraic operads, cooperads, and Koszul duality (18M70) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50)

Abstract: This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. 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.

Review text

In this paper, the author relates the homotopy theory of algebras with units (over a given dg-operad \(\mathscr{P}\)) and the homotopy theory of coalgebras (over a given curved conilpotent cooperad \(\mathscr{C}\)). Motivated by the work of \textit{J. Hirsh} and \textit{J. Millès} [Math. Ann. 354, No. 4, 1465--1520 (2012; Zbl 1276.18009)], the author introduces a bar-cobar adjunction between dg-operads and curved conilpotent cooperads, and moreover produces a bar-cobar adjunction between \(\mathscr{P}\)-algebras and \(\mathscr{C}\)-coalgebras from a twisting morphism \(\mathscr{C} \leadsto \mathscr{P}\). The author then uses the fact that both the category of algebras and coalgebras are presentable. This allows him to apply a theorem of \textit{M. Bayeh} et al. [Contemp. Math. 641, 49--81 (2015; Zbl 1346.18023)] to prove that the Hinich model category structure on the category of \(\mathscr{P}\)-algebras can be transferred along the above adjunction to produce a model category structure on the category of \(\mathscr{C}\)-coalgebras. In this model structure, weak equivalences are maps of coalgebras which become quasi-isomorphisms after applying the cobar construction. The structure is also compatible with the various enrichments that can be defined on the categories involved. The author then studies the universal twisting morphism \(\mathscr{C} \to \Omega \mathscr{C}\). In this case, the Quillen adjunction produced by the transfer procedure becomes a Quillen equivalence. The author concludes with several examples: the case where the twisting morphism is the Koszul twisting morphism of a quadratic-linear-constant operad (as well as the dual case), the case of unital associative algebras, and the case of unital commutative algebras.

Recommendations

• Curved homotopy coalgebras
• Convolution algebras and the deformation theory of infinity-morphisms
• Cyclic homology of a free loop space
• Operadic cobar constructions, cylinder objects and homotopy morphisms of algebras over operads
• Model structures for coalgebras
• Koszul duality for compactly generated derived categories of second kind
• Homotopy theory of homotopy algebras
• Curved Koszul duality theory
• Cohomology with coefficients for operadic coalgebras
• Bar-cobar duality for operads in stable homotopy theory

Cites work

• A necessary and sufficient condition for induced model structures
• Algebraic operads
• Axiomatic homotopy theory for operads
• Calculating simplicial localizations
• Cocommutative coalgebras: homotopy theory and Koszul duality
• Curved Koszul duality theory
• DG coalgebras as formal stacks
• Homological algebra of homotopy algebras
• Infinitesimal computations in topology
• Left-induced model structures and diagram categories
• Model structures for coalgebras
• On 𝑃𝐿 de Rham theory and rational homotopy type
• Rational homotopy theory
• Simplicial localizations of categories
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

Cited in

(19)

• Uniform \(K\)-homology theory
• Curved homotopy coalgebras
• Curved Koszul duality of algebras over unital versions of binary operads
• Twisting structures and morphisms up to strong homotopy
• Homotopy theory of homotopy algebras
• What do homotopy algebras form?
• Nonstandard homology theory for uniform spaces
• Homotopy units in A-infinity algebras
• Homotopy representations of the unitary groups
• Operadic cobar constructions, cylinder objects and homotopy morphisms of algebras over operads
• scientific article; zbMATH DE number 4138016 (Why is no real title available?)
• Unitary Structures on Cohomology
• scientific article; zbMATH DE number 4048663 (Why is no real title available?)
• scientific article; zbMATH DE number 894324 (Why is no real title available?)
• Homotopy unital A_-algebras
• Curved operadic calculus
• Universal first-order Massey product of a prefactorization algebra
• Enriched Koszul duality
• Absolute algebras, contramodules, and duality squares

This page was built for publication: Homotopy theory of unital algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279055)