Topologized Fundamental Groups

• Topologized fundamental groups are π₁ equipped with non-discrete topologies that preserve local path and loop-space information lost in the classical approach.
• They are constructed via methods such as the compact-open quotient, whisker, and subgroup topologies, each revealing different aspects of covering and semicovering theory.
• These topological refinements provide refined tools for distinguishing complex local structures and extend classical covering theory through generalized coverings and topological groupoids.

Topologized fundamental groups are versions of the fundamental group $\pi_1(X,x_0)$ endowed with non-discrete topologies that encode local and path-space information lost by the ordinary abstract group. The subject has developed around several natural constructions: the quotient topology induced from the loop space with the compact-open topology, the finer whisker topology, subgroup topologies generated by Spanier-type and generalized-covering subgroups, and reflection procedures that force a genuine topological-group structure. These constructions interact closely with covering theory, semicoverings, generalized coverings, separation axioms, and higher-categorical refinements such as topological fundamental groupoids and bigroupoids (Rashid et al., 2016, Brazas, 2010, Shahami et al., 26 Aug 2025).

1. Principal topologizations of $\pi_1$

The classical starting point is the loop space $\Omega(X,x_0)$ with the compact-open topology and the quotient map $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$. The resulting quotient-topological object is the quasitopological fundamental group $\pi_1^{qtop}(X,x_0)$. It is a quasitopological group: inversion and multiplication are separately continuous, but joint continuity may fail. This failure motivated later distinctions between the raw quotient topology and genuine topological-group topologies on the same underlying group (Brazas, 2010, Brazas et al., 2013).

A second standard construction is the whisker topology $\pi_1^{wh}(X,x_0)$. Its basic neighborhoods at $[\alpha]$ are of the form $[\alpha]\cdot i_*\pi_1(U,x_0)$, or equivalently, in the universal path-space picture, classes obtained from $\alpha$ by adjoining a terminal “whisker” in an open neighborhood $U$. This topology is finer than the compact-open quotient topology and is especially effective for expressing local conditions such as semilocally $\pi_1$0-connectedness (Rashid et al., 2016, Jamali et al., 2017).

A third family consists of subgroup topologies. Given a neighborhood family $\pi_1$1 of subgroups of a group $\pi_1$2, one topologizes $\pi_1$3 by taking left cosets of members of $\pi_1$4 as a basis. Applied to $\pi_1$5, this yields the Spanier topology, path Spanier topology, generalized covering topology, thick Spanier topology, and shape topology. These topologies systematically organize the classification of covering-type subgroups (Rashid et al., 2018, Shahami et al., 26 Aug 2025).

A further refinement is the topological-group reflection

$\pi_1$6

defined as the finest group topology on $\pi_1$7 such that the identity map from $\pi_1$8 to $\pi_1$9 is continuous. Equivalently, it is the finest group topology making the loop-space projection continuous. This replaces a possibly non-topological quasitopological group by a genuine topological group without changing the underlying abstract fundamental group (Brazas, 2010).

Topology	Construction	Typical role
$\Omega(X,x_0)$0	Quotient of $\Omega(X,x_0)$1 with compact-open topology	Natural loop-space quotient; semicoverings via open subgroups
$\Omega(X,x_0)$2	Reflection of $\Omega(X,x_0)$3 into topological groups	Genuine topological-group version of the quotient topology
$\Omega(X,x_0)$4	Basis from neighborhoods $\Omega(X,x_0)$5	Encodes local whiskering data and semilocally $\Omega(X,x_0)$6-connectedness
Spanier / lasso	Subgroup topology from Spanier groups	Classification of classical coverings
Path Spanier	Subgroup topology from path open covers	Classification of semicoverings
Generalized covering topology	Subgroup topology from generalized covering subgroups	Classification of generalized coverings

The current literature also compares these topologies in large chains. One survey records

$\Omega(X,x_0)$7

while the generalized covering topology is finer than $\Omega(X,x_0)$8 on locally path connected spaces (Shahami et al., 26 Aug 2025, Rashid et al., 2018).

2. Topological-group properties, separation, and local information

