---
title: Harmonic Archipelago in Wild Topology
url: https://www.emergentmind.com/topics/harmonic-archipelago
type: topic
---

# Harmonic Archipelago in Wild Topology

Searching arXiv for the cited Harmonic Archipelago papers to ground the article in published work.
The Harmonic Archipelago is a classical wild space in algebraic topology, introduced as a two-dimensional continuum obtained from the Hawaiian earring by adjoining a sequence of disks between consecutive loops, with the disks accumulating at a distinguished point. In the literature it appears both as a geometric subset of $\mathbb{R}^3$ and as an archipelago space defined via a mapping cone construction. Its significance lies in the interaction between infinite local complexity and global algebraic invariants: its singular homology, Čech cohomology, and fundamental group exhibit phenomena that depart sharply from the behavior of CW complexes and manifolds. In particular, the space is path-connected, fails to be semilocally simply connected at its accumulation point, has first singular homology $\prod \mathbb{Z}/\bigoplus \mathbb{Z}$, and has nontrivial second Čech cohomology despite vanishing singular homology in degree $2$ [1203.4274].

## 1. Definition and geometric models

The starting point is the Hawaiian earring,
\[
\mathbb{H}=\bigcup_{n\in\mathbb{N}}\left\{(x,y)\in\mathbb{R}^2\mid x^2+\Bigl(y-\tfrac{1}{n}\Bigr)^2=\Bigl(\tfrac{1}{n}\Bigr)^2\right\},
\]
the union of a null sequence of circles tangent at the origin. It is a planar Peano continuum, $1$-dimensional, and not semilocally simply connected at the origin [1203.4274].

Informally, the Harmonic Archipelago $\mathcal{HA}$ is obtained by adjoining a sequence of “tall disks” between consecutive loops of $\mathbb{H}$. For homotopy-theoretic calculations, one replaces $\mathcal{HA}$ by a homotopy equivalent subspace $HA\subset\mathbb{R}^3$, called the formal Harmonic Archipelago, given explicitly by
\[
C_n=\left\{(x,y,0)\in\mathbb{R}^3\mid x^2+\Bigl(y-\frac{1}{n}\Bigr)^2=\Bigl(\frac{1}{3n(n+1)}\Bigr)^2\right\}\qquad(n\in\mathbb{N}),
\]
together with cones on these circles with vertices at height $1$:
\[
HA=\bigcup_{n=1}^\infty C(C_n,(0,\tfrac{1}{n},1))\;\cup\;\bigcup_{n=1}^\infty\{(0,y,0)\mid y\in I_n\}\;\cup\;\{\theta\},
\]
where
\[
I_n=\left[\frac{3n+7}{3(n+1)(n+2)},\;\frac{3n+2}{3n(n+1)}\right],
\]
and $\theta=(0,0,0)$ [1203.4274]. The intervals along the $y$-axis supply bridges between successive cones and arrange the “archipelago” structure.

A second, equivalent topological description is given by the classical archipelago model: a non-contractible subset of $\mathbb{R}^3$ homeomorphic to a disk except at one non-manifold point, built from the Hawaiian earring by attaching disks that bulge to constant height [1410.8389]. The same paper shows that the harmonic archipelago is homeomorphic to the reduced metric suspension of the topologist’s sine curve and is homotopy equivalent to a mapping cone $C_f$ of the canonical map from the ordinary wedge $\bigvee_n S^1$ to the shrinking wedge $\bigotimes_n S^1$ [1410.8389].

These models are used differently. The explicit $HA\subset\mathbb{R}^3$ is adapted to Mayer–Vietoris and Čech-cohomological calculations, whereas the mapping-cone model is adapted to the computation of $\pi_1$ as a quotient of the Hawaiian earring group [1203.4274; 1410.8389].

## 2. Local topology and wild behavior

