58

This is a question that occurred to me years ago when I was first learning algebraic topology. I've since learned that it's a somewhat aesthetically displeasing question, but I'm still curious about the answer.

Is it possible for a subset of $\mathbb R^2$ to have a nontrivial singular homology group $H_2$? What about a nontrivial homotopy group $\pi_2$?

Timothy Chow
  • 78,129

2 Answers2

69

The higher-dimensional analog has the surprising answer "yes". Namely, for $n\geq 2$, the $n$-dimensional Hawaiian earring $H_n = \bigcup_{k=1}^\infty S(k)$, where $S(k)\subseteq \mathbb{R}^{n+1}$ is the $n$-sphere with center ${1\over 2k}\mathbf{e}_1$ and radius ${1\over 2k}$ has nonzero homology in arbitrarily high dimensions. This is a result of Barratt and Milnor (An Example of Anomalous Singular Homology).

j.c.
  • 13,490
Jeff Strom
  • 12,468
42

Apparently the asphericity is due to Zastrow (see Cannon-Conner-Zastrow).

Also apparently the result that the higher homology groups vanish is due to Zastrow, but his habilitation thesis never seems to have appeared.

Ian Agol
  • 66,821
  • 3
    Thanks for finding the link to Zastrow's revised paper. I found a page of his which links to both the old and new versions and briefly describes the differences https://mat.ug.edu.pl/~zastrow/Nnonano.htm . Versions of his Habilitationsschrift are also available here http://homepage.ruhr-uni-bochum.de/Andreas.Zastrow/pitriv.htm – j.c. Jun 14 '18 at 17:54