École Polytechnique Fédérale de Lausanne Joint work with K. Hess, E. Riehl and B. Shipley September 13, 2016
Plan 1 2 3 4
Model structure Additional structure on a category: allows one to do homotopy theory
Model structure Additional structure on a category: allows one to do homotopy theory A model category (M,F,C,W): bicomplete M a class W + 2-of-3 a pair of weak factorization systems (C W,F) (C,F W)
There are different ways to put a model structure on a category D.
There are different ways to put a model structure on a category D. choose your clasess of maps + prove the axioms (good luck with that)
There are different ways to put a model structure on a category D. choose your clasess of maps + prove the axioms (good luck with that) find a different category M with a model structure and try to use it (transfer it): M L D
Structured objects C L Objects with additional structure in C
Structured objects C For example: L C Objects with additional structure in C L R mod in C
Structured objects C For example: L C Objects with additional structure in C L R mod in C There are classical theorems [Kan, Quillen]: Model structure on C = model structure on R mod in C Important assumption: C cofibrantly generated m.c.
Structured objects, dual situation Dual situation is much more difficult: C Objects with additional structure in C
Structured objects, dual situation Dual situation is much more difficult: C For example: C Objects with additional structure in C R comod in C
Structured objects, dual situation Dual situation is much more difficult: C For example: C Objects with additional structure in C R comod in C Recent theorems based on [Makkai, Rosický]. Important assumption: C cofibrantly generated model category and locally presentable
Structured objects, dual situation Dual situation is much more difficult: C For example: C Objects with additional structure in C R comod in C Recent theorems based on [Makkai, Rosický]. Important assumption: C cofibrantly generated model category and locally presentable Even more difficult: several adjoint pairs from C to Objects with additional structure in C (Bialgebras in C)
Structured objects, dual situation Dual situation is much more difficult: C For example: C Objects with additional structure in C R comod in C Recent theorems based on [Makkai, Rosický]. Important assumption: C cofibrantly generated model category and locally presentable Even more difficult: several adjoint pairs from C to Objects with additional structure in C (Bialgebras in C) We will relax assumption of cofibrantly generated but keep locally presentable
Accessible model structure Locally presentable category - built from a set of objects via colimits (ssets, Ch R, Sp Σ (ssets) but not Top)
Accessible model structure Locally presentable category - built from a set of objects via colimits (ssets, Ch R, Sp Σ (ssets) but not Top) Definition [HKRS] A model structure on a locally presentable category is accessible if it is algebraic and both (functorial) factorisations preserve sufficiently large filtered colimits
Accessible model structure Locally presentable category - built from a set of objects via colimits (ssets, Ch R, Sp Σ (ssets) but not Top) Definition [HKRS] A model structure on a locally presentable category is accessible if it is algebraic and both (functorial) factorisations preserve sufficiently large filtered colimits IMPORTANT: All cofibrantly generated model structures on locally presentable categories are accessible
Accessible model structure Locally presentable category - built from a set of objects via colimits (ssets, Ch R, Sp Σ (ssets) but not Top) Definition [HKRS] A model structure on a locally presentable category is accessible if it is algebraic and both (functorial) factorisations preserve sufficiently large filtered colimits IMPORTANT: All cofibrantly generated model structures on locally presentable categories are accessible Methods to obtain an accessible model structure: via enriched algebraic small object argument [Riehl]
An example Hurewicz model structure on Ch R : W = chain homotopy equivalences C = levelwise split mono F = levelwise split epi Not cofibrantly generated, but accessible.
Transfer (M,F,C,W) model category K M L C C and K are bicomplete.
Transfer (M,F,C,W) model category K M L C C and K are bicomplete. If they exist: right-induced model structure on C: ( 1 F,LLP, 1 W ), left-induced model structure on K: ( RLP, 1 C, 1 W ).
Implications of Burke s and Garner s theorem Suppose (M,F,C,W) is an accessible model category, C and K are locally presentable, and K M L C
Implications of Burke s and Garner s theorem Suppose (M,F,C,W) is an accessible model category, C and K are locally presentable, and K M L C Then there exist weak factorization systems: On K: ( 1 (C),RLP) and ( 1 (C W),RLP) On C: (LLP, 1 (F)) and (LLP, 1 (F W))
Acyclicity theorem [HKRS] Suppose (M,F,C,W) is an accessible model category, C and K are locally presentable, and K M L C. The right-induced model structure exists on C LLP( 1 F) 1 W The left-induced model structure exists on K RLP( 1 C) 1 W
Acyclicity theorem [HKRS] Suppose (M,F,C,W) is an accessible model category, C and K are locally presentable, and K M L C. The right-induced model structure exists on C LLP( 1 F) 1 W The left-induced model structure exists on K RLP( 1 C) 1 W These are again accessible model structures, we can repeat this process! Even cofibrantly generated if M was!
: 2-out of-6 Dual to Quillen s path object argument Square Theorem
2-out of-6 W in any model category satisfy 2-out of-6: A f B g C h D if gf and hg W = f,g,h, and hgf W
Example: right induced to Alg R To check: LLP( 1 F) 1 W L Ch R,Hur Alg R
Example: right induced to Alg R To check: LLP( 1 F) 1 W i : A B LLP( 1 F) L Ch R,Hur Alg R
Example: right induced to Alg R To check: LLP( 1 F) 1 W i : A B LLP( 1 F) L Ch R,Hur Alg R i A B 1W A F (B s 1 B) B i+q 1 F
Example: right induced to Alg R To check: LLP( 1 F) 1 W i : A B LLP( 1 F) L Ch R,Hur Alg R i A B 1W A F (B s 1 B) B i+q 1 F
Example: right induced to Alg R To check: LLP( 1 F) 1 W i : A B LLP( 1 F) L Ch R,Hur Alg R A 1W A F (B s 1 B) i B 2-of-6 = i 1 W B i+q 1 F = the right-induced model structure on Alg R exists
Dual to Quillen s path object argument [HKRS] (M,C,F,W) an accessible model category K locally presentable and K M Define W K := 1 (W) and C K := 1 (C).
Dual to Quillen s path object argument [HKRS] (M,C,F,W) an accessible model category K locally presentable and K M Define W K := 1 (W) and C K := 1 (C). If 1 every object in K is cofibrant and 2 good cylinder objects X X Cyl(X ) X exist in K for all objects X K, then the AC holds on K = the left-induced model structure exists
Example: left induced to Coalg R Coalg R Ch R,Hur
Example: left induced to Coalg R Coalg R Ch R,Hur 1 In Ch R,Hur every object is cofibrant = in Coalg R too 2 We can use cylinder object in Ch R to get cylinder object in Coalg R = the left-induced model structure on Coalg R exists
Square Theorem [HKRS] M,C,K,P locally presentable, (M,C,F,W) a model category M L C K L P If = and if L = L, then there exist id P right P left. id
Square Theorem [HKRS] M,C,K,P locally presentable, (M,C,F,W) a model category M L C right K left L P
Square Theorem [HKRS] M,C,K,P locally presentable, (M,C,F,W) a model category M L C right K left L P If = and if L = L, then there exist id P right id P left
Square Theorem [HKRS] M,C,K,P locally presentable, (M,C,F,W) a model category M L C right K left L P If = and if L = L, then there exist id P right id P left We have a more general version of Square Theorem.
Example: Bialg R We apply Square Theorem to the square Ch R,Hur Coalg R F F Alg R Bialg R = Two model structures on Bialg R Two different m.s. Fibrant/ cofibrant replacements given by Bar-Cobar and Cobar-Bar constructions.
Example: Bialg R We apply Square Theorem to the square Ch R,Hur Coalg R,left F F Alg R,right Bialg R
Example: Bialg R We apply Square Theorem to the square Ch R,Hur Coalg R,left F F Alg R,right Bialg R = Two model structures on Bialg R
Example: Bialg R We apply Square Theorem to the square Ch R,Hur Coalg R,left F F Alg R,right Bialg R = Two model structures on Bialg R Two different model structures. Fibrant / cofibrant replacements given by Bar-Cobar and Cobar-Bar constructions.
Motivic Galois extensions We get model structures on categories of Equivariant motivic spaces : spre(g Sch) and Equivariant motivic spectra: Sp Σ spre(gsch)
Motivic Galois extensions We get model structures on categories of and Equivariant motivic spaces : spre(g Sch) Equivariant motivic spectra: Sp Σ spre(gsch) where fibrant replacement of X is Hom(EG +,X ) or Hom(E G +,X ) needed for Galois extension examples (Joint work with A.Beaudry, K.Hess, M.Merling and.stojanoska).
(Generalized) Reedy R a Reedy category R + a direct wide subcategory R an inverse wide subcategory M obr R M R L L M R+ R M R
(Generalized) Reedy R a Reedy category R + a direct wide subcategory R an inverse wide subcategory M obr R M R L L M R+ R M R Reedy model structure on M R is left-right induced and right-left induced from levelwise model structure on M obr
To sum up...... accessible model structures are great!:
To sum up...... accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly.
To sum up...... accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly. All you need to check is the acyclicity condition
To sum up...... accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly. All you need to check is the acyclicity condition and there are methods to do it!
To sum up...... accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly. All you need to check is the acyclicity condition and there are methods to do it! We get many new model structures both in dg and spectral settings... and
To sum up...... accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly. All you need to check is the acyclicity condition and there are methods to do it! We get many new model structures both in dg and spectral settings... and We can understand better existing model structures: a Reedy model structure.