2014-12-09 21:13:29 8 Comments

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$?

### Related Questions

#### Sponsored Content

#### 5 Answered Questions

### [SOLVED] Torsion in homology or fundamental group of subsets of Euclidean 3-space

**2009-11-07 01:14:54****Ryan Budney****4426**View**49**Score**5**Answer- Tags: homology at.algebraic-topology gn.general-topology gt.geometric-topology

#### 15 Answered Questions

### [SOLVED] Why torsion is important in (co)homology ?

**2010-04-26 10:56:08****Qfwfq****9626**View**66**Score**15**Answer- Tags: ag.algebraic-geometry at.algebraic-topology cohomology homology

#### 15 Answered Questions

### [SOLVED] "Homotopy-first" courses in algebraic topology

**2010-03-20 15:40:17****Tyler Lawson****8706**View**32**Score**15**Answer- Tags: teaching at.algebraic-topology homology homotopy-theory

#### 3 Answered Questions

### [SOLVED] Mayer-Vietoris homotopy groups sequence of a pull-back of a fibration

**2009-10-30 04:43:17****d.t.****1387**View**4**Score**3**Answer- Tags: at.algebraic-topology simplicial-stuff

#### 0 Answered Questions

### Nilpotent Localization in Group Theory

**2014-01-05 13:09:43****arsmath****189**View**5**Score**0**Answer- Tags: at.algebraic-topology gr.group-theory

#### 1 Answered Questions

### [SOLVED] Where does the notation $\pi_1(X,x)$ for the fundamental group first appear?

**2013-09-25 05:54:51****Paul Johnson****726**View**6**Score**1**Answer- Tags: at.algebraic-topology ho.history-overview notation

#### 8 Answered Questions

### [SOLVED] An "advanced beginner's" book on algebraic topology?

**2013-07-08 13:20:53****imakhlin****15115**View**38**Score**8**Answer- Tags: at.algebraic-topology textbook-recommendation

#### 2 Answered Questions

### [SOLVED] Is the singular homology of a real algebraic set always finitely generated?

**2012-05-28 05:10:38****Dan Ramras****573**View**12**Score**2**Answer- Tags: at.algebraic-topology ag.algebraic-geometry homology

#### 5 Answered Questions

### [SOLVED] Classifying maps into homogeneous spaces up to homotopy

**2009-10-27 00:32:28****j.c.****385**View**3**Score**5**Answer- Tags: homotopy-theory at.algebraic-topology

#### 10 Answered Questions

### [SOLVED] Motivation for algebraic K-theory?

**2009-10-12 17:59:37****S. Carnahan****17536**View**81**Score**10**Answer- Tags: at.algebraic-topology algebraic-k-theory motivation kt.k-theory-and-homology

## 2 comments

## @Ian Agol 2014-12-09 22:20:39

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.

## @j.c. 2018-06-14 17:54:04

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 mat.ug.edu.pl/~zastrow/Nnonano.htm . Versions of his Habilitationsschrift are also available here homepage.ruhr-uni-bochum.de/Andreas.Zastrow/pitriv.htm

## @Jeff Strom 2014-12-09 21:32:45

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).