The Harmonic Archipelago is path-connected, but its local structure at the accumulation point is singular. Like the Hawaiian earring, it is not semilocally simply connected at the distinguished point $\theta$: arbitrarily small neighborhoods of $\theta$ contain infinitely many essential loops [1203.4274]. In the Bogley–Sieradski model, all wildness is concentrated at a distinguished point $o$ on the boundary; moreover, $H\setminus\{o\}$ is homeomorphic to a disk with a boundary point removed [2509.11744].

This concentration of wildness has several consequences. Standard CW-complex techniques are not directly applicable, because the space is formed from a nonlocally finite family of $2$-cells accumulating at one point and is not a CW complex [1203.4274]. At the same time, loops can be pushed into arbitrarily small neighborhoods of the singular point, while some global loops remain non-null-homotopic. In the Bogley–Sieradski description, one may homotope every loop into arbitrarily small neighborhoods of $o$, yet a loop running around the outer boundary and encircling all hills is not null-homotopic [2509.11744].

A common misconception is that the attached $2$-cells trivialize all higher-dimensional structure. The singular-homological calculation indeed gives $H_n(\mathcal{HA};\mathbb{Z})=0$ for $n\ge 2$, but the Čech cohomology computation shows that $\check H^2(\mathcal{HA};\mathbb{Z})$ is nonzero [1203.4274]. This indicates that the space retains shape-theoretic $2$-dimensional information not visible to singular homology. A plausible implication is that the archipelago’s “two-dimensionality” is concentrated in the inverse-limit behavior of its neighborhoods rather than in ordinary singular $2$-cycles.

## 3. Singular homology

The singular homology of the Harmonic Archipelago is
\[
H_0(\mathcal{HA};\mathbb{Z})\cong\mathbb{Z},\qquad
H_1(\mathcal{HA};\mathbb{Z})\cong \frac{\prod_{i\in\mathbb{N}}\mathbb{Z}}{\bigoplus_{i\in\mathbb{N}}\mathbb{Z}},\qquad
H_n(\mathcal{HA};\mathbb{Z})\cong 0\text{ for }n\ge 2
\]
[1203.4274]. The identification of $H_0$ reflects path-connectedness. The computation of $H_1$ is the central singular-homological result.

The proof uses a Mayer–Vietoris decomposition
\[
U=HA\cap\{(x,y,z)\mid z\in[0,2/3)\},\qquad
V=HA\cap\{(x,y,z)\mid z>1/3\}.
\]
The subset $U$ deformation retracts onto a modified Hawaiian earring $\mathcal{MH}$ and hence is homotopy equivalent to $\mathbb{H}$. The subset $V$ is homotopy equivalent to a countable discrete union of points, so $H_1(V)=0$ and $H_0(V)\cong \bigoplus_{\mathbb{N}}\mathbb{Z}$. The intersection $U\cap V$ is homotopy equivalent to a countable disjoint union of circles, with
\[
H_1(U\cap V)\cong \bigoplus_{\mathbb{N}}\mathbb{Z},\qquad
H_0(U\cap V)\cong \bigoplus_{\mathbb{N}}\mathbb{Z}
\]
[1203.4274].

The relevant fragment of the Mayer–Vietoris sequence is
\[
H_2(HA)\to H_1(U\cap V)\xrightarrow{i}H_1(U)\oplus H_1(V)\xrightarrow{j}H_1(HA)\xrightarrow{\delta}H_0(U\cap V)\to H_0(U)\oplus H_0(V).
\]
Higher singular homology vanishes because
\[
H_n(HA)\cong\varinjlim_P H_n(P),
\]
where $P$ ranges over Peano subcontinua, and there is a cofinal sequence of such subcontinua each homotopy equivalent to $\mathbb{H}$. By Curtis–Fort for one-dimensional spaces, $H_n(P)=0$ for $n>1$, hence $H_n(HA)=0$ for $n\ge 2$ [1203.4274].

