Topologized Fundamental Groups: The Quotient Topology Part 1

Next up for topologies on the fundamental group is what I’d consider the most “natural” one. It’s almost certainly the topology you’d most often get if you asked random topologists on the street to construct one for you. This is the natural quotient topology. I’m excited about this one. I studied this one a lot as a grad student so it’s near and dear to my heart.

Now, even though it’s easy to construct and the added topology often contains way more information than the ordinary non-topologized fundamental group, it is actually quite tricky to work with. I also mentioned in my primer post that this topology comes with historical baggage and I’ll get to that later in this post.

Let’s go ahead and define it. Throughout, X will be a path-connected space with basepoint x_0\in X. Let \Omega(X,x_0) denote the space of loops in X based at x_0, that is, maps \alpha:[0,1]\to X with \alpha(0)=\alpha(1)=x_0. We give \Omega(X,x_0) the usual compact-open topology, which is generated subbasis sets \langle K,U\rangle=\{\alpha\mid \alpha(K)\subseteq U\} for compact K\subseteq [0,1] and open U\subseteq X.

Every based loop \alpha\in\Omega(X,x_0) has a corresponding path-homotopy class [\alpha]\in \pi_1(X,x_0). This defines a surjection q:\Omega(X,x_0)\to\pi_1(X,x_0), q(\alpha)=[\alpha] which identifies homotopy classes.

Definition: Let \pi_{1}^{qtop}(X,x_0) denote \pi_1(X,x_0) equipped with the quotient topology with respect to the map q:\Omega(X,x_0)\to\pi_1(X,x_0). We refer to this topology as the natural quotient topology on \pi_{1}(X,x_0).

What this means: Remember that a surjective function q:X\to Y is a quotient map if U is open in Y if and only if it’s a preimage q^{-1}(U) is open in X. Hence, a set A\subseteq \pi_{1}^{qtop}(X,x_0) is open (closed) if and only if the set q^{-1}(A) of all loops representing the homotopy classes in A is open (closed) in \Omega(X,x_0).

The “qtop” superscript is actually going to do double duty here. Yes, it stands for “quoteint topology” but it also invokes the term “quasitopological” as in quasitopological group. The early literature on the quotient topology is messy but has corrected itself and has seen a lot of growth in the past 10 years. A summary appears in the following paper.

J. Brazas, P. Fabel, On fundamental groups with the quotient topology, J. Homotopy and Related Structures 10 (2015) 71-91

Terminology: Occasionally, authors will call the quotient topology on \pi_1 the “compact-open topology.” Tisk tisk. Look…I get it. The quotient topology does descend from the compact-open topology. Fine. But it’s not the compact-open topology itself so why call it the compact-open topology. “c.o.-quotient” topology would be better. I get a little hot about this because other topologies on \pi_1 like the tau-topology also depend very closely on the compact-open topology on loop spaces so when authors do this, I see it as an example of choosing to confuse terminology that avoids readily available descriptive terms. It’s a quotient topology… just call it what it is. Sometimes I’ve called it the quasitopological fundamental group, which is not ideal for more subtle reasons. At this point just “the natural quotient topology” is probably best. Sorry* for the rant.

In this sequence of posts, I’m going to detail some of the history, properties, and uses of the natural quotient topology on the fundamental group.

Understanding the compact-open topology

Since we’re form a quotient space from the compact-open topology, let’s briefly unpack what the compact-open topology is really about. A subbasic set of the form \langle K,U\rangle in \Omega(X,x_0) can be thought of as a single instruction. It contains all of the paths that do something similar, namely map K into U. A basis set is an intersection of subbasic sets, say \bigcap_{i=1}^{n}\langle K_i,U_i\rangle, which can be thought of as a finite set of instructions. If we have \alpha\in \bigcap_{j=1}^{n}\langle K_j,U_j\rangle, then \alpha must map K_1 into U_1, and K_2 into U_2, and so on. Provided the compact sets K_i cover [0,1], we have some kind of restriction on every point in the domain. For example, let K_{n}^{j}=\left[\frac{j-1}{n},\frac{j}{n}\right]. Then \mathscr{U}=\bigcap_{j=1}^{n}\langle K_{n}^{j},U_j\rangle is a basic open set and every element of \mathscr{U} must be a path which proceeds sequentially through the sets U_1,U_2,\dots,U_n in X at a certain rate.

