DOCSLIB.ORG

07-17-2015 Contents 1. Summary of the Homology of Posets 1 2

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
07-17-2015 Contents 1. Summary of the Homology of Posets 1 2 07-17-2015 Contents 1. Summary of the Homology of Posets 1 2. Definition of Singular Homology 3 3. The Hurewicz homomorphism 6 4. Some Properties of Singular Homology 7 1. Summary of the Homology of Posets By now, you have realized that what algebraic topologists do is assign invariants to topological spaces which do not depend on the homotopy type. That is, we assign quantities F (X) so that if X ' Y , then F (X) =∼ F (Y ). Further, we have the language of functors to make this more precise. What we've done so far is define functors F : Top ! C where C is some algebraic category (abelian groups, chain complexes, . ), such that if X ' Y then F (X) ' F (Y ) (in the case of chain complexes) or better F (X) =∼ F (Y ) (in the case of homology). Definition 1.1. Let T be some subcategory of topological spaces. A homotopy functor is a functor F : D! C such that if f; g : X ! Y are homotopic, i.e., f ' g, then F (f) = F (g). Exercise 1.2. If F is a homotopy functor and X ' Y , then F (X) =∼ F (Y ). Our first examples were π1 : Top∗ ! Groups; and for n ≥ 2, πn : Top∗ ! AbGroups : Now, we defined the homology of a poset, which gave functors P Hn : A-spaces ! Ab : If we think in terms the category Ab∗ of sequences of abelian groups (define the maps!), we can write this as P H∗ : A-spaces ! Ab∗ : We also proved that Proposition 1.3. Let f; g : X ! Y be maps of A-spaces. If f ≤ g, then f and g induce the same map on homology, that is P P P P H∗ (f) = H∗ (g): H∗ (X) ! H∗ (Y ): However, we only have the following partial result: 1 2 07-17-2015 Theorem 1.4. If X and Y are A-spaces and f; g : X ! Y satisfy f ≤ g, then f ' g. If X and Y are F -spaces, we have a converse. That is, in this case, if f ' g, then there are maps f1; : : : ; fn such that, f ≥ f1 ≤ f2 ≥ f3 ≤ f4 ≥ ::: ≤ fn ≥ g: P Therefore, we have not shown that H∗ is a homotopy functor. However, we have shown that its restriction to F -spaces is such: P Proposition 1.5. H∗ : F -spaces ! Ab∗ is a homotopy functor. Definition 1.6. We also defined, for A ⊂ X, the relative homology of X with respect to A d ker Cn(X)=Cn(A) −! Cn−1(X)=Cn−1(A) HP (X; A) = n d im Cn+1(X)=Cn+1(A) −! Cn(X)=Cn(A) = n'th homology of the chain complex C∗(X)=C∗(A) Therefore, at least on F -spaces, we've proved that H∗ has the following proper- ties. (Property (3) is an exercise) P Proposition 1.7. Let H∗ : F -spaces ! Ab be the poset homology functor. Then P P (1) (Homotopy Invariance) If f ' g, then H∗ (f) = H∗ (g) P P (2) (Dimension Axiom) H0 (∗) = Z and Hn (∗) = 0 if n > 0. ` (3) (Additivity) If X = Xi, where Xi are the different path components of P ∼ L P X, then H∗ (X) = i H∗ (Xi). (4) (Exactness) If A ⊂ X, there is a long exact sequence P P P P ::: ! Hn (A) ! Hn (X) ! Hn (X; A) ! Hn−1(A) ! ::: We also proved that: (a) (Mayer-Vietoris) If A and B are sieves in X and X = A [ B, there is a long exact sequence P P P P P ::: ! Hn (A \ B) ! Hn (A) ⊕ Hn (B) ! Hn (X) ! Hn−1(A \ B) ! ::: (b) (Suspension isomorphism) There is an isomorphism ( P P ∼ H1 (ΣX) ⊕ Z n = 0 Hn (X) = P Hn+1(ΣX) n > 0 (Note that except for (1), these all hold for A-spaces.) Remark 1.8. A little later, we will give an axiomatic description for functors which satisfy the above properties. (1)-(4) will be axioms for such functors. However, the list of axioms is still incomplete and (4) is rather useless since it is not clear now P that H∗ (X; A) has (1) any geometric meaning that makes it interesting to compute or P P (2) is easier to compute than H∗ (X) and/or H∗ (A) so that it could be used as a tool in understanding these terms. P P We need a property that allows us to identify H∗ (X; A) with H∗ (X=A) in favorable cases. We ask ourselves: 07-17-2015 3 Question 1.9. Is there a functor H∗ : Top ! Ab which satisfies all the above P ∼ properties and such that H∗ (X) = H∗(X)? 2. Definition of Singular Homology To define the homology of a space, we must associate to a space X a chain complex C∗(X). Then H∗(X) will simply be its homology. Recall that the n- simplex ∆n is the subspace of Rn+1 given by n n+1 ∆ = f(t0; : : : ; tn) 2 R j 0 ≤ ti ≤ 1; t0 + ::: + tn = 1g Now, note that there are n + 1 copies of ∆n−1 in ∆n. These are the faces of ∆n. We denote them by n n ∆i = f(t0; : : : ; ti−1; 0; ti+1; : : : ; tn) 2 ∆ g Remark 2.1. Let xi = (t0 = 0; : : : ; ti−1 = 0; ti = 1; ti+1 = 0; : : : ; tn = 0). Then n n x0; : : : ; xn are the vertices of ∆ . The face ∆i is the n-simplex with vertices x0;:::; xbi; : : : ; xn. There's a canonical homeomorphism: n−1 n ∆ ! ∆i which sends (t0; : : : ; tn−1) to (t0; : : : ; ti−1; 0; ti; : : : ; tn) Definition 2.2. A singular n-simplex on X is a continuous map σ : ∆n ! X. Let Xn be the set of singular n-simplicies: Xn = fσ : ∆n ! Xg Given a singular n-simplex on X, σ : ∆n ! X, we can obtain n + 1 singular n − 1-simplices by restricting σ to the faces of ∆n. That is, n σj n : ∆ ∼ ∆ ! X ∆i n−1 = i Definition 2.3. The group of singular n-chains on X, denoted Cn(X), is the free abelian group generated by the set of all singular n-simplices, that is ( k ) X Cn(X) = ZfXng = aiσi j σi 2 Xn; ai 2 Z i=0 Further, let @ : Cn(X) ! Cn−1(X) be defined on a generator σ 2 Cn(X) by n X i @ (σ) = (−1) σj n n ∆i i=0 One verifies that @ ◦ @ = 0. The chain complex C∗(X) is called the singular chains on X. Its homology is called the singlular homology of X, denoted ker @n Hn(X) = im @n+1 If f : X ! Y , we get a map C∗(f): C∗(X) ! C∗(Y ). For a singular n-simplex σ : ∆n ! X, we let Cn(f)(σ) = f ◦ σ 2 Cn(Y ): This induces a map H∗(f): H∗(X) ! H∗(Y ): 4 07-17-2015 Hence, singular homology is a functor: H∗ : Top ! Ab∗ Remark 2.4. Note that H0(X) = C0(X)=(im(@1 : C1(X) ! C0(X))): A singular 0-simplex is a function σ : ∆0 = f0g ! X, so it is just a point in X. We let 0 σx : ∆ ! X be the simplex with σx(0) = x: Therefore, ∼ C0(X) = ZfXg where ZfXg is the free abelian group on X. An isomorphism is given by k k k X X X aiσxi 7! aiσxi (0) = aixi: i=0 i=0 i=0 So, we can think of the elements of C0(X) as formal sums k X aixi i=0 where the points xi 2 X and ai 2 Z. Further, suppose that two points x0; x1 2 X are in the same path component, that is, that there is a path σ : I ! X with σ(0) = x0 and σ(1) = x1. Since 1 I = ∆ , we have σ 2 C1(X). Further, @ (σ) = σj 1 − σj 1 1 ∆0 ∆1 = σx1 − σx0 7! x1 − x0: Therefore, in C0(X)= im(@1), we have the relation that x1 = x0 for any two gen- erators which are connected by a path. Therefore, any two generators for C0(X) which are in the same path components are identified when we pass to the quotient H0(X) = C0(X)= im(@1). Further, these are the only relations, so H0(X) is a free abelian group with one generator for each path component of X. This proves: ` Proposition 2.5. If X = α2I Xi where Xi are the distinct path components of X, then ∼ M H0(X) = Z: α2I An explicit isomorphism is induced by the map M C0(X) ! Z α2I given by k ! X X aixi 7! ai i=0 xi2Xα α2I ∼ Proposition 2.6 (Dimension Axiom). H0(∗) = Z and Hn(∗) = 0 if n > 0. 07-17-2015 5 n Proof. We have Cn(∗) = Z since there is only one map σn : ∆ ! ∗, namely, the constant map at ∗. Further, since σ j n = σ n ∆i n−1 we have for n > 0 n X i @ (σ) = (−1) σj n n ∆i i=0 n X i = (−1) σn−1 i=0 ( 0 n is odd = σn−1 n is even The chain complex thus looks like 0 ∼= 0 ∼= 0 ∼= 0 ::: ! Z −! Z −! Z −! Z −! Z ! ::: ! Z −! Z −! Z −! Z ! 0 Remark 2.7. We can define a related functor He∗ : Top∗ ! Ab called the reduced homology as follows. For a based space X, there are maps p ∗ −!i X −!∗ These induce maps on homology i p H∗(∗) / H∗(X) / H∗(∗) Z / H∗(X) / Z This implies that H0(X) has a direct summand isomorphic to Z.
Load more

Recommended publications
  • Universal Coefficient Theorem for Homology
    Universal Coefficient Theorem for Homology We present a direct proof of the universal coefficient theorem for homology that is simpler and shorter than the standard proof. Theorem 1 Given a chain complex C in which each Cn is free abelian, and a coefficient group G, we have for each n the natural short exact sequence 0 −−→ Hn(C) ⊗ G −−→ Hn(C ⊗ G) −−→ Tor(Hn−1(C),G) −−→ 0, (2) which splits (but not naturally). In particular, this applies immediately to singular homology. Theorem 3 Given a pair of spaces (X, A) and a coefficient group G, we have for each n the natural short exact sequence 0 −−→ Hn(X, A) ⊗ G −−→ Hn(X, A; G) −−→ Tor(Hn−1(X, A),G) −−→ 0, which splits (but not naturally). We shall derive diagram (2) as an instance of the following elementary result. Lemma 4 Given homomorphisms f: K → L and g: L → M of abelian groups, with a splitting homomorphism s: L → K such that f ◦ s = idL, we have the split short exact sequence ⊂ f 0 0 −−→ Ker f −−→ Ker(g ◦ f) −−→ Ker g −−→ 0, (5) where f 0 = f| Ker(g ◦ f), with the splitting s0 = s| Ker g: Ker g → Ker(g ◦ f). Proof We note that f 0 and s0 are defined, as f(Ker(g ◦ f)) ⊂ Ker g and s(Ker g) ⊂ Ker(g ◦f). (In detail, if l ∈ Ker g,(g ◦f)sl = gfsl = gl = 0 shows that sl ∈ Ker(g ◦f).) 0 0 0 Then f ◦ s = idL restricts to f ◦ s = id. Since Ker f ⊂ Ker(g ◦ f), we have Ker f = Ker f ∩ Ker(g ◦ f) = Ker f.
    [Show full text]
  • Introduction to Homology
    Introduction to Homology Matthew Lerner-Brecher and Koh Yamakawa March 28, 2019 Contents 1 Homology 1 1.1 Simplices: a Review . .2 1.2 ∆ Simplices: not a Review . .2 1.3 Boundary Operator . .3 1.4 Simplicial Homology: DEF not a Review . .4 1.5 Singular Homology . .5 2 Higher Homotopy Groups and Hurweicz Theorem 5 3 Exact Sequences 5 3.1 Key Definitions . .5 3.2 Recreating Groups From Exact Sequences . .6 4 Long Exact Homology Sequences 7 4.1 Exact Sequences of Chain Complexes . .7 4.2 Relative Homology Groups . .8 4.3 The Excision Theorems . .8 4.4 Mayer-Vietoris Sequence . .9 4.5 Application . .9 1 Homology What is Homology? To put it simply, we use Homology to count the number of n dimensional holes in a topological space! In general, our approach will be to add a structure on a space or object ( and thus a topology ) and figure out what subsets of the space are cycles, then sort through those subsets that are holes. Of course, as many properties we care about in topology, this property is invariant under homotopy equivalence. This is the slightly weaker than homeomorphism which we before said gave us the same fundamental group. 1 Figure 1: Hatcher p.100 Just for reference to you, I will simply define the nth Homology of a topological space X. Hn(X) = ker @n=Im@n−1 which, as we have said before, is the group of n-holes. 1.1 Simplices: a Review k+1 Just for your sake, we review what standard K simplices are, as embedded inside ( or living in ) R ( n ) k X X ∆ = [v0; : : : ; vk] = xivi such that xk = 1 i=0 For example, the 0 simplex is a point, the 1 simplex is a line, the 2 simplex is a triangle, the 3 simplex is a tetrahedron.
    [Show full text]
  • Homology Groups of Homeomorphic Topological Spaces
    An Introduction to Homology Prerna Nadathur August 16, 2007 Abstract This paper explores the basic ideas of simplicial structures that lead to simplicial homology theory, and introduces singular homology in order to demonstrate the equivalence of homology groups of homeomorphic topological spaces. It concludes with a proof of the equivalence of simplicial and singular homology groups. Contents 1 Simplices and Simplicial Complexes 1 2 Homology Groups 2 3 Singular Homology 8 4 Chain Complexes, Exact Sequences, and Relative Homology Groups 9 ∆ 5 The Equivalence of H n and Hn 13 1 Simplices and Simplicial Complexes Definition 1.1. The n-simplex, ∆n, is the simplest geometric figure determined by a collection of n n + 1 points in Euclidean space R . Geometrically, it can be thought of as the complete graph on (n + 1) vertices, which is solid in n dimensions. Figure 1: Some simplices Extrapolating from Figure 1, we see that the 3-simplex is a tetrahedron. Note: The n-simplex is topologically equivalent to Dn, the n-ball. Definition 1.2. An n-face of a simplex is a subset of the set of vertices of the simplex with order n + 1. The faces of an n-simplex with dimension less than n are called its proper faces. 1 Two simplices are said to be properly situated if their intersection is either empty or a face of both simplices (i.e., a simplex itself). By \gluing" (identifying) simplices along entire faces, we get what are known as simplicial complexes. More formally: Definition 1.3. A simplicial complex K is a finite set of simplices satisfying the following condi- tions: 1 For all simplices A 2 K with α a face of A, we have α 2 K.
    [Show full text]
  • The Decomposition Theorem, Perverse Sheaves and the Topology Of
    The decomposition theorem, perverse sheaves and the topology of algebraic maps Mark Andrea A. de Cataldo and Luca Migliorini∗ Abstract We give a motivated introduction to the theory of perverse sheaves, culminating in the decomposition theorem of Beilinson, Bernstein, Deligne and Gabber. A goal of this survey is to show how the theory develops naturally from classical constructions used in the study of topological properties of algebraic varieties. While most proofs are omitted, we discuss several approaches to the decomposition theorem, indicate some important applications and examples. Contents 1 Overview 3 1.1 The topology of complex projective manifolds: Lefschetz and Hodge theorems 4 1.2 Families of smooth projective varieties . ........ 5 1.3 Singular algebraic varieties . ..... 7 1.4 Decomposition and hard Lefschetz in intersection cohomology . 8 1.5 Crash course on sheaves and derived categories . ........ 9 1.6 Decomposition, semisimplicity and relative hard Lefschetz theorems . 13 1.7 InvariantCycletheorems . 15 1.8 Afewexamples.................................. 16 1.9 The decomposition theorem and mixed Hodge structures . ......... 17 1.10 Historicalandotherremarks . 18 arXiv:0712.0349v2 [math.AG] 16 Apr 2009 2 Perverse sheaves 20 2.1 Intersection cohomology . 21 2.2 Examples of intersection cohomology . ...... 22 2.3 Definition and first properties of perverse sheaves . .......... 24 2.4 Theperversefiltration . .. .. .. .. .. .. .. 28 2.5 Perversecohomology .............................. 28 2.6 t-exactness and the Lefschetz hyperplane theorem . ...... 30 2.7 Intermediateextensions . 31 ∗Partially supported by GNSAGA and PRIN 2007 project “Spazi di moduli e teoria di Lie” 1 3 Three approaches to the decomposition theorem 33 3.1 The proof of Beilinson, Bernstein, Deligne and Gabber .
    [Show full text]
  • Singular Homology of Arithmetic Schemes Alexander Schmidt
    AlgebraAlgebraAlgebraAlgebra & & & & NumberNumberNumberNumber TheoryTheoryTheoryTheory Volume 1 2007 No. 2 Singular homology of arithmetic schemes Alexander Schmidt mathematicalmathematicalmathematicalmathematicalmathematicalmathematicalmathematical sciences sciences sciences sciences sciences sciences sciences publishers publishers publishers publishers publishers publishers publishers 1 ALGEBRA AND NUMBER THEORY 1:2(2007) Singular homology of arithmetic schemes Alexander Schmidt We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular homology in degree zero and the abelianized modified tame fundamental group. 1. Introduction The objective of this paper is to construct a reasonable singular homology theory on the category of schemes of finite type over a Dedekind domain. Our main criterion for “reasonable” was to find a theory which satisfies the usual properties of a singular homology theory and which has the additional property that, for schemes of finite type over Spec(ޚ), the group h0 serves as the source of a reciprocity map for tame class field theory. In the case of schemes of finite type over finite fields this role was taken over by Suslin’s singular homology; see [Schmidt and Spieß 2000]. In this article we motivate and give the definition of the singular homology groups of schemes of finite type over a Dedekind domain and we verify basic properties, e.g. homotopy
    [Show full text]
  • Algebraic Topology Is the Usage of Algebraic Tools to Study Topological Spaces
    Chapter 1 Singular homology 1 Introduction: singular simplices and chains This is a course on algebraic topology. We’ll discuss the following topics. 1. Singular homology 2. CW-complexes 3. Basics of category theory 4. Homological algebra 5. The Künneth theorem 6. Cohomology 7. Universal coefficient theorems 8. Cup and cap products 9. Poincaré duality. The objects of study are of course topological spaces, and the machinery we develop in this course is designed to be applicable to a general space. But we are really mainly interested in geometrically important spaces. Here are some examples. • The most basic example is n-dimensional Euclidean space, Rn. • The n-sphere Sn = fx 2 Rn+1 : jxj = 1g, topologized as a subspace of Rn+1. • Identifying antipodal points in Sn gives real projective space RPn = Sn=(x ∼ −x), i.e. the space of lines through the origin in Rn+1. • Call an ordered collection of k orthonormal vectors an orthonormal k-frame. The space of n n orthonormal k-frames in R forms the Stiefel manifold Vk(R ), topologized as a subspace of (Sn−1)k. n n • The Grassmannian Grk(R ) is the space of k-dimensional linear subspaces of R . Forming n n the span gives us a surjection Vk(R ) ! Grk(R ), and the Grassmannian is given the quotient n n−1 topology. For example, Gr1(R ) = RP . 1 2 CHAPTER 1. SINGULAR HOMOLOGY All these examples are manifolds; that is, they are Hausdorff spaces locally homeomorphic to Eu- clidean space. Aside from Rn itself, the preceding examples are also compact.
    [Show full text]
  • Singular Homology Groups and Homotopy Groups By
    SINGULAR HOMOLOGY GROUPS AND HOMOTOPY GROUPS OF FINITE TOPOLOGICAL SPACES BY MICHAEL C. McCoRD 1. Introduction. Finite topological spaces have more interesting topological properties than one might suspect at first. Without thinking about it very long, one might guess that the singular homology groups and homotopy groups of finite spaces vanish in dimension greater than zero. (One might jump to the conclusion that continuous maps of simplexes and spheres into a finite space must be constant.) However, we shall show (see Theorem 1) that exactly the same singular homology groups and homotopy groups occur for finite spaces as occur for finite simplicial complexes. A map J X Y is a weatc homotopy equivalence if the induced maps (1.1) -- J, -(X, x) ---> -( Y, Jx) are isomorphisms for all x in X aIld all i >_ 0. (Of course in dimension 0, "iso- morphism" is understood to mean simply "1-1 correspondence," since ro(X, x), the set of path components of X, is not in general endowed with a group struc- ture.) It is a well-known theorem of J.H.C. Whitehead (see [4; 167]) that every weak homotopy equivalence induces isomorphisms on singular homology groups (hence also on singular cohomology rings.) Note that the general case is reduced to the case where X and Y are path connected by the assumption that (1.1) is a 1-1 correspondence for i 0. THEOnnM 1. (i) For each finite topological space X there exist a finite simplicial complex K and a wealc homotopy equivalence f IK[ X. (ii) For each finite sim- plicial complex K there exist a finite topological space-- X and a wealc homotopy equivalence ] "[K[ X.
    [Show full text]
  • Equivariant Singular Homology and Cohomology I
    Licensed to Univ of Rochester. Prepared on Tue Jul 28 10:51:47 EDT 2015for download from IP 128.151.13.18. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms MEMOIRS of the American Mathematical Society This journal is designed particularly for long research papers (and groups of cognate papers) in pure and applied mathematics. It includes, in general, longer papers than those in the TRANSACTIONS. Mathematical papers intended for publication in the Memoirs should be addressed to one of the editors. Subjects, and the editors associated with them, follow: Real analysis (excluding harmonic analysis) and applied mathematics to FRANCOIS TREVES, Depart• ment of Mathematics, Rutgers University, New Brunswick, NJ 08903. Harmonic and complex analysis to HUGO ROSSI, Department of Mathematics, University of Utah, Salt Lake City, UT 84112. Abstract analysis to ALEXANDRA IONESCU TULCEA, Department of Mathematics, Northwestern University, Evanston, IL 60201. Algebra and number theory (excluding universal algebras) to STEPHEN S. SHATZ, Department of Mathe• matics, University of Pennsylvania, Philadelphia, PA 19174. Logic, foundations, universal algebras and combinatorics to ALISTAIR H. LACHLAN, Department of Mathematics, Simon Fraser University, Burnaby, 2, B. C, Canada. Topology to PHILIP T. CHURCH, Department of Mathematics, Syracuse University, Syracuse, NY 13210. Global analysis and differential geometry to VICTOR W. GUILLEMIN, c/o Ms. M. McQuillin, Depart• ment of Mathematics, Harvard University, Cambridge, MA 02138. Probability and statistics to DANIEL W. STROOCK, Department of Mathematics, University of Colorado, Boulder, CO 80302 All other communications to the editors should be addressed to Managing Editor, ALISTAIR H. LACHLAN MEMOIRS are printed by photo-offset from camera-ready copy fully prepared by the authors.
    [Show full text]
  • LECTURE 1: DEFINITION of SINGULAR HOMOLOGY As A
    LECTURE 1: DEFINITION OF SINGULAR HOMOLOGY As a motivation for the notion of homology let us consider the topological space X which is obtained by gluing a solid triangle to a `non-solid' triangle as indicated in the following picture. The vertices and some paths (with orientations) are named as indicated in the graphic. •x3 x2 • δ β γ •x1 α x0 • Let us agree that we define the boundary of such a path by the formal difference `target - source'. So, the boundary @(β) of β is given by @(β) = x2 − x1: In this terminology, the geometric property that a path is closed translates into the algebraic relation that its boundary vanishes. Moreover, let us define a chain of paths to be a formal sum of paths. In our example, we have the chains −1 c1 = α + β + γ and c2 = β + + δ : Both c1 and c2 are examples of closed paths (this translates into the algebraic fact that the sum of the boundaries of the paths vanishes). However, from a geometrical perspective, both chains behave very differently: c1 is the boundary of a solid triangle (and is hence closed for trivial reasons) while c2 is not of that form. Thus, the chain c2 detects some `interesting geometry'. The basic idea of homology is to systematically measure closed chains of paths (which might be interesting) and divide out by the `geometrically boring ones'. Moreover, we would like to extend this to higher dimensions. Let us now begin with a precise development of the theory. Definition 1. Let n ≥ 0 be a natural number.
    [Show full text]
  • Notes on Cobordism
    Notes on Cobordism Haynes Miller Author address: Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA Notes typed by Dan Christensen and Gerd Laures based on lectures of Haynes Miller, Spring, 1994. Still in preliminary form, with much missing. This version dated December 5, 2001. Contents Chapter 1. Unoriented Bordism 1 1. Steenrod's Question 1 2. Thom Spaces and Stable Normal Bundles 3 3. The Pontrjagin{Thom Construction 5 4. Spectra 9 5. The Thom Isomorphism 12 6. Steenrod Operations 14 7. Stiefel-Whitney Classes 15 8. The Euler Class 19 9. The Steenrod Algebra 20 10. Hopf Algebras 24 11. Return of the Steenrod Algebra 28 12. The Answer to the Question 32 13. Further Comments on the Eilenberg{Mac Lane Spectrum 35 Chapter 2. Complex Cobordism 39 1. Various Bordisms 39 2. Complex Oriented Cohomology Theories 42 3. Generalities on Formal Group Laws 46 4. p-Typicality of Formal Group Laws 53 5. The Universal p-Typical Formal Group Law 61 6. Representing (R) 65 F 7. Applications to Topology 69 8. Characteristic Numbers 71 9. The Brown-Peterson Spectrum 78 10. The Adams Spectral Sequence 79 11. The BP -Hopf Invariant 92 12. The MU-Cohomology of a Finite Complex 93 iii iv CONTENTS 13. The Landweber Filtration Theorem 98 Chapter 3. The Nilpotence Theorem 101 1. Statement of Nilpotence Theorems 101 2. An Outline of the Proof 103 3. The Vanishing Line Lemma 106 4. The Nilpotent Cofibration Lemma 108 Appendices 111 Appendix A. A Construction of the Steenrod Squares 111 1. The Definition 111 2.
    [Show full text]
  • Positive Alexander Duality for Pursuit and Evasion
    POSITIVE ALEXANDER DUALITY FOR PURSUIT AND EVASION ROBERT GHRIST AND SANJEEVI KRISHNAN Abstract. Considered is a class of pursuit-evasion games, in which an evader tries to avoid detection. Such games can be formulated as the search for sections to the com- plement of a coverage region in a Euclidean space over a timeline. Prior results give homological criteria for evasion in the general case that are not necessary and sufficient. This paper provides a necessary and sufficient positive cohomological criterion for evasion in a general case. The principal tools are (1) a refinement of the Cechˇ cohomology of a coverage region with a positive cone encoding spatial orientation, (2) a refinement of the Borel-Moore homology of the coverage gaps with a positive cone encoding time orienta- tion, and (3) a positive variant of Alexander Duality. Positive cohomology decomposes as the global sections of a sheaf of local positive cohomology over the time axis; we show how this decomposition makes positive cohomology computable as a linear program. 1. Introduction The motivation for this paper comes from a type of pursuit-evasion game. In such games, two classes of agents, pursuers and evaders move in a fixed geometric domain over time. The goal of a pursuer is to capture an evader (by, e.g., physical proximity or line-of-sight). The goal of an evader is to move in such a manner so as to avoid capture by any pursuer. This paper solves a feasibility problem of whether an evader can win in a particular setting under certain constraints. We specialize to the setting of pursuers-as-sensors, in which, at each time, a certain region of space is \sensed" and any evader in this region is considered captured.
    [Show full text]
  • Algebraic Topology I: Lecture 2 Homology
    4 CHAPTER 1. SINGULAR HOMOLOGY 2 Homology In the last lecture we introduced the standard n-simplex ∆n ⊆ Rn+1. Singular simplices in a space n X are maps σ : ∆ ! X and constitute the set Sinn(X). For example, Sin0(X) consists of points of X. We also described the face inclusions di : ∆n−1 ! ∆n, and the induced “face maps” di : Sinn(X) ! Sinn−1(X) ; 0 ≤ i ≤ n ; i given by precomposing with face inclusions: diσ = σ ◦ d . For homework you established some quadratic relations satisfied by these maps. A collection of sets Kn; n ≥ 0, together with maps di : Kn ! Kn−1 related to each other in this way, is a semi-simplicial set. So we have assigned to any space X a semi-simplicial set S∗(X). To the semi-simplicial set fSinn(X); dig we then applied the free abelian group functor, obtaining a semi-simplicial abelian group. Using the dis, we constructed a boundary map d which makes S∗(X) a chain complex – that is, d2 = 0. We capture this process in a diagram: H∗ fspacesg / fgraded abelian groupsg O Sin∗ fsemi-simplicial setsg take homology Z(−) fsemi-simplicial abelian groupsg / fchain complexesg Example 2.1. Suppose we have σ : ∆1 ! X. Define φ: ∆1 ! ∆1 by sending (t; 1 − t) to (1 − t; t). Precomposing σ with φ gives another singular simplex σ which reverses the orientation of σ. It is not true that σ = −σ in S1(X). However, we claim that σ ≡ −σ mod B1(X). This means that there is a 2-chain in X whose boundary is σ + σ.
    [Show full text]