When is a local homeomorphism a semicovering map?

DOI10.1007/S40306-017-0205-4MaRDI QIDQ1688349zbMATH OpenOpenAlexFDO

Authors Majid Kowkabi, Behrooz Mashayekhy, Hamid Torabi

Publication date 5 January 2018

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.07260

covering map fundamental group local homeomorphism semicovering map

Fundamental group, presentations, free differential calculus (57M05) Covering spaces and low-dimensional topology (57M10) Low-dimensional topology of special (e.g., branched) coverings (57M12)

Abstract: In this paper, by reviewing the concept of semicovering maps, we present some conditions under which a local homeomorphism becomes a semicovering map. We also obtain some conditions under which a local homeomorphism is a covering map.

Review text

Recently, \textit{J. Brazas} [Homology Homotopy Appl. 14, No. 1, 33--63 (2012; Zbl 1244.57010)] introduced the notion of a semicovering map as a local homeomorphism with continuous lifting of paths and homotopies. Every covering map is a semicovering map and every semicovering map is a local homeomorphism. In this paper the authors are interested in the converse by studying local homeomorphisms \(p:\widetilde{X}\rightarrow X\), where \(\widetilde{X}\) is a path-connected space and \(p\) is a surjection. Firstly, using different methods they give a new proof that a map \(p\) is a semicovering map if and only if it is a local homeomorphism with unique path lifting and path lifting properties. Then they exhibit some interesting and rather simple examples of local homeomorphisms which are not semicovering maps and an example of an infinite-sheeted semicovering map which is not a covering map. Now the authors are concerned with finding some sufficient conditions for positive answers and the following results are obtained. A local homeomorphism \(p:\widetilde{X} \rightarrow X\) from a Hausdorff space \(\widetilde{X}\) is a semicovering map if \(X\) is a sequential compact space or if \(p\) is closed. On the other hand, if \(p:\widetilde{X}\rightarrow X\) is a finite-sheeted semicovering map from a Hausdorff space \(\widetilde{X}\), then \(f\) is a finite-sheeted covering map. Consequently, every local homeomorphism from a sequential compact Hausdorff space with finite fiber is a finite-sheeted covering map.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: When is a local homeomorphism a semicovering map?

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