Stallings theorem about ends of groups

From HandWiki

In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group [math]\displaystyle{ G }[/math] has more than one end if and only if the group [math]\displaystyle{ G }[/math] admits a nontrivial decomposition as an amalgamated free product or an HNN extension over a finite subgroup. In the modern language of Bass–Serre theory the theorem says that a finitely generated group [math]\displaystyle{ G }[/math] has more than one end if and only if [math]\displaystyle{ G }[/math] admits a nontrivial (that is, without a global fixed point) action on a simplicial tree with finite edge-stabilizers and without edge-inversions. The theorem was proved by John R. Stallings, first in the torsion-free case (1968)[1] and then in the general case (1971).[2]

Ends of graphs

Main page: End (graph theory)

Let [math]\displaystyle{ \Gamma }[/math] be a connected graph where the degree of every vertex is finite. One can view [math]\displaystyle{ \Gamma }[/math] as a topological space by giving it the natural structure of a one-dimensional cell complex. Then the ends of [math]\displaystyle{ \Gamma }[/math] are the ends of this topological space. A more explicit definition of the number of ends of a graph is presented below for completeness.

Let [math]\displaystyle{ n \geqslant 0 }[/math] be a non-negative integer. The graph [math]\displaystyle{ \Gamma }[/math] is said to satisfy [math]\displaystyle{ e(\Gamma) \leqslant n }[/math] if for every finite collection [math]\displaystyle{ F }[/math] of edges of [math]\displaystyle{ \Gamma }[/math] the graph [math]\displaystyle{ \Gamma - F }[/math] has at most [math]\displaystyle{ n }[/math] infinite connected components. By definition, [math]\displaystyle{ e(\Gamma) = m }[/math] if [math]\displaystyle{ e(\Gamma) \leqslant m }[/math] and if for every [math]\displaystyle{ 0 \leqslant n \lt m }[/math] the statement [math]\displaystyle{ e(\Gamma) \leqslant n }[/math] is false. Thus [math]\displaystyle{ e(\Gamma) = m }[/math] if [math]\displaystyle{ m }[/math] is the smallest nonnegative integer [math]\displaystyle{ n }[/math] such that [math]\displaystyle{ e(\Gamma) \leqslant n }[/math]. If there does not exist an integer [math]\displaystyle{ n \geqslant 0 }[/math] such that [math]\displaystyle{ e(\Gamma) \leqslant n }[/math], put [math]\displaystyle{ e(\Gamma) = \infty }[/math]. The number [math]\displaystyle{ e(\Gamma) }[/math] is called the number of ends of [math]\displaystyle{ \Gamma }[/math].

Informally, [math]\displaystyle{ e(\Gamma) }[/math] is the number of "connected components at infinity" of [math]\displaystyle{ \Gamma }[/math]. If [math]\displaystyle{ e(\Gamma) = m \lt \infty }[/math], then for any finite set [math]\displaystyle{ F }[/math] of edges of [math]\displaystyle{ \Gamma }[/math] there exists a finite set [math]\displaystyle{ K }[/math] of edges of [math]\displaystyle{ \Gamma }[/math] with [math]\displaystyle{ F \subseteq K }[/math] such that [math]\displaystyle{ \Gamma - F }[/math] has exactly [math]\displaystyle{ m }[/math] infinite connected components. If [math]\displaystyle{ e(\Gamma) = \infty }[/math], then for any finite set [math]\displaystyle{ F }[/math] of edges of [math]\displaystyle{ \Gamma }[/math] and for any integer [math]\displaystyle{ n \geqslant 0 }[/math] there exists a finite set [math]\displaystyle{ K }[/math] of edges of [math]\displaystyle{ \Gamma }[/math] with [math]\displaystyle{ F \subseteq K }[/math] such that [math]\displaystyle{ \Gamma - K }[/math] has at least [math]\displaystyle{ n }[/math] infinite connected components.

Ends of groups

