1 CW Complex, Cellular Homology/Cohomology

Total Page:16

File Type:pdf, Size:1020Kb

1 CW Complex, Cellular Homology/Cohomology Our goal is to develop a method to compute cohomology algebra and rational homotopy group of fiber bundles. 1 CW complex, cellular homology/cohomology Definition 1. (Attaching space with maps) Given topological spaces X; Y , closed subset A ⊂ X, and continuous map f : A ! y. We define X [f Y , X t Y / ∼ n n n−1 n where x ∼ y if x 2 A and f(x) = y. In the case X = D , A = @D = S , D [f X is said to be obtained by attaching to X the cell (Dn; f). n−1 n n Proposition 1. If f; g : S ! X are homotopic, then D [f X and D [g X are homotopic. Proof. Let F : Sn−1 × I ! X be the homotopy between f; g. Then in fact n n n D [f X ∼ (D × I) [F X ∼ D [g X Definition 2. (Cell space, cell complex, cellular map) 1. A cell space is a topological space obtained from a finite set of points by iterating the procedure of attaching cells of arbitrary dimension, with the condition that only finitely many cells of each dimension are attached. 2. If each cell is attached to cells of lower dimension, then the cell space X is called a cell complex. Define the n−skeleton of X to be the subcomplex consisting of cells of dimension less than n, denoted by Xn. 3. A continuous map f between cell complexes X; Y is called cellular if it sends Xk to Yk for all k. Proposition 2. 1. Every cell space is homotopic to a cell complex. 1 2. Every continuous map between cell complexes is homotopic to a cellular map. Proof. (a)Given σk = (Dk; f) is attached to X. Since @Dk = Sk−1 is compact, f(Sk−1) is covered by interior of finitely many cells. k−1 ◦ f(S ) ⊂ [i(σi) Say σl has the highest dimension among fσig. If l > k − 1, then by Sard’s theorem, ◦ ~ image of f has measure zero in (σl) . Hence can construct a homotopy f ∼ f, with ~ k−1 ~ k−1 ~ f(S ) \ σl = f(S ) \ @σl. Repeat in this way we see f is homotopic to f with ~ k−1 f(S ) ⊂ Xk−1. (b) Similar. Definition 3. (Cellular chain complex) Define cellular chain as the following X cell , f k j 2 k g Ck (X; G) glσl gl G; σl are cells of dimension k : l Also define the boundary operator @ : Ck(X; G) ! Ck−1(X; G) X k 7! k k−1 k−1 σ [σ ; σi ]σi i k k−1 where [σ ; σi ] is called the incidence number, defined to be the degree of the k k composite map Fi (σ = (D ; f)) f W k−1 ∼ k−1 S Xk−1 Xk−1/Xk−2 Si Fi k−1 Si W k−1 − where Si is a bouquet of sphere. Each sphere corresponds to a k 1 cell. Extend @ to be a G − module homomorphism. Proposition 3. @ ◦ @ = 0 Proof. Assume the following two facts without proof. 2 1. f; g : M n ! Sn, f ∼ g , deg f = deg g 2. If A ⊂ X is a closed subset, we have a long exact sequence of homotopy group ···! πk(A) ! πk(X) ! πk(X; A) ! πk−1(A) !··· k k−1 First we construct a map α : πk(Xk;Xk−1) ↠ Ck(X; Z). Given f :(D ;S ) ! (Xk;Xk−1), let Fi be the composite map f W k ∼ k D Xl Xk/Xk−1 Si Fi k Si k k k We define α([f]) = (deg Fi)σi . Note that σ = α([σ ]). @^ ··· πk(Xk−1) πk(Xk)πk(Xk;Xk−1) πk−1(Xk−1) ··· j πk−1(Xk−1;Xk−2) @^ πk−1(Xk−1) By definition @σk = α(j ◦ @^([σk])) @@σk = α(j ◦ @^ ◦ j ◦ @^([σk])) where j ◦ @^ = 0 by exactness. Definition 4. (Cellular homology, cohomology) The cellular cycle, boundary, homology is defined as the following cell , Zn ker @n cell , Bn Im@n+1 cell , Hn Zn/Bn For cellular cohomology, we define cellular cochain k C (X; G) , flinear map from Ck(X; G) to Gg 3 δ : Ck(X; G) ! Ck+1(X; G) α 7! α ◦ @ n , Zcell ker δn n , Bcell Imδn+1 n , n n Hcell Z /B In fact cellular homology/cohomology is isomorphic to the singular one, this can be proved by induction of dimension and the long exact sequence of singular homology. ···! Hi(Xk) ! Hi(Xk+1) ! Hi(Xk+1;Xk) ! Hi−1(Xk) !··· I will give another proof using spectral sequence in the following section. 2 Homology/cohomology of product space, cup product k l If K1;K2 are cell complexes, write K1 = [σ ;K2 = [σ . Then K1 × K2 has cell decomposition [σk × σl. Since we can identify (Dk; f) ∼ (Ik; f), (Ik; f) × (Il; g) ∼ (Ik+l;F ) for some F defines on @Ik+l appropriately. From the construction of F we see i × j i × j − i i × j @(σ1 σ2) = (@σ1) σ2 + ( 1) σ1 (@σ2) Proposition 4. (Kunneth formula) For G arbitrary ring, F arbitrary field, X ∼ Ck(K1 × K2; G) = Cm(K1; G) ⊗ Cn(K2; G) m+n=k X ∼ Hk(K1 × K2; F ) = Hm(K1; F ) ⊗ Hn(K2; F ) m+n=k σm × σl [ σm ⊗ σl X k ∼ m n H (K1 × K2; F ) = H (K1; F ) ⊗ H (K2; F ) m+n=k σ\m × σl [ σ^m ⊗ σ^l 4 When F is not a field, the map is still defined. Proof. The first isomorphism is illustrated above. For the second isomorphism, we choose a ’good’ basis for the vector space Ck. We can always find fxk;i; yk;j; hk;lg basis for Ck, such that @xk;i = yk−1;i;@k;j = 0; @hk;l = 0 I.e. fyk;j; hk;lg basis for Zk fyk;jg basis for Bk fhk;lg basis for Hk P ⊗ For k+l=m Hk(K1; F ) Hl(K2), we have basis k xk ⊗ xl; yk ⊗ xl + (−1) xk ⊗ yl−1; xk ⊗ hl; hk ⊗ xl k k+1 yk ⊗ xl + (−1) xk+1 ⊗ yl−1; (−1) (yk+1 ⊗ yl−1 + yk+1 ⊗ yl−1); yk ⊗ hl; hk ⊗ yl; hk ⊗ hl Hence fhk ⊗ hlg form basis for H(K1 × K2). Thus the isomorphism. Cohomology case is similar. It is easy to check the map is still defined when F is not a field. Now we can introduce multiplicative structure on H∗(X; R). Let 4 be the diagnoal map 4 : X ! X × X x 7! (x; x) Define cup product to be the composite of the following maps Hk(X; R) × Hl(X; R) Hk(X; R) ⊗ Hl(X; R) Hk+l(X × X) ^ 4∗ Hl+k(X) Proposition 5. 1. Cup product is associative 5 2. αi ^ βj = (−1)ijβ ^ α 3. There is a multiplicative identity. Proof. 1. Define 41; 42 : X × X ! X × X × X. 41 :(x; y) 7! (x; x; y) 42 :(x; y) 7! (x; y; y) Hk(X) ⊗ Hl(X) ⊗ Hm(X) Hk+l+m(X × X × X) 4∗ 2 4∗ 1 Hk+l+m(X × X) Hk+l+m(X × X) 4∗ 4∗ Hk+l+m(X) 4∗ ◦ 4∗ 4∗ ◦ 4∗ 4 ◦ 4 4 ◦ 4 While 1 = 2 since 1 = 2 2. It is just orientation. 3.If X is connected, then we can assume there is only one 0−cell ∗.Let p : X × X ! X (x; y) 7! x Then p ◦ 4 = id σbi = (p ◦ 4)∗σbi = 4∗(p∗σbi) = 4∗(σ\i × ∗) 3 Spectral sequence In the section above, we know how to get cell decomposition and homology/cohomology from those of base space and fiber space if the fiber bundle is trivial. For general fiber bundles, we can still derive their cell decomposition from the bases and fibers. Since each cell is contractible, every fiber bundle over a cell is trivial. If thebase [ k [ l space B and the fiber space F have cell decomposition B = σB;F = σF , then 6 [ k × l the total space E has cell decomposition E = σB σF . While in this case we do not have the formula q+j i × j i × j − i i × j @(σE ) = @(σB σF ) = (@σB) σF + ( 1) σB (@σF ) In fact if the base space is simply-connected we will have q+j i × j − j i × j q+j q+j ··· @(σE ) = (@σB) σF + ( 1) σB (@σF ) + @2σE + @3σE + q+j − − where @kσE is a linear combination of the product of the (q k) dimensional cell of the space and (j + k − 1)−dimensional cell of the fiber. In this chapter we introduce spectral sequence to deal with this case. Definition 5. (filtered complex) Given a chain complex C∗, a filtration is an increasing sequence of subset of C∗ · · · ⊂ Fp−1Ci ⊂ FpCi ⊂ Fp+1Ci ⊂ · · · ⊂ Ci With the boundary operator @ sends FpCi to FpCi−1. (FpC∗;@) is called a filtered complex. In our case, we take C∗ to be the sellular chain complex of fiber bundle E. FpCi , fσ 2 Ci(E) j π(σ) ⊂ Bpg where π is the projection map, Bp is the p−skeleton of the base space B. Let GpCi , FpCi/Fp−1Ci, @ : GpCi ! GpCi−1 is well-defined. Define 0 , Ep;q GpCp+q = FpCp+q/Fp+q−1 , 0 ! 0 @0 @ : Ep;q Ep;q−1 ker @ 1 , 0 Ep;q Im @0 In fact, f 2 j 2 g 1 x FpCp+q @x Fp−1Cp+q−1 Ep;q = Fp−1Cp+q + @(FpCp+q+1) 1 2 2 Define @1 on Ep;q as following.
Recommended publications
  • Products in Homology and Cohomology Via Acyclic Models
    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 the tensor product complex by taking the chain space M M C∗ ⊗ D∗ = (C∗ ⊗ D∗)n ; (C∗ ⊗ D∗)n = Cp ⊗ Dq n2Z p+q=n with differential defined on generators by p @⊗(a ⊗ b) := @a ⊗ b + (−1) a ⊗ @b; a 2 Cp; b 2 Dq (1) and extended to all of C∗ ⊗ D∗ by bilinearity. Note that the sign convention (or 2 something similar to it) is required in order for @⊗ ≡ 0 to hold, i.e. in order for C∗ ⊗ D∗ to be a complex. Recall that if X and Y are CW-complexes, then X × Y has a natural CW- complex structure, with cells given by the products of cells on X and cells on Y: As an exercise in cellular homology computations, you may wish to verify for yourself that CW CW ∼ CW C∗ (X) ⊗ C∗ (Y ) = C∗ (X × Y ): This involves checking that the cellular boundary map satisfies an equation like (1) on products a × b of cellular chains. We would like something similar for general spaces, using singular chains. Of course, the product ∆p × ∆q of simplices is not a p + q simplex, though it can be subdivided into such simplices. There are two ways to do this: one way is direct, involving the combinatorics of so-called \shuffle maps," and is somewhat tedious. The other method goes by the name of \acyclic models" and is a very slick (though nonconstructive) way of producing chain maps between C∗(X) ⊗ C∗(Y ) 1 and C∗(X × Y ); and is the method we shall follow, following [Bre97].
    [Show full text]
  • K-THEORY of FUNCTION RINGS Theorem 7.3. If X Is A
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 69 (1990) 33-50 33 North-Holland K-THEORY OF FUNCTION RINGS Thomas FISCHER Johannes Gutenberg-Universitit Mainz, Saarstrage 21, D-6500 Mainz, FRG Communicated by C.A. Weibel Received 15 December 1987 Revised 9 November 1989 The ring R of continuous functions on a compact topological space X with values in IR or 0Z is considered. It is shown that the algebraic K-theory of such rings with coefficients in iZ/kH, k any positive integer, agrees with the topological K-theory of the underlying space X with the same coefficient rings. The proof is based on the result that the map from R6 (R with discrete topology) to R (R with compact-open topology) induces a natural isomorphism between the homologies with coefficients in Z/kh of the classifying spaces of the respective infinite general linear groups. Some remarks on the situation with X not compact are added. 0. Introduction For a topological space X, let C(X, C) be the ring of continuous complex valued functions on X, C(X, IR) the ring of continuous real valued functions on X. KU*(X) is the topological complex K-theory of X, KO*(X) the topological real K-theory of X. The main goal of this paper is the following result: Theorem 7.3. If X is a compact space, k any positive integer, then there are natural isomorphisms: K,(C(X, C), Z/kZ) = KU-‘(X, Z’/kZ), K;(C(X, lR), Z/kZ) = KO -‘(X, UkZ) for all i 2 0.
    [Show full text]
  • The Fundamental Group
    The Fundamental Group Tyrone Cutler July 9, 2020 Contents 1 Where do Homotopy Groups Come From? 1 2 The Fundamental Group 3 3 Methods of Computation 8 3.1 Covering Spaces . 8 3.2 The Seifert-van Kampen Theorem . 10 1 Where do Homotopy Groups Come From? 0 Working in the based category T op∗, a `point' of a space X is a map S ! X. Unfortunately, 0 the set T op∗(S ;X) of points of X determines no topological information about the space. The same is true in the homotopy category. The set of `points' of X in this case is the set 0 π0X = [S ;X] = [∗;X]0 (1.1) of its path components. As expected, this pointed set is a very coarse invariant of the pointed homotopy type of X. How might we squeeze out some more useful information from it? 0 One approach is to back up a step and return to the set T op∗(S ;X) before quotienting out the homotopy relation. As we saw in the first lecture, there is extra information in this set in the form of track homotopies which is discarded upon passage to [S0;X]. Recall our slogan: it matters not only that a map is null homotopic, but also the manner in which it becomes so. So, taking a cue from algebraic geometry, let us try to understand the automorphism group of the zero map S0 ! ∗ ! X with regards to this extra structure. If we vary the basepoint of X across all its points, maybe it could be possible to detect information not visible on the level of π0.
    [Show full text]
  • Homology of Cellular Structures Allowing Multi-Incidence Sylvie Alayrangues, Guillaume Damiand, Pascal Lienhardt, Samuel Peltier
    Homology of Cellular Structures Allowing Multi-incidence Sylvie Alayrangues, Guillaume Damiand, Pascal Lienhardt, Samuel Peltier To cite this version: Sylvie Alayrangues, Guillaume Damiand, Pascal Lienhardt, Samuel Peltier. Homology of Cellular Structures Allowing Multi-incidence. Discrete and Computational Geometry, Springer Verlag, 2015, 54 (1), pp.42-77. 10.1007/s00454-015-9662-5. hal-01189215 HAL Id: hal-01189215 https://hal.archives-ouvertes.fr/hal-01189215 Submitted on 15 Dec 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Homology of Cellular Structures allowing Multi-Incidence S. Alayrangues · G. Damiand · P. Lienhardt · S. Peltier Abstract This paper focuses on homology computation over "cellular" structures whose cells are not necessarily homeomorphic to balls and which allow multi- incidence between cells. We deal here with combinatorial maps, more precisely chains of maps and subclasses as generalized maps and maps. Homology computa- tion on such structures is usually achieved by computing simplicial homology on a simplicial analog. But such an approach is computationally expensive as it requires to compute this simplicial analog and to perform the homology computation on a structure containing many more cells (simplices) than the initial one.
    [Show full text]
  • 1. CW Complex 1.1. Cellular Complex. Given a Space X, We Call N-Cell a Subspace That Is Home- Omorphic to the Interior of an N-Disk
    1. CW Complex 1.1. Cellular Complex. Given a space X, we call n-cell a subspace that is home- omorphic to the interior of an n-disk. Definition 1.1. Given a Hausdorff space X, we call cellular structure on X a n collection of disjoint cells of X, say ffeαgα2An gn2N (where the An are indexing sets), together with a collection of continuous maps called characteristic maps, say n n n k ffΦα : Dα ! Xgα2An gn2N, such that, if X := feαj0 ≤ k ≤ ng (for all n), then : S S n (1) X = ( eα), n2N α2An n n n (2)Φ α Int(Dn) is a homeomorphism of Int(D ) onto eα, n n F k (3) and Φα(@D ) ⊂ eα. k n−1 eα2X We shall call X together with a cellular structure a cellular complex. n n n Remark 1.2. We call X ⊂ feαg the n-skeleton of X. Also, we shall identify X S k n n with eα and vice versa for simplicity of notations. So (3) becomes Φα(@Dα) ⊂ k n eα⊂X S Xn−1. k k n Since X is a Hausdorff space (in the definition above), we have that eα = Φα(D ) k n k (where the closure is taken in X). Indeed, we easily have that Φα(D ) ⊂ eα by n n continuity of Φα. Moreover, since D is compact, we have that its image under k k n k Φα also is, and since X is Hausdorff, Φα(D ) is a closed subset containing eα. Hence we have the other inclusion (Remember that the closure of a subset is the k intersection of all closed subset containing it).
    [Show full text]
  • Homotopy Theory of Diagrams and Cw-Complexes Over a Category
    Can. J. Math.Vol. 43 (4), 1991 pp. 814-824 HOMOTOPY THEORY OF DIAGRAMS AND CW-COMPLEXES OVER A CATEGORY ROBERT J. PIACENZA Introduction. The purpose of this paper is to introduce the notion of a CW com­ plex over a topological category. The main theorem of this paper gives an equivalence between the homotopy theory of diagrams of spaces based on a topological category and the homotopy theory of CW complexes over the same base category. A brief description of the paper goes as follows: in Section 1 we introduce the homo­ topy category of diagrams of spaces based on a fixed topological category. In Section 2 homotopy groups for diagrams are defined. These are used to define the concept of weak equivalence and J-n equivalence that generalize the classical definition. In Section 3 we adapt the classical theory of CW complexes to develop a cellular theory for diagrams. In Section 4 we use sheaf theory to define a reasonable cohomology theory of diagrams and compare it to previously defined theories. In Section 5 we define a closed model category structure for the homotopy theory of diagrams. We show this Quillen type ho­ motopy theory is equivalent to the homotopy theory of J-CW complexes. In Section 6 we apply our constructions and results to prove a useful result in equivariant homotopy theory originally proved by Elmendorf by a different method. 1. Homotopy theory of diagrams. Throughout this paper we let Top be the carte­ sian closed category of compactly generated spaces in the sense of Vogt [10].
    [Show full text]
  • 0.1 Euler Characteristic
    0.1 Euler Characteristic Definition 0.1.1. Let X be a finite CW complex of dimension n and denote by ci the number of i-cells of X. The Euler characteristic of X is defined as: n X i χ(X) = (−1) · ci: (0.1.1) i=0 It is natural to question whether or not the Euler characteristic depends on the cell structure chosen for the space X. As we will see below, this is not the case. For this, it suffices to show that the Euler characteristic depends only on the cellular homology of the space X. Indeed, cellular homology is isomorphic to singular homology, and the latter is independent of the cell structure on X. Recall that if G is a finitely generated abelian group, then G decomposes into a free part and a torsion part, i.e., r G ' Z × Zn1 × · · · Znk : The integer r := rk(G) is the rank of G. The rank is additive in short exact sequences of finitely generated abelian groups. Theorem 0.1.2. The Euler characteristic can be computed as: n X i χ(X) = (−1) · bi(X) (0.1.2) i=0 with bi(X) := rk Hi(X) the i-th Betti number of X. In particular, χ(X) is independent of the chosen cell structure on X. Proof. We use the following notation: Bi = Image(di+1), Zi = ker(di), and Hi = Zi=Bi. Consider a (finite) chain complex of finitely generated abelian groups and the short exact sequences defining homology: dn+1 dn d2 d1 d0 0 / Cn / ::: / C1 / C0 / 0 ι di 0 / Zi / Ci / / Bi−1 / 0 di+1 q 0 / Bi / Zi / Hi / 0 The additivity of rank yields that ci := rk(Ci) = rk(Zi) + rk(Bi−1) and rk(Zi) = rk(Bi) + rk(Hi): Substitute the second equality into the first, multiply the resulting equality by (−1)i, and Pn i sum over i to get that χ(X) = i=0(−1) · rk(Hi).
    [Show full text]
  • Local Homology of Abstract Simplicial Complexes
    Local homology of abstract simplicial complexes Michael Robinson Chris Capraro Cliff Joslyn Emilie Purvine Brenda Praggastis Stephen Ranshous Arun Sathanur May 30, 2018 Abstract This survey describes some useful properties of the local homology of abstract simplicial complexes. Although the existing literature on local homology is somewhat dispersed, it is largely dedicated to the study of manifolds, submanifolds, or samplings thereof. While this is a vital per- spective, the focus of this survey is squarely on the local homology of abstract simplicial complexes. Our motivation comes from the needs of the analysis of hypergraphs and graphs. In addition to presenting many classical facts in a unified way, this survey presents a few new results about how local homology generalizes useful tools from graph theory. The survey ends with a statistical comparison of graph invariants with local homology. Contents 1 Introduction 2 2 Historical discussion 4 3 Theoretical groundwork 6 3.1 Representing data with simplicial complexes . .7 3.2 Relative simplicial homology . .8 3.3 Local homology . .9 arXiv:1805.11547v1 [math.AT] 29 May 2018 4 Local homology of graphs 12 4.1 Basic graph definitions . 14 4.2 Local homology at a vertex . 15 5 Local homology of general complexes 18 5.1 Stratification detection . 19 5.2 Neighborhood filtration . 24 6 Computational considerations 25 1 7 Statistical comparison with graph invariants 26 7.1 Graph invariants used in our comparison . 27 7.2 Comparison methodology . 27 7.3 Dataset description . 28 7.4 The Karate graph . 28 7.5 The Erd}os-R´enyi graph . 30 7.6 The Barabasi-Albert graph .
    [Show full text]
  • INTRODUCTION to ALGEBRAIC TOPOLOGY 1 Category And
    INTRODUCTION TO ALGEBRAIC TOPOLOGY (UPDATED June 2, 2020) SI LI AND YU QIU CONTENTS 1 Category and Functor 2 Fundamental Groupoid 3 Covering and fibration 4 Classification of covering 5 Limit and colimit 6 Seifert-van Kampen Theorem 7 A Convenient category of spaces 8 Group object and Loop space 9 Fiber homotopy and homotopy fiber 10 Exact Puppe sequence 11 Cofibration 12 CW complex 13 Whitehead Theorem and CW Approximation 14 Eilenberg-MacLane Space 15 Singular Homology 16 Exact homology sequence 17 Barycentric Subdivision and Excision 18 Cellular homology 19 Cohomology and Universal Coefficient Theorem 20 Hurewicz Theorem 21 Spectral sequence 22 Eilenberg-Zilber Theorem and Kunneth¨ formula 23 Cup and Cap product 24 Poincare´ duality 25 Lefschetz Fixed Point Theorem 1 1 CATEGORY AND FUNCTOR 1 CATEGORY AND FUNCTOR Category In category theory, we will encounter many presentations in terms of diagrams. Roughly speaking, a diagram is a collection of ‘objects’ denoted by A, B, C, X, Y, ··· , and ‘arrows‘ between them denoted by f , g, ··· , as in the examples f f1 A / B X / Y g g1 f2 h g2 C Z / W We will always have an operation ◦ to compose arrows. The diagram is called commutative if all the composite paths between two objects ultimately compose to give the same arrow. For the above examples, they are commutative if h = g ◦ f f2 ◦ f1 = g2 ◦ g1. Definition 1.1. A category C consists of 1◦. A class of objects: Obj(C) (a category is called small if its objects form a set). We will write both A 2 Obj(C) and A 2 C for an object A in C.
    [Show full text]
  • Algebraic Topology 565 2016
    Algebraic Topology 565 2016 February 21, 2016 The general format of the course is as in Fall quarter. We'll use Hatcher Chapters 3-4, and we'll start using selected part of Milnor's Characteristic classes. One global notation change: From now on we fix a principal ideal domain R, and let H∗X denote H∗(X; R). This change extends in the obvious way to other notations: C∗X means RS·X (singular chains with coefficients in R), tensor products and Tor are over R, cellular homology is with coefficients in R, and so on. Course outline Note: Applications and exercises are still to appear. Some parts of the outline below won't make sense yet, but still serve to give the general idea. 1. Homology of products. There are two steps to compute the homology of a product ∼ X × Y : (i) The Eilenberg-Zilber theorem that gives a chain equivalence C∗X ⊗ C∗Y = C∗(X × Y ), and (ii) the purely algebraic Kunneth theorem that expresses the homology of a tensor product of chain complexes in terms of tensor products and Tor's of the homology of the individual complexes. I plan to only state part (ii) and leave the proof to the text. On the other hand, I'll take a very different approach to (i), not found in Hatcher: the method of acyclic models. This more categorical approach is very slick and yields easy proofs of some technical theorems that are crucial for the cup product in cohomology later. There are explicit formulas for certain choices of the above chain equivalence and its inverse; in particular there is a very simple and handy formula for an inverse, known as the Alexander- Whitney map.
    [Show full text]
  • Homology and Homological Algebra, D. Chan
    HOMOLOGY AND HOMOLOGICAL ALGEBRA, D. CHAN 1. Simplicial complexes Motivating question for algebraic topology: how to tell apart two topological spaces? One possible solution is to find distinguishing features, or invariants. These will be homology groups. How do we build topological spaces and record on computer (that is, finite set of data)? N Definition 1.1. Let a0, . , an ∈ R . The span of a0, . , an is ( n ) X a0 . an := λiai | λi > 0, λ1 + ... + λn = 1 i=0 = convex hull of {a0, . , an}. The points a0, . , an are geometrically independent if a1 − a0, . , an − a0 is a linearly independent set over R. Note that this is independent of the order of a0, . , an. In this case, we say that the simplex Pn a0 . an is n -dimensional, or an n -simplex. Given a point i=1 λiai belonging to an n-simplex, we say it has barycentric coordinates (λ0, . , λn). One can use geometric independence to show that this is well defined. A (proper) face of a simplex σ = a0 . an is a simplex spanned by a (proper) subset of {a0, . , an}. Example 1.2. (1) A 1-simplex, a0a1, is a line segment, a 2-simplex, a0a1a2, is a triangle, a 3-simplex, a0a1a2a3 is a tetrahedron, etc. (2) The points a0, a1, a2 are geometrically independent if they are distinct and not collinear. (3) Midpoint of a0a1 has barycentric coordinates (1/2, 1/2). (4) Let a0 . a3 be a 3-simplex, then the proper faces are the simplexes ai1 ai2 ai3 , ai4 ai5 , ai6 where 0 6 i1, .
    [Show full text]
  • 0.1 Cellular Homology
    0.1 Cellular Homology Let us start with the following preliminary result: Lemma 0.1.1. If X is a CW complex, then: ( 0 if k 6= n (a) Hk(Xn;Xn−1) = Z # n-cells if k = n: (b) Hk(Xn) = 0 if k > n. In particular, if X is finite dimensional, then Hk(X) = 0 if k > dim(X). (c) The inclusion i : Xn ,! X induces an isomorphism Hk(Xn) ! Hk(X) if k < n. n Proof. (a) We know that Xn is obtained from Xn−1 by attaching the n-cells (eλ)λ. Pick a n point xλ at the center of each n-cell eλ. Let A := Xn − fxλgλ. Then A deformation retracts to Xn−1, so we have that ∼ Hk(Xn;Xn−1) = Hk(Xn;A): n n By excising Xn−1, the latter group is isomorphic to ⊕λHk(Dλ;Dλ − fxλg). Moreover, the n n homology long exact sequence of the pair (Dλ;Dλ − fxλg) yields that ( n n ∼ n−1 ∼ Z if k = n Hk(D ;D − fxλg) = Hek−1(S ) = λ λ λ 0 if k 6= n So the claim follows. (b) Consider the following portion of the long exact sequence of the pair for (Xn;Xn−1): ! Hk+1(Xn;Xn−1) ! Hk(Xn−1) ! Hk(Xn) ! Hk(Xn;Xn−1) ! If k +1 6= n and k 6= n, we have from part (a) that Hk+1(Xn;Xn−1) = 0 and Hk(Xn;Xn−1) = ∼ 0. Thus Hk(Xn−1) = Hk(Xn). Hence if k > n (so in particular, n 6= k + 1 and n 6= k), we get by iteration that ∼ ∼ ∼ Hk(Xn) = Hk(Xn−1) = ··· = Hk(X0): Note that X0 is just a collection of points, so Hk(X0) = 0.
    [Show full text]