Homology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011
|
|
- Ashlynn Ford
- 5 years ago
- Views:
Transcription
1 Math 757 Homology theory March 9, 2011
2 Theorem 183 Let G = π 1 (X, x 0 ) then for n 1 h : π n (X, x 0 ) H n (X ) factors through the quotient map q : π n (X, x 0 ) π n (X, x 0 ) G to π n (X, x 0 ) G the G-coinvariants of π n (X, x 0 ) Theorem 184 (X, A) a topological pair. Let G = π 1 (A, x 0 ) then for n 2 h : π n (X, A, x 0 ) H n (X ) factors through the quotient map q : π n (X, A, x 0 ) π n (X, A, x 0 ) G to π n (X, A, x 0 ) G the G-coinvariants of π n (X, A, x 0 )
3 Proof of Theorems 183 and 184. [f ] π 1 (X, x 0 ) [α] π n (X, x 0 ) Standard argument gives explicit homotopy between α and f α
4 Exercise 185 (HW9 - Problem 1) Decide whether or not for all spaces X and all n 1 the Hurewicz homomorphism h : π n (X, x 0 ) H n (X ) is surjective. Exercise 186 (HW9 - Problem 2) Hatcher pg : 10, 11, 19, 20 You may use any results from Section 4.2 for these problems including the Hurewicz Theorem and Whitehead s Theorem
5 Definition 187 Let C n (X, A) k x 0 C n (X, A) Be linear combinations of maps σ : n X Where σ takes vertices of n to x 0 and the k-skeleton of n to A. Goal: Prove that if X is path-connected and (X, A) is k-connected for some k 0 then the inclusion is a chain homotopy equivalence. C(X, A) k x 0 C(X, A)
6 Lemma 188 Suppose X is a space and D C(X ) is a sub-chain complex satisfying 1 D is generated by singular simplices 2 For each singular simplex σ : n X there is P σ : n I X 3 P σ (z, 0) = σ(z) 4 If σ : n I X is given by σ(x) = P σ (z, 1) then σ D 5 P i σ = P σ i σ I Then the inclusion D C(X ) is a chain homotopy equivalence.
7 Proof of Lemma 188. Let be the inclusion. Let be given by p(σ) = σ p is a chain map since i : D C(X ) p : C(X ) D p( σ) = j ( 1) j P σ j σ {1} = σ = p(σ) p i = 1 D Claim: i p 1 C(X )
8 Proof of Lemma 188 (continued). Claim: i p 1 C(X ) Let be the maps h 0, h 1 : n n I h 0(z) = (z, 0) h 1(z) = (z, 1) We showed there is a chain homotopy T : C( n ) C( n I ) between h 0 and h 1. Let T X : C(X ) C(X ) be Then T X (σ) = (P σ T )(1 n) ( T X + T X )(σ) = (P σ T )(1 n) + (P σ T )( 1 n) = P σ T (1 n) + P σ T (1 n) = P σ ( T + T )(1 n) = P σ (h 1 h 0 )(1 n) = σ σ = (i p 1 C(X ) )(σ)
9 Proposition X is path connected 2 For some k 0 we have (X, A) is k-connected (π n (X, A, x 0 ) = 0 for n k) Then the inclusion C(X, A) k x 0 C(X ) is a chain homotopy equivalence.
10 Proof of Proposition 189. Given Lemma 188 above want P σ : n I X for each σ S n (X ) Will define P inducting on n Suppose n = 0 then 0 = {1} Each σ : 0 X is given by a point σ(1) X For each x X choose path γ x : I X with γ x(0) = x and γ x(1) = x 0 For x 0 X choose γ x0 = c x0 Let P σ : 0 I X be P σ(1, t) = γ σ(1) (t) We have P σ defined for all σ S 0(X ) Suppose 0 < n k and P σ defined for all σ S m (X ) with m < n. Given σ S n(x ) If σ C(X, A) k x 0 let P σ : n I X be P σ(z, t) = σ(z)
11 Proof of Proposition 189 (continued). If σ / C(X, A) k x 0 Define P σ on n {0} P σ(z, 0) = σ(z) On n I inductive assumption gives def of P σ π n(x, A, x 0) = 0 so there is a homotopy which we use to fill in P σ such that Pσ( n 1) A Suppose n > k and P σ defined for all σ S m (X ) with m < n. Given σ S n(x ) k-skeleton of σ contained in union of faces of σ so σ is in C(X, A) k x 0 iff every face of σ is in C(X, A) k x 0 By inductive assumption P σ is defined on n I n {0} Fill in P σ for n {i} with map that follows n [i, 0] n {0} Faces of σ are in C(X, A) k x 0 by inductive assumption so σ is.
12 Definition 190 ( ) C(X, A) k x n (X, A) = H 0 n C(X, A) k x 0 C(A) H (k,x0) Inclusion of chain complexes induce homomophisms H (2,x0) n (X, A) H n (1,x0) (X, A) H n (0,x0) (X, A) H n (X, A) Corollary A is path connected 2 (X, A) k-connected Then for all n above homomorphisms induce isomorphisms H (k,x0) n (X, A) = H n (X, A)
13 Homology theory Proof of Corollary 191. Claim 1: C(X, A) k x 0 C(A) C(A) is a chain homotopy equivalence A is path-connected so (A, {x 0}) is 0-connected By Proposition 189 we get above chain homotopy equivalence. Claim 2: C(X, A) k x 0 C(X ) is a chain homotopy equivalence (X, A) is k-connected and X path-connected By Proposition 189 we get above chain homotopy equivalence. Have morphism of short exact sequences of chain complexes 0 C(X, A) k x 0 C(A) C(X, A) k x 0 C(X,A) k x 0 C(X,A) k x 0 C(A) 0 C(A) C(X ) C(X, A) 0 induces morphism of long exact sequence with 2/3 maps isomorphisms 5-Lemma gives desired isomorphism 0
14 X and A path-connected G = π 1 (A, x 0 ) (X, A) n-connected For now let π n (X, A, x 0 ) be homotopy classes of maps α : ( n, n, 0 n ) (X, A, x 0 ) Any such map α is a singular simplex in C(X, A) (n 1) x 0 Hurewicz homomorphism factors as h : π n (X, A, x 0 ) H n (X, A) so the π n (X, A, x 0 ) q π n (X, A, x 0 ) G h H (n 1,x0) n (X, A) H n (X, A) Let h : π n (X, A, x 0 ) G H n (X, A) be the last composition.
15 Theorem 192 (RHI(n) Relative Hurewicz Isomorphism) (n 2). Let A be path connected, (X, A) be (n 1)-connected and let G = π 1 (A, x 0 ). Then h : π n (X, A, x 0 ) G H n (X, A) is an isomorphism. Theorem 193 (AHI(n) Hurewicz Isomorphism) (n 1). Let X be (n 1)-connected. Then h : π n (X, x 0 ) H n (X, x 0 ) is an isomorphism.
16 In the (n + 1)-simplex n+1 with (n 1)-skeleton ( n+1 ) n 1 Let λ i n+1 = [e 0,, ê i,, e n ] λ 0 n+1 : ( n, n, e 0 ) ( n+1, ( n+1 ) n 1, e 1 ) λ i n+1 : ( n, n, e 0 ) ( n+1, ( n+1 ) n 1, e 0 ) Let γ : I n+1 be the linear path with γ(t) = (1 t)e 0 + te 1. Let b n π n ( n+1, ( n+1 ) n 1, e 0 ) b 2 = γ [λ 0 3][λ 2 3][λ 1 3] 1 [λ 3 3] 1 b n = γ [λ 0 n+1] + i ( 1) i [λ i n+1] We have the inclusion j : ( n+1, ( n+1 ) n 1, e 0 ) ( n+1, ( n+1 ) n 1, e 0 ) Lemma 194 (SF(n) Homotopy sum of simplicial faces) (n 1). j b n = 0
17 Homology theory Proof of RHI(n), AHI(n) and SF(n). The proof will follow these steps 1 SF(1) and AHI(1) were proved when we showed π 1 (X ) Ab = H1 (X ) 2 AHI(1), AHI(2),, AHI(n 1) = SF(n) for n 2 3 SF(n) = RHI(n) for n 2 4 RHI(n) = AHI(n) for n 2 Part 1 is shown so we start with part 2 2 Claim: AHI(1), AHI(2),, AHI(n 1) = SF(n) for n 2 Consider the homotopy long exact sequence of the triple ( n+1, n+1, ( n+1 ) n 1 ) and the pair ( n+1, ( n+1 ) n 1 ) π n+1( n+1, n+1, e 0) π n( n+1, ( n+1 ) n 1, e 0) j π n( n+1, ( n+1 ) n 1, e 0) i π n( n+1, e 0) π n 1(( n+1 ) n 1, e 0) Commutativity comes from naturality of homotopy LES and inclusion ( n+1, n+1, e 0) ( n+1, n+1, ( n+1 ) n 1 )
18 Homology theory Proof of RHI(n), AHI(n) and SF(n) (continued). 2 Claim: AHI(1), AHI(2),, AHI(n 1) = SF(n) for n 2 π n+1( n+1, n+1, e 0) π n( n+1, ( n+1 ) n 1, e 0) j = π n( n+1, ( n+1 ) n 1, e 0) i π n( n+1, e 0) π n 1(( n+1 ) n 1, e 0) n+1 is contractible so in homotopy LES of pair ( n+1, n+1 ) we see is an isomorphism. Hence ker j = Im = Im(i ) = Im i = ker Hence claim SF(n) (j b n = 0) will follow from showing (b n) = 0
19 Homology theory Proof of RHI(n), AHI(n) and SF(n) (continued). 2 Claim: AHI(1), AHI(2),, AHI(n 1) = SF(n) for n 2 π n+1( n+1, n+1, e 0) π n( n+1, ( n+1 ) n 1, e 0) j = π n( n+1, ( n+1 ) n 1, e 0) i π n( n+1, e 0) π n 1(( n+1 ) n 1, e 0) If n = 2 easy calculation shows b 2 = 1 π 1(( 3 ) 1, e 0) = F 3 If n 3 then ( n+1 ) n 1 contains 2-skeleton of n so ( n+1 ) n 1 has same trival π 1 as n. For k n 2 H k (( n ) n 1, v 0) = H k ( n, v 0) = 0 By AHI(1),, AHI(n 2) we get ( n+1 ) n 1 is (n 2)-connected. By AHI(n 1) we have an isomorphism h : π n 1(( n+1 ) n 1, v 0) = H n 1( n+1 ) n 1, v 0)
20 Homology theory Proof of RHI(n), AHI(n) and SF(n) (continued). 2 Claim: AHI(1), AHI(2),, AHI(n 1) = SF(n) for n 2 π n+1( n+1, n+1, e 0) π n( n+1, ( n+1 ) n 1, e 0) j = π n( n+1, ( n+1 ) n 1, e 0) i π n( n+1, e 0) π n 1(( n+1 ) n 1, e 0) In π n 1(( n+1 ) n 1, v 0) computation is difficult but in H n 1(( n+1 ) n 1, v 0) Part 2 is complete. h b n = h(b n) so b n = 0 = [ ( 1) i λ i n+1 = [1 n+1] ]
21 Proof of RHI(n), AHI(n) and SF(n) (continued). 3 Claim: SF(n) = RHI(n) for n 2 The Hurewicz homomorphism h : π n(x, A, x 0) H n(x, A) factors as π n(x, A, x 0) G h H (n 1,x 0) n (X, A) = H n(x, A) Enough to construct inverse w : H (n 1,x 0) n (X, A) π n(x, A, x 0) G of h First define w on chains C n(x, A) n 1 x 0 If σ : ( n, n, e 0) (X, A, x 0) is a sing. simpl. in C n(x, A) n 1 x 0 then [σ] π n(x, A, x 0) G Set w([σ]) = [σ]. By freeness of C n(x, A) n 1 x 0 have a homorphism w : C n(x, A) n 1 x 0 π n(x, A, x 0) G
22 Proof of RHI(n), AHI(n) and SF(n) (continued). 3 Claim: SF(n) = RHI(n) for n 2 If Im σ A then w[σ] = 0. So w induces a homorphism w : C n(x, A) n 1 x 0 C n(x, A) n 1 x 0 C πn(x, A, x0) G n(a) If w = 0 then w induces map on homology. Given σ : ( n+1, n+1, e 0) (X, A, x 0) Apply SF(n) to get w σ = ( 1) i [ i σ] = σ j ( 1) i [λ i n+1] = σ j b n = 0 w h = 1 so h is an isomorphism. Part 3 is complete.
23 Proof of RHI(n), AHI(n) and SF(n) (continued). 4 Claim: RHI(n) = AHI(n) for n 2 If X is (n 1)-connected then the pair (X, x 0) is (n 1)-connected. Apply RHI(n) to the pair (X, x 0). Get AHI(n). This completes the proof.
Math 757 Homology theory
Math 757 Homology theory March 3, 2011 (for spaces). Given spaces X and Y we wish to show that we have a natural exact sequence 0 i H i (X ) H n i (Y ) H n (X Y ) i Tor(H i (X ), H n i 1 (Y )) 0 By Eilenberg-Zilber
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationMath 757 Homology theory
theory Math 757 theory January 27, 2011 theory Definition 90 (Direct sum in Ab) Given abelian groups {A α }, the direct sum is an abelian group A with s γ α : A α A satifying the following universal property
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 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 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 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 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 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 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 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 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 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 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 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 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 information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
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 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 informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
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 informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationLecture 9: Alexander Duality
Lecture 9: Alexander Duality 2/2/15 Let X be a finite CW complex embedded cellularly into S n, i.e. X S n. Let A S n X be a finite CW complex such that A is homotopy equivalent to S n X. Example 1.1. X
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 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 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 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 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 informationThe Hurewicz theorem by CW approximation
The Hurewicz theorem by CW approximation Master s thesis, University of Helsinki Student: Jonas Westerlund Supervisor: Erik Elfving December 11, 2016 Tiedekunta/Osasto Fakultet/Sektion Faculty Faculty
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 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 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 informationGLOBALIZING LOCALLY COMPACT LOCAL GROUPS
GLOBALIZING LOCALLY COMPACT LOCAL GROUPS LOU VAN DEN DRIES AND ISAAC GOLDBRING Abstract. Every locally compact local group is locally isomorphic to a topological group. 1. Introduction In this paper a
More informationTHE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS. S lawomir Nowak University of Warsaw, Poland
GLASNIK MATEMATIČKI Vol. 42(62)(2007), 189 194 THE STABLE SHAPE OF COMPACT SPACES WITH COUNTABLE COHOMOLOGY GROUPS S lawomir Nowak University of Warsaw, Poland Dedicated to Professor Sibe Mardešić on the
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
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 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 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 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 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 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 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 informationFibers, Surjective Functions, and Quotient Groups
Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset
More 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 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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationLecture 6. s S} is a ring.
Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
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 informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
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 informationFrom singular chains to Alexander Duality. Jesper M. Møller
From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 21 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter
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 informationFrom singular chains to Alexander Duality. Jesper M. Møller
From singular chains to Alexander Duality Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 2100 København E-mail address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter
More informationAN INTRODUCTION TO A -ALGEBRAS
AN INTRODUCTION TO A -ALGEBRAS Nathan Menzies Supervisor: Dr. Daniel Chan School of Mathematics, The University of New South Wales. November 2007 Submitted in partial fulfillment of the requirements of
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationINTRODUCTION TO ALGEBRAIC TOPOLOGY. (1) Let k < j 1 and 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1
INTRODUCTION TO ALGEBRAIC TOPOLOGY Exercise 7, solutions 1) Let k < j 1 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1 n 1. Recall that the map e j n : n 1 n is defined by e j nt 0,...,
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 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 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 informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationMath 6802 Algebraic Topology II
Math 6802 Algebraic Topology II Nathan Broaddus Ohio State University February 9, 2015 Theorem 1 (The Künneth Formula) If X and Y are spaces then there is a natural exact sequence 0 i H i (X ) H n i (Y
More informationSimplicial Homology. Simplicial Homology. Sara Kališnik. January 10, Sara Kališnik January 10, / 34
Sara Kališnik January 10, 2018 Sara Kališnik January 10, 2018 1 / 34 Homology Homology groups provide a mathematical language for the holes in a topological space. Perhaps surprisingly, they capture holes
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
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 informationarxiv: v1 [math.kt] 22 Nov 2010
COMPARISON OF CUBICAL AND SIMPLICIAL DERIVED FUNCTORS IRAKLI PATCHKORIA arxiv:1011.4870v1 [math.kt] 22 Nov 2010 Abstract. In this note we prove that the simplicial derived functors introduced by Tierney
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 informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
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 751 Week 6 Notes
Math 751 Week 6 Notes Joe Timmerman October 26, 2014 1 October 7 Definition 1.1. A map p: E B is called a covering if 1. P is continuous and onto. 2. For all b B, there exists an open neighborhood U of
More 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 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 informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More 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 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 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 informationTHE FUNDAMENTAL GROUP AND CW COMPLEXES
THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental
More 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 informationCorrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015
Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The
More 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 informationSimplicial Complexes in Finite Groups. (Cortona. July 2000)
Simplicial Complexes in Finite Groups (Cortona. July 2000) Firenze, September 2000. These notes contain the material presented at a Scuola Matematica Interuniversitaria summer course held in Cortona in
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
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 informationHomotopy and homology of fibred spaces
Homotopy and homology of fibred spaces Hans-Joachim Baues and Davide L. Ferrario Abstract We study fibred spaces with fibres in a structure category F and we show that cellular approximation, Blakers Massey
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 informationMinimal free resolutions that are not supported by a CW-complex.
Minimal free resolutions that are not supported by a CW-complex. Mauricio Velasco Department of Mathematics, Cornell University, Ithaca, NY 4853, US Introduction The study of monomial resolutions and their
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 informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
More information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
More information1 Introduction. 2 Fundamental Group
1 Introduction When are two spaces X, Y homeomorphic, that is, when is there a continuous map f : X Y with continuous inverse? Let f, g : X Y be continuous maps f is homotopic to g if there exists a homotopy,
More information4.2 Chain Conditions
4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.
More informationAlgebraic Topology, summer term Birgit Richter
Algebraic Topology, summer term 2017 Birgit Richter Fachbereich Mathematik der Universität Hamburg, Bundesstraße 55, 20146 Hamburg, Germany E-mail address: birgit.richter@uni-hamburg.de CHAPTER 1 Homology
More informationOn the Homological Dimension of Lattices
On the Homological Dimension of Lattices Roy Meshulam August, 008 Abstract Let L be a finite lattice and let L = L {ˆ0, ˆ1}. It is shown that if the order complex L satisfies H k L 0 then L k. Equality
More informationPure Math 467/667, Winter 2013
Compact course notes Pure Math 467/667, Winter 2013 Algebraic Topology Lecturer: A. Smith transcribed by: J. Lazovskis University of Waterloo April 24, 2013 Contents 0.0 Motivating remarks..........................................
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 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 information