A (Brief) History of Homotopy Theory
|
|
- Flora Norton
- 6 years ago
- Views:
Transcription
1 April 26, 2013
2 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 of homotopy, and homotopy groups? Why you might be interested in listening: Mazur Homotopy as a tool preceds homotopy as a concept Homotopy groups were very elusive Ushers in transition from analysis to topology
3 What is Homotopy? Red and Blue curves: the images of a maps f, g : [0, 1] = Y X A continuous deformation from one path to the other f and g are homotopic (as maps from Y into X) if there exists a family of cts maps {h t } for t [0, 1] such that h 0 = f, h 1 = g x [0, 1], t h t (x) continuous
4 What is Homotopy? f, g : X Y, are homotopic H : X [0, 1] Y continuous s.t. H(x, 0) = f(x), H(x, 1) = g(x) Homotopy is an equivalence relation. + = t = 0 t = 1 t = 0 t = 1 0 1/2 1 It is very important to remember this is dependent on the topological spaces X Y
5 Homotopy Groups Now consider based homotopy classes of maps of the sphere into the space X: π 1 (X, x 0 ) = [S 1, ; X, x 0 ] Why does this form a group: e : S 1 x 0 : the constant map is an identity f 1 : indicates transversing f in the opposite direction [f][g] = [f g] : indicates transversing first f and then g can check associativity all of these respect homotopy
6 Origins of the concept of homotopy and the fundamental group Analysis Cauchy and mobility of path, 1825 Riemann and connectivity, 1851 Jordan and deformations of curves, Analysis Situs Poincaré and a definition of π 1 of a manifold, 1892
7 Higher homotopy groups Hopf, and a nontrivial map S 3 S 2, 1931 Cech, introduction of abstract homotopy groups, 1932 Hurewicz, higher homotopy groups and homotopy equivalence, 1935 Eilenberg and obstruction theory, 1940
8 A summary Cauchy, 1825 Riemann, 1851 Jordan, Poincaré, 1892 Hopf, 1931 Cech, 1932 Hurewicz, 1935 Eilenberg, 1940
9 A summary Cauchy, 1825 Riemann, 1851 Jordan, Poincaré, 1892 What s going on? Hmmm... Hopf, 1931 Cech, 1932 Hurewicz, 1935 Eilenberg, 1940 Oh.
10 The First Uses of Homotopy Want to integrate some complex function f between these endpoints, does the path matter? Gauss and Poisson both note 1815 that it can!
11 Cauchy s Work on Integration I = X+iY x 0 +iy 0 f(z)dz Identify complex numbers with points in the plane Introduce a mobile curve joining x 0 + iy 0 and X + iy x = φ(t), y = χ(t), monotone functions of t, continuously differentiable I = A + ib = T t 0 f(φ(t) + iχ(t)) [ φ (t) + iχ (t) ] dt Theorem The result is independent of the choice of φ and χ if f is complex differentiable for x 0 x X, y 0 y Y
12 Cauchy s Work on Integration If one wants to pass from one curve to another, which is not infinitely near the first, one can imagine a third mobile curve, which is variable in its shape, and have it coincide successively and at different instances with both fixed curves.
13 Riemann and Connectivity Definition 1 A surface is simply-connected if every cross-cut (interior arc joining boundaries) on the surface divides the surface. 2 A surface has connectivity number n if n 1 cross-cuts turn it into a simply-connected surface. surface connectivity number sphere 1 torus 3 g-hole torus 2g + 1 Note: this is not in general equivalent to saying a space is n-connected using π n = 0!
14 Riemann and Connectivity Simply Connected It does coincide with our standard definition of simply connected (π 1 (X) = 0) By classification of surfaces, we only have the plane and the sphere that are simply connected Jordan curve theorem The quantifier is very necessary, there are even not null-homotopic crosscuts that divide a surface which is not simply connected
15 Jordan and deformations of curves In 1966, published a paper on closed curves on surfaces: Definition Any two closed contours, drawn on a given surface, are called reducible into one another, if one can pass from one to the other by a progressive deformation. Any two contours drawn in the plane are reducible to one another; however this is not true on any surface: for instance, on a torus a meridian and a parallel are two irreducible contours.
16 Elementary Contours S C 0 C 0 a 0 P Γ 0 Γ 1 b A a 1 C 1 C 1
17 Elementary Contours Figure: Punctured 2-hole torus n : the maximal number of non-intersecting closed curves that do not divide the surface (what we call the genus)
18 Elementary Contours S C 0 C 0 a 0 a 1 C 1 C 1 Figure: Cut at these curves C 0,..., C n C i and C i a 0,..., a n : the maximal curves that do not divide the surface : the two sides after the cut : points on each curve
19 Elementary Contours S C 0 C 0 a 0 a 1 Γ 0 Γ 1 C 1 C 1 Figure: Cut at the curves Γ i as well Γ 0,..., Γ n : closed curves through the a i
20 Elementary Contours S C 0 C 0 a 0 a 1 Γ 0 Γ 1 b A C 1 C 1 Figure: Choose a point on each boundary curve b 0,..., b m : points on the boundary curves A 0...A m
21 Elementary Contours C 0 C 0 S P a 0 a 1 Γ 0 Γ 1 b A C 1 C 1 Figure: Choose a point P and connect it to the a i and b i P : point on the surface
22 Elementary Contours Three types of elementary contours : [P a i C i a i P ] [C i ] [P b i A i b i P ] [A i ] [P a i Γ i a i P ] [Γ i ]
23 Jordan s Idea Claim (Jordan) Every closed contour on the surface S is reducible to a unique sequence of elementary contours. In fact, he considers free deformations, so the sequence of elementary contours must allow cyclic permutations In hindsight, he has obtained a set of generators of π 1 S for S a genus n orientable surface with m boundary curves With the relation: [A 0 ]...[A m 1 ][C 0 ][Γ 0 ][C 0 ] 1 [Γ 0 ] 1...[C n 1 ][Γ n 1 ][C n 1 ] 1 [Γ n 1 ] 1 1
24 Why didn t he realize he wrote down generators for the fundamental group?
25 Why didn t he realize he wrote down generators for the fundamental group? He lacked: Continuous deformation of based loops (only requires the elementary contours to go through the point P ) Relation between elementary contours
26 Why didn t he realize he wrote down generators for the fundamental group? He lacked: Continuous deformation of based loops (only requires the elementary contours to go through the point P ) Relation between elementary contours The abstract group concept had not yet been formulated! It is not obvious how to interpret the fundamental group as a permutation group
27 A Classification Theorem Theorem (Jordan, 1866) Two orientable surfaces with boundaries are homeomorphic if and only if they have the same genus and the same number of boundary curves. His terminology for homeomorphic: applicable, one to the other without tearing or duplication
28 The Transition to Analysis Situs The theory of integration provides an abelian structure f = f + f = f α β α β β α
29 The Transition to Analysis Situs The theory of integration provides an abelian structure f = f + f = f α β α β β α But if we integrated a multi-valued function this might not be the case!
30 The Transition to Analysis Situs The theory of integration provides an abelian structure f = f + f = f α β α β β α But if we integrated a multi-valued function this might not be the case! The permutations of values of a multi-valued function along α β need not be the same as along β α
31 The Transition to Analysis Situs The theory of integration provides an abelian structure f = f + f = f α β α β β α But if we integrated a multi-valued function this might not be the case! The permutations of values of a multi-valued function along α β need not be the same as along β α Questions of underlying topology of a space began to be studied in their own right!
32 Poincaré and the Fundamental Group Buildup to the fundamental group : Consider unbranched multi-valued functions F i on a manifold If the functions are continued around a loop, they undergo a permutation He shows, permutations along closed paths on a manifold form a group
33 Poincaré and the Fundamental Group Buildup to the fundamental group : Consider unbranched multi-valued functions F i on a manifold If the functions are continued around a loop, they undergo a permutation He shows, permutations along closed paths on a manifold form a group Depends on the functions F i! Let G be group of all such functions
34 Poincaré and the Fundamental Group Introduces null-homotopic paths: If the point M describes an infinitely small contour on the manifold, the functions F will return to their original values. This remains true if M describes a loop on the manifold, that is to say, if it varies from M 0 to M 1 following an arbitrary path M 0 BM 1, then describes an infinitely small contour and returns from M 1 to M 0 traversing the same path M 1 BM 0.
35 Poincaré and the Fundamental Group Introduces null-homotopic paths: If the point M describes an infinitely small contour on the manifold, the functions F will return to their original values. This remains true if M describes a loop on the manifold, that is to say, if it varies from M 0 to M 1 following an arbitrary path M 0 BM 1, then describes an infinitely small contour and returns from M 1 to M 0 traversing the same path M 1 BM 0. Composition of paths transversed in opposite directions: M 0 AM 1 BM 0 + M 0 BM 1 CM 0 M 0 AM 1 CM 0
36 Poincaré and the Fundamental Group Introduces null-homotopic paths: If the point M describes an infinitely small contour on the manifold, the functions F will return to their original values. This remains true if M describes a loop on the manifold, that is to say, if it varies from M 0 to M 1 following an arbitrary path M 0 BM 1, then describes an infinitely small contour and returns from M 1 to M 0 traversing the same path M 1 BM 0. Composition of paths transversed in opposite directions: M 0 AM 1 BM 0 + M 0 BM 1 CM 0 M 0 AM 1 CM 0 Emphasizes that M 0 AM 1 CM 0 M 0 CM 1 AM 0
37 But... Even Poincaré gets some stuff wrong
38 But... Even Poincaré gets some stuff wrong M 0 BM 0 0 if the closed contour M 0 BM 0 constitutes the complete boundary of a 2-dimensional manifold contained in the the manifold.
39 But... Even Poincaré gets some stuff wrong M 0 BM 0 0 if the closed contour M 0 BM 0 constitutes the complete boundary of a 2-dimensional manifold contained in the the manifold. But he latter corrects it: K 0 mod V there is a simply connected region in V of which K is boundary
40 The Fundamental Group In this way, on can imagine a group G satisfying the following conditions: 1 For each closed contour M 0 BM 0 there is a corresponding substitution S of the group 2 S reduces to the identical substitution if and only M 0 BM If S and S correspond to the contours C and C and if C = C + C, the substitution corresponding to C will be SS This group G will be called the fundamental group of the manifold V.
41 Why Higher Homotopy Groups? Good question! Vienna, 1931 Cech presents a description of higher homotopy groups π n X := [S n, ; X, x 0 ] No applications for the homotopy groups Only one theorem
42 Why Higher Homotopy Groups? Good question! Vienna, 1931 Cech presents a description of higher homotopy groups π n X := [S n, ; X, x 0 ] No applications for the homotopy groups Only one theorem They were abelian (for n 2)
43 Why Higher Homotopy Groups? Persuaded by others that they could not possibly contain any additional information above the already known abelian homology groups Cech actually withdrew his paper π 1 X encompasses more information than its abelian counterpart H 1 (X) H 1 (X; Z) π 1 X/[π 1 X, π 1 X]
44 Why Higher Homotopy Groups? - In Hindsight There s interesting stuff going on: Hopf fibration Compare to H (S n ) = 0 for > n Action of the fundamental group on higher homotopy groups Eilenberg s obstruction theory
45 Hurewicz and a redefinition, 1935 Let Ω(X, x 0 ) be the loop space: set of based loops with basepoint S 1 X x 1 : S 1 {x 0 } and the compact-open topology. Definition/Proposition 1 Ω p (X, x 0 ) = Ω ( Ω p 1 (X, x 0 ), x p 1 ) 2 π p (X, x 0 ) = π 1 ( Ω p 1 (X, x 0 ), x p 1 )
46 An Action of π 1 on π n Given a path α : [0, 1] X with endpoints a, b X, induces an isomorphism π n (X, a) π n (X, b) Depends only on the homotopy class of the map. π 1 (X) acts by automorphisms on every π n (X, x 0 )
47 Homotopy Groups of Spheres Brouwer: 1912: degrees of maps on a sphere [f] degf Hopf: : maps of spheres into spheres...may righty be called the starting point of homotopy theory Dieudonné The Hopf fibration: S 3 p S 2 Hurewicz: 1935: π m S 1 = 0 for m 2 Freudenthal: 1937: homotopy suspension π i (S n ) π i+1 (S n+1 ) : i < 2n 1
48 Brouwer and Degree Let f : S n S n, then given by then, deg f = d f : H n (S n ) H n (S n ) α Z dα Brower s definition: Involves simplicial approximation and counting Theorem (Brouwer) The degree of a map is invariant under homotopy.
49 Brouwer and Degree At ICM 1912, conjectured that the converse was also true: Conjecture For M a connected, compact, orientable n-dimensional manifold, and f and g two continuous maps of the same degree, then f g. Published a proof for M = S 2 M S n Incredibly long, dense, intricate, and imprecise! 4 reductions to finally apply a result of Klein on compact Riemann surfaces of genus 0 Questionable arguments
50 Hopf and maps of spheres Proved Hopf s conjecture [f] degf π n (S n ) Z Introduced the Hopf invariant H(f) Used that to prove that π 3 (S 2 ) Z
51 The Hopf Fibration, 1931 S 1 S 3 p S 2 Direct construction: Identify R 4 with C 2 and R 3 with C R S 3 := {(z 0, z 1 ) : z z 1 2 = 1} S 2 := {(z, x) : z 2 + x 2 = 1} p(z 0, z 1 ) = (2z 0 z 1, z 0 2 z 1 2 )
52 The Hopf Fibration, 1931 S 1 S 3 p S 2 Direct construction: Identify R 4 with C 2 and R 3 with C R S 3 := {(z 0, z 1 ) : z z 1 2 = 1} S 2 := {(z, x) : z 2 + x 2 = 1} p(z 0, z 1 ) = (2z 0 z 1, z 0 2 z 1 2 ) Clearly maps to S 2, can check that p(z 0, z 1 ) = p(w 0, w 1 ) (w 0, w 1 ) = λ(z 0, z 1 ), λ = 1
53 Freudenthal and stable homotopy groups The based (reduced) suspension of X, ΣX is defined as ΣX = X [0, 1]/(X {0} X {1} {x 0 } [0, 1]) There is a natural bijection: [X, x 0 ; ΩY, y 1 ] (Σ and Ω are adjoint functors) [ΣX, x 0 ; Y, y 0 ]
54 Freudenthal and stable homotopy groups [X, x 0 ; ΩY, y 1 ] [ΣX, x 0 ; Y, y 0 ] We also have a natural map (Y, y 0 ) (ΩΣY, y 1 ) Putting the two together: In particular: [X, x 0 ; Y, y 0 ] [X, x 0 ; ΩΣY, y 1 ] E : [X, x 0 ; Y, y 0 ] [ΣX, x 0 ; ΣY, y 0 ] E : π r (S n ) π r+1 (S n+1 ) Freudenthal showed that this is an isomorphism for r < 2n 1 and surjective for r = 2n 1
55 Freudenthal and stable homotopy groups Which means: π r (S n ) E π r+1 (S n+1 E )... π r+k (S n+k )... Are isomorphisms for k > r 2n + 1
56 Freudenthal and stable homotopy groups Which means: π r (S n ) E π r+1 (S n+1 E )... π r+k (S n+k )... Are isomorphisms for k > r 2n + 1 The homotopy groups of spheres stabilize!
57 Samuel Eilenberg Figure: Eilenberg
58 Samuel Eilenberg Figure: Hmmm...?
59 Samuel Eilenberg Figure: Eilenberg
60 Eilenberg Bourbaki On homotopy groups and fibre spaces Eilenberg +MacLane Met in 1940 in Ann Arbor, wrote 15 papers together until 1954 Introduced category theory, the concepts of Hom, Ext, functor, natural transformation Cohomology of groups The relation between homotopy and homology Eilenberg + Steenrod Axiomatized homology and cohomology Eilenberg + Cartan Homological Algebra
61 Eilenberg Obstruction Theory Given a map X 1 Y If Y is simply connected this extends to a map on X 2. Null-homotopy in Y gives a way to fill in 2-skeleton. This generalizes: Have a map defined on X n, and (n + 1)-cell σ Attaching map g σ : S n X n f extends to σ if and only if f g σ is null-homotopic Ie if the cochain c(f) : σ [f g σ ] C n+1 (X; π n (Y )) is zero c(f): the obstruction cocycle The immediate result: this is always possible if π n (Y ) = 0
62 References History of Topology edited by I.M. James A Brief, Subjective History of Homology and Homotopy Theory in This Century by Peter Hilton A History of Algebraic and Differential Topology by Dieudonné
CW-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 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 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 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 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 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 informationHIGHER HOMOTOPY GROUPS JOSHUA BENJAMIN III. CLASS OF 2020
HIGHER HOMOTOPY GROUPS JOSHUA BENJAMIN III CLASS OF 2020 jbenjamin@college.harvard.edu Acknowledgments I would like to thank: Joe Harris for lending me a copy of the Greenberg and Harper Algebraic Topology
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 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 informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
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 informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationChapter 19 Clifford and the Number of Holes
Chapter 19 Clifford and the Number of Holes We saw that Riemann denoted the genus by p, a notation which is still frequently used today, in particular for the generalizations of this notion in higher dimensions.
More informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
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 informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
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 informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
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 informationThe coincidence Nielsen number for maps into real projective spaces
F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence
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 information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
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 EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationSOME ASPECTS OF STABLE HOMOTOPY THEORY
SOME ASPECTS OF STABLE HOMOTOPY THEORY By GEORGE W. WHITEHEAD 1. The suspension category Many of the phenomena of homotopy theory become simpler in the "suspension range". This fact led Spanier and J.
More informationON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI
ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationMATH8808: ALGEBRAIC TOPOLOGY
MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
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 informationFrom Obstructions to Invariants: Theory of Obstructions Theory. Adam C. Fletcher
From Obstructions to Invariants: Theory of Obstructions Theory Adam C. Fletcher c Summer 2010 Contents 1 Obstruction Mappings 1 1.1 Notes to the Reader......................... 1 1.2 Obstructions as Co-chains......................
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 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 informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationThe Hurewicz theorem by CW approximation
The Hurewicz theorem by CW approximation Master s thesis, University of Helsinki Student: Jonas Westerlund Supervisor: Erik Elfving December 11, 2016 Tiedekunta/Osasto Fakultet/Sektion Faculty Faculty
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 informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
More informationTHE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY
THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY ANDREW VILLADSEN Abstract. Following the work of Aguilar, Gitler, and Prieto, I define the infinite symmetric product of a pointed topological space.
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 informationFiltered spaces. Ronnie Brown. March 28, 2011 Tbilisi Conference on Homotopy Theory and Non Commutative Geometry. Filtered spaces
March 28, 2011 Tbilisi Conference on Homotopy Theory and Non Commutative Geometry xxxiii+ 643pp To appear (2011) Very pleased to be in Tbilisi for my 4th visit, and especially this conference involving
More informationGeometry and Topology, Lecture 4 The fundamental group and covering spaces
1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
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 information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
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 informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationarxiv:math/ v1 [math.at] 5 Oct 1999
arxiv:math/990026v [math.at] 5 Oct 999 REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE MARK BRIGHTWELL AND PAUL TURNER. Introduction At the heart of the axiomatic formulation
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 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 informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationSpectra and the Stable Homotopy Category
Peter Bonventre Graduate Seminar Talk - September 26, 2014 Abstract: An introduction to the history and application of (topological) spectra, the stable homotopy category, and their relation. 1 Introduction
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 informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
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 informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationThe Goodwillie-Weiss Tower and Knot Theory - Past and Present
The Goodwillie-Weiss Tower and Knot Theory - Past and Present Dev P. Sinha University of Oregon June 24, 2014 Goodwillie Conference, Dubrovnik, Croatia New work joint with Budney, Conant and Koytcheff
More informationProject: Construction of the Fundamental Group
Project: Construction of the Fundamental Group Renzo s math 472 This worksheet is designed to lead you to define and discover our first functor: the fundamental group. 1 Definitions First of all, let us
More informationHomology lens spaces and Dehn surgery on homology spheres
F U N D A M E N T A MATHEMATICAE 144 (1994) Homology lens spaces and Dehn surgery on homology spheres by Craig R. G u i l b a u l t (Milwaukee, Wis.) Abstract. A homology lens space is a closed 3-manifold
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationFoliations of Three Dimensional Manifolds
Foliations of Three Dimensional Manifolds M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930 s: Does there exist on S 3 a completely integrable
More informationAlgebraic Topology Lecture Notes. Jarah Evslin and Alexander Wijns
Algebraic Topology Lecture Notes Jarah Evslin and Alexander Wijns Abstract We classify finitely generated abelian groups and, using simplicial complex, describe various groups that can be associated to
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 informationFundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group
Chapter 6 Fundamental group 6. The loop space Ω(X, x 0 ) and the fundamental group π (X, x 0 ) Let X be a topological space with a basepoint x 0 X. The space of paths in X emanating from x 0 is the space
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
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 informationHomework 3 MTH 869 Algebraic Topology
Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationFibre Bundles. Prof. B. J. Totaro. Michælmas 2004
Fibre Bundles Prof. B. J. Totaro Michælmas 2004 Lecture 1 Goals of algebraic topology: Try to understand all shapes, for example all manifolds. The approach of algebraic topology is: (topological spaces)
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More 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 informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
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 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 informationarxiv:math/ v1 [math.gt] 14 Nov 2003
AUTOMORPHISMS OF TORELLI GROUPS arxiv:math/0311250v1 [math.gt] 14 Nov 2003 JOHN D. MCCARTHY AND WILLIAM R. VAUTAW Abstract. In this paper, we prove that each automorphism of the Torelli group of a surface
More informationStudy Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia
Study Guide Harvard Mathematics Qualification Exam E-mail address: nasko@math.harvard.edu E-mail address: sia@math.harvard.edu Atanas Atanasov Charmaine Sia Contents Chapter 1. Notes 7 1. Algebraic Topology
More informationTHE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29
Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660
More informationS n 1 i D n l S n 1 is the identity map. Associated to this sequence of maps is the sequence of group homomorphisms
ALGEBRAIC TOPOLOGY Contents 1. Informal introduction 1 1.1. What is algebraic topology? 1 1.2. Brower fixed point theorem 2 2. Review of background material 3 2.1. Algebra 3 2.2. Topological spaces 5 2.3.
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 informationFibre Bundles: Trivial or Not?
Rijksuniversiteit Groningen Bachelor thesis in mathematics Fibre Bundles: Trivial or Not? Timon Sytse van der Berg Prof. Dr. Henk W. Broer (first supervisor) Prof. Dr. Jaap Top (second supervisor) July
More informationJune 2014 Written Certification Exam. Algebra
June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module
More informationThe A-B slice problem
The A-B slice problem Slava Krushkal June 10, 2011 History and motivation: Geometric classification tools in higher dimensions: Surgery: Given an n dimensional Poincaré complex X, is there an n manifold
More informationLagrangian Intersection Floer Homology (sketch) Chris Gerig
Lagrangian Intersection Floer Homology (sketch) 9-15-2011 Chris Gerig Recall that a symplectic 2n-manifold (M, ω) is a smooth manifold with a closed nondegenerate 2- form, i.e. ω(x, y) = ω(y, x) and dω
More informationTHE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER
THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER Abstract. The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies
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 informationABEL S THEOREM BEN DRIBUS
ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationMath 215a Homework #1 Solutions. π 1 (X, x 1 ) β h
Math 215a Homework #1 Solutions 1. (a) Let g and h be two paths from x 0 to x 1. Then the composition sends π 1 (X, x 0 ) β g π 1 (X, x 1 ) β h π 1 (X, x 0 ) [f] [h g f g h] = [h g][f][h g] 1. So β g =
More information