Abstract
The quasitopological fundamental group \(\pi _{1}^{qtop}(X,x_0)\) is the fundamental group endowed with the natural quotient topology inherited from the space of based loops and is typically nondiscrete when \(X\) does not admit a traditional universal cover. This topologized fundamental group is an invariant of homotopy type which has the ability to distinguish weakly homotopy equivalent and shape equivalent spaces. In this paper, we clarify various relationships among topological properties of the group \(\pi _{1}^{qtop}(X,x_0)\) and properties of the underlying space \(X\) such as ‘\(\pi _{1}\)shape injectivity’ and ‘homotopically pathHausdorff.’ A space \(X\) is \(\pi _1\)shape injective if the fundamental group canonically embeds in the first shape group so that the elements of \(\pi _1(X,x_0)\) can be represented as sequences in an inverse limit. We show a locally path connected metric space \(X\) is \(\pi _1\)shape injective if and only if \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated in the sense that the intersection of all open invariant (i.e. normal) subgroups is the trivial subgroup. In the case that \(X\) is not \(\pi _1\)shape injective, the homotopically pathHausdorff property is useful for distinguishing homotopy classes of loops and guarantees the existence of certain generalized covering maps. We show that a locally path connected space \(X\) is homotopically pathHausdorff if and only if \(\pi _{1}^{qtop}(X,x_0)\) satisfies the \(T_1\) separation axiom.
Introduction
This paper concerns the topology and algebraic topology of locally complicated spaces \(X\), which are not guaranteed to be locally path connected or semilocally simply connected, and for which the familiar universal cover is not guaranteed to exist.
The central object of study is the usual fundamental group \(\pi _{1}(X,x_0)\), endowed with a natural quotient topology inherited from the space of based loops in \(X.\) So equipped, \(\pi _{1}(X,x_0)\) becomes a quasitopological group denoted \(\pi _{1}^{qtop}(X,x_0).\) Examples [6] illustrate that \(\pi _{1}^{qtop}(X,x_0)\) need not be a topological group even if \(X\) is a compact metric space [19, 20].
A based map \(f:X\rightarrow Y\), \(f(x_0)=y_0\) of spaces induces a continuous group homomorphism \(f_{*}:\pi _{1}^{qtop}(X,x_0)\rightarrow \pi _{1}^{qtop}(Y,y_0)\) [3, Proposition 3.3]. Since homotopic maps induce identical homomorphisms on fundamental groups, it follows that \(\pi _{1}^{qtop}(X,x_0)\) is invariant under the homotopy type of \(X\). In particular, topological properties of \(\pi _{1}^{qtop}(X,x_0)\) (for example, separation axioms and the success or failure of continuity of multiplication) have the capacity to distinguish homotopy type when standard application of weak homotopy type or shape theory fails to do so (See Example 38 below and [6, 18]). Additionally, quasitopological fundamental groups are vertex groups of socalled fundamental \(\mathbf qTop \)groupoids, which are a key tool in a recent proof of a general NielsenSchreier Theorem for topological groups [8].
To promote the relevance and utility of \(\pi _{1}^{qtop}(X,x_0)\), we establish and clarify a variety of relationships among general topological properties of the space \(\pi _{1}^{qtop}(X,x_0)\) and properties of the underlying space \(X\) such as ‘homotopically pathHausdorff,’ and ‘\(\pi _{1}\)shape injectivity’. For example, if \(X\) is a compact metrizable space, the following facts are obtained directly from (typically more general) theorems proved in the paper at hand.

1.
Theorem 10: If \(X\) is locally path connected then
It is apparently an open question if this is equivalent to “\(\pi _{1}^{qtop}(X,x_0)\) is \(T_{2}\).” A candidate for a Peano continuum with \(T_1\) but non\(T_2\) fundamental group is the socalled sombrero space from [14] and [21].

2.
We say a subgroup of a group is an invariant subgroup if it is closed under conjugation. Throughout this paper, we choose to use “invariant subgroup” rather than “normal subgroup” to avoid confusion with the separation axiom. A quasitopological group \(G\) is invariantly separated if distinct elements of \(G\) can be separated by cosets of some open invariant subgroup of \(G\) (equivalently, the intersection of all open invariant subgroups in \(G\) is the trivial subgroup). Theorem 26: If \(X\) is locally path connected, then

3.
Corollary 33: If \(X\) is both locally path connected and the inverse limit of nested retracts of polyhedra, then

4.
Theorem 34: If \(\pi _{1}^{qtop}(X,x_0)\) is \(T_{3}\), then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_{4}\).