Let [math]\displaystyle{ G }[/math] be a finitely generated group. Let [math]\displaystyle{ S \subseteq G }[/math] be a finite generating set of [math]\displaystyle{ G }[/math] and let [math]\displaystyle{ \Gamma(G,S) }[/math] be the Cayley graph of [math]\displaystyle{ G }[/math] with respect to [math]\displaystyle{ S }[/math]. The number of ends of [math]\displaystyle{ G }[/math] is defined as [math]\displaystyle{ e(G) = e(\Gamma(G,S)) }[/math]. A basic fact in the theory of ends of groups says that [math]\displaystyle{ e(\Gamma(G,S)) }[/math] does not depend on the choice of a finite generating set [math]\displaystyle{ S }[/math] of [math]\displaystyle{ G }[/math], so that [math]\displaystyle{ e(G) }[/math] is well-defined.

Basic facts and examples

  • For a finitely generated group [math]\displaystyle{ G }[/math] we have [math]\displaystyle{ e(G)=0 }[/math] if and only if [math]\displaystyle{ G }[/math] is finite.
  • For the infinite cyclic group [math]\displaystyle{ \mathbb Z }[/math] we have [math]\displaystyle{ e(\mathbb Z)=2. }[/math]
  • For the free abelian group of rank two [math]\displaystyle{ \mathbb Z^2 }[/math] we have [math]\displaystyle{ e(\mathbb Z^2)=1. }[/math]
  • For a free group [math]\displaystyle{ F(X) }[/math] where [math]\displaystyle{ 1 \lt |X| \lt \infty }[/math] we have [math]\displaystyle{ e(F(X)) = \infty }[/math].

Freudenthal-Hopf theorems

Hans Freudenthal[3] and independently Heinz Hopf[4] established in the 1940s the following two facts:

  • For any finitely generated group [math]\displaystyle{ G }[/math] we have [math]\displaystyle{ e(G) \in \{0,1,2,\infty\} }[/math].
  • For any finitely generated group [math]\displaystyle{ G }[/math] we have [math]\displaystyle{ e(G) = 2 }[/math] if and only if [math]\displaystyle{ G }[/math] is virtually infinite cyclic (that is, [math]\displaystyle{ G }[/math] contains an infinite cyclic subgroup of finite index).

Charles T. C. Wall proved in 1967 the following complementary fact:[5]

  • A group [math]\displaystyle{ G }[/math] is virtually infinite cyclic if and only if it has a finite normal subgroup [math]\displaystyle{ W }[/math] such that [math]\displaystyle{ G/W }[/math] is either infinite cyclic or infinite dihedral.

Cuts and almost invariant sets

Let [math]\displaystyle{ G }[/math] be a finitely generated group, [math]\displaystyle{ S \subseteq G }[/math] be a finite generating set of [math]\displaystyle{ G }[/math] and let [math]\displaystyle{ \Gamma = \Gamma(G,S) }[/math] be the Cayley graph of [math]\displaystyle{ G }[/math] with respect to [math]\displaystyle{ S }[/math]. For a subset [math]\displaystyle{ A \subseteq G }[/math] denote by [math]\displaystyle{ A^* }[/math] the complement [math]\displaystyle{ G-A }[/math] of [math]\displaystyle{ A }[/math] in [math]\displaystyle{ G }[/math].

For a subset [math]\displaystyle{ A \subseteq G }[/math], the edge boundary or the co-boundary [math]\displaystyle{ \delta A }[/math] of [math]\displaystyle{ A }[/math] consists of all (topological) edges of [math]\displaystyle{ \Gamma }[/math] connecting a vertex from [math]\displaystyle{ A }[/math] with a vertex from [math]\displaystyle{ A^* }[/math]. Note that by definition [math]\displaystyle{ \delta A = \delta A^* }[/math].

An ordered pair [math]\displaystyle{ (A,A^*) }[/math] is called a cut in [math]\displaystyle{ \Gamma }[/math] if [math]\displaystyle{ \delta A }[/math] is finite. A cut [math]\displaystyle{ (A,A^*) }[/math] is called essential if both the sets [math]\displaystyle{ A }[/math] and [math]\displaystyle{ A^* }[/math] are infinite.

