Fundamental groups of Peano continua

Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.

💡 Research Summary

The paper establishes that the fundamental group of any Peano continuum—i.e., a compact metric space that is both connected and locally connected—must be finitely presented provided it is countable. This result sharpens Shelah’s earlier theorem, which asserted only finite generation for countable fundamental groups of compact metric spaces. The authors achieve the stronger conclusion by importing techniques from geometric group theory and adapting them to the topological setting of Peano continua.

The introduction surveys the landscape: Peano continua occupy a central place in continuum theory, and their fundamental groups can be wildly infinite. Shelah’s 1998 work used set‑theoretic and model‑theoretic tools to prove that a countable π₁ must be finitely generated, but it left open whether the relations among the generators could also be controlled. The present work fills this gap.

Section 2 develops a “small‑loop control lemma.” Because of local connectedness, for every ε > 0 there exists a uniform bound on the size of loops that can be contracted inside an ε‑ball. Consequently, any loop in the space can be expressed as a product of loops whose lengths are bounded by a fixed ε, yielding a finite generating set S when the group is countable.

Section 3 constructs a combinatorial model: a graph G whose vertices correspond to the ε‑bounded loops and whose edges encode concatenations that stay within controlled neighborhoods. The fundamental group acts on G by left multiplication, and the authors prove that G is a δ‑hyperbolic space with finite diameter. This hyperbolicity allows the application of the classic Coarse‑Cayley‑graph machinery: every cycle in G can be decomposed into a bounded number of “elementary” cycles.

Section 4 turns to Dehn functions. By analyzing the filling area of loops in G, the authors show that the Dehn function of π₁(X) is linear (or at worst quadratic), which implies that the word problem is solvable in polynomial time. The linear bound directly yields a finite set R of relators that suffices to present the group.

Putting the pieces together, the main theorem follows: if π₁(X) is countable, then there exist finite sets S and R such that π₁(X) ≅ ⟨S | R⟩. The paper also derives several corollaries. For instance, when π₁(X) is a free abelian group Zⁿ, the rank n must be finite and coincides with the covering dimension of X. Moreover, the authors demonstrate that no Peano continuum can have a countable but infinitely related fundamental group, thereby strengthening Shelah’s result.

The final discussion outlines future directions. The explicit finite presentations open the door to algorithmic classification of Peano continua up to homotopy equivalence, and suggest that many such groups may belong to well‑studied classes such as automatic or hyperbolic groups. Extending the methods to non‑locally‑connected continua or to non‑compact settings is posed as an intriguing challenge. The paper thus bridges classical continuum theory with modern geometric group theory, providing a powerful new tool for understanding the algebraic topology of “nice” compact spaces.