A basic open set in the compact open topology

A basic open set in the compact open topology

It’s a folklore lemma that’s a bit tedious to prove that the sets of the form \mathscr{U} actually form a basis for the compact-open topology on \Omega(X,x_0).

The compact-open topology is the one most often used on loop spaces because

  1. it usually has nice categorical properties,
  2. it generalizes the topology of uniform convergence. In particular, if X is a metric space, then \{\alpha_n\}\to \alpha in \Omega(X,x_0) with the compact-open topology if and only if \{\alpha_n\}\to \alpha uniformly in X,
  3. standard operations on loops are continuous.

Let’s expand upon 3. The usual concatenation of loops gives us an operation c:\Omega(X,x_0)\times\Omega(X,x_0)\to \Omega(X,x_0), c(\alpha,\beta)=\alpha\cdot\beta where \alpha\cdot\beta is the loop that does \alpha on [0,1/2] and \beta on [1/2,1]. We also have a reverse path operation rev:\Omega(X,x_0)\to \Omega(X,x_0), rev(\alpha)=\alpha^{-}. Here, \alpha^{-}(t)=\alpha(1-t) simply does \alpha in the opposite orientation. It’s a nice exercise to check that c and rev are continuous. One should beware that c is not stricly unital or associative.

We can also restrict the concatenation map c to continuous right- and left-concatenation maps:

  • \rho_{\beta}:\Omega(X,x_0)\to\Omega(X,x_0), \rho_{\beta}(\alpha)=\alpha\cdot\beta;
  • \lambda_{\beta}:\Omega(X,x_0)\to\Omega(X,x_0), \lambda_{\beta}(\alpha)=\beta\cdot\alpha.

Both of these are continuous as they can be identified with restrictions of c.

What kind of thing is \pi_{1}^{qtop}(X,x_0)?

The definition of \pi_{1}^{qtop}(X,x_0) is so natural and simple that this topologized group should to be a pretty nice thing, right? Let’s see what we can do. We really only need one tool from general topology.

University property of quotient maps: Consider spaces A,B,C and functions q,f,g that make the following diagram commute (so f\circ q=g).

If q is a quotient map and g is continunous, then f is continuous too.

The universal property is a powerful tool for showing that functions are continuous. Note that the universal property might appear in slightly different ways. For instance, we might instead have the following commutative square.

In a situation like this, the universal property becomes useful if we’re not sure if h is continuous or not. If the left map q is a quotient map and the upper composition g\circ f is continuous, then h will also be continuous. Of course, this is just a special case of the triangle above, but for the sake of applications it’s good to be ready to use it in diagrams of various shapes.

Let’s try our best to prove that \pi_{1}^{qtop}(X,x_0) is a topological group. First, we’ll prove that inversion is continuous.

Proposition: Group inversion inv:\pi_{1}^{qtop}(X,x_0)\to \pi_{1}^{qtop}(X,x_0), inv([\alpha])=[\alpha]^{-1} is continuous.

Proof. Consider the following commutative square.

Here, rev(\alpha)=\alpha^{-} is the reverse map. Since inv(q(\alpha))=[\alpha]^{-1}=[\alpha^{-}]=q\circ rev(\alpha), the diagram does indeed commute. Now both vertical maps are the quotient map q and as noted above, rev is continuous. Since the left map is quotient and the upper composition q\circ rev is continuous, the bottom maps inv is continuous by the universal property of quotient maps. \square.

Ok, with the universal property in hand, that wasn’t so bad! Let’s see if we can do the same thing for group multiplication \mu:\pi_{1}^{qtop}(X,x_0)\times \pi_{1}^{qtop}(X,x_0)\to \pi_{1}^{qtop}(X,x_0). WARNING: I’m about to propose an incorrect proof. It’s going to have an error in it. See if you can find it.