The decisive algebraic input is the split exact sequence of Eda–Kawamura for the Hawaiian earring:
\[
0\longrightarrow \frac{\prod_{i\in\mathbb{N}}\mathbb{Z}}{\bigoplus_{i\in\mathbb{N}}\mathbb{Z}}
\longrightarrow H_1(\mathbb{H};\mathbb{Z})
\xrightarrow{\ \sigma\ }
\prod_{i\in\mathbb{N}}\mathbb{Z}
\longrightarrow 0.
\]
Here $\sigma$ records winding numbers around the constituent circles. Combining this with the Mayer–Vietoris map and a splitting argument via algebraic compactness yields a short exact sequence
\[
0\longrightarrow \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}}
\longrightarrow H_1(HA)
\longrightarrow \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}}
\longrightarrow 0,
\]
which splits; since $\prod\mathbb{Z}/\bigoplus\mathbb{Z}$ is isomorphic to its direct sum with itself, one obtains
\[
H_1(HA)\cong \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}}
\]
[1203.4274].

This coincides with the abelianization computed in later work from the fundamental-group perspective: the abelianization of the archipelago group is
\[
(\prod_{\omega}\mathbb{Z})\Big/\big(\sum_{\omega}\mathbb{Z}\big)
\]
[2509.11744].

## 4. Čech cohomology and inverse-limit structure

The Čech cohomology groups of the Harmonic Archipelago are
\[
\check{H}^0(\mathcal{HA};\mathbb{Z})\cong\mathbb{Z},\qquad
\check{H}^1(\mathcal{HA};\mathbb{Z})\cong 0,\qquad
\check{H}^2(\mathcal{HA};\mathbb{Z})\cong \frac{\prod_{i\in\mathbb{N}}\mathbb{Z}}{\bigoplus_{i\in\mathbb{N}}\mathbb{Z}},\qquad
\check{H}^n(\mathcal{HA};\mathbb{Z})\cong 0\text{ for }n\ge 3
\]
[1203.4274]. The nontrivial $\check{H}^2$ is the key feature distinguishing the archipelago from several related wild spaces.

The calculation proceeds by an exhaustion $HA=\bigcup_i U_i$ by open sets, with
\[
U_1=U
\]
from the Mayer–Vietoris decomposition and, for $i>1$,
\[
U_i=HA\cap\Bigl\{(x,y,z)\in\mathbb{R}^3\ \Big|\ y>\frac{2i+1}{2i(i+1)}\Bigr\}\;\cup\; U.
\]
Each $U_i$ deformation retracts onto a modified Hawaiian earring, hence $U_i\simeq \mathbb{H}$ [1203.4274]. Therefore
\[
\check{H}^1(U_i;\mathbb{Z})\cong \bigoplus_{j=1}^\infty \mathbb{Z},\qquad
\check{H}^n(U_i;\mathbb{Z})\cong 0\text{ for }n\ge 2.
\]

The derived-limit exact sequence for a countable increasing open cover,
\[
0\longrightarrow \varprojlim{}^{1}\,\check{H}^{n-1}(U_i)\longrightarrow \check{H}^n(X)\longrightarrow \varprojlim\,\check{H}^n(U_i)\longrightarrow 0,
\]
then becomes the basic computational tool [1203.4274]. For $n=2$ one gets
\[
\check{H}^2(HA)\cong \varprojlim{}^{1}\,\check{H}^1(U_i).
\]

The bonding maps on $\check{H}^1(U_i)\cong \bigoplus_{j=1}^\infty\mathbb{Z}$ are right shifts,
\[
p(a_1,a_2,a_3,\dots)=(0,a_1,a_2,a_3,\dots).
\]
For the inverse system
\[
A\xleftarrow{p}A\xleftarrow{p}A\xleftarrow{p}\cdots,\qquad A=\bigoplus_{j=1}^\infty \mathbb{Z},
\]
one has $\varprojlim A=0$, while
\[
\varprojlim{}^{1}A\cong \frac{\prod_{j=1}^\infty \mathbb{Z}}{\bigoplus_{j=1}^\infty \mathbb{Z}},
\]
hence
\[
\check{H}^2(HA)\cong \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}}
\]
[1203.4274]. Similarly, applying the same exact sequence with $n=1$ gives $\check{H}^1(HA)=0$, and since $\dim(HA)=2$, all higher Čech groups vanish.