A central fact is that $\Omega(X,x_0)$9 need not be a topological group. The Hawaiian earring is the standard obstruction: it shows that the quotient topology from loops can fail to make multiplication jointly continuous. By contrast, $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$0 is always a topological group, and it agrees with $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$1 exactly when the quotient topology already has jointly continuous multiplication. Moreover, $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$2 and $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$3 have the same open subgroups, so passage to $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$4 preserves the subgroup data relevant to semicovering theory (Brazas, 2010).

Discreteness criteria connect the topology on $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$5 to classical local hypotheses. For $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$6, discreteness implies semilocally simple connectedness, and for locally path connected spaces the converse holds. For $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$7, discreteness is equivalent to the condition that every null-homotopic loop has a neighborhood of null-homotopic loops; in particular, if $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$8 is semilocally simply connected and locally path connected, then $\pi:\Omega(X,x_0)\to \pi_1(X,x_0)$9 is discrete (Brazas et al., 2013, Brazas, 2010).

Separation axioms also admit geometric interpretations. For locally path connected spaces, $\pi_1^{qtop}(X,x_0)$0 is homotopically path-Hausdorff if and only if $\pi_1^{qtop}(X,x_0)$1 is $\pi_1^{qtop}(X,x_0)$2. For locally path connected, paracompact Hausdorff spaces, $\pi_1^{qtop}(X,x_0)$3-shape injectivity is equivalent to invariant separation of $\pi_1^{qtop}(X,x_0)$4, meaning that the intersection of all open invariant subgroups is trivial. The same circle of ideas implies that $\pi_1^{qtop}(X,x_0)$5 is Hausdorff whenever $\pi_1^{qtop}(X,x_0)$6 is shape injective (Brazas et al., 2013, Brazas, 2010).

The whisker topology has its own distinctive behavior. The closure of the trivial subgroup in $\pi_1^{qtop}(X,x_0)$7 is the small loop subgroup $\pi_1^{qtop}(X,x_0)$8. Although $\pi_1^{qtop}(X,x_0)$9 need not be a quasitopological group, it is homogeneous. This makes the whisker topology simultaneously informative and delicate: it often detects local loop behavior more sharply than the quotient topology, but that sharpness can obstruct group-topological regularity (Rashid et al., 2016).

3. Subgroups, coverings, semicoverings, and generalized coverings

One of the main structural themes is the classification of special subgroups of $\pi_1^{wh}(X,x_0)$0 by means of topologies. The relevant subgroup lattice includes the small loop subgroup $\pi_1^{wh}(X,x_0)$1, the small generated subgroup $\pi_1^{wh}(X,x_0)$2, the Spanier group $\pi_1^{wh}(X,x_0)$3, the path Spanier group $\pi_1^{wh}(X,x_0)$4, and the intersection of all generalized covering subgroups, denoted $\pi_1^{wh}(X,x_0)$5. For the spaces considered in the generalized-covering framework, these satisfy

$\pi_1^{wh}(X,x_0)$6

This chain isolates the subgroup-theoretic thresholds separating different covering theories (Rashid et al., 2016).

The subgroup-topology viewpoint turns these thresholds into classification theorems. For connected, locally path connected spaces, a subgroup $\pi_1^{wh}(X,x_0)$7 is a covering subgroup if and only if $\pi_1^{wh}(X,x_0)$8 is open in the Spanier topology. A subgroup is a semicovering subgroup if and only if it is open in the path Spanier topology; equivalently, semicovering subgroups are the open subgroups of $\pi_1^{wh}(X,x_0)$9. The lasso topology coincides with the Spanier topology, so the classical cover classification can be stated in either language (Rashid et al., 2018).

Generalized coverings require a subtler criterion. A generalized covering subgroup is by definition a subgroup of the form

$[\alpha]$0

for a map $[\alpha]$1 with the unique lifting property. The core subgroup $[\alpha]$2 is contained in every such subgroup, and the intersection of any collection of generalized covering subgroups is again a generalized covering subgroup. Given $[\alpha]$3, if $[\alpha]$4, then $[\alpha]$5 is not a generalized covering subgroup; if $[\alpha]$6, then $[\alpha]$7 is generalized covering precisely when it equals the image of the associated endpoint projection $[\alpha]$8 (Rashid et al., 2016).

