Bass–Serre theory

Bass–Serre theory is a part of the mathematical subject of group theory that deals with analyzing the algebraic structure of groups acting by automorphisms on simplicial trees. The theory relates group actions on trees with decomposing groups as iterated applications of the operations of free product with amalgamation and HNN extension, via the notion of the fundamental group of a graph of groups. Bass–Serre theory can be regarded as one-dimensional version of the orbifold theory.

History

Bass–Serre theory was developed by Jean-Pierre Serre in the 1970s and formalized in Trees, Serre's 1977 monograph (developed in collaboration with Hyman Bass) on the subject.[1][2] Serre's original motivation was to understand the structure of certain algebraic groups whose Bruhat–Tits buildings are trees. However, the theory quickly became a standard tool of geometric group theory and geometric topology, particularly the study of 3-manifolds. Subsequent work of Hyman Bass[3] contributed substantially to the formalization and development of basic tools of the theory and currently the term "Bass–Serre theory" is widely used to describe the subject.

Mathematically, Bass–Serre theory builds on exploiting and generalizing the properties of two older group-theoretic constructions: free product with amalgamation and HNN extension. However, unlike the traditional algebraic study of these two constructions, Bass–Serre theory uses the geometric language of covering theory and fundamental groups. Graphs of groups, which are the basic objects of Bass–Serre theory, can be viewed as one-dimensional versions of orbifolds.

Apart from Serre's book,[2] the basic treatment of Bass–Serre theory is available in the article of Bass,[3] the article of Scott and Wall[4] and the books of Hatcher,[5] Baumslag,[6] Dicks and Dunwoody[7] and Cohen.[8]

Basic set-up

Graphs in the sense of Serre

Serre's formalism of graphs is slightly different from the standard formalism from graph theory. Here a graph A consists of a vertex set V, an edge set E, an edge reversal map such that ee and for every e in E, and an initial vertex map o : EV. Thus in A every edge e comes equipped with its formal inverse e. The vertex o(e) is called the origin or the initial vertex of e and the vertex o(e) is called the terminus of e and is denoted t(e). Both loop-edges (that is, edges e such that o(e) = t(e)) and multiple edges are allowed. An orientation on A is a partition of E into the union of two disjoint subsets E+ and E so that for every edge e exactly one of the edges from the pair e, e belongs to E+ and the other belongs to E.

Graphs of groups

A graph of groups A consists of the following data:

For every eE the map is also denoted by ωe.

Fundamental group of a graph of groups

There are two equivalent definitions of the notion of the fundamental group of a graph of groups: the first is a direct algebraic definition via an explicit group presentation (as a certain iterated application of amalgamated free products and HNN extensions), and the second using the language of groupoids.

The algebraic definition is easier to state:

First, choose a spanning tree T in A. The fundamental group of A with respect to T, denoted π1(A, T), is defined as the quotient of the free product

where F(E) is a free group with free basis E, subject to the following relations:

There is also a notion of the fundamental group of A with respect to a base-vertex v in V, denoted π1(A, v), which is defined using the formalism of groupoids. It turns out that for every choice of a base-vertex v and every spanning tree T in A the groups π1(A, T) and π1(A, v) are naturally isomorphic.

The fundamental group of a graph of groups has a natural topological interpretation as well: it is the fundamental group of a graph of spaces whose vertex spaces and edge spaces have the fundamental groups of the vertex groups and edge groups, respectively, and whose gluing maps induce the homomorphisms of the edge groups into the vertex groups. One can therefore take this as a third definition of the fundamental group of a graph of groups.

Fundamental groups of graphs of groups as iterations of amalgamated products and HNN-extensions

The group G = π1(A, T) defined above admits an algebraic description in terms of iterated amalgamated free products and HNN extensions. First, form a group B as a quotient of the free product

subject to the relations

This presentation can be rewritten as

which shows that B is an iterated amalgamated free product of the vertex groups Av.

Then the group G = π1(A, T) has the presentation

which shows that G = π1(A, T) is a multiple HNN extension of B with stable letters .

Splittings

An isomorphism between a group G and the fundamental group of a graph of groups is called a splitting of G. If the edge groups in the splitting come from a particular class of groups (e.g. finite, cyclic, abelian, etc.), the splitting is said to be a splitting over that class. Thus a splitting where all edge groups are finite is called a splitting over finite groups.

