On the existence of categorical universal coverings. (English) Zbl 1386.57002
A covering morphism \(p: \tilde{X}\rightarrow X\) is called universal if it covers every cover of \(X\) which means that for any other covering morphism of \(X\), \(q:\tilde{Y}\rightarrow X \), there exists a continuous function \(f\colon \tilde{X}\rightarrow \tilde{Y}\) such that \(p=qf\). If a space \(X\) is connected, locally path connected and semi-locally simply connected, then it has a universal cover as stated in [R. Brown, Topology and groupoids. 3rd revised, updated and extended ed. Bangor: Ronald Brown (2006; Zbl 1093.55001)].
In this paper, the authors prove the existence of universal covering maps by open covers of a space \(X\) with the help of Spanier groups defined in [E. H. Spanier, Algebraic topology. New York etc.: McGraw-Hill Book Company (1966; Zbl 0145.43303)] and named in [H. Fischer et al., Topology Appl. 158, No. 3, 397–408 (2011; Zbl 1219.54028)]. The purpose of using Spanier groups is to change the condition of semi-locally simply connectedness. Then the authors show that all universal coverings \(p: \tilde{X}\rightarrow X\) are Spanier coverings as defined in [B. Mashayekhy et al., Georgian Math. J. 20, No. 2, 303–317 (2013; Zbl 1276.57005)], i.e. coverings such that \(\tilde{X}\) is a Spanier space. In addition, they study the conditions under which a one point union of spaces has a universal covering.
In this paper, the authors prove the existence of universal covering maps by open covers of a space \(X\) with the help of Spanier groups defined in [E. H. Spanier, Algebraic topology. New York etc.: McGraw-Hill Book Company (1966; Zbl 0145.43303)] and named in [H. Fischer et al., Topology Appl. 158, No. 3, 397–408 (2011; Zbl 1219.54028)]. The purpose of using Spanier groups is to change the condition of semi-locally simply connectedness. Then the authors show that all universal coverings \(p: \tilde{X}\rightarrow X\) are Spanier coverings as defined in [B. Mashayekhy et al., Georgian Math. J. 20, No. 2, 303–317 (2013; Zbl 1276.57005)], i.e. coverings such that \(\tilde{X}\) is a Spanier space. In addition, they study the conditions under which a one point union of spaces has a universal covering.
Reviewer: Serap Demir (Kayseri)
MSC:
57M10 | Covering spaces and low-dimensional topology |
57M12 | Low-dimensional topology of special (e.g., branched) coverings |
55Q05 | Homotopy groups, general; sets of homotopy classes |