DOCSLIB.ORG

Math 751 Lecture Notes Week 7

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 751 Lecture Notes Week 7 Math 751 Lecture Notes Week 7 Liban Mohamed 1 Tuesday, October 14 Definition 1.1. An isomorphism (or equivalence) of coverings is a homomorphism of coverings which is also a homeomorphism. Definition 1.2. If p : E ! B, p0 : E0 ! B are coverings, a homomorphism of coverings h :(E; p) ! (E0; p0) is a continuous map h : E ! E0 such that p0 ◦ h = p. 0 0 0 0 Theorem 1.1. Let p : E ! B, p : E ! B be coverings of B with p(e0) = p (e0) = b0 2 B. Then there is 0 0 0 0 0 0 an equivalence of coverings h : E ! E , h(e0) = e0 if and only if H = p∗(π1(E; e0)) and H = p∗(π1(E ; e0)) are equal: (E; e0) p h 0 0 0 p (E ; e0) (B; b0) 0 0 0 0 0 Proof. ): If h : E ! E is an equivalence with h(e0) = e0, then h∗(π1(E; e0)) = π1(E ; e0). Apply p∗ and, using p0 ◦ h = p, get H = H0. 0 0 0 (: Assume H = H . H ⊂ H implies that h :(E; e0) ! (E ; e0) exists by the lifting lemma, with 0 0 0 0 h(e0) = e0, p ◦ h = p. Reversing the roles of p and p , we get that H ⊂ H implies the existence of a lift 0 0 0 0 0 k :(E ; e0) ! (E; e0) of p with p ◦ k = p , k(e0) = e0. Consider the diagram: k◦h (E; e0) idE p p (E; e0) (B; b0) 0 p ◦ (k ◦ h) = (p ◦ h) ◦ k = p ◦ h = p. k ◦ h and idE are lifts of p that agree at e0 so, by uniqueness of lifts, 0 0 k ◦ h = idE. By similar reasoning on p , h ◦ k = idE. If p = p0, and equivalence of p interchanges points in the fiber over each b 2 B; is called an automorphism of (E; p), or a deck transformation. Definition 1.3. The deck transformations form a group under composition of maps, called the deck group of (E; p), and denoted D(E; p). Proposition 1.2. If h 2 D(E; p) so that h(x) = x for some x 2 E, then h = idE. 0 0 −1 0 Proposition 1.3. 9h 2 D(E; p) with h(e0) = e0 for e0; e0 2 p (b0) if and only if p∗π1(E; e0) = p∗π1(E; e0). 0 (E; e0) h p p (E; e0) (B; b0) Theorem 1.4 (Main Theorem). Two coverings (E; p) and (E0; p0) of B are equivalent if and only if for any 0 0 0 0 e0 2 E; e0 2 E with p(e0) = p (e0) = b0, we have that the corresponding subgroups p∗π1(E; e0) is conjugate 0 0 0 0 to H = p∗π1(E ; e0) 1 Definition 1.4. p : E ! B is called a universal covering map if E is simply connected; E is called a universal cover. Corollary. If a universal cover of B exists, it is unique up to equivalence of coverings, since the conjugacy class of the trivial subgroup is in any group has only one element. 0 00 Proof of Main Theorem. ): Assume we have an equivalence. If h : E ! E is an equivalence, let h(e0) = e0 . 00 0 00 00 0 −1 By the previous theorem, H = p∗π1(E; e0) equals H = p∗π1(E ; e0 ). By changing e0 to any e0 2 p (b0) via p0 ◦ h = p 0 p ◦ h(e0) = p(e0) 0 00 p (e0 ) = b0 00 0 0 0 0 0 get that H is conjugate to H = p∗π1(E ; e0). So H and H are conjugate. 0 0 0 0 (: IF H = P∗π1(E; e0) and H = p∗π1(E ; e0) are conjugate, use: Lemma 1.5. If p : E ! B is a covering, p(e0) = b0, and H = p∗π1(E; e0), given any K ⊂ π1(B; b0) −1 conjugate to H, there is an e1 2 p (b0) such that K = H1 = p∗π1(E; e1). −1 0 0 0 0 Using lemma, there is e1 2 p (b0) such that , p∗π1(E ; e0) = H = p∗π1(E; e1). By the lifting property, there is an equivalence h : E ! E0. −1 Proof of Lemma. K; H are conjugate in π1(B; b0), so there is a loop α at b0 in B such that H = [α]·K ·[α] . −1 Letα ~e0 be a lift to E of α under p, starting at e0, let e1 =α ~e0 (1). Then H = [p ◦ α~e0 ] · H1 · [p ◦ α~e0 ] . So K = H1. Example 1.1. Let B be the M¨obiusband, π1(B) ≡ Z. Conjugacty classes of subgroups are nZ for n 2 N. Even n yields an n-fold covering of B by the cylinder S1 × I with (z; I) 7! (zk;I). Odd n yields an n-fold covering of B by the the M¨obiusband under the same map. 2 Thursday, October 16 Universal Covering Spaces Q: When does a (path connected, locally path connected) space B have a universal cover? Theorem 2.1. B has a universal cover if and only if B is locally simply connected. Definition 2.1. B is semi-locally simply connected if, for any b 2 B, there is a neighborhood of b such that the inclusion i : Ub ,! B induces a trivial homomrophism i∗ : π1(Ub; b) ! π1(B; b). Example 2.1. If B is simply-connected, then B is semi-locally simply connected Example 2.2. The Hawaiian earring has no universal cover, since it is not semi-locally simply connected. 1 The Hawaiian earring is the space X = [nCn, where Cn is the circle of center (1=n; 0) and radius n . Claim: If U is any neighborhood of the origin, then i∗ : π1(U; 0) ! π1(X; 0) is nontrivial. Proof of Claim: Given n, there is a retraction r : X ! Cn, r : Ci 7! 0 when i 6= n and r : Cn 7! n, rjCn = idCn . Choose n large enough that Cn ⊂ U. j j∗ Cn X π1(Cn; 0) X k k i ∗ i∗ U U j∗ = i∗k∗ is injective since r∗ ◦ j∗ = idZ, so i∗ can't be trivial. 2 Proof of Theorem 2.1, ) Let p : E ! B be a universal covering map, p(e0) = b0. Let U be an evenly covered neighborhood of b0 ~ −1 ~ and let U be the slice of p (U) containing e0. Let f be a loop in U at b0. pjU~ : U ! U is a homeomorphism, ~ ~ ~ ~ ~ so f lifts to a loop, f, in U at e0. Hence f is a loop in E at e0, so there is a homotopy, F from f to conste0 . ~ ~ Thus p ◦ F is a homotpy in B from p ◦ f = f to constb0 . Theorem 2.2. Let B be path connected, locally path connected and semi-locally simply connected. Let b0 2 B −1 and H ⊂ π1(B; b0). Then there is a covering p : E ! B and e0 2 p (b0) such that p∗π1(E; e0) = H. Sketch of proof. Let P be the set of all paths in B starting at b0. Define an equivalence relation on P by α ∼ β if α(1) = β(1) and [α ∗ β¯] 2 H. Let α# be the equivalence class of α 2 P . Let E = fα#jα 2 P g. Define p : E ! B, p : α# 7! α(1). p is surjective since B is path-connected. Topologize E so that p becomes a covering map. Definition 2.2. Let X be a topological space, G ⊂ Hom(X). G acts on X: G × X ! X by (g; x) 7! g(x). Let [x] = fgxjg 2 Gg, the orbit of x. Let the orbit space X=G := f[x]jx 2 Xg. Definition 2.3. G acts freely on X if whenever g · x = x for some x 2 X, g = eG. Definition 2.4. G acts properly discontinuously on X if 8x 2 X, There is a neighborhood Ux 3 x such that gUx \ Ux = ; for all g 6= eG.() gUx \ hUx = ; if h 6= g 2 G). Proposition 2.3. If X is Hausdorff and G is a finite group of homeomorphisms of X acting freely on X, the action of G is properly discontinuous (hence π : X ! X=G is a covering by following theorem). Theorem 2.4. Let X be path-connected, locally path-connected and G ⊂ Hom(X). Then π : X ! X=G is a covering if and only if the action of G is properly discontinuous. Moreover, if this is the case, the deck group of this covering is G and the covering is regular, i.e. π∗π(X; x) C π1(X=G; π(x)), for all x 2 X). Definition 2.5. p : E ! B is a regular cover if p∗π1(E; e) C π1(B; p(e)). Proposition 2.5. p : E ! B is regular if and only if D(E; p) acts transitively on fibers. That is, 8e1; e2 2 −1 p , 9h 2 D(E; p) such that h(e1) = e2. −1 Proof. ( If e1; e2 2 p (b) with h 2 D(e; p) such that h(e1) = e2, then p∗π1(E; e1) = p∗π1(E; e2) ∼ p∗π1(E; e1), so p∗π1(E; e1) C π1(B; b) ∼ Theorem 2.6. If p : E ! B is a cover with H = p∗π1(E; e) ⊂ π1(B; p(e), then D(E; p) = N(H)=H, where −1 N(H) = fg 2 π1(B; p(e))jgHg = Hg.
Load more

Recommended publications
  • Pro-Covering Fibrations of the Hawaiian Earring
    Brigham Young University BYU ScholarsArchive Theses and Dissertations 2014-12-01 Pro-Covering Fibrations of the Hawaiian Earring Nickolas Brenten Callor Brigham Young University - Provo Follow this and additional works at: https://scholarsarchive.byu.edu/etd Part of the Mathematics Commons BYU ScholarsArchive Citation Callor, Nickolas Brenten, "Pro-Covering Fibrations of the Hawaiian Earring" (2014). Theses and Dissertations. 4324. https://scholarsarchive.byu.edu/etd/4324 This Thesis is brought to you for free and open access by BYU ScholarsArchive. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of BYU ScholarsArchive. For more information, please contact [email protected], [email protected]. Pro-Covering Fibrations of the Hawaiian Earring Nickolas B. Callor A thesis submitted to the faculty of Brigham Young University in partial fulfillment of the requirements for the degree of Master of Science Greg Conner, Chair Jessica Purcell Eric Swenson Department of Mathematics Brigham Young University December 2014 Copyright c 2014 Nickolas B. Callor All Rights Reserved abstract Pro-Covering Fibrations of the Hawaiian Earring Nickolas B. Callor Department of Mathematics, BYU Master of Science Let H be the Hawaiian Earring, and let H denote its fundamental group. Assume (Bi) is an inverse system of bouquets of circles whose inverse limit is H. We give an explicit bijection between finite normal covering spaces of H and finite normal covering spaces of Bi. This bijection induces a correspondence between a certain family of inverse sequences of these covering spaces. The correspondence preserves the inverse limit of these sequences, thus offering two methods of constructing the same limit.
    [Show full text]
  • A COUNTABLE SPACE with an UNCOUNTABLE FUNDAMENTAL GROUP 1. Introduction Since Fundamental Groups Are Defined in Terms of Maps Fr
    A COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP JEREMY BRAZAS AND LUIS MATOS Abstract. Traditional examples of spaces that have uncountable fundamental group (such as the Hawaiian earring space) are path-connected compact metric spaces with uncountably many points. In this paper, we construct a T0 compact, path-connected, locally path-connected topological space H with countably many points but with an uncountable fundamental group. The construction of H, which we call the “coarse Hawaiian earring” is based on the construction of the usual S Hawaiian earring space H = n 1 Cn where each circle Cn is replace with a copy of the four-point “finite circle.” ≥ 1. Introduction Since fundamental groups are defined in terms of maps from the unit interval [0; 1], students are often surprised to learn that spaces with finitely many points can be path-connected and have non-trivial fundamental groups. In fact, it has been known since the 1960s that the homotopy theory of finite spaces is quite rich [10, 14]. The algebraic topology has finite topological spaces has gained significant interest since Peter May’s sequence of REU Notes [7, 8, 9]. See [2, 3, 5] and the references therein for more recent theory and applications. While it is reasonable to expect that all finite connected spaces have finitely gen- erated fundamental groups, it is rather remarkable that for every finitely generated group G one can construct a finite space X so that π1(X; x0) G. In fact, every finite simplicial complex is weakly homotopy equivalent to a finite space [10]. In the same spirit, we consider the consider fundamental groups of spaces with coarse topologies.
    [Show full text]
  • Degree in Mathematics
    Degree in Mathematics Title: The fundamental group and some applications in robotics. Author: Homs Moreno, Josep. Advisor: Pascual Gainza, Pere. Department: Department I of Applied Mathematics. Academic year: 2014-2015. Universitat Polit`ecnicade Catalunya Facultat de Matem`atiquesi Estad´ıstica Bachelor degree thesis The fundamental group and some applications in robotics. Josep Homs Moreno Advisor: Pere Pascual Gainza Abstract The aim of this project is to study important techniques to determine if two topolog- ical spaces are homeomorphic (or homotopy equivalent) or not. Such techniques are the ones related with the fundamental group of a topological space. This project is aimed to cover widely the study of this area of knowledge, always in a very intuitive approach. In chapters one and two there is a motivation of the fundamental group concept. Chapter three shows some important computations throughout some ex- amples. Chapter four introduces the Seifert-Van Kampen theorem and shows its power throughout more examples. This theorem will give some characterisations of really important topological spaces such as topological graphs, connected com- pact surfaces and torus knots among others. The proof of the Seifert-Van Kampen theorem is given in chapter five. Finally, chapter six contains a brief analysis of a re- search paper. In this paper there appear lots of the concepts covered in the project in an applied framework, different from the strictly theoric one. This project uses concepts seen in introductory courses of topology and group theory. Contents Chapter 1. Review of homotopy of maps 1 1. Definitions 1 2. Basic homotopy properties 5 Chapter 2.
    [Show full text]
  • Arc-Reduced Forms for Peano Continua ✩ ∗ G
    Topology and its Applications 159 (2012) 3538–3543 Contents lists available at SciVerse ScienceDirect Topology and its Applications www.elsevier.com/locate/topol Arc-reduced forms for Peano continua ✩ ∗ G. Conner a, M. Meilstrup b, a Math Department, Brigham Young University, Provo, UT 84602, USA b Math Department, Southern Utah University, Cedar City, UT 84720, USA article info abstract Article history: Define a point in a topological space to be homotopically fixed if it is fixed by every Received 18 May 2011 self-homotopy of the space, i.e. every self-map of the space which is homotopic to Received in revised form 14 May 2012 the identity, and define a point to be one-dimensional if it has a neighborhood whose Accepted 20 August 2012 covering dimension is one. In this paper, we show that every Peano continuum is homotopy equivalent to a reduced form in which the one-dimensional points which are MSC: 55P10 not homotopically fixed form a disjoint union of open arcs. In the case of one-dimensional 57M99 Peano continua, this presents the space as a compactification of a null sequence of open arcs by the homotopically fixed subspace. Keywords: © 2012 Elsevier B.V. All rights reserved. Peano continua Homotopy equivalence Reduced forms One-dimensional 1. Introduction The main result of this paper is Theorem 3.1, which describes a reduced form for homotopy types of one-dimensional Peano continua. In the theorem, I(X) represents the points in X with one-dimensional neighborhoods, and B(X) is the ho- motopically fixed subset of I(X).
    [Show full text]
  • A Core-Free Semicovering of the Hawaiian Earring
    A CORE-FREE SEMICOVERING OF THE HAWAIIAN EARRING HANSPETER FISCHER AND ANDREAS ZASTROW Abstract. The connected covering spaces of a connected and locally path- connected topological space X can be classified by the conjugacy classes of those subgroups of π1(X; x) which contain an open normal subgroup of π1(X; x), when endowed with the natural quotient topology of the compact-open topol- ogy on based loops. There are known examples of semicoverings (in the sense of Brazas) that correspond to open subgroups which do not contain an open normal subgroup. We present an example of a semicovering of the Hawaiian Earring H with corresponding open subgroup of π1(H) which does not contain any nontrivial normal subgroup of π1(H). 1. Introduction The fundamental group π1(X; x) of a topological space X with base point x 2 X carries a natural topology: considering the space Ω(X; x) of all continuous loops α : ([0; 1]; f0; 1g) ! (X; x) in the compact-open topology, we equip π1(X; x) with the quotient topology induced by the function [ · ] : Ω(X; x) ! π1(X; x) which assigns to each loop α its homotopy class [α]. It is known that π1(X; x) need not be a topological group, for example, when X is the Hawaiian Earring [7] (see also [3]), although left and right multiplication always constitute homeomorphisms [6]. This problem can be circumvented by removing some of the open subsets from the topology and instead giving π1(X; x) the finest group topology which makes [ · ] : Ω(X; x) ! π1(X; x) continuous [5].
    [Show full text]
  • The Big Fundamental Group, Big Hawaiian Earrings, and the Big Free Groups
    THE BIG FUNDAMENTAL GROUP, BIG HAWAIIAN EARRINGS, AND THE BIG FREE GROUPS. November 26, 1998 J.W. CANNON, G.R. CONNER Abstract. In this second paper in a series of three we generalize the notions of fundamental group and Hawaiian earring . In the first paper [CC1] we generalized the notion of free group to that of a bigfreegroup. In the current article we generalize the notion of fundamental group by defining the big fundamental group of a topological space. We also describe big Hawaiian earrings, which are generalizations of the classical Hawaiian earring. We then prove that the big fundamental group of a big Hawaiian earring is a big free group. 1 1. Introduction This is the second in a series of three papers. The first paper in the series [CC1], gives a combinatorial description of the Hawaiian earring group, introduced the notion of big free groups as a generalization of both finite rank free groups and the Hawaiian earring group and studies their group theoretic properties. The current paper has two goals. The first is to introduce the notion of the big fundamental group of a topological space. This group is simi- lar to the standard fundamental group, but rather than being based on maps of the unit interval into a given space, the big fundamental group is based on maps of big intervals (compact totally ordered connected spaces). The second goal is motivate the ideas of both big fundamental groups and big free groups. We do this by defining the notion of a big Hawaiian earring, and proving that the big fundamental group of a big Hawaiian earring is a big free group.
    [Show full text]
  • Arxiv:1708.00877V1 [Math.GN]
    SOME ANOMALOUS EXAMPLES OF LIFTING SPACES GREGORY R. CONNER1, WOLFGANG HERFORT, AND PETAR PAVESIˇ C´ 2 To the Memory of Sibe Mardeˇsi´c Abstract. An inverse limit of a sequence of covering spaces over a given space X is not, in general, a covering space over X but is still a lifting space, i.e. a Hurewicz fibration with unique path lifting property. Of particular interest are inverse limits of finite coverings (resp. finite regular coverings), which yield fibrations whose fiber is homeomorphic to the Cantor set (resp. profinite topological group). To illustrate the breadth of the theory, we present in this note some curious examples of lifting spaces that cannot be obtained as inverse limits of covering spaces. 1. Introduction I I For any continuous map p: L → X let p∗ : L → X be the induced map between the respective spaces of continuous paths: p∗ : (α: I → L) 7→ (p ◦ α: I → X). A map p: L → X is said to be a lifting projection if the following diagram ev0 LI / L p∗ p I / X ev0 X is a pull-back in the category of topological spaces. In other words, there is a natural continuous one-to-one correspondence between paths in L, and pairs (α, l), where α is a path in X and l ∈ L with p(l)= α(0). In fact, by [7, Theorem 1.1] a lifting projection p: L → X is automatically a Hurewicz fibration. Moreover, given arXiv:1708.00877v1 [math.GN] 2 Aug 2017 a path α: I → X and a point l ∈ L, such that p(l) = α(0) there exists a unique path α: I → L, such that α(0) = l and p ◦ α = α.
    [Show full text]
  • Some Aspects of Generalized Covering Space Theory
    SOME ASPECTS OF GENERALIZED COVERING SPACE THEORY A THESIS SUBMITTED TO THE GRADUATE SCHOOL IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE MASTER OF SCIENCE BY JACOB D. GARCIA DR. HANSPETER FISCHER - ADVISOR BALL STATE UNIVERSITY MUNCIE, INDIANA MAY 2018 ABSTRACT THESIS: Some Aspects of Generalized Covering Space Theory STUDENT: Jacob Garcia DEGREE: Master of Science COLLEGE: Sciences and Humanities DATE: May 2018 PAGES: 21 Covering space theory is a classical tool used to characterize the geometry and topology of real or abstract spaces. It seeks to separate the main geometric features from certain algebraic properties. For each conjugacy class of a subgroup of the fundamental group, it supplies a corresponding covering of the underlying space and encodes the interplay between algebra and geometry via group actions. The full applicability of this theory is limited to spaces that are, in some sense, locally simple. However, many modern areas of mathematics, such as fractal geometry, deal with spaces of high local complexity. This has stimulated much recent research into generalizing covering space theory by weakening the covering requirement while maintaining most of the classical utility. This project focuses on the relationships between generalized covering projections, fibrations with unique path lifting, separation properties of the fibers, and continuity of the monodromy. iii Acknowledgements I would first like to thank my thesis advisor Professor Hanspeter Fischer of the Department of Mathematical Sciences at Ball State University. The door to Professor Fischer's office was always open whenever I ran into difficulty or had a question about my research or writing. He consistently steered me in the right direction and provided incredible advice and support during this thesis.
    [Show full text]
  • Arxiv:1102.0993V1 [Math.GT]
    ON SEMILOCALLY SIMPLY CONNECTED SPACES HANSPETER FISCHER, DUSANˇ REPOVS,ˇ ZIGAˇ VIRK, AND ANDREAS ZASTROW Abstract. The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal simple connectivity which is sometimes also used in literature, the classical Spanier group gives the correct characterization within the general class of path-connected topological spaces. While the condition “semilocally simply connected” plays a crucial role in classical covering theory, in generalized covering theory one needs to consider the condition “homotopically Hausdorff” instead. The paper also discusses which implications hold between all of the abovementioned conditions and, via the modified Spanier groups, it also unveils the weakest so far known algebraic characterization for the existence of generalized covering spaces as introduced by Fischer-Zastrow. For most of the implications, the paper also proves the non-reversibility by providing the corresponding examples. Some of them rely on spaces that are newly constructed in this paper. 1. Introduction This paper was motivated by an observation during the research of [6], namely that E.H. Spanier, when writing his celebrated book on algebraic topology [12], ap- parently made an oversight in the statement which immediately precedes Corollary 2.5.14. That statement, in which he characterizes semilocal simple connectivity in terms of vanishing of a certain group π(U, x0) for at least one open covering U of the space, turns out to be correct only if one additionally assumes local path- connectedness.
    [Show full text]
  • MAKING SPACES WILD (SIMPLY-CONNECTED CASE) 3 Where the Diameter of S1 Is Less Than 1
    MAKING SPACES WILD (SIMPLY-CONNECTED CASE) KATSUYA EDA Abstract. We attach copies of the circle to points of a countable dense subset D of a separable metric space X and construct an earring space E(X,D). We show that the fundamental group of E(X,D) is isomorphic to a subgroup of the Hawaiian earring group, if the space X is simply-connected and locally simply-connected. In addition if the space X is locally path-connected, the space X can be recovered from the fundamental group of E(X,D). 1. Introduction and definitions In former papers [10, 11, 2, 4, 12, 13] we investigated funda- mental groups of wild spaces, i.e. spaces which are not semi- locally simply connected. In [2], we defined a construction of spaces from groups and showed that certain wild spaces, e.g. Sierpinski carpet, Menger sponge and their direct products, are recovered from their fundamental groups (This last result is extended to a larger class of spaces [4]). The roots of this investigation are in the following [10, The- arXiv:2001.01874v1 [math.GT] 7 Jan 2020 orem 1.3]: Let X and Y be one-dimensional, locally path- connected, path-connected, metric spaces which are not semi-locally simply connected at any point. If the fundamental groups of X and Y 1991 Mathematics Subject Classification. 55Q20, 55Q70, 57M05, 57M07, 20F34. Key words and phrases. wild space, fundamental group, Hawaiian earring. 1 2 KATSUYA EDA are isomorphic, then X and Y are homeomor- phic. In the proof of this theorem we use the fundamental group of the Hawaiian earring to extract some topological information from groups.
    [Show full text]
  • A Galois Correspondence with Generalized Covering Spaces
    A Galois Correspondence with Generalized Covering Spaces Christian Klevdal Defended on April 1st, 2015. Defense Committee Members: Jonathan Wise (Thesis Advisor), Department of Mathematics. Nathaniel Thiem (Honors Council Representative), Department of Mathematics. Gordana Dukovic, Department of Chemistry. Department of Mathematics University of Colorado at Boulder. 1 2 Contents 1. Introduction 2 2. Generalized Covering Spaces 10 3. Uniform Spaces and Topological Groups 15 4. Galois Theory of Semicovers 19 5. Functoriality of the Galois Fundamental Group 25 6. Universal Covers 26 7. The Topologized Fundamental Group 27 8. Covers of the Earring 31 9. The Galois Fundamental Group of the Harmonic Archipelago 33 10. The Galois Fundamental Group of the Earring 33 References 34 1. Introduction The fundamental idea of algebraic topology is to convert problems about topological spaces into problems about associated algebraic objects. This is typically accomplished by assigning to each topological space X an algebraic object F (X), in many examples F (X) is a group. More importantly however, for each continuous map f : X ! Y of topological spaces, we also associate a homomorphism F (X) ! F (Y ). It is also important that we make these assignments in a way that respects function composition. The particular example we are interested in is the fundamental group, denoted π1. For any space X and point x 2 X, there is an associated group π1(X; x). Informally, π1 records informations about holes in X. We will discuss the specific construction later, but for now we show how it can be used to solve a topological problem. Consider the topological space D2 ⊆ R2 consisting of all points in R2 with distance less than or equal to 1 from the origin, and the subspace W = D2 − f(0; 0)g.
    [Show full text]
  • The Fundamental Groups of One-Dimensional Wild Spaces and the Hawaiian Earring
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 5, Pages 1515{1522 S 0002-9939(01)06431-0 Article electronically published on November 9, 2001 THE FUNDAMENTAL GROUPS OF ONE-DIMENSIONAL WILD SPACES AND THE HAWAIIAN EARRING KATSUYA EDA (Communicated by Ralph Cohen) Abstract. Let X be a one-dimensional space which contains a copy C of a circle and let it not be semi-locally simply connected at any point on C: Then the fundamental group of X cannot be embeddable into a free σ-product of n-slender groups, for instance, the fundamental group of the Hawaiian earring. Consequently, any one of the fundamental groups of the Sierpinski gasket, the Sierpinski curve, and the Menger curve is not embeddable into the fundamental group of the Hawaiian earring. 1. Introduction and main result In recent papers [4, 5], the author showed that fundamental groups of certain wild spacesS are embeddable into the fundamental group of the Hawaiian earring H, H 1 f 2 2 2g i.e. = n=1 (x; y):(x +1=n) + y =1=n . There the following question was left open. Question. Are the fundamental groups of the Sierpinski gasket, Sierpinski curve and the Menger curve embeddable into the fundamental group of the Hawaiian earring? The same question was also asked by Cannon and Conner [1, Question 3.5.1]. Since they showed that an embedding between one-dimensional spaces induces an embedding between their fundamental groups, the non-embeddability of the fun- damental group of the Sierpinski gasket implies those of the fundamental groups of the others.
    [Show full text]