Fundamental groups and homology groups of closed subsets of the plane - MathOverflow

Fundamental groups and homology groups of closed subsets of the plane

2012-10-27T03:35:19Z

Let $X$ be a closed subset of $\mathbb{R}^2$. What restrictions are there on $\pi_1(X)$ and on the homology groups of $X$ (both singular and Cech)? This is elementary if $X$ has reasonable local properties, but the example of the Hawaiian Earring shows that things can be very complicated indeed.

Answer by Ryan Budney for Fundamental groups and homology groups of closed subsets of the plane

2012-10-27T04:08:09Z

Eda, K. Fundamental group of subsets of the plane. Topology and its Applications Volume 84, Issues 1-3, 24 April 1998, Pages 283-306

This is more or less a duplicate of the math.se thread: http://math.stackexchange.com/questions/36279/the-fundamental-group-of-every-subset-of-mathbbr2-is-torsion-free

Answer by Jeremy Brazas for Fundamental groups and homology groups of closed subsets of the plane

2012-10-27T13:38:36Z

The fundamental group of a closed planar set naturally injects into the first Cech homotopy group, which is an inverse limit of finitely generated free groups. In particular, the algebraic restrictions gained are: the fundamental group must be locally free, fully residually free, and residually finite.

Fischer, H., Zastrow, A., The fundamental groups of subsets of closed surfaces inject into their first shape groups, Algebraic and Geometric Topology 5 (2005) 1655-1676.

The first homology pro-group then consists of finitely generated free groups and the first Cech homology group is the inverse limit of these.

When $X\subset \mathbb{R}^2$ is compact and locally path connected, the canonical map $H_1(X)\to \check{H}_1(X)$ is surjective but the kernel can be difficult to understand even for the Hawaiian earring.

Eda, K., Kawamura, K. The surjectivity of the canonical homomorphism from singular homology to Cech homology Proc. Amer. Math. Soc. 128 No. 5 (1999) 1487-1495