5.
Theorems 46: If \(\pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is compactly generated, then \(\pi _{1}^{qtop}(X,x_0)\) is a normal topological group. As a special case, if \(\pi _{1}^{qtop}(X,x_0)\) is \(T_2\) and the inductive limit of nested compact subspaces (i.e. a \(k_{\omega }\)group), then \(\pi _{1}^{qtop}(X,x_0)\) is a \(T_4\) topological group.
We leave the reader with a fundamental open question (Problem 36). Suppose \(X\) is a compact metric space such that \(\pi _{1}^{qtop}(X,x_0)\) is \(T_{1}\). Must \(\pi _{1}^{qtop}(X,x_0)\) be \(T_{4}\)?
The quasitopological fundamental group
Throughout this paper, \(X\) is a path connected topological space and \(x_0\in X\) is a given basepoint. Let \(\mathcal P (X)\) be the space of paths \( [0,1]\rightarrow X\) with the compactopen topology. A subbasis for this topology consists of sets \(\langle K,U\rangle =\{ff(K)\subseteq U\}\) where \( K\subseteq [0,1]\) is compact and \(U\subseteq X\) is open. A convenient basis for the topology of \(\mathcal P (X)\) consists of sets of the form \(\bigcap _{i=1}^{n}\langle [t_{i1},t_i],U_i\rangle \) where \(0=t_0<t_1<...<t_n=1\) and each \(U_i\subset X\) is open. Additionally, the subcollection of such neighborhoods which also satisfy \(t_j=\frac{j}{n}\) gives a basis for the compactopen topology. It is wellknown that the compactopen topology of \(\mathcal P (X)\) agrees with the topology of uniform convergence when \(X\) is a metric space.
Let \(\mathcal P (X,x_0)\) and \(\Omega (X,x_0)\) be the subspaces of paths starting at \( x_0\) and loops based at \(x_0\) respectively. Given paths \(\alpha ,\beta \in \mathcal P (X)\), \(\alpha ^{}(t)=\alpha (1t)\) denotes the reverse path and if \(\beta (0)=\alpha (1)\), then \(\alpha \cdot \beta \) denotes the usual concatenation of paths. We denote the constant path at \(x\in X\) by \(c_x\).
Definition 1
The quasitopological fundamental group of \((X,x_0)\) is the fundamental group endowed with the quotient topology induced by the canonical map \(\pi :\Omega (X,x_0)\rightarrow \pi _1(X,x_0)\), \(\pi (\alpha )=[\alpha ]\) identifying based homotopy classes of loops. We denote it by \(\pi _{1}^{qtop}(X,x_0)\).
Since homotopy classes of loops are precisely the path components of \(\Omega (X,x_0)\), the group \(\pi _{1}^{qtop}(X,x_0)\) is also the path component space of \(\Omega (X,x_0)\), that is, the quotient space obtained by collapsing path components to points.
Recall that a quasitopological group is a group \(G\) with topology such that inversion \(G\rightarrow G\), \(g\mapsto g^{1}\) is continuous and multiplication \(G\times G\rightarrow G\), \((a,b)\mapsto ab\) is continuous in each variable. The second condition is equivalent to the condition that all right and left translations in \(G\) are homeomorphisms. For more on the general theory of quasitopological groups, we refer the reader to [1].
The following lemma, first formulated in [6], brings together results from [3] and [13].
Lemma 2
For any space \((X,x_0), \pi _{1}^{qtop}(X,x_0)\) is a quasitopological group. Moreover, a map \(f:X\rightarrow Y, f(x_0)=y_0\) induces a continuous homomorphism \(f_{*}:\pi _{1}^{qtop}(X,x_0)\rightarrow \pi _{1}^{qtop}(Y,y_0)\).
Thus \(\pi _{1}^{qtop}\) becomes a functor from the category of based topological spaces (and an invariant of homotopy type) to the category of quasitopological groups and continuous homomorphisms. The isomorphism class of \(\pi _{1}^{qtop}(X,x_0)\) does not depend on the choice of basepoint; if \(\alpha :[0,1]\rightarrow X\) is a path, then \(\pi _{1}^{qtop}(X,\alpha (1))\rightarrow \pi _{1}^{qtop}(X,\alpha (0))\), \([\gamma ]\mapsto [\alpha \cdot \gamma \cdot \alpha ^{}]\) is an isomorphism of quasitopological groups [3].
It is also possible to consider the higher homotopy groups \( \pi _n(X,x_0), n>1\) as quasitopological abelian groups in a similar fashion [25, 26]. Higher quasitopological homotopy groups can also fail to be topological groups [20]. Many of the results in this paper have analogues for these higher homotopy groups, however, we do not address them directly.
The group \(\pi _{1}^{qtop}(X,x_0)\) is a discrete topological group if and only if every loop \(\alpha \) admits a neighborhood in \(\Omega (X,x_0)\) which contains only loops homotopic to \(\alpha \). A more practical characterization is the following.
Theorem 3
[13] If \(\pi _{1}^{qtop}(X,x_0)\) is discrete, then \(X\) is semilocally simply connected. If \(X\) is locally path connected and semilocally simply connected, then \(\pi _{1}^{qtop}(X,x_0)\) is discrete.
In particular, if \(X\) has the homotopy type of a CWcomplex or a manifold, then \(\pi _{1}^{qtop}(X,x_0)\) is discrete.
At the other extreme, there are many examples of (even compact) metric spaces for which \(\pi _{1}^{qtop}(X,x_0)\) is nontrivial and carries the indiscrete topology [6, 36].
Separation axioms in \(\pi _{1}^{qtop}(X,x_0)\)
Traditionally, shape theory has been used to study fundamental groups of locally complicated spaces. A space \(X\) is said to be \(\pi _1\)shape injective if the canonical homomorphism \(\psi :\pi _{1}(X,x_0)\rightarrow \check{\pi }_1(X,x_0)\) from the fundamental group to the first shape group is injective (See Sect. 3.2 for further discussion). If \(\psi \) is injective, then \(\pi _{1}(X,x_0)\) can be understood as a subgroup of \(\check{\pi }_1(X,x_0)\), which is an inverse limit of discrete groups. If \(\psi \) is not injective, then shape theory fails to distinguish some elements of \(\pi _{1}(X,x_0)\). When this failure occurs, there is still hope that elements of \(\pi _{1}(X,x_0)\) which are indistinguishable by shape can be distinguished by the quotient topology of \(\pi _{1}^{qtop}(X,x_0)\). This possibility is one motivation for considering separation axioms in quasitopological fundamental groups.
It is wellknown that every \(T_0\) topological group is Tychonoff. Since \(\pi _{1}^{qtop}(X,x_0)\) need not be a topological group, it is not immediately clear if one can promote separation axioms within \(\pi _{1}^{qtop}(X,x_0)\) in a similar fashion. In this section, we relate properties of the topological space \(X\) and separation axioms in \(\pi _{1}^{qtop}(X,x_0)\). We also identify some cases where it is possible to strengthen a given separation axiom.
On \(T_0\) and \(T_1\)
The following general facts about quasitopological groups are particularly useful in understanding lower separation axioms in \(\pi _{1}^{qtop}(X,x_0)\). If \(G\) is a space and \(g\in G\), then \(\overline{g}\) denotes the closure of the singleton \(\{g\}\). Recall that in a space \(G\), distinct points \(g,h\in G\) are topologically indistinguishable if every neighborhood of \(g\) contains \(h\) (i.e. \(g\in \overline{h}\)) and every neighborhood of \(h\) contains \(g\) (i.e. \(h\in \overline{g}\)).
Lemma 4
If \(G\) is a quasitopological group and \(g\in G\), then \(\overline{g}\) is precisely the set of elements which are topologically indistinguishable from \(g\).
Proof
By definition, if \(h\) is topologically indistinguishable from \(g\), then \(h\in \overline{g}\). Suppose \(h\in \overline{g}\) with \(h\ne g\) and that \(U\) is any neighborhood of \(g\). It suffices to show \(h\in U\). Since \(G\) is a quasitopological group, \(g^{1}U\) is a neighborhood of the identity element \(e\) and \(h=he^{1}\in h(g^{1}U)^{1}=hU^{1}g\) where \(hU^{1}g\) is open. By assumption, we have \(g\in hU^{1}g\) and therefore \(e\in hU^{1}\). It follows that \(h\in U\). \(\square \)
Note the proof of the previous lemma makes use of the continuity of inversion and the translations in \(G\). Lemma 4 does not hold when \(G\) is replaced by any \(T_0\) non\(T_1\) topological space.
According to Lemma 4, if \(G\) is a quasitopological group and \(g\in G\), then \(\overline{g}\) is contained in every neighborhood of \(g\). It is wellknown that if \(H\) is a subgroup of quasitopological group \(G\), then the closure \(\overline{H}\) is a subgroup of \(G\) [1, 1.4.13]. A straightforward argument gives that if \(H\) is an invariant subgroup of \(G\), then \(\overline{H}\) is also an invariant subgroup of \(G\). Combining these observations, we obtain the following Corollary.
Corollary 5
Suppose \(G\) is a quasitopological group with identity \(e\). Then \(\overline{e}\) is a closed invariant subgroup of \(G\) contained in every open neighborhood of \(e\).
Corollary 6
If \(G\) is a quasitopological group, then the following are equivalent:

1.
\(G\) is \(T_0\),

2.
\(G\) is \(T_1\),

3.
The trivial subgroup is closed in \(G\).
Proof
3. \(\Rightarrow \) 2. follows from the homogeneity of \(G\) and 2. \(\Rightarrow \) 1. is clear. 1. \(\Rightarrow \) 3. If \(G\) is \(T_0\), then \(\overline{e}=e\) by Lemma 4. Thus the trivial subgroup is closed in \(G\). \(\square \)
Recall the Kolmogorov quotient (or \(T_0\)identification space) of a topological space \(G\) is the quotient space \(G/\sim \) where \(g\sim h\) iff \(g\) and \(h\) are topologically indistinguishable. Every open neighborhood in \(G\) is saturated with respect to the (open and closed) quotient map \(q:G\rightarrow G/\sim \). In the case that \(G\) is a quasitopological group, two elements \(g,h\) have the same closure \(\overline{g}=\overline{h}\) iff they are topologically indistinguishable. Thus the Kolmogorov quotient of \(G\) is the \(T_1\) quotient group \(G/\overline{e}\) and the group projection \(G\rightarrow G/\overline{e}\) is the identification map.
We apply to quasitopological groups the wellknown fact that many topological properties of a space translate to corresponding properties of the Kolmogorov quotient and vice versa [27].
Lemma 7
Let \(G\) be a quasitopological group with identity \(e\). Then \(G\) is a topological group iff \(G/\overline{e}\) is a topological group. Additionally, \(G\) is compact (lindelöf, first countable, pseudometrizable, regular, normal, paracompact) iff \(G/\overline{e}\) is compact (resp. lindelöf, first countable, pseudometrizable, regular, normal, paracompact).
Proof
We prove only the first statement since the additional statements are easily verifiable for Kolmogorov quotients of general topological spaces. In general, quotient groups of a topological group (with the quotient topology) are topological groups. Thus \(G/\overline{e}\) is a topological group whenever \(G\) is. Suppose \(G/\overline{e}\) is a topological group and \(q:G\rightarrow G/\overline{e}\) is the canonical quotient map. It suffices to check that multiplication \(\mu :G\times G\rightarrow G\) is continuous. If \(U\subseteq G\) is open, then \(U=q^{1}(V)\) for some open set \(V\subseteq G/\overline{e}\). Since multiplication \(\nu :G/\overline{e}\times G/\overline{e}\rightarrow G/\overline{e}\) is continuous, \((q\times q)^{1}(\nu ^{1}(U))=\mu ^{1}(q^{1}(V))=\mu ^{1}(U)\) is open in \(G\times G\). \(\square \)
We now provide a characterization of the \(T_1\) axiom in fundamental groups using a relative version of the notion of “homotopically pathHausdorff” introduced in [21]. See also [34].
Definition 8
Let \(C\) be a subset of \(\pi _{1}(X,x_0)\). The space \(X\) is homotopically pathHausdorff relative to \(C\) if for every pair of paths \(\alpha ,\beta \in \mathcal P (X,x_0)\) such that \(\alpha (1)=\beta (1)\) and \([\alpha \cdot \beta ^{}]\notin C\), there is a partition \(0=t_0<t_1<t_2<...<t_n=1\) and a sequence of open sets \(U_1,U_2,...,U_n\) with \(\alpha ([t_{i1},t_i])\subset U_i\), such that if \(\gamma :[0,1]\rightarrow X\) is another path satisfying \(\gamma ([t_{i1},t_i])\subset U_i\) for \(1\le i\le n\) and \(\gamma (t_i)=\alpha (t_i)\) for \(0\le i\le n\), then \([\gamma \cdot \beta ^{}]\notin C\). We say \(X\) is homotopically pathHausdorff if it is homotopically pathHausdorff relative to the trivial subgroup \(C=1\).
Lemma 9
Suppose \(C\) is a subset of \(\pi _{1}(X,x_0)\) and \(C\ne \pi _{1}(X,x_0)\). If \(C\) is closed in \(\pi _{1}^{qtop}(X,x_0)\), then \(X\) is homotopically pathHausdorff relative to \(C\). If \(X\) is locally path connected and homotopically pathHausdorff relative to \(C\), then \(C\) is closed in \(\pi _{1}^{qtop}(X,x_0)\).
Proof
If \(C\) is closed in \(\pi _{1}^{qtop}(X,x_0)\), then \(\pi ^{1}(C)\) is closed in \(\Omega (X,x_0)\) since \(\pi :\Omega (X,x_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\) is continuous. Suppose \(\alpha ,\beta \in \mathcal P (X,x_0)\) such that \(\alpha (1)=\beta (1)\) and \([\alpha \cdot \beta ^{}]\notin C\). Since \(\alpha \cdot \beta ^{}\notin \pi ^{1}(C)\), there is a basic open neighborhood of the form \(\mathcal U =\bigcap _{j=1}^{n}\left\langle \left[ \frac{j1}{n}\frac{j}{n}\right] ,U_j\right\rangle \) such that \(\mathcal U \cap \pi ^{1}(C)=\emptyset \). We may assume \(n\) is even. Now consider the partition given by \(t_j=\frac{2j}{n}\) for \(0\le j\le n/2\). We have \(\alpha ([t_{j1},t_j])\subseteq U_j\) for \(1\le j\le n/2\). Suppose \(\gamma \in \mathcal P (X,x_0)\) is a path such that \(\gamma ([t_{j1},t_j])\subseteq U_j\) for \(1\le j\le n/2\) and \(\gamma (t_j)=\alpha (t_j)\) for \(0\le j\le n/2\). Clearly \(\gamma \cdot \beta ^{}\in \mathcal U \) and thus \([\gamma \cdot \beta ^{}]\notin C\). Therefore \(X\) is homotopy pathHausdorff relative to \(C\).
Suppose \(X\) is locally path connected and homotopically pathHausdorff relative to \(C\). Since \(\pi :\Omega (X,x_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\) is quotient, it suffices to show \(\pi ^{1}(C)\) is closed in \(\Omega (X,x_0)\). Let \(\alpha \in \Omega (X,x_0)\) such that \([\alpha ]\notin C\) and let \(\beta \) be the constant path at \(x_0\) so that \([\alpha \cdot \beta ^{}]\notin C\). By assumption, there is a partition \(0=t_0<t_1<t_2<...<t_n=1\) and a sequence of open sets \(V_1,V_2,...,V_n\) with \(\alpha ([t_{i1},t_i])\subset V_i\) such that if \(\zeta \in \mathcal P (X,x_0)\) is another path satisfying \(\zeta ([t_{i1},t_i])\subset V_i\) and \(\zeta (t_i)=\alpha (t_i)\), then \([\zeta ]=[\zeta \cdot \beta ^{}]\notin C\). Since \(X\) is locally path connected, we may assume each \(V_i\) is path connected. For \(i=1,...,n1\), find a path connected neighborhood \(W_i\) of \(\alpha (t_i)\) contained in \(V_{i}\cap V_{i+1}\). Now
is an open neighborhood of \(\alpha \) in \(\Omega (X,x_0)\). We claim \(\mathcal V \cap \pi ^{1}(C)=\emptyset \). Suppose \(\delta \in \mathcal V \). Since \(\delta (t_i)\in W_i\) for \(i=1,...,n1\), find paths \(\epsilon _i:[0,1]\rightarrow W_i\) from \(\delta (t_i)\) to \(\alpha (t_i)\). Let \(\delta _i\) denote the path given by restricting \(\delta \) to \([t_{i1},t_i]\). Note
Let \(\zeta _i\) be the \(i\)th factor of this last concatenation and define a path \(\zeta \) to be \(\zeta _i\) on \([t_{i1},t_i]\) and note \([\zeta ]=[\delta ]\). Since \(\zeta ([t_{i1},t_i])\subseteq V_i\) and \(\zeta (t_i)=\alpha (t_i)\), we have \([\zeta ]\notin C\). Thus \([\delta ]=[\zeta ]\notin C\). \(\square \)
The following theorem now follows directly from Lemmas 6 and 9 (when \(C=1\) is the trivial group).
Theorem 10
A locally path connected space \(X\) is homotopically pathHausdorff iff \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\).
The connection between the \(T_1\) axiom in \(\pi _{1}^{qtop}(X,x_0)\) and the homotopically pathHausdorff property motivates the following application of Lemma 9 to the existence of generalized coverings in the sense of [23].
Suppose \(X\) is locally path connected and \(H\) is a fixed subgroup of \(\pi _{1}(X,x_0)\). Define an equivalence relation \(\sim \) on \(\mathcal P (X,x_0)\) by \(\alpha \sim \beta \) iff \(\alpha (1)=\beta (1)\) and \([\alpha \cdot \beta ^{}]\in H\) The equivalence class of \(\alpha \) is denoted \([\alpha ]_{H}\). Let \(\widetilde{X}_{H}=\mathcal P (X,x_0)/\sim \) be the set of equivalence classes with the whisker topology (or sometimes called the standard topology). A basis for the whisker topology consists of basic neighborhoods
where \(U\subseteq X\) is open and \(\alpha \in \mathcal P (X,x_0)\). We take \(\widetilde{x}_H=[c_{x_0}]_H\) to be the basepoint of \(\widetilde{X}_H\). Note that if \([\beta ]_H\in B_H([\alpha ]_{H},U)\), then \(B_H([\alpha ]_{H},U)=B_H([\beta ]_{H},U)\).
Proofs of the following statements can be found in [23]. The endpoint projection \(p_H:\widetilde{X}_{H}\rightarrow X\), \(p_H([\alpha ]_H)=\alpha (1)\) is known to be a continuous open surjection. Every path \(\alpha :[0,1]\rightarrow X\) admits a continuous “standard lift” \(\widetilde{\alpha }^{st}:[0,1]\rightarrow \widetilde{X}_{H}\) given by \(\widetilde{\alpha } ^{st}(t)=[\alpha _t]_H\) where \(\alpha _t(s)=\alpha (ts)\). Recall that \(p_H:\widetilde{X}_{H}\rightarrow X\) has the unique path lifting property if whenever \(\alpha ,\beta :[0,1]\rightarrow \widetilde{X}_{H}\) are paths such that \(\alpha (0)=\beta (0)\) and \(p_H\circ \alpha =p_H\circ \beta \), then \(\alpha =\beta \). Whenever \(p_H\) has the unique path lifting property, it is a generalized covering map in the sense of [23].
A number of authors have identified conditions sufficient to conclude that \(p_H\) has unique path lifting. For instance, if \(H\) is a certain invariant subgroup (the intersection of Spanier groups or the kernel of the first shape map), then \(p_H\) has unique path lifting. Unique path lifting for these same invariant subgroups follows from the approach of [10]. Fisher and Zastrow show in [24] that if \(H\) is an open (not necessarily invariant) subgroup of \(\pi _{1}^{qtop}(X,x_0)\), then \(p_H\) is a semicovering in the sense of [7] and has unique path lifting. Finally, Theorem 2.9 of [21] states that if \(X\) is homotopically pathHausdorff, then \(p_H\) has the unique path lifting property when \(H=1\). The following theorem systematically generalizes all of the above cases of unique path lifting. The proof is essentially the same as that of Theorem 2.9 of [21], however, we include it for completion.
Theorem 11
If \(X\) is locally path connected and \(H\) is a closed subgroup in \(\pi _{1}^{qtop}(X,x_0)\), then \(p_H:\widetilde{X}_{H}\rightarrow X\) has the unique path lifting property.
Proof
According to Lemma 9, it suffices to replace the condition that \(H\) is closed in \(\pi _{1}^{qtop}(X,x_0)\) with the condition that \(X\) is homotopy pathHausdorff relative to \(H\). Suppose \(\alpha \in \mathcal P (X,x_0)\) is a path such that there is a lift \(\beta :[0,1]\rightarrow \widetilde{X}_{H}\), \(\beta (t)=[\beta _t]_{H}\) of \(\alpha \) such that \(\beta (0)=\widetilde{\alpha }^{st}(0)=\widetilde{x}_{H}\) but \(\beta (1)=[\beta _1]_{H}\ne [\alpha ]_{H}= \widetilde{\alpha }^{st}(1)\). We check that \(X\) is not homotopically pathHausdorff relative to \(H\).
Note \([\alpha \cdot \beta _{1}^{}]\notin H\) and consider any partition \(0=t_0<t_1<\dots <t_n=1\) and path connected open sets \(U_1,...,U_n\) such that \(\alpha ([t_{i1},t_i])\subset U_i\). Consider a fixed value of \(i\) and observe that \(B_H([\beta _t]_{H},U_i)\) is an open neighborhood of \(\beta (t)\) for each \(t\in [t_{i1},t_i]\). Therefore there is a subdivision \(t_{i1}=s_0<s_1<\dots <s_m=t_{i}\) such that \(\beta ([s_{j1},s_j])\subseteq B([\beta _{s_{j1}}]_{H},U_i)\) for each \(j=1,...,m\). In particular, there is a path \(\delta _{j}:[0,1]\rightarrow U_i\) from \(\alpha (s_{j1})\) to \(\alpha (s_j)\) such that \([\beta _{s_{j1}}\cdot \delta _j]_{H}=[\beta _{s_{j}}]_H\).
The concatenation \(\gamma _{i}=\delta _1\cdot \delta _2\cdots \cdot \delta _m\) is a path in \(U_i\) from \(\alpha (t_{i1})\) to \(\alpha (t_i)\). Since \(g_j=[\beta _{s_{j1}}\cdot \delta _j\cdot \beta _{s_{j}}^{}]\in H\) for each \(j\), we have
Let \(\gamma \) be the path defined as \(\gamma _i\) on \([t_{i1},t_i]\). Then \(\gamma ([t_{i1},t_i])\subseteq U_i\) and \(\gamma (t_i)=\alpha (t_i)\). Note that \([\beta _{0}\cdot \gamma \cdot \beta _{1}^{}]=h_1h_2\cdots h_n\in H\) and \([\beta _0]\in H\). Thus \([\gamma \cdot \beta _{1}^{}]\in H\) showing that \(X\) cannot be homotopy pathHausdorff relative to \(H\). \(\square \)
Andreas Zastrow has announced that the converse of Theorem 11 does not hold for Peano continua in the case when \(H=1\) (See [35]).
On \(T_2\) and invariantly separated groups
In general, a \(T_1\) quasitopological group need not be \(T_2\) (for instance, any infinite group with the cofinite topology). A second countable \(T_2\) (but nonregular) space \(X\) such that \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\) but not \(T_2\) is constructed in [6, Example 4.13].
Recall a topological space \(A\) is totally separated if whenever \(a\ne b\), there is a clopen set \(U\) containing \(a\) but not \(b\). Equivalently, every point is the intersection of clopen sets. The following is a stronger notion for groups.
Definition 12
A quasitopological group \(G\) is invariantly separated if for every nonidentity element \(g\), there is an open invariant subgroup \(N\) such that \(g\notin N\). Equivalently, the intersection of all open invariant subgroups in \(G\) is the trivial subgroup of \(G\).
Proposition 13
If \(G\) is a quasitopological group, then
Proof
Note that cosets of open subgroups in \(G\) are both open and closed. If \(G\) is invariantly separated and \(g\ne h\) in \(G\), then there is an open invariant subgroup \(N\subseteq G\) such that \(gh^{1}\notin N\). Then the coset \(Nh\) is a clopen subset of \(h\) which does not contain \(g\). Thus \(G\) is totally separated. It is evident from the definition that every totally separated topological space is \(T_2\). \(\square \)
Proposition 14
If \(G_{\lambda }\) is a family of invariantly separated quasitopological groups, then the product \(\prod _{\lambda }G_{\lambda }\) is invariantly separated.
Proposition 15
If \(H,G\) are quasitopological groups such that \(G\) is invariantly separated (resp. totally separated, \(T_2\)), and \(f:H\rightarrow G\) is a continuous monomorphism, then \(H\) is invariantly separated (resp. totally separated, \(T_2\)).
Proof
Suppose \(h\in H\) is not the identity. Since \(f(h)\) is not the identity in \(G\), there is an open invariant subgroup \(N\) in \(G\) such that \(f(h)\notin N\). Thus \(f^{1}(N)\) is an invariant subgroup of \(H\), which is open by continuity of \(f\), and \(h\notin f^{1}(N)\).
The proposition for totally separated and \(T_2\) groups holds in the general category of topological spaces by standard arguments. \(\square \)
To observe a familiar condition sufficient to know that \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated, we recall some basic constructions from shape theory. We refer the reader to [9, 28] for a more detailed treatment. The construction for fundamental groups of based spaces is addressed specifically in [9].
Suppose \(X\) is paracompact Hausdorff and \(cov(X)\) is the directed (by refinement) set of pairs \((\fancyscript{U},U_0)\) where \(\fancyscript{U}\) is a locally finite open cover of \(X\) and \(U_0\) is a distinguished element of \(\fancyscript{U}\) containing \(x_0\). Given \((\fancyscript{U},U_0)\in cov(X)\) let \(N(\fancyscript{U})\) be the abstract simplicial complex which is the nerve of \(\fancyscript{U}\). In particular, \(\fancyscript{U}\) is the vertex set of \(U\) and the n vertices \(U_1,...,U_n\) span an nsimplex iff \(\bigcap _{i=1}^{n}U_i\ne \emptyset \). The geometric realization \(N(\fancyscript{U})\) is a polyhedron and thus \(\pi _{1}^{qtop}(N(\fancyscript{U}),U_0)\) is a discrete group.
Given a pair \((\fancyscript{V},V_0)\) which refines \((\fancyscript{U},U_0)\), a simplicial map \(p_{\fancyscript{U}\fancyscript{V}}:N(\fancyscript{V})\rightarrow N(\fancyscript{U})\) is constructed by sending a vertex \(V\in \fancyscript{V}\) to some \(U\in \fancyscript{U}\) for which \(V\subseteq U\) (in particular, \(V_0\) is mapped to \(U_0\)) and extending linearly. The map \(p_{\fancyscript{U}\fancyscript{V}}\) is unique up to homotopy and thus induces a unique homomorphism \(p_{\fancyscript{U}\fancyscript{V}*}:\pi _1(N(\fancyscript{V}),V_0)\rightarrow \pi _1(N(\fancyscript{U}),U_0)\). The inverse system
of discrete groups is the fundamental progroup and the limit \(\check{\pi }_1(X,x_0)\) (topologized with the usual inverse limit topology) is the first shape homotopy group.
Given a partition of unity \(\{\phi _{U}\}_{U\in \fancyscript{U}}\) subordinated to \(\fancyscript{U}\) such that \(\phi _{U_0}(x_0)=1\), a map \(p_{\fancyscript{U}}:X\rightarrow N(\fancyscript{U})\) is constructed by taking \(\phi _{U}(x)\) (for \(x\in U\), \(U\in \fancyscript{U}\)) to be the barycentric coordinate of \(p_{\fancyscript{U}}(x)\) corresponding to the vertex \(U\). The induced continuous homomorphism \(p_{\fancyscript{U}*}:\pi _{1}^{qtop}(X,x_0)\rightarrow \pi _{1}^{qtop}(N(\fancyscript{U}),U_0)\) satisfies \(p_{\fancyscript{U}*}\circ p_{\fancyscript{U}\fancyscript{V}*}=p_{\fancyscript{V}*}\) whenever \((\fancyscript{V},V_0)\) refines \((\fancyscript{U},U_0)\). Thus there is a canonical, continuous homomorphism \(\psi :\pi _{1}^{qtop}(X,x_0)\rightarrow \check{\pi }_{1}(X,x_0)\).
Definition 16
The space \(X\) is \(\mathbf \pi _1 \)shape injective if \(\psi :\pi _{1}(X,x_0)\rightarrow \check{\pi }_{1}(X,x_0)\) is a monomorphism.
Example 17
The authors of [21] construct a non\(\pi _1\)shape injective Peano continuum \(Y^{\prime }\) and provide a proof sketch that \(Y^{\prime }\) is homotopically pathHausdorff (See [21, Theorem 3.7]). Combining Theorem 10 with this observation implies the existence of a non\(\pi _1\)shape injective Peano continuum \(X\) for which \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\). In such a case, the elements of \(\pi _{1}^{qtop}(X,x_0)\) cannot be distinguished by shape but can be distinguish topologically in \(\pi _{1}^{qtop}(X,x_0)\).
Proposition 18
If \(X\) is \(\pi _1\)shape injective, then \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated.
Proof
For \(\fancyscript{U}\in cov(X)\), the group \(G_{\fancyscript{U}}=\pi _{1}^{qtop}(N(\fancyscript{U}),U_0)\) is discrete. Every discrete group is invariantly separated and thus \(G=\prod _{\fancyscript{U}}G_{\fancyscript{U}}\) is invariantly separated by Proposition 14. Since, by assumption, \(\pi _{1}^{qtop}(X,x_0)\) continuously injects into \(\check{\pi }_{1}(X,x_0)\) and \(\check{\pi }_{1}(X,x_0)\) is a subtopological group of \(G\), we apply Proposition 15 to see that \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated. \(\square \)
Corollary 19
If \(X\) is \(\pi _1\)shape injective, then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_2\).
The following statement is a corollary of Proposition 18 only in the sense that it follows from Theorem 19 and known cases of \(\pi _1\)shape injectivity. These cases are typically nontrivial to confirm. For example, if \(X\) is a 1dimensional metric space [15] or a subset of \(\mathbb R ^2\) [22], then \(X\) is \(\pi _1\)shape injective.
Corollary 20
If \(X\) is a 1dimensional metric space or a subset of \(\mathbb R ^2\), then \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated and therefore \(T_2\).
Example 21
For general compact metric spaces, the converse of Proposition 18 is false. Consider the compact space \(Z\subset \mathbb R ^{3}\) of [21] obtained by rotating the closed topologist’s sine curve (so the linear path component forms a cylinder) and connecting the two resulting surface components by attaching a single arc. It is easy to see that \(\pi _{1}^{qtop}(Z,z_0)\) and \(\check{\pi }_{1}(Z,z_0)\) are both isomorphic to the discrete group of integers (and thus invariantly separated), however, \(\psi :\pi _{1}^{qtop}(Z,z_0)\rightarrow \check{\pi }_{1}(Z,z_0)\) is the trivial homomorphism.
To show the converse of Proposition 18 holds for locally path connected spaces, we recall the notion of Spanier group [31]. For more related to Spanier groups see [9, 21, 23, 29, 36]. Our approach is closely related to that in [24].
Definition 22
Let \(\fancyscript{U}\) be an open cover of \(X\). The Spanier group of \(X\) with respect to \(\fancyscript{U}\) is the subgroup \(\pi ^{s}(\fancyscript{U},x_0)\le \pi _{1}(X,x_0)\) generated by elements of the form \([\alpha ][\gamma ][\alpha ^{}]\) where \(\alpha \in \mathcal P (X,x_0)\) and \(\gamma :[0,1]\rightarrow U\) is a loop based at \(\alpha (1)\) for some \(U\in \fancyscript{U}\). The Spanier group of \(X\) is the intersection \(\pi ^{s}(X,x_0)=\bigcap _{\fancyscript{U}}\pi ^{s}(\fancyscript{U},x_0)\) of all Spanier groups with respect to open covers.
Lemma 23
If \(X\) is locally path connected and \(\fancyscript{U}\) is an open cover of \(X\), then \(\pi ^{s}(\fancyscript{U},x_0)\) is an open invariant subgroup of \(\pi _{1}^{qtop}(X,x_0)\).
Proof
The subgroup \(\pi ^{s}(\fancyscript{U},x_0)\) is invariant by construction. By classical covering space theory [31], there is a covering map \(p:Y\rightarrow X\), \(p(y_0)=x_0\) such that the image of the injection \(p_{*}:\pi _1(Y,y_0)\rightarrow \pi _{1}(X,x_0)\) is precisely \(\pi ^{s}(\fancyscript{U},x_0)\). Since \(p\) is a covering map, the induced homomorphism \(p_{*}:\pi _{1}^{qtop}(Y,y_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\) is an open embedding of quasitopological groups [7]. In particular, \(p_{*}(\pi _{1}^{qtop}(Y,y_0))=\pi ^{s}(\fancyscript{U},x_0)\) is open in \(\pi _{1}^{qtop}(X,x_0)\). \(\square \)
Since open subgroups of a quasitopological group are also closed and \(\pi ^{s}(X,x_0)=\bigcap _{\fancyscript{U}}\pi ^{s}(\fancyscript{U},x_0)\), we obtain the following corollary.
Corollary 24
If \(X\) is locally path connected, then \(\pi ^{s}(X,x_0)\) is a closed invariant subgroup of \(\pi _{1}^{qtop}(X,x_0)\).
In general, \(\pi ^{s}(X,x_0)\) is not open in \(\pi _{1}^{qtop}(X,x_0)\). In fact, when \(X\) is locally path connected, \(\pi ^{s}(X,x_0)\) is open iff \(X\) admits a categorical (but not necessarily simply connected) covering space.
Lemma 25
If \(X\) is locally path connected, then \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated iff \(\pi ^{s}(X,x_0)=1\).
Proof
Since the groups \(\pi ^{s}(\fancyscript{U},x_0)\) are open invariant subgroups of \(\pi _{1}^{qtop}(X,x_0)\), the first direction is obvious. For the converse, suppose \(G=\pi _{1}^{qtop}(X,x_0)\) is invariantly separated. Suppose \(g\in G\) is not the identity element. Since \(G\) is invariantly separated, there is an open invariant subgroup \(N\subset G\) such that \(g\notin N\). It suffices to find an open cover \(\fancyscript{U}\) of \(X\) such that \(\pi ^{s}(\fancyscript{U},x_0)\subseteq N\). Let \(\eta :[0,1]\rightarrow X\) be any path starting at \(x_0\). Note that \(\eta \cdot \eta ^{}\) is a nullhomotopic loop based at \(x_0\). Since \(N\) is open, \(\pi ^{1}(N)\) is an open neighborhood of \(\eta \cdot \eta ^{}\) in \(\Omega (X,x_0)\). Find a basic neighborhood \(\mathcal V _{\eta }=\bigcap _{j=1}^{2n}\left\langle \left[ \frac{j1}{2n},\frac{j}{2n}\right] ,V_j\right\rangle \) of \(\eta \cdot \eta ^{}\) contained in \(\pi ^{1}(N)\). Note that \(\eta (1)\in V_n\). Since \(X\) is locally path connected, there is a path connected neighborhood \(U_{\eta }\) such that \(\eta (1)\in U_{\eta }\subset V_n\). Now \(\fancyscript{U}=\{U_{\eta }\eta \in \mathcal P (X,x_0)\}\) is an open cover of \(X\).
Suppose \([\alpha \cdot \gamma \cdot \alpha ^{}]\) is a generator of \(\pi ^{s}(\fancyscript{U},x_0)\) where \(\gamma \) is a loop with image in \(U_{\eta }\) where \(\eta (0)=x_0\). Let \(\epsilon :[0,1]\rightarrow U_{\eta }\) be a path from \(\eta (1)\) to \(\alpha (1)=\gamma (0)=\gamma (1)\). Note that an appropriate reparameterization of \(\eta \cdot \epsilon \cdot \gamma \cdot \epsilon ^{}\cdot \eta ^{}\) lies in \(\mathcal V _{\eta }\). Thus \([\eta \cdot \epsilon ][\gamma ][\eta \cdot \epsilon ]^{1}\in N\). Since \(N\) is invariant
Thus \(\pi ^{s}(\fancyscript{U},x_0)\subseteq N\), completing the proof. \(\square \)
Thoerem 26
If \(X\) is locally path connected, paracompact Hausdorff (for instance, if \(X\) is a Peano continuum), then the following are equivalent:

1.
\(X\) is \(\pi _1\)shape injective

2.
\(\pi ^{s}(X,x_0)=1\)

3.
\(\pi _{1}^{qtop}(X,x_0)\) invariantly separated.
Proof
1. \(\Leftrightarrow \) 2. is the main result of [9] and 2. \(\Leftrightarrow \) 3. follows from Lemma 25. \(\square \)
The results above show the data of the fundamental group of a Peano continuum \(X\) remembered by shape (the fundamental progroup) is retained within the topology of \(\pi _{1}^{qtop}(X,x_0)\) in the form of open invariant subgroups. Example 17 provides a space \(X\) for which shape fails to distinguish uncountably many elements nonidentity elements from the identity but for which the quotient topology of \(\pi _{1}^{qtop}(X,x_0)\) can distinguish any two distinct elements. It is apparently an open question whether or not the converse of Corollary 19 holds when \(X\) is locally path connected.
Problem 27
Is there a Peano continuum \(X\) which is not \(\pi _1\)shape injective but is such that \(\pi _{1}^{qtop}(X,x_0)\) is \(T_2\)?
Remark 28
The property “totally separated” may also be interpreted within shape theory. If \(X\) is metrizable, then \(\pi _{1}^{qtop}(X,x_0)\) is totally separated iff \(\Omega (X,x_0)\) is \(\pi _0\)shape injective in the sense that the canonical function
to the zeroth shape set is injective. The details are straightforward and are left to the reader.
We conclude this section with a special case where all of the separation properties mentioned so far coincide.
Definition 29
Let \(X_1\subseteq X_2\subseteq \cdots \) be a nested sequence of subspaces where \(X_{j}\) is a closed retract of \(X_{j+1}\), i.e. there is a map \(r_{j+1,j}:X_{j+1}\rightarrow X_j\) such that if \(s_{j+1,j}:X_j\rightarrow X_{j+1}\) is the inclusion, then \(r_{j+1,j}\circ s_{j+1,j}=id_{X_j}\). The inverse limit \( X=\varprojlim (X_j,r_{j+1,j})\) is called the inverse limit of nested retracts.
Suppose \(X=\varprojlim (X_j,r_{j+1,j})\) is an inverse limit of nested retracts. If \(j<k\), let \(r_{k,j}:X_k\rightarrow X_j\) and \(s_{k,j}:X_j\rightarrow X_k\) be the obvious compositions of retractions and sections respectively. The projection maps \(r_j:X\rightarrow X_j\) are retractions with sections \(s_j:X_j\rightarrow X\) given by
This is welldefined since \(r_{k+1,k}(s_{k+1,j}(x))=s_{k,j}(x)\) when \(j<k\). Since we may view \(X_j\) as a subspace of \(X\) for each \(j\), we take a basepoint in \(X\) to be a point \(x_0\in X_1\subset X\).
Example 30
Let \(C_n\subset \mathbb R ^2\) be the circle of radius \(\frac{1}{n}\) centered at \(\left( \frac{1}{n},0\right) \) (See Fig. 1). The usual Hawaiian earring \(\mathbb H =\bigcup _{n\ge 1}C_n\) is a locally path connected inverse limit of nested retracts where \(X_j=\bigcup _{n=1}^{j}C_n\) and \(r_{j+1,j}:X_{j+1}\rightarrow X_j\) collapses \(C_{j+1}\) to the canonical basepoint.
The projection maps \(r_j:X\rightarrow X_j\) induce continuous homomorphisms \((r_{j})_{*}: \pi _{1}^{qtop}(X,x_0)\rightarrow \pi _{1}^{qtop}(X_j,x_0)\) which, together, induce a continuous homomorphism
to the limit of the inverse system of quasitopological groups \(\pi _{1}^{qtop}(X_j,x_0)\) and bonding maps \((r_{j+1,j})_{*}: \pi _{1}^{qtop}(X_{j+1},x_0)\rightarrow \pi _{1}^{qtop}(X_j,x_0)\).
Lemma 31
If \(X=\varprojlim (X_j,r_{j+1,j})\) is an inverse limit of nested retracts and \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\), then \(\phi :\pi _{1}^{qtop}(X,x_0)\rightarrow \varprojlim \left( \pi _{1}^{qtop}(X_j,x_0),(r_{j+1,j})_{*}\right) \) is injective.
Proof
Since the based loop space functor preserves limits, there is a canonical homeomorphism \(\Omega (X,x_0)\cong \varprojlim \left( \Omega (X_j,x_0),\Omega (r_{j+1,j})\right) \) where the limit has the usual inverse limit topology (i.e. as a subspace of \(\prod _{j}\Omega (X_j,x_0)\)). Thus a loop \(f\in \Omega (X,x_0)\) is identified with the sequence \((f_1,f_2,...)\) where \(f_j=r_j\circ f\).
Suppose \(f:[0,1]\rightarrow X\) is a loop such that \([f]\in \ker \phi \) and note \(\phi ([f])=([f_1],[f_2],...)\) is the identity, \([f_j]\) is the identity in \(\pi _{1}^{qtop}(X_j,x_0)\) for each \(j\). Let \(g_j=s_j\circ f_j:[0,1]\rightarrow X_j\rightarrow X\). Since \(f_j:[0,1]\rightarrow X\) is nullhomotopic, so is \(g_j\). Note that \(g_j=(f_1,f_2,...,f_j,s_{j+1,j}\circ f_j,s_{j+2,j}\circ f_j,...)\).
Since we identify \(\Omega (X,x_0)\) as subspace of the direct product \(\prod _{j}\Omega (X_j,x_0)\), we have \(g_j\rightarrow f\) in \(\Omega (X,x_0)\). Since \(\pi :\Omega (X,x_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\) is continuous, \([g_j]\rightarrow [f]\) in \(\pi _{1}^{qtop}(X,x_0)\) where each \([g_j]\) is the identity. But if \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\), every constant sequence has a unique limit and thus \([f]\) must be the identity of \(\pi _{1}^{qtop}(X,x_0)\). \(\square \)
Theorem 32
Suppose \(X=\varprojlim (X_j,r_{j+1,j})\) is an inverse limit of nested retracts such that \(\pi _{1}^{qtop}(X_j,x_0)\) is invariantly separated for each \(j\). Then the following are equivalent:

