MATH730 NOTES WEEK 8
|
|
- Harvey Johnston
- 5 years ago
- Views:
Transcription
1 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 U V are easier to understand. Proposition 1.1. Suppose that X = U V, where U and V are path connected open subsets and both contain the basepoint x 0. If U V is also path connected, then the smallest subgroup of π 1 (X) containing the images of both π 1 (U) and π 1 (V ) is π 1 (X) itself. That is, π 1 (X) = π 1 (U)π 1 (V ). Note: The path connected condition on U V is important: Let U be S 1 (0, 1) and let V be S 1 (0, 1), which are both simply connected, but the intersection U V is not path connected and the product of two trivial groups cannot be π 1 (S 1 ) Z. Proof. Let γ I X be a loop at x 0. By the Lebesgue number lemma, we can subdivide the interval I into smaller intervals [s i, s i+1 ] such that the image of each subinterval under γ is in either U or V. Write γ i for the restriction of γ to the ith subinterval. The endpoints of each γ i must be in U V. Since U V is path connected, there is a path α i from γ i (1) to x 0 for each i. Then [γ] = [γ n ] [γ 2 ] [γ 1 ] = [γ n α 1 n 1] [α 2 γ 2 α 1 1 ] [α 1 γ 1 ] This expresses the loop γ as a product of loops in U and loops in V. If we want to calculate π 1 (X), then it is not very helpful to think about the product of π 1 (U) and π 1 (V ) inside π 1 (X). We want an external group in terms of the simpler fundamental groups. There are homomorphisms π 1 (U) π 1 (X) and π 1 (V ) π 1 (X) induced by inclusions, and we want some sort of product of these with a map to pi 1 (X). Note that the direct product of groups π 1 (U) π 1 (V ) can t work because elements of π 1 (U) commute with the elements of π 1 (V ), so this would also hold in the image of any homomorphism π 1 (U) π 1 (V ) π 1 (X). We want a group built freely out of π 1 (U) and π 1 (V ), and we can use the free product of groups π 1 (U) π 1 (V ). The elements of the free product G 1 G 2 are finite length words g 1 g 2 g n where each g i is in either G 1 or G 2, none are identity elements, and if g i G 1 then g i+1 G 2. That is, reduced words. Example. The free group on two generators is a free product. F 2 = Z Z. Example. The free group on n generators is the free product n Z. Example. Let C 2 be cyclic group of order 2. The free product C 2 C 2 is an infinite group. If a, b are the nonidentity elements of the two copies of C 2, then elements of C 2 C 2 are a, ab, aba, abab,..., b, ba, bababababa,..., etc. There is a homomorphism C 2 C 2 C 2 that sends both a and b to the nontrivial element. The kernel of this map is all words of even length, the subgroup generated by the word ab. So C 2 C 2 is an extension of C 2 by the infinite cyclic group Z. (Or C 2 C 2 is a semidirect product of C 2 with Z.) 1
2 2 MATH730 The free product has a universal property! For any groups G 1, G 2, there are inclusion homomorphisms G i G 1 G 2. Proposition 1.2. Suppose that K is any group with homomorphisms φ i G i K. Then there is a unique homomorphism Φ G 1 G 2 K which restricts to the given homomorphisms φ i. In other words, the free product is the coproduct in the category of groups. Then we can restate Proposition 1.1 as follows: Proposition 1.3. Suppose that X = U V, where U, V are path connected open subsets of X containing the basepoint. If U V is also path connected, then the natural homomorphism Φ π 1 (U) π 1 (V ) π 1 (X) is surjective. So we need to understand the kernel N, since the first isomorphism theorem implies that π 1 (X) (π 1 (U) π 1 (V ))/N. Consider a loop γ U V. It has images γ U π 1 (U) and γ V π 1 (V ) and these map to the same element in π 1 (X), so γ U γv 1 is in the kernel. Proposition 1.4. With the same assumptions as before, the kernel of π 1 (U) π 1 (V ) π 1 (X) is the normal subgroup N generated by elements of the form γ U γ 1 V. The normal subgroup generated by the elements of the form γ U γv 1 can be characterized either as (1) the intersection of all normal subgroups containing γ U γv 1 or (2) the subgroup generated by all conjugates gγ U γv 1g 1. I will skip this proof. See Thm 1.20 in the text if you wish to know the details. We can now assemble these results to get Van Kampen s theorem. Theorem 1.5 (Van Kampen). Suppose that X = U V, where U, V are path connected open subsets containing x 0. If U V is also path connected, then π 1 (X) (π 1 (U) π 1 (V ))/N, where N is the normal subgroup of pi 1 (U, x 0 ) π 1 (V, x 0 ) generated by elements of the form ι U (γ)ι V (γ) 1 for γ π 1 (U V, x 0 ). Definition. Let φ i H G i be group homomorphisms. The amalgamated free product is the quotient G 1 H G 2 = (G 1 G 2 )/N, where N is the normal subgroup generated by elements of the form φ 1 (h)φ 2 (h) 1. The amalgamated free product satisfies the universal property of the pushout in the category of groups. So we can restate Van Kampen s theorem categorically. Theorem 1.6. Suppose that X = U V, where U, V are path connected open subsets containing x 0 with path connected intersection U V. (That is, X is the pushout U U V V of open path connected subsets.) Then the inclusions of U and V into X induce an isomorphism π 1 (U) π1(u V ) π 1 (V ) π 1 (X). (That is, the fundamental group construction takes a pushout of spaces to a pushout of groups.) U V U π 1 (U V, x 0 ) π 1 (U, x 0 ) V X π 1 (V, x 0 ) π 1 (X, x 0 )
3 MATH applications of VK theorem. We start with some fundamental groups we know already... Example. Let X = S 1 S 1, let U be an open set containing one of the circles, plus an ɛ-ball around the basepoint in the other circle, and let V be the symmetric set for the other circle. Then the intersection U V is an X and is contractible. Both U and V are equivalent to S 1. Thus π 1 (S 1 S 1 ) π 1 (S 1 ) π1( ) π 1 (S 1 ) Z Z F 2. Example. Let X = S 1 S 1 S 1, let U be a neighborhood of S 1 S 1 and V a neighborhood of the remaining S 1. Then π 1 (S 1 S 1 S 1 ) F 3. Example. Let X = S 1 S 2 and take U to be a neighborhood of S 1, and V a neighborhood of S 2. Then π 1 (S 1 S 2 ) π 1 (S 1 ) π 1 (S 2 ) Z. Is π 1 (X Y ) always the free product of π 1 (X) and π 1 (Y )? Almost! Need that the neighborhoods U and V were homotopy equivalent to X and Y and that intersection is contractible. Definition. Recall a retraction of a space X onto a subspace A is a map r X A which restricts to the identity on A. We say X deformation retracts onto A is there exists a retraction r X A and a homotopy h X I X with h(x, 0) = ir(x) and h(x, 1) = x and h(a, t) = a for all a A and all t I. ************************ A deformation retraction is a special case of a homotopy equivalence. Our definition is sometimes called a strong deformation retraction. Example. S n 1 R n {0} is a deformation retract, with r(x) = x/ x and h(x, t) = tx + (1 t)x/ x. Example. We showed that there is no retraction D 2 S 1, so there is no deformation retraction. Hatcher defines a retract as a map r X X such that r(x) = A and r A = id. Then a deformation retraction of X onto A is a homotopy from the identity of X to a retraction r X X of X onto A. Note that every space retracts onto a point, but not every space deformation retracts onto a point. (The homotopy gives a path from every point to the chosen point, so the space must be path connected at least.) Definition. We say that x 0 X is a nondegenerate basepoint for X if x 0 has a neighborhood U such that x 0 is a deformation retract of U. Proposition 1.7. Let x 0 and y 0 be nondegenerate basepoints for X and Y, respectively. Then π 1 (X Y ) π 1 (X) π 1 (Y ). Let X be a space and φ S 1 X a map. Let X = X φ D 2, the space obtained by attaching a disk along the map φ. The inclusion of the boudary S 1 D 2 is null homotopic, so the composition φ S 1 X X is also null homotopic. So attaching the 2-cell kills off the class [φ] π 1 (X). Proposition 1.8. Let X be path connected and let φ S 1 X be a loop at x 0 in X. Let X = X φ D 2. Then π 1 (X, ι(x 0 )) π 1 (X, x 0 )/ [φ] where [φ] is the normal subgroup generated by [φ].
4 4 MATH730 Proof. Consider the open subsets U, V of D 2, where U = D 2 B 1/3 and V = B 2/3. The map ι D 2 D 2 X restricts to a homeomorphism (with open image) on the interior of D 2, so the image of V in X is open and path-connected. Let U = X U, which is open in X because it is the image under the quotient X D 2 X of the open set X U. The set U is also path-connected. The sets U and V cover X, and U deformation retracts onto X, since U deformation retracts onto the boundary S 1. The set V is contractible, and the path connected subset U V deformation retracts onto the circle of radius 1/2. The map Z π 1 (U V ) π 1 (U ) π 1 (X) sends the generator to [φ]. The van Kampen theorem implies that π 1 (X ) π 1 (X)/ φ. Did you catch that we cheated in that proof? We need a basepoint in U V, so a careful proof would have a change-of-basepoint discussion. Higher dimensional cells? Proposition 1.9. Let X be pathconnected and let φ S n 1 X be an attaching map for an n-cell in X, based at x 0. Let X = X φ D n. If n 3, π 1 (X, ι(x 0 )) π 1 (X). Proof. Same proof as for 2-cell, but now U V S n 1 is simply connected. Example. Attach a 2-cell to S 1 along the double cover p 2 S 1 S 1. This loop corresponds to the element 2 in π 1 (S 1 ) Z, so X = RP 2 has π 1 (X ) Z/2Z. We saw RP n has a CW structure with 1 i-cell for i n. Attach a 3-cell to RP 2 along the double cover S 2 RP 2. By the proposition, this doesn t change the fundamental group, so π 1 (RP 3 ) Z/2Z, and similarly for higher RP n. Example. Attach a 2-cell to S 1 S 1 along the map aba 1 b 1, where a, b are standard inclusions S 1 S 1 S 1. The resulting CW complex is the torus S 1 S 1 and so π 1 (S 1 S 1 ) F 2 / aba 1 b 1 Z 2... Proposition The homomorphism φ F (a, b) Z 2 defined by φ(a) = (1, 0) and φ(b) = (0, 1) induces an isomorphism F (a, b)/ aba 1 b 1 Z 2. Proof. Let N F (a, b) be the normal subgroup generated by aba 1 b 1. By the first isomorphism theorem, F (a, b)/ker(φ) Z Z, so it suffices to show that N = ker(φ). Since aba 1 b 1 ker(φ), N ker(φ). Since N K, it suffices to show that K/N is trivial. Let gn K/N, so g = a n1 b m1 a n2 b m2 a n k. Since abn = ban, gn = a n1+ +n k b m1+ +m k N, but g K, so Σn i = 0 and Σm i = 0, so gn = en and K/N is tirivial. Example. The Klein bottle K is a quotient of I 2. Then π 1 (K) F (a, b)/ aba 1 b. Letting c = a 1 b allows us to rewrite this as π 1 (K) F (a, c)/ a 2 c 2. You can see this geometrically by cutting the square along the diagonal and repaste the triangles along the previously flip-identified edges graphs. Definition. A graph is a 1-dimensional CW complex. A tree is a connected graph such that it is not possible to start at vertex v 0, travel along successive edges, and arrive back at v 0 without using the same edge twice. Example. some examples and nonexamples, K 5, K 3,3, etc Proposition Any tree is contractible. If v 0 is a vertex of the tree T, then v 0 is a deformation retract of T. Proof. Suppose the tree is finite and induct on the number of edges. If T has one edge, it is homeomorphic to I. Assume any tree with n edges deformation retracts onto any vertex and let T be a tree with n + 1 edges. Let v 0 T and let v 1 T be a vertex that is maximally far away from v 0 in terms of number of edges traversed. Then v 1 is the endpoint of a unique
5 MATH730 5 edge e, which we can deformation retract onto its other endpoint. The result is a tree with n edges, which deformation retracts onto v 0 by the IH. Corollary Any tree is simply connected. Definition. If X is a graph and T X is a tree, we say that T is a maximal tree if it is not contained in any other larger tree. By Zorn s lemma, any tree is contained in some maximal tree. (see 1A.1) Theorem Let X be a connected graph and let T X be a maximal tree. The quotient space X/T is a wedge of circles, one for each edge of X T. The quotient q X X/T is a homotopy equivalence. Proof. The maximal tree T contains every vertex, so all edges in the quotient are loops. Define b X/T S 1 X by defining maps out of each wedge summand. Fix a vertex v 0 T and pick a deformation retraction of T to v 0. Then for each vertex v, the homotopy provides a path α v from v 0 to v. Given an edge in X T from v 1 to v 2, send the summand S 1 to the loop αv 1 2 eα v1. The composition q b on a wedge summand S 1 looks like c v0 id c v0 which is homotopic to the identity. The other composition b q is more complicated. (skip) Corollary The fundamental group of a graph is a free group. Theorem Let p E B be a covering map, where B is a connected graph. Then E is also a graph. Proof. A graph is the space obtained by gluing a set of edges to a set of vertices. Let B 0 be the set of vertices of B and let B e be the set of edges. Let E 0 E be p 1 (B 0 ) and define E e B e E 0 to be the set of pairs {(α {0, 1} B 0, v)} such that α(0) = p(v). Then we have compatible maps E 0 E and Ee I E (given by unique path lifting). These then give a map from the pushout E 0 I Ee I E. The pushout is a 1-dimensional CW complex and we will show this map is a homeomorphism. (surjective) Let x E. Then p(x) is in some 1-cell β of B. Pick a path γ in B from p(x) to a vertex b 0 which remains in β. Then γ lifts uniquely to a path γ starting at x in E. If v = γ(1), then x lives in the 1-cell (β, v), so f is surjective. (injective) (homeo) The map from the pushout to E is a map of covers which induces a bijection on fibers, so it is an isomorphism of covers. Theorem Any subgroup H of a free group G is free. Proof. Define B to be a wedge of circles, one for each generator of G. Then π 1 (B) G. Let H G and let p E B be a covering such that p (π 1 (E)) = H. By the previous result, E is a graph, so π 1 (E) is a free group.
MATH540: 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 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 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 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 informationMath 751 Week 6 Notes
Math 751 Week 6 Notes Joe Timmerman October 26, 2014 1 October 7 Definition 1.1. A map p: E B is called a covering if 1. P is continuous and onto. 2. For all b B, there exists an open neighborhood U of
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 informationMATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4
MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 ROI DOCAMPO ÁLVAREZ Chapter 0 Exercise We think of the torus T as the quotient of X = I I by the equivalence relation generated by the conditions (, s)
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 informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
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 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 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 informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
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 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 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 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 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 informationMAT 530: Topology&Geometry, I Fall 2005
MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1
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 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 informationMATH 215B. SOLUTIONS TO HOMEWORK (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements.
MATH 215B. SOLUTIONS TO HOMEWORK 2 1. (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements. Solution A presentation of D 4 is a, b a 4 = b 2 =
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 informationThe Van Kampen theorem
The Van Kampen theorem Omar Antolín Camarena Contents 1 The van Kampen theorem 1 1.1 Version for the full fundamental groupoid.................... 2 1.2 Version for a subset of the base points.....................
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 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 informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
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 informationTopology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1
Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma November 22, 203.3.8 Claim: A nice space X has a unique universal abelian covering space X ab Proof. Given a
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 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 informationLectures - XXIII and XXIV Coproducts and Pushouts
Lectures - XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion
More informationTHE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*
THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated
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 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 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 informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
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 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 informationNOTES ON THE FUNDAMENTAL GROUP
NOTES ON THE FUNDAMENTAL GROUP AARON LANDESMAN CONTENTS 1. Introduction to the fundamental group 2 2. Preliminaries: spaces and homotopies 3 2.1. Spaces 3 2.2. Maps of spaces 3 2.3. Homotopies and Loops
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 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 informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More information3. GRAPHS AND CW-COMPLEXES. Graphs.
Graphs. 3. GRAPHS AND CW-COMPLEXES Definition. A directed graph X consists of two disjoint sets, V (X) and E(X) (the set of vertices and edges of X, resp.), together with two mappings o, t : E(X) V (X).
More informationThe fundamental group of a locally finite graph with ends
1 The fundamental group of a locally finite graph with ends Reinhard Diestel and Philipp Sprüssel Abstract We characterize the fundamental group of a locally finite graph G with ends combinatorially, as
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 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 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 informationid = w n = w n (m+1)/2
Samuel Lee Algebraic Topology Homework #4 March 11, 2016 Problem ( 1.2: #1). Show that the free product G H of nontrivial groups G and H has trivial center, and that the only elements of G H of finite
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 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 informationCorrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015
Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The
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 informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-
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
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 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 informationTHE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about
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 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 informationMAS435 Algebraic Topology Part A: Semester 1 Exercises
MAS435 Algebraic Topology 2011-12 Part A: Semester 1 Exercises Dr E. L. G. Cheng Office: J24 E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ You should hand in your solutions to Exercises
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 informationBasic Notions in Algebraic Topology 1
Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from
More informationAN INTRODUCTION TO THE FUNDAMENTAL GROUP
AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental
More informationSPHERES AND PROJECTIONS FOR Out(F n )
SPHERES AND PROJECTIONS FOR Out(F n ) URSULA HAMENSTÄDT AND SEBASTIAN HENSEL Abstract. The outer automorphism group Out(F 2g ) of a free group on 2g generators naturally contains the mapping class group
More informationFIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.
FIRST SSIGNMENT DUE MOND, SEPTEMER 19 (1) Let E be an equivalence relation on a set. onstruct the set of equivalence classes as colimit in the category Sets. Solution. Let = {[x] x } be the set of equivalence
More informationSMSTC Geometry and Topology Lecture 5. The Seifert van Kampen Theorem
1 SMSTC Geometry and Topology 2011 2012 Lecture 5 The Seifert van Kampen Theorem Andrew Ranicki (Edinburgh) 10th November, 2011 2 Introduction Topology and groups are closely related via the fundamental
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 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 information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
More information1 Introduction. Goal and Outline
1 Introduction These notes are from a minicourse by Matt Clay at The Geometry of Outer Space: Investigated through its analogy with Teichmueller space, a conference held at Aix-Marseille Universite June
More informationFolding graphs and applications, d après Stallings
Folding graphs and applications, d après Stallings Mladen Bestvina Fall 2001 Class Notes, updated 2010 1 Folding and applications A graph is a 1-dimensional cell complex. Thus we can have more than one
More information3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.
Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least
More informationSolutions to homework problems
Solutions to homework problems November 25, 2015 Contents 1 Homework Assignment # 1 1 2 Homework assignment #2 6 3 Homework Assignment # 3 9 4 Homework Assignment # 4 14 5 Homework Assignment # 5 20 6
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 informationNotes on Geometry of Surfaces
Notes on Geometry of Surfaces Contents Chapter 1. Fundamental groups of Graphs 5 1. Review of group theory 5 2. Free groups and Ping-Pong Lemma 8 3. Subgroups of free groups 15 4. Fundamental groups of
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationThe Fundamental Group and The Van Kampen Theorem
The Fundamental Group and The Van Kampen Theorem Ronald Alberto Zúñiga Rojas Universidade de Coimbra Departamento de Matemática Topologia Algébrica Contents 1 Some Basic Definitions 2 The Fundamental Group
More informationGENERALIZED COVERING SPACE THEORIES
Theory and Applications of Categories, Vol. 30, No. 35, 2015, pp. 1132 1162. GENERALIZED COVERING SPACE THEORIES JEREMY BRAZAS Abstract. In this paper, we unify various approaches to generalized covering
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 informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
More informationQuiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.
Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X
More informationCourse on Algebraic Topology
Course on Algebraic Topology Yankı Lekili, Fall 2014 1 Introduction Recollections from point-set topology: A topology on a set is a way of measuring nearness of points. Recall that a topological space
More informationTopology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1
Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1 Andrew Ma December 22, 2013 This assignment has been corrected post - grading. 0.29 In case the CW complex
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 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 informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
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 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 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 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 informationBACHELORARBEIT. Graphs of Groups. and their Fundamental Groups
BACHELORARBEIT Graphs of Groups and their Fundamental Groups Verfasserin: Martina Pflegpeter Matrikel-Nummer: 0606219 Studienrichtung: A 033 621 Mathematik Betreuer: Bernhard Krön Wien, am 01. 03. 2011
More informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationCOVERING SPACES TEJASI BHATNAGAR
COVERING SPACES TEJASI BHATNAGAR Abstract. We will study the concept of the fundamental group of a topological space. In addition, we will also study covering spaces of a topological space and its relation
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 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 informationTOPOLOGY AND GROUPS. Contents
TOPOLOGY AND GROUPS Contents Introduction............................... 2 Convention and Notation......................... 3 I. Constructing spaces 1. Cayley graphs of groups..................... 4 2.
More informationMath 225C: Algebraic Topology
Math 225C: Algebraic Topology Michael Andrews UCLA Mathematics Department June 16, 2018 Contents 1 Fundamental concepts 2 2 The functor π 1 : Ho(Top ) Grp 3 3 Basic covering space theory and π 1 (S 1,
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
More information