A subset [math]\displaystyle{ A \subseteq G }[/math] is called almost invariant if for every [math]\displaystyle{ g \in G }[/math] the symmetric difference between [math]\displaystyle{ A }[/math] and [math]\displaystyle{ Ag }[/math] is finite. It is easy to see that [math]\displaystyle{ (A,A^*) }[/math] is a cut if and only if the sets [math]\displaystyle{ A }[/math] and [math]\displaystyle{ A^* }[/math] are almost invariant (equivalently, if and only if the set [math]\displaystyle{ A }[/math] is almost invariant).

Cuts and ends

A simple but important observation states:

[math]\displaystyle{ e(G) \gt 1 }[/math] if and only if there exists at least one essential cut [math]\displaystyle{ (A,A^*) }[/math] in Γ.

Cuts and splittings over finite groups

If [math]\displaystyle{ G = H*K }[/math] where [math]\displaystyle{ H }[/math] and [math]\displaystyle{ K }[/math] are nontrivial finitely generated groups then the Cayley graph of [math]\displaystyle{ G }[/math] has at least one essential cut and hence [math]\displaystyle{ e(G) \gt 1 }[/math]. Indeed, let [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] be finite generating sets for [math]\displaystyle{ H }[/math] and [math]\displaystyle{ K }[/math] accordingly so that [math]\displaystyle{ S = X \cup Y }[/math] is a finite generating set for [math]\displaystyle{ G }[/math] and let [math]\displaystyle{ \Gamma = \Gamma(G,S) }[/math] be the Cayley graph of [math]\displaystyle{ G }[/math] with respect to [math]\displaystyle{ S }[/math]. Let [math]\displaystyle{ A }[/math] consist of the trivial element and all the elements of [math]\displaystyle{ G }[/math] whose normal form expressions for [math]\displaystyle{ G = H*K }[/math] starts with a nontrivial element of [math]\displaystyle{ H }[/math]. Thus [math]\displaystyle{ A^* }[/math] consists of all elements of [math]\displaystyle{ G }[/math] whose normal form expressions for [math]\displaystyle{ G = H*K }[/math] starts with a nontrivial element of [math]\displaystyle{ K }[/math]. It is not hard to see that [math]\displaystyle{ (A,A^*) }[/math] is an essential cut in Γ so that [math]\displaystyle{ e(G) \gt 1 }[/math].

A more precise version of this argument shows that for a finitely generated group [math]\displaystyle{ G }[/math]:

  • If [math]\displaystyle{ G = H*_CK }[/math] is a free product with amalgamation where [math]\displaystyle{ C }[/math] is a finite group such that [math]\displaystyle{ C \neq H }[/math] and [math]\displaystyle{ C \neq K }[/math] then [math]\displaystyle{ H }[/math] and [math]\displaystyle{ K }[/math] are finitely generated and [math]\displaystyle{ e(G) \gt 1 }[/math] .
  • If [math]\displaystyle{ G=\langle H, t| t^{-1}C_1t=C_2\rangle }[/math] is an HNN-extension where [math]\displaystyle{ C_1 }[/math], [math]\displaystyle{ C_2 }[/math] are isomorphic finite subgroups of [math]\displaystyle{ H }[/math] then [math]\displaystyle{ G }[/math] is a finitely generated group and [math]\displaystyle{ e(G) \gt 1 }[/math].

Stallings' theorem shows that the converse is also true.

Formal statement of Stallings' theorem

Let [math]\displaystyle{ G }[/math] be a finitely generated group.

Then [math]\displaystyle{ e(G) \gt 1 }[/math] if and only if one of the following holds:

  • The group [math]\displaystyle{ G }[/math] admits a splitting [math]\displaystyle{ G = H*_C K }[/math] as a free product with amalgamation where [math]\displaystyle{ C }[/math] is a finite group such that [math]\displaystyle{ C \neq H }[/math] and [math]\displaystyle{ C \neq K }[/math].
  • The group [math]\displaystyle{ G }[/math] is an HNN extension [math]\displaystyle{ G=\langle H, t| t^{-1}C_1t=C_2\rangle }[/math] where and [math]\displaystyle{ C_1 }[/math], [math]\displaystyle{ C_2 }[/math] are isomorphic finite subgroups of [math]\displaystyle{ H }[/math].

