With everything going on, it’s been a bit tough to find time to post about the things I’d like to. I’ve promised posts about topological homotopy groups for a while but I want to do those right, so it may take longer to find the time to write them how I’d really like to. This post is about a cute counterexample I was thinking about the other day.
What is Eda’s Theorem? Here, I’m referring to Katusya Eda’s “homotopy classification of one-dimensional Peano continua”  which states that if are one-dimensional Peano continua (connected, locally path-connected, compact metric spaces) and , then and are homotopy equivalent. Why is this amazing? Because it includes spaces like the Hawaiian earring, double Hawaiian earring, double Hawaiian earring, dyadic arc space, wild circle, Sierpinski triangle and square, Menger Cube, etc. Even though these fundamental groups are very large, their algebraic structure is so rigid that it completely determines the homotopy type of the space.
Why do I care so much? Well… fundamental group(oid)s of one-dimensional spaces are basically “free” objects among group(oid)s with natural infinite product operations. Everything about them – from the fact that each homotopy class has a reduced representative (just like in a graph) to the fact that they have -tree “generalized” coverings (just like graphs have trees as universal covers) tells you that this is the case.
A key part of the proof of Eda’s Theorem is that any homomorphism is induced up to basepoint-change, that is, there exists a map and a path from to such that if , is the basepoint-change isomorphism, then .
Can we extend Eda’s classification theorem to non-compact or non-metrizable spaces? It’s not so obviously false since the continuous image of a circle or disk in any Hausdorff space is, in fact, a Peano continuum! Not only does this kind of logical exploration often result in some fun examples, it helps clarify what is really going on. By this, I mean it may help answer the question: which parts of being a “Peano continuum” are actually crucial to the argument?
The thing is, giving adjunction spaces (like CW-complexes) the weak topology usually pays off big-time in algebraic topology. However, in this post, we’ll see that the weak topology works against us. Metrizability is crucial because one needs spaces to be “uniform” in a sense to ensure that algebra determines topological structure.
Lately, I’ve become a fan of using spaces a invariants of homotopy type. In particular, the topological 1-wild set with the subspace topology is a homotopy invariant of , i.e. if , then . There is also a more algebraic version of this space, which I call the algebraic 1-wild set , which I contrast with in this post.
Here’s a useful statement that works for arbitrary spaces.
Lemma: If a map is -injective, i.e. the induced homomorphism is injective for all , then .
Proof. Suppose is -injective, , and, to obtain a contradiction, that . Then is semilocally simply connected at and so there exists a neighborhood of such that every loop in based at is null-homotopic in . Find an open neighborhood latex of such that , Given a loop in based at , is a loop in and is therefore null-homotopic in . However, since is -injective, itself must be null-homotopic in . Since we’ve shown that every loop in based at contracts in , we conclude that is semilocally simply connected at ; a contradiction.
From this lemma, you might be able to start working out how the homotopy type of is a homotopy invariant. If and are homotopy inverses, then and . Restricting the homotopies and to and respectively will show that the restrictions and are homotopy inverses.
Theorem: If and are homotopy inverses, then so are the restrictions and .
What is particularly special about being 1-dimensional is that such spaces have a property called the “discrete monodromy property,” which implies that the homeomorphism type of is a homotopy invariant of . This means that if are 1-dimensional Hausdorff spaces and , then . This is an exceptionally useful rigidity result – if you want to deform the one-dimensional space in your hand, the wild points can’t go anywhere. Proving this requires knowing some special things about how loops can contract in one-dimensional spaces but the good news is that we can do everything we need to in this post without it.
Example 1: A weak wild circle
Here’s the first space. Consider the circle (with distinguished point ) and for every , let be a homeomorphic copy of the Hawaiian earring with basepoint . Now let be obtained by attaching each to by . We give the weak topology with respect to the collection of subset so that any compact subset of must lie in at most finitely many of the attached earrings. You can think of it as a weak topology version of the metric wild circle:
Things to notice:
- is a one-dimensional, locally path-connected, Hausdorff space but it’s not metrizable since its not first countable at any point of .
- Since we’ve attached an earring at each point of , and is locally contractible at each point in , we have with its usual topology.
If is a finite set, define . In other words, is the circle with finitely many earrings attached. The usual van Kampen Theorem shows that is the free product where the comes from and the other free factors come from the finitely many attached earrings in . Since every path and homotopy of paths in lies in for some (this is the whole point of using the weak topology), it follows that
where the limit is directed by the set of finite subsets of .
Example 2: A one-point union
Here’s the second example. At first, it might feel like is the thing we want. But actually, this won’t do because even when you take a one-point union of two first countable spaces where and , the natural homomorphism is not an isomorphism because it’s not surjective. So we need to be a bit more careful not to attach wild points to each other.
Let , be the space obtained by attaching a “whisker” to the earring at the wild point. We take the image of (the end of the whisker), denoted , to be the basepoint of .
Notice that is now locally contractible at its basepoint so it’s now a good idea to consider the one-point union:
Things to notice:
- is a one-dimensional, locally path-connected, Hausdorff space but it’s not metrizable since its not first countable at the wedge point.
- The wild points still exist at the connected of each whisker and and so is homeomorphic to with the discrete topology.
- If you really wanted to, you could allow to become one of the circles in one of the earrings, i.e. but I feel like doing this would just add confusion to the whole point of this.
So, now the van Kampen theorem does apply to and we have:
So what we have is a pair of one-dimensional, locally path-connected Hausdorff spaces and with isomorphic fundamental groups and .
Proposition: Even though and have isomorphic fundamental groups, and are not homotopy equivalent.
Proof. We proceed by contradiction. Suppose is a homotopy equivalence. Then is -injective and the theorem from earlier in the post implies that the restriction is a well-defined homotopy equivalence. However, with it’s usual topology and is homeomorphic to with the discrete topology. These spaces cannot be homotopy equivalent (e.g. one is path connected and the other is not), which gives us our contradiction.
It is possible to construct a map that induces an isomorphism on fundamental groups. This makes sense since it’s possible to map the discrete circle continuously onto the usual circle. However, the above argument shows that no injective homomorphism can be induced by a map up to basepoint-change. A modification of these spaces could definitely be built so that an isomorphism is not induced in either direction.
Admission: Ok, so there’s nothing special about using except that you get a non-simply connected wild set, which is interesting to me right now. You could replace it with and the analogous examples would get the same idea across.
Can we do better?…What are some other limits to Eda’s Theorem?
Eda’s Theorem is absolutely incredible where it works. But where else does it fail to hold? There are some not-so-hard non-locally path-connected cases where Eda’s Theorem doesn’t work. But what about non-compact metric spaces? This leaves me with the following questions, which at the moment I don’t know the answer to.
Question: Are there examples of connected, locally path-connected, one-dimensional metric spaces with isomorphic fundamental groups but which are not homotopy equivalent? What about separable examples? It would be really interesting if there was a pair where one of them was a compact and the other was not.
My guess is that that there are non-compact counterexamples.
 K. Eda, Homotopy types of one-dimensional Peano continua, Fund. Math. 209 (2010) 27-42.