Algebraic Topology exam

Size: px
Start display at page:

Download "Algebraic Topology exam"

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

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 information

Math 6510 Homework 10

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

Part II. Algebraic Topology. Year

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

MATH 215B HOMEWORK 5 SOLUTIONS

MATH 215B HOMEWORK 5 SOLUTIONS MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,

More information

Study Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia

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

CW-complexes. Stephen A. Mitchell. November 1997

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

A Primer on Homological Algebra

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

More information

ALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by

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

Exercises for Algebraic Topology

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

2.5 Excision implies Simplicial = Singular homology

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

Homework 4: Mayer-Vietoris Sequence and CW complexes

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

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

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1 ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

More information

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY

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

0, 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

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

Math 752 Week s 1 1

Math 752 Week s 1 1 Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following

More information

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: ALGEBRAIC TOPOLOGY MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.

More information

for some n i (possibly infinite).

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

Algebraic Topology Homework 4 Solutions

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

Math Homotopy Theory Hurewicz theorem

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

1. Classifying Spaces. Classifying Spaces

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

0.1 Universal Coefficient Theorem for Homology

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

MATH 215B HOMEWORK 4 SOLUTIONS

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

GEOMETRY FINAL CLAY SHONKWILER

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

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,

More information

An Outline of Homology Theory

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

More information

QUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry

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

Tensor, Tor, UCF, and Kunneth

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

Homology and Cohomology

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

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

CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1 CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex

More information

Algebraic Topology Lecture Notes. Jarah Evslin and Alexander Wijns

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

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

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X. Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least

More information

Homotopy and homology groups of the n-dimensional Hawaiian earring

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

We have the following immediate corollary. 1

We have the following immediate corollary. 1 1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E

More information

Hungry, Hungry Homology

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

Cup product and intersection

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

Algebraic Topology II Notes Week 12

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

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.

More information

HOMOLOGY AND COHOMOLOGY. 1. Introduction

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

Characteristic Classes, Chern Classes and Applications to Intersection Theory

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

BASIC GROUP THEORY : G G G,

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

Math 121 Homework 5: Notes on Selected Problems

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

SOLUTIONS TO HOMEWORK PROBLEMS

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

Geometry Qualifying Exam Notes

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

On embedding all n-manifolds into a single (n + 1)-manifold

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

121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality

121B: 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 information

Homework 3 MTH 869 Algebraic Topology

Homework 3 MTH 869 Algebraic Topology Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }

More information

On Eilenberg-MacLanes Spaces (Term paper for Math 272a)

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

30 Surfaces and nondegenerate symmetric bilinear forms

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

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.

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

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

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor

More information

Representations and Linear Actions

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

MAT 530: Topology&Geometry, I Fall 2005

MAT 530: Topology&Geometry, I Fall 2005 MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1

More information

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

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

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

C 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 { },

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

Algebraic Topology Exam 2006: Solutions

Algebraic Topology Exam 2006: Solutions Algebraic Topology Exam 006: Solutions Comments: [B] means bookwork. [H] means similar to homework question. [U] means unseen..(a)[6 marks. B] (i) An open set in X Y is an arbitrary union of sets of the

More information

Manifolds and Poincaré duality

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

HOMOTOPY THEORY ADAM KAYE

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

Lie Algebra Cohomology

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

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

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

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

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

A duality on simplicial complexes

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

Math 6510 Homework 11

Math 6510 Homework 11 2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are

More information

Solutions to Problem Set 1

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

120A LECTURE OUTLINES

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

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

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

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

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

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

p,q H (X), H (Y ) ), where the index p has the same meaning as the

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

THE EULER CHARACTERISTIC OF A LIE GROUP

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

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

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

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

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

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

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

FIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.

FIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets. FIRST SSIGNMENT DUE MOND, SEPTEMER 19 (1) Let E be an equivalence relation on a set. onstruct the set of equivalence classes as colimit in the category Sets. Solution. Let = {[x] x } be the set of equivalence

More information

Solution: 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:

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

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

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

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

Algebraic Topology. Oscar Randal-Williams.   or257/teaching/notes/at.pdf Algebraic Topology Oscar Randal-Williams https://www.dpmms.cam.ac.uk/ or257/teaching/notes/at.pdf 1 Introduction 1 1.1 Some recollections and conventions...................... 2 1.2 Cell complexes.................................

More information

Rational homotopy theory

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

Some K-theory examples

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

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

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

CLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT

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

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

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

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

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected. Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

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

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

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

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

Applications of the Serre Spectral Sequence

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

Math 231b Lecture 16. G. Quick

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

Math 210B: Algebra, Homework 4

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

Topological K-theory

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

Math 530 Lecture Notes. Xi Chen

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

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

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

Lecture in the summer term 2017/18. Topology 2

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

Smith theory. Andrew Putman. Abstract

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

Math 797W Homework 4

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

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

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

More information