ALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by
|
|
- Juniper Hardy
- 5 years ago
- Views:
Transcription
1 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} Example 1.2. Let A = Z, B any abelian group. Then Hom(Z, B) = B by identifying ϕ with ϕ(1). If A = Z/2, B = Z, any homomorphism ϕ: Z/2 Z satisfies ϕ( 1) + ϕ( 1) = 0 Z which implies ϕ( 1) = 0, so Hom(Z/2, Z) = 0. Similarly Hom(Z/n, Z) = 0. Lemma 1.3. Let A, A, B, B be abelian groups. (1) Hom(A, B) is an abelian group. (2) If F is a field, then Hom(A, F) is a ector space oer F. (3) If I is a set and A i an abelian group for eery i I, then ( ) Hom A i, B = Hom(A i, B) i I i I (4) If f : A A is a homomorphism, there is an induced homomorphism f : Hom(A, B) Hom(A, B) gien by f (ϕ) = ϕ f. (5) If g : B B is a homomorphism, there is an induced homomorphism g : Hom(A, B) Hom(A, B ) gien by g (ϕ) = g ϕ. Example 1.4. Let C be a chain complex of abelian groups, and B an abelian group. Then let C n = Hom(C n, B). Also, for n+1 : C n+1 C n, define δ n = ( n+1 ) : C n C n+1. Furthermore δ n+1 δ n = 0, so we can define H n (C ) = ker δ n /im dδ n 1. Date: March 2,
2 2 DIRK SCHÜTZ Definition 1.5. A sequence of abelian groups (C n ) n Z with homomorphisms δ n : C n C n+1 such that δ n+1 δ n = 0 for all n Z is called a cochain complex, the resulting groups H n (C ) are called cohomology groups. Let X be a topological space, A X a subset. Then the singular cohomology groups of (X, A) with coefficients in the abelian group G are gien by H k (X, A; G) = H k (Hom(C (X, A), G)) for all k 0, where C (X, A) is the singular chain complex of the pair (X, A). If A =, we simply write H k (X; G). Example 1.6. To do calculations, we want to use cellular (co)homology rather than singular. Using the usual cell decompositions for the following spaces, we get { H (S n G = 0, n ; G) = 0 otherwise for n 1 and for all abelian groups G. For RP 2 we get H (S 0 ; G) = with all other groups zero and { G G = 0 0 otherwise H 0 (RP 2 ; Z) = Z H 1 (RP 2 ; Z) = 0 H 2 (RP 2 ; Z) = Z/2 H 0 (RP 2 ; Z/2) = Z/2 H 1 (RP 2 ; Z/2) = Z/2 H 2 (RP 2 ; Z/2) = Z/2 with all other groups zero. Remark 1.7. Typical properties from homology carry oer to cohomology ia Hom: If f : C D is a chain map, then f : Hom(D, G) Hom(C, G) is a cochain map: f δ = δ f, so f induces a map on cohomology groups. If H : C D +1 is a chain homotopy between two chain maps f, g : C D, then H : Hom(D n, G) Hom(C n 1, G) satisfies H δ + δh = f g, so f and g induce the same map on cohomology groups. Corollary 1.8 (Homotopy Inariance). Let X, Y be topological spaces, and let f, g : X Y maps which are homotopic. Then f, g induce the same homomorphism f = g : H (Y ; G) H (X; G).
3 ALGEBRAIC TOPOLOGY IV 3 Theorem 1.9 (Excision). Let X be a topological space, A X and B A with B A o. Then the inclusion map i: (X B, A B) (X, A) induces an isomorphism i : H = (X, A; G) H (X B, A B; G). f g Lemma Let 0 C D E 0 be a short exact sequence of chain complexes such that each E n for n Z is a free abelian group. Then for any abelian group G there is a short exact sequence of cochain complexes 0 Hom(E, G) g Hom(D, G) f Hom(C, G) 0 with a corresponding long exact sequence H k (C; G) δ H k+1 (E; G) g H k+1 (D; G) f H k+1 (C; G) Remark This does not work in general if E n is not free abelian, but the only thing that can fail is the surjectiity of f. Theorem Let (X, A) be a pair of topological spaces and G an abelian group. Then there is a long exact sequence of cohomology groups which is natural with respect to maps H k (A; G) δ H k+1 (X, A; G) H k+1 (X; G) H k+1 (A; G) Theorem 1.13 (Mayer-Vietoris sequence). Let X be a topological space, A, B X open subsets with X = A B and G an abelian group. Then there is a long exact sequence H k 1 (A B; G) H k (X; G) (i A,i B ) H k (A; G) H k (B; G) i j H k (A B; G) Remark From what we hae done with cohomology groups, it is not clear that the cohomology groups arising from the singular cochain complex gie the same as from the cellular cochain complex as was the case with homology. But we hae all the tools now needed to show this by adapting the homology proof. We will next show that the cohomology groups are in fact determined by the homology groups. 2. Extensions and the Uniersal Coefficient Theorem Remark 2.1. If A groups, then f B g C 0 is an exact sequence of abelian 0 Hom(C, G) g Hom(B, G) f Hom(A, G)
4 4 DIRK SCHÜTZ is an exact sequence. Een if f is injectie, f need not be surjectie. We now gie a construction that measures the failure of f being surjectie. Definition 2.2. Let M be an abelian group. A free presentation of M is gien by a free abelian group F and a surjection p: F M. Denote K = ker p so that we hae a short exact sequence This gies an exact sequence Define 0 K F M 0. 0 Hom(M, G) Hom(F, G) Hom(K, G) Ext p (M, G) = Hom(K, G)/im(Hom(F, G) Hom(K, G)). Lemma 2.3. Let M, G be abelian groups. Then Ext p (M, G) does not depend on the free presentation, and there always exists a free presentation p: F M. We thus drop the p from the notation and write Ext(M, G). Furthermore, if M, M are abelian groups, and f : M M and g : M M are homomorphisms, then there are homomorphisms f : Ext(M, G) Ext(M, G) and g : Ext(M, G) Ext(M, G) with (g f) = f g. Example 2.4. Let F be a free abelian group. Then id: F F is a free presentation, and Ext(F, G) = 0 for all G. In particular, Ext(Z, G) = 0 for all G. Ext(Z/n, Z) = Z/n. Ext(Z/n, Z/n) = Z/n. Ext(Z/9, Z/15) = Z/3. Lemma 2.5. Let M, M, G be abelian groups. Then Ext(M M, G) = Ext(M, G) Ext(M, G) Ext(M, Q) = 0 Ext(M, R) = 0. Theorem 2.6 (Uniersal Coefficient Theorem). Let C be a chain complex such that C n is free abelian for all n Z and G an abelian group. Then there is a short exact sequence which splits 0 Ext(H n 1 (C), G) H n (C; G) Hom(H n (C), G) 0 In particular, H n (C; G) = Hom(Hn (C), G) Ext(H n 1 (C), G) Corollary 2.7. Let (X, A) be a pair of topological spaces, G an abelian group. Then there is a short exact sequence 0 Ext(H n 1 (X, A), G) H n (X, A; G) Hom(H n (X, A), G) 0 which splits, that is, H n (X, A; G) = Hom(Hn (X, A), G) Ext(H n 1 (X, A), G)
5 ALGEBRAIC TOPOLOGY IV 5 Remark 2.8. If f : X Y is a map, there is a ladder 0 Ext(H n 1 (Y ), G) H n (Y ; G) Hom(H n (Y ), G) 0 f 0 Ext(H n 1 (X), G) H n (X; G) Hom(H n (X), G) 0 Howeer, if we write x H n (Y ; G) as x = (a, b) Hom(H n (Y ), G) Ext(H n 1 (Y ), G) it is not always true that f (x) = (f (a), f (b)). Corollary 2.9. Let (X, A) be a pair of topological spaces. Then for all n 0, and H n (X, A; Q) = Hom(Hn (X, A), Q) H n (X, A; R) = Hom(Hn (X, A), R) H 1 (X, A; Z) = Hom(H1 (X, A), Z). Example Let X be a finite CW-complex. Then each homology group H k (X) is finitely generated, that is, f H k (X) = Z r Z/k 1 Z/k l with k 1 k 2,..., k l 1 k l. The Z r produces a Z r in H k (X; Z) ia Hom and nothing ia Ext, and each Z/k i produces a Z/k i in H k+1 (X; Z) ia Ext, and nothing ia Hom. If we use coefficients in Z/2, a Z/2-summand produces Z/2 in H k (X; Z/2) and a Z/2 in H k+1 (X; Z/2). 3. Cup products and the ring structure of cohomology Definition 3.1. Let k be a commutatie ring with identity and X a topological space. If ϕ C k (X; k) and ψ C l (X; k), define their cup product ϕ ψ C k+l (X; k) by ϕ(σ) = ϕ(σ [ 0,..., k ]) ψ(σ [ k,..., k+l ]) where σ : k+l X is a singular k + l-simplex, and k+l = [ 0,..., k+l ]. Lemma 3.2. Let X be a topological space and ϕ C k (X; k) and ψ C l (X; k). Then δ(ϕ ψ) = δϕ ψ + ( 1) k ϕ δψ. Remark 3.3. If ϕ and ψ are both cocyles, then ϕ ψ is a cocycle. If ϕ or ψ is a coboundary, then ϕ ψ is a coboundary. This means there is a well-defined cup product on cohomology gien by H k (X; k) H l (X; k) H k+l (X; k) ([ϕ], [ψ]) [ϕ ψ] f
6 6 DIRK SCHÜTZ This product is associatie and distributie, as this already holds on the cochain leel. Furthermore, define 1 C 0 (X; k) by 1(σ 0 ) = 1 k for eery 0-simplex σ 0 : 0 X. This defines a cohomology class 1 H 0 (X; k) with the property that If we write x 1 = x = 1 x for all x H k (X; k) H (X; k) = H k (X; k) this is a ring with multiplication gien by the cup product and identity 1 H 0 (X; k). It is in fact a graded ring in the sense that it is a direct sum of abelian groups A k such that multiplication sends A k A l to A k+l. Example 3.4. Let X = S n with n 1. There is a generator x H n (S n ; k) and the identity 1 H 0 (S n ; k). There are no interesting products by grading reasons: x x = 0 as the whole group H 2n (S n ; k) = 0. Example 3.5. Look at RP 2 with the triangulation in Figure 1. The red k= Figure 1. The projectie plane circle represents a cochain A by saying that A([ i, j ]) = 1 Z/2 if it intersects [ i, j ], and 0 otherwise. This is in fact a cocycle. Also, a = [ 0, 1 ] + [ 1, 2 ] [ 0, 2 ] generates H 1 (RP 2 ), and since A(a) = 1 Z/2, A represents the generator of H 1 (RP 2 ; Z/2) = Hom(H 1 (RP 2 ), Z/2) = Z/2. For eery simplex σ we write σ C (RP2 ; Z/2) for the dual cochain. That is, σ (σ) = 1 Z/2 and σ (τ) = 0 for all τ σ. It is then easy to check that A A = [ 1, 3, 4 ] + [ 2, 4, 5 ] + [ 1, 3, 5 ].
7 ALGEBRAIC TOPOLOGY IV 7 Now [ i, j, k ] is a cocycle for eery 2-simplex [ i, j, k ] in the triangulation. But as eery 1-simplex [ i, j ] sits in exactly two 2-simplices, we see that the coboundaries are exactly those combinations [ i, j, k ] which inole an een number of 2-simplices. Therefore A A represents the generator of H 2 (RP 2 ; Z/2) = Z/2. For T 2 we use the triangulation in Figure Figure 2. The torus We hae H 1 (T 2 ) = Z 2 = a, b, where a is represented by [ 0, 1 ] + [ 1, 2 ] [ 0, 2 ], and b is represented by [ 0, 3 ] + [ 3, 6 ] [ 0, 6 ]. Also, H 2 (T 2 ) = Z generated by an alternating sum of all the 2-simplices. The torus is orientable, and we choose the counterclockwise orientation. The blue circle with its orientation pointing upward represents a 1-cochain A as follows. If the circle does not meet the 1-simplex [ i, j ], then A anishes on that 1-simplex, and if the circle intersects the 1-simplex [ i, j ] we define A([ i, j ] = ±1 Z, where the sign is determined as follows: First use the direction of the 1-simplex coming from the ordering of the simplicial complex (going from i to j for i < j) followed by the direction of the blue circle. If this represents the orientation of the torus, the sign is +1, and 1 otherwise. This sign conention ensures that A is a cocycle. Note that the only 1-simplex on which A is 1 is [ 2, 7 ]. We can do the same with the red circle, to obtain a cocycle B, and in fact B is +1 on all the 1-simplices it meets. Denote the cohomology class of A by α, and of B by β. As H 1 (T 2 ; Z) = Hom(H 1 (T 2 ), Z) = Z 2, and α(a) = 1, α(b) = 0, β(b) = 1 and β(a) = 0, α and β represent generators of H 1 (T 2 ; Z). A direct calculation shows that A B = [ 4, 5, 8 ], and B A = [ 4, 7, 8 ]. Both represent a generator of H 2 (T 2 ; Z), but note that [ 4, 5, 8 ] has the same orientation as the one chosen for the torus, while [ 4, 7, 8 ] has the
8 8 DIRK SCHÜTZ opposite orientation. Hence α β = β α, and this element generates H 2 (T 2 ; Z). Another calculation shows that A A = ([ 2, 7, 8 ] + [ 1, 2, 7 ] ) = δ( [ 2, 7 ] ), so α α = 0. A similar calculation shows β β = 0. Theorem 3.6. Let X be a topological space, and k a commutatie ring. Then H (X; k) is graded-commutatiein the sense that for a H k (X; k) and b H l (X; k) we hae a b = ( 1) k l b a. Remark 3.7. If a H k (X; k) with k odd, then a a = a a which implies 2 a a = 0. This need not imply that a a = 0 (compare RP 2 ), but if H 2k (X; k) has no 2-torsion, one can conclude that a a = 0 (as in T 2 ). Remark 3.8. If A X, we hae the short exact sequence 0 C (X, A; k) C (X; k) C (A; k) 0 so we can interpret C (X, A; k) as those cochains on X that anish on simplices in A. And if ϕ anishes on C k (A), then ϕ ψ anishes on C k+l (A). We therefore get relatie cup products H k (X, A; k) H l (X; k) H k+l (X, A; k) H k (X; k) H l (X, A; k) H k+l (X, A; k). Also, if ϕ anishes on C k (A) and ψ anishes on C l (B), then ϕ ψ anishes on C k+l (A)+C k+l (B). This is not quite the same as C k+l (A B), but if A, B are open subsets of X, or if X is a CW complex and A, B subcomplexes, we get a cup-product H k (X, A; k) H l (X, B; k) H k+l (X, A B; k). Proposition 3.9 (Naturality). If f : X Y is a map, the induced maps f : H n (Y ; k) H n (X; k) satisfy f (α β) = f α f β for all α H k (Y ; k) and β H l (Y ; k). The same formula holds in the relatie case. Example Let X and Y be CW complexes with chosen basepoint x 0 X and y 0 Y, and denote X Y the one-point union along the basepoints. Then the inclusions i X : X X Y and i Y : Y X Y induce an isomorphism (i X, i Y ): H k (X Y ; k) H k (X; k) H k (Y ; k)
9 ALGEBRAIC TOPOLOGY IV 9 for k > 0 by Mayer-Vietoris, with inerse isomorphism induced by the retractions r X : X Y X and r Y : X Y Y ia r X + r Y : H k (X; k) H k (Y ; k) H k (X Y ; k). To calculate cup-products, let a, b H (X Y ; k). a = rx (a 1) + ry (a 2) and b = rx (b 1) + ry (b 2), and get a b = (r X(a 1 ) + r Y (a 2 )) (r X(b 1 ) + r Y (b 2 )) We can then write = r X(a 1 b 1 ) + r X(a 1 ) r Y (b 2 ) + r Y (a 2 ) r X(b 1 ) + r Y (a 2 b 2 ). Now to understand r X (a 1) r Y (b 2), look at (i X, i Y )(r X (a 1) r Y (b 2)). Then i X(r X(a 1 ) r Y (b 2 )) = (r X i X ) (a 1 ) (r Y i X ) (b 2 ) But r Y i X : X Y is the constant map to y 0, so induces 0 on cohomology. For this and similar reasons, we get that r X (a 1) r Y (b 2) = 0 and r Y (a 2) r X (b 1) = 0, which means that a b = r X(a 1 b 1 ) + r Y (a 2 b 2 ). Now let M be the surface of genus 2, and f : M T 2 T 2 the obious map. Then H 1 (M; Z) = a1, β 1, α 2, β 2 where α i = f (A i ) and β i = f (B i ) for i = 1, 2 and A 1, B 1 generate the first summand of H 1 (T 2 ; Z) in H 1 (T 2 T 2 ; Z) and A 2, B 2. It follows from naturality that α 1 β 1 and α 2 β 2 both generate H 2 (M; Z) = Z, and all other combinations (up to commuting) are The fundamental class of a manifold Definition 4.1. A Hausdorff space X is called a topological manifold of dimension n, if each point x X has a neighborhood U which is homeomorphic to R n. It is called a topological manifold with boundary, if each x X has a neighborhood U homeomorphic to R n or to [0, ) R n 1. Then X = {x X x does not hae a neighborhood homeomorphic to R n }. Example 4.2. A discrete space X is a topological manifold of dimension 0. S n is a topological manifold of dimension n, D n is a topological manifold with boundary of dimension n. Lemma 4.3. Let X n be a topological manifold and x X. Then H k (X, X {x}) = { Z k = n 0 k n
10 10 DIRK SCHÜTZ Lemma 4.4. R n is not homeomorphic to [0, ) R n 1. If X is a topological manifold with boundary of dimension n, then X is a topological manifold of dimension n 1. Remark 4.5. Topological manifolds need not admit triangulations. We will howeer assume that the manifolds we look at admit a triangulation. Lemma 4.6. Let X be a manifold of dimension n with a triangulation, and let σ be an (n 1)-simplex. Then there exist exactly two n-simplices τ 1, τ 2 such that σ is a face of τ 1 and a face of τ 2. Theorem 4.7. Let X be a compact, connected manifold of dimension n, possibly with boundary X. Let k be a commutatie ring. Then H n (X, X; k) is either k or 2 k = {k k 2k = 0}. Note that for k = Z/2, we hae k = 2 k. Definition 4.8. Let M n be a compact, connected manifold and k a commutatie ring. We call M k-orientable, if H n (M, M; k) = k. A generator [M] H n (M, M; k) is called a fundamental class. For k = Z/2 there is a unique generator for any compact, connected manifold. For k = Z there exist two generators [M] and [M], proided that M is Z-orientable. 5. Duality Theorems Definition 5.1. Let X be a topological space, ϕ C p (X; k), σ : n X a singular simplex with p n. Then let σ ϕ = ϕ(σ [0,..., p])σ [p,..., n] C n p (X; k). The induced bilinear map is called the cap-product. Lemma 5.2. We hae C n (X; k) C p (X; k) C n p (X; k) (σ ϕ) = ( 1) p ( σ ϕ σ δϕ). As with the cup-product, we get a cap-product : H n (X; k) H p (X; k) H n p (X; k). Definition 5.3. Let X be a topological space, ϕ C p (X; k) and σ C p (X; k). Then define This induces a bilinear map σ, ϕ = ϕ(σ) k., : H p (X; k) H p (X; k) k which is called the Kronecker product.
11 ALGEBRAIC TOPOLOGY IV 11 Lemma 5.4. Let ε : H 0 (X; k) k be the map induced by ε(σ 0 ) = 1 for eery σ 0 : 0 X. Then ε (x α) = x, α for all x H p (X; k) and α H p (X; k). Example 5.5. Recall the triangulation of the torus from Figure 2, and the cocycle A defined in Example 3.5. Let [T 2 ] H 2 (T 2 ) be the fundamental class corresponding to the counterclockwise orientation on the torus, and α H 1 (T 2 ; Z) the cohomology class represented by A. Then [T 2 ] α = ([ 1, 2, 6 ] [ 1, 5, 6 ] + [ 5, 6, 8 ] [ 5, 7, 8 ] + +[ 2, 7, 8 ] [ 1, 2, 7 ]) A = [ 2, 6 ] + [ 6, 8 ] [ 7, 8 ] [ 2, 7 ] which is easily seen to represent the homology class b H 1 (T 2 ). Lemma 5.6. If f : X Y is a map, then f x α = f (x f (α)) for x H n (X, k) and α H p (Y ; k). Furthermore, if β H k (X; k) and γ H m (X; k), then (x β) γ = x (β γ). Theorem 5.7 (Poincaré Duality). Let k be a commutatie ring with 1. If M is a closed k-orientable n-manifold with fundamental class [M] H n (M; k), then D : H k (M; k) H n k (M; k) gien by is an isomorphism for all k Z. D(α) = [M] α Example 5.8. Let M = RP n and α H 1 (RP n ; Z/2) be the generator. Then α k generates H k (RP n ; Z/2) for all k = 1,..., n. Theorem 5.9 (Lefschetz Duality). Let k be a commutatie ring with 1. If M is a compact k-orientable n-manifold whose boundary M is decomposed as the union of two compact (n 1)-dimensional manifolds A and B with a common boundary A = B = A B, then cap product with a fundamental class [M] H n (M, M; k) gies isomorphisms for all k Z. D : H k (M, A; k) H n k (M, B; k) Example Lefschetz Duality with A = M and B = is and with A = and B = M is H k (M, M) = Hn k (M) H k (M, M) = H n k (M).
12 12 DIRK SCHÜTZ Theorem 5.11 (Alexander Duality). Let K be a finite CW-complex and f : K S n an embedding. Then H i (S n f(k); k) = Hn i 1 (K; k) for all i Z and k a commutatie ring with 1. Corollary Let K be a non-orientable closed surface. Then K cannot be embedded into R The Lefschetz Fixed Point Theorem Definition 6.1. Let K, L be simplicial complexes. A simplicial map from K to L is a function f defined on the ertices of K to the ertices of L such that simplices in K are sent to simplices in L. A simplicial map induces a map f : K L on realizations by ( m ) m f t i i = t i f( i ) i=0 Definition 6.2. Let K be a simplicial complex with ertex set { 0,..., k }. The barycentric subdiision K of K is the simplicial complex defined as follows. Vertices are the simplices of K are of the form [σ 0,..., σ i ], where each σ j is a face of σ j+1. Example 6.3. If K is the 2-simplex on ertices 0, 1, 2, then K has ertices 0, 1, 2, 0 1, 0 2, 1 2, The 1-simplices containing 0 are [ 0, 0 1 ], [ 0, 0 2 ] and [ 0, ]. We can always realize K so that K = K. Definition 6.4. For x K where K is a simplicial complex, the carrier of x, carr(x), is the smallest simplex of K containing x. Let f : K L be continuous. A simplicial approximation to f is a simplicial map g : K L with g(x) carr(f(x)) for each x K i=0 Lemma 6.5. Let K and L be simplicial complexes. (1) If g : K L is simplicial, then g(carr(x)) = carr(g(x)) for eery x K. (2) If g is a simplicial approximation of f : K L, then f g. Definition 6.6. If is a ertex of the simplicial complex K, then the open star of is St k () = {x K carr(x)}. Proposition 6.7. Let K be a simplicial complex. Then St k () is open in K, and {St K () K 0 } coer K. Proposition 6.8. If 0,..., p are ertices of the simplicial complex K, then Stk ( i ) if and only if [ 0,..., p ] span a p-simplex in K
13 ALGEBRAIC TOPOLOGY IV 13 Theorem 6.9 (Simplicial Approximation Theorem). Let K, L be simplicial complexes and f : K L continuous. Then there is an integer r 0 such that there is a simplicial approximation g : K [r] L to f, where K [r] is k- times iterated barycentric subdiision of K. Definition A (co)chain complex C oer a field F is of finite bounded type, if each (co)chain group is a finite dimensional F-ector space and only finitely many of them are non-zero. Let V be a finite dimensional F-ector space and f : V V a linear map. The trace of f, denoted tr f, is the sum of diagonal elements in a matrix representing the linear map. If C is a finite bounded type (co)chain complex oer F, and f : C C a (co)chain map, then the trace of f is defined as where f i is the map in degree i. tr f = ( 1) i tr f i Theorem 6.11 (Hopf Trace Formula). Let C be a (co)chain complex of bounded finite type oer a field F and f : C C a (co)chain map. Then tr f = ( 1) i tr f i : H i (C) H i (C). Definition Let K be a finite simplicial complex and f : K K a map. The Lefschetz number of f is defined as L F (f) = ( 1) i tr f i : H i ( K ; F) H I ( K ; F) F Remark Using simplicial approximation and the Hopf-Trace formula, we can determine the Lefschetz number using the simplicial chain complex of K. Furthermore, we get L F (f) = ε F (tr g ) where ε F : Z F is the unique ring homomorphism sending 1 to 1 F, and g is obtained from f ia simplicial approximation. Theorem 6.14 (Lefschetz Fixed Point Theorem). Let K be a finite simplicial complex and f : K K a map. If L F (f) 0, then f has a fixed point. Corollary Let K be a finite simplicial complex which is contractible. Then eery map f : K K has a fixed point. Let the map f : S n S n hae degree different from ( 1) n+1. Then f has a fixed point. Example The Lefschetz Fixed Point Theorem also holds for finite CW-complexes and compact topological manifolds. (1) Let X = {(1 e t )e it C t 0} S 1 and Y the cone of X. There exists a fixed point free map f : Y Y despite Y being contractible.
14 14 DIRK SCHÜTZ (2) Let f : RP 2n RP 2n be a map. Then L Q (f) = 1, so f has a fixed point. (3) Let f : CP n CP n be a map. Then L Q (f) = 1 + k + k k n for some k Z. For n een, this is non-zero. Definition A space X is said to hae the fixed point property (FPP), if eery map f : X X has a fixed point. Example Eery contractible finite CW-complex X has the FPP. For een n, RP n, CP n and HP n hae the FPP. For odd n, RP n and CP n do not hae the FPP. For n 2, HP n has the FPP.
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 informationStudy Guide Harvard Mathematics Qualification Exam. Atanas Atanasov Charmaine Sia
Study Guide Harvard Mathematics Qualification Exam E-mail address: nasko@math.harvard.edu E-mail address: sia@math.harvard.edu Atanas Atanasov Charmaine Sia Contents Chapter 1. Notes 7 1. Algebraic Topology
More 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 informationThe dual homomorphism to f : A B is the homomorphism f : Hom(A, G) Hom(B, G)
Hom(A, G) = {h : A G h homomorphism } Hom(A, G) is a group under function addition. The dual homomorphism to f : A B is the homomorphism f : Hom(A, G) Hom(B, G) defined by f (ψ) = ψ f : A B G That is the
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 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 information0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i
Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H
More informationAlgebraic Topology 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 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 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 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 informationCHAPTER 10. Cohomology
208 CHAPTER 10 Cohomology 1. Cohomology As you learned in linear algebra, it is often useful to consider the dual objects to objects under consideration. This principle applies much more generally. For
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 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 informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More 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 information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More 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 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 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 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 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 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 informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More 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 informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More 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 informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
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 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 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 informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More 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 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 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 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 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 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 informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationCOMPUTATIONAL ALGEBRAIC GEOMETRY: APPLICATION TO EDDY CURRENTS
UNIVERSITÀ DEGLI STUDI DI PADOVA DIPARTIMENTO DI MATEMATICA CORSO DI LAUREA IN MATEMATICA TESI DI LAUREA MASTER THESIS COMPUTATIONAL ALGEBRAIC GEOMETRY: APPLICATION TO EDDY CURRENTS RELATORE: PROF. BRUNO
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationEQUIVARIANT ALGEBRAIC TOPOLOGY
EQUIVARIANT ALGEBRAIC TOPOLOGY JAY SHAH Abstract. This paper develops the introductory theory of equivariant algebraic topology. We first define G-CW complexes and prove some basic homotopy-theoretic results
More informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
More 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 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 informationGEOMETRY FINAL CLAY SHONKWILER
GEOMETRY FINAL CLAY SHONKWILER 1 Let X be the space obtained by adding to a 2-dimensional sphere of radius one, a line on the z-axis going from north pole to south pole. Compute the fundamental group and
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
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 informationGEOMETRY HW 12 CLAY SHONKWILER
GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2
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 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 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 informationAlgebraic Topology. John W. Morgan P. J. Lamberson. August 21, 2003
Algebraic Topology John W. Morgan P. J. Lamberson August 21, 2003 Contents 1 Homology 5 1.1 The Simplest Homological Invariants...................... 5 1.1.1 Zeroth Singular Homology........................
More informationA Gentle Introduction to Homology, Cohomology, and Sheaf Cohomology
A Gentle Introduction to Homology, Cohomology, and Sheaf Cohomology Jean Gallier and Jocelyn Quaintance Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104,
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 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 informationare additive in each variable. Explicitly, the condition on composition means that given a diagram
1. Abelian categories Most of homological algebra can be carried out in the setting of abelian categories, a class of categories which includes on the one hand all categories of modules and on the other
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 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 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 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 informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
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 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 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 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 informationIntersection homology duality and pairings: singular, PL, and sheaf-theoretic
Intersection homology duality and pairings: singular, PL, and sheaf-theoretic Greg Friedman and James McClure December 17, 2018 Contents 1 Introduction 2 2 Conventions and some background 9 2.1 Pseudomanifolds
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 informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
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 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 informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
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 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 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 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 informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationThe rational cohomology of real quasi-toric manifolds
The rational cohomology of real quasi-toric manifolds Alex Suciu Northeastern University Joint work with Alvise Trevisan (VU Amsterdam) Toric Methods in Homotopy Theory Queen s University Belfast July
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationDISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY
DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY Abstract. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack
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 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 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 informationAppalachian State University. Cohomology Theories
Appalachian State University Department of Mathematics Matthew Cavallo A Survey of Cohomology Theories c 2016 A Directed Research Paper in Partial Fulfillment of the Requirements for the Degree of Master
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More 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 informationMASTERARBEIT. Titel der Masterarbeit. Lens Spaces. verfasst von. Julius Grüning, BSc. angestrebter akademischer Grad. Master of Science (MSc)
MASTERARBEIT Titel der Masterarbeit Lens Spaces verfasst von Julius Grüning, BSc angestrebter akademischer Grad Master of Science (MSc) Wien, 2015 Studienkennzahl lt. Studienblatt: A 066 821 Studienrichtung
More informationGorenstein Injective Modules
Georgia Southern University Digital Commons@Georgia Southern Electronic Theses & Dissertations Graduate Studies, Jack N. Averitt College of 2011 Gorenstein Injective Modules Emily McLean Georgia Southern
More informationThe Cubical Cohomology Ring: An Algorithmic Approach
The Cubical Cohomology Ring: An Algorithmic Approach Tomasz Kaczynski Université de Sherbrooke and Marian Mrozek Jagiellonian University in Kraków and WSB-NLU in Nowy S acz September 27, 2012 Abstract
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
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 informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationThe Geometry and Topology of Groups
The Geometry and Topology of Groups Brent Eeritt ersion March 3, 2005 Contents 1. Clockwork topology. 2. From 2-complexes to groups. 3. From 2-complexes to groups: more adanced features. 4. Presentations.
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 informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
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 informationarxiv: v1 [math.gt] 5 Jul 2012
Thick Spanier groups and the first shape group arxiv:1207.1310v1 [math.gt] 5 Jul 2012 Jeremy Brazas and Paul Fabel November 15, 2018 Abstract We develop a new route through which to explore ker Ψ X, the
More information