A necessary and sufficient condition for induced model structures

DOI10.1112/TOPO.12011MaRDI QIDQ5359103zbMATH OpenOpenAlexFDO

Authors Magdalena Kędziorek, Emily Riehl, B. Shipley, Kathryn Hess

Publication date 22 September 2017

Published in Journal of Topology (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalences along a left adjoint. For either technique to define a valid model category, there is a well-known necessary "acyclicity" condition. We show that for a broad class of "accessible model structures" - a generalization introduced here of the well-known combinatorial model structures - this necessary condition is also sufficient in both the right-induced and left-induced contexts, and the resulting model category is again accessible. We develop new and old techniques for proving the acyclity condition and apply these observations to construct several new model structures, in particular on categories of differential graded bialgebras, of differential graded comodule algebras, and of comodules over corings in both the differential graded and the spectral setting. We observe moreover that (generalized) Reedy model category structures can also be understood as model categories of "bialgebras" in the sense considered here.

Recommendations

• Left-induced model structures and diagram categories
• Lifting accessible model structures
• New model categories from old
• Algebraic model structures
• Model structures for coalgebras

Cited in

(32)

• A co-reflection of cubical sets into simplicial sets with applications to model structures
• Motivic homotopical Galois extensions
• Torsion models for tensor-triangulated categories: the one-step case
• A criterion for existence of right‐induced model structures
• Waldhausen K-theory of spaces via comodules
• Six model categories for directed homotopy
• Comparing cubical and globular directed paths
• Equipping weak equivalences with algebraic structure
• The coalgebraic enrichment of algebras in higher categories
• Homotopical Morita theory for corings
• Directed degeneracy maps for precubical sets
• Spanier–Whitehead duality for topological coHochschild homology
• Cubical models of \((\infty, 1)\)-categories
• Induced model structures for higher categories
• Homotopy theory of Moore flows. II
• Homotopy theory of monoid actions via group actions and an Elmendorf style theorem
• Projective and Reedy model category structures for (infinitesimal) bimodules over an operad
• Homotopy theory of stratified spaces
• On a Quillen adjunction between the categories of differential graded and simplicial coalgebras
• A model structure via orbit spaces for equivariant homotopy
• The Hurewicz model structure on simplicial \(R\)-modules
• Left-induced model structures and diagram categories
• General comodule-contramodule correspondence
• Invariance properties of coHochschild homology
• Regular directed path and Moore flow
• Quasi-categories vs. Segal spaces: Cartesian edition
• Homotopy theory of unital algebras
• RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
• Coalgebras in the Dwyer-Kan localization of a model category
• Comparing localizations across adjunctions
• A monoidal Dold-Kan correspondence for comodules
• CELLULAR CATEGORIES AND STABLE INDEPENDENCE

This page was built for publication: A necessary and sufficient condition for induced model structures

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