This mechanism is shape-theoretic rather than singular. The nontrivial $\varprojlim{}^{1}$ term records the accumulation of the $2$-dimensional “bridging” structure through an inverse system of $1$-dimensional approximants. This suggests that the Harmonic Archipelago is a paradigmatic example where derived inverse limits detect information invisible to ordinary singular homology.

## 5. Fundamental group and archipelago groups

The fundamental group of the harmonic archipelago is most naturally described through the theory of archipelago groups. If $X_n$ are pointed spaces with $G_n=\pi_1(X_n)$, then the archipelago space is defined as the mapping cone of the canonical map
\[
f:\bigvee_n X_n\to \bigotimes_n X_n,
\]
from the ordinary wedge to the shrinking wedge [1410.8389]. Theorem 5 of that work gives
\[
\pi_1(A)\cong (\bigcircledast_n G_n)/(\ast_n G_n),
\]
where $\bigcircledast_n G_n$ is the topologist’s product and $\ast_n G_n$ is the free product. For $X_n=S^1$, this yields the classical archipelago group
\[
\mathcal{A}(\mathbb{Z})\cong (\bigcircledast_n \mathbb{Z})/(\ast_n \mathbb{Z}),
\]
which is the fundamental group of the harmonic archipelago up to homotopy [1410.8389].

The topologist’s product can be represented by infinite reduced words in which each factor appears only finitely often. In this language, the quotient by the free product “kills” all finite words and retains genuinely infinite reduced words [1410.8389]. Geometrically, attaching the bulging disks makes finite concatenations null-homotopic while preserving infinite limiting behavior.

A later combinatorial formulation expresses the same group as
\[
\pi_1(H)\ \cong\ \mathrm{Red}_c\Big/\big\langle\big\langle \mathrm{Pure}_c\big\rangle\big\rangle,
\]
where $\mathrm{Red}_c$ denotes reduced infinite words in the alphabet $\{c_n^{\pm 1}\}_{n\in\omega}$ and $\mathrm{Pure}_c$ consists of words using only one generator $c_n^{\pm 1}$ [2509.11744]. In this description, loops around a single island may be deleted, but infinite concatenations across indices remain.

Several structural properties of this group are established in the archipelago-group literature. For $\mathcal{A}(\mathbb{Z})$, one has:

- $\mathbb{Q}$ embeds in $\mathcal{A}(\mathbb{Z})$ [1410.8389].
- $\mathcal{A}(\mathbb{Z})$ is not indicable; equivalently, $\operatorname{Hom}(\mathcal{A}(\mathbb{Z}),\mathbb{Z})=0$ [1410.8389].
- $\mathcal{A}(\mathbb{Z})$ is locally free, hence torsion-free [1410.8389].

The later paper on the double cone group records the same isomorphism class as having cardinality $2^{\aleph_0}$, being locally free and torsion-free, containing every countable locally free group as a subgroup, being neither free nor finitely generated, and having automorphism group containing a copy of $S_{2^{\aleph_0}}$ [2509.11744]. It also states that every homomorphism from this group to $\mathbb{Z}$ is trivial, in agreement with the non-indicability result [2509.11744; 1410.8389].

## 6. Comparison with related spaces

