This post follows the primer: How to “topologize” the fundamental group. I’m starting with the “whisker topology” because it comes from a very familiar construction. Also, with such a simple definition, a lot of the questions one could ask about it are pretty straightforward to answer. I found writing this to be a string of fun little exercises.

Despite the apparent simplicity, compact sets in the whisker topology are not always so easy to understand. To my own bewilderment, I’ve been needing to understand exactly such things is some recent projects on wild higher homotopy groups. So I’m also hoping these posts will help me clarify some of my own thoughts about it.

Let’s jump right into it. If you have seen covering space theory, you are likely to recognize the following construction.

## A construction from covering space theory

Let be a path-connected space with basepoint . If we were trying to construct a universal covering space for (whether it actually exists or not), we might try the following “standard” construction: Let be the set of path-homotopy classes of paths starting at . We define a topology on by determining a basis. A basic open neighborhood of is of the form where is an open neighborhood of in . Here, denotes path concatenation. For later on, will denote the reverse path of and will be denote the constant path at so that is both the identity element of and the basepoint of .

Given a path and a neighborhood of in , the neighborhood of in consists of only homotopy classes that differ from by a “small” change or “whisker” at it’s end. This is why this topology is often referred to as the *whisker topology. *The directionality in the definition of the whisker topology is important! Nearby homotopy classes only differ by small differences on the *right side*.

This definition can be found in most textbooks that include covering space theory but it’s studied in detail in [5] and [6]. I’m not sure who first named it the “whisker” topology. In many settings, it does not need a name but since we are studying and comparing several different topologies, a name is appropriate for this discussion.

We define a function as the endpoint projection . This function is certainly continuous since for any neighborhood and path with .

If you recognize this construction, you might also recall the following theorem, which is often used to cover the existence part of the classifciation of covering maps: If is locally path connected and semilocally simply connected, then is a universal covering map.

The space can be constructed for an arbitrary based space . Even when does not end up being a universal covering map, this construction is often useful.

Since is often a covering space, our minds quickly want to identify with some familiar space. For example, if is a torus, we’d identify with . But formally, is still a set of homotopy classes that contains the fundamental group as a genuine subset. Specifcially, the fundamental group is the basepoint fiber .

Therefore, we may give the subspace topology inherited from . When we intersect the basic neighborhoods of with , all of the small “whiskers” end up being loops.

**Definition:** The *whisker topology* on is generated by basic open sets

where and is an open neighborhood of in . We will write to denote the fundamental group equipped with the whisker topology.

## What kind of thing is ?

It’s tempting to think that because the whisker topology comes from such a standard and simple construction that will be a topological group. However, it turns out that this very often not true. This is the functorial topology on that is, in a sense, the *furthest* from being a group topology.

**Definition:** Let be a group with a topology. Let , denote left translation by . If is continuous for all , then is a **left topological group**. Similarly, if the right translations are continuous for all , then is a **right topological group**. If is both a left and right topological group and inversion is continuous, then is a **quasitopological group**.

If is a left topological group, then all of the left-translation maps will be homeomorphisms since is the inverse of .

**Proposition:** is a left topological group.

*Proof*. Fix and consider the left translation map , is continuous. A straightforward check gives that . This makes it clear that is a homeomorphism.

Consequently, is a homogeneous space. But what about the other operations? For this, let’s explore an example.

**Example:** Let be the usual earring space where is the circle of radius centered at . We take to be the wild point and and let denote a loop that traverses the -th circle once counterclockwise. Let be a neighborhood of that contains and meets , in an open arc.

Then notice that where denotes the identity element. Also, converges to . However, does NOT converge to because doesn’t contain any of the elements ; it can only contain elements of the form where has image in .

As a consequence, we see that is NOT a right topological group and certainly is not a topological group. Moreover, **inversion is NOT always continuous**. If inversion was continuous, would give but this can’t occur because the sequence never enters the open set .

## Functorality

I won’t say to much about the details here but is a functor. Let be the category of left topological groups and continuous group homomorphisms.

**Exercise:** If is a based map, prove that the induced homomorphism , is continuous.

Once the exercise is done, the fact that is a a functor, direclty implies that is a functor.

