Algebraic Topology exam
|
|
- Diana Greene
- 5 years ago
- Views:
Transcription
1 Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1, x) (1 x, 1) (0, 1 x) for 0 x 1 (b) Describe a -complex structure on X and compute the corresponding simplicial homology. (a) X has a cell structure with one 0-cell [(0, 0)], one 1-cell {[(x, 0)]: 0 < x < 1} and one two cell {[(x, y)]: 0 < x < 1, 0 < y < 1}. Hence the 1-skeleton of X is S 1. The Van Kampen theorem implies that π 1 (X) is the quotient of π 1 (S 1 ) = Z by the normal subgroup generated by the image of the attaching map f : S 1 S 1 of the two cell. But f wraps S 1 around itself four times, therefore π 1 (X) = x x 4 = Z/4 (b) There is a -complex structure on X formed by identifying the faces of four 2- simplices as indicated in the following picture. The chain complex C (X) has four generators A, B, C, D in degree 2, five generators a, b, c, d, e in degree 1 and two generators x, y in degree 0 (see the picture) and in terms of these bases, the boundary maps are as follows [ ] C2 (X) = Z 4 C1 (X) = Z 5 C0 (X) = Z 2 The image of 1 is {m(1, 1): m Z} and since (1, 1) is part of a Z-basis for Z 2, we have H0 (X) = Z2 /(Im 1 ) = Z. The matrix representing 2 has full rank therefore H2 (X) = ker 2 = 0. A basis for ker 1 is given by {a, b e, c e, d e}. In terms of this basis the map 2 : Z 4 Z 4 = ker 2 is given by the matrix
2 Applying row and column reduction we see that this matrix can be transformed in so we conclude that H 1 (X) = Z 4 /(Z 3 4Z) = Z/4. 2. Let f : X Y be a map and C(f) denote its mapping cone. Recall this means that C(f) = (Y X [0, 1])/ with the equivalence relation generated by (x, 0) (x, 0) and (x, 1) f(x) for all x X. Recall that the canonical map Y C(f) is an embedding. (a) Show that a map g : Y Z extends to C(f) if and only if g f is null. (b) Show there are at least four distinct homotopy classes of maps S 1 S 1 RP 2. (a) By definition of the quotient topology, to give a map out of C(f) is the same as giving maps g : Y Z and H : X [0, 1] Z which are constant on the equivalence classes of. This means H(x, 0) = H(x, 0) for all x, x X (i.e. x H(x, 0) is constant) and H(x, 1) = g(f(x)). Hence a map out of C(f) is the same as a map g out of Y and a null homotopy of g f. In particular, a map g extends to C(f) if and only if g f is null. (b) S 1 S 1 = C(f) for f : S 1 S 1 S 1 the attaching map of the 2-cell in S 1 S 1. Since π 1 (RP 2 ) = Z/2, there are exactly four pointed homotopy classes of maps in [S 1 S 1, RP 2 ] = π1 (RP 2 ) π 1 (RP 2 ). Since π 1 (RP 2 ) is abelian, the action of the fundamental group of RP 2 on the set of pointed homotopy classes is trivial and hence the orbit set of the action of π 1 (RP 2 ), which is [S 1 S 1, RP 2 ], also has four elements. Writing a, b for standard generators of π 1 (S 1 S 1 ), the attaching map f represents the commutator [a, b] and hence, for a pointed homotopy class g [S 1 S 1, RP 2 ] corresponding to (x, y) (π 1 (RP 2 )) 2 we have g f = [x, y] = 0 π 1 (RP 2 ). By (a), all 4 homotopy classes in [S 1 S 1, RP 2 ] extend to S 1 S 1. The extensions are still all homotopically distinct because they induce distinct homomorphisms on π 1 (and the conjugation relation is trivial). We conclude that there are at least four distinct homotopy classes of maps from S 1 S 1 to RP Let {U, V, W } be an open cover of X by contractible open sets such that U V S 3, U W =, V W S 1. Compute the homology of X. Let Y = U V. The Mayer-Vietoris sequence for the reduced homology of Y takes the form H k+1 (U) H k+1 (V ) H k+1 (Y ) H k (U V ) H k (U) H k (V ) As U, V are contractible it follows that is an isomorphism for every k and hence { Z if i = 0, 4 H i (Y ) =
3 Now consider the open cover Y, W of X. We have Y W = V W = S 1. Therefore the Mayer-Vietoris for the reduced homology of X associated to this cover gives H k+1 (Y ) H k+1 (W ) H k+1 (X) H k (Y W ) H k (Y ) H k (W ) If k 3, 4 the two ends of the sequence above are 0 and hence is an isomorphism. For k = 3, is surjective and for k = 4 it is injective. When k = 4, the group in whcih H 5 (X) injects is 0. When k = 3, since H k+1 (Y W ) = 0, the first map in the sequence above is an isomorphism. We conclude that { Z if k = 0, 2, 4 H i (X) = 4. Let p i : E i S 1 S 1 for i = 1, 2 be 2-sheeted connected covering spaces. Show there are homeomorphisms ψ : E 1 E 2 and φ: S 1 S 1 S 1 S 1 such that E 1 p 1 S 1 S 1 ψ φ E 2 p 2 S 1 S 1 commutes. By the classification of covering spaces, p 1 and p 2 correspond to index 2 subgroups of π 1 (S 1 S 1 ) = Z 2. There are exactly three of these (all isomorphic to Z 2 ). Indeed, such a group must contain 2Z 2Z (as twice any element in the quotient group is 0) and this sets up a bijective correspondence between index 2 subgroups of Z 2 and index 2 subgroups of Z 2 /(2Z) 2 = Z/2 Z/2. Thus the index 2 subgroups of Z 2 are the groups generated by the columns of the matrices [ ] [ ] [ ] ,, and These matrices are all equivalent under row and column operations (including permutations), which means that the index 2 subgroups are all equivalent under the action of the automorphism group GL(2; Z) of Z 2. Now, an element of A GL(2; Z) determines a homeomorphism of R 2 which passes to the quotient by Z 2 translations and induces a homeomorphism φ A of S 1 S 1. Picking A GL(2; Z) such that A(Im p 1 ) = Im p 2 we have that φ A p 1 and p 2 are covering maps with connected domains and correspond to the same subgroup of π 1 (S 1 S 1 ). Setting φ = φ A, it follows from the classification of covering spaces that there exists ψ : E 1 E 2 such that the diagram in the statement commutes. 5. Let X be the space obtained from CP 3 by attaching a 3-cell to CP 1 by a map of degree 10. (a) Compute H (X) and H (X; Z/p) for each prime p. (b) Compute the cohomology rings H (X) and H (X; Z/2). (c) Compute H 5 (X RP 2 ).
4 (a) X is a cell complex with one cell in dimensions 0, 2, 3, 4 and 6. The degree of the attaching map of the 3-cell is 10 by assumption. The degree of the attaching map of the 4-cell is 0 since the cell is actually attached to CP 2. Thus the cellular chain complex of X (in dimensions 6 is and hence Z 0 Z 0 Z 10 Z 0 Z Z if i = 0, 4, 6, H i (X) = Z/10 if i = 2, To do the computation with Z/p coefficients we can tensor the cellular chain complex with Z/p. If p = 2 or 5 the differentials are all 0. Otherwise 3 is an isomorphism. Hence, for all prime p we have Z/p if i = 0, 4, 6 H i (X; Z/p) = Z/p if i = 2, 3 and p {2, 5} Alternatively, we could have reached this answer by applying the universal coefficient theorem. (b) By the universal coefficient theorem, we have therefore H k (X) = Hom(H k (X); Z) Ext(H k 1, Z) Z if k = 0, 4, 6 H k (X) = Z/10 if k = 3 Other than products with the identity class in degree 0, all products are 0. This is true for degree reasons except for the classes in degree 3. But the latter are torsion classes so the same is true of their cup products with any other class and H 6 (X) is torsion free. We conclude that the cup product of any two classes is 0 unless one of them is a (non-zero) multiple of the identity. Also by the universal coefficient theorem we have H k (X; Z/2) = Hom(H k (X); Z/2) Ext(H k 1 (X), Z/2) and hence H k (X; Z/2) = { Z/2 if k = 0, 2, 3, 4, 6 Using cellular homology we see that the inclusion CP 3 X determines an isomorphism on H i (X; Z/2) for i 3. This gives the product structure (disregarding the products with identity) for the even dimensional classes: If x H 2 (X; Z/2) is the generator, then x 2 and x 3 generate H 4 and H 6 respectively.
5 If y H 3 (X; Z/2) is the generator, it remains to compute y 2 (as all other products of non-identity classes with y are 0 by degree reasons). Using cellular homology we see that this class is the image of a generator of H 3 (X) under the ring map H (X) H (X; Z/2) determined by the ring map Z Z/2. Since the generator of H 3 (X) squares to 0, the same is true of y. (c) By the Künneth formula H 5 (X RP 2 ) = 2 i=0h 5 i (X) H i (RP 2 ) 2 i=0 Tor(H 4 i (X), H i (RP 2 )) = Z/2 6. Let 0 G H K 0 be a short exact sequence of abelian groups. (a) Show that there is a natural long exact sequence on homology H n (X; G) H n (X; H) H n (X; K) H n 1 (X; G) (b) Show that in the long exact sequence for X = RP 2 determined by the short exact sequence 0 Z/2 Z/4 Z/2 0, the boundary map is an isomorphism. H 2 (RP 2 ; Z/2) H 1 (RP 2 ; Z/2) (a) Since C (X) is free, tensoring with the short exact sequence in the statement gives a short exact sequence of chain complexes 0 C (X) G C (X) H C (X) K 0 The snake lemma applied to this exact sequence gives rise to the desired long exact sequence on homology. (b) The short exact sequence of chain complexes in (a) for the cellular chain complex of RP 2 looks as follows in dimensions 1 and 2: 0 Z/2 i Z/4 j Z/ Z/2 i Z/4 2 = 2 j 0 Z/2 0 where i: Z/2 Z/4 sends [1] to [2] and j : Z/4 Z/2 sends [1] to [1]. By definition of the boundary map in the long exact sequence, if x C2 CW (RP 2 ; Z/2) is a generator then ([x]) = [i 1 2 (j 1 (x))] is the homology class of the generator of C 1 (RP 2 ; Z/2) = Z/2, which completes the proof. 7. Let M and N be oriented closed connected manifolds of dimension n. The degree of a map f : M N is the integer deg(f) such that f : H n (M) H n (N) satisfies f ([M]) = deg(f)[n]
6 (a) Show that if f is not surjective then deg(f) = 0. (b) For M = N = S 1 S 1 S 1, show that deg(f) = det A where A is a 3 3 matrix representing f : H 1 (M) H 1 (M) (with respect to any basis). (a) If f is not surjective then there exists p N such that f factors as a composite M N \ p N Since N \ p is a connected non-compact manifold of dimension n we have that H n (N \ p) = 0 hence f induces the 0 homomorphism on H n, i.e. deg(f) = 0. (b) Let x H 1 (S 1 ) be a generator. The Künneth formula for cohomology implies that H 1 (M) = Z 3 is generated by the cross products x 1 = x 1 1, x 2 = 1 x 1 and x 3 = 1 1 x, and that H 2 (M) = Z 3 is generated by x x 1, x 1 x and 1 x x. Finally x x x generates H 3 (M). Since (a b) (c d) = ( 1) b c (a c) (b d) we have that and x x 1 = x 1 x 2, x 1 x = x 1 x 3, 1 x x = x 2 x 3 x x x = x 1 x 2 x 3 Since the x i have odd degree, x i x j = x j x i. Hence H i (M) can be identified via the cup product with the exterior product Λ i (H 1 (X)). If f : H 1 (M) H 1 (M) is represented by a matrix A, then, with respect to the dual basis, f : H 1 (M) H 1 (M) is represented by the transpose matrix A t. Then Λ 3 (f ) will be multiplication by det(a t ) = det(a). This computation can also be done explicitly: If ([ f 1 ]) 2 = x 3 [ a b c d e f g h i ] [ x1 ] 2 x 3 then (since x i x i = 0, x i x j = x j x i ) we have f (x 1 x 2 x 3 ) = (ax 1 + bx 2 + cx 3 ) (dx 1 + ex 2 + fx 3 ) (gx 1 + hx 2 + ix 3 ) = (ax 1 + bx 2 + cx 3 ) ((dh eg)x 1 x 2 + (di gf)x 1 x 3 +(ei fh)x 2 x 3 ) = (a(ei fh) b(di gf) + c(dh eg))x 1 x 2 x 3 = det(a)x 1 x 2 x 3 8. Let M be a closed connected manifold with dimension a multiple of 4. Show that χ(m) 0. Solution : This is wrong as pointed out by Miguel Moreira. A counterexample is S 2 Σ 2 as χ(s 2 Σ 2 ) = χ(s 2 )χ(σ 2 ) = 2 ( 2) = 4. In a moment of insanity I must have believed that the contributions of dimensions i and 4n i cancelled leaving only dimension 2n but this makes no sense... I promise to be more careful in the remaining exams.
Algebraic 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 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 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 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 informationStudy Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia
Study Guide Harvard Mathematics Qualification Exam E-mail address: nasko@math.harvard.edu E-mail address: sia@math.harvard.edu Atanas Atanasov Charmaine Sia Contents Chapter 1. Notes 7 1. Algebraic Topology
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 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 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 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 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 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 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 informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
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 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 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 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 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 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. 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 information0.1 Universal Coefficient Theorem for Homology
0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a
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 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 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 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 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 informationTensor, Tor, UCF, and Kunneth
Tensor, Tor, UCF, and Kunneth Mark Blumstein 1 Introduction I d like to collect the basic definitions of tensor product of modules, the Tor functor, and present some examples from homological algebra and
More informationHomology and Cohomology
Homology and Cohomology Name : Tanushree Shah Student ID: 20131065 Supervised by Tejas Kalelkar Indian Institute of Science Education and Research Department of Mathematics November 23, 2016 1 Contents
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 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 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 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 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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
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 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 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 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 informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
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 informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
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 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 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 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 informationTopology Hmwk 1 All problems are from Allen Hatcher Algebraic Topology (online) ch 3.2
Topology Hmwk 1 All problems are from Allen Hatcher Algebraic Topology (online) ch 3.2 Andrew Ma March 1, 214 I m turning in this assignment late. I don t have the time to do all of the problems here myself
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 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 informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
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 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 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 informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
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 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 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 informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
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 informationA duality on simplicial complexes
A duality on simplicial complexes Michael Barr 18.03.2002 Dedicated to Hvedri Inassaridze on the occasion of his 70th birthday Abstract We describe a duality theory for finite simplicial complexes that
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 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 information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationMaster Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed
Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
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 informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
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 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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
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 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 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 informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationCLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT
CLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT SHO HASUI, HIDEYA KUWATA, MIKIYA MASUDA, AND SEONJEONG PARK Abstract We say that a complete nonsingular toric variety (called a toric
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 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 informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
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 informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
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 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 informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationLecture in the summer term 2017/18. Topology 2
Ludwig-Maximilians-Universität München Prof. Dr. Thomas Vogel Lecture in the summer term 2017/18 Topology 2 Please note: These notes summarize the content of the lecture, many details and examples are
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
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 information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
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 information