Namespaces
Variants
Actions

Difference between revisions of "Accessibility for groups"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 33 formulas out of 33 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 33 formulas, 33 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
Accessibility is concerned with bounding the complexity of decompositions as graphs of groups for a discrete group.
 
Accessibility is concerned with bounding the complexity of decompositions as graphs of groups for a discrete group.
  
In his proof that groups of [[Cohomological dimension|cohomological dimension]] one are necessarily free, J.R. Stallings [[#References|[a13]]] made use of Grushko's theorem [[#References|[a6]]], which asserts that if a [[Group|group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300901.png" /> is generated by a subset of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300902.png" /> and decomposes as a non-trivial [[Free product|free product]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300903.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300904.png" />.
+
In his proof that groups of [[Cohomological dimension|cohomological dimension]] one are necessarily free, J.R. Stallings [[#References|[a13]]] made use of Grushko's theorem [[#References|[a6]]], which asserts that if a [[Group|group]] $G$ is generated by a subset of cardinality $d$ and decomposes as a non-trivial [[Free product|free product]] $G = H _ { 1 }  *  \ldots  *  H _ { k }$, then $k \leq d$.
  
In attempting to generalize the above Stallings' theorem to pairs of relative cohomological dimension one, C.T.C. Wall [[#References|[a14]]] conjectured that there was a similar bound on decompositions as a [[Finitely-generated group|finitely-generated group]] as non-trivial amalgamated free products and HNN-extensions (cf. [[HNN-extension|HNN-extension]]) over finite subgroups [[#References|[a14]]]. Specifically, Wall defined a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300905.png" /> to be accessible if there is a positive integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300906.png" /> such that any reduced decomposition as a graph of groups for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300907.png" /> with finite edge groups has at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300908.png" /> edges. He conjectured that all finitely-generated groups are accessible.
+
In attempting to generalize the above Stallings' theorem to pairs of relative cohomological dimension one, C.T.C. Wall [[#References|[a14]]] conjectured that there was a similar bound on decompositions as a [[Finitely-generated group|finitely-generated group]] as non-trivial amalgamated free products and HNN-extensions (cf. [[HNN-extension|HNN-extension]]) over finite subgroups [[#References|[a14]]]. Specifically, Wall defined a group $G$ to be accessible if there is a positive integer $d$ such that any reduced decomposition as a graph of groups for $G$ with finite edge groups has at most $d$ edges. He conjectured that all finitely-generated groups are accessible.
  
 
In a torsion-free group (cf. also [[Group without torsion|Group without torsion]]), the only allowed decompositions are free products so it follows from Grushko's theorem that finitely-generated torsion-free groups are accessible.
 
In a torsion-free group (cf. also [[Group without torsion|Group without torsion]]), the only allowed decompositions are free products so it follows from Grushko's theorem that finitely-generated torsion-free groups are accessible.
Line 9: Line 17:
 
Despite considerable interest in Wall's conjecture, which motivated much progress in the understanding of splittings of groups, it took until the 1990s before M.J. Dunwoody found a counterexample [[#References|[a3]]]. In the meantime several important classes of groups were shown to be accessible. Using algebraic techniques, P.A. Linnell showed that any finitely-generated group with a bound on the order of its finite subgroups is accessible [[#References|[a8]]], and, using geometric methods, Dunwoody proved Wall's conjecture for the class of almost finitely-presented groups, which contains as a subclass all finitely-presented groups [[#References|[a4]]].
 
Despite considerable interest in Wall's conjecture, which motivated much progress in the understanding of splittings of groups, it took until the 1990s before M.J. Dunwoody found a counterexample [[#References|[a3]]]. In the meantime several important classes of groups were shown to be accessible. Using algebraic techniques, P.A. Linnell showed that any finitely-generated group with a bound on the order of its finite subgroups is accessible [[#References|[a8]]], and, using geometric methods, Dunwoody proved Wall's conjecture for the class of almost finitely-presented groups, which contains as a subclass all finitely-presented groups [[#References|[a4]]].
  
Much of the development of the theory of group splittings is parallel to the theory of incompressible embedded surfaces in three-dimensional manifolds (cf. also [[Three-dimensional manifold|Three-dimensional manifold]]); for example, the analogue of Grushko's theorem is Kneser's theorem [[#References|[a7]]] concerning embedded <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a1300909.png" />-incompressible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009010.png" />-spheres in compact orientable three-dimensional manifolds (cf. also [[Kneser theorem|Kneser theorem]]).
+
Much of the development of the theory of group splittings is parallel to the theory of incompressible embedded surfaces in three-dimensional manifolds (cf. also [[Three-dimensional manifold|Three-dimensional manifold]]); for example, the analogue of Grushko's theorem is Kneser's theorem [[#References|[a7]]] concerning embedded $\pi_2$-incompressible $2$-spheres in compact orientable three-dimensional manifolds (cf. also [[Kneser theorem|Kneser theorem]]).
  
Incompressible surfaces in three-dimensional manifolds are now (as of 2000) largely understood, using the theory of surfaces of least area [[#References|[a9]]]. Dunwoody's proof of accessibility for finitely-presented groups uses a combinatorial analogue of this idea, which applies to group actions on a simply connected <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009011.png" />-complex, or more generally any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009012.png" />-complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009013.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009014.png" />. He showed that any splitting of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009015.png" /> over a finite subgroup gives rise to the existence of a minimal track in any such complex on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009016.png" /> acts. Reduced decompositions as a graph of groups for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009017.png" /> with finite edge groups give rise to non-parallel disjoint tracks in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009018.png" />-complex via a method known as resolution. Dunwoody showed that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009019.png" /> acts co-compactly on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009020.png" />-complex, then there is a bound on the number of such disjoint tracks, and this establishes the accessibility of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009021.png" />. Applying the method to the Cayley complex of a finitely-presented group proves accessibility in this case.
+
Incompressible surfaces in three-dimensional manifolds are now (as of 2000) largely understood, using the theory of surfaces of least area [[#References|[a9]]]. Dunwoody's proof of accessibility for finitely-presented groups uses a combinatorial analogue of this idea, which applies to group actions on a simply connected $2$-complex, or more generally any $2$-complex $X$ such that $H ^ { 1 } ( X , \mathbf{Z} _ { 2 } ) = 0$. He showed that any splitting of a group $G$ over a finite subgroup gives rise to the existence of a minimal track in any such complex on which $G$ acts. Reduced decompositions as a graph of groups for $G$ with finite edge groups give rise to non-parallel disjoint tracks in the $2$-complex via a method known as resolution. Dunwoody showed that if $G$ acts co-compactly on the $2$-complex, then there is a bound on the number of such disjoint tracks, and this establishes the accessibility of $G$. Applying the method to the Cayley complex of a finitely-presented group proves accessibility in this case.
  
There have been generalizations of the notion of accessibility to cover decompositions over other classes of subgroups. M. Bestvina and M. Feighn were able to show that for a finitely-presented group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009022.png" /> there is a bound on the number of vertices in any reduced decomposition as a graph of groups for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009023.png" /> with small edge groups [[#References|[a1]]]. The technical notion of a  "small subgroup"  used here includes the case of splittings over Abelian subgroups.
+
There have been generalizations of the notion of accessibility to cover decompositions over other classes of subgroups. M. Bestvina and M. Feighn were able to show that for a finitely-presented group $G$ there is a bound on the number of vertices in any reduced decomposition as a graph of groups for $G$ with small edge groups [[#References|[a1]]]. The technical notion of a  "small subgroup"  used here includes the case of splittings over Abelian subgroups.
  
Another approach to accessibility was pioneered by Z. Sela [[#References|[a11]]]. His definition is most naturally understood using Bass–Serre theory, which gives a duality between decompositions as graphs of groups for a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009024.png" /> and actions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009025.png" /> on trees which have no global fixed point [[#References|[a12]]].
+
Another approach to accessibility was pioneered by Z. Sela [[#References|[a11]]]. His definition is most naturally understood using Bass–Serre theory, which gives a duality between decompositions as graphs of groups for a group $G$ and actions of $G$ on trees which have no global fixed point [[#References|[a12]]].
  
Sela defines a decomposition as a graph of groups to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009027.png" />-acylindrical if it is reduced, and no element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009028.png" /> fixes a path of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009029.png" /> in the corresponding Bass–Serre tree. He remarks that this notion is satisfied in many natural situations, including small decompositions of torsion-free word hyperbolic groups (cf. also [[Hyperbolic group|Hyperbolic group]]). His main result is that there is a bound on the number of vertices in any reduced <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009030.png" />-acylindrical splitting of a finitely-generated, torsion-free, freely indecomposable group. The bound depends only on the group and the integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009031.png" />. He remarks that this notion of accessibility holds for certain groups that are not accessible in the classical sense, but that the bound is not given in terms of other algebraic invariants of the group, unlike the accessibility discussed by Dunwoody and Bestvina and Feighn.
+
Sela defines a decomposition as a graph of groups to be $k$-acylindrical if it is reduced, and no element of $G$ fixes a path of length $k + 1$ in the corresponding Bass–Serre tree. He remarks that this notion is satisfied in many natural situations, including small decompositions of torsion-free word hyperbolic groups (cf. also [[Hyperbolic group|Hyperbolic group]]). His main result is that there is a bound on the number of vertices in any reduced $k$-acylindrical splitting of a finitely-generated, torsion-free, freely indecomposable group. The bound depends only on the group and the integer $k$. He remarks that this notion of accessibility holds for certain groups that are not accessible in the classical sense, but that the bound is not given in terms of other algebraic invariants of the group, unlike the accessibility discussed by Dunwoody and Bestvina and Feighn.
  
 
There is now (as of 2000) a much more more powerful structure theorem for decompositions of a finitely-presented group over virtually cyclic subgroups, given by the JSJ decomposition. This powerful theorem gives a natural decomposition of any finitely-presented group which encodes all the information about splittings of the group over virtually infinite cyclic subgroups, and generalizes the Jaco–Shalen–Johansson decomposition theorem for embedded tori in three-dimensional manifolds.
 
There is now (as of 2000) a much more more powerful structure theorem for decompositions of a finitely-presented group over virtually cyclic subgroups, given by the JSJ decomposition. This powerful theorem gives a natural decomposition of any finitely-presented group which encodes all the information about splittings of the group over virtually infinite cyclic subgroups, and generalizes the Jaco–Shalen–Johansson decomposition theorem for embedded tori in three-dimensional manifolds.
  
It was initially proved in [[#References|[a10]]] for the class of word hyperbolic groups, while [[#References|[a2]]] gives a geometric derivation of the JSJ decomposition for finitely-presented groups using tracks in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009032.png" />-complexes.
+
It was initially proved in [[#References|[a10]]] for the class of word hyperbolic groups, while [[#References|[a2]]] gives a geometric derivation of the JSJ decomposition for finitely-presented groups using tracks in $2$-complexes.
  
The theorem asserts that any finitely-presented group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009033.png" /> admits a canonical decomposition as a graph of groups in which all edge groups are virtually infinite cyclic, and any virtually cyclic subgroup over which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130090/a13009034.png" /> splits lies in a subgroup isomorphic to a finite extension of a surface group and which is conjugate to a vertex group of the decomposition.
+
The theorem asserts that any finitely-presented group $G$ admits a canonical decomposition as a graph of groups in which all edge groups are virtually infinite cyclic, and any virtually cyclic subgroup over which $G$ splits lies in a subgroup isomorphic to a finite extension of a surface group and which is conjugate to a vertex group of the decomposition.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Bestvian,  M. Feighn,  "Bounding the complexity of simplicial group actions on trees"  ''Invent. Math.'' , '''103'''  (1991)  pp. 449–469</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M.J. Dunwoody,  M.E. Sageev,  "JSJ-splittings for finitely presented groups over slender groups"  ''Invent. Math.'' , '''135''' :  1  (1999)  pp. 25–44</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  M.J. Dunwoody,  "An inaccessible group"  G.A. Niblo (ed.)  M.A. Roller (ed.) , ''Geometric Group Theory I'' , ''London Math. Soc. Lecture Notes'' , '''181'''  (1993)  pp. 75–78</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  M.J. Dunwoody,  "The accessibility of finitely presented groups"  ''Invent. Math.'' , '''81'''  (1985)  pp. 449–457</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Gromov,  "Hyperbolic groups"  S.M. Gersten (ed.) , ''Essays in Group Theory'' , ''Math. Sci. Res. Inst. Publ.'' , '''8''' , Springer  (1987)  pp. 75–263</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  I.A. Grushko,  "Über des Basen eines freien Produktes von Gruppen"  ''Mat. Sb.'' , '''8'''  (1940)  pp. 169–182</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  H. Kneser,  "Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten"  ''Jahresber. Deutsch. Math. Verein.'' , '''38'''  (1929)  pp. 248–260</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  P.A. Linnell,  "On accessibility of groups."  ''J. Pure Appl. Algebra'' , '''30'''  (1983)  pp. 39–46</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  W. Meeks,  S.T. Yau,  "Topology of 3-dimensional manifolds and the embedding problems in minimal surface theory"  ''Ann. of Math.'' , '''112'''  (1980)  pp. 441–485</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  E. Rips,  Z. Sela,  "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition"  ''Ann. of Math. (2)'' , '''146''' :  1  (1997)  pp. 53–109</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  Z. Sela,  "Acylindrical accessibility for groups"  ''Invent. Math.'' , '''129''' :  3  (1997)  pp. 527–565</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  J.-P. Serre,  "Trees" , Springer  (1980)  (Translated from French)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J.R. Stallings,  "On torsion free groups with infinitely many ends"  ''Ann. of Math.'' , '''88'''  (1968)  pp. 312–334</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  C.T.C. Wall,  "Pairs of relative cohomological dimension 1"  ''J. Pure Appl. Algebra'' , '''1'''  (1971)  pp. 141–154</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  M. Bestvian,  M. Feighn,  "Bounding the complexity of simplicial group actions on trees"  ''Invent. Math.'' , '''103'''  (1991)  pp. 449–469</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  M.J. Dunwoody,  M.E. Sageev,  "JSJ-splittings for finitely presented groups over slender groups"  ''Invent. Math.'' , '''135''' :  1  (1999)  pp. 25–44</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  M.J. Dunwoody,  "An inaccessible group"  G.A. Niblo (ed.)  M.A. Roller (ed.) , ''Geometric Group Theory I'' , ''London Math. Soc. Lecture Notes'' , '''181'''  (1993)  pp. 75–78</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  M.J. Dunwoody,  "The accessibility of finitely presented groups"  ''Invent. Math.'' , '''81'''  (1985)  pp. 449–457</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  M. Gromov,  "Hyperbolic groups"  S.M. Gersten (ed.) , ''Essays in Group Theory'' , ''Math. Sci. Res. Inst. Publ.'' , '''8''' , Springer  (1987)  pp. 75–263</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  I.A. Grushko,  "Über des Basen eines freien Produktes von Gruppen"  ''Mat. Sb.'' , '''8'''  (1940)  pp. 169–182</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  H. Kneser,  "Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten"  ''Jahresber. Deutsch. Math. Verein.'' , '''38'''  (1929)  pp. 248–260</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  P.A. Linnell,  "On accessibility of groups."  ''J. Pure Appl. Algebra'' , '''30'''  (1983)  pp. 39–46</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  W. Meeks,  S.T. Yau,  "Topology of 3-dimensional manifolds and the embedding problems in minimal surface theory"  ''Ann. of Math.'' , '''112'''  (1980)  pp. 441–485</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  E. Rips,  Z. Sela,  "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition"  ''Ann. of Math. (2)'' , '''146''' :  1  (1997)  pp. 53–109</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  Z. Sela,  "Acylindrical accessibility for groups"  ''Invent. Math.'' , '''129''' :  3  (1997)  pp. 527–565</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  J.-P. Serre,  "Trees" , Springer  (1980)  (Translated from French)</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  J.R. Stallings,  "On torsion free groups with infinitely many ends"  ''Ann. of Math.'' , '''88'''  (1968)  pp. 312–334</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  C.T.C. Wall,  "Pairs of relative cohomological dimension 1"  ''J. Pure Appl. Algebra'' , '''1'''  (1971)  pp. 141–154</td></tr></table>

Latest revision as of 15:30, 1 July 2020

Accessibility is concerned with bounding the complexity of decompositions as graphs of groups for a discrete group.

In his proof that groups of cohomological dimension one are necessarily free, J.R. Stallings [a13] made use of Grushko's theorem [a6], which asserts that if a group $G$ is generated by a subset of cardinality $d$ and decomposes as a non-trivial free product $G = H _ { 1 } * \ldots * H _ { k }$, then $k \leq d$.

In attempting to generalize the above Stallings' theorem to pairs of relative cohomological dimension one, C.T.C. Wall [a14] conjectured that there was a similar bound on decompositions as a finitely-generated group as non-trivial amalgamated free products and HNN-extensions (cf. HNN-extension) over finite subgroups [a14]. Specifically, Wall defined a group $G$ to be accessible if there is a positive integer $d$ such that any reduced decomposition as a graph of groups for $G$ with finite edge groups has at most $d$ edges. He conjectured that all finitely-generated groups are accessible.

In a torsion-free group (cf. also Group without torsion), the only allowed decompositions are free products so it follows from Grushko's theorem that finitely-generated torsion-free groups are accessible.

Despite considerable interest in Wall's conjecture, which motivated much progress in the understanding of splittings of groups, it took until the 1990s before M.J. Dunwoody found a counterexample [a3]. In the meantime several important classes of groups were shown to be accessible. Using algebraic techniques, P.A. Linnell showed that any finitely-generated group with a bound on the order of its finite subgroups is accessible [a8], and, using geometric methods, Dunwoody proved Wall's conjecture for the class of almost finitely-presented groups, which contains as a subclass all finitely-presented groups [a4].

Much of the development of the theory of group splittings is parallel to the theory of incompressible embedded surfaces in three-dimensional manifolds (cf. also Three-dimensional manifold); for example, the analogue of Grushko's theorem is Kneser's theorem [a7] concerning embedded $\pi_2$-incompressible $2$-spheres in compact orientable three-dimensional manifolds (cf. also Kneser theorem).

Incompressible surfaces in three-dimensional manifolds are now (as of 2000) largely understood, using the theory of surfaces of least area [a9]. Dunwoody's proof of accessibility for finitely-presented groups uses a combinatorial analogue of this idea, which applies to group actions on a simply connected $2$-complex, or more generally any $2$-complex $X$ such that $H ^ { 1 } ( X , \mathbf{Z} _ { 2 } ) = 0$. He showed that any splitting of a group $G$ over a finite subgroup gives rise to the existence of a minimal track in any such complex on which $G$ acts. Reduced decompositions as a graph of groups for $G$ with finite edge groups give rise to non-parallel disjoint tracks in the $2$-complex via a method known as resolution. Dunwoody showed that if $G$ acts co-compactly on the $2$-complex, then there is a bound on the number of such disjoint tracks, and this establishes the accessibility of $G$. Applying the method to the Cayley complex of a finitely-presented group proves accessibility in this case.

There have been generalizations of the notion of accessibility to cover decompositions over other classes of subgroups. M. Bestvina and M. Feighn were able to show that for a finitely-presented group $G$ there is a bound on the number of vertices in any reduced decomposition as a graph of groups for $G$ with small edge groups [a1]. The technical notion of a "small subgroup" used here includes the case of splittings over Abelian subgroups.

Another approach to accessibility was pioneered by Z. Sela [a11]. His definition is most naturally understood using Bass–Serre theory, which gives a duality between decompositions as graphs of groups for a group $G$ and actions of $G$ on trees which have no global fixed point [a12].

Sela defines a decomposition as a graph of groups to be $k$-acylindrical if it is reduced, and no element of $G$ fixes a path of length $k + 1$ in the corresponding Bass–Serre tree. He remarks that this notion is satisfied in many natural situations, including small decompositions of torsion-free word hyperbolic groups (cf. also Hyperbolic group). His main result is that there is a bound on the number of vertices in any reduced $k$-acylindrical splitting of a finitely-generated, torsion-free, freely indecomposable group. The bound depends only on the group and the integer $k$. He remarks that this notion of accessibility holds for certain groups that are not accessible in the classical sense, but that the bound is not given in terms of other algebraic invariants of the group, unlike the accessibility discussed by Dunwoody and Bestvina and Feighn.

There is now (as of 2000) a much more more powerful structure theorem for decompositions of a finitely-presented group over virtually cyclic subgroups, given by the JSJ decomposition. This powerful theorem gives a natural decomposition of any finitely-presented group which encodes all the information about splittings of the group over virtually infinite cyclic subgroups, and generalizes the Jaco–Shalen–Johansson decomposition theorem for embedded tori in three-dimensional manifolds.

It was initially proved in [a10] for the class of word hyperbolic groups, while [a2] gives a geometric derivation of the JSJ decomposition for finitely-presented groups using tracks in $2$-complexes.

The theorem asserts that any finitely-presented group $G$ admits a canonical decomposition as a graph of groups in which all edge groups are virtually infinite cyclic, and any virtually cyclic subgroup over which $G$ splits lies in a subgroup isomorphic to a finite extension of a surface group and which is conjugate to a vertex group of the decomposition.

References

[a1] M. Bestvian, M. Feighn, "Bounding the complexity of simplicial group actions on trees" Invent. Math. , 103 (1991) pp. 449–469
[a2] M.J. Dunwoody, M.E. Sageev, "JSJ-splittings for finitely presented groups over slender groups" Invent. Math. , 135 : 1 (1999) pp. 25–44
[a3] M.J. Dunwoody, "An inaccessible group" G.A. Niblo (ed.) M.A. Roller (ed.) , Geometric Group Theory I , London Math. Soc. Lecture Notes , 181 (1993) pp. 75–78
[a4] M.J. Dunwoody, "The accessibility of finitely presented groups" Invent. Math. , 81 (1985) pp. 449–457
[a5] M. Gromov, "Hyperbolic groups" S.M. Gersten (ed.) , Essays in Group Theory , Math. Sci. Res. Inst. Publ. , 8 , Springer (1987) pp. 75–263
[a6] I.A. Grushko, "Über des Basen eines freien Produktes von Gruppen" Mat. Sb. , 8 (1940) pp. 169–182
[a7] H. Kneser, "Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten" Jahresber. Deutsch. Math. Verein. , 38 (1929) pp. 248–260
[a8] P.A. Linnell, "On accessibility of groups." J. Pure Appl. Algebra , 30 (1983) pp. 39–46
[a9] W. Meeks, S.T. Yau, "Topology of 3-dimensional manifolds and the embedding problems in minimal surface theory" Ann. of Math. , 112 (1980) pp. 441–485
[a10] E. Rips, Z. Sela, "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition" Ann. of Math. (2) , 146 : 1 (1997) pp. 53–109
[a11] Z. Sela, "Acylindrical accessibility for groups" Invent. Math. , 129 : 3 (1997) pp. 527–565
[a12] J.-P. Serre, "Trees" , Springer (1980) (Translated from French)
[a13] J.R. Stallings, "On torsion free groups with infinitely many ends" Ann. of Math. , 88 (1968) pp. 312–334
[a14] C.T.C. Wall, "Pairs of relative cohomological dimension 1" J. Pure Appl. Algebra , 1 (1971) pp. 141–154
How to Cite This Entry:
Accessibility for groups. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Accessibility_for_groups&oldid=15546
This article was adapted from an original article by Graham A. Niblo (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article