Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
|
|
- Molly Fleming
- 5 years ago
- Views:
Transcription
1 Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, Proof. Please refer to the attached picture. We have the following chain complex δ 3 C 2 =< T > δ 2 C 1 =< a, b, c > δ 1 C =< v > δ where each C i is an abelian group of chains generated by the stated elements. Then compute for the following functions. δ 2 : T a + b c Kerδ 2 =, Imδ 2 =< a + b c > δ 1 : a v v =, b v v =, c v v = Kerδ 1 =< a, b, c >, Imδ 1 = Knowing this we can compute the homology groups. H n (X) = for n 3. H 2 (X) = Ker δ 2 = H 1 (X) = Ker δ 1 Im δ 2 = <a,b,c> <a+b c> =< a, b >= Z2 H (X) = Ker δ Im δ = <v> = Z Proof. Following the picture of the Klein bottle given on page 12. We have the following chain complex: δ 3 δ C 2 δ 2 1 δ C1 C <U,L> <v> <a,b,c> Next compute the following for the boundary maps. δ 2 : U a + b c, L a b + c Since these two are linearly independent Ker δ 2 = 1
2 and Im δ 2 =< a + b c, a b + c > δ 1 : a v v =, b, c Thus Ker δ 1 =< a, b, c > and Imδ 1 =. Thus we have the following for the homology groups. H n (K) = for n 3 H 2 (K) = Ker δ 2 =< a + b c, a b + c >= Z 2 H 1 (K) = Ker δ 1 <a,b,c>. Since this is an abelian group we can say that < a + Im δ 2 = <a+b c,a b+c> b c, a b + c >=< a + b c > + < a b + c > and compute the quotient iteratively <a,b,c> by the third isomorphism theorem. First <a+b c> =< a, b, a + b >=< a, b >. Next we quotient by the group <a b+c> <a,b> <a+b c> =< a b + a + b >=< 2a >. Then <2a> = Z Z 2. We can check this computation by comparing it to the abelianization of π 1 (K) (which this equals). H (K) = Ker δ Im δ = <v> = Z. *note to self - What helped me was computing this problem first for n = 3* Also I will attach a picture for this problem. First label the simplexes. Fix a tetrahedron i.e. a 4-simplex, call this T 1 and let T i be the ith tetrahedron iterated counterclockwise in the provided picture in Hatcher. For T i in the picture in hatcher there are two faces which are exposed on the outside of the figure and two faces which are inside the figure. Label the left - inner face Fi 1 and the top face Fi 2. Next label the edges. In the figure in Hatcher the perimeter of the figure will all be one edge in the quotient so label this x and label one verticle edge inside the figure y. For each T i label the edge shared by Fi 1 and Fi 2 as E i. Finally notice that there are exactly two vertices in the quotient of the figure provided in Hatcher. Label the vertex on the outside V 1 and the vertex at the center of the figure V 2. Now consider the chain complex and notice that δ 3 δ C 2 δ 2 1 δ C1 C C 3 =< T 1,..., T n > C 2 =< F 1 1, F2 1,..., F1 n, F 2 n > C 1 =< x, y, E 1,..., E n : x n = y n = 1 > C =< V 1, V 2 > Where these are all abelian groups. Claim: H 3 (X) = Z Proof. Consider the map δ 4 = since C 4 = so that Im δ 4 =. Then consider the map δ 3 : T i F 1 i + F 2 i F 1 i+1 F2 i+1 2
3 where the index i is taken modulo n i.e. if i = n then I mean i + 1 = 1. Now I want to show that ker δ 3 =< T T n >. To see this, suppose that the element i=1 n c it i ker δ 3. This element i=1 n c it i (c 1 c n )(F1 1 + F2 1 ) + (c 2 c 1 )(B 1 + B 2 ) + + (c n c n 1 )(Fn 1 + Fn) 2 =. This implies that c 1 = c 2 = = c n s.t. this element is really in the span of T T n. Clearly T T n ker δ 3, so ker δ 3 =< T T n >. Thus the homology group H 3 (X) = <T 1 + +T n > = Z. Claim: H 2 (X) = Proof. I got the idea to use rank - nullity from an online solution at uiuc. Note that the map δ 2 acts as follows: { F 1 δ 2 = i F 2 i y + E i E i 1 x + E i 1 E i By direct computation one can check that that Fi 1 + Fi 2 Fj 1 Fj 2 ker δ 2. Take the subgroup of the kernel < F1 1 + F2 1 F1 2 F2 2,..., F1 n 1 + F2 n 1 F1 n Fn 2 >. It is straightforward to check that these elements are linearly independent (just write down a linear combination of these elements, set equal to zero, and solve for coefficients). Next see that the images of the faces F 1 1, F1 2,..., F1 n 1 are linearly independent in C 1 by doing a similar process to the one described previously (the computations are easy to do for n = 3). By Rank - Nullity thm we have that dim ker δ 2 + dim Im δ 2 = dim C 2 We have shown that dim Im δ 2 n 1 and we have that dim C 2 = 2n hence dim ker δ 2 n 1. Since we have n 1 linearly independent elements of the kernel these must generate the kernel. Finally H 2 (X) = ker δ 2 Im δ 3 but we have that ker δ 2 =< F F2 1 F1 2 F2 2,..., F1 n 1 + F2 n 1 F1 n F 2 n > which also happens to be the image of δ 3. Hence the homology group is. Claim: H 1 (X) = Z n Proof. Consider the map δ 1 : x V 1 V 1 = δ 1 = y V 2 V 2 = E 1,..., E n V 1 V 2 Thus it s clear that ker δ 1 =< x, y, E 1 E n, E 2 E 1,..., E n E n 1 >. Now consider the map δ 2 which was defined in the previous claim. I wts that Im δ 2 =< y (E n 3
4 E 1 ), (E n E 1 ) x,..., y (E n 1 E n ), (E n 1 E n ) x >. This is true by looking at the generators of C 2 and where they map to. F 1 1 y (E n E 1 ) F 2 1 (E n E 1 ) x. F 1 n y (E n 1 E n ) F 1 n (E n 1 E n ) x Since H 1 (X) = ker δ 1 Im δ 2 =< x > but recall that in C 1, x n = 1. Hence this group is isomorphic to Z n. Claim: H (X) = Proof. This idea is borrowed from Alicia from class. While this homology group may be computed directly, it s easier to see that the space is a quotient of a path connected space hence it is path connected. By Prop 2.7 the homology group is Z Proof. Consider the chain complex of X which is δ n+1 Cn < n > δ n δ 3... C2 < 2 > δ 2 C1 < 1 > δ 1 C < > δ where each C i =< i > for i n because of the definition of X. Also note that in this case every map δ i = because when i n each i is a cycle (since it s boundary is the i 1 simplex). Thus i n, ker δ i =< i >, Im δ i =. This gets that each homology group H i (X) = < i > = Z for i n and otherwise Proof. Given the induced map i : H n (A) H n (X) s.t. i ([α]) = [i α] and refer the notation used in the picture of chain complexes at the top of page 111 in 2.1. Begin by noting that if i : A X is injective then by the definition on page 111 the induced homomorphism on chain complexes, i, will be injective. Then do a diagram chase to show that the Kernel i is trivial. Assume the homolgy class [α] ker i then i ([α]) Im δ = [i α] Im δ. Therefore β C n+1 (X) s.t. i α = δβ. If δβ = then by injectivity we get α = and would be done, so assume that δβ =. By applying i 1 β we can produce an element α C n+1 (A). By the commutivity of the chain homomorphisms we have that ı δα = δ i α but the RHS of this equation is δβ = i α ı δα = i α. By applying inverse maps of i we conclude that 4
5 δα = α = α Im δ. This shows that [α] = [] H n (A) so ker i = and injectivity is shown (a) Proof. By induction. Base case: n = : In this case X = a pt. Then H (X) = Z which is clearly free and H i (X) = i > by prop 2.8. Inductive step: Assume the result holds for n 1 and show it holds for n. First I ll show that H n (X) is free. Note that if X is dimension n then X = X n we ll always have the following long exact sequence by thm 2.13 H n (X n 1 ) i H n (X n ) j H n (X n /X n 1 ) (usually these are reduced homologies but since n > this is equivalent to ordinary homology) By our induction hypothesis we have that H n (X n 1 ) = and so ker j = Im i = j is injective. Additionally, since X n /X n 1 is a wedge of S n spheres the homology group H n (X n /X n 1 ) splits as a direct sum of H n (S n ) by corollary Furthermore, H n (S n ) = Z by corollary Thus H n (X n /X n 1 ) is a free group and since H n (X n ) injects into this group it may be viewed as a subgroup of a free group and by a previous exercise or example in the graph section we know that subgroups of free groups are free. Next I want to show that H i (X n ) = for i > n. This result comes from again examining an exact sequence H i (X n 1 ) H i (X n ) H i (X n /X n 1 ) H i 1 (X n 1 ) If i > n then H i (X n 1 ) =, H i 1 (X n 1 ) =. So H i (X n ) = H i (X n /X n 1 ) by exactness but H i (X n /X n 1 ) = since this is a direct sum of H i (S n ) terms and each will be by corollary So H i (X n ) = when i > n. (b) Proof. I ll first show part (c) of Lemma 2.34 of the next section because I think this result is easy enough to see by tools of this section. The claims is for k < n, H k (X n ) = H k (X) where X is a finite dimensional CW - complex. To get this result examine the LES H k+1 (X n+1 /X n ) H k (X n ) H k (X n+1 ) H k (X n+1 /X n ) By applying part (a) of this problem we get that H k+1 (X n+1 /X n ) = H k (X n+1 /X n ) =, = H k (X n ) = H k (X n+1 ). By inductively repeating this argument and assuming 5
6 that X is finite dimensional we can conclude that H k (X n ) = H k (X). Now I will apply the result to prove the original claim. By the result H n (X n+1 ) = H n (X). By assumption X n+1 = X n s.t. H n (X n ) = H n (X) so I will simply compute H n (X n ). Look at the exact sequence H n (X n 1 ) H n (X n ) H n (X n /X n 1 ) H n 1 (X n 1 ) By part (a) of this problem H n (X n 1 ) = and by assumption X n 2 = X n 1 s.t. H n 1 (X n 1 ) = H n 1 (X n 2 ) = by part (a) again. By exactness of this sequence H n (X n ) = H n (X n /X n 1 ). The group H n (X n /X n 1 ) is freely generated by generators in bijection with the number of n-cells because this is the homology group of a wedge of S n. Thus the claim is shown. (c) Proof. I ll use the result of part (c) in Lemma 2.34 which I proved in the previous part. Consider the exact sequence H n (X n 1 ) H n (X n ) j H n (X n /X n 1 ) Since H n (X n 1 ) = by part (a) the map j is injective and H n (X n /X n 1 ) is generated by k-elements (discussed in the previous parts of this problem) then H n (X n ) is generated by at most k elements. Next I want apply Lemma 2.34 (c) to state that H n (X n+1 ) = H n (X). Now I ll relate H n (X n ) and H n (X n+1 ) by the following exact sequence: H n (X n ) i H n (X n+1 ) j H n (X n+1 /X n ) Since H n (X n+1 /X n ) = (seen by breaking it up as a wedge of copies of S n+1 ) we have that H n (X n+1 ) = ker j = Im i hence H n (X n ) is surjective. This shows that H n (X n+1 ) is generated by at most k elements and so then is H n (X) There s a great link to explain how to compute boundary maps in the lecture notes of Maxim: maxim/topnotes1.pdf maxim/topnotes2.pdf (a) Proof. The quotient of S 2 with two anitpodal points identified is homotopically equivalent to the wedge S 2 S 1 (I believe this was explained in ch. ) and call this space X. At this point you could break up the homology of the wedge as the direct sum of 6
7 the homology of the parts for a quick answer, but out of anger at my midterm I will compute this with cellular homology. This CW - complex can be seen as the combination of 1 e, 1 e 1, and 1 e 2. We can see immediately that H (X) = Z because X is path connected (it s a quotient of a path connected space). We can compute the other groups by applying cellular homology and the properties of Lemma Here is the cellular complex: Z d 2 Z d 1 Z d Now the map d 1 is the trivial map because by the cellular homology isomorphism H (X) = ker d Im d 1 = Z by the earlier discussion. We can next use the cellular boundary formula to see that the disc D 2 is not attached along the 1-cell so that the map d 2 must be the trivial map. This gets homology groups H 1 = H2 = Z. (b) Proof. Let X be the space S 1 (S 1 S 1 ) and note that space is similar to two torii attached along the outside by a copy of S 1 (for example nested doughnuts or two stacked bagels). We can build this CW - complex using 1 e, 3 e 1, and 2 e 2 cells. Again H (X) = Z because there is only one path connected component (X is a quotient of a single torus, which is path connected). I ll use cellular homology to compute the rest. d 3 Z 2 d 2 Z 3 d 1 Z d By reasoning similar to part (a) we can conclude that d 1 is the trivial map and by directly computing the boundary map d 2 following Maxim s notes one can see that for example one of the e 2 cells is attached along the 1-cells by aca 1 c 1 (if the loops are labeled a, b, c). Then whether you collapse a, b, or c either way the resulting boundary map becomes has degree. The same is true for the other 2-cell we are attaching and so we may conclude that d 2 is the trivial map. Putting this all together we can compute the homology groups (using kernels and images of this chain complex) to get that H 1 = Z 3, H 2 = Z 2. (c) Proof. Since this hmwk assignment was not collected I didn t complete these problems but... All we need to do is to put a CW - complex on this. I motivated this by computing if there was only one hole removed (which is a torus). So I see this as label the boundaries of all 3 circles as, a, a 1-cell. Connect these copies of a by 1-cells b and c. Then attach 7
8 2-cells along the boundaries aba 1 b 1, aca 1 c 1, and a(bc)a 1 (bc) 1 - for a total of 3 2-cells. Since there is only 1 -cell we have the following chain complex: d 3 Z 3 d 2 Z 3 d 1 Z d Again d 1 is trivial (because there is only one -cell) and by direct computation of d 2 we can see that d 2 is a trivial map too. Now all the CW homologies are computatble since we know the maps. (d) Proof. Again all we need is a CW - complex. The motivation the CW structure is to basically do what you would do for a torus i.e. S 1 S 1. In this case take two 1-cells to make loops and call them a and b. Then attach one 2-cell along a n b m a n b m. We get the complex: d 3 Z d 2 Z 2 d 1 Z d Again we realize that d 1 is trivial and directly compute d 2 which we will see is also trivial. So everything will be computable Claim: The quotient map S 1 S 1 S 2 collapsing the subspace S 1 S 1 to a point is not nullhomotopic Proof. Let q be the quotient map. Since q is surjective the induced map q : H 2 (S 1 S 1 ) H 2 (S 2 ) is surjective (to see this you can consider the simplex chain complexes that are given by CW-complexes). All that is left is to show that q is injective. Consider the exact sequence given by the thm 2.13: H 2 (S 1 S 1 ) i H 2 (S 1 S 1 ) q H 2 (S 1 S 1 /S 1 S 1 ) Here S 1 S 1 /S 1 S 1 = S 2 and H 2 (S 1 S 1 ) = because it has no 2-cells. Then Im i = = ker q = by exactness and q is injective. Thus q is an isomorphism between H 2 (S 1 S 1 ) and H 2 (S 2 ). Claim: Any map S 2 S 1 S 1 is nullhomotopic Proof. Let f be such a map and note that because π 1 (S 2 ) = then there exists a lift of f, f to a map S 2 S 1 S 1 the universal cover of S 1 S 1. Since the universal cover of the torus is R 2 and this is contractible we can construct a homotopy from f to a constant map, φ : S 2 R 2. Let f t be the homotopy of f φ. From this we can construct a homotopy of f to a constant map, namely f t = p f t. Thus the map f is nullhomotopic. 8
9 (a) Proof. Call the space in question X and note that for n 3 the homology group H n (X) = because there are many zeros in the Mayer-Vietoris sequence. Additionally H (X) = Z because X is path connected anyway. So first I ll compute the second homology group using the following exact, Mayer-Vietoris sequence: H 2 (M T) = i 1 H2 (M) H 2 (T) =Z j H 2 (X) δ H 1 (M T) i 2 H 1 (M) H 1 (T) H 2 (M T) = because M T is the wedge of two circles which has no 2-cells and by Cell complexes must have trivial second homology group. Similarly we can compute that H 2 (M) = and I believe that it was shown in the book that H 2 (T) = Z. So now we know the second term in this exact sequence. Then using knowledge of maps (in a similar manner to the computation example in the book with the Klein bottle) we know that i 2 : 1 (1, (, 2)) because circle in which Mobius strip and torus are attached is one generator loop in M but 2 generator loops in T. It is clear that i 2 is injective so that = ker i 2 = Im δ. Thus δ is the trivial map and ker δ = H 2 (X) = Im j. Since j is injective already (by examining the map i 1 ), we have that j is an isomorphism so that H 2 (X) = Z. To determine H 1 (X) use the following exact reduced Mayer-Vietoris sequence: H 1 (M T) i 2 H 1 (M) H 1 (T) j 2 H 1 (X) δ 2 H (M T) = The last term is the trivial group because I chose to look at the reduced sequence. By exactness j 2 is a surjective map. So to get an isomorphsim we simply need to quotient H 1 (M) H 1 (T) by ker j 2 = Im i 2 = (1, (, 2)) as discussed previously. Thus we have the resulting quotient being = Z Z Z 2 = H1 (X). (b) This will all be identical computation to part (a) so I won t do it Before doing this problem it is helpful to study example 2.47, the Klein bottle, to learn how to use Mayer-Vietoris. I have some comments on the proof in the book. 1. The maps are induced by the inclusion maps on chains. In particular ι : x (x, x) but these are what the element x represents in the new space. This is why 9
10 1 gets sent to 2 because in the inclusion the generator of the intersection is actually two loops when seen in the klein bottle. 2. By exactness we know the next map, which I ll call φ is a homomorphism. It s kernel is the image of ι so by the first isomorphism theorem, if we quotient the group by the kernel, we get an isomorphism. So we just need to produce generators which quotient nicely. Now to tackle the question. Proof. I ll first compute the homology groups of X. For n 4 H 4 (X) = because X as a CW-complex doesn t have 4-cells or higher. This can be more rigorously shown by looking at the Mayer-Vietoris sequence for n 4. Since X is path connected (at least I think it is), then H (X) = Z. Next realize that H ( R) = H k (D 2 ( g 1 S1 )) = H k ( g 1 S1 ) = Z g for k = 1 and o.w. Using this now examine the Mayer-Vietoris sequence H 3 (X) H 2 (M g ) H 2 (X) ψ φ H 1 (M g ) H 1 (R) H 1 (R) H 1 (X) Z Z 2g Z g Z g Right away we see that H 3 (X) = Z by exactness and the s. Next we need to understand the maps here. By exactness ψ is injective and Im ψ = ker φ by exactness. So we just need to understand the map φ. This map is induced by the inclusion by chains and since we are examining the first homology groups which are the abelianizations we can make claims about the kernels of the map φ. In H 1 (M g ) say the elements are (x 11, x 12,..., x g1, x g2 ) where x i1 corresponds to a loop through the ith hole and x i2 correspond to a loop around the ith hole. Using the inclusion map φ, (x 11, x 12,..., x g1, x g2 ) ( (, x12,...,, x i2,...,, x g2 ), (, x 12,...,, x i2,...,, x g2 ) ) or better notated ( (x12,..., x g2 ), (x 12,..., x g2 ) ) since all loops through holes in R are homotopic to trivial loops. Hence the kernel of this map is isomorphic to Z g. By applying exactness of the sequence while examining kernels and images we can conclude that H 2 (X) = Z g. By applying exactness and the first isomorphism like in the Klein bottle example, we can compute H 1 (X) by quotienting H 1 (R) H 1 (R) by Im φ. By choosing a basis carefully, such as ((x 12,,..., ), (x 12,..., )) and ((x 12,,..., ), (,..., )) etc. we can get the quotient H 1 (X) = Z g. Thus we have computed every homology group Proof. Since SX can be seen as a double cone let A be the top cone and B be the bottom cone, taking a little extra of the other cone as necessary to ensure that the interiors of each set union to be SX. Now consider the Mayer - Vietoris sequence, specifically consider the reduced version: H n (A) H n (B) H n (SX) H n 1 (A B) H n 1 (A) H n 1 (B) 1
11 Recognize that A B can deformation retract along lines (used in the creation of the cones) to the space X so we may consider H n 1 (A B) = H n 1 (X). Furthermore since the sets we took are contractible to the point of a cone (by moving along lines to the point of cones) then H k (A) = H k (B) = s.t. H k (A) H k (B) = for any n. Hence by exactness of the sequence we get that H n (SX) = H n 1 (X) for any n. Proof. Now I ll compute the relative homology groups. This uses ideas borrowed from a place on the internet. To start, realize that for n 4 the relative homology H n (R, M g ) = by looking at the LES. For n = 3 we have the sequence H 3 (R) H 3 (R, M g ) M 2 (M g ) H 2 (R) By exactness we have an isomorphism H 3 (R, M g ) = M 2 (M g ) = Z. For n = 2 we have the sequence H 2 (R) H 2 (R, M g ) δ H 1 (M g ) Z 2g i H1 (R) Z g j By exactness we have that δ is injective. Similar to the discussion in the previous proof we know i is induced by the inclusion map, and since we are dealing with the first homology groups we understand the homology classes and how i maps. Specifically, ker i = Z g and since Im δ = ker i we have that H 2 (R, M g ) = Z g. For n = 1 look at the exact sequence H 1 (M g ) i H 1 (R) j H 1 (R, M g ) H (M g ) By exactness j is surjective and by using the first isomorphism theorem we can say that H 1 (R, M g ) = H 1 (R)/ ker j. By noting ker j = Im i. Since we know how the map i works (it induced from the inclusion and this is only the first homology group) we know that i is surjective. Therefore Im i = H 1 (R) s.t. H 1 (R, M g ) = H 1 (R)/Im i = Finally for n =, I didn t bother computing this because I think it will be easy. Probably do a similar argument with assessing understood maps with an exact sequence involving H (R, M g ). 11
Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1
Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma November 22, 203.3.8 Claim: A nice space X has a unique universal abelian covering space X ab Proof. Given a
More 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 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 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 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 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 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 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 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 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 informationTopology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1
Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1 Andrew Ma December 22, 2013 This assignment has been corrected post - grading. 0.29 In case the CW complex
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 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 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 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 informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
More 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 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 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 informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More 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 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 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 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 informationMAS435 Algebraic Topology Part A: Semester 1 Exercises
MAS435 Algebraic Topology 2011-12 Part A: Semester 1 Exercises Dr E. L. G. Cheng Office: J24 E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ You should hand in your solutions to Exercises
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 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 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 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 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 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 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 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 informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More 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 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 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 informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
More 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 informationMATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4
MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 ROI DOCAMPO ÁLVAREZ Chapter 0 Exercise We think of the torus T as the quotient of X = I I by the equivalence relation generated by the conditions (, s)
More 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 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 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 informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More informationMath 215a Homework #1 Solutions. π 1 (X, x 1 ) β h
Math 215a Homework #1 Solutions 1. (a) Let g and h be two paths from x 0 to x 1. Then the composition sends π 1 (X, x 0 ) β g π 1 (X, x 1 ) β h π 1 (X, x 0 ) [f] [h g f g h] = [h g][f][h g] 1. So β g =
More 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 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 informationMAS435 Algebraic Topology Part B: Semester 2
MAS435 Algebraic Topology 2012 13 Part B: Semester 2 Dr E Cheng School of Mathematics and Statistics, University of Sheffield E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ Notes
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 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 informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
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 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 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 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 informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More 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 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 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 informationMATH 215B. SOLUTIONS TO HOMEWORK (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements.
MATH 215B. SOLUTIONS TO HOMEWORK 2 1. (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements. Solution A presentation of D 4 is a, b a 4 = b 2 =
More 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 29: Free modules, finite generation, and bases for vector spaces
Lecture 29: Free modules, finite generation, and bases for vector spaces Recall: 1. Universal property of free modules Definition 29.1. Let R be a ring. Then the direct sum module is called the free R-module
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 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 informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More 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 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 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 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 informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More informationMath 225B: Differential Geometry, Homework 8
Math 225B: Differential Geometry, Homewor 8 Ian Coley February 26, 204 Problem.. Find H (S S ) by induction on the number n of factors. We claim that H (T n ) ( n ). For the base case, we now that H 0
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 informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationS n 1 i D n l S n 1 is the identity map. Associated to this sequence of maps is the sequence of group homomorphisms
ALGEBRAIC TOPOLOGY Contents 1. Informal introduction 1 1.1. What is algebraic topology? 1 1.2. Brower fixed point theorem 2 2. Review of background material 3 2.1. Algebra 3 2.2. Topological spaces 5 2.3.
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 informationNOTES ON THE FUNDAMENTAL GROUP
NOTES ON THE FUNDAMENTAL GROUP AARON LANDESMAN CONTENTS 1. Introduction to the fundamental group 2 2. Preliminaries: spaces and homotopies 3 2.1. Spaces 3 2.2. Maps of spaces 3 2.3. Homotopies and Loops
More 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 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 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 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 informationHairy balls and ham sandwiches
Hairy balls and ham sandwiches Graduate Student Seminar, Carnegie Mellon University Thursday 14 th November 2013 Clive Newstead Abstract Point-set topology studies spaces up to homeomorphism. For many
More informationCourse notes in algebraic topology
Course notes in algebraic topology Benson Farb CLASS NOTES, Fall 2012 Comments/corrections/suggestions welcome November 11, 2012 2 Contents 1 Homology 5 1.1 Construction of simplicial homology....................
More informationHomology theory. Lecture 29-3/7/2011. Lecture 30-3/8/2011. Lecture 31-3/9/2011 Math 757 Homology theory. March 9, 2011
Math 757 Homology theory March 9, 2011 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
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationBasic Notions in Algebraic Topology 1
Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from
More 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 informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationDivision Algebras and Parallelizable Spheres III
Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector
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 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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
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 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 information