Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

Similar documents
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.

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

Part II. Algebraic Topology. Year

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4

B 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.

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM

The Fundamental Group and Covering Spaces

MAT 530: Topology&Geometry, I Fall 2005

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

7.3 Singular Homology Groups

Bredon, Introduction to compact transformation groups, Academic Press

Solutions to Problem Set 1

MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS

MATH 215B HOMEWORK 4 SOLUTIONS

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

Applications of Homotopy

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

SOLUTIONS TO THE FINAL EXAM

Homework 3 MTH 869 Algebraic Topology

Algebraic Topology I Homework Spring 2014

7. Homotopy and the Fundamental Group

1. Classifying Spaces. Classifying Spaces

Math 213br HW 3 solutions

C n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },

MATH8808: ALGEBRAIC TOPOLOGY

Math 6510 Homework 10

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

10 Excision and applications

Fundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group

Algebraic Topology Homework 4 Solutions

MATH730 NOTES WEEK 8

Exercises for Algebraic Topology

CW-complexes. Stephen A. Mitchell. November 1997

Math 205C - Topology Midterm

Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2

x n y n d(x, y) = 2 n.

MATH 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.

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

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Homework 4: Mayer-Vietoris Sequence and CW complexes

M4P52 Manifolds, 2016 Problem Sheet 1

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015

Algebraic Topology M3P solutions 2

Math 210C. Size of fundamental group

Topological properties

Math 215B: Solutions 3

Geometry 2: Manifolds and sheaves

Homology of a Cell Complex

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

TOPOLOGY HW 8 CLAY SHONKWILER

Algebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

Fibre Bundles: Trivial or Not?

Math 147, Homework 6 Solutions Due: May 22, 2012

Math 6510 Homework 11

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

The Fundamental Group and The Van Kampen Theorem

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

Tree-adjoined spaces and the Hawaiian earring

Chapter 1. Smooth Manifolds

Algebraic Topology Exam 2006: Solutions

On the Diffeomorphism Group of S 1 S 2. Allen Hatcher

CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1

Basic Notions in Algebraic Topology 1

CALCULATION OF FUNDAMENTAL GROUPS OF SPACES

Math 751 Week 6 Notes

637 Course Notes. Texas A&M University. February 24, 2015

Math 440 Problem Set 2

Lecture 4: Stabilization

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

Cutting and pasting. 2 in R. 3 which are not even topologically

Introduction to Topology

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

We have the following immediate corollary. 1

Algebraic Topology. Len Evens Rob Thompson

THE FUNDAMENTAL GROUP AND CW COMPLEXES

Solution: 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:

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY

MATH 215B HOMEWORK 5 SOLUTIONS

SOLUTIONS TO HOMEWORK PROBLEMS

NOTES ON THE FUNDAMENTAL GROUP

3. GRAPHS AND CW-COMPLEXES. Graphs.

1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3

2.5 Excision implies Simplicial = Singular homology

The Fundamental Group

Math 550 / David Dumas / Fall Problems

arxiv: v1 [math.gt] 25 Jan 2011

Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1

Math 396. Bijectivity vs. isomorphism

Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1.

GEOMETRY FINAL CLAY SHONKWILER

Algebraic Topology exam

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

June 2014 Written Certification Exam. Algebra

Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm

Transcription:

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 path connected. c. Show that if Y is contractible, then for any X the set [X,Y ] of homotopy classes of maps from X to Y has a single element. d. Show that if X is contractible and Y is path connected, then [X,Y ] has a single element. Explain what may happen when Y is not path connected. Problem 2. Let p: M N be a smooth surjective map between compact smooth manifolds of same dimension (i.e. dim M = dim N). Suppose that every point of M is a regular point. i. Show that every y N has an open, path-connected neighborhood U such that p 1 (U) is a disjoint union U 1 U r of open subsets of M having the property that the restriction p U i is a diffeomorphism between U i and U, for all i = 1,...,r. ii. Show that if Y is connected, then the number r of connected components of p 1 (U) does not depend on y. Problem 3. Solve the following problems: i. Verify that the map p n : S 1 S 1 defined by p(z) = z n satisfies the hypothesis in the previous question. ii. Verify that the map ρ: S n RP n, sending x S n to the line 0x through the origin 0 and x R n+1, also satisfies the hypothesis of previous question. iii. Consider the continuous group homomorphism p: R S 1 sending x R to exp 2πix. Show that for every proper connected subspace U S 1, the map p carries every component of p 1 (U) homeomorphically onto U. Problem 4. Let A X be a retract of X (i.e. there is r: X A such that r A = 1 A ) and pick a 0 A. Show that for all n 1, the n-th homotopy group π n (A,a 0 ) is a subgroup of π n (X,a 0 ). Spring 2006 Problem List I Page 1 of 5

