In Part 1 and Part 2, I gave detailed introductory exposition about the whisker topology on the fundamental group. In general, this topologized fundamental group is a left topological group and therefore a homogeneous space. Moreover, whenever this group is , it’s also zero-dimensional. This bit about zero-dimensionality is a huge restriction which tells us the whisker topology is a very fine topology. Most often, we’re interested in metrizable spaces so it’s natural to ask what we can acheive in this situation.
The proof I’m going to give isn’t too hard but it does require working through several individual steps. If nothing else, this proof is basically the same as a certain proof that a universal covering space of a locally path-connected, metrizable space is metrizable.
(Pseudo)metrizability of the whisker topology
Supposing that is metrizable, pick a metric that induces the topology of . Let’s define a distance function on . For loops based at , set
Now, it’s possible that even when so we should only expect that will be a pseudometric in general. Symmetry is pretty clear from the definition. The triangle inequality is maybe a little less clear but working it out is a nice exercise. Let’s do it. There are some different ways to write proofs like this involving infimums and supremums that use a variety of established/known facts but these are pretty efficient (though they are by contradiction).
Lemma: If are loops in based at and , then .
Proof. Recall the supremum definition of the diameter of a loop. We’ll use the general fact that if and only if there exists with . If , then there exists with . If , then , which is a contradiction. If , then . Without loss of generality, suppose and . Then
but this is a violation of the triangle inequality in .
Lemma: Given , .
Proof. We’ll play a similar game in this lemma using the analagous elementary fact for infimums: if and only if there exists with ,
Suppose . Since , there exists a loop with and . Since , there exists a loop with and . Now and . We have from the previous lemma so . Since , this is a contradiction. .
With the triangle inequality in hand, we have a pseudometric! Now we should check that it induces the topology . In general, if is a (pseudo)metric on a set , will denote the open ball of radius about .
Lemma: The pseudometric induces the topology of .
Proof. Let be a basic neighborhood of in . Find such that where is the open -ball about . Suppose . Since , there exists a loop based at with and . Since has image in , it has image in . This gives .
For the other direction, suppose and consider the neighborhood . We’ll show that . Suppose . Write for loop in . Then and . Thus , showing .
Theorem: If is metrizable, then is pseudometrizable.
Remark: This proof also goes through for the space of all path-homotopy classes of paths starting at with the whisker topology of which is a subspace. Indeed, whenever is metrizable, is pseudometrizable (See [5,Lemma 2.12]). Why I’m taking a second to do the proof is to emphasize that it works for ALL metrizable spaces, not just those for those having the usual assumptions of covering space theory.
But…can we get rid of the “pseudo?” In a pseudometric space it’s possible to have distinct points that have zero-distance from each other. Such a space is not even . This can certainly happen for and we saw an instance of it in an earlier post. But it’s also true that a pseudometrizable space is metrizable if and only if it’s Hausdorff and we characterized the Hausdorff property for in Part 2. Moreover, we showed that is zero-dimensional whenever it’s Hausdorff.
Let’s summarize. Taking several of our established results, we have the following.
Theorem: Let be a path-connected, metrizable, homotopically Hausdorff space and . Then is a homogeneous, zero-dimensional, metrizable space.
This applies in lots of cases, include all one-dimensional and planar spaces.
Now I’m wondering about separability. Here, I’m still assuming is a homotopically Hausdorff metric space so that we’re in the situation of the previous theorem. Clearly is separable if it is countable. That’s not so interesting. What about in other cases? Honestly, I’m not too sure how to characterize this in general. Here’s how I think we can understand it. Let be the -ball about in . If was a dense countable subset of , then for every homotopy class and neighborhood , we’d have for some . Another way to say this is that there is a sequence in where the products have representatives that get arbitrarily small. So we can take any element of the fundamental group and make it small by multiplying on the right by inverses of the elements of .
In the earring group, a Cantor diagonalization argument should be possible to see it’s not separable. I don’t want to get hung up on this here and get caught up in examples, but it’s a curious question and maybe someone else wants to go down this rabbit hole. This could make a nice student project.
Question: If is a homotopically Hausdorff metric space, when is separable? What are some nice examples illustrating when it is and isn’t separable?
To finish the post, I’m going to go back to why I actually spent 3 posts writing about a topology I’ve never really cared much about.
Why am I starting to care more about the whisker topology?
I’ll be honest… I used to think the whisker topology wasn’t too interesting or useful. Here, I’ll spend a little time trying to explain why I’ve changed my tune on this. I want to be clear that I’m not so much trying to publicize my own results as must as I want to publicize the fact that I don’t really understand a certain naturally occuring group as well as I’d like to.
Consider the one-point union of the earring space and the n-dimensional earring as seen below for .
The group is fairly complicated because is uncountable and infinitary. Unlike with , the usual -action is not enough to really understand . Recently, I proved that canonically embeds into the group . I’d like to understand the image in this product of ‘s better.
We can think of elements of as functions , which has finite support in the second variable: for each , the set is finite.
The canonical homomorphism is not onto! Here’s the characterization of the image: an element is in the image of and therefore uniquely represents a homotopy class in if and only if is countable and has compact closure in . So elements of are classified by functions with countable support and such that that is non-trivial on only a “bounded” set in the second variable (but only with the whisker topology!). Even though I have a geometric understanding of this group and feel this description is good enough for most any use I can imagine, there is topology embedded in the indexing sets. My instinct tells me that it’s built-in topological nature can’t be done away with but this idea is not really something I know how to formalize. Anyway, I never would have guessed the whisker topology would become relevant to wild higher homotopy theory.
So what are the compact subsets?
That stuff about homotopy groups is why I was interested in understanding compact subsets of . The theorem we worked out in these posts says that is often zero-dimensional and metrizable. In this case, a compact subset of will be a zero-dimensional compact metric space.
This leaves open the possibility could be homeomorphic to a Cantor set, which does seem reasonable. Here’s an example.
Example: is the infinite direct product of copies of the projective plane, then is abelian and therefore is a topological group by results in Post 1. But we can say more. We can identify with the discrete group for any choice of basepoint. Now, a basic neighborhood of the basepoint in can be taken to be of the form where is a contractible neighborhood of the basepoint in .Therefore, if is a loop in , then . This is the key idea needed to check that is canonically isomorphic to the topological group with the product topology. In particular, is a metric space for which is homeomorphic to a Cantor set.
So, yes, a compact subset of can be as complicated as a Cantor set. But descriptive set theory tells us it can’t be much worse. Every Polish space is the disjoint union of a countable scattered subspace and (possibly) a perfect set. In our situation, zero-dimensionality ensures that if there is a perfect subset, it must be a Cantor set.
Theorem: Let be a path-connected, metrizable, homotopically Hausdorff space and . If is a compact, then is either homeomorphic to a countable compact ordinal or the union of a countable scattered space and a Cantor set.
I don’t know that this solves the entirety of my lack of understanding of my representation of using the whisker topology but it does give me a way to handle compact sets in if I need to.
The references here include several papers that involve the whisker topology from a group of Iranian researchers who have done a lot of research in this area.
 N. Jamali, B. Mashayekhy, H. Torabi, S.Z. Pashaei, M. Abdullahi Rashid, On
topologized fundamental groups with small loop transfer viewpoints, Acta Math. Vietnamica, 44 (2019) 711–722.
 M. Abdullahi Rashid, N. Jamali, B. Mashayekhy, S.Z. Pashaei, H. Torabi, On subgroup topologies on the fundamental group. Hacettepe Journal of Mathematics & Statistics 49 (2020), no. 3, 935 – 949.
 M. Abdullahi Rashid, B. Mashayekhy, H. Torabi, S.Z. Pashaei, On subgroups of
topologized fundamental groups and generalized coverings, Bull. Iranian Math. Soc.
43 (2017), no. 7, 2349–2370.
 M. Abdullahi Rashid, S.Z. Pashaei, B. Mashayekhy, H.Torabi, On the Whisker Topology on Fundamental Group. Conference Paper from 46th Annual Iranian Mathematics Conference 46 (2015). Note: easily found through a google search but I can’t get a link to work.
 H. Fischer, A. Zastrow, Generalized universal covering spaces and the shape
group, Fund. Math. 197 (2007) 167-196.