Detectors in homotopy theory
|
|
- Russell Floyd
- 5 years ago
- Views:
Transcription
1 Detectors in homotopy theory Mark Behrens University of Notre Dame
2 An analogy: Particle physics: Homotopy theory: All matter is built from elementary particles Topological spaces (up to homotopy) are built by attaching together disks (of varying dimensions) Goal: Discover all fundamental particles Tool: Massive accelerators and detectors [LHC] Goal: Compute all attaching maps (homotopy groups of spheres) Tool: Massive spectral sequences [Adams spectral sequence]
3 Matter: built out of elementary particles
4 CW complex: Built out of disks - D n n-cells
5 CW complexes Theorem: Every topological space is (weakly) homotopy equivalent to a CW complex. CW complexes have the form X = ڂ n X n X 0 = set of points X 1 = X 0 {set of intervals} X 2 = X 1 {set of disks} X i+1 = X i {set of D i+1 }
6 CW complexes Theorem: Every topological space is (weakly) homotopy equivalent to a CW complex. CW complexes have the form X = ڂ n X n X 0 = set of points X 1 = X 0 {set of intervals} X 2 = X 1 {set of disks} X i+1 = X i {set of D i+1 }
7 CW complexes Inductively, the CW complex X is determined up to homotopy by the homotopy classes of the attaching maps α π i (X i ) CW-complexes/homotopy = matter of geometry Building blocks elements of homotopy groups
8 Elementary particles: complicated [Wikipedia commons]
9 Homotopy groups of spheres: also complicated Computation: Serre, Toda, Chart: Hatcher
10 Down to business For the rest of this talk, all CW complexes are finite, connected, with fixed basepoint. We will discuss the simpler problem of classifying such CW complexes up to stable equivalence [still hard!]: X st Y Σ N X Σ N Y N 0 [define Σ] Stable homotopy category of these: Morphisms: X, Y st = Σ N X, Σ N Y N 0 (these stabilize) Stable equivalence of CW complex depends on stable attaching maps α π n st X S n, X st stable homotopy groups of X
11 Stable homotopy groups of spheres: π n st S n st π n+1 S n st π n+2 S n st π n+3 S n st π n+4 (S n )
12 Voltage bias Basic particle detectors: Takeaway: Use simple particle (electron) to detect more exotic particles [AMS-02 experiment]
13 Goal: build a detector of (stable) homotopy groups Homology a simple computable approximation of homotopy groups Hurewicz homomorphism: π st X H (X) [typically not an iso!] Homology classes will be the electrons in our detector which detect elements of π st (X)
14 Cellular homology Form a chain complex basis given by cells differential given by degrees of attaching maps:
15 Cellular homology Form a chain complex basis given by cells differential given by degrees of attaching maps:
16 Cellular homology Form a chain complex basis given by cells differential given by degrees of attaching maps: [ Graph notation]
17
18
19 Cellular homology Form a chain complex basis given by cells differential given by degrees of attaching maps:
20 Cellular homology
21 Cellular homology
22 Cellular homology
23 Cellular homology: different coefficients Homology with coefficients in a ring R each dot represents a copy of R instead of a copy of Z. [In this example, R = F 2 ] BAD detector?? Does not detect degree 2 attaching maps!
24 Cohomology: reverse arrows
25 Cohomology: cup product structure Cohomology is a ring! In this example, H RP 4 ; F 2 = F 2 x /(x 5 ) Better detector: degree 2 attaching map detected by x 2 0 [If 2-cell attached to 1-cell with deg 0 map, would get x 2 = 0]
26 Cell diagrams: a way of encoding attaching maps
27 Cell diagrams: a way of encoding attaching maps Let j be minimal so that α factors through X j
28 Cell diagrams: a way of encoding attaching maps Suppose X has j-cells D 1 j, D 2 j, For each such cell D k j there is a projection map
29 Cell diagrams: a way of encoding attaching maps We say: the i-cell attaches to the j-cell D k j with attaching map α k
30 Cell diagrams: a way of encoding attaching maps We say: the i-cell attaches to the j-cell D k j with attaching map α k Note: - A given cell can attach nontrivially to many other cells - In this way, the stable equivalence class of X is essentially determined by the collection of all its attaching maps α k π st i 1 (S j ) - This is why I asserted that the stable homotopy groups of spheres are the elementary particles which comprise CW complexes
31 Cell diagrams: a way of encoding attaching maps Cell diagram: Refinement of Cellular chain complex 1) Draw one dot for each cell 2) Draw arrows labelled by attaching maps [examples: CP 2, RP 4 ]
32 Steenrod operations: more structure on mod 2 cohomology Theorem: (Steenrod) There are natural homomorphisms (i 0) Sq i : H n X; F 2 H n+i (X; F 2 ) x, Sq i?, x = x 2, 0 i = 0 1 i n 1 i = n i > n Steenrod operations sometimes detect attaching maps! [examples: CP 2, RP 4 ] Sq i Sq j = σ k j k 1 i 2k Sqi+j k Sq k [Adem relations] Steenrod algebra = algebra of these operators A = F 2 Sq i i > 0 / Adem relations Similar operations on H (X; F p )
33 For the rest of this talk, all cohomology reduced, with F 2 -coefficients! H X H (X; F 2 )
34
35
36
37 Homology event channels Given: f: Y X (0) Direct detection Suppose the induced map is nonzero. f : H X H Y Define: signal f f Hom A H X, H Y = Ext A 0 (H X, H Y)
38 Homology event channels Given: f: Y X (1) Indirect detection single decay (zero on cohomology) Form a new CW complex - mapping cone C f X f CY [picture] The long exact sequence H X 0 H Y H +1 C f H +1 X 0 H +1 Y is actually a short exact sequence: 0 H Y H +1 C f H +1 X 0 If this extension of A-modules is nontrivial, get signal : 0 f Ext A 1 (H +1 X, H Y)
39 Homology event channels Given: f: Y X (s) Indirect detection s-decays Factor f into (zero on cohomology) Y = X 0 f1 X 1 f2 fs X s = X such that each f i is zero on cohomology - event Get an exact sequence 0 H Y H +1 C f1 H +2 C f2 H +s C fs H +s X 0 Get a signal f Ext A s (H +s X, H Y)
40 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Ext 0 cells not hit by Steenrod operations H RP 16 n [Chart: Ext computing software Bruner/Perry]
41 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: ι 1 : S 1 RP 16 Signal: F 2 n H RP 16
42 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: ι 3 : S 3 RP 16 Signal: F 2 n H RP 16
43 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: ι 7 : S 7 RP 16 Signal: F 2 n H RP 16
44 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: ι 1 η: S 2 RP 16 Signal: 0 F 2 H C ι1 η n H RP 16 0
45 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: S 3 η S 2 ι 1 η RP16 Signal: 0 F 2 H C η H C ι1 η n H RP 16 0
46 Examples of homology events, signals s f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Event: S 7 2 S 7 2 S 7 2ι 7 RP 16 Signal: 0 F 2 H C 2 H C 2 H C 2η n H RP 16 0
47 Two problems noise : f: Y X could be null homotopic, and yet produce a nonzero signal 0 f Ext A s H +s X, H Y physically impossible signals : For some signals x [f] for any f x Ext A s H +s X, H Y
48 s Adams differentials - Noise cancellation Turns out you can use physically impossible signals to cancel noise! f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Physically impossible event: there is no topological map S 15 ι 15 RP 16 Issue: 15-cell attaches to 7-cell with attaching map 2ι 7 σ: S 14 S 7 invisible to Steenrod operations! Signal: F 2 n H RP 16
49 s Adams differentials - Noise cancellation Turns out you can use physically impossible signals to cancel noise! f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) Noise: the event below gives a non-zero signal S 14 2 S 14 ι 7 σ RP16 Issue: the element 2σι 7 π st 14 (R 16 ) is null homotopicsince the 15-cell attaches to 7-cell with attaching map 0 2σ: S 14 S 7 F 2 2σι 7 extends over a disk! H C 2 Signal: H C ι7 σ n H RP 16 0
50 Adams differentials - Noise cancellation Turns out you can use physically impossible signals to cancel noise! f: S n RP 16 s The invisible attaching map 2σ: S 14 S 7 f Ext A s (H +s+n RP 16, F 2 ) simultaneously creates a physically impossible signal a noise signal. Noise cancellation cancel the noise with the correlated physically impossible signal. Adams differential Signal: n
51
52 Adams differentials noise cancellation Turns out, there are differentials (Adams spectral sequence) d r : Ext A s H +s+n X, F 2 Ext A s+r H +s+r+n 1 X, F 2 d r impossible signal = noise Theorem (Adams) H Ext A H X, F 2, d r π st X 2 [2-completion = 2-torsion ] [Isomorphism of sets] (version for H ; F p p-completion)
53 s Adams differentials - Noise cancellation Turns out you can use physically impossible signals to cancel noise! f: S n RP 16 f Ext A s (H +s+n RP 16, F 2 ) n π st RP 16 Z : Z 2 Z 2 Z 8 Z 2 0 Z Z 2 Z Z 2 Z 8 Z Z 2 Z 2 Z Z 2 2 Z 2 Z 2 Z 8 Z Z 2 Z 2 Z 8 Z 2
54 s Adams differentials - Noise cancellation Only one little problem: you have no a priori knowledge what the differentials are! Only technique for deducing them: guile n π st RP 16 Z : Z 2 Z 2 Z 8 Z 2 0 Z Z 2 Z Z 2 Z 8 Z Z 2 Z 2 Z Z 2 2 Z 2 Z 2 Z 8 Z Z 2 Z 2 Z 8 Z 2
55 πst n+k (S k )
56
57 Elementary particles of homotopy theory: [Wikipedia commons]
58
59
60 Higher energies
61
62
63 Higher energies require fancier detectors SLAC
64 Tevatron
65 LHC
66 ASS: mod 2 cohomology
67 Real K-theory ko [Lellmann-Mahowald] [Beaudry-B-Bhattacharya-Culver-Xu] Ext Abo (ko S k, ko S k+n )
68 Topological modular forms (tmf) [Mahowald] started thinking about the tmf-ass [B-Ormsby-Stojanoska-Stapleton] - A tmf [Beaudry-B-Bhattacharya-Culver-Xu] computing Ext Atmf [work in progress]
Exotic 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 informationOn Eilenberg-MacLanes Spaces (Term paper for Math 272a)
On Eilenberg-MacLanes Spaces (Term paper for Math 272a) Xi Yin Physics Department Harvard University Abstract This paper discusses basic properties of Eilenberg-MacLane spaces K(G, n), their cohomology
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 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 informationHOMOTOPY THEORY ADAM KAYE
HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the
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 informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
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 informationA(2) Modules and their Cohomology
A(2) Modules and their Cohomology Robert Bruner Department of Mathematics Wayne State University and University of Oslo Topology Symposium University of Bergen June 1, 2017 Robert Bruner (WSU and UiO)
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationarxiv: v1 [math.at] 19 Nov 2018
THE HOMOTOPY OF C-MOTIVIC MODULAR FORMS arxiv:.7937v [math.at] 9 Nov DANIEL C. ISAKSEN Department of Mathematics Wayne State University Detroit, MI Abstract. A C-motivic modular forms spectrum mmf has
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationThe spectra ko and ku are not Thom spectra: an approach using THH
The spectra ko and ku are not Thom spectra: an approach using THH Vigleik Angeltveit, Michael Hill, Tyler Lawson October 1, Abstract We apply an announced result of Blumberg-Cohen-Schlichtkrull to reprove
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
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 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 informationMath 272b Notes; Spring 2005 Michael Hopkins
Math 272b Notes; Spring 2005 Michael Hopkins David Glasser February 9, 2005 1 Wed, 2/2/2005 11 Administrivia mjh@mathharvardedu Computing homotopy groups lets you classify all spaces Homotopy theory on
More informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
More informationALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE
ALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE JOHN ROGNES Contents 1 The long exact sequence of a pair 2 11 E r -terms and d r -differentials 4 12 Adams indexing
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
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 informationMidwest Topology Seminar Spring 2017 University of Chicago
Midwest Topology Seminar Spring 2017 University of Chicago Saturday, May 13 9:30am 10:00am 11:30am 12:30pm 2:30pm Coffee Comparing equivariant infinite loop space machines Angélica Osorno (Reed College)
More informationStable homotopy and the Adams Spectral Sequence
F A C U L T Y O F S C I E N C E U N I V E R S I T Y O F C O P E N H A G E N Master Project in Mathematics Paolo Masulli Stable homotopy and the Adams Spectral Sequence Advisor: Jesper Grodal Handed-in:
More informationπ (ko) and some of π (tmf) at the prime 2
π (ko) and some of π (tmf) at the prime 2 Catherine Ray Acknowledgements I would like to thank Zhouli Xu for suggesting and helping me through the calculation of π (tmf) up to stem 13; it is his patience
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 informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationRECURRENCE RELATIONS IN THOM SPECTRA. The squaring operations themselves appear as coefficients in the resulting polynomial:
RECURRENCE RELATIONS IN THOM SPECTRA ERIC PETERSON (Throughout, H will default to mod- cohomology.). A HIGHLY INTERESTING SPACE We begin with a love letter to P. Its first appearance in the theory of algebraic
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 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 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 informationTOPOLOGICAL MODULAR FORMS - I. KU Ell(C/R) E n
TOPOLOGICAL MODULAR FORMS - I JOHN ROGNES 1. Complex cobordism and Elliptic cohomology MU KU Ell(C/R) E n 1.1. Formal group laws. Let G be 1-dimensional Lie group, and let x: U R be a coordinate chart
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationTHE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS. S lawomir Nowak University of Warsaw, Poland
GLASNIK MATEMATIČKI Vol. 42(62)(2007), 189 194 THE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS S lawomir Nowak University of Warsaw, Poland Dedicated to Professor Sibe Mardešić on the
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
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 informationLecture 19: Equivariant cohomology I
Lecture 19: Equivariant cohomology I Jonathan Evans 29th November 2011 Jonathan Evans () Lecture 19: Equivariant cohomology I 29th November 2011 1 / 13 Last lecture we introduced something called G-equivariant
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 informationAn introduction to spectra
An introduction to spectra Aaron Mazel-Gee In this talk I ll introduce spectra and show how to reframe a good deal of classical algebraic topology in their language (homology and cohomology, long exact
More informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationThe chromatic tower. Aaron Mazel-Gee
The chromatic tower Aaron Mazel-Gee Abstract Much of chromatic homotopy theory organizes around the chromatic tower, a tower of certain Bousfield localizations of a given spectrum; the chromatic convergence
More informationFINITE RESOLUTIONS DIGEST NORTHWESTERN TAF SEMINAR FEBRUARY 21, Introduction
FINITE RESOLUTIONS DIGEST NORTHWESTERN TAF SEMINAR FEBRUARY, 04 Remark 0.. My main reference is A Resolution of the Kpq-Local Sphere at the Pme 3 by Goerss, Henn, Mahowald and Rezk, and Finite Resolutions
More informationHOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY
HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationTHE FUNDAMENTAL GROUP AND CW COMPLEXES
THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental
More informationON BP 2 -COOPERATIONS
ON BP -COOPERATIONS D. CULVER Contents. Introduction Conventions Acknowledgements. The Adams spectral sequence for BP BP.. The (co)module structure of (A E()) 4.. An E()-module splitting of (A E()) 6..
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationOn the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih
On the Splitting of MO(2) over the Steenrod Algebra Maurice Shih under the direction of John Ullman Massachusetts Institute of Technology Research Science Institute On the Splitting of MO(2) over the Steenrod
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More informationMath 757 Homology theory
Math 757 Homology theory March 3, 2011 (for spaces). Given spaces X and Y we wish to show that we have a natural exact sequence 0 i H i (X ) H n i (Y ) H n (X Y ) i Tor(H i (X ), H n i 1 (Y )) 0 By Eilenberg-Zilber
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationSETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE
SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE JEAN-FRANÇOIS LAFONT AND CHRISTOFOROS NEOFYTIDIS ABSTRACT. We compute the sets of degrees of maps between SU(2)-bundles over S 5, i.e. between
More informationQualifying Exam Syllabus and Transcript
Qualifying Exam Syllabus and Transcript Qiaochu Yuan December 6, 2013 Committee: Martin Olsson (chair), David Nadler, Mariusz Wodzicki, Ori Ganor (outside member) Major Topic: Lie Algebras (Algebra) Basic
More information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
More informationLecture 11: Hirzebruch s signature theorem
Lecture 11: Hirzebruch s signature theorem In this lecture we define the signature of a closed oriented n-manifold for n divisible by four. It is a bordism invariant Sign: Ω SO n Z. (Recall that we defined
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv: v1 [math.at] 25 Feb 2010
NON-FACTORISATION OF ARF-KERVAIRE CLASSES THROUGH RP RP arxiv:1002.4845v1 [math.at] 25 Feb 2010 VICTOR P. SNAITH Abstract. As an application of the upper triangular technology method of [8] it is shown
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 information2 ANDREW BAKER b) As an E algebra, E (MSp) = E [Q E k : k > ]; and moreover the natural morphism of ring spectra j : MSp?! MU induces an embedding of
SOME CHROMATIC PHENOMENA IN THE HOMOTOPY OF MSp Andrew Baker Introduction. In this paper, we derive formul in Brown-Peterson homology at the prime 2 related to the family of elements ' n 2 MSp 8n?3 of
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
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 informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationINTEGRALS ON SPIN MANIFOLDS AND THE K-THEORY OF
INTEGRALS ON SPIN MANIFOLDS AND THE K-THEORY OF K(Z, 4) JOHN FRANCIS Abstract. We prove that certain integrals M P (x)â take only integer values on spin manifolds. Our method of proof is to calculate the
More informationA (Brief) History of Homotopy Theory
April 26, 2013 Motivation Why I m giving this talk: Dealing with ideas in the form they were first discovered often shines a light on the primal motivation for them (...) Why did anyone dream up the notion
More informationarxiv: v2 [math.at] 16 Dec 2014
Stable Stems arxiv:1407.8418v2 [math.at] 16 Dec 2014 Daniel C. Isaksen Department of Mathematics, Wayne State University, Detroit, MI 48202, USA E-mail address: isaksen@wayne.edu 2010 Mathematics Subject
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
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 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 informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
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 informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
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 informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationTHE COHOMOLOGY OF MOTIVIC A(2)
Homology, Homotopy and Applications, vol.11(), 009, pp.51 7 THE COHOMOLOGY OF MOTIVIC A() DANIEL C. ISAKSEN (communicated by J. Daniel Christensen) Abstract Working over an algebraically closed field of
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationnx ~p Us x Uns2"'-1,» i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply
More informationThe Hopf invariant one problem
The Hopf invariant one problem Ishan Banerjee September 21, 2016 Abstract This paper will discuss the Adams-Atiyah solution to the Hopf invariant problem. We will first define and prove some identities
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
More informationROOT INVARIANTS IN THE ADAMS SPECTRAL SEQUENCE
ROOT INVARIANTS IN TH ADAMS SPCTRAL SQUNC MARK BHRNS 1 Abstract. Let be a ring spectrum for which the -Adams spectral sequence converges. We define a variant of Mahowald s root invariant called the filtered
More informationJohn H. Palmieri Research description 20 September 2001
John H. Palmieri Research description 20 September 2001 My research is in stable homotopy theory, which is a subfield of topology, one of the main branches of mathematics. Stable homotopy theory is roughly
More informationMath 6510 Homework 11
2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
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 information