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. Providence, RI: American Mathematical Society (2007). [Mu] J. Munkres, Elements of algebraic topology, Advanced Book Program. Redwood City, California etc.: Addison-Wesley Publishing Company, Inc. (1984). [Ne] P. Nelson, Free product factorization http://www.math.uchicago.edu/~may/VIGRE/VIGRE2008/REUPapers/Nelson.pdf [Ni] L. Nicolaescu, An invitation to Morse theory, Universitext (2011) [Ol] Y. Ollivier, A January 2005 invitation to random groups, Ensaios Matem´aticos10. Rio de Janeiro: Sociedade Brasileira de Matem´atica(2005). http://www.yann-ollivier.org/rech/publs/randomgroups.pdf [Pa1] R. Palais, Extending diffeomorphisms, Proc. Am. Math. Soc. 11 (1960), 274–277. [Pa2] R. Palais, The classification of real division algebras, Am. Math. Mon. 75 (1968), 366–368. [Ra] M. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958), 172–194. [Rd] T. Rad´o,Uber¨ den Begriff der Riemannschen Fl¨ache, Acta Szeged, 2 (2): 101–121. [Rb] D. Robinson, A course in the theory of groups, 2nd ed, Graduate Texts in Mathematics 80 (1995). [Ro] D. Rolfsen, Knots and links, Mathematics Lecture Series. 7. Houston, TX: Publish or Perish. (1990). [Rs] J. Rosenberg, Algebraic K-theory and its applications, Graduate Texts in Mathematics 147 (1994). [Rt] J. Rotman, An introduction to algebraic topology, Graduate Texts in Mathematics 119 (1988) [Rt2] J. Rotman, An introduction to homological algebra, 2nd edition, Universitext. Berlin: Springer (2009). [ST] H. Seifert and W. Threlfall, Lehrbuch der Topologie, Teubner Verlag (1934). [Se] J.-P. Serre, Trees, Springer-Verlag, Berlin-New York, 1980. [Sm] S. Smale, Generalized Poincar’s conjecture in dimensions greater than four, Annals of Mathematics. 74 (1961), 391–406. 6 STEFAN FRIEDL
[St] J. Stallings, The piecewise-linear structure of Euclidean space, Proc. Cambridge Philos. Soc. 58 (1961), 481–488. [St2] J. Stallings, Coherence of 3-manifold fundamental groups, S´eminaireN. Bourbaki 481 (1975-1976), 167–173. [Ta] C. Taubes, Gauge theory on asymptotically periodic 4-manifolds, J. Diff. Geom. 25 (1987), 363–430. [Wa] F. Warner, Foundations of differentiable manifolds and Lie groups, Graduate Text in Mathematics (1983) ALGEBRAIC TOPOLOGY 7 Initial remarks These are the lecture notes for the course Algebraic Topology I that I taught at the University of Regensburg in the winter term 2016/2017. This course builds on the courses Analysis I-IV that I had taught in the previous terms. For the most part I only assume standard results in general topology from the earlier courses. One unusual feature is that I use the homotopy invariance of path integrals of holomorphic functions, that I had proved in Analysis III, to quickly show that the fundamental group of S1 is non-trivial.
These course notes are meant to be “open source lecture notes”, i.e. they can be used and modified by anybody. The tex-files and the files for the figures, which were produced with winfig, can be found at http://www.uni-regensburg.de/Fakultaeten/nat_Fak_I/friedl/ 8 STEFAN FRIEDL
1. Topological spaces 1.1. The definition of a topological space. We recall the definition of a topological space from Analysis IV. Definition. A topological space is a pair (X, T ), where X is a set and T is a topology on X, i.e. T is a set of subsets of X with the following properties: (1) the empty set and the entire set X are contained in T , (2) the intersection of finitely many sets in T is again a set in T , (3) the union of arbitrarily many sets in T is again a set in T . The sets in T are called open. Example. (1) Let (X, d) be a metric space. A subset U of X is called open if for every x ∈ U there exists an ϵ > 0 such that Bϵ(x) := {y ∈ X | d(x, y) < ϵ} is contained in U. We had already seen in Analysis II that T := all open subsets of (X, d) is a topology on X. In the following we consider Rn as a metric space with the euclidean metric and we always view Rn with the resulting topology, unless we say explicitly otherwise. (2) Let X be a set, then T = {∅,X} is a topology on X. This topology is sometimes called the trivial topology on X. (3) Let X be a set and let T be the power set of X, i.e. the set of all subsets of X. Then T is also a topology on X. Put differently, T is the topology such that all subsets are open. This topology is usually referred to as the discrete topology on X. (4) Let X = R and let T be defined as follows: U ∈ T :⇐⇒ either U = ∅ or U is the complement of finitely many points in R. √ For example the sets ∅, R\{π}, R\{−1, 2} and also R (since it is the complement of zero points) lie in T . It follows easily from elementary set theory that T is a topology on X = R. (5) We consider the set X := Rn ∪ {∞}, i.e. X consists of Rn and an extra point ∞. We say U ⊂ X is open1, if both of the following two conditions are satisfied: n (a) for each point x ∈ U ∩ R there exists an ϵ > 0 such that Bϵ(x) ⊂ U, (b) if ∞ ∈ U, then there exists a C > 0 such that {x ∈ Rn | ∥x∥ > C} ⊂ U. It is straightforward to see that this defines indeed a topology on X. For n = 1 we had introduced this topological space in Analysis IV and we had referred to it as the “line with a point at infinity”. We now refer to Rn ∪ {∞} as “Rn with a point at infinity”.
1If we want to specify a topology, it suffices to specify which subsets are called “open”. ALGEBRAIC TOPOLOGY 9
(6) We consider the set X := R ∪ {∗}, i.e. X consists of R and an extra point ∗. We say U ⊂ X is open, if the following two conditions are satisfied: (a) for each point x ∈ U ∩ R there exists an ϵ > 0 such that (x − ϵ, x + ϵ) ⊂ U, (b) if ∗ ∈ U, then there exists an ϵ > 0 such that (−ϵ, 0) ∪ (0, ϵ) ⊂ U. We had seen in Analysis IV that this is indeed a topology on X. We refer to this topological space as the “line with two zeros”. (7) If (X, T ) is a topological space and if Y ⊂ X is a subset, then S := {Y ∩ U | U ∈ T } is a topology on Y . We refer to S as the subspace topology on Y . Unless we say something else we consider each subset Y of Rn always as a topological space with respect to the subspace topology. Now we recall several definitions from Analysis IV. Definition. Let X be a topological space.2 (1) Let A ⊂ X be a subset. We say U ⊂ X is a neighborhood of A if there exists an open set V such that A ⊂ V ⊂ U. We say U is an open neighborhood of A, if U is furthermore open. (2) We say X is Hausdorff, if given any two points x ≠ y there exist disjoint open neighborhoods U of x and V of y. Example. (1) If X = R and A = [0, 2), then U = (−1, 3] and V = (−2, ∞) are neighborhoods of A in X. (2) We had already seen in Analysis II Proposition 1.8 that metric spaces are Hausdorff. Furthermore we had seen in Analysis IV that the line with a point at infinity is also Hausdorff and the same argument shows that Rn with a point at infinity is Hausdorff. On the other hand we had seen in Analysis IV that the line with two zeros is not Hausdorff. (3) A straightforward exercise shows that a topological space X is Hausdorff if and only if the diagonal D = {(x, x) | x ∈ X} is a closed subset of X × X. Definition. Let X be a topological space and let A be a subset of X. ◦ (1) The interior A is defined as the union of all open sets of X that are contained in A. (2) We say A is closed, if X \ A is open. (3) The closure A of A is defined as the intersection of all closed sets in X that contain A. ◦ (4) The boundary of A in X is defined as ∂A := A \ A.
2As usual we suppress the topology from the notation, i.e. we write “let X be a topological space” instead of the more precise “let (X, T ) be a topological space”. 10 STEFAN FRIEDL
Example. We consider X = R and A is the half-open interval [−1, 2). Then the interior of A is the open interval (−1, 2) and the closure of A is the closed interval [−1, 2]. Furthermore ∂A = {−1, 2}. It follows immediately from the axioms of a topology that the interior of a set is an open set. Furthermore it is straightforward to see that the union of finitely many closed sets is again closed and that the intersection of arbitrarily many closed sets is again closed. It follows easily that the closure of a subset is closed.
Definition. Let X be a topological space. An open covering of X is a family {Ui}i∈I of open subsets of X with ∪ X = Ui. i∈I
We say a topological space X is compact if for each open covering {Ui}i∈I of X there exist finitely many indices i1, . . . , ik ∈ I such that ∪ · · · ∪ X = Ui1 Uik. Examples. The Heine–Borel Theorem says that a subset A of Rn is compact if and only if it is bounded and closed. We recall the following well-known lemma. Lemma 1.1. Let X be a topological space and let A ⊂ X be a compact subset. If X is Hausdorff, then A is a closed subset of X. For completeness’ sake we provide the proof. Proof. Let X be a Hausdorff space and let A ⊂ X be a compact subset. We want to show that X \ A is open. It suffices to prove the following claim. Claim. Let x ∈ X \ A. Then there exists an open neighborhood V of x that is contained in X \ A. We apply the Hausdorff-property to x and every y ∈ A. For every y ∈ A we obtain disjoint open neighborhoods e Uy of y and Vy of x. Evidently we have ∪ ∪ A = {y} ⊂ (Uy ∩ A) ⊂ A. y∈A y∈A
Thus we see that {Uy ∩ A}y∈A is an open covering of A. Since A is compact there exist y1, . . . , yk such that ∪k ∩ A = (Uyi A). i=1 Now we consider ∩k
V := Vyi . i=1 ALGEBRAIC TOPOLOGY 11
Since V is the intersection of finitely many open sets, it is open itself. Furthermore V does ⊂ ∪· · ·∪ not intersect any of the Uyi , i = 1, . . . , k. Hence it V is disjoint from von A Uy1 Uyk . This concludes the proof of the claim. Definition. We say a map f : X → Y between two topological spaces X and Y is continuous, if for each open set U in Y the preimage f −1(U) is open in X. It is straightforward to see that the composition of two continuous maps is again con- tinuous. For maps between metric spaces we obtain the same notion of continuity as in Analysis II. The following lemma states perhaps the most important feature of compact sets. We had proved the lemma in Analysis II for metric spaces, the proof for topological spaces is verbatim the same. Lemma 1.2. (1) Let f : X → Y be a continuous map. If X is compact, then f(X) is also compact. (2) Let f : X → R be a continuous map. If X is compact, then f assumes its maximum and its minimum. Definition. We say a map f : X → Y between two topological spaces X and Y is a homeo- morphism if the following three properties are satisfied: (1) f is continuous, (2) f is bijective, (3) f −1 : Y → X is also continuous. If there exists a homeomorphism between X and Y we say that X and Y are homeomorphic ∼ and sometimes we write X = Y . The following proposition, that we had proved in Analysis IV, gives an often useful criterion for showing that a map is a homeomorphism. Proposition 1.3. Let f : X → Y be a bijective continuous map between topological spaces. If X is compact and if Y is Hausdorff, then f is a homeomorphism. Example. We consider the map Φ: Sn → {Rn(∪ {∞} ) x1 xn − ,..., − , if xn+1 < 1, (x1, . . . , xn+1) 7→ 1 xn+1 1 xn+1 ∞, if xn+1 = 1. where we equip Rn ∪ {∞} with the topology that we had introduced on page 8. Outside of the “North pole” (0,..., 0, 1) this map is just the stereographic projection that is illustrated in Figure 1. This map is easily seen to be continuous3 and a bijection. Furthermore Sn is compact by Heine-Borel and Rn ∪ {∞} is Hausdorff, as we had just pointed out above. Hence it follows from Proposition 1.3 that Φ is a homeomorphism.
3Is that really so easy? 12 STEFAN FRIEDL