DOCSLIB.ORG

ALGEBRAIC TOPOLOGY Contents References 4 Initial Remarks 7 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ALGEBRAIC TOPOLOGY Contents References 4 Initial Remarks 7 1 ALGEBRAIC TOPOLOGY STEFAN FRIEDL Contents References 4 Initial remarks 7 1. Topological spaces 8 1.1. The definition of a topological space 8 1.2. Constructions of more topological spaces 16 1.3. Further examples of topological spaces 20 1.4. The two notions of connected topological spaces 23 1.5. Local properties 26 1.6. Graphs and topological realizations of graphs 28 1.7. The basis of a topology 31 1.8. Manifolds 33 1.9. The classification of 1-dimensional manifolds 36 1.10. Orientations of manifolds 40 2. Differential topology 43 2.1. The Tubular Neighborhood Theorem 43 2.2. The connected sum operation 47 2.3. Knots and their complements 48 3. How can we show that two topological spaces are not homeomorphic? 53 4. The fundamental group 57 4.1. Homotopy classes of paths 57 4.2. The fundamental group of a pointed topological space 63 5. Categories and functors 70 5.1. Definition and examples of categories 70 5.2. Functors 72 5.3. The fundamental group as functor 74 6. Fundamental groups and coverings 79 6.1. The cardinality of sets 79 6.2. Covering spaces 81 6.3. The lifting of paths 94 6.4. The lifting of homotopies 96 6.5. Group actions and fundamental groups 102 6.6. The fundamental group of the product of two topological spaces 108 1 2 STEFAN FRIEDL 6.7. Applications: the Fundamental Theorem of Algebra and the Borsuk-Ulam Theorem 111 7. Homotopy equivalent topological spaces 114 7.1. Homotopic maps 114 7.2. The fundamental groups of homotopy equivalent topological spaces 116 7.3. The wedge of two topological spaces 121 8. Basics of group theory 128 8.1. Free abelian groups and the finitely generated abelian groups 128 8.2. The free product of groups 134 8.3. An alternative definition of the free product of groups 141 9. The Seifert-van Kampen theorem I 144 9.1. The Seifert{van Kampen theorem I 144 9.2. Proof of the Seifert-van Kampen Theorem 9.2 151 9.3. More examples: surfaces and the connected sum of manifolds 156 10. Presentations of groups and amalgamated products 162 10.1. Basic definitions in group theory 162 10.2. Presentation of groups 163 10.3. The abelianization of a group 168 10.4. The amalgamated product of groups 172 11. The general Seifert-van Kampen Theorem 177 11.1. The formulation of the general Seifert-van Kampen Theorem 177 11.2. The fundamental groups of surfaces 179 11.3. Non-orientable surfaces 185 11.4. The classification of closed 2-dimensional (topological) manifolds 188 11.5. The classification of 2-dimensional (topological) manifolds with boundary 189 11.6. Retractions onto boundary components of 2-dimensional manifolds 194 12. Examples: knots and mapping tori 198 12.1. An excursion into knot theory (∗) 198 12.2. Mapping tori 203 13. Limits 211 13.1. Preordered and directed sets 211 13.2. The direct limit of a direct system 212 13.3. Gluing formula for fundamental groups and HNN-extensions (∗) 224 13.4. The inverse limit of an inverse system 229 13.5. The profinite completion of a group (∗) 237 14. Decision problems 239 15. The universal cover of topological spaces 242 15.1. Local properties of topological spaces 242 15.2. Lifting maps to coverings 243 15.3. Existence of covering spaces 248 16. Covering spaces and manifolds 261 16.1. Covering spaces of manifolds 261 ALGEBRAIC TOPOLOGY 3 16.2. The orientation cover of a non-orientable manifold 265 17. Complex manifolds 268 18. Hyperbolic geometry 274 18.1. Hyperbolic space 274 18.2. Angles in Riemannian manifolds 280 18.3. The distance metric of a Riemannian manifold 281 18.4. The hyperbolic distance function 285 18.5. Complete metric spaces 287 19. The universal cover of surfaces 289 19.1. Hyperbolic surfaces 289 19.2. More hyperbolic structures on the surfaces of genus g ≥ 2 (∗) 293 19.3. More examples of hyperbolic surfaces 295 19.4. The universal cover of surfaces 300 19.5. Proof of Theorem 19.9 I 301 19.6. Proof of Theorem 19.9 II 305 19.7. Picard's Theorem 308 20. The deck transformation group (∗) 312 21. Related constructions in algebraic geometry and Galois theory (∗) 323 21.1. The fundamental group of an algebraic variety (∗) 323 21.2. Galois theory (∗) 325 4 STEFAN FRIEDL References [A] S. I. Adyan, Algorithmic unsolvability of problems of recognition of certain properties of groups, Dokl. Akad. Nauk SSSR (N.S.) 103 (1955), 533{535. [AFW] M. Aschenbrenner, S. Friedl and H. Wilton, Decision problems for 3-manifolds and their fundamen- tal groups Baykur, R. Inanc (ed.) et al., Interactions between low dimensional topology and mapping class groups. Geometry and Topology Monographs 19 (2015), 201{236. [Ba] W. Ballmann, Lectures on K¨ahlermanifolds, ESI Lectures in Mathematics and Physics. Zrich: Euro- pean Mathematical Society Publishing House (2006). [BP] R. Benedetti and C. Petronio, Lectures on hyperbolic geometry, Universitext, Springer Verlag (1992) [Be] M. Berger, Geometry. I., Universitext, Springer Verlag (2009) [BS] A. Borel and J.-P. Serre, Groupes de Lie et puissances r´eduitesde Steenrod, Amer. J. Math. 75 (1953), 409{448. [Bo] R. Bott, The stable homotopy of the classical groups, Ann. of Math. 70 (1959), 313{337. [Br] G. Bredon, Geometry and Topology, Sprinter Verlag (1993) [BZH] G. Burde, H. Zieschang and M. Heusener, Knots, 3rd fully revised and extended edition. De Gruyter Studies in Mathematics 5 (2014). [CCL] S. S. Chern, W. H. Chen and K. S. Lam, Lectures on differential geometry, Series on University Mathematics. 1. Singapore: World Scientific (1999). [CZ] D. J. Collins and H. Zieschang, Combinatorial group theory and fundamental groups, in: Algebra, VII, pp. 1{166, 233{240, Encyclopaedia of Mathematical Sciences, vol. 58, Springer, Berlin, 1993. [C] J. Conway, Functions of One Complex Variable I, Springer Verlag (1978) [Cx] H. S. M. Coxeter, Regular polyhedrons,Methuen & Co (1948) [D] S. Donaldson, An application of gauge theory to four-dimensional topology, J. Diff. Geom. 18 (1983), 279{315. [FW] G. Francis and J. Weeks, Conway's ZIP Proof, Amer. Math. Monthly 106 (1999), 393{399. [Fr] M. Freedman, The topology of four-dimensional manifolds, J. Diff. Geom. 17 (1982), 357{453. [FJ] M. Fried and M. Jarden, Field arithmetic. Revised by Moshe Jarden. 3rd revised ed. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag (2008). [G] D. Gale, The Classification of 1-Manifolds: A Take-Home Exam, Amer. Math. l Monthly 94 (1987), 170-175. [GX] J. Gallier and D. Xu, A guide to the classification theorem for compact surfaces, Geometry and Computing 9. Berlin: Springer Verlag (2013). [GM] J. Garnett and D. Marshall, Harmonic measure, New Mathematical Monographs 2. Cambridge: Cambridge University Press (2005). [GL] C. McA. Gordon and J. Luecke, Knots are determined by their complements, J. Amer. Math. Soc. 2 (1989), no. 2, 371{415. [Gv] M. Gromov, Hyperbolic groups, in Essays in group theory, volume 8 of Math. Sci. Res. Inst. Publ., 75{263, Springer, 1987. [Gk] A. Grothendieck, Rev^etements´etaleset groupe fondamental, S´eminairede G´eom´etrieAlg´ebriquedu Bois-Marie, Lecture Notes in Mathematics 224 (1971). [Gr] I. A. Grushko, On the bases of a free product of groups, Matematicheskii Sbornik 8 (1940), 169{182. [Ha] A. Hatcher, Algebraic topology, Cambridge University Press (2002) https://www.math.cornell.edu/~hatcher/AT/AT.pdf [Ha2] A. Hatcher, Vector bundles and K-theory https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf [Hi] M. Hirsch, Differential topology, Graduate Texts in Mathematics 33 (1976). [Hu] T. Hungerford, Algebra, Graduate Texts in Mathematics 73 (1980). [J1] K. J¨anich, Topology, Springer-Lehrbuch (2005). ALGEBRAIC TOPOLOGY 5 [J2] K. J¨anich, Funktionentheorie, 6. Auflage, Springer-Lehrbuch (2011). [Ke] M. Kervaire, Non-parallelizability of the n sphere for n > 7, Proc. N.A.S. 44 (1958), 280{283. [KM] M. Kervaire and J. Milnor, Groups of homotopy spheres: I, Ann. Math. 77 (1963), 504{537. [K] A. Kosinski, Differentiable manifolds, Pure and Applied Mathematics, 138. Academic Press. xvi (1993). [La] S. Lang, Complex analysis, Graduate Texts in Mathematics 103 (1999). [Le1] J. Lee, Riemannian manifolds: an introduction to curvature, Graduate Texts in Mathematics 176 (1997). [Le2] J. Lee, Introduction to smooth manifolds, Graduate Texts in Mathematics 218 (2002). [Li] W. B. R. Lickorish, A representation of orientable combinatorial 3-manifolds, Ann. of Math. (2) 76 (1962), 531{540. [Li2] W. B. R. Lickorish, An introduction to knot theory, Graduate Texts in Mathematics, 175 (1997). [L¨o] C. L¨oh, Geometric group theory, an introduction, lecture notes, University of Regensburg (2015) http://www.mathematik.uni-regensburg.de/loeh/teaching/ggt_ws1415/lecture_notes.pdf [LS] R. Lyndon and P. Schupp, Combinatorial group theory, Springer Verlag (1977). [Mar] A. A. Markov, The insolubility of the problem of homeomorphy, Dokl. Akad. Nauk SSSR 121 (1958), 218{220. [Mas] W. Massey, Algebraic topology: An introduction, Graduate Texts in Mathematics 56 (1981). [Mi1] J. Milnor, On manifolds homeomorphic to the 7-sphere, Annals of Mathematics 64 (1956), 399{405. [Mi2] J. Milnor, Topology from the differentiable viewpoint, based on notes by David W. Weaver. Revised 2nd ed. Princeton Landmarks in Mathematics (1997). [Mi3] J. Milnor, Some consequences of a theorem of Bott, Ann. of Math. 68 (1958), 444{449. [Mi4] J. Milnor, Morse Theory, Annals of Mathematics Studies. No. 51. Princeton, N.J.: Princeton Uni- versity Press (1963). [Mo] E. Moise, Affine structures in 3-manifolds V. The triangulation theorem and Hauptvermutung, Annals of Mathematics 56 (1952), 96{114. [MT] J. Morgan and G. Tian, Ricci flow and the Poincar´econjecture, Clay Mathematics Monographs 3.
Load more

Recommended publications
  • Math 601 Algebraic Topology Hw 4 Selected Solutions Sketch/Hint
    MATH 601 ALGEBRAIC TOPOLOGY HW 4 SELECTED SOLUTIONS SKETCH/HINT QINGYUN ZENG 1. The Seifert-van Kampen theorem 1.1. A refinement of the Seifert-van Kampen theorem. We are going to make a refinement of the theorem so that we don't have to worry about that openness problem. We first start with a definition. Definition 1.1 (Neighbourhood deformation retract). A subset A ⊆ X is a neighbourhood defor- mation retract if there is an open set A ⊂ U ⊂ X such that A is a strong deformation retract of U, i.e. there exists a retraction r : U ! A and r ' IdU relA. This is something that is true most of the time, in sufficiently sane spaces. Example 1.2. If Y is a subcomplex of a cell complex, then Y is a neighbourhood deformation retract. Theorem 1.3. Let X be a space, A; B ⊆ X closed subspaces. Suppose that A, B and A \ B are path connected, and A \ B is a neighbourhood deformation retract of A and B. Then for any x0 2 A \ B. π1(X; x0) = π1(A; x0) ∗ π1(B; x0): π1(A\B;x0) This is just like Seifert-van Kampen theorem, but usually easier to apply, since we no longer have to \fatten up" our A and B to make them open. If you know some sheaf theory, then what Seifert-van Kampen theorem really says is that the fundamental groupoid Π1(X) is a cosheaf on X. Here Π1(X) is a category with object pints in X and morphisms as homotopy classes of path in X, which can be regard as a global version of π1(X).
    [Show full text]
  • The Fundamental Group and Seifert-Van Kampen's
    THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN'S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topo- logical space since it provides us with information about the basic shape of the space. In this paper, we will introduce the notion of free products and free groups in order to understand Seifert-van Kampen's Theorem, which will prove to be a useful tool in computing fundamental groups. Contents 1. Introduction 1 2. Background Definitions and Facts 2 3. Free Groups and Free Products 4 4. Seifert-van Kampen Theorem 6 Acknowledgments 12 References 12 1. Introduction One of the fundamental questions in topology is whether two topological spaces are homeomorphic or not. To show that two topological spaces are homeomorphic, one must construct a continuous function from one space to the other having a continuous inverse. To show that two topological spaces are not homeomorphic, one must show there does not exist a continuous function with a continuous inverse. Both of these tasks can be quite difficult as the recently proved Poincar´econjecture suggests. The conjecture is about the existence of a homeomorphism between two spaces, and it took over 100 years to prove. Since the task of showing whether or not two spaces are homeomorphic can be difficult, mathematicians have developed other ways to solve this problem. One way to solve this problem is to find a topological property that holds for one space but not the other, e.g. the first space is metrizable but the second is not. Since many spaces are similar in many ways but not homeomorphic, mathematicians use a weaker notion of equivalence between spaces { that of homotopy equivalence.
    [Show full text]
  • Algebraic Topology
    Algebraic Topology Vanessa Robins Department of Applied Mathematics Research School of Physics and Engineering The Australian National University Canberra ACT 0200, Australia. email: [email protected] September 11, 2013 Abstract This manuscript will be published as Chapter 5 in Wiley's textbook Mathe- matical Tools for Physicists, 2nd edition, edited by Michael Grinfeld from the University of Strathclyde. The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology, including persistent homology. arXiv:1304.7846v2 [math-ph] 10 Sep 2013 1 Contents 1 Introduction 3 2 Homotopy Theory 4 2.1 Homotopy of paths . 4 2.2 The fundamental group . 5 2.3 Homotopy of spaces . 7 2.4 Examples . 7 2.5 Covering spaces . 9 2.6 Extensions and applications . 9 3 Homology 11 3.1 Simplicial complexes . 12 3.2 Simplicial homology groups . 12 3.3 Basic properties of homology groups . 14 3.4 Homological algebra . 16 3.5 Other homology theories . 18 4 Cohomology 18 4.1 De Rham cohomology . 20 5 Morse theory 21 5.1 Basic results . 21 5.2 Extensions and applications . 23 5.3 Forman's discrete Morse theory . 24 6 Computational topology 25 6.1 The fundamental group of a simplicial complex . 26 6.2 Smith normal form for homology . 27 6.3 Persistent homology . 28 6.4 Cell complexes from data . 29 2 1 Introduction Topology is the study of those aspects of shape and structure that do not de- pend on precise knowledge of an object's geometry.
    [Show full text]
  • New Ideas in Algebraic Topology (K-Theory and Its Applications)
    NEW IDEAS IN ALGEBRAIC TOPOLOGY (K-THEORY AND ITS APPLICATIONS) S.P. NOVIKOV Contents Introduction 1 Chapter I. CLASSICAL CONCEPTS AND RESULTS 2 § 1. The concept of a fibre bundle 2 § 2. A general description of fibre bundles 4 § 3. Operations on fibre bundles 5 Chapter II. CHARACTERISTIC CLASSES AND COBORDISMS 5 § 4. The cohomological invariants of a fibre bundle. The characteristic classes of Stiefel–Whitney, Pontryagin and Chern 5 § 5. The characteristic numbers of Pontryagin, Chern and Stiefel. Cobordisms 7 § 6. The Hirzebruch genera. Theorems of Riemann–Roch type 8 § 7. Bott periodicity 9 § 8. Thom complexes 10 § 9. Notes on the invariance of the classes 10 Chapter III. GENERALIZED COHOMOLOGIES. THE K-FUNCTOR AND THE THEORY OF BORDISMS. MICROBUNDLES. 11 § 10. Generalized cohomologies. Examples. 11 Chapter IV. SOME APPLICATIONS OF THE K- AND J-FUNCTORS AND BORDISM THEORIES 16 § 11. Strict application of K-theory 16 § 12. Simultaneous applications of the K- and J-functors. Cohomology operation in K-theory 17 § 13. Bordism theory 19 APPENDIX 21 The Hirzebruch formula and coverings 21 Some pointers to the literature 22 References 22 Introduction In recent years there has been a widespread development in topology of the so-called generalized homology theories. Of these perhaps the most striking are K-theory and the bordism and cobordism theories. The term homology theory is used here, because these objects, often very different in their geometric meaning, Russian Math. Surveys. Volume 20, Number 3, May–June 1965. Translated by I.R. Porteous. 1 2 S.P. NOVIKOV share many of the properties of ordinary homology and cohomology, the analogy being extremely useful in solving concrete problems.
    [Show full text]
  • Floer Homology, Gauge Theory, and Low-Dimensional Topology
    Floer Homology, Gauge Theory, and Low-Dimensional Topology Clay Mathematics Proceedings Volume 5 Floer Homology, Gauge Theory, and Low-Dimensional Topology Proceedings of the Clay Mathematics Institute 2004 Summer School Alfréd Rényi Institute of Mathematics Budapest, Hungary June 5–26, 2004 David A. Ellwood Peter S. Ozsváth András I. Stipsicz Zoltán Szabó Editors American Mathematical Society Clay Mathematics Institute 2000 Mathematics Subject Classification. Primary 57R17, 57R55, 57R57, 57R58, 53D05, 53D40, 57M27, 14J26. The cover illustrates a Kinoshita-Terasaka knot (a knot with trivial Alexander polyno- mial), and two Kauffman states. These states represent the two generators of the Heegaard Floer homology of the knot in its topmost filtration level. The fact that these elements are homologically non-trivial can be used to show that the Seifert genus of this knot is two, a result first proved by David Gabai. Library of Congress Cataloging-in-Publication Data Clay Mathematics Institute. Summer School (2004 : Budapest, Hungary) Floer homology, gauge theory, and low-dimensional topology : proceedings of the Clay Mathe- matics Institute 2004 Summer School, Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary, June 5–26, 2004 / David A. Ellwood ...[et al.], editors. p. cm. — (Clay mathematics proceedings, ISSN 1534-6455 ; v. 5) ISBN 0-8218-3845-8 (alk. paper) 1. Low-dimensional topology—Congresses. 2. Symplectic geometry—Congresses. 3. Homol- ogy theory—Congresses. 4. Gauge fields (Physics)—Congresses. I. Ellwood, D. (David), 1966– II. Title. III. Series. QA612.14.C55 2004 514.22—dc22 2006042815 Copying and reprinting. Material in this book may be reproduced by any means for educa- tional and scientific purposes without fee or permission with the exception of reproduction by ser- vices that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given.
    [Show full text]
  • The Seifert-Van Kampen Theorem Via Covering Spaces
    Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques i Informàtica Universitat de Barcelona The Seifert-Van Kampen theorem via covering spaces Autor: Roberto Lara Martín Director: Dr. Javier José Gutiérrez Marín Realitzat a: Departament de Matemàtiques i Informàtica Barcelona, 29 de juny de 2017 Contents Introduction ii 1 Category theory 1 1.1 Basic terminology . .1 1.2 Coproducts . .6 1.3 Pushouts . .7 1.4 Pullbacks . .9 1.5 Strict comma category . 10 1.6 Initial objects . 12 2 Groups actions 13 2.1 Groups acting on sets . 13 2.2 The category of G-sets . 13 3 Homotopy theory 15 3.1 Homotopy of spaces . 15 3.2 The fundamental group . 15 4 Covering spaces 17 4.1 Definition and basic properties . 17 4.2 The category of covering spaces . 20 4.3 Universal covering spaces . 20 4.4 Galois covering spaces . 25 4.5 A relation between covering spaces and the fundamental group . 26 5 The Seifert–van Kampen theorem 29 Bibliography 33 i Introduction The Seifert-Van Kampen theorem describes a way of computing the fundamen- tal group of a space X from the fundamental groups of two open subspaces that cover X, and the fundamental group of their intersection. The classical proof of this result is done by analyzing the loops in the space X and deforming them into loops in the subspaces. For all the details of such proof see [1, Chapter I]. The aim of this work is to provide an alternative proof of this theorem using covering spaces, sets with actions of groups and category theory.
    [Show full text]
  • Commentary on Thurston's Work on Foliations
    COMMENTARY ON FOLIATIONS* Quoting Thurston's definition of foliation [F11]. \Given a large supply of some sort of fabric, what kinds of manifolds can be made from it, in a way that the patterns match up along the seams? This is a very general question, which has been studied by diverse means in differential topology and differential geometry. ... A foliation is a manifold made out of striped fabric - with infintely thin stripes, having no space between them. The complete stripes, or leaves, of the foliation are submanifolds; if the leaves have codimension k, the foliation is called a codimension k foliation. In order that a manifold admit a codimension- k foliation, it must have a plane field of dimension (n − k)." Such a foliation is called an (n − k)-dimensional foliation. The first definitive result in the subject, the so called Frobenius integrability theorem [Fr], concerns a necessary and sufficient condition for a plane field to be the tangent field of a foliation. See [Spi] Chapter 6 for a modern treatment. As Frobenius himself notes [Sa], a first proof was given by Deahna [De]. While this work was published in 1840, it took another hundred years before a geometric/topological theory of foliations was introduced. This was pioneered by Ehresmann and Reeb in a series of Comptes Rendus papers starting with [ER] that was quickly followed by Reeb's foundational 1948 thesis [Re1]. See Haefliger [Ha4] for a detailed account of developments in this period. Reeb [Re1] himself notes that the 1-dimensional theory had already undergone considerable development through the work of Poincare [P], Bendixson [Be], Kaplan [Ka] and others.
    [Show full text]
  • Classification of 3-Manifolds with Certain Spines*1 )
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 205, 1975 CLASSIFICATIONOF 3-MANIFOLDSWITH CERTAIN SPINES*1 ) BY RICHARD S. STEVENS ABSTRACT. Given the group presentation <p= (a, b\ambn, apbq) With m, n, p, q & 0, we construct the corresponding 2-complex Ky. We prove the following theorems. THEOREM 7. Jf isa spine of a closed orientable 3-manifold if and only if (i) \m\ = \p\ = 1 or \n\ = \q\ = 1, or (") (m, p) = (n, q) = 1. Further, if (ii) holds but (i) does not, then the manifold is unique. THEOREM 10. If M is a closed orientable 3-manifold having K^ as a spine and \ = \mq — np\ then M is a lens space L\ % where (\,fc) = 1 except when X = 0 in which case M = S2 X S1. It is well known that every connected compact orientable 3-manifold with or without boundary has a spine that is a 2-complex with a single vertex. Such 2-complexes correspond very naturally to group presentations, the 1-cells corre- sponding to generators and the 2-cells corresponding to relators. In the case of a closed orientable 3-manifold, there are equally many 1-cells and 2-cells in the spine, i.e., equally many generators and relators in the corresponding presentation. Given a group presentation one is motivated to ask the following questions: (1) Is the corresponding 2-complex a spine of a compact orientable 3-manifold? (2) If there are equally many generators and relators, is the 2-complex a spine of a closed orientable 3-manifold? (3) Can we say what manifold(s) have the 2-complex as a spine? L.
    [Show full text]
  • Algebraic Topology
    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 . 5 1.1.2 Zeroth deRham Cohomology . 6 1.1.3 Zeroth Cecˇ h Cohomology . 7 1.1.4 Zeroth Group Cohomology . 9 1.2 First Elements of Homological Algebra . 9 1.2.1 The Homology of a Chain Complex . 10 1.2.2 Variants . 11 1.2.3 The Cohomology of a Chain Complex . 11 1.2.4 The Universal Coefficient Theorem . 11 1.3 Basics of Singular Homology . 13 1.3.1 The Standard n-simplex . 13 1.3.2 First Computations . 16 1.3.3 The Homology of a Point . 17 1.3.4 The Homology of a Contractible Space . 17 1.3.5 Nice Representative One-cycles . 18 1.3.6 The First Homology of S1 . 20 1.4 An Application: The Brouwer Fixed Point Theorem . 23 2 The Axioms for Singular Homology and Some Consequences 24 2.1 The Homotopy Axiom for Singular Homology . 24 2.2 The Mayer-Vietoris Theorem for Singular Homology . 29 2.3 Relative Homology and the Long Exact Sequence of a Pair . 36 2.4 The Excision Axiom for Singular Homology . 37 2.5 The Dimension Axiom . 38 2.6 Reduced Homology . 39 1 3 Applications of Singular Homology 39 3.1 Invariance of Domain . 39 3.2 The Jordan Curve Theorem and its Generalizations . 40 3.3 Cellular (CW) Homology . 43 4 Other Homologies and Cohomologies 44 4.1 Singular Cohomology .
    [Show full text]
  • Manifolds: Where Do We Come From? What Are We? Where Are We Going
    Manifolds: Where Do We Come From? What Are We? Where Are We Going Misha Gromov September 13, 2010 Contents 1 Ideas and Definitions. 2 2 Homotopies and Obstructions. 4 3 Generic Pullbacks. 9 4 Duality and the Signature. 12 5 The Signature and Bordisms. 25 6 Exotic Spheres. 36 7 Isotopies and Intersections. 39 8 Handles and h-Cobordisms. 46 9 Manifolds under Surgery. 49 1 10 Elliptic Wings and Parabolic Flows. 53 11 Crystals, Liposomes and Drosophila. 58 12 Acknowledgments. 63 13 Bibliography. 63 Abstract Descendants of algebraic kingdoms of high dimensions, enchanted by the magic of Thurston and Donaldson, lost in the whirlpools of the Ricci flow, topologists dream of an ideal land of manifolds { perfect crystals of mathematical structure which would capture our vague mental images of geometric spaces. We browse through the ideas inherited from the past hoping to penetrate through the fog which conceals the future. 1 Ideas and Definitions. We are fascinated by knots and links. Where does this feeling of beauty and mystery come from? To get a glimpse at the answer let us move by 25 million years in time. 25 106 is, roughly, what separates us from orangutans: 12 million years to our common ancestor on the phylogenetic tree and then 12 million years back by another× branch of the tree to the present day orangutans. But are there topologists among orangutans? Yes, there definitely are: many orangutans are good at "proving" the triv- iality of elaborate knots, e.g. they fast master the art of untying boats from their mooring when they fancy taking rides downstream in a river, much to the annoyance of people making these knots with a different purpose in mind.
    [Show full text]
  • Algebraic Topology
    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 and the Fundamental Group 11 1. Homotopy 11 2. The Fundamental Group 12 3. Homotopy Equivalence 18 4. Categories and Functors 20 5. The fundamental group of S1 22 6. Some Applications 25 Chapter 3. Quotient Spaces and Covering Spaces 33 1. The Quotient Topology 33 2. Covering Spaces 40 3. Action of the Fundamental Group on Covering Spaces 44 4. Existence of Coverings and the Covering Group 48 5. Covering Groups 56 Chapter 4. Group Theory and the Seifert{Van Kampen Theorem 59 1. Some Group Theory 59 2. The Seifert{Van Kampen Theorem 66 Chapter 5. Manifolds and Surfaces 73 1. Manifolds and Surfaces 73 2. Outline of the Proof of the Classification Theorem 80 3. Some Remarks about Higher Dimensional Manifolds 83 4. An Introduction to Knot Theory 84 Chapter 6. Singular Homology 91 1. Homology, Introduction 91 2. Singular Homology 94 3. Properties of Singular Homology 100 4. The Exact Homology Sequence{ the Jill Clayburgh Lemma 109 5. Excision and Applications 116 6. Proof of the Excision Axiom 120 3 4 CONTENTS 7. Relation between π1 and H1 126 8. The Mayer-Vietoris Sequence 128 9. Some Important Applications 131 Chapter 7. Simplicial Complexes 137 1. Simplicial Complexes 137 2. Abstract Simplicial Complexes 141 3. Homology of Simplicial Complexes 143 4. The Relation of Simplicial to Singular Homology 147 5. Some Algebra. The Tensor Product 152 6.
    [Show full text]
  • Derived Smooth Manifolds
    DERIVED SMOOTH MANIFOLDS DAVID I. SPIVAK Abstract. We define a simplicial category called the category of derived man- ifolds. It contains the category of smooth manifolds as a full discrete subcat- egory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold is a space together with a sheaf of local C1-rings that is obtained by patching together homotopy zero-sets of smooth functions on Eu- clidean spaces. We show that derived manifolds come equipped with a stable normal bun- dle and can be imbedded into Euclidean space. We define a cohomology theory called derived cobordism, and use a Pontrjagin-Thom argument to show that the derived cobordism theory is isomorphic to the classical cobordism theory. This allows us to define fundamental classes in cobordism for all derived man- ifolds. In particular, the intersection A \ B of submanifolds A; B ⊂ X exists on the categorical level in our theory, and a cup product formula [A] ^ [B] = [A \ B] holds, even if the submanifolds are not transverse. One can thus consider the theory of derived manifolds as a categorification of intersection theory. Contents 1. Introduction 1 2. The axioms 8 3. Main results 14 4. Layout for the construction of dMan 21 5. C1-rings 23 6. Local C1-ringed spaces and derived manifolds 26 7. Cotangent Complexes 32 8. Proofs of technical results 39 9. Derived manifolds are good for doing intersection theory 50 10. Relationship to similar work 52 References 55 1. Introduction Let Ω denote the unoriented cobordism ring (though what we will say applies to other cobordism theories as well, e.g.
    [Show full text]