1.
\(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\),

2.
\(\pi _{1}^{qtop}(X,x_0)\) is \(T_2\),

3.
\(\pi _{1}^{qtop}(X,x_0)\) is totally separated,

4.
\(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated.
Proof
4. \(\Rightarrow \) 3. \(\Rightarrow \) 2. \(\Rightarrow \) 1. follows from previous observations and basic topological facts. 1. \(\Rightarrow \) 4. By assumption, \(\pi _{1}^{qtop}(X_j,x_0)\) is invariantly separated for each \(j\) (see Theorem 3). Therefore \(\prod _j \pi _{1}^{qtop}(X_j,x_0)\) is invariantly separated (Proposition 14) as is the subquasitopological group \(\varprojlim \left( \pi _{1}^{qtop}(X_j,x_0),(r_{j+1,j})_{*}\right) \) (Proposition 15). Since \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\), it follows from Lemma 31 that the continuous homomorphism \(\phi :\pi _{1}^{qtop}(X,x_0)\rightarrow \varprojlim \left( \pi _{1}^{qtop}(X_j,x_0),(r_{j+1,j})_{*}\right) \) is injective. Apply Proposition 15 to see that \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated. \(\square \)
Corollary 33
Suppose \(X=\varprojlim (X_j,r_{j+1,j})\) is a locally path connected inverse limit of nested retracts where each \(X_j\) is a locally path connected and semilocally simply connected metric space. Then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\) iff \(X\) is \(\pi _1\)shape injective.
Proof
One direction is clear from Corollary 19. Since \(X_j\) is locally path connected and semilocally simply connected, \(\pi _{1}^{qtop}(X_j,x_0)\) is discrete (for each \(j\)) by Theorem 3. Thus if \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\), then \(\pi _{1}^{qtop}(X,x_0)\) is invariantly separated by Theorem 32. Theorem 26 now gives that \(X\) is \(\pi _1\)shape injective. \(\square \)
On higher separation axioms
Though every \(T_2\) topological group is Tychonoff, it is not even true that every \(T_2\) topological group is \(T_4\) (normal and \(T_2\)) [1].
Theorem 34
If \(X\) is a compact metric space and \(\pi _{1}^{qtop}(X,x_0)\) is a regular space, then \(\pi _{1}^{qtop}(X,x_0)\) is normal. In particular, if \(\pi _{1}^{qtop}(X,x_0)\) is \(T_3\), then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_4\).
Proof
Let \(e\) denote the identity of \(G=\pi _{1}^{qtop}(X,x_0)\). Recall that \(G/\overline{e}\) is a \(T_1\) quasitopological group. Since \(G\) is regular by assumption, \(G/\overline{e}\) is regular by Lemma 7. In particular, \(G/\overline{e}\) is \(T_2\). If \(X\) is compact metric, then \(\Omega (X,x_0)\) is a separable metric space [17, 4.2.17 and 4.2.18] and is therefore Lindelöf. Note \(G/\overline{e}\) is Lindelöf since it is the quotient of \(\Omega (X,x_0)\). Since every regular Lindelöf space is paracompact and every paracompact \(T_2\) space is normal, \(G/\overline{e}\) is normal. It follows from Lemma 7 that \(G\) is normal.
The second statement of the theorem is the special case where \(e=\overline{e}\). \(\square \)
Corollary 35
If \(X\) is a compact metric space and \(\pi _{1}^{qtop}(X,x_0)\) is a topological group, then \(\pi _{1}^{qtop}(X,x_0)\) is normal. In particular, if \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\), then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_4\).
Proof
If \(G=\pi _{1}^{qtop}(X,x_0)\) is a topological group with identity \(e\), then \(G/\overline{e}\) is a Tychonoff topological group. Thus \(G\) is regular by Lemma 7 and is therefore normal by Theorem 34. The second statement of the corollary is the special case where \(e=\overline{e}\). \(\square \)
As mentioned in the introduction, \(\pi _{1}^{qtop}(X,x_0)\) often fails to be a topological group. In this case, Corollary 35 does not apply. We are left with the following fundamental open problem.
Problem 36
If \(X\) is a Peano continuum such that \(\pi _{1}^{qtop}(X,x_0)\) is \(T_1\) must \(\pi _{1}^{qtop}(X,x_0)\) be \(T_4\)? Must \(\pi _{1}^{qtop}(X,x_0)\) be normal for every compact metric space \(X\)?
Theorem 34 reduces this problem to the problem of deciding whether or not \(\pi _{1}^{qtop}(X,x_0)\) must be regular.
When is \(\pi _{1}^{qtop}(X,x_0)\) a topological group?
The topological properties of a group \(G\) (endowed with a topology) which allow one to conclude that group multiplication is continuous are wellstudied, e.g. [4, 5, 16, 30]. For instance, the celebrated Ellis Theorem [16] implies that a locally compact \(T_2\) quasitopological group is a topological group. We consider such properties when \(G\) is a quasitopological fundamental group.
It is known that there are many examples of spaces \(X\) for which \(\pi _{1}^{qtop}(X,x_0)\) is not a topological group. The following examples illustrate the variety of spaces for which this phenomenon can occur.
Example 37
[19] The Hawaiian earring \(\mathbb H \) described in Example 30 is a \(\pi _1\)shape injective Peano continuum, however, \(\pi _{1}^{qtop}(\mathbb H ,(0,0))\) fails to be a topological group.
The following pair of spaces illustrate how the success or failure of group multiplication can distinguish homotopy type when standard application of shape theory fails to do so.
Example 38
For \(n\ge 1\), let \(D_n\subseteq \mathbb R ^2\) be the circle of radius \(\frac{1}{(n+1)^2}\) centered at \(\left( 1,\frac{1}{n}\right) \). Let \(c_n\) be the point in \(D_n\) nearest the origin and \(L_n=[0,c_n]\) be the line segment connecting the origin to \(c_n\). The lasso space
is a compact and semilocally simply connected, but nonlocally path connected, planar set (See Fig. 2) such that \(\pi _{1}^{qtop}(\mathbb L ,(0,0))\) is free on countable generators (as an abstract group) but is not a topological group [20].
We use the Lasso space to show that continuity of multiplication in quasitopological fundamental groups can distinguish shape equivalent spaces. Compare \(\mathbb L \) with the following construction, which is equivalent to the main example in [18]: Let \(M_n\) be the line segment connecting the origin to \(\left( 1,\frac{1}{n}\right) \). Define the planar set
Note that \(Y\) and \(\mathbb L \) are both weakly homotopy equivalent and shape equivalent, however, arguments in [6] may be used to show that \(\pi _{1}^{qtop}(Y,y_0)\) is a topological group (namely, the free Graev topological group on the onepoint compactification of the natural numbers). Thus \(\pi _{1}^{qtop}(\mathbb L ,(0,0))\) and \(\pi _{1}^{qtop}(Y,(0,0))\) are not isomorphic quasitopological groups. It follows from the homotopy invariance of \(\pi _{1}^{qtop}\) that \(\mathbb L \) and \(Y\) are not homotopy equivalent.
Example 39
[6] For any subspace \(A\subset [0,1]\), the hoop space (or generalized wedge of circles) on \(A\) is the planar set
If \(A=\mathbb Q \cap (0,1)\), then \(hp(A)\) is locally simply connected and has a fundamental group freely generated by a countable set (namely \(\pi _0(A)=A\)), however, \(\pi _{1}^{qtop}(hp(A),(0,0))\) fails to be a topological group. On the other hand, if \(A\) is compact and totally path disconnected (e.g. a cantor set or countable compact set), then \(\pi _{1}^{qtop}(hp(A),(0,0))\) is a topological group (See Proposition 49 below).
Note \(\pi _{1}^{qtop}(X,x_0)\) also fails to be a topological group if \(X\) contains any of the above examples (of failure) as a retract.
The fact that \(\pi _{1}^{qtop}(X,x_0)\) is not always topological group is intimately related to the fact that the product of quotient maps
can fail to be quotient. In the case that \(\pi \times \pi \) is quotient, the continuity of multiplication in \(\pi _{1}^{qtop}(X,x_0)\) follows from the universal property of quotient spaces.
Lemma 40
If \(\pi \times \pi :\Omega (X,x_0)\times \Omega (X,x_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is a quotient map, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group.
Proof
Suppose \(\pi \times \pi \) is quotient. Since \(\pi _{1}^{qtop}(X,x_0)\) is a quasitopological group it suffices to check that multiplication is jointly continuous. Consider the diagram
where the top and bottom horizontal maps are loop concatenation and group multiplication respectively. Since the top composition is continuous and \(\pi \times \pi \) is quotient, group multiplication is continuous by the universal property of quotient spaces. Thus \(\pi _{1}^{qtop}(X,x_0)\) is a topological group. \(\square \)
Lemma 41
For any space \(X\), the following are equivalent:

1.
\(\pi \times \pi :\Omega (X,x_0)\times \Omega (X,x_0)\rightarrow \pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is a quotient map.

2.
The canonical group isomorphism \(\rho :\pi _{1}^{qtop}(X\times X,(x_0,x_0))\rightarrow \pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is a homeomorphism.

3.
\(\pi _{1}^{qtop}(X\times X,(x_0,x_0))\) is a topological group.
If any of these conditions hold, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group.
Proof
1. \(\Leftrightarrow \) 2. Consider the commuting diagram
where top map is the canonical homeomorphism and the bottom map is the canonical continuous group isomorphism \([(\alpha ,\beta )]\mapsto ([\alpha ],[\beta ])\). Since the left vertical map is quotient, the right vertical map is quotient iff \(\rho \) is a homeomorphism.
3. \(\Rightarrow \) 2. Since \(\rho \) is a continuous group isomorphism, it suffices to show the inverse is continuous. Let \(\mu \) be the continuous multiplication map of \(\pi _{1}^{qtop}(X\times X,(x_0,x_0))\). The inclusions \(i,j:X\rightarrow X\times X\), \(i(x)=(x,x_0)\) and \(j(x)=(x_0,x)\) induce the continuous homomorphisms \(i_{*},j_{*}:\pi _{1}^{qtop}(X,x_0)\rightarrow \pi _{1}^{qtop}(X\times X,(x_0,x_0))\) given by \(i_{*}([\alpha ])=[(\alpha ,c_{x_0})]\) and \(j_{*}([\beta ])=[(c_{x_0},\beta )]\). The composition \(\mu \circ (i_{*}\times j_{*})\) is continuous and is the inverse of \(\rho \).
1. \(\Rightarrow \) 3. If \(\pi \times \pi \) is quotient, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group by Lemma 40. Since \(\rho \) is a homeomorphism (by 1. \(\Rightarrow \) 2.), \(\pi _{1}^{qtop}(X\times X,(x_0,x_0))\) is isomorphic to the product of topological groups and is therefore a topological group.
The last statement follows from the previous Lemma. \(\square \)
The authors do not know of a space \(X\) such that \(\pi _{1}^{qtop}(X,x_0)\) is a topological group but for which \(\pi \times \pi \) fails to be a quotient map.
The fact that multiplication in \(\pi _{1}^{qtop}(X,x_0)\) may fail to be continuous is not a result of the definition of quotient topology but rather is due to the fact that the usual category of topological spaces is not Cartesian closed. A common approach to dealing with this categorical issue is to coreflect (in the functorial sense) to a Cartesian closed category of topological spaces [11, 32, 33].
Definition 42
A subset \(A\) of a topological space \(X\) is said to be kclosed if for each compact \(T_2\) space \(K\) and map \(t:K\rightarrow X\), \(t^{1}(A)\) is closed in \(K\). The space \(X\) is compactly generated if every kclosed set is closed in \(X\). Let CG denote the category of compactly generated spaces and continuous functions.
A space \(X\) is compactly generated iff \(X\) is the quotient space of a topological sum of compact \(T_2\) spaces. For any space \(X\), one can refine the topology of \(X\) to contain all kclosed sets of \(X\) and obtain a compactly generated space \(\mathbf k X\). Note that \(\mathbf k X=X\) iff \(X\) is compactly generated. It is wellknown that the category of compactly generated spaces forms a convenient, Cartesian closed category of topological spaces when the kproduct \(X\times _{k}Y=\mathbf k (X\times Y)\) is used [2, 33]. Moreover, \(\mathbf CG \) contains all sequential spaces (and thus all first countable spaces). We use the following Lemma, which is often considered to be an advantage of implementing the compactly generated category.
Lemma 43
[33] The quotient of a compactly generated space is compactly generated. Additionally, if \(q:X\rightarrow Y\) and \(q^{\prime }:X^{\prime }\rightarrow Y^{\prime }\) are quotient maps of compactly generated spaces, then \(q\times _{k}q:X\times _{k}X\rightarrow Y\times _{k}Y^{\prime }\) is a quotient map.
Definition 44
A CGgroup is a group object in CG, that is, a compactly generated group \(G\) such that inverse \(G\rightarrow G\) is continuous and multiplication \(G\times _k G\rightarrow G\) is continuous with respect to the kproduct.
Lemma 45
If \(q:X\rightarrow Y\) is a quotient map of spaces and \(X\times X\) is compactly generated, then the product \(q\times q:X\times X\rightarrow Y\times Y\) is a quotient map iff \(Y\times Y\) is compactly generated.
Proof
One direction is obvious from the first statement of Lemma 43. Suppose \(Y\times Y\) is compactly generated. Note both \(X\) and \(Y\) are compactly generated (as quotients of \(X\times X\) and \(Y\times Y\) respectively). Since the products \(X\times X\) and \(Y\times Y\) are compactly generated, the direct product and kproduct topologies agree, i.e. \(X\times X=X\times _{k}X\) and \(Y\times Y=Y\times _{k}Y\). But \(q\times _{k}q:X\times X\rightarrow Y\times _{k}Y^{\prime }\) is quotient by Lemma 43 and this is precisely \(q\times q:X\times X\rightarrow Y\times Y\). \(\square \)
Theorem 46
If \(X\) is metrizable, then \(\pi _{1}^{qtop}(X,x_0)\) is a \(\mathbf CG \)group. Moreover, if \(\pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is compactly generated, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group.
Proof
Recall that for a given metric on \(X\), the compactopen topology of \(\Omega (X,x_0)\) agrees with the topology induced by the uniform metric. Since \(\Omega (X,x_0)\) is compactly generated, the quotient space \(\pi _{1}^{qtop}(X,x_0)\) is compactly generated. The product \(\Omega (X,x_0)\times \Omega (X,x_0)\) is metrizable and therefore compactly generated. Thus \(\Omega (X,x_0)\times \Omega (X,x_0)=\Omega (X,x_0)\times _k \Omega (X,x_0)\). Consider the commuting diagram
where the horizontal maps are loop concatenation and group multiplication. Since the \(\pi \times _{k}\pi \) is quotient and the top composition is continuous, group multiplication is continuous by the universal property of quotient spaces. We have already established that inversion is continuous. Thus \(\pi _{1}^{qtop}(X,x_0)\) is a \(\mathbf CG \)group.
If the direct product \(\pi _{1}^{qtop}(X,x_0)\times \pi _{1}^{qtop}(X,x_0)\) is compactly generated, then Lemma 45 implies the direct product \(\pi \times \pi \) is quotient. By Lemma 40, \(\pi _{1}^{qtop}(X,x_0)\) is a topological group. \(\square \)
Since first countable spaces and their (finite) products are compactly generated, it follows that if \(X\) is metrizable and \(\pi _{1}^{qtop}(X,x_0)\) is first countable, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group. Moreover, it is well known that a first countable topological groups is pseudometrizable (and metrizable if it is \(T_0\)).
Corollary 47
If \(X\) is metrizable, then either \(\pi _{1}^{qtop}(X,x_0)\) is a pseudometrizable topological group or \(\pi _{1}^{qtop}(X,x_0)\) is not first countable.
Example 48
We obtain an example of a nondiscrete metrizable fundamental group when \(X=\prod _{n}X_n\) is an infinite product of (nonsimply connected) CWcomplexes \(X_n\) (e.g. \(X_n=S^1\) for each \(n\)). Since \(\pi _{1}^{qtop}(X_n,x_n)\) is discrete, \(\pi :\Omega (X_n,x_n)\rightarrow \pi _{1}^{qtop}(X_n,x_n)\) is an open map and therefore \(\prod _{n}\pi :\prod _{n}\Omega (X_n,x_n)\rightarrow \prod _{n}\pi _{1}^{qtop}(X_n,x_n)\) is open. Consider the following diagram
where the top horizontal map is the canonical homeomorphism and the bottom map is the canonical group isomorphism. Since both vertical maps are quotient, \(\pi _{1}^{qtop}(X,x_0)\rightarrow \prod _{n}\pi _{1}^{qtop}(X_n,x_n)\) is a homeomorphism. Thus \(\pi _{1}^{qtop}(X,x_0)\) is isomorphic to an infinite product of discrete groups and is a metrizable topological group with a neighborhood base of open invariant subgroups at the identity.
A space \(Y\) is a \(k_{\omega }\)space if it is the inductive (or direct) limit of a sequence \(Y_1\subset Y_2\subset Y_3\subset ...\) (called a \(k_{\omega }\)decomposition) of compact subspaces \(Y_n\). Equivalently, \(\bigcup _{n}Y_n=Y\) has the weak topology with respect to the nested subsets \(\{Y_n\}\). If each \(Y_n\) is Hausdorff, then \(Y\) is the quotient of the topological sum \(\coprod _{n}Y_n\) of compact Hausdorff spaces and is therefore compactly generated. A \(k_{\omega }\)group is a quasitopological group whose underlying space is a \(k_{\omega }\)space. It is known that if \(X\) and \(Y\) have \(k_{\omega }\)decomposition \(\{X_n\}\) and \(\{Y_n\}\), then \(\{X_n\times Y_n\}\) is a \(k_{\omega }\)decomposition for the direct product \(X\times Y\) (See the appendix of [12]). Thus finite products of \(k_{\omega }\)spaces are compactly generated. In light of this fact, we apply Theorems 46 and 34.
Proposition 49
If \(X\) is a metric space and \(\pi _{1}^{qtop}(X,x_0)\) is a \(T_2\) \(k_{\omega }\)group, then \(\pi _{1}^{qtop}(X,x_0)\) is a topological group. Moreover, if \(X\) is compact, then \(\pi _{1}^{qtop}(X,x_0)\) is \(T_4\).
Example 50
[6] Let \(C\subset [0,1]\) be the standard middle third Cantor set and \(X=hp(C)\) be the hoop space on \(C\) as constructed in Example 39. Then \(\pi _{1}^{qtop}(hp(C),(0,0))\) is the free group \(F(C)\) generated by the underlying set of \(C\) and is the inductive limit of the compact subspaces \(F_n(C)\) consisting of reduced words \(x_{1}^{\epsilon _1}x_{2}^{\epsilon _2}...x_{m}^{\epsilon _m}\), \(x_i\in C\), \(\epsilon _i=\pm 1\) where \(m\le n\) [6]. In particular, \(F_n(C)\) is the quotient of the compact Hausdorff space \(\coprod _{0\le m\le n}(C\sqcup C^{1})^{m}\). Thus \(\pi _{1}^{qtop}(hp(C),(0,0))\) is a topological group by Proposition 49. In fact, \(\pi _{1}^{qtop}(hp(C),(0,0))\) is isomorphic to the free Markov topological group on \(C\). The same argument can be applied to any zerodimensional, compact space \(C\subseteq [0,1]\).
References
Arhangel’skii, A., Tkachenko, M.: Topological groups and related structures. Series in pure and applied mathematics, Atlantis Studies in Mathematics, pp. 832–842 (2008)
Booth, P., Tillotson, J.: Monoidal closed, Cartesian closed and convenient categories of topological spaces. Pacific J. Math. 88, 35–53 (1980)
Biss, D.K.: The topological fundamental group and generalized covering spaces. Topol. Appl. 124, 355–371 (2002)
Bouziad, A.: The Ellis theorem and continuity in groups. Topol. Appl. 50, 73–80 (1993)
Bouziad, A.: Every Čechanalytic Baire semitopological group is a topological group. Proc. Amer. Math. Soc. 124, 953–959 (1996)
Brazas, J.: The topological fundamental group and free topological groups. Topol. Appl. 158, 779–802 (2011)
Brazas, J.: Semicoverings: a generalization of covering space theory. Homol. Homot. Appl. 14, 33–63 (2012)
Brazas, J.: Open subgroups of free topological groups. Preprint, arXiv:1209.5486 (2012)
Brazas, J., Fabel, P.: Thick Spanier groups and the first shape group. To appear in Rocky Mountain. J. Math. 160, 170–188 (2013)
Brodskiy, N., Dydak, J., Labuz, B., Mitra, A.: Covering maps for locally path connected spaces. Fund. Math. 218, 13–46 (2012)
Brown, R.: Topology and groupoids. Booksurge PLC, UK (2006)
Brown, R., Hardy, J.P.L.: Subgroups of free topological groups and free topological products of topological groups. J. Lond. Math. Soc. 2(10), 431–440 (1975)
Calcut, J.S., McCarthy, J.D.: Discreteness and homogeneity of the topological fundamental group. Topol. Proc. 34, 339–349 (2009)
Conner, G., Meilstrup, M., Repovs̆, D., Zastrow, A., Z̆eljko, M.: On small homotopies of loops. Topol. Appl. 155, 1089–1097 (2008)
Eda, K., Kawamura, K.: The fundamental groups of onedimensional spaces. Topol. Appl. 87, 163–172 (1998)
Ellis, R.: Locally compact transformation groups. Duke Math. J. 24, 119–125 (1957)
Engelking, R.: General topology, Heldermann Verlag Berlin (1989)
Fabel, P.: Topological fundamental groups can distinguish spaces with isomorphic homotopy groups. Topol. Proc. 30, 187–195 (2006)
Fabel, P.: Multiplication is discontinuous in the Hawaiian earring group (with the quotient topology). Bull. Pol. Acad. Sci. 59, 77 (2011)
Fabel, P.: Compactly generated quasitopological homotopy groups with discontinuous multiplication. Topol. Proc. 40, 303–309 (2012)
Fischer, H., Repovš, D., Virk, Z., Zastrow, A.: On semilocally simply connected spaces. Topol. Appl. 158, 397–408 (2011)
Fischer, H., Zastrow, A.: The fundamental groups of subsets of closed surfaces inject into their first shape groups. Algebr. Geom. Topol. 5, 1655–1676 (2005)
Fischer, H., Zastrow, A.: Generalized universal covering spaces and the shape group. Fund. Math. 197, 167–196 (2007)
Fischer, H., Zastrow, A.: A corefree semicovering of the Hawaiian Earring, Preprint, arXiv:1301.3746 (2013)
Ghane, H., Hamed, Z., Mashayekhy, B., Mirebrahimi, H.: Topological homotopy groups. Bull. Belgian Math. Soc. 15, 455–464 (2008)
Ghane, H., Hamed, Z., Mashayekhy, B., Mirebrahimi, H.: On topological homotopy groups of nHawaiian like spaces. Topol. Proc. 36, 255–266 (2010)
Kuratowski, K.: Topologie, vol. I. Państwowe Wydawnictwo Naukowe, Warsaw (1958)
Mardešić, S., Segal, J.: Shape theory, NorthHolland Publishing Company (1982)
Mashayekhy, B., Pakdaman, A., Torabi, H.: Spanier spaces and covering theory of nonhomotopically path Hausdorff spaces, Preprint, arXiv:1105.4010v1 (2012)
Montgomery, D.: Continuity in topological groups. Bull. Am. Math. Soc. 42, 879–882 (1936)
Spanier, E.: Algebraic topology. McGrawHill, New York (1966)
Steenrod, N.E.: A convenient category of topological spaces. Michigan Math. J. 14, 133–152 (1967)
Strickland, N.P.: The category of CGWH spaces. Unpublished, notes (2009)
Virk, Z.: Homotopical smallness and closeness. Topol. Appl. 158, 360–378 (2011)
Virk, Z., Zastrow, A.: A homotopically Hausdorff space which does not admit a generalized universal covering. Topol. Appl. 160, 656–666 (2013)
Wilkins, J.: The revised and uniform fundamental groups and universal covers of geodesic spaces. Topol. Appl. 160, 812–835 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by R. Brown.
Rights and permissions
About this article
Cite this article
Brazas, J., Fabel, P. On fundamental groups with the quotient topology. J. Homotopy Relat. Struct. 10, 71–91 (2015). https://doi.org/10.1007/s4006201300427
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s4006201300427
Keywords
 Fundamental group
 Quasitopological group
 Shape group
Mathematics Subject Classification (2000)
 55Q52
 55Q07
 54H11