Math 751 Week 6 Notes
|
|
- Reginald Cobb
- 5 years ago
- Views:
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 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 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 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 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 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 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 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 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 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 information1 Whitehead s theorem.
1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in
More informationMath 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 informationFIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.
FIRST SSIGNMENT DUE MOND, SEPTEMER 19 (1) Let E be an equivalence relation on a set. onstruct the set of equivalence classes as colimit in the category Sets. Solution. Let = {[x] x } be the set of equivalence
More 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 informationCorrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015
Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The
More informationMath 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 informationIntroduction 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 informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More 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 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 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 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 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 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 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 informationThe Fundamental Group and The Van Kampen Theorem
The Fundamental Group and The Van Kampen Theorem Ronald Alberto Zúñiga Rojas Universidade de Coimbra Departamento de Matemática Topologia Algébrica Contents 1 Some Basic Definitions 2 The Fundamental Group
More informationMath 215a Homework #1 Solutions. π 1 (X, x 1 ) β h
Math 215a Homework #1 Solutions 1. (a) Let g and h be two paths from x 0 to x 1. Then the composition sends π 1 (X, x 0 ) β g π 1 (X, x 1 ) β h π 1 (X, x 0 ) [f] [h g f g h] = [h g][f][h g] 1. So β g =
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More 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 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 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 informationMath 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 informationSemidirect 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 informationABSTRACT 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 informationBasic Notions in Algebraic Topology 1
Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from
More informationSynopsis 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 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 informationGENERALIZED COVERING SPACE THEORIES
Theory and Applications of Categories, Vol. 30, No. 35, 2015, pp. 1132 1162. GENERALIZED COVERING SPACE THEORIES JEREMY BRAZAS Abstract. In this paper, we unify various approaches to generalized covering
More informationSOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
More 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 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 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 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 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 informationMA441: 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 informationTHE 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 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 informationIntroduction 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 informationREPRESENTATION 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 informationPREISSMAN 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 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 informationWilliam 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 informationAssignment 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 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 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 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 informationMATRIX 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 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 informationChapter 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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More 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 informationSets 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 informationFibers, 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 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 informationRings 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 informationMath 225C: Algebraic Topology
Math 225C: Algebraic Topology Michael Andrews UCLA Mathematics Department June 16, 2018 Contents 1 Fundamental concepts 2 2 The functor π 1 : Ho(Top ) Grp 3 3 Basic covering space theory and π 1 (S 1,
More information637 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 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 informationABSTRACT 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 informationarxiv: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 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 informationMath 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 informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More 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 informationMODULI 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 informationGELFAND 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 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 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 informationMATH 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 information3. GRAPHS AND CW-COMPLEXES. Graphs.
Graphs. 3. GRAPHS AND CW-COMPLEXES Definition. A directed graph X consists of two disjoint sets, V (X) and E(X) (the set of vertices and edges of X, resp.), together with two mappings o, t : E(X) V (X).
More informationGENERALIZED 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 informationHomology 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 informationA 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 informationDIFFERENTIAL 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 informationCourse on Algebraic Topology
Course on Algebraic Topology Yankı Lekili, Fall 2014 1 Introduction Recollections from point-set topology: A topology on a set is a way of measuring nearness of points. Recall that a topological space
More informationMath 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 informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More 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 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 informationBordism 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 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 informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationMath 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 informationTeddy 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 informationLet 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 informationDefinitions. 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 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 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 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 informationHomology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011
Math 757 Homology theory March 9, 2011 Theorem 183 Let G = π 1 (X, x 0 ) then for n 1 h : π n (X, x 0 ) H n (X ) factors through the quotient map q : π n (X, x 0 ) π n (X, x 0 ) G to π n (X, x 0 ) G the
More information