On strong small loop transfer spaces relative to subgroups of fundamental groups (Q1710644): Difference between revisions

Small Loop Transfer (SLT) spaces were defined by \textit{N. Brodskiy}, \textit{J. Dydak}, \textit{B. Labuz} and \textit{A. Mitra} [``Topological and uniform structures on universal covering spaces'', Preprint, \url{arXiv:1206.0071}]. A topological space \(X\) is an SLT space if for every path \(\alpha\) in \(X\) and every neighborhood \(U\) of \(\alpha(0)\) there is a neighborhood \(V\) of \(\alpha(1)\) such that given a loop \(\beta : (S^1, 1) \to (V, \alpha(1))\) there is a loop \( \gamma : (S^1,1)\to(U,\alpha(0))\) that is homotopic to the concatenation \(\alpha * \beta * \alpha^{-1} \text{ rel }\alpha(0)\). SLT spaces are a class of spaces, for which the whisker and the quotient of the compact-open topology on the fundamental group agree in the realm of Peano spaces. Brodskiy at al. also presented a strong version of the SLT property by requiring, roughly speaking, that the choice of \(V\) depends only on the endpoints of \(\alpha\) but not \(\alpha\) itself. Strong SLT spaces are a class of spaces, for which the whisker and the lasso topology on the universal path space agree in the realm of path-connected spaces. In the paper under review the authors first answer a question from the above-mentioned paper by constructing an SLT Peano space that is not semi-locally simply connected. They then introduce a relative version of the strong SLT property with respect to a subgroup \(H\) of the fundamental group (\(H\)-SLT property). This paper is a systematic study of this property. Results include: a connection between the \(H\)-SLT property and the existence of the (semi)covering space corresponding to the subgroup \(H\); and a coincidence of the whisker and the lasso topologies on the fundamental group and the universal path space (and their natural quotients via \(H\)) for strong \(H\)-SLT spaces in the case of path connected, locally path connected spaces.