Algebraic Topology Exam 2006: Solutions
|
|
- Annabella Pitts
- 5 years ago
- Views:
Transcription
1 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 form U V, where U X is open and V Y is open. (ii) An open set in X/ is a set U such that q (U) X is open, where q : X X/ is the map x [x]. (iii) An open set in X is one of the form U X where U X is open. (b)[3 marks. B] (i) α is continuous if and only if both π X α and π Y α are continuous, where π X and π Y are the projection maps. (ii) β is continuous if and only if β q is continuous. (iii) γ is continuous if and only if i γ is continuous, where i : X X is the inclusion map. (c)[5 marks. H] Suppose there is another topology satisfying the criterion. Denote by W = (X Y, T ) this topological space. Since the identity map on W is continuous, π X = π X id X : W X and π Y : W Y are continuous. Let φ : X Y W be the identity map on the set X Y. Since π X φ = π X : X Y X is continuous and π Y φ = π Y is continuous, φ is continuous. Similarly φ is continuous, so φ is a homeomorphism. (d)[7 marks. Variation on bookwork.] X/ is the image of X under the continuous map q, so is compact. The given condition implies that θ induces an injective map X/ H, which is continuous by (b)(ii). Let H be the image of this; since it is a subspace of H, it is Hausdorff. By (b)(iii), θ induces a continuous bijection ψ : X/ H. Let C X/ be closed. Then C is compact. [Proof: If U i : i I} is an open cover of C, where U i = V i C for some open V i X/, then V i : i I} X/ \C} is an open cover of X/, and so has a finite subcover V j : j J} X/ \C}. Then U j : j J} is a finite subcover of U i : i I}.] ψ(c) is a continuous image of a compact space, so is compact, and therefore closed in H since H is Hausdorff. Thus ψ is continuous, so ψ is a homeomorphism. (e) (i)[ marks. B] A = [0, ), B = z C : z = }, σ : A B given by σ(t) = e πit. (ii)[ marks, U] A = [0, ] with the indiscrete topology, B = [0, ] with the usual topology. σ : A B is the identity map..(a)[b, 5 marks](i) If α, β : X Y are continuous maps, a homotopy from α to β is a continuous map H : X I Y such that, for all x X, H(x, 0) = α(x) and H(x, ) = β(x).
2 (ii+iii) A homotopy equivalence is a continuous map α : X Y so that, for some continuous γ : Y X, α γ id Y and γ α id X. Then γ is a homotopy inverse of α. (b)[b, 5 marks] If α : X Y is continuous, H(x, t) = α(x) gives a homotopy α α. So is reflexive. If H : α β is a homotopy then H : β α, where H (x, t) = H(x, t), is a homotopy. So is symmetric. If H : α β and H : β γ are homotopies, then H : α γ, where H(x, t) = H (x, t) if 0 t H (x, t ) if t is a homotopy. So is transitive. (c)[b, 3 marks] Let H : α α and H : β β be homotopies. Then H(x, t) = H (H (x, t), t) gives a homotopy H : β α β α. (d)[u, marks](i) If α and β are homotopy inverses for α, β : X X, then (α β) (β α ) = α (β β ) α α id X α = α α id X, and similarly (β α ) (α β) id X. So α β is a homotopy equivalence with homotopy inverse β α. (ii) Let X be R and let α : X X be a constant map. Then α is a homotopy equivalence, since X is contractible, but α is not invertible. (iii) Let α be a homotopy inverse to α. Then β α α α id X and similarly α β id X. (iv) Multiplication is well-defined by (c) and (d)(i). id X G(X), so [id X ] is an identity element in Ḡ(X). Multiplication is associative, since composition of maps is. If α is a homotopy inverse to α, then [α ] is an inverse to [α]. (v) If X is contractible, then Ḡ(X) is a trivial group, since all maps X X are homotopic. If X = S, then the homotopy class of a map α is determined by its degree deg(α) Z, and deg(α β) = deg(α)deg(β). So α is a homotopy equivalence if and only if deg(α) = ±, so Ḡ(X) is cyclic of order. 3.(a)[B, marks.] Let P X (x 0, x 0 ) be the set of paths θ : I X with θ(0) = θ() = x 0. Define an equivalence relation on P X (x 0, x 0 ) where θ θ if and only if there is a homotopy H : θ θ with H(0, t) = H(, t) = x 0 for all t I. As a set, π (X, x 0 ) = P X (x 0, x 0 )/.
3 For θ, φ P X (x 0, x 0 ), define θ φ P X (x 0, x 0 ) by θ(t) if 0 t (θ φ)(t) = φ(t ) if t. Multiplication in π (X, x 0 ) is given by [θ][φ] = [θ φ]. The identity element is [e], where e : I X is given by e(t) = x 0 for all t I. The inverse of [θ] is [θ ], where θ (t) = θ( t) for t I. Proofs. Lemma: Let f : I I be continuous with f(0) = 0, f() =. Then for any θ P X (x 0, x 0 ), θ θ f. [Proof: Define Hθ θ f by H(s, t) = θ(( t)s + tf(s)). Then H(0, t) = θ(0) = x 0 = θ() = H(, t) for any t I.] Associativity: Define f : I I by f(s) = s if 0 s 4 s + 4 if 4 s s+ if s Then (θ φ) ψ = (θ (φ ψ)) f, so ([θ][φ])[ψ] = [θ]([φ][ψ]. Identity: Define f : I I by s if 0 s f(s) = if s Then θ e = θ f, so [θ][e] = [θ]. Similarly [e][θ] = [θ]. Inverses: Define H : e θ θ by θ(ts) if 0 s H(s, t) = θ(t( s)) if s. Then H(0, t) = θ(0) = x 0 and H(, t) = θ(0) = x 0, so [e] = [θ][θ ]. (b)[b, ++3 marks.](i) α ([θ]) = [α θ]. (ii) β (α ([θ])) = β ([α θ]) = [β α θ] = (β α) ([θ]). (iii) Let θ P X (x 0, x 0 ). Define h : I I Y by h(s, t) = H(θ(s), t). Then, for s I, h(s, 0) = H(θ(s), 0) = (α θ)(s) and h(s, ) = H(θ(s), ) = (α θ)(s), so h : α θ α θ. For t I, h(0, t) = h(, t) = H(x 0, t), which is y 0, since H is basepoint-preserving. Thus [α θ] = [α θ], so α = α. (c)(i)[b, 3 marks.] [φ] π (X, x 0 ) is sent to [θ φ θ] π (X, x ). This is a group homomorphism since [θ φ θ θ φ θ ] = [θ φ φ θ] and is an isomorphism since it has an inverse [ψ] [θ ψ θ ]. (ii)[u, 3 marks.] If [θ ] = [θ ], then [θ φ θ ] = [θ φ θ ]. No. Let x 0 = x, where π (X, x 0 ) has non-trivial centre, and let [θ ], [θ ] be two elements of the centre of π (X, x 0 ). Then they both induce the identity map.
4 4.(a) [B, 5 marks] A continuous map such that X is also path-connected, and such that X has a covering U i : i I} by open sets such that, for each i, p (U i ) is a disjoint union of spaces W i,j such that the restriction of p to W i,j is a homeomorphism W i,j U i. The Homotopy Lifting Property states that if p : X X is a covering, H : Y I X is a homotopy between continuous maps α, β : Y X, and α : Y X is a continuous map such that p α = α, then there is a unique continuous map β : Y X and a unique homotopy H from α to β such that p H = H. (b) [B, 6 marks] Suppose θ is a loop in X based at x 0 such that p [θ] =. Then there is a basepoint preserving homotopy H from p θ to the trivial loop. By the homotopy lifting property, this lifts uniquely to a homotopy H from θ to a lifting of the trivial loop. Since H(0, t) = x 0 for all t I, H(0, t) p (x 0 ) for all t I. But since p (x 0 ) is discrete, and H(0, 0) = x 0, H(0, t) = x0 for all t. Similarly H(, t) = x 0 for all t and H(s, ) = x 0 for all s. Hence H is a basepoint preserving homotopy from θ to the trivial loop. Thus [θ]=. (c) [B, 4 marks] p is a regular covering if the image of p is a normal subgroup of π (X, x 0 ). It is a universal covering if X is simply connected. If p is universal, then π ( X, x 0 ) is the trivial group, so the image of p is the trivial subgroup of π (X, x 0 ), which is normal. (d) [B, 5 marks] An action of a group G on a topological space Y is free if each point y Y has an open neighbourhood U y such that the sets gu y : g G} are pairwise disjoint. If G acts freely on a space X, then the natural map from X to the quotient space X/G is a regular covering space. Conversely if p : X X is a regular covering, then there is a free action of the quotient group G = π (X, x 0 )/p π ( X, x 0 ) on X such that X is homeomorphic to the quotient space X/G. (e) [U, mark] Every subgroup of an abelian group is normal. (f) [U, 4 marks] If G = S 3 then there is a free action of G on Ỹ so that the quotient space Ỹ /G is homeomorphic to Y. Let H be a (nonnormal) subgroup of G of order. Then the natural map ˆp : Ỹ /H Y is a covering of Y such that the image of the fundamental group of Ỹ /H in π (Y, y 0 ) is a non-normal subgroup of order. 5.(a) [B, 8 marks] (i) A sequence X := X n+ X n X n... of homomorphisms d X n : X n X n of abelian groups, such that d X n d X n = 0 for all n Z.
5 (ii) A chain map α : X Y between two chain complexes is a sequence of maps α n : X n Y n such that α n d X n = d Y n α n for all n Z. (iii) The nth homology group H n (X ) is the quotient group ker(d X n )/im(d X n+). (iv) A sequence of abelian groups and homomorphisms 0 X α Y β Z 0, such that α is injective, β is surjective, and im(α) = ker(β). (iv) A sequence of chain complexes and chain maps such that α 0 X β Y Z 0, α 0 X n β n n Yn Zn 0 is a short exact sequence of abelian groups for each n Z. (b) [B, 9 marks] There is a long exact sequence H n+ (Z ) H n (X ) Hn(α ) H n (Y ) Hn(β ) H n (Z )... of homology groups where (if for a complex C we denote by x the element of H n (C ) represented by an element x ker(d C n )), and H n (α )( x) = α n (x) H n (β )(ȳ) = β n (y), and the map H n+ (Z ) H n (X ) is constructed as follows: Let z ker(d Z n+). Pick y Y n+ such that β n+ (y) = z. Since β n d Y n+(y) = d Z n+β n+ (y) = d Z n+(z) = 0, d Y n+(y) ker(β n ) = im(α n ), and so we can choose x X n such that α n (x) = d Y n+(y). Then α n d X n (x) = d Y n α n (x) = d Y n d Y n+(y) = 0, and so, since α n is injective, d X n (x) = 0, and the map we want to construct sends z to x. (c) [U, 8 marks] Considering the columns as chain complexes, we have a short exact sequence of chain complexes, so we get a long exact sequence of homology groups 0 H A H B H C H D H E H F H G H H H I 0, where H A is the homology of the first column at A, etc. (i) Two out of every three terms in the long exact sequence are zero, so the remaining terms are also zero. (ii) H B = H E = H H = 0, so the long exact sequence becomes 0 H A 0 H C H D 0 H F H G 0 H I 0,
6 and in particular gives an isomorphism H F H G. But H F = 0 iff the third column is exact at F, and H G = 0 iff the map D G is surjective.
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 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 informationHomework 3 MTH 869 Algebraic Topology
Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }
More informationQuiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.
Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
More informationAlgebraic Topology. 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 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 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 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 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 informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationMath 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 informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More 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 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 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 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 informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More 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 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 informationX G X by the rule x x g
18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that
More informationFREUDENTHAL SUSPENSION THEOREM
FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in
More informationLecture 2. x if x X B n f(x) = α(x) if x S n 1 D n
Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n
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 informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More 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 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 information1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and
Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding
More 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 informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationTHE FUNDAMENTAL GROUP AND CW COMPLEXES
THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental
More informationSolutions of exercise sheet 4
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every
More informationSOLUTIONS TO HOMEWORK PROBLEMS
SOLUTIONS TO HOMEWORK PROBLEMS Contents 1. Homework Assignment # 1 1 2. Homework Assignment # 2 6 3. Homework Assignment # 3 8 4. Homework Assignment # 4 12 5. Homework Assignment # 5 16 6. Homework Assignment
More informationJune 2014 Written Certification Exam. Algebra
June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More 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 informationTopology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1
Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma November 22, 203.3.8 Claim: A nice space X has a unique universal abelian covering space X ab Proof. Given a
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
More informationGeometry and Topology, Lecture 4 The fundamental group and covering spaces
1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic
More informationTHE FUNDAMENTAL GROUP 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 informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
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 informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
More informationMath 751 Week 6 Notes
Math 751 Week 6 Notes Joe Timmerman October 26, 2014 1 October 7 Definition 1.1. A map p: E B is called a covering if 1. P is continuous and onto. 2. For all b B, there exists an open neighborhood U of
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationTHE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY
THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY ANDREW VILLADSEN Abstract. Following the work of Aguilar, Gitler, and Prieto, I define the infinite symmetric product of a pointed topological space.
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 informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More 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 informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
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 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 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 informationHOMOTOPY THEORY ADAM KAYE
HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the
More 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 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 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 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 informationThe coincidence Nielsen number for maps into real projective spaces
F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence
More informationTHE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about
More informationNOTES ON THE FUNDAMENTAL GROUP
NOTES ON THE FUNDAMENTAL GROUP AARON LANDESMAN CONTENTS 1. Introduction to the fundamental group 2 2. Preliminaries: spaces and homotopies 3 2.1. Spaces 3 2.2. Maps of spaces 3 2.3. Homotopies and Loops
More 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 informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More 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 informationThe topology of path component spaces
The topology of path component spaces Jeremy Brazas October 26, 2012 Abstract The path component space of a topological space X is the quotient space of X whose points are the path components of X. This
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 information3 Hausdorff and Connected Spaces
3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationA New Family of Topological Invariants
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 2018-04-01 A New Family of Topological Invariants Nicholas Guy Larsen Brigham Young University Follow this and additional works
More informationIntroduction to Braid Groups Joshua Lieber VIGRE REU 2011 University of Chicago
Introduction to Braid Groups Joshua Lieber VIGRE REU 2011 University of Chicago ABSTRACT. This paper is an introduction to the braid groups intended to familiarize the reader with the basic definitions
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationfor some n i (possibly infinite).
Homology with coefficients: The chain complexes that we have dealt with so far have had elements which are Z-linear combinations of basis elements (which are themselves singular simplices or equivalence
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationEQUIVARIANT ALGEBRAIC TOPOLOGY
EQUIVARIANT ALGEBRAIC TOPOLOGY JAY SHAH Abstract. This paper develops the introductory theory of equivariant algebraic topology. We first define G-CW complexes and prove some basic homotopy-theoretic results
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More 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 informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More informationIntroduction to Algebraic Topology. Mitschri der Vorlesung von Dr. M. Michalogiorgaki
Introduction to Algebraic Topology Mitschri der Vorlesung von Dr. M. Michalogiorgaki Tobias Berner Universität Zürich Frühjahrssemester 2009 Contents 1 Topology 4 1.1 Topological spaces and continuous
More informationReparametrizations of Continuous Paths
Martin Raussen Aalborg University, Denmark Schloss Dagstuhl, 2006 Paths and Reparametrizations in Differential Geometry I = [0, 1] the unit interval. path: p : I R n, continuous, differentiable on (0,
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 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 informationASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.
(DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More information