Algebraically, a splitting of G with trivial edge groups corresponds to a free product decomposition

where F(X) is a free group with free basis X = E+(AT) consisting of all positively oriented edges (with respect to some orientation on A) in the complement of some spanning tree T of A.

The normal forms theorem

Let g be an element of G = π1(A, T) represented as a product of the form

where e1, ..., en is a closed edge-path in A with the vertex sequence v0, v1, ..., vn = v0 (that is v0=o(e1), vn = t(en) and vi = t(ei) = o(ei+1) for 0 < i < n) and where for i = 0, ..., n.

Suppose that g = 1 in G. Then

The normal forms theorem immediately implies that the canonical homomorphisms Av → π1(A, T) are injective, so that we can think of the vertex groups Av as subgroups of G.

Higgins has given a nice version of the normal form using the fundamental groupoid of a graph of groups.[9] This avoids choosing a base point or tree, and has been exploited by Moore.[10]

Bass–Serre covering trees

To every graph of groups A, with a specified choice of a base-vertex, one can associate a Bass–Serre covering tree , which is a tree that comes equipped with a natural group action of the fundamental group π1(A, v) without edge-inversions. Moreover, the quotient graph is isomorphic to A.

Similarly, if G is a group acting on a tree X without edge-inversions (that is, so that for every edge e of X and every g in G we have gee), one can define the natural notion of a quotient graph of groups A. The underlying graph A of A is the quotient graph X/G. The vertex groups of A are isomorphic to vertex stabilizers in G of vertices of X and the edge groups of A are isomorphic to edge stabilizers in G of edges of X.

Moreover, if X was the Bass–Serre covering tree of a graph of groups A and if G = π1(A, v) then the quotient graph of groups for the action of G on X can be chosen to be naturally isomorphic to A.

Fundamental theorem of Bass–Serre theory

Let G be a group acting on a tree X without inversions. Let A be the quotient graph of groups and let v be a base-vertex in A. Then G is isomorphic to the group π1(A, v) and there is an equivariant isomorphism between the tree X and the Bass–Serre covering tree . More precisely, there is a group isomorphism σ: G → π1(A, v) and a graph isomorphism such that for every g in G, for every vertex x of X and for every edge e of X we have j(gx) = g j(x) and j(ge) = g j(e).

One of the immediate consequences of the above result is the classic Kurosh subgroup theorem describing the algebraic structure of subgroups of free products.

Examples

Amalgamated free product

Consider a graph of groups A consisting of a single non-loop edge e (together with its formal inverse e) with two distinct end-vertices u = o(e) and v = t(e), vertex groups H = Au, K = Av, an edge group C = Ae and the boundary monomorphisms . Then T = A is a spanning tree in A and the fundamental group π1(A, T) is isomorphic to the amalgamated free product

In this case the Bass–Serre tree can be described as follows. The vertex set of X is the set of cosets

Two vertices gK and fH are adjacent in X whenever there exists k  K such that fH = gkH (or, equivalently, whenever there is h  H such that gK = fhK).

The G-stabilizer of every vertex of X of type gK is equal to gKg−1 and the G-stabilizer of every vertex of X of type gH is equal to gHg−1. For an edge [gH, ghK] of X its G-stabilizer is equal to ghα(C)h−1g−1.

For every c  C and h  'k  K' the edges [gH, ghK] and [gH, ghα(c)K] are equal and the degree of the vertex gH in X is equal to the index [H:α(C)]. Similarly, every vertex of type gK has degree [K:ω(C)] in X.

HNN extension

Let A be a graph of groups consisting of a single loop-edge e (together with its formal inverse e), a single vertex v = o(e) = t(e), a vertex group B = Av, an edge group C = Ae and the boundary monomorphisms . Then T = v is a spanning tree in A and the fundamental group π1(A, T) is isomorphic to the HNN extension

with the base group B, stable letter e and the associated subgroups H = α(C), K = ω(C) in B. The composition is an isomorphism and the above HNN-extension presentation of G can be rewritten as

In this case the Bass–Serre tree can be described as follows. The vertex set of X is the set of cosets VX = {gB : gG}.

Two vertices gB and fB are adjacent in X whenever there exists b in B such that either fB = gbeB or fB = gbe−1B. The G-stabilizer of every vertex of X is conjugate to B in G and the stabilizer of every edge of X is conjugate to H in G. Every vertex of X has degree equal to [B : H] + [B : K].

