Accessible model structures
|
|
- Damian Hamilton
- 6 years ago
- Views:
Transcription
1 École Polytechnique Fédérale de Lausanne Joint work with K. Hess, E. Riehl and B. Shipley September 13, 2016
2 Plan
3 Model structure Additional structure on a category: allows one to do homotopy theory
4 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)
5 There are different ways to put a model structure on a category D.
6 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)
7 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
8 Structured objects C L Objects with additional structure in C
9 Structured objects C For example: L C Objects with additional structure in C L R mod in C
10 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.
11 Structured objects, dual situation Dual situation is much more difficult: C Objects with additional structure in C
12 Structured objects, dual situation Dual situation is much more difficult: C For example: C Objects with additional structure in C R comod in C
13 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
14 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)
15 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
16 Accessible model structure Locally presentable category - built from a set of objects via colimits (ssets, Ch R, Sp Σ (ssets) but not Top)
17 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
18 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
19 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]
20 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.
21 Transfer (M,F,C,W) model category K M L C C and K are bicomplete.
22 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 ).
23 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
24 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))
25 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
26 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!
27 : 2-out of-6 Dual to Quillen s path object argument Square Theorem
28 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
29 Example: right induced to Alg R To check: LLP( 1 F) 1 W L Ch R,Hur Alg R
30 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
31 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
32 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
33 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
34 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).
35 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
36 Example: left induced to Coalg R Coalg R Ch R,Hur
37 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
38 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
39 Square Theorem [HKRS] M,C,K,P locally presentable, (M,C,F,W) a model category M L C right K left L P
40 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
41 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.
42 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.
43 Example: Bialg R We apply Square Theorem to the square Ch R,Hur Coalg R,left F F Alg R,right Bialg R
44 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
45 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.
46 Motivic Galois extensions We get model structures on categories of Equivariant motivic spaces : spre(g Sch) and Equivariant motivic spectra: Sp Σ spre(gsch)
47 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).
48 (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
49 (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
50 To sum up accessible model structures are great!:
51 To sum up accessible model structures are great!: it is relatively easy to transfer them via left or right adjoints repeatedly.
52 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
53 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!
54 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
55 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.
Algebraic model structures
Algebraic model structures Emily Riehl Harvard University http://www.math.harvard.edu/~eriehl 18 September, 2011 Homotopy Theory and Its Applications AWM Anniversary Conference ICERM Emily Riehl (Harvard
More informationAN INTRODUCTION TO MODEL CATEGORIES
N INTRODUCTION TO MODEL CTEGORIES JUN HOU FUNG Contents 1. Why model categories? 1 2. Definitions, examples, and basic properties 3 3. Homotopy relations 5 4. The homotopy category of a model category
More informationLEFT-INDUCED MODEL STRUCTURES AND DIAGRAM CATEGORIES
LEFT-INDUCED MODEL STRUCTURES AND DIAGRAM CATEGORIES MARZIEH BAYEH, KATHRYN HESS, VARVARA KARPOVA, MAGDALENA KȨDZIOREK, EMILY RIEHL, AND BROOKE SHIPLEY Abstract. We prove existence results for and verify
More informationCellularity, composition, and morphisms of algebraic weak factorization systems
Cellularity, composition, and morphisms of algebraic weak factorization systems Emily Riehl University of Chicago http://www.math.uchicago.edu/~eriehl 19 July, 2011 International Category Theory Conference
More informationAlgebraic model structures
Algebraic model structures Emily Riehl University of Chicago http://www.math.uchicago.edu/~eriehl 22 June, 2010 International Category Theory Conference Università di Genova Emily Riehl (University of
More informationin path component sheaves, and the diagrams
Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial
More informationarxiv: v2 [math.at] 18 Sep 2008
TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)
More informationNew York Journal of Mathematics. Algebraic model structures
New York Journal of Mathematics New York J. Math. 17 (2011) 173 231. Algebraic model structures Emily Riehl Abstract. We define a new notion of an algebraic model structure, in which the cofibrations and
More informationENRICHED MODEL CATEGORIES IN EQUIVARIANT CONTEXTS
Homology, Homotopy and Applications, vol. 12(2), 2010, pp.1 35 Contents ENRICHED MODEL CATEGORIES IN EQUIVARIANT CONTEXTS BERTRAND GUILLOU, J.P. MAY and JONATHAN RUBIN (communicated by Mike Mandell) Abstract
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given
More informationENRICHED MODEL CATEGORIES AND PRESHEAF CATEGORIES
Homology, Homotopy and Applications, vol. 12(2), 2010, pp.1 48 ENRICHED MODEL CATEGORIES AND PRESHEAF CATEGORIES BERTRAND GUILLOU and J.P. MAY (communicated by Mike Mandell) Abstract We collect in one
More informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationarxiv: v1 [math.at] 17 Apr 2008
DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA arxiv:0804.2791v1 [math.at] 17 Apr 2008 GONÇALO TABUADA Abstract. We construct a zig-zag of Quillen equivalences between the homotopy theories of differential
More informationHomotopy Theory of Topological Spaces and Simplicial Sets
Homotopy Theory of Topological Spaces and Simplicial Sets Jacobien Carstens May 1, 2007 Bachelorthesis Supervision: prof. Jesper Grodal KdV Institute for mathematics Faculty of Natural Sciences, Mathematics
More informationTHE HEART OF A COMBINATORIAL MODEL CATEGORY
Theory and Applications of Categories, Vol. 31, No. 2, 2016, pp. 31 62. THE HEART OF A COMBINATORIAL MODEL CATEGORY ZHEN LIN LOW Abstract. We show that every small model category that satisfies certain
More informationAlgebraic models for higher categories
Algebraic models for higher categories Thomas Nikolaus Fachbereich Mathematik, Universität Hamburg Schwerpunkt Algebra und Zahlentheorie Bundesstraße 55, D 20 146 Hamburg Abstract We introduce the notion
More informationAlgebraic models of homotopy type theory
Algebraic models of homotopy type theory Nicola Gambino School of Mathematics University of Leeds CT2016 Halifax, August 9th 1 Theme: property vs structure Fundamental distinction: satisfaction of a property
More informationarxiv: v1 [math.at] 18 Nov 2015
AN ALGEBRAIC MODEL FOR RATIONAL G SPECTRA OVER AN EXCEPTIONAL SUBGROUP MAGDALENA KȨDZIOREK arxiv:1511.05993v1 [math.at] 18 Nov 2015 Abstract. We give a simple algebraic model for rational G spectra over
More informationON THE COFIBRANT GENERATION OF MODEL CATEGORIES arxiv: v1 [math.at] 16 Jul 2009
ON THE COFIBRANT GENERATION OF MODEL CATEGORIES arxiv:0907.2726v1 [math.at] 16 Jul 2009 GEORGE RAPTIS Abstract. The paper studies the problem of the cofibrant generation of a model category. We prove that,
More informationAn introduction to stable homotopy theory. Abelian groups up to homotopy spectra ()generalized cohomology theories
An introduction to stable homotopy theory Abelian groups up to homotopy spectra ()generalized cohomology theories Examples: 1. Ordinary cohomology: For A any abelian group, H n (X; A) =[X +,K(A, n)]. Eilenberg-Mac
More information2 BROOKE SHIPLEY up to homotopy" information as differential graded R-algebras. Verifying this conjecture is the subject of this paper. To formulate t
HZ-ALGEBRA SPECTRA ARE DIFFERENTIAL GRADED ALGEBRAS BROOKE SHIPLEY Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely,
More informationAlgebraic models for higher categories
Algebraic models for higher categories Thomas Nikolaus Organisationseinheit Mathematik, Universität Hamburg Schwerpunkt Algebra und Zahlentheorie Bundesstraße 55, D 20 146 Hamburg Abstract We establish
More informationAn Introduction to Model Categories
An Introduction to Model Categories Brooke Shipley (UIC) Young Topologists Meeting, Stockholm July 4, 2017 Examples of Model Categories (C, W ) Topological Spaces with weak equivalences f : X Y if π (X
More informationHigher Prop(erad)s. Philip Hackney, Marcy Robertson*, and Donald Yau UCLA. July 1, 2014
Higher Prop(erad)s Philip Hackney, Marcy Robertson*, and Donald Yau UCLA July 1, 2014 Philip Hackney, Marcy Robertson*, and Donald Yau (UCLA) Higher Prop(erad)s July 1, 2014 1 / 1 Intro: Enriched Categories
More informationOn Obstructions to Realizing Diagrams of Π-algebras
On Obstructions to Realizing Diagrams of Π-algebras Mark W. Johnson mwj3@psu.edu March 16, 2008. On Obstructions to Realizing Diagrams of Π-algebras 1/13 Overview Collaboration with David Blanc and Jim
More informationo ALGEBRAIC K-THEORY AND HIGHER CATEGORIES ANDREW J. BLUMBERG Abstract. The outline of the talk. 1. Setup Goal: Explain algebraic K-theory as a functor from the homotopical category of homotopical categories
More informationHOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES
HOMOTOPY THEORY OF MODULES OVER OPERADS AND NON-Σ OPERADS IN MONOIDAL MODEL CATEGORIES JOHN E. HARPER Abstract. We establish model category structures on algebras and modules over operads and non-σ operads
More informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationKathryn Hess. Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011
MATHGEOM Ecole Polytechnique Fédérale de Lausanne Category Theory, Algebra and Geometry Université Catholique de Louvain 27 May 2011 Joint work with... Steve Lack (foundations) Jonathan Scott (application
More informationGraduate algebraic K-theory seminar
Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................
More informationT -spectra. Rick Jardine. March 2, University of Western Ontario
University of Western Ontario March 2, 2015 T = is a pointed simplicial presheaf on a site C. A T -spectrum X consists of pointed simplicial presheaves X n, n 0 and bonding maps σ : T X n X n+1, n 0. A
More informationLoday construction in functor categories
Wayne State University AMS Bloomington April, 1st 2017 Motivation Goal: Describe a computational tool (using some categorical machinery) for computing higher order THH, which is an approximation to iterated
More informationAXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY
AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy
More informationINDUCTIVE PRESENTATIONS OF GENERALIZED REEDY CATEGORIES. Contents. 1. The algebraic perspective on Reedy categories
INDUCTIVE PRESENTATIONS OF GENERALIZED REEDY CATEGORIES EMILY RIEHL Abstract. This note explores the algebraic perspective on the notion of generalized Reedy category introduced by Berger and Moerdijk
More informationMODEL STRUCTURES ON PRO-CATEGORIES
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.367 398 MODEL STRUCTURES ON PRO-CATEGORIES HALVARD FAUSK and DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract We introduce a notion
More informationFINITE SPECTRA CARY MALKIEWICH
FINITE SPECTRA CARY MALKIEWICH These notes were written in 2014-2015 to help me understand how the different notions of finiteness for spectra are related. I am usually surprised that the basics are not
More informationSPECTRAL ENRICHMENTS OF MODEL CATEGORIES
SPECTRAL ENRICHMENTS OF MODEL CATEGORIES DANIEL DUGGER Abstract. We prove that every stable, presentable model category can be enriched in a natural way over symmetric spectra. As a consequence of the
More informationON THE DERIVED CATEGORY OF AN ALGEBRA OVER AN OPERAD. Dedicated to Mamuka Jibladze on the occasion of his 50th birthday
ON THE DERIVED CATEGORY OF AN ALGEBRA OVER AN OPERAD CLEMENS BERGER AND IEKE MOERDIJK Dedicated to Mamuka Jibladze on the occasion of his 50th birthday Abstract. We present a general construction of the
More informationON LEFT AND RIGHT MODEL CATEGORIES AND LEFT AND RIGHT BOUSFIELD LOCALIZATIONS
Homology, Homotopy and Applications, vol. 12(2), 2010, pp.245 320 ON LEFT AND RIGHT MODEL CATEGORIES AND LEFT AND RIGHT BOUSFIELD LOCALIZATIONS CLARK BARWICK (communicated by Brooke Shipley) Abstract We
More informationCommutative ring objects in pro-categories and generalized Moore spectra
Commutative ring objects in pro-categories and generalized Moore spectra Daniel G. Davis, Tyler Lawson June 30, 2013 Abstract We develop a rigidity criterion to show that in simplicial model categories
More informationWaldhausen Additivity and Approximation in Quasicategorical K-Theory
Waldhausen Additivity and Approximation in Quasicategorical K-Theory Thomas M. Fiore partly joint with Wolfgang Lück, http://www-personal.umd.umich.edu/~tmfiore/ http://www.him.uni-bonn.de/lueck/ Motivation
More informationHomotopy theory of spectral categories
dvances in Mathematics 221 (2009) 1122 1143 www.elsevier.com/locate/aim Homotopy theory of spectral categories Gonçalo Tabuada Departamento de Matemática e CM, FCT-UNL, Quinta da Torre, 2829-516 Caparica,
More informationModel Structures on the Category of Small Double Categories
Model Structures on the Category of Small Double Categories CT2007 Tom Fiore Simona Paoli and Dorette Pronk www.math.uchicago.edu/ fiore/ 1 Overview 1. Motivation 2. Double Categories and Their Nerves
More informationAutour de la Géométrie Algébrique Dérivée
Autour de la Géométrie Algébrique Dérivée groupe de travail spring 2013 Institut de Mathématiques de Jussieu Université Paris Diderot Organised by: Gabriele VEZZOSI Speakers: Pieter BELMANS, Brice LE GRIGNOU,
More informationModuli Problems for Structured Ring Spectra
Moduli Problems for Structured Ring Spectra P. G. Goerss and M. J. Hopkins 1 1 The authors were partially supported by the National Science Foundation (USA). In this document we make good on all the assertions
More informationKathryn Hess. International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008
Institute of Geometry, Ecole Polytechnique Fédérale de Lausanne International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008 Joint work with John Rognes. Outline 1
More informationAlgebras and modules in monoidal model categories
Algebras and modules in monoidal model categories Stefan Schwede and Brooke E. Shipley 1 arxiv:math/9801082v1 [math.at] 19 Jan 1998 1 Summary Abstract: We construct model category structures for monoids
More informationCGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE
CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE 1. January 16, 2018: Byunghee An, bar and cobar Today I am going to talk about bar and cobar constructions again, between categories of algebras and coalgebras.
More informationDerivatives of the identity functor and operads
University of Oregon Manifolds, K-theory, and Related Topics Dubrovnik, Croatia 23 June 2014 Motivation We are interested in finding examples of categories in which the Goodwillie derivatives of the identity
More informationMONOIDAL ALGEBRAIC MODEL STRUCTURES
MONOIDAL ALGEBRAIC MODEL STRUCTURES EMILY RIEHL Abstract. Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic
More informationarxiv: v1 [math.at] 15 Nov 2018
INVARIANCE PROPERTIES OF COHOCHSCHILD HOMOLOGY arxiv:1811.06508v1 [math.at] 15 Nov 2018 KATHRYN HESS AND BROOKE SHIPLEY Abstract. The notion of Hochschild homology of a dg algebra admits a natural dualization,
More informationMotivic Spaces with Proper Support
Motivic Spaces with Proper Support Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anwar Alameddin June 2017 Abstract In this
More informationMODEL CATEGORIES OF DIAGRAM SPECTRA
MODEL CATEGORIES OF DIAGRAM SPECTRA M. A. MANDELL, J. P. MAY, S. SCHWEDE, AND B. SHIPLEY Abstract. Working in the category T of based spaces, we give the basic theory of diagram spaces and diagram spectra.
More informationGraph stable equivalences and operadic constructions in equivariant spectra
Graph stable equivalences and operadic constructions in equivariant spectra Markus Hausmann, Luís A. Pereira October 23, 2015 Abstract One of the key insights of the work of Blumberg and Hill in [2] is
More informationCommutative ring objects in pro-categories and generalized Moore spectra
1 Commutative ring objects in pro-categories and generalized Moore spectra DANIEL G DAVIS TYLER LAWSON We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric
More informationPOSTNIKOV EXTENSIONS OF RING SPECTRA
POSTNIKOV EXTENSIONS OF RING SPECTRA DANIEL DUGGER AND BROOKE SHIPLEY Abstract. We give a functorial construction of k-invariants for ring spectra, and use these to classify extensions in the Postnikov
More informationLOOP SPACES IN MOTIVIC HOMOTOPY THEORY. A Dissertation MARVIN GLEN DECKER
LOOP SPACES IN MOTIVIC HOMOTOPY THEORY A Dissertation by MARVIN GLEN DECKER Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree
More informationAlgebraic Topology (topics course) Spring 2010 John E. Harper. Series 6
Algebraic Toology (toics course) Sring 2010 John E. Harer Series 6 Let R be a ring and denote by Ch + R (res. Mod R) the category of non-negative chain comlexes over R (res. the category of left R-modules).
More informationThe positive complete model structure and why we need it
The positive complete model structure and why we need it Hood Chatham Alan told us in his talk about what information we can get about the homotopical structure of S G directly. In particular, he built
More informationAN ALGEBRAIC MODEL FOR RATIONAL TORUS-EQUIVARIANT SPECTRA. Contents. Part 1. Overview Introduction Outline of the argument.
AN ALGEBRAIC MODEL FOR RATIONAL TORUS-EQUIVARIANT SPECTRA J. P. C. GREENLEES AND B. SHIPLEY Abstract. We show that the category of rational G-spectra for a torus G is Quillen equivalent to an explicit
More informationSymmetric Spectra and Topological Hochschild Homology
K-Theory 19: 155 183, 2000. c 2000 Kluwer Academic Publishers. Printed in the Netherlands. 155 Symmetric Spectra and Topological Hochschild Homology BROOKE SHIPLEY Department of Mathematics, Purdue University,
More informationPostnikov extensions of ring spectra
1785 1829 1785 arxiv version: fonts, pagination and layout may vary from AGT published version Postnikov extensions of ring spectra DANIEL DUGGER BROOKE SHIPLEY We give a functorial construction of k invariants
More informationQUILLEN MODEL STRUCTURES FOR RELATIVE HOMOLOGICAL ALGEBRA
QUILLEN MODEL STRUCTURES FOR RELATIVE HOMOLOGICAL ALGEBRA J. DANIEL CHRISTENSEN AND MARK HOVEY Abstract. An important example of a model category is the category of unbounded chain complexes of R-modules,
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES
The Quarterly Journal of Mathematics Quart. J. Math. 64 (2013), 805 846; doi:10.1093/qmath/hat023 ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES by CLEMENS BERGER (Université de Nice, Lab. J.-A. Dieudonné,
More informationErrata to Model Categories by Mark Hovey
Errata to Model Categories by Mark Hovey Thanks to Georges Maltsiniotis, maltsin@math.jussieu.fr, for catching most of these errors. The one he did not catch, on the non-smallness of topological spaces,
More informationPOSTNIKOV TOWERS OF COMMUTATIVE S-ALGEBRAS
POSTNIKOV TOWERS OF COMMUTATIVE S-ALGEBRAS DANIEL HESS Contents 1. Introduction 1 2. Classical André-Quillen Homology & Cohomology 2 2.1. Motivation: Homology in Model Categories 2 2.2. Abelianization
More informationHOMOTOPY THEORY OF S-BIMODULES, NAIVE RING SPECTRA AND STABLE MODEL CATEGORIES
HOMOTOPY THEORY OF S-BIMODULES, NAIVE RING SPECTRA AND STABLE MODEL CATEGORIES Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen
More informationGeometric symmetric powers in the homotopy categories of schemes over a field
Geometric symmetric powers in the homotopy categories of schemes over a field Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy
More informationLOCALIZATION, UNIVERSAL PROPERTIES, AND HOMOTOPY THEORY
LOCLIZTION, UNIVERSL PROPERTIES, ND HOMOTOPY THEORY DVID WHITE Localization in lgebra Localization in Category Theory ousfield localization 1. The right way to think about localization in algebra Localization
More informationThe homotopy theory of dg-categories and derived Morita theory
Invent. math. 167, 615 667 (2007) DOI: 10.1007s00222-006-0025-y The homotopy theory of dg-categories and derived Morita theory Bertrand Toën Laboratoire Emile Picard UMR CNRS 5580, Université Paul Sabatier,
More informationElmendorf s Theorem via Model Categories
Elmendorf s Theorem via Model Categories Marc Stephan January 29, 2010 1 Introduction In [2], working in the category of compactly generated spaces U, Elmendorf relates the equivariant homotopy theory
More informationKoszul duality for operads
Koszul duality for operads Bruno Vallette (This is in Chapters 6 and 7 of Loday-Vallette; we ll do exercises 1,7,8,9,10.) 1 Motivation We are interested in an arbitrary of P -algebras. We would like to
More informationA CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 11, November 1996 A CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES J. IGNACIO EXTREMIANA ALDANA, L. JAVIER HERNÁNDEZ PARICIO, AND M.
More informationTHE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS
THE CELLULARIZATION PRINCIPLE FOR QUILLEN ADJUNCTIONS J. P. C. GREENLEES AND B. SHIPLEY Abstract. The Cellularization Principle states that under rather weak conditions, a Quillen adjunction of stable
More informationarxiv: v6 [math.ct] 2 Jul 2015
arxiv:1407.1817v6 [math.ct] 2 Jul 2015 Model Structures on Ind-Categories and the Accessibility Rank of Weak Equivalences Ilan Barnea Tomer M. Schlank September 8, 2018 Abstract In a recent paper we introduced
More informationThe formal theory of adjunctions, monads, algebras, and descent
The formal theory of adjunctions, monads, algebras, and descent Emily Riehl Harvard University http://www.math.harvard.edu/~eriehl Reimagining the Foundations of Algebraic Topology Mathematical Sciences
More informationarxiv:math/ v1 [math.at] 21 Aug 2001
CLASSIFICATION OF STABLE MODEL CATEGORIES arxiv:math/0108143v1 [math.at] 21 Aug 2001 STEFAN SCHWEDE AND BROOKE SHIPLEY Abstract: A stable model category is a setting for homotopy theory where the suspension
More informationMODULES OVER OPERADS AND FUNCTORS. Benoit Fresse
MODULES OVER OPERADS AND FUNCTORS Benoit Fresse Benoit Fresse UMR 8524 de l Université des Sciences et Technologies de Lille et du CNRS, Cité Scientifique Bâtiment M2, F-59655 Villeneuve d Ascq Cédex (France).
More informationarxiv: v2 [math.at] 29 Nov 2007
arxiv:0708.3435v2 [math.at] 29 Nov 2007 ON THE DREADED RIGHT BOUSFIELD LOCALIZATION by Clark Barwick Abstract. I verify the existence of right Bousfield localizations of right semimodel categories, and
More informationTwo results from Morita theory of stable model categories
Two results from Morita theory of stable model categories Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen Friedrich-Wilhelms-Universität
More informationINTEGRAL CHAINS AND BOUSFIELD-KAN COMPLETION
INTEGRAL CHAINS AND BOUSFIELD-KAN COMPLETION JACOBSON R. BLOMQUIST AND JOHN E. HARPER Abstract. Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Brown representability in A 1 -homotopy theory Niko Naumann and Markus Spitzweck Preprint Nr. 18/2009 Brown representability in A 1 -homotopy theory Niko Naumann and Markus
More informationA UNIQUENESS THEOREM FOR STABLE HOMOTOPY THEORY
A UNIQUENESS THEOREM FOR STABLE HOMOTOPY THEORY STEFAN SCHWEDE AND BROOKE SHIPLEY 1. Introduction Roughly speaking, the stable homotopy category of algebraic topology is obtained from the homotopy category
More informationCategorical models of homotopy type theory
Categorical models of homotopy type theory Michael Shulman 12 April 2012 Outline 1 Homotopy type theory in model categories 2 The universal Kan fibration 3 Models in (, 1)-toposes Homotopy type theory
More informationMODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS
Homology, Homotopy and Applications, vol. 12(1), 2010, pp.61 73 MODEL STRUCTURES ON MODULES OVER DING-CHEN RINGS JAMES GILLESPIE (communicated by J. Daniel Christensen) Abstract An n-fc ring is a left
More informationModel categories in equivariant rational homotopy theory
Model categories in equivariant rational homotopy theory SPUR Final Paper, Summer 2017 Luke Sciarappa Mentor: Robert Burklund Project suggested by: Robert Burklund August 2, 2017 Abstract Model categories
More informationarxiv: v1 [math.kt] 5 Aug 2016
ALGEBAIC K-THEOY OF FINITELY GENEATED POJECTIVE MODULES ON E -INGS MAIKO OHAA 1. Introduction arxiv:1608.01770v1 [math.kt] 5 Aug 2016 In this paper, we study the K-theory on higher modules in spectral
More informationOVERVIEW OF SPECTRA. Contents
OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There
More informationHOMOTOPY THEORY FOR ALGEBRAS OVER POLYNOMIAL MONADS
Theory and Applications of Categories, Vol. 32, No. 6, 2017, pp. 148 253. HOMOTOPY THEORY FOR ALGEBRAS OVER POLYNOMIAL MONADS M. A. BATANIN AND C. BERGER Abstract. We study the existence and left properness
More informationBOUSFIELD LOCALIZATION AND ALGEBRAS OVER OPERADS
BOUSFIELD LOCALIZATION AND ALGEBRAS OVER OPERADS DAVID WHITE Thanks for the invitation and thanks to Peter May for all the helpful conversations over the years. More details can be found on my website:
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationHOMOTOPY COMPLETION AND TOPOLOGICAL QUILLEN HOMOLOGY OF STRUCTURED RING SPECTRA
HOMOTOPY COMPLETION AND TOPOLOGICAL QUILLEN HOMOLOGY OF STRUCTURED RING SPECTRA JOHN E. HARPER AND KATHRYN HESS Abstract. Working in the context of symmetric spectra, we describe and study a homotopy completion
More informationTHE EILENBERG-WATTS THEOREM IN HOMOTOPICAL ALGEBRA
THE EILENBERG-WATTS THEOREM IN HOMOTOPICAL ALGEBRA MARK HOVEY Abstract. The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial
More informationModules over Motivic Cohomology
Noname manuscript No. will be inserted by the editor) Oliver Röndigs, Paul Arne Østvær Modules over Motivic Cohomology Oblatum date & date Abstract For fields of characteristic zero, we show the homotopy
More informationLecture 007 (April 13, 2011) Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence
Lecture 007 (April 13, 2011) 16 Abelian category localization Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence 0 a a a 0 in A, a is an object
More informationarxiv: v3 [math.at] 17 Jul 2015
MODULI STACKS OF ALGEBRAIC STRUCTURES AND DEFORMATION THEORY arxiv:1411.5177v3 [math.at] 17 Jul 2015 SINAN YALIN Abstract. We connect the homotopy type of simplicial moduli spaces of algebraic structures
More informationLECTURE 6: THE BOUSFIELD-KUHN FUNCTOR
LECTURE 6: THE BOUSFIELD-KUHN FUNCTOR Let V be a finite space of type n, equipped with a v n -self map v Σ t V V. In the previous lecture, we defined the spectrum Φ v (X), where X is a pointed space. By
More informationEquivariant orthogonal spectra and S-modules. M.A. Mandell J.P. May
Equivariant orthogonal spectra and S-modules Author address: M.A. Mandell J.P. May Department of Mathematics, The University of Chicago, Chicago, IL 60637 E-mail address: mandell@math.uchicago.edu, may@math.uchicago.edu
More informationAbstracting away from cell complexes
Abstracting away from cell complexes Michael Shulman 1 Peter LeFanu Lumsdaine 2 1 University of San Diego 2 Stockholm University March 12, 2016 Replacing big messy cell complexes with smaller and simpler
More information