Proposed Proof. Consider the following commutative diagram where c is the concatenation map and \mu is the group operation in the fundamental group.

Note that \mu(q\times q(\alpha,\beta))=[\alpha][\beta]=[\alpha\cdot\beta]=q(c(\alpha,\beta) so the diagram does indeed commute. By definition q is a quotient map and as noted above c is continuous. Since the left vertical map q\times q is quotient and the upper composition q\circ c is continuous, the bottom map \mu is continuous by the universal property of quotient maps. (QED?)

Seem ok? See any problems? The diagram commutes just fine. The upper composition is continuous. The error is in the phrase: “Since the left vertical map q\times q is quotient.” Here’s a valuable lesson friends. If we’re using the product topology (which is what you use for a topological group G to have continuous multiplication G\times G\to G), the direct product of two quotient maps is not always a quotient map. There are counterexamples in most introductory general topology books.

Just because a proof is wrong doesn’t always mean the claim is false. However…our wish here is false. Spoiler Alert: \pi_{1}^{qtop}(X,x_0) is NOT always a topological group. In fact, I’d say it’s rarely a topology group when it’s Hausdorff and non-discrete. Paul Fabel gave the first counterexample [4] and shortly after I published one [2] that connects to other structures from topological group theory.


The above logical error is an easy one to make and miss. The most notable place this mistake was made is in the 2002 paper:

[1] D. Biss, The topological fundamental group and generalized covering spaces,
Topology Appl. 124 (2002), 355–371. RETRACTED.

This paper had some really cool global ideas. However, there are a ton of independent errors in it…. I mean a ton. Very few results in it are correct. As you can see it is now retracted – and it even made retraction watch. According to Google Scolar, as of 8/25/2022, this paper has 90 citations! The errors within created something of a mess for a while because some papers called upon Biss’ false claims. For one, we no longer called it the “topological fundamental group” because we now know it’s not always “topological” in the sense of being a “topological” group. Unfortunately, several papers have cited [1] without mentioning the many errors or retraction.

The same error was used in [6] to claim the higher homotopy groups with the natural quotient topology are always topological groups. Paul Fabel constructed counterexamples to this higher-dimensional claim in [5].

Actually, the same mistake was made 12 years earlier in an appendix [7] written by my mathematical grandfather J.P. May. This short note involves a groupoid version of \pi_{1}^{qtop}(X,x_0) but it includes essentially the same error. However, unlike in Biss’ paper, the overall results are not damaged by this error because of the kinds of spaces being used.

I think most professional mathematicians, incluidng myself, have published some false arguments or statements. Sometimes our intuition guides our writing more than formal logic does. This can lead to a correct result but a proof with an easily fixable logical gap. Occasionally, like in this case, a published error might be unfixable.

Nobody wants to have their published mathematics end up being wrong. The point of publicly mentioning these specific papers is not to be hard on the people making the mistakes. I mean…. J.P. May, who asked me about this situation back in 2010, is one of the most influential and prolific algebraic topologists in the history of the subject. Also, Biss’ paper did end up being very influential even if it’s not in the intended way. That’s something to consider. Rather, the point of this part of the post is to:

  1. Encourage awareness about published errors so others don’t fall into the trap of doing mathematics that depends on false claims.
  2. Emphasize to young mathematicians that incorrect math can lead to new (and correct) ideas and areas of research and that even great mathematicians make mistakes here and there. It’s possible to own up to a mistake without getting defensive or letting it defeat you personally.
  3. Show that it is possible to point out mistakes of others at the research level in a respectful and kind manner.

How I learned to love horrifyingly complicated things

Now, look…sometimes the direct product of two quotient maps is a quotient map. And it’s true that for some spaces X, this works and \pi_{1}^{qtop}(X,x_0) does end up being a topological group. But this is really only guaranteed when the domain and codomain satisfy some (local) compactness criteria. This apparent failure of the topological category \mathbf{Top} is closely related to the fact that it is not Cartesian closed. Are there ways to cheat the system? Sure. This apparent deficiency goes away if you replace the usual category of spaces with a coreflective Cartesian closed category like compactly generated spaces, sequential spaces, delta-generated spaces, etc. However, if you work internal to one of these categories, the group-objects in those categories may not be true topological groups.

Before, you demand that we switch to one of these categories consider where this is going. Maybe consider the question “what is the fundamental group good for?” I’d say its utility is that it is an invariant, which creates a symbiotic relationship between topology and algebra. You can study and classify spaces using the algebra and functorality of fundamental groups and, on the flip side, if you want to prove things about a collection of groups it’s often a good idea to realize them as fundamental groups of spaces with some common features and then use the topology to prove things about the groups. For example, fundamental groups can be used to classify surfaces and, in the other direction, covering space theory provides nice proofs of results like the Nielsen-Schreier and Kurosh Theorems.

What can a topologized fundamental group like \pi_{1}^{qtop}(X,x_0) be good for? Potentially, it could create an extended symbiotic relationship between spaces with complicated local structure and topologized groups. I’d say this has been carried out in a successful way and the progress is ongoing. For example, long-standing gaps in free topological group theory have been filled using topologized fundamental groups. The only known proofs rely on working with \pi_{1}^{qtop}(X,x_0). Such things could not have been found if everyone had just decided to shove everything into another category.

Also, from a pragmatic viewoint…there are international communities of general topologists studying the topology of actual topological groups. There are not large communities who just study groups internal to, say, compactly generated spaces. Not that there shouldn’t be…but there just aren’t.

Personally, the fact that \pi_{1}^{qtop} ends up being really complicated taught me a valuable lesson early on in my research career. If I became unwilling to struggle to work with complicated structures that some mathematicians might find ugly or terrifying, my mathematical world would remain small and leave me with less potential to reveal fascinating and beautiful possibilities.

\pi_{1}^{qtop}(X,x_0) is a quasitopological group

If \pi_{1}^{qtop}(X,x_0) not being a topological group is a castle in ruins, let’s pick up some of rubble and build a tiny house out of it.

Definition: a group G with topology is a quasitopological group if inversion g\mapsto g^{-1} is continuous and if multiplication G\times G\to G is continuous in each variable, that is, if all left and right translation maps G\to G given by h\mapsto gh and h\mapsto hg are continuous for all g\in G.

For [\beta]\in\pi_{1}^{qtop}(X,x_0), let \rho_{[\beta]}:\pi_{1}^{qtop}(X,x_0)\to \pi_{1}^{qtop}(X,x_0), \rho_{[\beta]}([\alpha])=[\alpha][\beta] be right multiplication by [\beta], and \lambda_{[\beta]}:\pi_{1}^{qtop}(X,x_0)\to \pi_{1}^{qtop}(X,x_0), \lambda_{[\beta]}([\alpha])=[\beta][\alpha] be left multiplication by [\beta].

Lemma: For any based space (X,x_0), \pi_{1}^{qtop}(X,x_0) is a quasitopological group.

Proof. We have already seen above that inversion in \pi_{1}^{qtop}(X,x_0) is continuous. Fix [\beta]\in\pi_{1}^{qtop}(X,x_0)  and consider the following commutative diagrams involving left and right concatenation/multiplication.

In both squares, the left map is quotient and the upper composition is continuous. Therefore the bottom maps are continuous by the universal property of quotient maps. \square.

Theorem: \pi_{1}^{qtop}:\mathbf{Top_{\ast}}\to \mathbf{qTopGrp} is a functor from the category of based topological spaces to the category of quasitopological groups and continuous homomorphisms.

Proof. The previous lemma, tells us that \pi_{1}^{qtop} is well-defined on objects. The underlying algebraic structure of \pi_{1}^{qtop} is the usual functor \pi_{1} so we only need to check that if f:(X,x_0)\to (Y,y_0) is a based map, then the induced homomorphism f_{\#}: \pi_{1}^{qtop}(X,x_0)\to \pi_{1}^{qtop}(Y,y_0) is continuous. First, note that there is an induced loop-space function \Omega(f):\Omega(X,x_0)\to \Omega(Y,y_0), \Omega(f)(\alpha)=f\circ \alpha. If \langle K,U\rangle is a subbasic open set in \Omega(Y,y_0), then \Omega(f)^{-1}(\langle K,U\rangle)=\langle K,f^{-1}(U)\rangle is a subbasic open subset of \Omega(X,x_0). Thus \Omega(f) is continuous. The map f also induces the homomorphism f_{\#}:\pi_1(X,x_0)\to\pi_1(Y,y_0), f_{\#}([\alpha])=[f\circ \alpha]. Now consisder the following diagram.

Since f_{\#}(q(\alpha))=f_{\#}([\alpha])=[f\circ \alpha]=q\circ \Omega(f)(\alpha), the diagram commutes. Moreover, the left vertical map is quotient and the upper composition is continuous. Therefore, the bottom function is continuous by the universal property of quotient maps. \square.

If f:(X,x_0)\to (Y,y_0) and g:(Y,y_0)\to (X,x_0) are based homotopy inverses, then the homomorphisms f_{\#} and g_{\#} they induce are continuous inverses and therefore are homeomorphisms. This means that \pi_{1}^{qtop} is an invariant of based homotopy type.

Exercise: Use the universal property of quotient maps to prove that if \beta:[0,1]\to X is a path from x_0 to x_1, then the basepoint-change isomorphism \varphi_{\beta}:\pi_{1}^{qtop}(X,x_0)\to\pi_{1}^{qtop}(X,x_1), \varphi([\alpha])=[\beta^{-}\cdot\alpha\cdot\beta] is a homeomorphism.

From this exercise, the same argument that \pi_1 is an invariant of unbased homotopy type can be used to show that \pi_{1}^{qtop} is an invariant of unbased homotopy type.

Corollary: If X and Y are path connected and X\simeq Y, then \pi_{1}^{qtop}(X,x_0)\cong \pi_{1}^{qtop}(Y,y_0) as quasitopological groups for any choice of x_0\in X and y_0\in Y.

There’s a lot more to say about \pi_{1}^{qtop} and I’ll get to some of it in future posts. For now we can take away the fact that even though \pi_{1}^{qtop}(X,x_0) is not always a topological group, it is still pretty close to being a topological group. Moreover, the natural quotient topology gives us a homotopy invariant, which is much stronger invariant than the usual fundamental group, particularly when it comes to spaces with complicated local structures.


[1] D. Biss, The topological fundamental group and generalized covering spaces,
Topology Appl. 124 (2002), 355–371.

[2] J. Brazas, The topological fundamental group and free topological groups, Topol. Appl. 158 (2011) 779–802.

[3] J. Brazas, P. Fabel, On fundamental groups with the quotient topology, J. Homotopy Relat. Struct. 10 (2015) 71–91.

[4] P. Fabel, Multiplication is discontinuous in the Hawaiian earring group, Bull. Pol. Acad. Sci., Math. 59 (2011) 77–83.

[5] P. Fabel, Compactly generated quasitopological homotopy groups with discontinuous multiplication, Topol. Proc. 40 (2012) 303–309.

[6] H. Ghane, Z. Hamed, B. Mashayekhy, and H. Mirebrahimi, Topological
homotopy groups, Bull. Belgian Math. Soc. 15 (2008), 455–464.

[7] J.P. May, G-spaces and fundamental groupoids, appendix, K-Theory 4
(1990), 50–53.


*I’m not really sorry. It does bug me.

This entry was posted in Algebraic Topology, compact-open topology, Fundamental group, Quasitopological groups, quotient topology, Topological groups, Uncategorized and tagged , , , , , . Bookmark the permalink.

3 Responses to Topologized Fundamental Groups: The Quotient Topology Part 1

  1. Pingback: How to “topologize” the fundamental group: a primer | Wild Topology

  2. Pingback: Topologized Fundamental Groups: The Quotient Topology Part 2 (Discreteness) | Wild Topology

  3. Pingback: Topologized Fundamental Groups: The Quotient Topology Part 3 (Why isn’t it always a topological group?) | Wild Topology

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s