Homotopical adjoint lifting theorem

DOI10.1007/S10485-019-09560-2zbMATH Open1428.18034arXiv1606.01803OpenAlexW2964206295WikidataQ128412205 ScholiaQ128412205MaRDI QIDQ2317961FDOQ2317961

David White, Donald Yau

Publication date: 13 August 2019

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our approach allows us to simultaneously answer questions of rectification and of changing the base model category to a Quillen equivalent one. We work in the setting of colored operads, and we do not require them to be $Sigma$-cofibrant. Special cases of our main theorem recover many known results regarding rectification and change of model category, as well as numerous new results. In particular, we recover a recent result of Richter-Shipley about a zig-zag of Quillen equivalences between commutative $HmathbbQ$-algebra spectra and commutative differential graded $mathbbQ$-algebras, but our version involves only three Quillen equivalences instead of six. We also work out the theory of how to lift Quillen equivalences to categories of colored operad algebras after a left Bousfield localization.

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

zbMATH Keywords

operadsrectificationalgebraic-topologycategory-theorymodel-categoriesQuillen-equivalences

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Operads (general) (18M60) Algebraic operads, cooperads, and Koszul duality (18M70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings, modules, and algebras in infinite loop space theory
• The geometry of iterated loop spaces
• Admissibility and rectification of colored symmetric operads
• Strongly homotopy lie algebras
• Monoidal Bousfield Localizations and Algebras over Operads
• Axiomatic homotopy theory for operads
• Equivalences of monoidal model categories
• Rational homotopy theory
• HZ -algebra spectra are differential graded algebras
• Algebras and Modules in Monoidal Model Categories
• Modular operads
• A Foundation for PROPs, Algebras, and Modules
• Homotopy theory of nonsymmetric operads
• Homotopy Associativity of H-Spaces. I
• Homotopy completion and topological Quillen homology of structured ring spectra
• Homotopy theory of modules over operads and non-\(\varSigma \) operads in monoidal model categories
• The Boardman-Vogt resolution of operads in monoidal model categories
• Modules over operads and functors
• Props in model categories and homotopy invariance of structures
• Homotopy theory of modules over operads in symmetric spectra
• Preorientations of the derived motivic multiplicative group
• Homotopy theory of non-symmetric operads. II: Change of base category and left properness
• The \(L_\infty\)-deformation complex of diagrams of algebras
• Cosimplicial versus DG-rings: A version of the Dold-Kan correspondence
• Shrinkability, relative left properness, and derived base change
• Model structures on commutative monoids in general model categories
• Left Bousfield localization and Eilenberg-Moore categories
• Bousfield localization and algebras over colored operads
• SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA
• Encoding equivariant commutativity via operads
• An algebraic model for commutative \(H\mathbb{Z}\)-algebras

Cited In (11)

• Left Bousfield localization without left properness
• Sophus Lie's Third Fundamental Theorem and the Adjoint Functor Theorem
• Bousfield localization and algebras over colored operads
• Model structures on commutative monoids in general model categories
• Homotopy in exact categories
• On colimits and model structures in various categories of manifolds
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• Homological aspects of the adjoint cotranspose
• Title not available (Why is that?)
• Homotopy theory of algebras of substitudes and their localisation
• Smith ideals of operadic algebras in monoidal model categories

Recommendations

• Some adjoints in homotopy categories 👍 👎
• Applications of hyperhomology to adjoint functors 👍 👎
• Homological aspects of the adjoint cotranspose 👍 👎
• Adjoint functor theorems for homotopically enriched categories 👍 👎
• Liftings in categorical homotopy 👍 👎
• Lifting coarse homotopies 👍 👎
• Lifting homotopy actions in rational homotopy theory 👍 👎
• The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras 👍 👎
• On homotopies of morphisms and admissible mappings 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Homotopical adjoint lifting theorem

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