Covering maps for locally path-connected spaces

From MaRDI portal



Abstract: We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally path-connected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for all locally path-connected spaces. Regular Peano covering maps over path-connected spaces are shown to be identical with generalized regular covering maps introduced by Fischer and Zastrow. If X is path-connected, then every Peano covering map is equivalent to the projection widetildeX/HoX, where H is a subgroup of the fundamental group of X and widetildeX equipped with the basic topology. The projection widetildeX/HoX is a Peano covering map if and only if it has the unique path lifting property. We define a new topology on widetildeX for which one has a characterization of widetildeX/HoX having the unique path lifting property if H is a normal subgroup of pi1(X). Namely, H must be closed in pi1(X). Such groups include pi(mathcalU,x0) (mathcalU being an open cover of X) and the kernel of the natural homomorphism from the fundamental group to the Cech fundamental group.


Quoting the authors, ``this paper is devoted to a theory of coverings by locally path-connected (lpc) spaces. An important class of spaces dealt with in this work is that of Peano spaces, i.e., those that are lpc and connected. For a given space \(X\), there is a notion of a universal lpc-space, This consists of an lpc-space \(Y\) and a map \(\pi:Y\to X\) having the unique lifting property for maps of lpc-spaces to \(X\). Such spaces exist for every \(X\) as is shown in Theorem 2.2.NEWLINENEWLINEThe authors note (see after Remark 2.3) that if \(X\) is path-connected, then \(\pi:Y\to X\) as above determines a ``universal Peano space. We presume, although it is not stated or proved, that in this case \(Y\) is a Peano space. Of course the meaning of universal in this case is that all maps of Peano spaces to \(X\) have unique lifts.NEWLINENEWLINEThe notion of a Peano map can be found as Definition 6.1. With this, a Peano covering map \(f:X\to Y\) is given in Definition 7.1. It requires:NEWLINENEWLINE1) \(f\) is a Peano map,NEWLINENEWLINE2) \(f\) is a Serre fibration, andNEWLINENEWLINE 3) the fibers of \(f\) have trivial path components.NEWLINENEWLINEWith certain additional conditions (Definition 7.8) such an \(f\) will be called a regular Peano covering map. It turns out that regular Peano covering maps over path-connected spaces are identical to the generalized regular covering maps of Fischer and Zastrow.




Cited in
(38)








This page was built for publication: Covering maps for locally path-connected spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2895963)