Stallings' Group is Simply Connected at Infinity

TL;DR

This paper proves that Stallings' group, a specific Bieri-Stallings group, is simply connected at infinity, confirming a conjecture for the case n=3 and analyzing its topological properties.

Contribution

The paper verifies that Stallings' group is simply connected at infinity, advancing understanding of the topological structure of Bieri-Stallings groups.

Findings

Stallings' group is simply connected at infinity.

The conjecture holds for n=2 and n=3.

Bieri-Stallings groups are (n-3)-connected at infinity for n≥3.

Abstract

Let $F_2$ be the free group on two generators and let $B_n$ ($n \geq 2$) denote the kernel of the homomorphism $$F_2 \times \cdots (n) \cdots \times F_2 \rightarrow {\mathbb Z}$$ sending all generators to the generator $1$ of $\mathbb Z$. The groups $B_k$ are called the {\it Bieri-Stallings} groups and $B_k$ is type $\mathcal F_{k-1}$ but not $\mathcal F_k$. For $n\geq 3$ there are short exact sequences of the form $$1 \rightarrow B_{n-1} \rightarrow B_n \rightarrow F_2 \rightarrow 1.$$ This exact sequence can be used to show that $B_n$ is $(n-3)$-connected at infinity for $n\geq 3$. Stallings' proved that $B_2$ is finitely generated but not finitely presented. We conjecture that for $n\geq 2$, $B_n$ is $(n-2)$-connected at infinity. For $n=2$, this means that $B_2$ is 1-ended and for $n=3$ that $B_3$ (typically called Stallings' group) is simply connected at infinity. We verify the conjecture for $n=2$ and $n=3$. Our main result is the case $n=3$: Stalling's group is simply connected at $\infty$.