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

at.algebraic-topologygn.general-topologygt.geometric-topologyhomology

Here's a problem I've found entertaining.

Is it possible to find a subset of 3-dimensional Euclidean space such that its homology groups (integer coefficients) or one of its fundamental groups is not torsion-free?

Context: The analogous question has a negative answer in dimension 2. This is a theorem of Eda's (1998). In dimension 4 and higher, the answer is positive as the real projective plane embeds. If the subset of 3-space has a regular neighbourhood with a smooth boundary, a little 3-manifold theory says the fundamental group and homology groups are torsion-free.

edit: Due to Autumn Kent's comment and the ensuing discussion, torsion in the homology has been ruled out provided the subset of $\mathbb R^3$ is compact and has the homotopy-type of a CW-complex (more precisely, if Cech and singular cohomologies agree).

Best Answer

I don't think that

torsion in the homology has been ruled out

Certainly, torsion in Cech cohomology has been ruled out for a compact subset. The "usual" universal coefficient formula, relating Cech cohomology to $\operatorname{Hom}$ and $\operatorname{Ext}$ of Steenrod homology, is not valid for arbitrary compact subsets of $\Bbb R^3$ (although it is valid for ANRs, possibly non-compact). The "reversed" universal coefficient formula, relating Steenrod homology to $\operatorname{Hom}$ and $\operatorname{Ext}$ of Cech cohomology is valid for compact metric spaces, but it does not help, because $\operatorname{Ext}(\Bbb Z[\frac1p],\Bbb Z)\simeq\Bbb Z_p/\Bbb Z\supset\Bbb Z_{(p)}/\Bbb Z$, which contains $q$-torsion for all primes $q\ne p$. (Here $\Bbb Z_{(p)}$ denotes the localization at the prime $p$, and $\Bbb Z_p$ denotes the $p$-adic integers. The two UCFs can be found in Bredon's Sheaf Theory, 2nd edition, equation (9) on p.292 in Section V.3 and Theorem V.12.8.)

The remark on $\operatorname{Ext}$ can be made into an actual example. The $p$-adic solenoid $\Sigma$ is a subset of $\Bbb R^3$. The zeroth Steenrod homology $H_0(\Sigma)$ is isomorphic by the Alexander duality to $H^2(\Bbb R^3\setminus\Sigma)$. This is a cohomology group of an open $3$-manifold contained in $\Bbb R^3$, yet it is isomorphic to $\Bbb Z\oplus(\Bbb Z_p/\Bbb Z)$ (using the UCF, or the Milnor short exact sequence with $\lim^1$), which contains torsion. Of course, every cocycle representing torsion is "vanishing", i.e. its restriction to each compact submanifold is null-cohomologous within that submanifold.

By similar arguments, $H_i(X)$ (Steenrod homology) contains no torsion for $i>0$ for every compact subset $X$ of $\Bbb R^3$.

It is obvious that "Cech homology" contains no torsion (even for a noncompact subset $X$ of $\Bbb R^3$), because it is the inverse limit of the homology groups of polyhedral neighborhoods of $X$ in $\Bbb R^3$. But I don't think this is to be taken seriously, because "Cech homology" is not a homology theory (it does not satisfy the exact sequence of pair). The homology theory corresponding to Cech cohomology is Steenrod homology (which consists of "Cech homology" plus a $\lim^1$-correction term). Some references for Steenrod homology are Steenrod's original paper in Ann. Math. (1940), Milnor's 1961 preprint (published in http://www.maths.ed.ac.uk/~aar/books/novikov1.pdf), Massey's book Homology and Cohomology Theory. An Approach Based on Alexander-Spanier Cochains, Bredon's book Sheaf Theory (as long as the sheaf is constant and has finitely generated stalks) and the paper

As for torsion in singular $4$-homology of the Barratt-Milnor example, this is really a question about framed surface links in $S^4$ (see the proof of theorem 1.1 in the linked paper).

Related Question