In fact, since whenever are homotopic rel. basepoint, induces a functor on the pointed-homotopy category (objects are based spaces and morphisms are basepoint-preserving homotopy classes of based maps).

## When CAN we expect continuous operations?

Some of us might be a little unhappy that so many operations in are going to be discontinuous so often. You might think, well…what if we allowed for whiskers to appear on both ends instead of just on the right. Here, I mean define instead. It’s not a bad idea to consider this for a moment but remember that is a **left** topological group. Right multiplication is often discontinuous precisely *because* we have the whiskers on the right. So if we allow for whiskers on the left *and *right, then left multiplication won’t be continuous either.

It may seem like this could not possibly be useful until we recall that this topology came from . So the whisker topology of is really meant to be more like the vertex set some kind of graph or tree that branches off in infinite and topologically non-trivial ways (maybe think of something that you could consider a non-discrete vertex set in an -tree if that idea is familiar to you).

However, if you’re really hung up on the whole “fails to be a topological group” thing, we can work to understand this failure better through the following theorem. I’ve never seen this theorem in the literature before but it wasn’t that hard to figure out or prove. If anyone know of a reference, please let me know so I can provide some attribution.

**Theorem:** Let . Then the following are equivalent:

- Group inversion , is continuous,
- is a topological group,
- For every , conjugation , is continuous.

*Proof. *The hardest direction is 1. 2 so we’ll prove that first. Suppose group inversion , is continuous. To show that is a topological group, it’s enough to show that multiplication is continuous. Let be a neighborhood of in so that is a basic open neighborhood of . Since inversion is continuous, specifically at , we may find an open neighborhood of such that and . The second inclusion means that whenever is a loop in based at , we have for some loop in .

We will show that group multiplication maps into . Let and for loops in . Since has image in , we have for some loop in . Thus

where has image in . Thus the product lies in , completing the proof of the first direction.

The implication 2. 3. is clear so it is suffices to prove 3. 1. Suppose for every , that conjugation by is continuous. Let . We will check that inversion is continuous at . Let be an open neighborhood of in so that is an open neighborhood of . Since conjugation is continuous at the identity element, we may find a neighborhood of such that . In other words, if is any loop in based at , then there is a loop in such that . Now it suffices to show that . Let be a loop in based at . Since is also in , we may find a loop in such that . Then .

What I like about this theorem is that the proof really uses the whisker topology (showing how it depends on the topology of at ) and can’t just be proven by analyzing compositions of operations. I made sure to include Condition 3. in the theorem because even if we know is abelian, it’s not immediately clear that inversion is continuous. However, we do know that these conjugation maps in abelian groups are always the identity!

**Corollary: **If is abelian, then is a topological group.

But just being non-commutative doesn’t guarantee that will fail to be a topological group.

**Exercise:** Show that is discrete if and only if is semilocally simply connected at .

** Example:** If is an ordinary wedge of circles with the weak topology, then is a free group but will be discrete and all discrete groups are topological groups.

So, being a topological group here is not just about purely algebraic things like commutativity or conjugation. What’s really going on? If you read the proof closely you can see that for Condition 3. you really only need to use that the conjugation maps are continuous at the identity element. This idea is exactly what is described in the above illustration. So for to be a topological group, all elements , no matter how “large,” have to conjugate small loops to small loops. Or maybe think about the negation this way…If there is some and also arbitrarily small with remaining “large,” then you’re in trouble.

**Example:** The harmonic archipelago gives an example where is non-commutative but is a topological group because it is *indiscrete*.

So now here’s a question. I haven’t thought too deeply about it so I don’t exactly know how hard it is. If you know of an answer, feel free to share.

**Question:** Is there a space where is a non-discrete, Hausdorff, and non-commutative topological group?

In the next post, I’ll discuss more about separation axioms where we’ll run into the familiar term “homotopically Hausdorff” and see that when this happens the group is always zero dimensional!

## References

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.

[1] 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.

[2] 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.

[3] 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.

[4] 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.*

[5] H. Fischer, A. Zastrow, *Generalized universal covering spaces and the shape**group*, Fund. Math. **197** (2007) 167-196.

[6] Z. Virk, A. Zastrow, *The comparison of topologies related to various concepts of**generalized covering spaces*, Topology Appl. **170** (2014) 52–62.