A graph with the trivial graph of groups structure

Let A be a graph of groups with underlying graph A such that all the vertex and edge groups in A are trivial. Let v be a base-vertex in A. Then π1(A,v) is equal to the fundamental group π1(A,v) of the underlying graph A in the standard sense of algebraic topology and the Bass–Serre covering tree is equal to the standard universal covering space of A. Moreover, the action of π1(A,v) on is exactly the standard action of π1(A,v) on by deck transformations.

Basic facts and properties

Trivial and nontrivial actions

A graph of groups A is called trivial if A = T is already a tree and there is some vertex v of A such that Av = π1(A, A). This is equivalent to the condition that A is a tree and that for every edge e = [u, z] of A (with o(e) = u, t(e) = z) such that u is closer to v than z we have [Az : ωe(Ae)] = 1, that is Az = ωe(Ae).

An action of a group G on a tree X without edge-inversions is called trivial if there exists a vertex x of X that is fixed by G, that is such that Gx = x. It is known that an action of G on X is trivial if and only if the quotient graph of groups for that action is trivial.

Typically, only nontrivial actions on trees are studied in Bass–Serre theory since trivial graphs of groups do not carry any interesting algebraic information, although trivial actions in the above sense (e. g. actions of groups by automorphisms on rooted trees) may also be interesting for other mathematical reasons.

One of the classic and still important results of the theory is a theorem of Stallings about ends of groups. The theorem states that a finitely generated group has more than one end if and only if this group admits a nontrivial splitting over finite subgroups that is, if and only if the group admits a nontrivial action without inversions on a tree with finite edge stabilizers.[11]

An important general result of the theory states that if G is a group with Kazhdan's property (T) then G does not admit any nontrivial splitting, that is, that any action of G on a tree X without edge-inversions has a global fixed vertex.[12]

Hyperbolic length functions

Let G be a group acting on a tree X without edge-inversions.

For every gG put

Then X(g) is called the translation length of g on X.

The function

is called the hyperbolic length function or the translation length function for the action of G on X.

Basic facts regarding hyperbolic length functions

(a) X(g) = 0 and g fixes a vertex of G. In this case g is called an elliptic element of G.
(b) X(g) > 0 and there is a unique bi-infinite embedded line in X, called the axis of g and denoted Lg which is g-invariant. In this case g acts on Lg by translation of magnitude X(g) and the element g  G is called hyperbolic.

The length-function X : GZ is said to be abelian if it is a group homomorphism from G to Z and non-abelian otherwise. Similarly, the action of G on X is said to be abelian if the associated hyperbolic length function is abelian and is said to be non-abelian otherwise.

In general, an action of G on a tree X without edge-inversions is said to be minimal if there are no proper G-invariant subtrees in X.

An important fact in the theory says that minimal non-abelian tree actions are uniquely determined by their hyperbolic length functions:[13]

Uniqueness theorem

Let G be a group with two nonabelian minimal actions without edge-inversions on trees X and Y. Suppose that the hyperbolic length functions X and Y on G are equal, that is X(g) = Y(g) for every g  G. Then the actions of G on X and Y are equal in the sense that there exists a graph isomorphism f : X  Y which is G-equivariant, that is f(gx) = g f(x) for every g  G and every x  VX.

Important developments in Bass–Serre theory

Important developments in Bass–Serre theory in the last 30 years include:

The group G is called an X-lattice if vol(A)< ∞. The theory of tree lattices turns out to be useful in the study of discrete subgroups of algebraic groups over non-archimedean local fields and in the study of Kac–Moody groups.

Generalizations

There have been several generalizations of Bass–Serre theory:

See also