Local connectedness relative to subgroups provides the topological side of these classifications. A subgroup $[\alpha]$9 is open in $[\alpha]\cdot i_*\pi_1(U,x_0)$0 if and only if $[\alpha]\cdot i_*\pi_1(U,x_0)$1 is semilocally $[\alpha]\cdot i_*\pi_1(U,x_0)$2-connected at $[\alpha]\cdot i_*\pi_1(U,x_0)$3. A subgroup $[\alpha]\cdot i_*\pi_1(U,x_0)$4 is open in $[\alpha]\cdot i_*\pi_1(U,x_0)$5 if and only if $[\alpha]\cdot i_*\pi_1(U,x_0)$6 is semilocally path $[\alpha]\cdot i_*\pi_1(U,x_0)$7-connected. From this one obtains precise equalities of covering categories: $[\alpha]\cdot i_*\pi_1(U,x_0)$8 if and only if $[\alpha]\cdot i_*\pi_1(U,x_0)$9 is semilocally path $\alpha$0-connected, and $\alpha$1 if and only if $\alpha$2 is semilocally $\alpha$3-connected. A stronger sufficient condition is semilocally small generatedness: if $\alpha$4 is connected, locally path connected, and semilocally small generated, then

$\alpha$5

These equalities generalize the classical regime in which semilocally simply connected spaces admit well-behaved covering theory (Rashid et al., 2016).

4. Comparison theorems and small loop transfer phenomena

The comparison between the compact-open quotient topology and the whisker topology is governed by small loop transfer conditions. For a connected locally path connected space, $\alpha$6 is an SLT space at $\alpha$7 if and only if

$\alpha$8

Under the same hypotheses, SLT implies that both topologies make the fundamental group into a topological group. A weaker loop-based condition, SLTL at $\alpha$9, is equivalent to $U$0 being a topological group (Jamali et al., 2017).

These transfer conditions also control small-loop subgroups. For SSLT spaces, $U$1. In SLT spaces one has the same equality, and if such a space has indiscrete $U$2, then it is a small loop space. The literature emphasizes that the reverse implications frequently fail, so these equivalences are sharp rather than schematic (Jamali et al., 2017).

Topological groups form a particularly rigid class. Every topological group is a strong SLT space at the identity element. Consequently, if $U$3 is connected and locally path connected, then

$U$4

and both are topological groups. The same paper proves that every covering space of such a topological group is itself a topological group and that the covering projection is a homomorphism. Thus, the pathologies of $U$5 that occur for spaces such as the Hawaiian earring are absent in the topological-group setting (Torabi, 2018).

A further refinement replaces normality assumptions by local quasinormality. If $U$6 is an $U$7-SLT space at $U$8 and $U$9 is locally quasinormal, then homotopically Hausdorff relative to $\pi_1$00 implies homotopically path Hausdorff relative to $\pi_1$01. Under the stronger hypothesis of being strong $\pi_1$02-SLT, whisker and lasso topologies coincide on the standard construction $\pi_1$03 for all conjugates $\pi_1$04. Path Spanier subgroups provide examples of locally quasinormal subgroups that need not be normal, showing that these subgroup-relative results genuinely extend earlier normal-subgroup theorems (Pashaei et al., 2023).

5. Standard examples, pathologies, and distinguishing power

The Hawaiian earring is the canonical test space for the theory. It shows that $\pi_1$05 need not be a topological group, that the whisker and quotient topologies can differ sharply, and that several standard topologies on $\pi_1$06 can all be distinct. In the subgroup-topology literature, the Hawaiian earring also exhibits strictness in chains such as

$\pi_1$07

while the generalized covering topology is finer than the quotient topology and can even be discrete in situations where $\pi_1$08 and $\pi_1$09 are not (Rashid et al., 2018, Shahami et al., 26 Aug 2025, Jamali et al., 2017).