Problem 5. Consider the torus T = (I I)/ obtained by identifying points (x,0) (x,1) and (0,y) (1,y), for all x,y I. The line segments {1} I and I {1} are both mapped into circles C 1 and C 2, respectively, under the quotient map ρ: I I T. Show that both C 1 and C 2 are retracts of T, but neither is a deformation retract of T. Problem 6. Solve the following problems: i. Let f : s n 1 B be a map, and define X = B f D n be the space obtained by attaching an n-cell D n to B via f. (The pair (X,B) is called a relative cell complex.) Show that B X is a strong deformation retract of the space obtained from X by deleting an interior point of D n. ii. Consider X = S m S n and let A X be the subspace A = S m S n := {s 0 } S n S m {t 0 }. Show that A is a strong deformation retract of the space obtained from X by removing a point not in A. Problem 7. Given a path γ: I X from x 0 to x 1, let h γ : π 1 (X,x 1 ) π 1 (X,x 0 ) denote the induced isomorphism. Show that π 1 (X,x 0 ) is abelian if and only if for every pair α and β of paths from x 0 to x 1 one has h α = h β. Problem 8. Answer the following questions: a. Let A X; suppose r: X A is a retraction (i.e. r(a) = a for all a A). If a 0 A, show that r # : π 1 (X,a 0 ) π 1 (A,a 0 ) is surjective. b. Let L R n be a 2-dimensional linear subspace of R n and let p L be a arbitrary point in L. Show that there is no retraction r: R n L {p}. Problem 9. Let G be a topological group with operation and identity element e. Let Ω(G,e) be the set of all loops in G based at e. If f,g Ω(G,e), define a loop f g by the rule: (f g)(t) = f(t) g(t). a. Show that Ω(G,e) is a group under the operation. b. Show that this operation induces a group operation on the set π 1 (G,e) of based homotopy classes of maps from (S 1,1) to (G,e). c. Show that the group operation on π 1 (G,e) coincides with the usual operation on the fundamental group (induced by the concatenation of paths). (HINT: Compute (f C e ) (C e g).) Spring 2006 Problem List I Page 2 of 5

d. Show that for every point x 0 G, the fundamental group π 1 (G,x 0 ) is abelian. Problem 10. Let p 1 : X 1 Y 1 and p 2 : X 2 Y 2 be covering maps. Show that p 1 p 2 : X 1 X 2 Y 1 Y 2 is a covering map. Problem 11. Let p: X Y be a covering map (Y connected). Show that if the fiber p 1 (y 0 ) has k elements for some y 0 Y, then p 1 (y) has k elements for all y Y. Problem 12. Let p: X Y and q: Y Z be covering maps and let ρ: X Z be ρ := q p. Show that if q 1 (z) is finite for all z Z then ρ is a covering map. Give a counterexample when this finiteness condition is not satisfied. Problem 13. Let p: X Y be a covering map. a. If Y is either regular, completely regular or locally compact Hausdorff, then so is X. b. If Y is compact and p 1 (y) is finite for all y Y, then X is compact. Problem 14. Let p: R S 1 denote the exponential covering map and let p p: R R S 1 S 1 be the product covering map. Let f(t) = (cos 2πt,sin 2πt) (cos 4πt sin4πt). a. Sketch what f looks like when S 1 S 1 is identified with the doughnut surface. b. Find a lifting ˆf of f to R R. Problem 15. Let p: X Y be a covering map (X is path connected). Show that if B is simply connected, then p is a homeomorphism. Problem 16. Use the fact (proven in class) that the n-th homotopy group of the sphere S n is NOT trivial to give a proof that the sphere S n is not a retract of the closed ball B n+1 R n+1. Problem 17. Show that every vector field on B n+1 points directly outward at some point of S n and directly inward at some point of S n. Problem 18. If h: S n S n is nulhomotopic, then h has a fixed point and h maps some point x to its antipode x. Problem 19. Show that the figure-eight S 1 S 1 is a deformation retract of doubly-punctured plane R 2 {p,q}, p q. Spring 2006 Problem List I Page 3 of 5

