Graph of groups

In geometric group theory, a graph of groups is an object consisting of a collection of groups indexed by the vertices and edges of a graph, together with a family of injective homomorphisms of the edge groups into the vertex groups.There is a single group, called the fundamental group, canonically associated to each finite connected graph of groups. It admits an orientation-preserving action on a tree: the original graph of groups can be recovered from the quotient graph and the stabiliser subgroups. This theory, commonly referred to as Bass–Serre theory, is due to Bass and Serre.

Definition

A graph of groups over a graph $Y$ is an assignment of a group $G\_x$ to each vertex $x$ and a group $G\_y$ to each edge $y$ of $Y$, as well as injective homomorphisms $varphi\_\{y,0\}$ and $varphi\_\{y,1\}$ for each $y$ mapping $G\_y$ to the group at each of its endpoints.

Fundamental group

Let "T" be a spanning tree for "Y" and define the fundamental group "Γ" to be the group generated by the vertex groups $G\_x$ and elements "y" for each edge subject to the following conditions:

*$overline\{y\}\; =\; y^\{-1\}$ if $overline\{y\}$ is the edge $y$ with the reverse orientation.
*$y\; varphi\_\{y,0\}(x)\; y^\{-1\}\; =\; varphi\_\{y,1\}(x)$.
*$y=1$ if $y$ is an edge in "T".

This definition is independent of the choice of "T".

The benefit in defining the fundamental groupoid of a graph of groups, as shown in the paper of Higgins referred to below, is that it is defined independently of base point or tree. Also there is proved there a nice normal form for the elements of the fundamental groupoid. This includes normal form theorems for a free product with amalgamation and for an HNN extension.H. Bass, "Covering theory for graphs of groups." Journal of Pure and Applied Algebra, vol. 89 (1993), no. 1–2, pp. 3–47]

tructure theorem

Let "Γ" be the fundamental group corresponding to the spanning tree "T". For every vertex "x" and edge "y", "G"_"x" and "G"_"y" can be identified with their images in "Γ". It is possible to define a graph with vertices and edges the disjoint union of all coset spaces "Γ"/"G"_"x" and "Γ"/"G"_"y" respectively. This graph is a tree, called the universal covering tree, on which "Γ" acts. It admits the graph "Y" as fundamental domain. The graph of groups given by the stabiliser subgroups on the fundamental domain corresponds to the original graph of groups.

Examples

*A graph of groups on a graph with one edge and two vertices corresponds to a free product with amalgamation.
*A graph of groups on a single vertex with a loop corresponds to an HNN extension.

Generalisations

The simplest possible generalisation of a graph of groups is a 2-dimensional complex of groups. These are modeled on orbifolds arising from cocompact properly discontinuous actions of discrete groups on 2-dimensional simplicial complexes that have the structure of CAT(0) spaces. The quotient of the simplicial complex has finite stabiliser groups attached to vertices, edges and triangles together with monomorphisms for every inclusion of simplices. A complex of groups is said to be developable if it arises as the quotient of a CAT(0) simplicial complex. Developability is a non-positive curvature condition on the complex of groups: it can be verified locally by checking that all circuits occurring in the links of vertices have length at least six. Such complexes of groups originally arose in the theory of 2-dimensional Bruhat-Tits buildings; their general definition and continued study have been inspired by the ideas of Gromov.

See also

* Free product
* HNN extension
* Right-angled Artin groups
* Bass-Serre theory

References

* Serre, Jean-Pierre, "Trees", Springer (2003) ISBN 3-540-44237-5 (English translation of "arbres, amalgames, SL₂", written with the collaboration of Hyman Bass, 3rd edition, "astérisque" 46 (1983)). See Chapter I.5.
* Haefliger, André, "Orbi-espaces," (Orbispaces) in Sur les groupes hyperboliques d'après Mikhael Gromov (Bern, 1988), 203–213, Progr. Math., 83, Birkhäuser (1990). ISBN 0-8176-3508-4
* Higgins, P.J., "The fundamental groupoid of a graph of groups", J. London Math. Soc. (2) 13 (1976) 145–149.
* Bridson, Martin R.; Haefliger, André, "Metric spaces of non-positive curvature". Grundlehren der Mathematischen Wissenschaften, 319. Springer-Verlag, Berlin, 1999. xxii+643 pp. ISBN 3-540-64324-9 MathSciNet|id=1744486
* Dicks, Warren; Dunwoody, Martin J. "Groups acting on graphs". Cambridge Studies in Advanced Mathematics, 17. CUP, Cambridge, 1989. xvi+283 pp. ISBN 0-521-23033-0 MathSciNet|id=1001965