The Harmonic Archipelago and related spaces clarify non-implications. The Harmonic Archipelago is not an SLT space globally, but it is SLT at a non-semilocally simply connected point. There are spaces, including the Harmonic Archipelago, for which $\pi_1$10 is an indiscrete topological group even though the space is not SLT. Conversely, the space $\pi_1$11 is semilocally small generated, so $\pi_1$12 is a topological group, but $\pi_1$13 is not SLT at any point and $\pi_1$14 is not a topological group. For the Harmonic Archipelago, the generalized covering topology can be trivial while the whisker topology is discrete, showing that these topologies need not be comparable in any naive sense (Jamali et al., 2017, Rashid et al., 2018).

Suspension constructions provide a different source of examples. For any space $\pi_1$15,

$\pi_1$16

the free Markov topological group on the path-component space of $\pi_1$17. This realizes free topological groups as topological fundamental groups and shows that spaces with isomorphic abstract fundamental groups can have non-isomorphic topological fundamental groups. A standard example compares the usual wedge $\pi_1$18 with a generalized wedge over the one-point compactification of $\pi_1$19: both have free countable abstract fundamental group, but their topological fundamental groups may differ (Brazas, 2010).

This distinguishing power is one of the principal motivations for topologization. The quotient-topological and reflected-topological structures can separate spaces that are weakly homotopy equivalent or shape equivalent but not homotopy equivalent, and they retain local information that ordinary covering-space theory and the abstract group $\pi_1$20 forget (Brazas et al., 2013, Brazas, 2010).

6. Groupoids, higher analogues, and alternative ambient categories

Topologized fundamental groups sit naturally inside broader topological-categorical structures. For locally path connected, semilocally simply connected spaces, the fundamental groupoid $\pi_1$21 admits a natural topology making it a topological groupoid; the compact-open quotient topology on path classes coincides with a universal-cover-style topology, and the two hypotheses are shown to be minimal for this construction. In this setting the isotropy group $\pi_1$22, with the subspace topology from $\pi_1$23, is discrete. The same work proves that $\pi_1$24 is generally not étale and that for a topological group $\pi_1$25, $\pi_1$26 is a transformation groupoid $\pi_1$27, where $\pi_1$28 is the universal cover of $\pi_1$29 (Holkar et al., 2023).

The action-theoretic interpretation of this groupoid recovers classical covering theory. For path connected, locally path connected, semilocally simply connected $\pi_1$30, the category of connected $\pi_1$31-spaces whose momentum maps are local homeomorphisms is isomorphic to the category of connected covering spaces of $\pi_1$32. Free actions correspond to simply connected covering spaces, while proper actions correspond to finite-sheeted coverings (Holkar et al., 2023).

Higher and relative analogues extend the same philosophy. For a semilocally $\pi_1$33-connected map $\pi_1$34 with locally $\pi_1$35-connected base, the vertical fundamental groupoid $\pi_1$36 can be topologized as a topological groupoid over $\pi_1$37, yielding a fibrewise universal covering construction. For semilocally $\pi_1$38-connected spaces, the fundamental bigroupoid $\pi_1$39 can be topologized, encoding homotopy $\pi_1$40-type data with continuous structure maps (Roberts, 2014, Roberts, 2013).

The quotient-topological idea also extends to higher homotopy groups. For every $\pi_1$41, one may topologize $\pi_1$42 as the quotient of the based $\pi_1$43-loop space; the resulting $\pi_1$44 is a topological group. For locally $\pi_1$45-connected metric spaces it is discrete, and in higher dimensions these topological homotopy groups can detect phenomena invisible to the fundamental group topology alone (Ghane et al., 2011).

Finally, alternative ambient categories improve regularity at the categorical level. In the categories of epitopological and pseudotopological spaces, Biss-style quotient constructions produce fundamental group functors landing directly in group-objects with continuous multiplication and inversion; finite products are preserved in the epitopological setting, and arbitrary products in the pseudotopological setting. These constructions retain the information of the classical topologized fundamental group while avoiding some of the product-instability of ordinary topological quotients (Dossena, 2017).