References

  1. J.-P. Serre. Arbres, amalgames, SL2. Rédigé avec la collaboration de Hyman Bass. Astérisque, No. 46. Société Mathématique de France, Paris, 1977
  2. 1 2 J.-P. Serre, Trees. (Translated from the French by John Stillwell). Springer-Verlag, 1980. ISBN 3-540-10103-9
  3. 1 2 H. Bass, Covering theory for graphs of groups. Journal of Pure and Applied Algebra, vol. 89 (1993), no. 1–2, pp. 3–47
  4. Peter Scott and Terry Wall. Topological methods in group theory. in: "Homological group theory (Proc. Sympos., Durham, 1977)", pp. 137–203, London Mathematical Society Lecture Notes Series, vol. 36, Cambridge University Press, Cambridge-New York, 1979; ISBN 0-521-22729-1
  5. A. Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002. ISBN 0-521-79160-X; 0-521-79540-0
  6. G. Baumslag. Topics in combinatorial group theory. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 1993. ISBN 3-7643-2921-1
  7. W. Dicks, and M. J. Dunwoody. Groups acting on graphs. Cambridge Studies in Advanced Mathematics, 17. Cambridge University Press, Cambridge, 1989. ISBN 0-521-23033-0
  8. Daniel E. Cohen. Combinatorial group theory: a topological approach. London Mathematical Society Student Texts, 14. Cambridge University Press, Cambridge, 1989. ISBN 0-521-34133-7
  9. Higgins, P.J., `The fundamental groupoid of a graph of groups', J. London Math. Soc. (2), 13 (1976)  145–149.
  10. Moore, E.J., Graphs of groups: word computations and free crossed resolutions Archived January 9, 2014, at the Wayback Machine., PhD Thesis, University of Wales, Bangor, (2001).
  11. J. R. Stallings. Groups of cohomological dimension one. in: "Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVIII, New York, 1968)", pp. 124–128; American Mathematical Society, Providence, R.I, 1970.
  12. Y. Watatani. Property T of Kazhdan implies property FA of Serre. Mathematica Japonica, vol. 27 (1982), no. 1, pp. 97–103
  13. 1 2 R. Alperin and H. Bass. Length functions of group actions on Λ-trees. in: Combinatorial group theory and topology (Alta, Utah, 1984), pp. 265–378, Annals of Mathematical Studies, 111, Princeton University Press, Princeton, NJ, 1987; ISBN 0-691-08409-2
  14. M. J. Dunwoody.The accessibility of finitely presented groups. Inventiones Mathematicae vol. 81 (1985), no. 3, pp. 449–457
  15. 1 2 M. Bestvina and M. Feighn. Bounding the complexity of simplicial group actions on trees. Inventiones Mathematicae, vol. 103 (1991), no. 3, pp. 449–469
  16. Z. Sela. Acylindrical accessibility for groups. Inventiones Mathematicae, vol. 129 (1997), no. 3, pp. 527−565
  17. 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
  18. 1 2 R. Weidmann. The Nielsen method for groups acting on trees. Proceedings of the London Mathematical Society (3), vol. 85 (2002), no. 1, pp. 93–118
  19. Z. Sela, Structure and rigidity in (Gromov) hyperbolic groups and discrete groups in rank $1$ Lie groups. II. Geometric and Functional Analysis, vol. 7 (1997), no. 3, pp. 561–593
  20. B. H. Bowditch, Cut points and canonical splittings of hyperbolic groups. Acta Mathematica, vol. 180 (1998), no. 2, pp. 145–186
  21. E. Rips, and Z. Sela, Cyclic splittings of finitely presented groups and the canonical JSJ decomposition. Annals of Mathematics (2) vol. 146 (1997), no. 1, pp. 53–109
  22. M. J. Dunwoody, and M. E. Sageev, JSJ-splittings for finitely presented groups over slender groups. Inventiones Mathematicae, vol. 135 (1999), no. 1, pp. 25–44.
  23. K. Fujiwara, and P. Papasoglu, JSJ-decompositions of finitely presented groups and complexes of groups. Geometric and Functional Analysis, vol. 16 (2006), no. 1, pp. 70–125
  24. Scott, Peter and Swarup, Gadde A. Regular neighbourhoods and canonical decompositions for groups. Astérisque No. 289 (2003).
  25. H. Bass, and R. Kulkarni. Uniform tree lattices. Journal of the American Mathematical Society, vol. 3 (1990), no. 4, pp. 843–902
  26. A. Lubotzky. Tree-lattices and lattices in Lie groups. in "Combinatorial and geometric group theory (Edinburgh, 1993)", pp. 217–232, London Mathematical Society Lecture Notes Series, vol. 204, Cambridge University Press, Cambridge, 1995; ISBN 0-521-46595-8
  27. J.-R. Stallings. Foldings of G-trees. in: "Arboreal Group Theory (Berkeley, CA, 1988)", Math. Sci. Res. Inst. Publ. 19 (Springer, New York, 1991), pp. 355–368. ISBN 0-387-97518-7
  28. I. Kapovich, R. Weidmann, and A. Miasnikov. Foldings, graphs of groups and the membership problem. International Journal of Algebra and Computation, vol. 15 (2005), no. 1, pp. 95–128
  29. Scott, G. P. and Swarup, G. A. An algebraic annulus theorem. Pacific Journal of Mathematics, vol. 196 (2000), no. 2, pp. 461–506
  30. M. J. Dunwoody, and E. L. Swenson, E. L. The algebraic torus theorem. Inventiones Mathematicae. vol. 140 (2000), no. 3, pp. 605–637
  31. M. Sageev. Codimension-1 subgroups and splittings of groups. Journal of Algebra, vol. 189 (1997), no. 2, pp. 377–389.
  32. P. Papasoglu. Group splittings and asymptotic topology. Journal für die Reine und Angewandte Mathematik, vol. 602 (2007), pp. 1–16.
  33. André Haefliger. Complexes of groups and orbihedra. in: "Group theory from a geometrical viewpoint (Trieste, 1990)", pp. 504–540, World Sci. Publ., River Edge, NJ, 1991. ISBN 981-02-0442-6
  34. Jon Corson. Complexes of groups. Proceedings of the London Mathematical Society (3) 65 (1992), no. 1, pp. 199–224.
  35. Martin R. Bridson, and André Haefliger. Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 319. Springer-Verlag, Berlin, 1999. ISBN 3-540-64324-9
  36. Daniel T. Wise. The residual finiteness of negatively curved polygons of finite groups. Inventiones Mathematicae, vol. 149 (2002), no. 3, pp. 579–617
  37. John R. Stallings. Non-positively curved triangles of groups. in: "Group theory from a geometrical viewpoint (Trieste, 1990)", pp. 491–503, World Scientific Publishing, River Edge, NJ, 1991; ISBN 981-02-0442-6
  38. Mladen Bestvina, and Mark Feighn. Stable actions of groups on real trees. Inventiones Mathematicae, vol. 121 (1995), no. 2, pp. 287–321
  39. Richard Skora. Splittings of surfaces. Bulletin of the American Mathematical Societ (N.S.), vol. 23 (1990), no. 1, pp. 85–90
  40. Mladen Bestvina. Degenerations of the hyperbolic space. Duke Mathematical Journal. vol. 56 (1988), no. 1, pp. 143–161
  41. 1 2 M. Kapovich. Hyperbolic manifolds and discrete groups. Progress in Mathematics, 183. Birkhäuser. Boston, MA, 2001. ISBN 0-8176-3904-7
  42. J.-P. Otal. The hyperbolization theorem for fibered 3-manifolds. Translated from the 1996 French original by Leslie D. Kay. SMF/AMS Texts and Monographs, 7. American Mathematical Society, Providence, RI; Société Mathématique de France, Paris. ISBN 0-8218-2153-9
  43. Marshall Cohen, and Martin Lustig. Very small group actions on R-trees and Dehn twist automorphisms. Topology, vol. 34 (1995), no. 3, pp. 575–617
  44. Gilbert Levitt and Martin Lustig. Irreducible automorphisms of Fn have north-south dynamics on compactified outer space. Journal de l'Institut de Mathématiques de Jussieu, vol. 2 (2003), no. 1, pp. 59–72
  45. Cornelia Druţu and Mark Sapir. Tree-graded spaces and asymptotic cones of groups. (With an appendix by Denis Osin and Sapir.) Topology, vol. 44 (2005), no. 5, pp. 959–1058
  46. Cornelia Drutu, and Mark Sapir. Groups acting on tree-graded spaces and splittings of relatively hyperbolic groups. Advances in Mathematics, vol. 217 (2008), no. 3, pp. 1313–1367
  47. Zlil Sela. Diophantine geometry over groups and the elementary theory of free and hyperbolic groups. Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 87–92, Higher Ed. Press, Beijing, 2002; ISBN 7-04-008690-5
  48. Zlil Sela. Diophantine geometry over groups. I. Makanin-Razborov diagrams. Publications Mathématiques. Institut de Hautes Études Scientifiques, No. 93 (2001), pp. 31–105
  49. John W. Morgan. Λ-trees and their applications. Bulletin of the American Mathematical Society (N.S.), vol. 26 (1992), no. 1, pp. 87–112.
  50. Ian Chiswell. Introduction to Λ-trees. World Scientific Publishing Co., Inc., River Edge, NJ, 2001. ISBN 981-02-4386-3
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.