In the language of Bass–Serre theory this result can be restated as follows: For a finitely generated group [math]\displaystyle{ G }[/math] we have [math]\displaystyle{ e(G) \gt 1 }[/math] if and only if [math]\displaystyle{ G }[/math] admits a nontrivial (that is, without a global fixed vertex) action on a simplicial tree with finite edge-stabilizers and without edge-inversions.

For the case where [math]\displaystyle{ G }[/math] is a torsion-free finitely generated group, Stallings' theorem implies that [math]\displaystyle{ e(G) = \infty }[/math] if and only if [math]\displaystyle{ G }[/math] admits a proper free product decomposition [math]\displaystyle{ G = A* B }[/math] with both [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] nontrivial.

Applications and generalizations

  • Among the immediate applications of Stallings' theorem was a proof by Stallings[6] of a long-standing conjecture that every finitely generated group of cohomological dimension one is free and that every torsion-free virtually free group is free.
  • Stallings' theorem also implies that the property of having a nontrivial splitting over a finite subgroup is a quasi-isometry invariant of a finitely generated group since the number of ends of a finitely generated group is easily seen to be a quasi-isometry invariant. For this reason Stallings' theorem is considered to be one of the first results in geometric group theory.
  • Stallings' theorem was a starting point for Dunwoody's accessibility theory. A finitely generated group [math]\displaystyle{ G }[/math] is said to be accessible if the process of iterated nontrivial splitting of [math]\displaystyle{ G }[/math] over finite subgroups always terminates in a finite number of steps. In Bass–Serre theory terms that the number of edges in a reduced splitting of [math]\displaystyle{ G }[/math] as the fundamental group of a graph of groups with finite edge groups is bounded by some constant depending on [math]\displaystyle{ G }[/math]. Dunwoody proved[7] that every finitely presented group is accessible but that there do exist finitely generated groups that are not accessible.[8] Linnell[9] showed that if one bounds the size of finite subgroups over which the splittings are taken then every finitely generated group is accessible in this sense as well. These results in turn gave rise to other versions of accessibility such as Bestvina-Feighn accessibility[10] of finitely presented groups (where the so-called "small" splittings are considered), acylindrical accessibility,[11][12] strong accessibility,[13] and others.
  • Stallings' theorem is a key tool in proving that a finitely generated group [math]\displaystyle{ G }[/math] is virtually free if and only if [math]\displaystyle{ G }[/math] can be represented as the fundamental group of a finite graph of groups where all vertex and edge groups are finite (see, for example,[14]).
  • Using Dunwoody's accessibility result, Stallings' theorem about ends of groups and the fact that if [math]\displaystyle{ G }[/math] is a finitely presented group with asymptotic dimension 1 then [math]\displaystyle{ G }[/math] is virtually free[15] one can show [16] that for a finitely presented word-hyperbolic group [math]\displaystyle{ G }[/math] the hyperbolic boundary of [math]\displaystyle{ G }[/math] has topological dimension zero if and only if [math]\displaystyle{ G }[/math] is virtually free.
  • Relative versions of Stallings' theorem and relative ends of finitely generated groups with respect to subgroups have also been considered. For a subgroup [math]\displaystyle{ H \leqslant G }[/math] of a finitely generated group [math]\displaystyle{ G }[/math] one defines the number of relative ends [math]\displaystyle{ e(G,H) }[/math] as the number of ends of the relative Cayley graph (the Schreier coset graph) of [math]\displaystyle{ G }[/math] with respect to [math]\displaystyle{ H }[/math]. The case where [math]\displaystyle{ e(G,H) \gt 1 }[/math] is called a semi-splitting of [math]\displaystyle{ G }[/math] over [math]\displaystyle{ H }[/math]. Early work on semi-splittings, inspired by Stallings' theorem, was done in the 1970s and 1980s by Scott,[17] Swarup,[18] and others.[19][20] The work of Sageev[21] and Gerasimov[22] in the 1990s showed that for a subgroup [math]\displaystyle{ H \leqslant G }[/math] the condition [math]\displaystyle{ e(G,H) \gt 1 }[/math] corresponds to the group [math]\displaystyle{ G }[/math] admitting an essential isometric action on a CAT(0)-cubing where a subgroup commensurable with [math]\displaystyle{ H }[/math] stabilizes an essential "hyperplane" (a simplicial tree is an example of a CAT(0)-cubing where the hyperplanes are the midpoints of edges). In certain situations such a semi-splitting can be promoted to an actual algebraic splitting, typically over a subgroup commensurable with [math]\displaystyle{ H }[/math], such as for the case where [math]\displaystyle{ H }[/math] is finite (Stallings' theorem). Another situation where an actual splitting can be obtained (modulo a few exceptions) is for semi-splittings over virtually polycyclic subgroups. Here the case of semi-splittings of word-hyperbolic groups over two-ended (virtually infinite cyclic) subgroups was treated by Scott-Swarup[23] and by Bowditch.[24] The case of semi-splittings of finitely generated groups with respect to virtually polycyclic subgroups is dealt with by the algebraic torus theorem of Dunwoody-Swenson.[25]
  • A number of new proofs of Stallings' theorem have been obtained by others after Stallings' original proof. Dunwoody gave a proof[26] based on the ideas of edge-cuts. Later Dunwoody also gave a proof of Stallings' theorem for finitely presented groups using the method of "tracks" on finite 2-complexes.[7] Niblo obtained a proof[27] of Stallings' theorem as a consequence of Sageev's CAT(0)-cubing relative version, where the CAT(0)-cubing is eventually promoted to being a tree. Niblo's paper also defines an abstract group-theoretic obstruction (which is a union of double cosets of [math]\displaystyle{ H }[/math] in [math]\displaystyle{ G }[/math]) for obtaining an actual splitting from a semi-splitting. It is also possible to prove Stallings' theorem for finitely presented groups using Riemannian geometry techniques of minimal surfaces, where one first realizes a finitely presented group as the fundamental group of a compact [math]\displaystyle{ 4 }[/math]-manifold (see, for example, a sketch of this argument in the survey article of Wall[28]). Gromov outlined a proof (see pp. 228–230 in [16]) where the minimal surfaces argument is replaced by an easier harmonic analysis argument and this approach was pushed further by Kapovich to cover the original case of finitely generated groups.[15][29]

See also

Notes

  1. ↑ John R. Stallings. On torsion-free groups with infinitely many ends. Annals of Mathematics (2), vol. 88 (1968), pp. 312–334
  2. ↑ John Stallings. Group theory and three-dimensional manifolds. A James K. Whittemore Lecture in Mathematics given at Yale University, 1969. Yale Mathematical Monographs, 4. Yale University Press, New Haven, Conn.-London, 1971.
  3. ↑ H. Freudenthal. Über die Enden diskreter Räume und Gruppen. Comment. Math. Helv. 17, (1945). 1-38.
  4. ↑ H. Hopf. Enden offener Räume und unendliche diskontinuierliche Gruppen. Comment. Math. Helv. 16, (1944). 81-100
  5. ↑ Lemma 4.1 in C. T. C. Wall, Poincaré Complexes: I. Annals of Mathematics, Second Series, Vol. 86, No. 2 (Sep., 1967), pp. 213-245
  6. ↑ John R. Stallings. Groups of dimension 1 are locally free. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 361–364
  7. ↑ 7.0 7.1 M. J. Dunwoody. The accessibility of finitely presented groups. Inventiones Mathematicae, vol. 81 (1985), no. 3, pp. 449-457
  8. ↑ M. J. Dunwoody. An inaccessible group. Geometric group theory, Vol. 1 (Sussex, 1991), pp. 75–78, London Mathematical Society Lecture Note Series, vol. 181, Cambridge University Press, Cambridge, 1993; ISBN 0-521-43529-3
  9. ↑ P. A. Linnell. On accessibility of groups.[|permanent dead link|dead link}}] Journal of Pure and Applied Algebra, vol. 30 (1983), no. 1, pp. 39–46.
  10. ↑ M. Bestvina and M. Feighn. Bounding the complexity of simplicial group actions on trees. Inventiones Mathematicae, vol. 103 (1991), no. 3, pp. 449–469
  11. ↑ Z. Sela. Acylindrical accessibility for groups. Inventiones Mathematicae, vol. 129 (1997), no. 3, pp. 527–565
  12. ↑ T. Delzant. Sur l'accessibilité acylindrique des groupes de présentation finie. Université de Grenoble. Annales de l'Institut Fourier, vol. 49 (1999), no. 4, pp. 1215–1224
  13. ↑ T. Delzant, and L. Potyagailo. Accessibilité hiérarchique des groupes de présentation finie.[|permanent dead link|dead link}}] Topology, vol. 40 (2001), no. 3, pp. 617–629
  14. ↑ H. Bass. Covering theory for graphs of groups. Journal of Pure and Applied Algebra, vol. 89 (1993), no. 1-2, pp. 3–47
  15. ↑ 15.0 15.1 Gentimis Thanos, Asymptotic dimension of finitely presented groups, http://www.ams.org/journals/proc/2008-136-12/S0002-9939-08-08973-9/home.html
  16. ↑ 16.0 16.1 M. Gromov, Hyperbolic Groups, in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75-263
  17. ↑ Peter Scott. Ends of pairs of groups.[|permanent dead link|dead link}}] Journal of Pure and Applied Algebra, vol. 11 (1977/78), no. 1–3, pp. 179–198
  18. ↑ G. A. Swarup. Relative version of a theorem of Stallings.[|permanent dead link|dead link}}] Journal of Pure and Applied Algebra, vol. 11 (1977/78), no. 1–3, pp. 75–82
  19. ↑ H. Müller. Decomposition theorems for group pairs. Mathematische Zeitschrift, vol. 176 (1981), no. 2, pp. 223–246
  20. ↑ P. H. Kropholler, and M. A. Roller. Relative ends and duality groups.[|permanent dead link|dead link}}] Journal of Pure and Applied Algebra, vol. 61 (1989), no. 2, pp. 197–210
  21. ↑ Michah Sageev. Ends of group pairs and non-positively curved cube complexes. Proceedings of the London Mathematical Society (3), vol. 71 (1995), no. 3, pp. 585–617
  22. ↑ V. N. Gerasimov. Semi-splittings of groups and actions on cubings. (in Russian) Algebra, geometry, analysis and mathematical physics (Novosibirsk, 1996), pp. 91–109, 190, Izdat. Ross. Akad. Nauk Sib. Otd. Inst. Mat., Novosibirsk, 1997
  23. ↑ G. P. Scott, and G. A. Swarup. An algebraic annulus theorem. Pacific Journal of Mathematics, vol. 196 (2000), no. 2, pp. 461–506
  24. ↑ B. H. Bowditch. Cut points and canonical splittings of hyperbolic groups. Acta Mathematica, vol. 180 (1998), no. 2, pp. 145–186
  25. ↑ M. J. Dunwoody, and E. L. Swenson. The algebraic torus theorem. Inventiones Mathematicae, vol. 140 (2000), no. 3, pp. 605–637
  26. ↑ M. J. Dunwoody. Cutting up graphs. Combinatorica, vol. 2 (1982), no. 1, pp. 15–23
  27. ↑ Graham A. Niblo. A geometric proof of Stallings' theorem on groups with more than one end. Geometriae Dedicata, vol. 105 (2004), pp. 61–76
  28. ↑ C. T. C. Wall. The geometry of abstract groups and their splittings. Revista Matemática Complutense vol. 16(2003), no. 1, pp. 5–101
  29. ↑ M. Kapovich. Energy of harmonic functions and Gromov's proof of Stallings' theorem, preprint, 2007, arXiv:0707.4231



Retrieved from "https://handwiki.org/wiki/index.php?title=Stallings_theorem_about_ends_of_groups&oldid=3010386"