QUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
|
|
- Laureen Walters
- 5 years ago
- Views:
Transcription
1 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 n be homeomorphic to S p S q, 1 p,q n 1. Compute the homology groups H q (S n \X). Solution. First, we state the Jordan-Brouwer Theorem: Theorem 1. Let S n 1 S n be an embedded sphere in S n. Then the complement X = S n \S n 1 has two path-connected components: X = X 1 X 2, where X 1, X 2 are open in S n. Furthermore, X 1 = X 2 = S n 1. Recall the following fact: Theorem 2. Let S k S n, 0 k n 1. Then { (1) Hq (S n \S k ) Z, if q = n k 1, = 0 if q n k 1. Denote X p := S n \S p and X q := S n \S q, where S p S q S n. Then X p X q = S n \(S p S q ) = S n \ = R n, X p X q = S n \(S p S q ) = S n \(S p S q ) = X. Then the Mayer-Vietoris exact sequence gives H j (X) = H j (X p ) H Z, if p q and j = n p 1 or j = n q 1, j (X q ) = Z Z if p = q and j = n p 1, 0 if q n k 1. Problem 1.2. Let (X,A) be a CW-pair, and Y is a CW-complex as well. Let E = C(X,Y), B = C(A,Y), and the map p : E B be defined as p : (f : X Y) (f A : A Y). Prove that the map p : E B is a Serre fiber bundle. Solution. We have to show that the map p : C(X,Y) C(A,Y) satisfies the Lifting Homotopy property. Let K be a CW-complex, and f : K C(A,Y), f : K C(X,Y) be such that the diagram f f K C(X,Y) p C(A,Y) commutes. Let F : K I C(A,Y) be a homotopy such that F K {0} = f. In particular, F C(K I,C(A,Y))
2 2 We notice that the map p : C(X,Y) C(A,Y) induces the map of the space of continuous map p # : C(K I,C(X,Y)) C(K I,C(A,Y)). Furthemore, there are natural homepmorphisms: C(K I,C(X,Y)) = C(K X I,Y), C(K I,C(A,Y)) = C(K A I,Y). We obtain a map p # : C(K X I,Y) C(K A I,Y). The homotopy F : K I C(A,Y) gives the homotopy F : K A I Y by the formula F : (k,a,t) F(k,t)(a) Y. Here F K A {0} = f, where f : (k,a) f(k)(a). Let f : K X Y be the map given as f : (k,x) f(k)(x). Since the pair (K X,K A) is CW-pair, it is a Borsuk pair. Thus any map F : K A I Y such that F K A {0} = f, where f = f A extends to a map F : K X I Y such that F K A I = F and F K X {0} = f. Problem 1.3. Define the Hopf invariant. Prove that the group π 4n 1 (S 2n ) has infinite order. Solution. Let α π 4n 1 (S 2n ), and let f : S 4n 1 S 2n be a representative of α. Let X α = S 2n f D 4n. It is easy to compute the cohomology groups of X α : { Z, q = 0,2n,4n, H q (X α ;Z) = 0, otherwise. Let a H 2n (X α ;Z), b H 4n (X α ;Z) be generators. Since a 2 = a a H 4n (X α ;Z), then a 2 = h b, where h Z. The number h(α) = h is the Hopf invariant of the element α π 4n 1 (S 2n ). We use the following fact: Lemma 3. (1) h(α) = 0 if α = 0; (2) h(ϕ 1 )+h(ϕ 2 ) = h(ϕ 1 +ϕ 2 ). We obtain a homomorphism h : π 4n 1 (S 2n ) Z. Let ι 2n π 2n (S 2n ) be a generator given by the identity map S 2n S 2n. Then [ι 2n,ι 2n ] denote the Whitehead product. Lemma 4. The Hopf invariant is not trivial, in particular, h([ι 2n,ι 2n ]) = 2. First we compute the cohomology (together with a product structure) H q (S 2n S 2n ): Z, q = 0,4n, H q (S 2n S 2n ;Z) = Z Z, q = 2n 0, otherwise. Let c 1,c 2 H 2n (S 2n S 2n ) be such generators that the homomorphisms H 2n (S1 2n ) p 1 H 2n (S1 2n S2 2n ) p 2 H 2n (S 2n p 1 induced by the projections S1 2n S 2n 1 S2 2n p 2 S 2n 2, send the generators c 1 and c 2 to the generators of the groups H 2n (S1 2n ), H 2n (S2 2n ). Let d H 4n (S 2n S 2n ) be a generator. Then c 1 c 2 = d. We also note that c 2 1 = 0 and c 2 2 = 0 since by naturality p 1(c 1 ) 2 = 0 and p 2(c 2 ) 2 = 0. So we have that the ring H (S1 2n S2 2n) is generated over Z by the elements 1, c 1, c 2 with the relations c 2 1 = 0, c 2 2 = 0. In particular, we have: (c 1 +c 2 ) 2 = c c 1c 2 +c 2 2 = 2d. Proof of Lemma 4. We consider the factor space X = S 2n S 2n /, where we identify the points (x,x 0 ) = (x 0,x), where x 0 is the base point of S 2n. We notice that 2 )
3 3 The space X = S 2n S 2n / is homeomorphic to the space S 2n f D 4n, where f is the map defining the Whitehead product [ι 2n,ι 2n ]. Indeed S 2n S 2n = (S 2n S 2n ) w D 4n, where w is the map we described above. The generator ι 2n is represented by the identical map S 2n S 2n. The composition S 4n 1 w S 2n S 2n Id Id S 2n represents the element [ι 2n,ι 2n ]. It exactly means that the identification (S 2n,x 0 ) = (x 0,S 2n ) we just did in the space S 2n S 2n is the same as to attach D 4n with the attaching map (Id Id) w. Problem 1.4. Let n 1. Consider the map g : S 4n 2 S 5 proj (S 4n 2 S 5 )/(S 4n 2 S 5 4n+3 Hopf ) = S HP n. Prove that g induces trivial homomorphism in homology and homotopy groups, however g is not homotopic to a constant map. Solution. Consider the homomorphism g : π q (S 4n 2 S 5 ) proj 4n+3 Hopf π q S π q HP n. Since π q (S 4n 2 S 5 ) = π q S 4n 2 π q S 5, the homomorphism proj factors through the projections π q S 4n+3 4n 2 proj1 π q S π q (S 4n 2 S 5 ) proj2 π q S 5 π q S 4n+3 Since the maps S 4n 2 S 4n+3 and S 5 S 4n+3 are homotopically trivial, the homomorphism g : π q (S 4n 2 S 5 ) π q S 4n+3 π q HP n is trivial as well. The homomorphism g : Hq (S 4n 2 S 5 ) proj H Hopf 4n+3 q S H q HP n is also trivial. Indeed, the group H 4n+3 S 4n+3 = Z and trivial ortherwise and H q HP n is non-trivial only if q = 4,...,4n, i.e., any homomorphism H q S 4n+3 H q HP n is trivial. Now we assume that the map g : S 4n 2 S 5 HP n is contractible. Let g t : S 4n 2 S 5 HP n be a homotopy such that g 0 = g and g 1 (S 4n 2 S 5 ) = x 0 HP n. By the Lifting Homotopy Property, there exists a homotopy f t : S 4n 2 S 5 S 4n+3 such that the diagram f t S 4n 2 S 5 g t S 4n+3 Hopf HP n commutes. Here f 0 = proj as above. Then we have that f 1 (S 4n 2 S 5 ) Hopf 1 (x 0 ) = S 3. We notice that the homomorphism proj : H 4n+3 (S 4n 2 S 5 ) H 4n+3 (S 4n+3 ) is non-trivial (it is an isomorphism). However (f 1 ) must be trivial since the map f 1 factors through S 3 : Since (f 1 ) = proj, we obtain a contradiction. S 3 S 4n+3 f 1 h 1 Hopf S 4n 2 S 5 g 1 HP n Problem 1.5. (i) Let f : RP 4n CP 2n RP 4n CP 2n be a continuous map. Prove that f always has a fixed point. (ii) Give an example of a map g : RP 2k CP k RP 2k CP k without fixed points.
4 4 Solution. (i) We compute the cohomology groups H (RP 4n CP 2n ;Q): { H j (RP 4n CP 2n Q, q = 0,2,,4n, ;Q) = 0, otherwise. Indeed, wehavethat H j (RP 4n ;Q) = 0. ThentheKünnethformulaimpliestheresult. Furthermore, we see that the projection RP 4n CP 2n CP 2n induces an isomorphism H (CP 2n ;Q) = H (RP 4n CP 2n ;Q) = Q[z]/z 2n+1, where z H 2 (RP 4n CP 2n ;Q). Let f : RP 4n CP 2n RP 2k CP 2n be a map. Then f (z) = λ z H 2 (RP 2k CP 2n ;Q). Then we have that f (z k ) = λ k zk. We obtain the Lefcshetz number L(f) = 1+λ+ +λ 2n. If λ = 1, then L(f) 0. If λ 1, we have L(f) = λ2n+1 1 λ 1 0. Since RP 2k CP 2n is a finite CW-complex, Lefcshetz fixed-point theorem implies that f has a fixed point. (ii) Consider CP 1 = S 2 and the intipodal map A : x x: this map does not have fixed points. By construction, the map Id A : RP 2 CP 1 RP 2 CP 1 does not have fixed points. Problem 1.6. Compute the homotopy group π q (S 2 S 2 ) for q = 1,2,3. Solution. We have that π 1 (S 2 S 2 ) = 0 since S 2 S 2 has a CW-decomposition with one zero cell and two 2-cells. Then the CAT iplies that any map S 1 S 2 S 2 is homotopic to a constant map. Then we know that π 2 (S 2 S 2 ) = π 2 (S 2 ) π 2 (S 2 ) = Z Z. We notice that the inclusion map i : S 2 S 2 S 2 S 2 induces an isomorphism π 2 (S 2 S 2 ) π 2 (S 2 S 2 ). Indeed, we have that S 2 S 2 = (S 2 S 2 ) w D 4, where w : S 3 S 2 S 2 is the Whitehead map. Now we have that the homomorphism i : π 3 (S 2 S 2 ) π 3 (S 2 S 2 ) has the kernel given by the attaching map w : S 3 S 2 S 2. Thus we have the exact sequence Thus we conclude π 3 (S 2 S 2 ) = Z Z Z. Z π 3 (S 2 S 2 ) π 3 (S 2 S 2 ) Problem 1.7. Let Mg 2 be a two-dimensional surface of genus g 1 (oriented). Compute the homotopy groups π q (Mg) 2 for all q 1. Hint: use covering spaces. Solution. The standard model for M 2 g is 4g-gone labeled as a j,b j,ā j, b j, j = 1,...,g. Here the notations ā j, b j mean that a j, b j are identified with the sides ā j, b j in the opposite direction. Let F(a j,b j,ā j, b j j = 1,...,g) denote a free group with generators a j,b j,ā j, b j j = 1,...,g. Thus the fundmental group π 1 (M 2 g) is isomorphic to the group F(a j,b j j = 1,...,g)/a 1 b 1 a 1 1 b 1 1 a g b g a 1 g b 1 g. Now we prove the following Theorem 5. π q (M 2 g) = 0 for all q 2. Proof. Let g = 1 then Mg 2 = T 2, and we have the univesral covering space p : R 2 T 2, where p : (θ 1,θ 2 ) (e iπθ1,e iπθ2 ) T 2. Then p : π q (R 2 ) π q (T 2 ) induces isomorphism for all q 2. Now, by induction, assume that π q (Mg) 2 = 0 for all q 2 for some g 1. Then we consider the following covering p : Z g Mg+1. 2 Here Z g is given by an infinite cylinder R S 1, where every coordinate (k/2, ) R S 1 is used to take a connected sum with Mg 2, see the figure below, where g = 1:
5 5 Then we have a map p : Z g M 2 g+1 which sends (x,α) (eiπx,α). It is easy to see that p is a covering. Let f : S q Z g be a map. The image of f is compact, so f(s q ) Y g Z g, where Y g has only [ N,N] S 1 with connected sums of M 2 g as before. Then Y g is nothi g but an oriented surface M 2 ḡ for some ḡ with two disks removed. Such space Y g is homotopy equivalent to one-point union of circles. Thus the map f : S q Y q Z q is homotopically trivial, i.e., this shows that π q M 2 g+1 = 0. Problem 1.8. Let T 2 = S 1 S 1 be a torus. Prove that any map f : RP 2 T 2 is homotopic to a constant map. Solution. We consider the universal covering p : R 2 T 2. Let f : RP 2 T 2 be a map, where a base point x 0 RP 2 maps to y 0 = f(x 0 ). Let ỹ 0 p 1 (y 0 ) be a point in R 2. We know that π 1 RP 2 = Z 2, and π 1 T 2 = Z Z. Thus f (π 1 RP 2 ) = 0 π 1 T 2 for any map f : RP 2 T 2. We use the following result: Theorem 6. Let p : T X be a covering space, and Z be a path-connected space, x 0 X, x 0 T, p( x 0 ) = x 0. Given a map f : (Z,z 0 ) (X,x 0 ) there exists a lifting f : (Z,z 0 ) (T, x 0 ) if and only if f (π 1 (Z,z 0 )) p (π 1 (T, x 0 )). In our case, it means that there exists a map f : RP 2 R 2 such that f(x 0 ) = ỹ 0 and f = p f. Thus the homotopy class of f is in the image of p : π 1 R 2 T 2. Hence f 0. Problem 1.9. Find H 1 (X;Z) and H 1 (X;Z) in terms of the group π, where π is a finite group. Solution. We have that H 1 (X;Z) = π/[π,π]. If π/ is finite group, then π/[π,π] is finite abelian group. The universal coefficient theorem yields H 1 (X;Z) = Ext(H 0 (X,Z),Z) Hom(H 1 (X,Z),Z) Then Ext(H 0 (X,Z),Z) = 0 since H 0 (X,Z) is free abelian, and Hom(H 1 (X,Z),Z) = 0 since H 1 (X,Z) is finite. Thus H 1 (X;Z) = 0. Problem Prove that the spaces CP S 3 and S 2 have isomorphic homotopy groups and that they are not homotopy equivalent. Solution. First, we claim that π 2 CP = Z, and π q CP = 0 for all q 0. Indeed, consider the Hopf fibre bunde S 2n+1 CP n with the fibre S 1. Then the exact sequence in homotopy groups π q (S 1 ) π q (S 2n+1 ) π q (CP n ) π q 1 (S 1 ) imlies that π 2 CP = Z and π q CP = 0 for all q 0 and q < 2n+1. Now we hve that { π q (CP S 3 ) = π q CP π q S 3 Z, q = 2, = π q S 3, q 2 The Hopf bundle S 3 S 2 gives us that π q S 2 = π q S 3 for q 3. We conclude that the homotopy groups of the spaces CP S 3 and S 2 have isomorphic homotopy groups. Now we assume that there is a homotopy equivalence f : S 2 CP S 3. Then f has to induce an isomorphism in all
6 6 homotopy groups. Then f = (f 1,f 2 ), where f 1 : S 2 CP, and f 2 : S 2 S 3. However, f 2 is homotopically trivial, and for q 3, we have that a map ϕ : S q S 2 maps to the composition which is homotopically trivial. S q ϕ S 2 f S 3
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 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 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 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 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 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 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 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 informationALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by
ALGEBRAIC TOPOLOGY IV DIRK SCHÜTZ 1. Cochain complexes and singular cohomology Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by Hom(A, B) = {ϕ: A B ϕ homomorphism}
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
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 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 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 informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
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 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 information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
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 information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More information0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i
Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H
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 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 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 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 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 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 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 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 informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationHomology of a Cell Complex
M:01 Fall 06 J. Simon Homology of a Cell Complex A finite cell complex X is constructed one cell at a time, working up in dimension. Each time a cell is added, we can analyze the effect on homology, by
More 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 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 informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
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 informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationOn Eilenberg-MacLanes Spaces (Term paper for Math 272a)
On Eilenberg-MacLanes Spaces (Term paper for Math 272a) Xi Yin Physics Department Harvard University Abstract This paper discusses basic properties of Eilenberg-MacLane spaces K(G, n), their cohomology
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
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 informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
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 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 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 informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More 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 informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
More informationSome K-theory examples
Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
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 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 informationAlgebraic topology (Autumn 2014) The class hours are MWF 9-10:20 in Eck 206. Homework is due Monday morning. There will be a midterm and a final.
Algebraic topology (Autumn 2014) The class hours are MWF 9-10:20 in Eck 206. Homework is due Monday morning. There will be a midterm and a final. I will hold office hours on Mondays at 10:30, and occasional
More informationSome non-trivial PL knots whose complements are homotopy circles
Some non-trivial PL knots whose complements are homotopy circles Greg Friedman Vanderbilt University May 16, 2006 Dedicated to the memory of Jerry Levine (May 4, 1937 - April 8, 2006) 2000 Mathematics
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
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 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 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 informationA complement to the theory of equivariant finiteness obstructions
F U N D A M E N T A MATHEMATICAE 151 (1996) A complement to the theory of equivariant finiteness obstructions by Paweł A n d r z e j e w s k i (Szczecin) Abstract. It is known ([1], [2]) that a construction
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 informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationFibre Bundles. Prof. B. J. Totaro. Michælmas 2004
Fibre Bundles Prof. B. J. Totaro Michælmas 2004 Lecture 1 Goals of algebraic topology: Try to understand all shapes, for example all manifolds. The approach of algebraic topology is: (topological spaces)
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 informationGEOMETRY FINAL CLAY SHONKWILER
GEOMETRY FINAL CLAY SHONKWILER 1 Let X be the space obtained by adding to a 2-dimensional sphere of radius one, a line on the z-axis going from north pole to south pole. Compute the fundamental group and
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 informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
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 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 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 informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationMath 272b Notes; Spring 2005 Michael Hopkins
Math 272b Notes; Spring 2005 Michael Hopkins David Glasser February 9, 2005 1 Wed, 2/2/2005 11 Administrivia mjh@mathharvardedu Computing homotopy groups lets you classify all spaces Homotopy theory on
More informationNOTES ON THE COURSE ALGEBRAIC TOPOLOGY. Contents
NOTES ON THE COURSE ALGEBRAIC TOPOLOGY BORIS BOTVINNIK Contents 1. Important examples of topological spaces 6 1.1. Euclidian space, spheres, disks. 6 1.2. Real projective spaces. 7 1.3. Complex projective
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 informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
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 informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
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 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 informationLisbon school July 2017: eversion of the sphere
Lisbon school July 2017: eversion of the sphere Pascal Lambrechts Pascal Lambrechts Lisbon school July 2017: eversion of the sphere 1 / 20 Lecture s goal We still want
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 informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
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. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
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 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 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 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 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 informationAlgebraic Topology Lecture Notes. Jarah Evslin and Alexander Wijns
Algebraic Topology Lecture Notes Jarah Evslin and Alexander Wijns Abstract We classify finitely generated abelian groups and, using simplicial complex, describe various groups that can be associated to
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
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 informationalgebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012}
algebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012} Contents Lecture 1 January 24, 2010 1 Introduction 6 2
More information