On the fundamental groups of trees of manifolds

Hanspeter Fischer and Craig R. Guilbault

Vol. 221 (2005), No. 1, 49–79

DOI: 10.2140/pjm.2005.221.49

Abstract

We consider limits of inverse sequences of closed manifolds, whose consecutive terms are obtained by connect summing with closed manifolds, which are in turn trivialized by the bonding maps. Such spaces, which we refer to as trees of manifolds, need not be semilocally simply connected at any point and can have complicated fundamental groups.

Trees of manifolds occur naturally as visual boundaries of standard nonpositively curved geodesic spaces, which are acted upon by right-angled Coxeter groups whose nerves are closed PL-manifolds. This includes, for example, those Coxeter groups that act on Davis’ exotic open contractible manifolds. Also, all of the homogeneous cohomology manifolds constructed by Jakobsche are trees of manifolds. In fact, trees of manifolds of this type, when constructed from PL-homology spheres of common dimension at least 4, are boundaries of negatively curved geodesic spaces.

We prove that if Z is a tree of manifolds, the natural homomorphism φ : π₁(Z) →π₁(Z) from its fundamental group to its first shape homotopy group is injective. If Z = bdy X is the visual boundary of a nonpositively curved geodesic space X, or more generally, if Z is a Z-set boundary of any ANR X, then the first shape homotopy group of Z coincides with the fundamental group at infinity of X: π₁(Z) = π₁^∞(X). We therefore obtain an injective homomorphism ψ : π₁(Z) → π₁^∞(X), which allows us to study the relationship between these groups. In particular, if Z = bdy Γ is the boundary of one of the Coxeter groups Γ mentioned above, we get an injective homomorphism ψ : π₁(bdy Γ) → π₁^∞(Γ).

Keywords

shape group, tree of manifolds, Davis manifold, cohomology manifold, CAT(0) boundary, Coxeter group, fundamental group at infinity

Mathematical Subject Classification 2000

Primary: 55Q52

Secondary: 55Q07, 57P99, 20F55, 20F65

Milestones

Received: 24 September 2003

Revised: 31 March 2005

Accepted: 31 March 2005

Published: 1 September 2005