Fibrations, unique path lifting, and continuous monodromy (Q2291608): Difference between revisions

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.