Completed power operations for Morava E-theory
|
|
- Holly Carr
- 5 years ago
- Views:
Transcription
1 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 January 17, 2014 Barthel, Frankland Completed power operations JMM / 27
2 Outline 1 Background and motivation 2 Power operations and completion 3 Main result 4 Applications 5 Height 1 case Barthel, Frankland Completed power operations JMM / 27
3 Operations Topology Algebra Let R be a ring spectrum and X a spectrum. R X is an R R-module. R X is an R R-comodule. Barthel, Frankland Completed power operations JMM / 27
4 Power operations Let K be complex periodic K -theory and X a space. Exterior powers of vector bundles induce operations λ k : K 0 (X) K 0 (X) making K 0 (X) into a λ-ring. Obtain Adams operations ψ k : K 0 (X) K 0 (X). Operation θ p : K 0 (X) K 0 (X) satisfying ψ p (x) = x p + pθ p (x). Every λ-ring has an underlying θ-ring. Barthel, Frankland Completed power operations JMM / 27
5 Power operations (cont d) For X a spectrum, the homology H (Ω X; F p ) supports Dyer-Lashof operations. More generally, if A is a commutative HF p -algebra, then its homotopy π A is an algebra over the Dyer-Lashof algebra. Barthel, Frankland Completed power operations JMM / 27
6 Commutative algebras Free commutative algebra monad Induces P: Mod R Mod R. P: hmod R hmod R which is the free H R-algebra monad. PM = n 0 P n M where n times { }} { P n M = ( M R... R M) hσn is the n th extended power of M. Barthel, Frankland Completed power operations JMM / 27
7 Commutative algebras (cont d) Question What algebraic structure is present on the homotopy of commutative R-algebras? π : Alg R?? = Mod R + extra structure... Barthel, Frankland Completed power operations JMM / 27
8 Morava E-theory FROM NOW ON Fix a prime p and height h 1. Take R = E = E h, Morava E-theory at chromatic height h. E = W F p h u 1,..., u h 1 [u ± ] with u i = 0 and u = 2, and W means (p-typical) Witt vectors. E is a complete Noetherian regular local (graded) ring with maximal ideal m = (p, u 1,..., u h 1 ) E Barthel, Frankland Completed power operations JMM / 27
9 Work K (h)-locally Write L K := L K (h) for Bousfield localization with respect to Morava K -theory K (h). Power operations for Morava E-theory have been studied (Ando-Hopkins-Strickland, Rezk,...) and are understood in the K (h)-local category, because of the following. Theorem (Rezk, using work of Strickland) If F k i=1 Σd i E is a finitely generated free E-module, then so is L K P n F. Barthel, Frankland Completed power operations JMM / 27
10 Algebraic approximation functors [Rezk 2009] Functors T n : Mod E Mod E defined as left Kan extension of the functor defined by T n (π F) = π L K P n F for F finitely generated free. In particular: T n (E ) = E (BΣ n+ ) where E (X) := π L K (E X) is the completed E-homology of X. Note: T n preserves filtered colimits and reflexive coequalizers. Barthel, Frankland Completed power operations JMM / 27
11 Algebraic approximation functors (cont d) T = T n : Mod E Mod E n 0 inherits a monad structure from that of P, or rather ˆP := L K P. Here, we use the equivalence L K P L K PL K : (L K P)(L K P) L K P L K µ L K PP If A is a K (h)-local commutative E-algebra, then π A is naturally a T-algebra. π L K : Alg E Alg T ˆµ Barthel, Frankland Completed power operations JMM / 27
12 L-complete modules m-adic completion ( ) m : Mod E Mod E is neither left nor right exact. Let L s : Mod E Mod E be its s th left derived functor. In particular: M η L 0 M M m and M is L-complete if η is an isomorphism. Note that E is L-complete. Let Mod E Mod E denote the full subcategory of L-complete modules, which is a reflective abelian subcategory, with reflector L 0 : Mod E Mod E. Barthel, Frankland Completed power operations JMM / 27
13 L-complete modules (cont d) Proposition An E-module M is K (h)-local if and only if its homotopy π M is an L-complete E -module. Therefore, L 0 T better approximates the homotopy of K (h)-local commutative E-algebras. Barthel, Frankland Completed power operations JMM / 27
14 Completed algebraic approximation functors Let Âlg E Alg E denote the full subcategory of K (h)-local commutative E-algebras. Alg E L K Âlg E π L 0 π Mod E ι Mod E T ˆT Barthel, Frankland Completed power operations JMM / 27
15 The problem Question Is ˆT = L 0 Tι: Mod E Mod E also a monad? If T preserves L 0 -equivalences, i.e., L 0 T L 0 TL 0, then ˆT inherits a monad structure from T. (L 0 T)(L 0 T) L 0 T L 0 µ L 0 TT ˆµ Barthel, Frankland Completed power operations JMM / 27
16 Main result Theorem (Barthel-F.) The algebraic approximation functor T: Mod E Mod E preserves L 0 -equivalences, i.e., the natural map L 0 T(M) L 0Tη L 0 TL 0 (M) is an isomorphism for all E -module M. Corollary The completed algebraic approximation functor ˆT = L 0 Tι: Mod E Mod E inherits a monad structure from that of T. Barthel, Frankland Completed power operations JMM / 27
17 Upshot The homotopy of K (h)-local commutative E-algebras takes values in ˆT-algebras: π : Âlg E Âlg T AlgˆT. Upshot: L-completeness is now built into the algebraic structure. Barthel, Frankland Completed power operations JMM / 27
18 Applications Computations with power operations at higher height [Rezk]. Compute π (ˆPM) for any E-module M. The comparison map ˆT(π M) π (ˆPM) is an isomorphism when M is flat. Compute topological André-Quillen homology TAQ(X) of a K (h)-local commutative E-algebra [Behrens-Rezk]. Barthel, Frankland Completed power operations JMM / 27
19 Height 1 case Consider height h = 1. E = Kp is p-complete K -theory. E = Z p [u ± ] with maximal ideal m = (p) E. L 0 is Ext-p-completion L 0 M = Ext 1 Z (Z/p, M) or, equivalently, analytic p-completion L 0 M = M x /(x p)m x. Barthel, Frankland Completed power operations JMM / 27
20 Algebraic approximation functor at height 1 By work of McClure and Bousfield: Theorem At height h = 1, the monad T: Mod E Mod E is the free Z/2-graded θ-ring over Z p. Barthel, Frankland Completed power operations JMM / 27
21 Main result at height 1 The main result (that T preserves L 0 -equivalences) can be proved more explicitly at height 1. Alternate proof based on formulas and the combinatorics of λ-rings. Alternate proof based on the representation theory of symmetric groups. Barthel, Frankland Completed power operations JMM / 27
22 Thank you! Barthel, Frankland Completed power operations JMM / 27
Realization 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 informationA CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY. 1. Introduction
A CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY NATHANIEL STAPLETON Abstract. We prove that the pth Hecke operator on the Morava E-cohomology of a space is congruent to the Frobenius mod p. This is a
More informationPeriodic Localization, Tate Cohomology, and Infinite Loopspaces Talk 1
Periodic Localization, Tate Cohomology, and Infinite Loopspaces Talk 1 Nicholas J. Kuhn University of Virginia University of Georgia, May, 2010 University of Georgia, May, 2010 1 / Three talks Introduction
More informationTHE GENERALIZED HOMOLOGY OF PRODUCTS
THE GENERALIZED HOMOLOGY OF PRODUCTS MARK HOVEY Abstract. We construct a spectral sequence that computes the generalized homology E ( Q X ) of a product of spectra. The E 2 -term of this spectral sequence
More informationEquivalent statements of the telescope conjecture
Equivalent statements of the telescope conjecture Martin Frankland April 7, 2011 The purpose of this expository note is to clarify the relationship between various statements of the telescope conjecture.
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 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 informationAlgebraic topology and algebraic number theory
Graduate Student Topology & Geometry Conference http://math.berkeley.edu/ ericp/latex/talks/austin-2014.pdf April 5, 2014 Formal groups In this talk, p is an odd prime and k is a finite field, char k =
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 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 informationSome topological reflections of the work of Michel André. Lausanne, May 12, Haynes Miller
Some topological reflections of the work of Michel André Lausanne, May 12, 2011 Haynes Miller 1954: Albrecht Dold and Dieter Puppe: To form derived functors of non-additive functors, one can t use chain
More informationChromatic unstable homotopy, plethories, and the Dieudonné correspondence
Chromatic unstable homotopy, plethories, and the Dieudonné correspondence Alpine Algebraic and Applied Topology Conference Tilman Bauer, KTH Stockholm August 18, 2016 Tilman Bauer, KTH Stockholm Unstable
More informationProgramming Languages in String Diagrams. [ four ] Local stores. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String iagrams [ four ] Local stores Paul-André Melliès Oregon Summer School in Programming Languages June 2011 Finitary monads A monadic account of algebraic theories Algebraic
More informationLECTURE NOTES DAVID WHITE
LECTURE NOTES DAVID WHITE 1. Motivation for Spectra 1 It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can t add
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
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 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 informationRigidity and algebraic models for rational equivariant stable homotopy theory
Rigidity and algebraic models for rational equivariant stable homotopy theory Brooke Shipley UIC March 28, 2013 Main Question Question: Given stable model categories C and D, if Ho(C) and Ho(D) are triangulated
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 informationINJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES
INJECTIVE COMODULES AND LANDWEBER EXACT HOMOLOGY THEORIES MARK HOVEY Abstract. We classify the indecomposable injective E(n) E(n)-comodules, where E(n) is the Johnson-Wilson homology theory. They are suspensions
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationNilpotence and Stable Homotopy Theory II
Nilpotence and Stable Homotopy Theory II Gabriel Angelini-Knoll 1 In the beginning there were CW complexes Homotopy groups are such a natural thing to think about as algebraic topologists because they
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 informationAN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY
AN UNSTABLE CHANGE OF RINGS FOR MORAVA E-THEORY ROBERT THOMPSON Abstract. The Bousfield-Kan (or unstable Adams) spectral sequence can be constructed for various homology theories such as Brown-Peterson
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 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 informationDerived completion for comodules
manuscripta math. The Author(s) 2019 Tobias Barthel Drew Heard Gabriel Valenzuela Derived completion for comodules Received: 8 October 2018 / Accepted: 28 November 2018 Abstract. The objective of this
More informationChromatic homotopy theory at height 1 and the image of J
Chromatic homotopy theory at height 1 and the image of J Vitaly Lorman Johns Hopkins University April 23, 2013 Key players at height 1 Formal group law: Let F m (x, y) be the p-typification of the multiplicative
More informationEXCELLENT RINGS IN TRANSCHROMATIC HOMOTOPY THEORY
EXCELLENT RINGS IN TRANSCHROMATIC HOMOTOPY THEORY TOBIAS BARTHEL AND NATHANIEL STAPLETON Abstract. The purpose of this note is to verify that several basic rings appearing in transchromatic homotopy theory
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 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 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 informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationThe 3-primary Arf-Kervaire invariant problem University of Virginia
The 3-primary Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel University of Virginia Harvard University University of Rochester Banff Workshop on Algebraic K-Theory and Equivariant Homotopy
More informationCentralizers in good groups are good
1001 999 1001 Centralizers in good groups are good TOBIAS BARTHEL NATHANIEL STAPLETON We modify the transchromatic character maps of [Sta13] to land in a faithfully flat extension of Morava E-theory. Our
More informationBackground Toward the homotopy... Construction of the... Home Page. Title Page. Page 1 of 20. Go Back. Full Screen. Close. Quit
Page 1 of 20 THE HOMOTOPY GROUPS RELATED TO L 2 T (m)/(v 1 ) Zihong Yuan joint with Xiangjun Wang and Xiugui Liu School of Mathematical Sciences Nankai University Dec.16, 2008 The Second East Asia Conference
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 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 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 informationRESEARCH STATEMENT. 1. Introduction
RESEARCH STATEMENT EVA BELMONT. Introduction One of the most fundamental problems in stable homotopy theory is calculating the stable homotopy groups of spheres, πns s = lim n π n+k S n. The simplest theorem
More informationMatlis reflexivity and change of rings
March 11, 2017 Matlis duality This is joint work with Doug Dailey. Let R be a semilocal ring with maximal ideals m 1,..., m t and J the Jacobson radical of R. Let E = E R (R/m 1 ) E R (R/m t ). Let ( )
More informationStable Homotopy Theory A gateway to modern mathematics.
Stable Homotopy Theory A gateway to modern mathematics. Sunil Chebolu Department of Mathematics University of Western Ontario http://www.math.uwo.ca/ schebolu 1 Plan of the talk 1. Introduction to stable
More informationLectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu February 16, 2009 Joseph Lipman (Purdue
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 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 informationAlgebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory
Algebraic Models for Homotopy Types III Algebraic Models in p-adic Homotopy Theory Michael A. Mandell Indiana University Young Topologists Meeting 2013 July 11, 2013 M.A.Mandell (IU) Models in p-adic Homotopy
More informationElementary (super) groups
Elementary (super) groups Julia Pevtsova University of Washington, Seattle Auslander Days 2018 Woods Hole 2 / 35 DETECTION QUESTIONS Let G be some algebraic object so that Rep G, H (G) make sense. Question
More informationCohomology: A Mirror of Homotopy
Cohomology: A Mirror of Homotopy Agnès Beaudry University of Chicago September 19, 1 Spectra Definition Top is the category of based topological spaces with based continuous functions rx, Y s denotes the
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationHomotopy-theory techniques in commutative algebra
Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
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 informationNorm coherence for descent of level structures on formal deformations
Norm coherence for descent of level structures on formal deformations YIFEI ZHU We give a formulation for descent of level structures on deformations of formal groups, and study the compatibility between
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationA global perspective on stable homotopy theory
A global perspective on stable homotopy theory February 9, 018 The goal of this lecture is to give a high-level overview of the chromatic viewpoint on stable homotopy theory, with the Ravenel conjectures
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 informationLectures on Grothendieck Duality. II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman February 16, 2009 Contents 1 Left-derived functors. Tensor and Tor. 1 2 Hom-Tensor adjunction. 3 3 Abstract
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
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 informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationLevels in triangulated categories
Levels in triangulated categories Srikanth Iyengar University of Nebraska, Lincoln Leeds, 18th August 2006 The goal My aim is to make a case that the invariants that I call levels are useful and interesting
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 informationJUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM
JUVITOP OCTOBER 22, 2016: THE HOPKINS-MILLER THEOREM XIAOLIN (DANNY) SHI Outline: (1) Introduction: Statement of Theorem (2) Obstruction: The Bousfield Kan Spectral Sequence (3) Computations Reference:
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 informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationHopf-Galois Extensions and E k -bialgebras in Spectra
Hopf-Galois Extensions and E k -bialgebras in Spectra Jonathan Beardsley Johns Hopkins University March 28, 2015 Galois Theory Galois Extensions A Galois extension is a map of rings f : A B, such that
More informationSTRATIFYING TRIANGULATED CATEGORIES
STRATIFYING TRIANGULATED CATEGORIES DAVE BENSON, SRIKANTH B. IYENGAR, AND HENNING KRAUSE Abstract. A notion of stratification is introduced for any compactly generated triangulated category T endowed with
More informationK-theory and derived equivalences (Joint work with D. Dugger) Neeman proved the above result for regular rings.
K-theory and derived equivalences (Joint work with D. Dugger) Main Theorem: If R and S are two derived equivalent rings, then K (R) = K (S). Neeman proved the above result for regular rings. Main Example
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 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 informationBOUSFIELD LOCALIZATION OF GHOST MAPS
Homology, Homotopy and Applications, vol. XX(X), 2016, pp.1 19 BOUSFIELD LOCALIZATION OF GHOST MAPS MARK HOVEY and KEIR LOCKRIDGE (communicated by...) Abstract In homotopy theory, a ghost map is a map
More informationFusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type
Fusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type Carles Broto Universitat Autònoma de Barcelona March 2012 Carles Broto (Universitat Autònoma de Barcelona)
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
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 informationThe Steenrod algebra
The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane
More informationRAVENEL S ALGEBRAIC EXTENSIONS OF THE SPHERE SPECTRUM DO NOT EXIST. Contents. 1. Introduction.
RAVENEL S ALGEBRAIC EXTENSIONS OF THE SPHERE SPECTRUM DO NOT EXIST ANDREW SALCH Abstract. In this paper we prove a topological nonrealizability theorem: certain classes of graded BP -modules are shown
More informationC(K) = H q+n (Σ n K) = H q (K)
Chromatic homotopy theory Haynes Miller Copenhagen, May, 2011 Homotopy theory deals with spaces of large but finite dimension. Chromatic homotopy theory is an organizing principle which is highly developed
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 informationDecompositions of Modules and Comodules
Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable
More informationE ring spectra and Hopf invariant one elements
University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,
More information(communicated by Andrew Baker)
Homology, Homotopy and Applications, vol.6(1), 2004, pp.201 236 OPERATIONS AND CO-OPERATIONS IN MORAVA E-THEORY MARK HOVEY (communicated by Andrew Baker) Abstract Let E = E n denote the Morava E-theory
More informationThe Finiteness Conjecture
Robert Bruner Department of Mathematics Wayne State University The Kervaire invariant and stable homotopy theory ICMS Edinburgh, Scotland 25 29 April 2011 Robert Bruner (Wayne State University) The Finiteness
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationExotic spheres and topological modular forms. Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald)
Exotic spheres and topological modular forms Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald) Fantastic survey of the subject: Milnor, Differential topology: 46 years later (Notices
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
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 informationSubgroups of p-divisible groups and centralizers in symmetric groups
Subgroups of p-divisible groups and centralizers in symmetric groups Nathaniel Stapleton November 8, 2013 Abstract We give a formula relating the transfer maps for the cohomology theories E n and C t to
More informationarxiv: v2 [math.at] 4 May 2009
Orientations and p-adic analysis arxiv:0905.0022v2 [math.at] 4 May 2009 Barry John Walker E-mail address: bjwalker@math.northwestern.edu Mathematics Department, Northwestern University, 2217 Sheridan Avenue,
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 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 informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationMorava modules and the K(n)-local Picard group
Morava modules and the K(n)-local Picard group Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy University of Melbourne Department of Mathematics and Statistics Drew
More informationTHE STRUCTURE OF THE CLASSIFYING RING OF FORMAL GROUPS WITH COMPLEX MULTIPLICATION.
THE STRUCTURE OF THE CLASSIFYING RING OF FORMAL GROUPS WITH COMPLEX MULTIPLICATION. ANDREW SALCH Abstract. If A is a commutative ring, there exists a classifying ring L A of formal groups with complex
More informationWilliam G. Dwyer Clarence W. Wilkerson
Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationRepresentation type, boxes, and Schur algebras
10.03.2015 Notation k algebraically closed field char k = p 0 A finite dimensional k-algebra mod A category of finite dimensional (left) A-modules M mod A [M], the isomorphism class of M ind A = {[M] M
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationOn the chromatic Ext 0 (Mn 1 1 ) on Γ(m + 1) for an odd prime
On the chromatic Ext 0 Mn 1 1 on Γm + 1 for an odd prime Rié Kitahama and Katsumi Shimomura Received Xxx 00, 0000 Abstract. Let Mn 1 1 denote the coernel of the localization map BP /I v 1 n 1 BP /I, here
More information