Math 751 Week 6 Notes

Size: px
Start display at page:

Download "Math 751 Week 6 Notes"

Transcription

1 Math 751 Week 6 Notes Joe Timmerman October 26, 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 b which is evenly covered, i.e., p 1 (U) = α V α, where the v α are disjoint and open, and p Vα : V α U is a homeomophism. Example p: R S 1, t e 2πit 2. id X : X X 3. p: X {1,..., n} X, (x, k) x 4. p: S 1 S 1, z z n 5. p: S n RP n, x [x] = {±x} 6. p: C C, z e x 7. Products of covering maps: If p i : E i B i, i = 1, 2 are coverings, then p 1 p 2 : E 1 E 2 B 1 B 2 is a covering. 1. Being a covering implies the map is open and locally a homeomor- Remark 1.3. phism. 2. Not any local homeomorphism is a covering. 3. p 1 (b) is discrete, for all b B (by disjointness.) Definition 1.4. Let p 1 : E 1 B, p 2 : E 2 B be two coverings. We say p 1 and p 2 are equivalent if there exists a homemorphism f : E 1 E 2 such that p 2 f = p 1. Note: This is an equivalence relation. Problem: Find all coverings of a space B (up to equivalence.) 1

2 Lemma 1.5. If p: E B is a covering, B 0 B, and E 0 := p 1 (B 0 ), then p E0 : E 0 B 0 is a covering. Example 1.6. Let p: R 2 T 2 be a covering. Overlay the integer lattice on R 2, and identity each square with a torus in the usual way. Let p 0 = (1, 0) S 1, and let B 0 = S 1 {p 0 } {p 0 } S 1. Then p 1 (B 0 ) = R Z ζ R (so it gets rid of the inside of the squares.) Theorem 1.7 (Path lifting property). Let P : E B be a covering, b 0 B, and e 0 p 1 (b 0 ). If γ : I B is a path in B starting at b 0, then there is a unique lift γ e0 : I E such that γ e0 (0) = e 0. The proof of this theorem follows from the previous lemma. Theorem 1.8 (Homotopy lifting property). Let F : I I B be a homotopy with b 0 := F (0, 0). Then there is a unique lift F : I I E of F such that F (0, 0) = e 0. Corollary 1.9. If γ 1, γ 2 are paths in B which are homotopic by some F, then γ 1 (0) = γ 2 (0) = b 0, then ( γ 1 ) e0 F ( γ 2 ) e0. In particular, these lifts have the same endpoints: ( γ 1 ) e0 (1) = ( γ 2 ) e0 (1). Definition Let b 0 B. For e 0 p 1 (b 0 ), define Φ e0 : π 1 (B, b 0 ) p 1 (b 0 ) [γ] γ e0 (1) Note that by corollary 1.9, this map is well-defined. Theorem Let Φ e0 be defined as above. Then Φ e0 is onto if E is path-connected, and it is injective if E is simply connected. Proof. First suppose that E is path-connected. Let e 1 p 1 (b 0 ), and let δ be a path in E from e 0 to e 1. Then p δ is a path in B. Further, γ := p δ : I B is a loop in B with base point b 0. Then δ is a lift of γ starting at e 0. Then we have φ e0 ([γ]) = γ e0 (1) = δ(1) = δ 1, so φ e0 is surjective. Note that the equality γ e0 (1) = δ(1) comes from the uniqueness of lifts. Now suppose E is simply connected. Let γ 1, γ 2 be loops in B with base point b 0 such that φ e0 ([γ 1 ]) = φ e0 ([γ 2 ]) = e 1. By definition, this means that ( γ 1 ) e0 (1) = ( γ 2 ) e0 (1). To show that φ e0 is injective, we must show γ 1 γ 2. Since E is simply connected, there is a unique homotopy class of paths from e 0 to e 1, so ( γ 1 ) e0 ( γ 2 ) e0 by some homotopy F. This gives a homotopy p F : I I B from p ( γ 1 ) e0 = γ 1 to p ( γ 2 ) e0 = γ 2, which shows that φ e0 is injective. Example Let p: S n RP n be a covering. For n 2, S n is path-connected and simply connected. Then by theorem 1.11, Φ e0 : π 1 (RP n, b 0 ) (p 1 (b 0 ) is a bijection. Since #p 1 (b 0 ) = 2, it must be that π 1 (RP n, b 0 ) = Z/2Z. 2

3 Example Let p: R S 1, t e 2πit. Since R is both simply connected and patheconnected, theorem 1.11 tell us that φ e0 : π 1 (S 1, b 0 ) Z is a bijection. To show that the groups are isomorphic, we now need to show that φ e0 is a homomorphism. Let γ, δ π 1 (S 1, b 0 ), and let γ 0, δ 0 be their lifts in R. Let γ 0 (1) = n Z, δ 0 (1) = m Z. By definition, φ e0 ([g]) = n, φ e0 ([δ]) = m. Claim φ e0 ([g] [δ]) = n + m (i.e., it is a homomorphism.) Proof. We have φ e0 ([δ] [γ]) = φ e0 ([δ γ]) = (γ δ) 0 (1) = ( γ 0 δ )(1) = δ (1) = n + m Now set δ (t) = n + δ 0 (t) so that δ (0) = n, δ (1) = n + m. Thus, φ e0 and therefore an isomorphism. is a homomorphism Proposition If p: E B is a covering and B is path-connected, and b 0, b 1 B, there there is a bijection p 1 (b 0 ) p 1 (b 1 ). Proof. Let γ be a path in B from b 0 to b 1 (which exists because B is path-connected.) Define the bijection f γ : p 1 (b 0 ) p 1 (b 1 ) by e 0 γ e0 (1). It has inverse (f γ ) 1 = f γ. 2 October 9 Proposition 2.1. Let E be path connected, p: E B a covering, and p(e 0 ) = b 0. Then p : π 1 (E, e 0 ) π 1 (B, b 0 ) is injective. Further, if e 0 is changed to some other e 1 p 1 (b 0 ), then the images of p are conjugate in π 1 (B, b 0 ). Proof. Let p ([γ 1 ]) = p ([γ 2 ]). Then P γ 1 p γ 2 by some homotopy F. By homotopy lifting, we have that ( p γ 1 ) e0 ( p γ 2 ) e0, which implies that γ 1 γ 2, by the uniqueness of lifts. Thus, p is injective. Now let e 1 be a different point in the fiber of p over b 0. Define H 1 = P π 1 (E, e 0 ), H 2 = p π 1 (E, e 1 ). We want to show these are conjugate. First let δ be a path in E from e 0 e 1. Then the following diagram commutes: p π 1 (E, e 0 ) π 1 (B, b 0 ) δ # (p δ) # π 1 (E, e 1 ) π 1 (B, b 0 ) Note that δ # is an isomorphism. So we have H 1 = (p δ)# H 2, by conjugation with [p δ]. Theorem 2.2. Let E be path-connected, p: E B a covering map, and e 0 p 1 (b 0 ). Let H := p π 1 (E, e 0 ) π 1 (B, b 0 ). Then: 3

4 a A closed path γ in B based at b 0 lifts to a loop in E at e 0 iff [γ] H. b φ e0 : H\π 1 (B, b 0 ) p 1 (b 0 ), [γ] γ e0 (1) is a bijection. In particular #p 1 (b 0 ) = [π 1 (B, b 0 ): p π 1 (E, e 0 )]. Proof of (b). First show that φ e0 is well-defined, i.e., if [δ] H, then φ e0 ([δ[ [γ]) = φ e0 ([γ]). We have φ e0 ([γ] [δ]) = φ e0 ([δ γ]) = ( δ γ) e0 (1) = ( δ e0 γ δe0 (1) )(1) = γ δe0 (1) By part (a), since [δ] H, we have that δ e0 (1) = e 0. Thus, γ δe0 (1) = φ e 0 ([γ]), so it s well defined. From last class we know that φ e0 is onto, so it remains to show that it s injective. Suppose that φ e0 ([γ 1 ]) = φ e0 ([γ 2 ]). By definition, this means that ( γ 1 ) e0 (1) = ( γ 2 ) e0 (1). Thus, ( γ 1 ) e0 ( γ 2 ) e0 is a loop in E based at e 0, which is in turn a lift of γ 1 γ 2. By (a), [γ 1 γ 2 ] H. Finally, [γ 1 ] = [γ 1 γ 2 γ 2 ] = [γ 1 γ 2 ] [γ 2 ]. Note that [γ 1 γ 2 ] H, so γ 1, γ 2 are equivalent in the set of cosets. Thus, the function is injective. Theorem 2.3 (Lifting Lemma). Let E, B, Y be path-connected and locally path-connected (i.e., for all x X and for all neighborhoods U x of x, there exists a V k which is path connected-connected, contains x, and is contained in U x.) Let p: E B be a cover, b 0 B, e 0 p 1 (b 0 ), and f : Y B such that f(y 0 ) = b 0. Then there exists a lift f : Y E such that f(y 0 ) = e 0, p f = f iff f (π 1 (Y, y 0 ) p π 1 (E, e 0 ). E, e 0 f p f Y, y 0 B, b 0 Proof. The direction is clear. Let y Y. How should we define f(y)? Let α be a path iny from y 0 to y 1. Then f γ is a path in B starting at b 0. Define f(y) := ( f α)(1). We have (p f)(y) = p ( f α) e0 (1) = f α(1) = f(y). Thus, f is actually a lift. Now we need to show f is well-defined (i.e., independent of α). If β is another path iny from y 0 to y, then α β π 1 (Y, y 0 ), so f (α β) f π 1 (Y, y 0 ). Now by assumption, we have f π 1 (Y, y 0 ) p π 1 (E, e 0 ). This means that ( f (α β)) e0 is a loop at e 0. Then we have ( f α) e0 ( f β) ( f α) e0 = ( f α) (f β) = (f α) (f β) This means that ( f α) e0 = ( f β) e0, which is what we wanted to show. Now we need to show that f is continuous. Let y Y, and let U be a path connected neighborhood of f 1 (y 1 ) B (which exists by the locally-connected assumption). Let V be the slice in p 1 (U) which contains f(y 1 ). By the continuity of f, there is some pathconnected neighborhood of y, say W, in Y such that f(w ) U. Then f = (p V ) 1 f W is continuous. 4

5 Corollary 2.4. If Y is simply connected, then such a lift always exists. Proposition 2.5. (Lift uniqueness) If Y is connected and f 1, f 2 : Y E are two lifts as in the previous theorem, then f 1 = f 2. Proof. Let A = {y : f 1 (y) = f 2 (y)} =. We will show A = Y by showing that A is both open and closed. Let y Y, and let U be an evenly covered neighborhood of f(y) in B. Then we have p 1 (u) = α Ũ α such that p Ũα : Ũα U is a homeomorphism. Let Ũ1, Ũ2 be the Ũα containing f 1 (y) and f 2 (y), respectively. Note that the f i are continuous, so there is a neighborhood N of y such that f 1 (N) Ũ1 and f 2 (N) Ũ2. If f 1 (y) f 2 (y), then Ũ 1 Ũ2, so Ũ1 Ũ2 =. This means that f 1 f 2 on N, so A is closed (as the complement of an open set). On the other hand, if f 1 (y) = f 2 (y), then Ũ1 = Ũ2, which implies that f 1 = f 2 on N (since p f 1 = p f 2 = f, and p is injective on Ũ1 = Ũ2). Thus, A is open, which proves the proposition. Exercise 1. Any continuous map RP 2 S 1 is null-homotopic. 5

Homework 3 MTH 869 Algebraic Topology

Homework 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 information

MATH730 NOTES WEEK 8

MATH730 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 information

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

Fundamental 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 information

Math 752 Week s 1 1

Math 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 information

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4

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

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS 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 information

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

Algebraic 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 information

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

ALGEBRAICALLY 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 information

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

AN 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 information

1 Whitehead s theorem.

1 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 information

Math 440 Problem Set 2

Math 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 information

FIRST 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 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 information

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: 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 information

Corrections 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 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 information

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

Math 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 information

Introduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D

Introduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D Introduction to Riemann Surfaces Lecture Notes Armin Rainer dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D June 17, 2018 PREFACE i Preface These are lecture notes for the course Riemann surfaces held

More information

Lecture 6: Etale Fundamental Group

Lecture 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 information

MAT 530: Topology&Geometry, I Fall 2005

MAT 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 information

CALCULATION OF FUNDAMENTAL GROUPS OF SPACES

CALCULATION 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 information

MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS

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 information

The Fundamental Group and Covering Spaces

The 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 information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE 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 information

Applications of Homotopy

Applications 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 information

Algebraic Topology I Homework Spring 2014

Algebraic 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 information

The Fundamental Group and The Van Kampen Theorem

The 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 information

Math 215a Homework #1 Solutions. π 1 (X, x 1 ) β h

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 information

CLASS NOTES MATH 527 (SPRING 2011) WEEK 5

CLASS 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 information

10 Excision and applications

10 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 information

COVERING SPACES TEJASI BHATNAGAR

COVERING 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 information

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

FUNDAMENTAL 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 information

Math 6510 Homework 11

Math 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 information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

Semidirect products are split short exact sequences

Semidirect products are split short exact sequences CHAPTER 16 Semidirect products are split short exact sequences Chit-chat 16.1. Last time we talked about short exact sequences G H K. To make things easier to read, from now on we ll write L H R. The L

More information

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition

More information

Basic Notions in Algebraic Topology 1

Basic 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 information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

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

CELLULAR 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 information

GENERALIZED COVERING SPACE THEORIES

GENERALIZED 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 information

SOME 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 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 information

Solutions to homework problems

Solutions 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 information

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

Math 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 information

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER

THE 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 information

Algebraic Topology Exam 2006: Solutions

Algebraic 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 information

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

3. 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 information

MA441: Algebraic Structures I. Lecture 18

MA441: Algebraic Structures I. Lecture 18 MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :

More information

THE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS

THE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open

More information

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

1 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 information

Introduction to Topology

Introduction to Topology Introduction to Topology Chapter 9. The Fundamental Group Section 52. The Fundamental Group Proofs of Theorems February 5, 2018 () Introduction to Topology February 5, 2018 1 / 8 Table of contents 1 Theorem

More information

REPRESENTATION THEORY. WEEK 4

REPRESENTATION THEORY. WEEK 4 REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators

More information

PREISSMAN S THEOREM ALEXANDER GRANT

PREISSMAN S THEOREM ALEXANDER GRANT PREISSMAN S THEOREM ALEXANDER GRANT Abstract. This paper presents a proof of Preissman s Theorem, a theorem from the study of Riemannian Geometry that imposes restrictions on the fundamental group of compact,

More information

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

Geometry 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 information

William G. Dwyer Clarence W. Wilkerson

William G. Dwyer Clarence W. Wilkerson Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy

More information

Assignment 6; Due Friday, February 24

Assignment 6; Due Friday, February 24 Assignment 6; Due Friday, February 24 The Fundamental Group of the Circle Theorem 1 Let γ : I S 1 be a path starting at 1. This path can be lifted to a path γ : I R starting at 0. Proof: Find a covering

More information

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

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 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 information

Algebraic Topology M3P solutions 2

Algebraic 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 information

PICARD S THEOREM STEFAN FRIEDL

PICARD 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 information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

SMSTC 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 information

Chapter 1. Smooth Manifolds

Chapter 1. Smooth Manifolds Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Equivalence of the Combinatorial Definition (Lecture 11)

Equivalence 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

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

Fibers, Surjective Functions, and Quotient Groups

Fibers, Surjective Functions, and Quotient Groups Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset

More information

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.

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

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

Math 225C: Algebraic Topology

Math 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 information

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

637 Course Notes. Texas A&M University. February 24, 2015 637 Course Notes Zoran Šunić Texas A&M University February 24, 2015 2 Contents 1 Preliminaries 5 1.1 Basic notions and properties of group actions........................... 5 1.1.1 Definition, examples,

More information

Math 215B: Solutions 3

Math 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 information

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH

ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.

More information

arxiv:math/ v1 [math.gt] 4 Jan 2007

arxiv:math/ v1 [math.gt] 4 Jan 2007 MAPS TO THE PROJECTIVE PLANE arxiv:math/0701127v1 [math.gt] 4 Jan 2007 JERZY DYDAK AND MICHAEL LEVIN Abstract. We prove the projective plane RP 2 is an absolute extensor of a finite-dimensional metric

More information

The Fundamental Group

The 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 information

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle

More information

BEN KNUDSEN. Conf k (f) Conf k (Y )

BEN KNUDSEN. Conf k (f) Conf k (Y ) CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 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 information

MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION

MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic

More information

GELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004

GELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004 GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,

More information

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY

HOMEWORK 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 information

Note: all spaces are assumed to be path connected and locally path connected.

Note: 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 information

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1. MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection

More information

3. GRAPHS AND CW-COMPLEXES. Graphs.

3. 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 information

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP CHRISTIAN KLEVDAL Contents 1. Introduction 1 2. A Category of Covers 2 3. Uniform Spaces and Topological Groups 6 4. Galois Theory of Semicovers

More information

Homology lens spaces and Dehn surgery on homology spheres

Homology lens spaces and Dehn surgery on homology spheres F U N D A M E N T A MATHEMATICAE 144 (1994) Homology lens spaces and Dehn surgery on homology spheres by Craig R. G u i l b a u l t (Milwaukee, Wis.) Abstract. A homology lens space is a closed 3-manifold

More information

A Primer on Homological Algebra

A Primer on Homological Algebra A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

More information

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS DIFFERENTIAL GEOMETRY PROBLEM SET SOLUTIONS Lee: -4,--5,-6,-7 Problem -4: If k is an integer between 0 and min m, n, show that the set of m n matrices whose rank is at least k is an open submanifold of

More information

Course on Algebraic Topology

Course 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 information

Math 210C. Size of fundamental group

Math 210C. Size of fundamental group Math 210C. Size of fundamental group 1. Introduction Let (V, Φ) be a nonzero root system. Let G be a connected compact Lie group that is semisimple (equivalently, Z G is finite, or G = G ; see Exercise

More information

Introduction to higher homotopy groups and obstruction theory

Introduction 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 information

S 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

S 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 information

MATH 215B HOMEWORK 5 SOLUTIONS

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

Bordism and the Pontryagin-Thom Theorem

Bordism and the Pontryagin-Thom Theorem Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such

More information

Lecture 4: Stabilization

Lecture 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 information

An Outline of Homology Theory

An Outline of Homology Theory An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented

More information

Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.

Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk. Math 31 Lesson Plan Day 22: Tying Up Loose Ends Elizabeth Gillaspy October 31, 2011 Supplies needed: Colored chalk Other topics V 4 via (P ({1, 2}), ) and Cayley table. D n for general n; what s the center?

More information

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

More information

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Let X be a topological space. We want it to look locally like C. So we make the following definition. February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

THE 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* 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 information

We have the following immediate corollary. 1

We 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

Homology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011

Homology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011 Math 757 Homology theory March 9, 2011 Theorem 183 Let G = π 1 (X, x 0 ) then for n 1 h : π n (X, x 0 ) H n (X ) factors through the quotient map q : π n (X, x 0 ) π n (X, x 0 ) G to π n (X, x 0 ) G the

More information