MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4
|
|
- Alfred Harrison
- 5 years ago
- Views:
Transcription
1 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) (, s) (s, ) (s, ) s I (note that in this case I denotes the interval [, ]). If X denotes the boundary of X in R 2, then X/ is homeomorphic to S S (where is as above). The torus with a point removed T p} is homeomorphic to (X (0, 0)})/. The boundary X is a deformation retract of X (0, 0)}. The retraction is given by x f t (x) = ( t)x + t, x where (a, b) = max a, b }, as usual. The retraction f t is compatible with the equivalence relation (in the sense that f t (x) f t (y) whenever x y). Therefore it induces a deformation retraction g t from (X (0, 0)})/ to X/, in other words from T p} to S S (note that g t is given by g t ([x] ) = [f t (x)] ). Chapter 0 Exercise 9 Let X be a contractible space and A be a retract of X. Denote by f t the contraction of X (the homotopy between id X and a constant c x0 ), by r the retraction of X onto A, and by i the inclusion of A into X. Consider g t = r f t i. Then G(a, t) = g t (a) is continuous, since it can be factored as a composition of continuous maps: A I i idi where F (x, t) = f t (x). Moreover: G X I F X r A g 0 = r f 0 i = r id X i = r i = id A g = r f 0 i = r c x0 i = c r(x0) Therefore g t defines a homotopy between id A and a constant, and we conclude that A is contractible.
2 Chapter 0 Exercise 6 We think S n as the one point compactification of R n. From this point of view, the inclusion S n S n+ is just the inclusion of R n } inside R n+ } given by the hyperplane x n+ = 0 (and that identifies the points at infinity). Therefore S = n S n is homeomorphic to R }, where R is the union n R n equipped with the weak topology. Although S n is not contractible, it is possible to deform it into a point if we allow to move the space inside S n+. The equations for this deformation are very easy if we use the notation of R n }: R n } is defined inside R n+ } by the condition x n+ = 0; the contraction is obtained by making the coordinate x n+ go to infinity. The idea is to combine all these maps to get the contraction of S. First we define the inclusion of S into S + : ϕ : R } R } (x, x 2,...) (0, x, x 2,...) ϕ is continuous, since R } has the weak topology an the restriction maps ϕ R n } : R n } R n+ } are continuous. Moreover, using the convexity of R, we can easily find a homotopy between ϕ and the identity: f t ( ) = f t (x) = ( t)x + tϕ(x) if x R Again, if we restrict to R n } we can check that f t (x) is continuous (in both x and t). After shifting the first coordinate, we can make everything go to infinity: ϕ t : R } R } (x, x 2,...) t ( t, x, x 2,...) and ϕ = c. These maps are continuous (to check restrict again to the finite level), and they define a homotopy between ϕ = ϕ 0 and ϕ = c. Since the identity of S is homotopic to ϕ, and ϕ is nullhomotopic, we can conclude that S is contractible. Chapter Section. Exercise 6 Assume that f and g are paths in X such that f g is a loop. Then we claim that f g and g f define the same homotopy class in [S, X]. To see this, denote by h 0 and h the maps from S to X corresponding to f g and g f respectively. h 0 (e 2πis f(2(s k)) if s k + [0, / 2 ] for some k Z ) = g(2(s k) ) if s k + [ / 2, ] for some k Z h (e 2πis g(2(s k)) if s k + [0, / 2 ] for some k Z ) = f(2(s k) ) if s k + [ / 2, ] for some k Z Note that h (z) = h 0 (ze πi ) = h 0 ( z). Then the homotopy between h 0 and h is given by h t (z) = h 0 (ze πit ). 2
3 Assume that X is path-connected and let [f ] be a class in [S, X]. Since X is path-connected, we can find a path h joining y = f() and x 0. Then h f h is a loop based at x 0, and [[h f h] = Φ([h f h]) is in the image of Φ. But, by the previous result, [f ] = [f h h] = [h f h], and we see that Φ is surjective. If [f] and [g] are conjugate in π (X, x 0 ), then [f] = [h g h] for some loop h, and we can use the claim to show that: Φ([f]) = Φ([h g h]) = [h g h] = [g h h] = [g ] = Φ([g]) Conversely, assume that Φ([f]) = Φ([g]). Then [f ] = [g ] and we can find a homotopy h t between f and g. Define γ t (s) = h ts (). Then γ = γ is a loop that joins f() = x 0 with g() = x 0, and f is homotopic (as a loop) to γ g γ. The homotopy of loops is given by f t = γ t h t γ t. Therefore [f] = [γ g γ] = [γ][g][γ], that is, [f] is conjugate to [g] in π (X, x 0 ). Chapter Section. Exercise 3 Assume that the homomorphism i induced by the inclusion i : A X is surjective, and let f be a path in X with endpoints a 0 and a in A. Since A is path-connected, we can find a paths h 0, h inside A from a 0 and a to x 0. The composition (i h 0 ) f (i h ) is a loop in X centered at x 0. Since i is surjective, there is a path g in A such that [i g] = i ([g]) = [(i h 0 ) f (i h )]. In other words, f is homotopic to (i h 0 ) (i g) (i h ) = i (h 0 g h ), which is a path in A. Conversely, if every path in X with endpoints in A is homotopic to a path in A, every loop f in X based at x 0 A is homotopic to a loop of the form i (g) = i g for some loop g in A. Hence every class [f] of π (X, x 0 ) has a preimage for the map i, and i is surjective. Chapter Section. Exercise 6 d. A retraction from D 2 D 2 to S S would define a surjective homomorphism from π (D 2 D 2 ) = 0 to π (S S ) = Z Z, which is impossible (Z Z 0). e. Let X = D 2 /x, x} be a disk with two points on its boundary identified. Let Y be the diameter joining x and x. Then Y is a deformation retract of the disk, and this deformation is compatible with the identification of the two points. Therefore X is homotopy equivalent to Y/x, x} S. A retraction from X to its boundary S S would define a surjection from π (X) = π (S ) = Z to π (S S ) = Z Z, which is impossible (Z Z is nonabelian, and the image of an abelian group is always abelian). f. Define Y = [0, ] [, ] and consider the equivalence relation generated by (0, s) (, s) s [, ]. Then the Möbius band X can be obtained as the quotient space Y/. The maps f t (a, b) = (a, ( t)b) define [0, ] 0} as a deformation retract of Y, and induce a homotpy equivalence between X and the central circle S ([0, ] 0})/ 3
4 (given by f : [(a, b)] [(a, 0)] = e 2πia ). The map i : A X e 2πit [(2t, )] if t [0, / 2 ] [(2t, )] if t [ / 2, ] defines the inclusion of the boundary circle A S in X. The induced map i : Z = π (A) Z = π (X) is determined by the image of the generator of π (A). This generator is [ω ], where ω (t) = e 2πit. Then: [(2t, 0)] = e 2πi2t if t [0, / 2 ] f (i(ω (t))) = ω 2 (t) = [(2t, 0)] = e 2πi(2t ) = e 2πi2t if t [ / 2, ] and we see that i ([ω ]) is twice the generator of π (X). In other words, i is just multiplication by 2 : i (n) = 2n. Assume that there is a retraction r : X A. Then the map r : Z Z verifies which is impossible. 2 r () = r (2) = r (i ()) = (r i) () = id () = id() =, Chapter Section. Exercise 7 Let Y and Y 2 be two copies of S and X = Y Y 2. Points of Y i are written in the form e 2πis i, and we assume that e 0 is identified with e 0 2 in X. The fundamental group of X (based at e 0 = e 0 2) is isomorphic to Z Z. The generators are a = [f] and b = [g] where f(t) = e 2πit and g(t) = e 2πit 2. Consider the maps: ϕ n : X Y e 2πis e 2πis e 2πis 2 e 2πins Then each ϕ n is a retraction of Y, and the induced maps are given by: (ϕ n ) : Z Z Z a b n Since the induced maps are different, the retractions ϕ n are nonhomotopic. Chapter Section.2 Exercise 3 Let A = p,..., p k } be a finite set in R n (with n 3), and X its complement. Clearly X is path-connected, so to prove that it is simply-connected we only have to show that it has trivial fundamental group. Let B be a closed ball in R n and x and y any two points in the interior of B. Then the boundary B of B is a deformation retract of both B x} and B y}, and hence there is a homotopy equivalence between B x} and B y} that fixes B. This can be understood in the following way: we can move the points p,..., p k in small neighborhoods without changing the homotopy type of X. Therefore we will assume that p i = (i, 0,..., 0). 4
5 Let Y i be the closed ball of center p i and radius / 2 with respect to the norm (x,..., x n ) = max x,..., x n }. Let Z be the closure of the complement of i Y i. Then the boundary Y i is a deformation retract of Y i p i } for i =,..., k, and Z is a deformation retract of Z. We can combine all these deformations and we obtain that i Y i = ( i Y i ) Z is a deformation retract of X = ( i Y i p i }) Z. But i Y i is homotopy equivalent to the wedge sum of k copies of S n, which is simply-connected since n 3. Therefore the fundamental group of X is trivial. Chapter Section.2 Exercise 5 Let X be a finite graph in R 2 whose edges are straight segments. Consider R 2 embedded in S 2 = R 2 }, and denote by Y 0, Y,..., Y k the connected components of S 2 X. Since X R 2, one of these components contains ; assume it is Y 0. Therefore Y,..., Y k are the bounded complementary regions of X and Y 0 } is the unbounded one. One version of the Jordan curve theorem states that any closed curve in S 2 separates S 2 into a collection of disjoint regions, each one isomorphic to an open disk (and if the curve is simple closed, the number of such regions is exactly two). Y i is one of the regions determined by the curve Y i, therefore each Y i is homeomorphic to an open disk. Set p 0 = and choose points p i Y i for i =... k. Since Y i is homeomorphic to an open disk, each boundary Y i is a deformation retract of Y i p i }. Combining all these retractions, we see that X = i Y i is a deformation retract of S 2 p 0,..., p k } = R 2 p,..., p k }. Denote by r : R 2 p,..., p k } X this retraction. Choose any basepoint z 0 in Z = R 2 p,..., p k }. Since Z has the homotopy type of the wedge sum of k copies of S, the fundamental group π (Z, z 0 ) is free of rank k. A collection of generators is obtained in the following way: choose small disks centered at p,..., p k and consider loops g,..., g k parameterizing the boundaries of these disks; choose paths h 0,..., h k in Z from z 0 to g (0),..., g k (0); consider f i = h i g i h i ; then [f ],..., [f k ] generate the fundamental group. Set x 0 = r(z 0 ). Since r : Z X is a deformation retraction, π (X, x 0 ) has generators [r f ],..., [r f k ], and r f i = (r h i ) (r g i ) (r h i ). Recall that g i is the boundary of a small disk centered in p i, and that r maps the punctured disk Y i p i } to its boundary Y i. If the radius of the disk of g i is chosen small enough, clearly r g i is a path parameterizing the boundary Y i. Since we have a lot of freedom in the choice of h 0,..., h k, we can view r h 0,..., r h k as arbitrary paths joining the basepoint x 0 to the boundaries Y,..., Y k. To sum up, if X is a finite plane graph whose edges are straight segments, and Y,..., Y k are the bounded complementary regions of X, then π (X, x 0 ) is free of rank k with generators [γ 0 Y 0 γ 0 ],..., [γ k Y k γ k ], where γ 0,..., γ k are paths in X joining x 0 to Y,..., Y k. 5
Math 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 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 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 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 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 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 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 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 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 informationApplications of Homotopy
Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental
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 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 informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
More 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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. 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 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 information1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and
Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding
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 informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 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 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 informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
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 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 informationMath General Topology Fall 2012 Homework 8 Solutions
Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that
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 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 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 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 informationMunkres Chapter 9. The Fundamental Group
Munkres 51. Homotopy of Paths 1 Munkres Chapter 9. The Fundamental Group Note. These supplemental notes are based on James R. Munkres Topology, 2nd edition, Prentice Hall (2000). Note. We are interested
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 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 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 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 informationAssignment 4; Due Friday, February 3
Assignment ; Due Friday, February 3 5.6a: The isomorphism u f : π (X, x) π (X, y) is defined by γ f γ f. Remember that we read such expressions from left to right. So follow f backward from y to x, and
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 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 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 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 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 Exam 2006: Solutions
Algebraic Topology Exam 006: Solutions Comments: [B] means bookwork. [H] means similar to homework question. [U] means unseen..(a)[6 marks. B] (i) An open set in X Y is an arbitrary union of sets of the
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 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 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 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 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 informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
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 informationMath 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationAlgebraic Topology M3P solutions 1
Algebraic Topology M3P21 2015 solutions 1 AC Imperial College London a.corti@imperial.ac.uk 9 th February 2015 (1) (a) Quotient maps are continuous, so preimages of closed sets are closed (preimages of
More informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
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 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 informationBRAID GROUPS ALLEN YUAN. 1. Introduction. groups. Furthermore, the study of these braid groups is also both important to mathematics
BRAID GROUPS ALLEN YUAN 1. Introduction In the first lecture of our tutorial, the knot group of the trefoil was remarked to be the braid group B 3. There are, in general, many more connections between
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
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 informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More informationTHE RESIDUE THEOREM. f(z) dz = 2πi res z=z0 f(z). C
THE RESIDUE THEOREM ontents 1. The Residue Formula 1 2. Applications and corollaries of the residue formula 2 3. ontour integration over more general curves 5 4. Defining the logarithm 7 Now that we have
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationTHE 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 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 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 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 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 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 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 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 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
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 HOMEWORK PROBLEMS WINTER QUARTER 2011
Department of Mathematical Sciences 839 Old Chemistry Building PO Box 210025 Phone (513) 556-4075 Cincinnati OH 45221-0025 Fax (513) 556-3417 ALGEBRAIC TOPOLOGY HOMEWORK PROBLEMS WINTER QUARTER 2011 Please
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
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 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 informationNote: all spaces are assumed to be path connected and locally path connected.
Homework 2 Note: all spaces are assumed to be path connected and locally path connected. 1: Let X be the figure 8 space. Precisely define a space X and a map p : X X which is the universal cover. Check
More informationPure Math 467/667, Winter 2013
Compact course notes Pure Math 467/667, Winter 2013 Algebraic Topology Lecturer: A. Smith transcribed by: J. Lazovskis University of Waterloo April 24, 2013 Contents 0.0 Motivating remarks..........................................
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
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 informationSome K-theory examples
Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
More information