Fibrations, unique path lifting, and continuous monodromy

DOI10.1016/J.TOPOL.2019.107047MaRDI QIDQ2291608zbMATH OpenOpenAlexWikidataFDO

Authors Hanspeter Fischer, Jacob D. Garcia

Publication date 31 January 2020

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

continuous monodromyfibration with unique path liftinggeneralized covering projectionhomotopically Hausdorffhomotopically path Hausdorff

Mathematics Subject Classification ID

Homotopy groups, general; sets of homotopy classes (55Q05) Generalizations of fiber spaces and bundles in algebraic topology (55R65) Covering spaces and low-dimensional topology (57M10)

Abstract: Given a path-connected space $X$ and $Hleqp{i}_1(X,x_0)$, there is essentially only one construction of a map $p_H:(widetilde{X}_H,widetilde{x}_0)ightarrow(X,x_0)$ with connected and locally path-connected domain that can possibly have the following two properties: $$ and $p_H$ has the unique lifting property. $widetilde{X}_H$ consists of equivalence classes of paths starting at $x_0$, appropriately topologized, and $p_H$ is the endpoint projection. For $p_H$ to have these two properties, $T_1$ fibers are necessary and unique path lifting is sufficient. However, $p_H$ always admits the standard lifts of paths. We show that $p_H$ has unique path lifting if it has continuous (standard) monodromies toward a $T_1$ fiber over $x_0$. Assuming, in addition, that $H$ is locally quasinormal (e.g., if $H$ is normal) we show that $X$ is homotopically path Hausdorff relative to $H$. We show that $p_H$ is a fibration if $X$ is locally path connected, $H$ is locally quasinormal, and all (standard) monodromies are continuous.

Review text

In covering spaces it is well known that if \(X\) is a path connected topological space, \(x_0\in X\) and \(H\) is a subgroup of the fundamental group \(\pi_1(X,x_0)\) of \(X\) at the point \(x_0\), then there exits a map \(p_H\colon (\widetilde{X}_H,\widetilde{x}_0)\rightarrow (X,x_0)\) defined by \(p_H(\langle \alpha\rangle _H)=\alpha(1)\). Here \(\widetilde{X}_H\) is the set of equivalence classes up to the relation on the paths with initial point \(x_0\) defined by \(\alpha\simeq\beta\) if and only if \(\alpha(1)=\beta(1)\) and \([\alpha \beta^{-1}]\in H\). If \(X\) has a universal cover then \(p_H\) is a covering map with characteristic group \(H\). The subsets \((\langle \alpha\rangle _H, U)\) form a basis for a topology on \(\widetilde{X}_G\) such that the map \(p\colon(\widetilde{X}_G,\widetilde{x}_0)\rightarrow (X,x_0)\) is continuous. In this paper the authors prove that if the fibres of \(p_H\) are \(T_1\) and the monodromies are continuous, then \(p_H\) has the unique path lifting property. They also prove that if \(H\) is normal and the monodromies are continuous then \(p_H\) is a fibration.

Recommendations

• On maps with continuous path lifting
• Unique path lifting from homotopy point of view
• The lifting and classification problems for subspaces of covering spaces
• scientific article; zbMATH DE number 57435
• Coverings and fundamental groups: a new approach

Cites work

• A core-free semicovering of the Hawaiian earring
• Covering maps for locally path-connected spaces
• Generalized covering space theories
• Generalized universal covering spaces and the shape group
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• On fundamental groups with the quotient topology
• On semilocally simply connected spaces
• Small loop transfer spaces with respect to subgroups of fundamental groups

Cited in

(6)

• Unique path lifting from homotopy point of view
• scientific article; zbMATH DE number 3923676 (Why is no real title available?)
• scientific article; zbMATH DE number 633405 (Why is no real title available?)
• On the failure of the first Čech homotopy group to register geometrically relevant fundamental group elements
• On maps with continuous path lifting
• A simply connected universal fibration with unique path lifting over a Peano continuum with non-simply connected universal covering space

This page was built for publication: Fibrations, unique path lifting, and continuous monodromy

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