The Harmonic Archipelago is closely related to both the Hawaiian earring and the Griffiths space, but it is not homotopy equivalent to the latter. Eda had shown that
\[
H_1(\mathcal{G};\mathbb{Z})\cong H_1(\mathcal{HA};\mathbb{Z})\cong \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}},
\]
so singular homology alone does not distinguish them [1203.4274]. However, the Griffiths space $\mathcal{G}$ is cell-like and therefore has trivial shape, with
\[
\check H^0(\mathcal{G};\mathbb{Z})\cong \mathbb{Z},\qquad
\check H^n(\mathcal{G};\mathbb{Z})\cong 0\text{ for }n\ge 1,
\]
whereas
\[
\check H^2(\mathcal{HA};\mathbb{Z})\cong \frac{\prod\mathbb{Z}}{\bigoplus\mathbb{Z}}\neq 0.
\]
Since Čech cohomology is a homotopy invariant in this setting, $\mathcal{G}$ and $\mathcal{HA}$ are not homotopy equivalent [1203.4274].

At the level of fundamental groups, however, the relation is much closer. The 2025 result of Corson proves Cannon–Conner’s conjecture that the fundamental group of the Griffiths double cone space is isomorphic to that of the harmonic archipelago:
\[
\pi_1(G)\cong \pi_1(H)
\]
[2509.11744]. The proof is combinatorial and non-constructive; the paper explicitly states that there is no continuous map between $H$ and $G$ inducing this isomorphism on $\pi_1$ [2509.11744].

This combination of facts is central to the space’s role in wild topology. The Harmonic Archipelago and Griffiths space have isomorphic first singular homology and isomorphic fundamental groups, yet are not homotopy equivalent because Čech cohomology distinguishes them [1203.4274; 2509.11744]. This is a particularly sharp illustration of the gap between group-theoretic and shape-theoretic invariants in non-CW settings.

## 7. Broader significance and classification phenomena

The Harmonic Archipelago functions as the prototype of an extensive algebraic class of archipelago groups. For a countable family of groups $(G_n)$, the archipelago group is defined by
\[
\mathcal{A}(G_n):=(\bigcircledast_n G_n)/(\ast_n G_n),
\]
and for countable nontrivial groups a striking classification holds: if only finitely many $G_n$ have elements of order $2$, then $\mathcal{A}(G_n)\cong \mathcal{A}(\mathbb{Z})$; if infinitely many have elements of order $2$, then $\mathcal{A}(G_n)\cong \mathcal{A}(\mathbb{Z}_2)$ [1410.8389]. The same paper conjectures that $\mathcal{A}(\mathbb{Z})\cong \mathcal{A}(\mathbb{Z}_2)$ [1410.8389].

Corson’s later theorem enlarges this picture. For any cardinal $\kappa$ with $2\le \kappa\le 2^{\aleph_0}$, the groups $\pi_1(G_\kappa)$ are all isomorphic, and for any sequence $\{H_n\}_{n\in\omega}$ of groups without involutions satisfying $1<|H_n|\le 2^{\aleph_0}$, all archipelago groups $\mathcal{A}(\{H_n\})$ are mutually isomorphic [2509.11744]. In particular, $\pi_1(H)$, $\pi_1(G)$, and this whole family of archipelago groups lie in the same isomorphism class [2509.11744].

Several open or explicitly unresolved issues remain. The no-involutions hypothesis in the general isomorphism theorem is stated to remain open for arbitrary sequences with possible involutions [2509.11744]. The 2025 proof of $\pi_1(G)\cong\pi_1(H)$ is non-constructive and does not arise from a geometric map [2509.11744]. Residual finiteness, Hopficity, and co-Hopfian properties are not claimed there and are described as open or subtle [2509.11744].

The overall significance of the Harmonic Archipelago is therefore twofold. Topologically, it is a canonical wild continuum in which singular homology, Čech cohomology, and homotopy type separate in nonclassical ways [1203.4274]. Algebraically, its fundamental group is the prototype archipelago group, a locally free but nonfree and non-indicable quotient of the Hawaiian earring group that sits inside a large, flexible isomorphism class [1410.8389; 2509.11744].

Source: https://www.emergentmind.com/topics/harmonic-archipelago