Loday construction in functor categories
|
|
- Patience Harper
- 5 years ago
- Views:
Transcription
1 Wayne State University AMS Bloomington April, 1st 2017
2 Motivation Goal: Describe a computational tool (using some categorical machinery) for computing higher order THH, which is an approximation to iterated algebraic K-theory.
3 Motivation Goal: Describe a computational tool (using some categorical machinery) for computing higher order THH, which is an approximation to iterated algebraic K-theory. Algebraic K-theory K(R) iterated algebraic K-theory K (n) (R) ) vector bundles n-vector bundles K(2-vector bundles /k) K(K(k)) (Baas-Dundas-Richter-Rognes, Osorno) E 1 -ring spectra E n -ring spectra Deligne conjecture for K-theory (Blumberg-Gepner-Tabuada, Barwick) Quillen-Lichtenbaum Ausoni-Rognes red-shift conjecture K (n) : ht. m spectra ht. m + n spectra
4 Approximating iterated algebraic K-theory For a commutative ring spectrum R, we can approximate iterated K-theory using the iterated trace map K(K(... K(R)... )) THH(THH(... THH(R)... )) where THH(R) = S 1 R.
5 Approximating iterated algebraic K-theory For a commutative ring spectrum R, we can approximate iterated K-theory using the iterated trace map K(K(... K(R)... )) THH(THH(... THH(R)... )) where THH(R) = S 1 R. Now we observe that S 1 (S 1... (S 1 R)) = T n R since CommS has all colimits weighted in ssets (McClure-Staffeldt). We d therefore like to have tools for computing T n R and related invariants.
6 The Loday construction Let X be a simplicial (finite) set and I commutative monoid in a symmetric monoidal model category C.
7 The Loday construction Let X be a simplicial (finite) set and I commutative monoid in a symmetric monoidal model category C. Definition Define X I to be the simplicial object in C with n-simplices (X I ) n = x X n I {x} and with face maps defined by d i : x X n I {x} y X n 1 I {y} x X n I {x} y X n 1 x d 1 i (y) I {x} y X n 1 I {y} and similarly for degeneracy maps.
8 Functor categories: symmetric monoidal product Let (D, ) and (C, ) be symmetric monoidal categories enriched in C.
9 Functor categories: symmetric monoidal product Let (D, ) and (C, ) be symmetric monoidal categories enriched in C. Let I, J Fun(D, C), then the Day convolution is defined on objects using the coend (I Day J)(c) = (a,b) D D D(a b, c) I (a) I (b) and on morphisms by induced maps of coends.
10 Functor categories: symmetric monoidal product Let (D, ) and (C, ) be symmetric monoidal categories enriched in C. Let I, J Fun(D, C), then the Day convolution is defined on objects using the coend (I Day J)(c) = (a,b) D D D(a b, c) I (a) I (b) and on morphisms by induced maps of coends. Theorem (Day) The category (Fun(D, C), Day ) is a closed symmetric monoidal category and the category of commutative monoids in Fun(D, C) is equivalent to the subcategory category of lax symmetric monoidal functors Fun LS (D, C).
11 Functor categories: model structure Let C be a combinatorial cofibrantly generated symmetric monoidal model category satisfying the SS monoid axiom and let D have virtually cofibrant function spaces. Theorem (Isaacson) The category Fun(D, C) with the projective model structure and Day convolution is a symmetric monoidal model category that satisfies the SS monoid axiom. Following White, we say M satisfies the strong commutative monoid axiom (SCMA) if for any (acyclic) cofibration h the map h n /Σ n is also an (acyclic) cofibration.
12 Functor categories: model structure Lemma (A-K) In addition, let C satisfy the SCMA, and let D be a POSet enriched in C (D(a, b) = 1 C or 0). Then the functor category Fun(D, C) with the projective model structure satisfies the strong commutative monoid axiom. White proved that if a model category M satisfies (SCMA) then CommM has the model structure inherited from M and cofibrations in CommM with cofibrant source forget to cofibrations in M. In particular, cofibrant objects in Fun LS (D, C) forget to cofibrant objects in Fun(D, C).
13 Filtered commutative ring spectra Definition A filtered commutative ring spectrum is a cofibrant object in Fun LS (N op, S) with the model structure inherited from the projective model structure on Fun(N op, S)
14 Filtered commutative ring spectra Definition A filtered commutative ring spectrum is a cofibrant object in Fun LS (N op, S) with the model structure inherited from the projective model structure on Fun(N op, S) This is the same data as a sequence of cofibrations... I (2) I (1) I (0) between cofibrant objects with structure maps ρ i,j : I (i) I (j) I (i + j) satisfying commutativity, associativity, unitality, and compatibility.
15 Filtered commutative ring spectra Definition A filtered commutative ring spectrum is a cofibrant object in Fun LS (N op, S) with the model structure inherited from the projective model structure on Fun(N op, S) This is the same data as a sequence of cofibrations... I (2) I (1) I (0) between cofibrant objects with structure maps ρ i,j : I (i) I (j) I (i + j) satisfying commutativity, associativity, unitality, and compatibility. Now, for a simplicial (finite) set X we can form X I where I Fun LS (N op, S) where S is the category of symmetric spectra of simplicial sets (with the positive flat stable model structure).
16 May filtration of the generalized bar construction Let I Fun LS (N op, S), then the May filtration of X I (0) is the Loday construction in Fun LS (N op, S);
17 May filtration of the generalized bar construction Let I Fun LS (N op, S), then the May filtration of X I (0) is the Loday construction in Fun LS (N op, S); i.e X I. It is the filtered simplicial spectrum ( I )(0) Day x X 0 ( Day x X 1 I )(0) ( Day x X 2 I )(0)... ( I )(1) Day x X 0 ( I )(1) Day x X 1 ( Day x X 2 I )(1)... ( I )(2) Day x X 0 ( I )(2) Day x X 1 ( Day x X 2 I )(2)......
18 Example: The object (I Day I )(n) is the colimit of the n-th truncation of the diagram I (2) I (2) I (1) I (2) I (0) I (2)... I (2) I (1) I (1) I (1) I (0) I (1)... I (2) I (0) I (1) I (0) I (0) I (0).
19 THH-May spectral sequence Theorem (A-K, Salch) If I is a cofibrant object in Fun LS (N op, S) then X I is again a cofibrant object in Fun LS (N op, S).
20 THH-May spectral sequence Theorem (A-K, Salch) If I is a cofibrant object in Fun LS (N op, S) then X I is again a cofibrant object in Fun LS (N op, S). Given a cofibrant object I in Fun LS (N op, S) we can form a commutative ring spectrum E 0 I, which is additively E 0 I = I (i)/i (i + 1). i 0
21 THH-May spectral sequence Theorem (A-K, Salch) If I is a cofibrant object in Fun LS (N op, S) then X I is again a cofibrant object in Fun LS (N op, S). Given a cofibrant object I in Fun LS (N op, S) we can form a commutative ring spectrum E 0 I, which is additively E 0 I = I (i)/i (i + 1). i 0 Theorem (A-K, Salch) There is a spectral sequence G, (X E 0 I ) G (X I (0)) for any generalized homology theory G.
22 THH-May spectral sequence The main step in constructing this spectral sequence is the proof that the construction of the associated graded E 0 commutes with the functor X. Theorem (A-K, Salch) There is an equivalence in Comm S E 0 (X I ) X E 0 I.
23 THH-May spectral sequence The main step in constructing this spectral sequence is the proof that the construction of the associated graded E 0 commutes with the functor X. Theorem (A-K, Salch) There is an equivalence in Comm S E 0 (X I ) X E 0 I. (The object on the left is the associated graded object in Comm S of the filtered commutative ring spectrum X I. A priori, this is the E 1 -page of the THH-May spectral sequence.)
24 Computation Let j = K(F q ) p where p 5 and q is a prime power that topologically generates Z p.
25 Computation Let j = K(F q ) p where p 5 and q is a prime power that topologically generates Z p. Theorem (A-K) There is an isomorphism of graded rings V (1) THH(j) = P(µ 2 ) Γ(σb) F p {1, α 1, λ 1, λ 2 α 1, λ 2 λ 1α 1 λ 1λ 2 }.
26 Computation Let j = K(F q ) p where p 5 and q is a prime power that topologically generates Z p. Theorem (A-K) There is an isomorphism of graded rings V (1) THH(j) = P(µ 2 ) Γ(σb) F p {1, α 1, λ 1, λ 2 α 1, λ 2 λ 1α 1 λ 1λ 2 }. Proof sketch. Construct the Whitehead tower j of j as an object in Fun LS (N op, S), then compute V (1), THH(E 0 j ) V (1) THH(j).
27 Thank You Wayne State University
Towards THH of the algebraic K-theory spectrum of a
Towards THH of the algebraic K-theory spectrum of a finite field Gabe Angelini-Knoll Wayne State University Graduate Student Topology and Geometry Conference March 29, 2015 Gabe Angelini-Knoll (WSU) Towards
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 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 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 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 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 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 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 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 informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
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 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 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 informationIterated Bar Complexes of E-infinity Algebras and Homology Theories
Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,
More informationWALDHAUSEN ADDITIVITY: CLASSICAL AND QUASICATEGORICAL
WALDHAUSEN ADDITIVITY: CLASSICAL AND QUASICATEGORICAL THOMAS M. FIORE AND MALTE PIEPER Abstract. We use a simplicial product version of Quillen s Theorem A to prove classical Waldhausen Additivity of ws,
More informationBernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller
graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical
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 informationAndré Quillen spectral sequence for THH
Topology and its Applications 29 (2003) 273 280 www.elsevier.com/locate/topol André Quillen spectral sequence for THH Vahagn Minasian University of Illinois at Urbana-Champaign, 409 W. Green St, Urbana,
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationTopic Proposal Algebraic K-Theory and the Additivity Theorem
Topic Proposal Algebraic K-Theory and the Additivity Theorem Mona Merling Discussed with Prof. Peter May and Angelica Osorno Winter 2010 1 Introduction Algebraic K-theory is the meeting ground for various
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
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 informationMULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS
MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS THOMAS G. GOODWILLIE AND JOHN R. KLEIN Abstract. Still at it. Contents 1. Introduction 1 2. Some Language 6 3. Getting the ambient space to be connected
More informationAlgebraic 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 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 informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationALGEBRAIC K-THEORY: DEFINITIONS & PROPERTIES (TALK NOTES)
ALGEBRAIC K-THEORY: DEFINITIONS & PROPERTIES (TALK NOTES) JUN HOU FUNG 1. Brief history of the lower K-groups Reference: Grayson, Quillen s Work in Algebraic K-Theory 1.1. The Grothendieck group. Grothendieck
More informationTruncated Brown-Peterson spectra
Truncated Brown-Peterson spectra T. Lawson 1 N. Naumann 2 1 University of Minnesota 2 Universität Regensburg Special session on homotopy theory 2012 T. Lawson, N. Naumann (UMN and UR) Truncated Brown-Peterson
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 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 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 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 informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationArbeitsgemeinschaft mit aktuellem Thema: Topological Cyclic Homology Mathematisches Forschungsinstitut Oberwolfach
Arbeitsgemeinschaft mit aktuellem Thema: Topological Cyclic Homology Mathematisches Forschungsinstitut Oberwolfach 1. 7. April 2018 Organizers: Lars Hesselholt Peter Scholze Department of Mathematical
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 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 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 informationCompleted power operations for Morava E-theory
Completed power operations for Morava E-theory Tobias Barthel 1 Martin Frankland* 2 1 Harvard University 2 University of Western Ontario AMS Session on Homotopy Theory Joint Mathematics Meetings, Baltimore
More informationA Hodge decomposition spectral sequence for E n-homology
A Hodge decomposition spectral sequence for E n -homology Royal Institute of Technology, Stockholm Women in Homotopy Theory and Algebraic Geometry, Berlin, 14.09.2016 1 2 3 A Hodge spectral sequence for
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 informationTHE STRONG KÜNNETH THEOREM FOR TOPOLOGICAL PERIODIC CYCLIC HOMOLOGY
THE STRONG KÜNNETH THEOREM FOR TOPOLOGICAL PERIODIC CYCLIC HOMOLOGY ANDREW J. BLUMBERG AND MICHAEL A. MANDELL Abstract. Topological periodic cyclic homology (i.e., T-Tate of T HH) has the structure of
More informationTopological Logarithmic Structures
Department of Mathematics University of Oslo 25th Nordic and 1st British Nordic Congress of Mathematicians Oslo, June 2009 Outline 1 2 3 Outline Pre-log rings Pre-log S-algebras Repleteness 1 2 3 Pre-log
More informationOn exact -categories and the Theorem of the Heart
Abstract The new homotopy theory of exact -categories is introduced and employed to prove a Theorem of the Heart for algebraic K-theory (in the sense of Waldhausen). This implies a new compatibility between
More informationFor the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence
For the Ausoni-Rognes conjecture at n = 1, p > 3: a strongly convergent descent spectral sequence Daniel G. Davis University of Louisiana at Lafayette June 2nd, 2015 n 1 p, a prime E n is the Lubin-Tate
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 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 informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
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 informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
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 informationDiagram spaces, diagram spectra and spectra of units
msp Algebraic & Geometric Topology 13 (2013) 1857 1935 Diagram spaces, diagram spectra and spectra of units JOHN ALIND This article compares the infinite loop spaces associated to symmetric spectra, orthogonal
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationThe Kervaire Invariant One Problem, Lecture 9, Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Lecture 9, Independent University of Moscow, Fall semester 2016 November 8, 2016 1 C-brations. Notation. We will denote by S the (, 1)-category of spaces and by Cat
More informationREGULARITY OF STRUCTURED RING SPECTRA AND LOCALIZATION IN K-THEORY
REGULARITY OF STRUCTURED RING SPECTRA AND LOCALIZATION IN K-THEORY CLARK BARWICK AND TYLER LAWSON Abstract. We introduce a new notion of regularity for structured ring spectra, and we prove, in the presence
More informationToward a Kozmic Galois group
Toward a Kozmic Galois group [A talk on joint work with A. Blumberg & K. Hess, at the Midwest Topology Seminar, Northwestern University, 24 April 2010] I Classical motives & cosmic Galois groups II BGT
More informationarxiv: v2 [math.kt] 21 Apr 2018
THE HOMOTOPY FIXED POINTS OF THE CIRCLE ACTION ON HOCHSCHILD HOMOLOGY MARC HOYOIS arxiv:150607123v2 [mathkt] 21 Apr 2018 Abstract We show that Connes -operator on a cyclic differential graded k-module
More informationMultiplicative Structures on Algebraic K-Theory
Multiplicative Structures on Algebraic K-Theory The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Barwick,
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 informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
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 informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More information(CO)HOMOLOGY OF SPECTRAL CATEGORIES. Contents 1. Introduction 1 2. Preliminary Remarks 3 3. The Model Structure on Cat Sp
(C)HMLGY F SPECTRAL CATEGRIES JNATHAN CAMPBELL Contents 1. Introduction 1 2. Preliminary Remarks 3 3. The Model Structure on Cat Sp 5 3.1. Spectrally Enriched Categories 7 3.2. ther Categories of Concern
More informationFUNCTOR CALCULUS FOR UNDER CATEGORIES AND THE DE RHAM COMPLEX
FUNCTOR CALCULUS FOR UNDER CATEGORIES AND THE DE RHAM COMPLEX K. BAUER, R. ELDRED, B. JOHNSON, AND R. MCCARTHY Abstract. Goodwillie s calculus of homotopy functors associates a tower of polynomial approximations,
More informationOn some local cohomology ltrations
On some local cohomology ltrations Alberto F. Boix Universitat Pompeu Fabra Combinatorial Structures in Geometry, Osnabrück 2016 Motivation Graded pieces of local cohomology Betti numbers of arrangements
More informationUniversal algebraic extensions
Universal algebraic extensions Aaron Mazel-Gee Abstract This note records an in-progress attempt to provide a rigorous answer to the question: What does it mean to say that θ-algebras capture all the structure
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 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 information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
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 informationSymmetric monoidal structure on Non-commutative motives
Symmetric monoidal structure on Non-commutative motives Denis-Charles Cisinski, Gonçalo Tabuada To cite this version: Denis-Charles Cisinski, Gonçalo Tabuada. Symmetric monoidal structure on Non-commutative
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 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 informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationEquivariant Trees and G-Dendroidal Sets
Equivariant Trees and -Dendroidal Sets 31st Summer Conference in Topology and Applications: Algebraic Topology Special Session Leicester, UK August 5, 2016 Joint with Luis Pereira Motivating Questions
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 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 information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationManifolds, Higher Categories and Topological Field Theories
Manifolds, Higher Categories and Topological Field Theories Nick Rozenblyum (w/ David Ayala) Northwestern University January 7, 2012 Nick Rozenblyum (w/ David Ayala) Manifolds, Higher Categories and Topological
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 informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
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 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 informationAccessible model structures
É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
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 informationTHE HOMOTOPY CALCULUS OF CATEGORIES AND GRAPHS
THE HOMOTOPY CALCULUS OF CATEGORIES AND GRAPHS by DEBORAH A. VICINSKY A DISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment
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 informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationarxiv: v2 [math.at] 20 May 2016
arxiv:1412.8459v2 [math.at] 20 May 2016 The Higher Morita Category of E n -Algebras RUNE HAUGSENG We introduce simple models for associative algebras and bimodules in the context of non-symmetric -operads,
More informationA MAY-TYPE SPECTRAL SEQUENCE FOR HIGHER TOPOLOGICAL HOCHSCHILD HOMOLOGY. Contents. 1. Introduction.
A MAY-TYPE SPECTRAL SEQUENCE FOR HIGHER TOPOLOGICAL HOCHSCHILD HOMOLOGY G. ANGELINI-KNOLL AND A. SALCH Abstract. Given a filtration of a commutative monoid A in a symmetric monoidal stable model category
More informationFACTORIZATION HOMOLOGY AND CALCULUS À LA KONTSEVICH SOIBELMAN GEOFFROY HOREL
FACTORIZATION HOMOLOGY AND CALCULUS À LA KONTSEVICH SOIBELMAN GEOFFROY HOREL Abstract. We use factorization homology over manifolds with boundaries in order to construct operations on Hochschild cohomology
More informationOn a Spectral Sequence for the Cohomology of Infinite Loop Spaces
On a Spectral Sequence for the Cohomology of Infinite Loop Spaces RUNE HAUGSENG HAYNES MILLER We study the mod-2 cohomology spectral sequence arising from delooping the Bousfield-Kan cosimplicial space
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 information1. Introduction. Let C be a Waldhausen category (the precise definition
K-THEORY OF WLDHUSEN CTEGORY S SYMMETRIC SPECTRUM MITY BOYRCHENKO bstract. If C is a Waldhausen category (i.e., a category with cofibrations and weak equivalences ), it is known that one can define its
More informationA spectral sequence for the homology of a finite algebraic delooping
A spectral sequence for the homology of a finite algebraic delooping Birgit Richter joint work in progress with Stephanie Ziegenhagen Lille, October 2012 Aim: 1) Approximate Quillen homology for E n -algebras
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationÉtale Homotopy Theory. and Simplicial Schemes. David A. Cox Amherst College
Étale Homotopy Theory and Simplicial Schemes David A. Cox Amherst College 1 Cohomology and K-Theory Singular Topological Cohomology and K-Theory Étale Étale Cohomology and K-Theory Motivic Algebraic Cohomology
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 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 information