Math 757 Homology theory
|
|
- Debra Greene
- 5 years ago
- Views:
Transcription
1 theory Math 757 theory January 27, 2011
2 theory Definition 90 (Direct sum in Ab) Given abelian groups {A α }, the direct sum is an abelian group A with s γ α : A α A satifying the following universal property of direct sums: Given s f α : A α K there is a unique f : A K s.t. α f α = f γ α Definition 91 (Direct sum in Chain) The direct sum for chain complexes {C α } is the direct sum as abelian groups with the added stipulation that all s must be chain maps
3 theory Theorem 92 (Sing. simp. homology satisfies Axiom A4) X α disjoint spaces. Then ( ) H n Xα = α Exercise 93 (HW4 - Problem 1) H n (X α ) Verify that the homology functors H n : Chain Ab commute with direct sums. In particular, show that if C α are chain complexes then H n ( α ) C α = H n (C α ) α This may be done by verifying that H n ( α C α ) satisfies the universal property for direct sums.
4 theory Definition 94 (Good pair) (X, A) is a good pair if there is a neighborhood V of A in X such that V deformation retracts to A. Theorem 95 (Relative homology and quotient spaces) If (X, A) is a good pair then we have an isomorphism q : H n (X, A) H n (X /A) where q is induced by the composition C(X, A) C(X /A, A/A) C(X /A)
5 theory Proof of Theorem 95. H n(x, A) α H n(x, V ) β H n(x A, V A) q q H n(x /A, A/A) γ H n(x /A, V /A) β and η are isomorphisms by excision. η H n(x /A A/A, V /A A/A) The long exact sequence of the triple (X, V, A) gives H n (V, A) H n (X, A) α H n (X, V ) H n 1 (V, A) Deformation retaction of V to A shows So α is an isomorphism H n (V, A) = H n (A, A) = 0 Same argument for (X /A, V /A, A/A) shows γ is isomorphism. q is an isomorphism since (X A, V A) (X /A A/A, V /A A/A) is a homeo q = γ 1 ηq β 1 α
6 theory Corollary 96 (Long exact sequence for a good pair) If (X, A) is a good pair then H n (A) H n (X ) H n (X /A) H n 1 (A) is exact. Proof. By Proposition 61 (Week 2) we have a long exact sequence H n (A) H n (X ) H n (X, A) H n 1 (A) By Theorem 95 above H n (X, A) = H(X /A)
7 theory Proposition 97 ( groups of spheres) Proof. True for S 1 =. True for S 0 = { 1, 1}. Suppose true for S n 1 H k (S n ) = { Z, k = n 0, k n Consider good pair (D n, S n 1 ) H k (D n ) H k (D n /S n 1 ) H k 1 (S n 1 ) H k 1 (D n ) D n /S n 1 = S n H k (S n ) = H k 1 (S n 1 ) = { Z, k 1 = n 1 0, k 1 n 1
8 theory Exercise 98 (HW4 - Problem 2) Show that for X nonempty H n (X ) = H n+1 (SX ) Exercise 99 (HW4 - Problem 3) Let X be the n-point set. Compute H k (X ) Exercise 100 (HW4 - Problem 4) Let Y = R n = n i=1 S 1 be the rose with n-petals (see Hatcher pg. 10). Compute H k (X )
9 theory Definition 101 (Local homology groups) x X the local homology of X at x is H n (X, X x) Let V be any neighborhood of x By excision with (X, A, U) = (X, X x, X V ) we have H n (X, X x) = H n (V, V x) Hence local homology depends only on topology near x Can use local homology show X not homeomorphic to Y
10 theory Example 102 R n is contractible so the long exact sequence of the pair (R n, R n 0) yeilds H k (R n ) H k (R n, R n 0) H k 1 (R n 0) H k 1 (R n ) R n 0 S n 1 so the local homology of R n at 0 is H k (R n, R n 0) = H k 1 (R n 0) = H k 1 (S n 1 ) = { Z, k = n 0, k n So R n R m if n m. Definition 103 An n-dimensional homology manifold is a space X such that for all x X { H k (X, X x) Z, k = n = 0, k n
11 theory Suppose we have a commutative diagram of chain complexes and chain maps with exact rows. 0 C γ D 0 C D E 0 δ E ε 0 The Snake Lemma gives H n+1 (E) H n (C) H n (D) H n (E) H n 1 (C) ε γ δ ε γ H n+1 (E ) H n (C ) H n (D ) H n (E ) H n 1 (C ) Fact that H n : Chain Ab is a functor shows some squares commute.
12 theory Theorem 104 (Naturality of ) Given a commutative diagram of chain complexes and chain maps with exact rows. 0 C γ D 0 C D E 0 δ E ε 0 The following diagram commutes: H n+1 (E) H n (C) ε H n+1 (E ) γ H n (C )
13 theory Proof of Theorem 104. i 0 C n q n n Dn En 0 C n D n E n i n 1 0 C n 1 Dn 1 We must verify that ε = γ. q n 1 En 1 0 By definition [e n ] = [c n 1 ] where i n 1 (c n 1 ) = D n d n for some d n D n with q n (d n ) = e n Note that εe n = εq n (d n ) = q nδ(d n ) And D n δ(d n ) = δ D n (d n ) = δi n 1 (c n 1 ) = i n 1 γ(c n 1) so ε [e n ] = [εe n ] = [γ(c n 1 )] = γ [c n 1 ] = γ [e n ]
14 theory Note on category theory: Definition 105 (Natural transformation) Given two functors F, G : C D A natural transformation η from F to G assigns a morphism η C : F (C) G(C) for each C Ob(C) such that the following diagram commute for all morphisms f Mor C (C 1, C 2 ) F (C 1 ) F (f ) F (C 2 ) η C1 η C2 G(C 1 ) G(f ) G(C 2 )
15 theory How does our naturality fit into this picture? Let C = SESChain be the category of short exact sequences of chain complexes C D E with morphisms given by commuting diagrams of chain maps from one short exact sequence to another. Let D = Ab Let F (C D E) = H n (E) Let G(C D E) = H n 1 (C) Let η (C D E) = : H n (E) H n 1 (C) Or Let C = TopPair Let D = Ab Let F (X, A) = H n (X, A) Let G(X, A) = H n 1 (A) Let η (X,A) = : H n (X, A) H n 1 (A)
16 theory Exercise 106 (HW4 - Problem 5) Show that if P is the set of path components of X then H 0 (X ) is isomorphic to the free abelian group on P and that if X is nonempty then H 0 (X ) is the free abelian group on P {c 0 } where c 0 is a path component of X.
17 theory Definition 107 (Chain complex for cellular homology) Let X be a CW complex (see Hatcher pg. 5). Let X 1 = and { Hn (X Cn CW (X ) = n, X n 1 ), n 0 0, n < 0 Let be the CW : Cn CW (X ) Cn 1(X CW ) H n (X n, X n 1 ) H n 1 (X n 1, X n 2 ) from the long exact sequence of the triple (X n, X n 1, X n 2 ) Proposition 108 C CW (X ) is a chain complex
18 theory Proof of Proposition 108. We must verify that ( CW ) 2 = 0. We have the following commutative diagram of chain maps 0 C(X n ) C(X n+1 ) C(X n+1, X n ) 0 j 0 C(X n, X n 1 ) C(X n+1, X n 1 ) C(X n+1, X n ) 0 1 says the following square from the long exact sequence of homology commutes: H n+1 (X n+1, X n ) H n (X n ) 1 H n+1 (X n+1, X n ) CW H n (X n, X n 1 ) j So CW = j
19 theory Proof of Proposition 108 (continued). We have commutative H n (X n ) j H n+1 (X n+1, X n ) CW H n (X n, X n 1 ) CW H n 1 (X n 1, X n 2 ) j H n 1 (X n 1 ) Vertical composition H n (X n ) j H n (X n, X n 1 ) H n 1 (X n 1 ) is part of long exact sequence of the pair (X n, X n 1 ) So ( CW ) 2 = (j ) (j ) = j ( j ) = j 0 = 0
20 theory Definition 109 ( ) If X is a CW complex then the nth cellular homology group of X is H CW n (X ) = H n (C CW (X )) For a CW complex X how do Hn CW (X ) and H n (X ) relate? Theorem 110 ( and sing. simp. homology agree) If X is a CW complex then H CW n (X ) = H n (X ) Advantages of H CW 1 If X is finite then C CW (X ) is finitely generated 2 boundary maps in C CW (X ) can be easily understood.
21 theory The proof of Theorem 110 will use the following properties of homology for CW complexes. Lemma 111 ( of CW complexes) Let X is a CW complex. Let Γ n be the set of n-cells of X 1 H k (X n, X n 1 ) = { Z[Γ n ] k = n 0, k n 2 If k > n H k (X n ) = 0 3 If k < n and i : X n X is the inclusion map then H k (X n ) = i H k (X )
22 theory Proof of Lemma 111 Claim 1. We have a commuting quotient maps of good pairs ( α Γ n Dn, α Γ S n 1) r (X n, X n 1 ) q (X n /X n 1, { }) n By Theorem 95 we get that p p : H n ( α Γ n D n, α Γ n S n 1 ) H n (X n /X n 1 ) and q : H n (X n, X n 1 ) H n (X n /X n 1 ) are isomorphisms. So we get an isomorphism r : H n ( α Γ n D n, α Γ n S n 1 ) H n (X n, X n 1 )
23 theory Proof of Lemma 111 Claim 1 (continued). Applying the additivity axiom ( H n (X n, X n 1 ) = H n D n, ) S n 1 α Γ n α Γ n = H n (D n, S n 1 ) α Γ n = α Γ n Hn (S n ) = Z α Γ n = Z[Γ n ]
Math 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 informationHomology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011
Math 757 Homology theory March 9, 2011 Theorem 183 Let G = π 1 (X, x 0 ) then for n 1 h : π n (X, x 0 ) H n (X ) factors through the quotient map q : π n (X, x 0 ) π n (X, x 0 ) G to π n (X, x 0 ) G the
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 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 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 informationFREUDENTHAL SUSPENSION THEOREM
FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in
More informationHomework 3: Relative homology and excision
Homework 3: Relative homology and excision 0. Pre-requisites. The main theorem you ll have to assume is the excision theorem, but only for Problem 6. Recall what this says: Let A V X, where the interior
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 informationFrom singular chains to Alexander Duality. Jesper M. Møller
From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 21 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
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 informationFrom singular chains to Alexander Duality. Jesper M. Møller
From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 2100 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter
More informationGEOMETRY HW 12 CLAY SHONKWILER
GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2
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 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 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 informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More information1 Introduction Category Theory Topological Preliminaries Function Spaces Algebraic Preliminaries...
Contents 1 Introduction 1 1.1 Category Theory........................... 1 1.2 Topological Preliminaries...................... 5 1.3 Function Spaces............................ 9 1.4 Algebraic Preliminaries.......................
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 informationLecture 9: Alexander Duality
Lecture 9: Alexander Duality 2/2/15 Let X be a finite CW complex embedded cellularly into S n, i.e. X S n. Let A S n X be a finite CW complex such that A is homotopy equivalent to S n X. Example 1.1. X
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 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 informationHomology of a Cell Complex
M:01 Fall 06 J. Simon Homology of a Cell Complex A finite cell complex X is constructed one cell at a time, working up in dimension. Each time a cell is added, we can analyze the effect on homology, by
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More information1 Whitehead s theorem.
1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in
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 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 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 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 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 informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
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 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 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 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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
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 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 information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More 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 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 information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
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 informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
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 informationSMSTC Geometry & Topology 1 Assignment 1 Matt Booth
SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.
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 informationarxiv: v1 [math.at] 1 Oct 2018
Z k -Stratifolds arxiv:1810.00531v1 [math.at] 1 Oct 2018 Andrés Ángel ja.angel908@uniandes.edu.co Carlos Segovia csegovia@matem.unam.mx October 2, 2018 Abstract Arley Fernando Torres af.torres82@uniandes.edu.co
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
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 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 informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
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 informationEQUIVARIANT ALGEBRAIC TOPOLOGY
EQUIVARIANT ALGEBRAIC TOPOLOGY JAY SHAH Abstract. This paper develops the introductory theory of equivariant algebraic topology. We first define G-CW complexes and prove some basic homotopy-theoretic results
More informationHomotopy and homology of fibred spaces
Homotopy and homology of fibred spaces Hans-Joachim Baues and Davide L. Ferrario Abstract We study fibred spaces with fibres in a structure category F and we show that cellular approximation, Blakers Massey
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 informationAlgebraic Topology I Homework Spring 2014
Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)
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 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 informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
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 informationCourse notes in algebraic topology
Course notes in algebraic topology Benson Farb CLASS NOTES, Fall 2012 Comments/corrections/suggestions welcome November 11, 2012 2 Contents 1 Homology 5 1.1 Construction of simplicial homology....................
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 information0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i
Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More informationMinimal Cell Structures for G-CW Complexes
Minimal Cell Structures for G-CW Complexes UROP+ Final Paper, Summer 2016 Yutao Liu Mentor: Siddharth Venkatesh Project suggested by: Haynes Miller August 31, 2016 Abstract: In this paper, we consider
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 informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
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 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 informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationVector Bundles and Projective Modules. Mariano Echeverria
Serre-Swan Correspondence Serre-Swan Correspondence If X is a compact Hausdorff space the category of complex vector bundles over X is equivalent to the category of finitely generated projective C(X )-modules.
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationCALCULATION OF FUNDAMENTAL GROUPS OF SPACES
CALCULATION OF FUNDAMENTAL GROUPS OF SPACES PETER ROBICHEAUX Abstract. We develop theory, particularly that of covering spaces and the van Kampen Theorem, in order to calculate the fundamental groups of
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
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 informationAlgebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf
Algebraic Topology Oscar Randal-Williams https://www.dpmms.cam.ac.uk/ or257/teaching/notes/at.pdf 1 Introduction 1 1.1 Some recollections and conventions...................... 2 1.2 Cell complexes.................................
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 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 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 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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationCYCLIC SINGULAR HOMOLOGY
Thesis presented for the degree of Master in Mathematics (Master of Science) CYCLIC SINGULAR HOMOLOGY BY DANIEL BAKKELUND Department of Mathematics Faculty of Mathematics and Natural Sciences University
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 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 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 informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
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 informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
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 informationAlgebraic Topology, summer term Birgit Richter
Algebraic Topology, summer term 2017 Birgit Richter Fachbereich Mathematik der Universität Hamburg, Bundesstraße 55, 20146 Hamburg, Germany E-mail address: birgit.richter@uni-hamburg.de CHAPTER 1 Homology
More informationCobordism Categories
M Naeem Ahmad Kansas State University naeem@math.ksu.edu KSU Graduate Student Topology Seminar M Naeem Ahmad (KSU) September 10, 2010 1 / 31 We begin with few basic definitions and historical details to
More information1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties
Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties 1 Introduction Recall from last time that every affine algebraic variety V A n determines a unique finitely generated, reduced
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More information