Problem 20. Let X = S n S n be the one-point union of two copies of S n. What is the fundamental group of X? (Warning: the one-point union of two simply-connected spaces is not necessarily simply connected.) Problem 21. Show that R 1 and R n are not homeomorphic if n > 1; and show that R 2 and R n are not homemorphic is n > 2. Problem 22. Using a covering space X S 1 S 1 of the figure-eight with finitely many sheets show that the fundamental group of S 1 S 1 is not abelian. In the following exercises, we assume that X is a union U V of two connected open subsets with the property that U V is connected; and x 0 U V. Denote by i 1 : U V U, i 2 : U V V, j 1 : U Xand j 2 : V X the respective inclusions. Problem 23. Suppose that the homomorphism i # : π 1 (U V,x 0 ) π 1 (X,x 0 ), induced by the inclusion i: U V X is trivial. Show that j 1 and j 2 induce an isomorphism: h: (π 1 (U,x 0 )/N 1 ) (π 1 (V,x 0 )/N 2 ) π 1 (X,x 0 ), where N 1 denotes the smallest normal subgroup of π 1 (U,x 0 ) containing the image of i 1# and, similarly, N 2 denotes the smallest normal subgroup of π 1 (V,x 0 ) containing the image of i 2#. Problem 24. Suppose that i 2# is surjective. Show that j 1# induces an isomorphism h: π 1 (U,x 0 )/M π 1 (X,x 0 ) where M is the smallest normal subgroup of π 1 (U,x 0 ) containing i 1# (ker i 2# ). Problem 25. Let X be a Hausdorff space and let A be a closed pathconnected subspace. Suppose that h: B n X is a continuous map that sends S n 1 to A and maps the interior Int(B n ) bijectively onto X A. Let a be a point of h(s n 1 ). If n > 2, what can you say about the homomorphism of π 1 (A,a) into π 1 (X,a), induced by the inclusion of A in X? Problem 26. Let G be a finitely presented group. Show that there is a compact Hausdorff space X whose fundamental group is isomorphic to G. Problem 27. Let T = S 1 S 1 be the torus, and let x 0 = (1,1) be a base point. Prove: Spring 2006 Problem List I Page 4 of 5

a. Every automorphism of π 1 (T,x 0 ) is induced by a homeomorphism of T with itself that sends x 0 to x 0. b. If E is a covering space of T, then E is homeomorphic to either R 2, or to S 1 R or to T itself. HINT: You may use the following: If F is a free abelian group of rank 2 and N is a nontrivial subgroup, then there is a basis a 1, a 2 for F such that i. Either ma 1 is a basis for N, for some m N; ii. or {ma 1,na 2 } is a basis for N, where m and n are positive integers. Using the three tipes of covering spaces, exhibit explicitly the distinct covering maps corresponding to the Galois correspondence between subgroups of π 1 (T,x 0 ) and based equivalence classes of based covering spaces of (T,x 0 ). Problem 28. Let q: X Y and r: Y Z be maps and let p = r q. a. Let q and r be covering maps. Show that if Z has a universal covering spacem, then p is a covering map. b. Give an example where q and r are covering maps but p is not. Problem 29. Let p: X B be a covering map (not necessarily regular); let G be its group of covering transformations. a. Show that the action of G on X is properly discontinuous; b. Let π: X X/G be the projection map. Show that there is a covering map k: X/G B such that k π = p. Problem 30. Give examples of: a. A group G of homeomorphisms of the torus T having order 2 such that T/G is homeomorphic to the torus. b. A group G of homeomorphisms of the torus T having order 2 such that T/G is homeomorphic to the Klein bottle. Spring 2006 Problem List I Page 5 of 5