Geometric group theory

The Cayley graph of a free group with two generators. This is a hyperbolic group whose Gromov boundary is a Cantor set. Hyperbolic groups and their boundaries are important topics in geometric group theory, as are Cayley graphs.

Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act (that is, when the groups in question are realized as geometric symmetries or continuous transformations of some spaces).

Another important idea in geometric group theory is to consider finitely generated groups themselves as geometric objects. This is usually done by studying the Cayley graphs of groups, which, in addition to the graph structure, are endowed with the structure of a metric space, given by the so-called word metric.

Geometric group theory, as a distinct area, is relatively new, and became a clearly identifiable branch of mathematics in the late 1980s and early 1990s. Geometric group theory closely interacts with low-dimensional topology, hyperbolic geometry, algebraic topology, computational group theory and differential geometry. There are also substantial connections with complexity theory, mathematical logic, the study of Lie Groups and their discrete subgroups, dynamical systems, probability theory, K-theory, and other areas of mathematics.

In the introduction to his book Topics in Geometric Group Theory, Pierre de la Harpe wrote: "One of my personal beliefs is that fascination with symmetries and groups is one way of coping with frustrations of life's limitations: we like to recognize symmetries which allow us to recognize more than what we can see. In this sense the study of geometric group theory is a part of culture, and reminds me of several things that Georges de Rham practices on many occasions, such as teaching mathematics, reciting Mallarmé, or greeting a friend" (page 3 in [1]).

History

Geometric group theory grew out of combinatorial group theory that largely studied properties of discrete groups via analyzing group presentations, that describe groups as quotients of free groups; this field was first systematically studied by Walther von Dyck, student of Felix Klein, in the early 1880s,[2] while an early form is found in the 1856 icosian calculus of William Rowan Hamilton, where he studied the icosahedral symmetry group via the edge graph of the dodecahedron. Currently combinatorial group theory as an area is largely subsumed by geometric group theory. Moreover, the term "geometric group theory" came to often include studying discrete groups using probabilistic, measure-theoretic, arithmetic, analytic and other approaches that lie outside of the traditional combinatorial group theory arsenal.

In the first half of the 20th century, pioneering work of Dehn, Nielsen, Reidemeister and Schreier, Whitehead, van Kampen, amongst others, introduced some topological and geometric ideas into the study of discrete groups.[3] Other precursors of geometric group theory include small cancellation theory and Bass–Serre theory. Small cancellation theory was introduced by Martin Grindlinger in the 1960s[4][5] and further developed by Roger Lyndon and Paul Schupp.[6] It studies van Kampen diagrams, corresponding to finite group presentations, via combinatorial curvature conditions and derives algebraic and algorithmic properties of groups from such analysis. Bass–Serre theory, introduced in the 1977 book of Serre,[7] derives structural algebraic information about groups by studying group actions on simplicial trees. External precursors of geometric group theory include the study of lattices in Lie Groups, especially Mostow rigidity theorem, the study of Kleinian groups, and the progress achieved in low-dimensional topology and hyperbolic geometry in the 1970s and early 1980s, spurred, in particular, by Thurston's Geometrization program.

The emergence of geometric group theory as a distinct area of mathematics is usually traced to the late 1980s and early 1990s. It was spurred by the 1987 monograph of Gromov "Hyperbolic groups"[8] that introduced the notion of a hyperbolic group (also known as word-hyperbolic or Gromov-hyperbolic or negatively curved group), which captures the idea of a finitely generated group having large-scale negative curvature, and by his subsequent monograph Asymptotic Invariants of Infinite Groups,[9] that outlined Gromov's program of understanding discrete groups up to quasi-isometry. The work of Gromov had a transformative effect on the study of discrete groups[10][11][12] and the phrase "geometric group theory" started appearing soon afterwards. (see, e.g.,[13]).

Modern themes and developments

Notable themes and developments in geometric group theory in 1990s and 2000s include:

A particularly influential broad theme in the area is Gromov's program[14] of classifying finitely generated groups according to their large scale geometry. Formally, this means classifying finitely generated groups with their word metric up to quasi-isometry. This program involves:
  1. The study of properties that are invariant under quasi-isometry. Examples of such properties of finitely generated groups include: the growth rate of a finitely generated group; the isoperimetric function or Dehn function of a finitely presented group; the number of ends of a group; hyperbolicity of a group; the homeomorphism type of the Gromov boundary of a hyperbolic group;[15] asymptotic cones of finitely generated groups (see, e.g.,[16][17]); amenability of a finitely generated group; being virtually abelian (that is, having an abelian subgroup of finite index); being virtually nilpotent; being virtually free; being finitely presentable; being a finitely presentable group with solvable Word Problem; and others.
  2. Theorems which use quasi-isometry invariants to prove algebraic results about groups, for example: Gromov's polynomial growth theorem; Stallings' ends theorem; Mostow rigidity theorem.
  3. Quasi-isometric rigidity theorems, in which one classifies algebraically all groups that are quasi-isometric to some given group or metric space. This direction was initiated by the work of Schwartz on quasi-isometric rigidity of rank-one lattices[18] and the work of Farb and Mosher on quasi-isometric rigidity of Baumslag-Solitar groups.[19]

Examples

The following examples are often studied in geometric group theory:

See also

References

  1. P. de la Harpe, Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000. ISBN 0-226-31719-6, ISBN 0-226-31721-8.
  2. Stillwell, John (2002), Mathematics and its history, Springer, p. 374, ISBN 978-0-387-95336-6
  3. Bruce Chandler and Wilhelm Magnus. The history of combinatorial group theory. A case study in the history of ideas. Studies in the History of Mathematics and Physical Sciences, vo. 9. Springer-Verlag, New York, 1982.
  4. M. Greendlinger, Dehn's algorithm for the word problem. Communications in Pure and Applied Mathematics, vol. 13 (1960), pp. 67–83.
  5. M. Greendlinger, An analogue of a theorem of Magnus. Archiv der Mathematik, vol. 12 (1961), pp. 94–96.
  6. R. Lyndon and P. Schupp, Combinatorial Group Theory, Springer-Verlag, Berlin, 1977. Reprinted in the "Classics in mathematics" series, 2000.
  7. J.-P. Serre, Trees. Translated from the 1977 French original by John Stillwell. Springer-Verlag, Berlin-New York, 1980. ISBN 3-540-10103-9.
  8. 1 2 M. Gromov, Hyperbolic Groups, in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75–263.
  9. M. Gromov, "Asymptotic invariants of infinite groups", in "Geometric Group Theory", Vol. 2 (Sussex, 1991), London Mathematical Society Lecture Note Series, 182, Cambridge University Press, Cambridge, 1993, pp. 1–295.
  10. I. Kapovich and N. Benakli. Boundaries of hyperbolic groups. Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), pp. 39–93, Contemp. Math., 296, Amer. Math. Soc., Providence, RI, 2002. From the Introduction:" In the last fifteen years geometric group theory has enjoyed fast growth and rapidly increasing influence. Much of this progress has been spurred by remarkable work of M. L. Gromov [in Essays in group theory, 75–263, Springer, New York, 1987; in Geometric group theory, Vol. 2 (Sussex, 1991), 1–295, Cambridge Univ. Press, Cambridge, 1993], who has advanced the theory of word-hyperbolic groups (also referred to as Gromov-hyperbolic or negatively curved groups)."
  11. B. H. Bowditch, Hyperbolic 3-manifolds and the geometry of the curve complex. European Congress of Mathematics, pp. 103–115, Eur. Math. Soc., Zürich, 2005. From the Introduction:" Much of this can be viewed in the context of geometric group theory. This subject has seen very rapid growth over the last twenty years or so, though of course, its antecedents can be traced back much earlier. [...] The work of Gromov has been a major driving force in this. Particularly relevant here is his seminal paper on hyperbolic groups [Gr]."
  12. G. Elek. The mathematics of Misha Gromov. Acta Mathematica Hungarica, vol. 113 (2006), no. 3, pp. 171–185. From p. 181: "Gromov's pioneering work on the geometry of discrete metric spaces and his quasi-isometry program became the locomotive of geometric group theory from the early eighties."
  13. Geometric group theory. Vol. 1. Proceedings of the symposium held at Sussex University, Sussex, July 1991. Edited by Graham A. Niblo and Martin A. Roller. London Mathematical Society Lecture Note Series, 181. Cambridge University Press, Cambridge, 1993. ISBN 0-521-43529-3.
  14. M. Gromov, Asymptotic invariants of infinite groups, in "Geometric Group Theory", Vol. 2 (Sussex, 1991), London Mathematical Society Lecture Note Series, 182, Cambridge University Press, Cambridge, 1993, pp. 1–295.
  15. I. Kapovich and N. Benakli. Boundaries of hyperbolic groups. Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), pp. 39–93, Contemp. Math., 296, Amer. Math. Soc., Providence, RI, 2002.
  16. T. R. Riley, Higher connectedness of asymptotic cones. Topology, vol. 42 (2003), no. 6, pp. 1289–1352.
  17. L. Kramer, S. Shelah, K. Tent and S. Thomas. Asymptotic cones of finitely presented groups. Advances in Mathematics, vol. 193 (2005), no. 1, pp. 142–173.
  18. R. E. Richard. The quasi-isometry classification of rank one lattices. Institut des Hautes Études Scientifiques. Publications Mathématiques. No. 82 (1995), pp. 133-168.
  19. B. Farb and L. Mosher. A rigidity theorem for the solvable Baumslag-Solitar groups. With an appendix by Daryl Cooper. Inventiones Mathematicae, vol. 131 (1998), no. 2, pp. 419–451.
  20. Z. Sela, The isomorphism problem for hyperbolic groups. I. Annals of Mathematics (2), vol. 141 (1995), no. 2, pp. 217–283.
  21. B. Farb. Relatively hyperbolic groups. Geometric and Functional Analysis, vol. 8 (1998), no. 5, pp. 810–840.
  22. B. H. Bowditch. Treelike structures arising from continua and convergence groups. Memoirs American Mathematical Society vol. 139 (1999), no. 662.
  23. Z.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.
  24. O. Kharlampovich and A. Myasnikov, Tarski's problem about the elementary theory of free groups has a positive solution. Electronic Research Announcements of the American Mathematical Society, vol. 4 (1998), pp. 101–108.
  25. D. B. A. Epstein, J. W. Cannon, D. Holt, S. Levy, M. Paterson, W. Thurston. Word processing in groups. Jones and Bartlett Publishers, Boston, MA, 1992.
  26. M. Sapir, J.-C. Birget, E. Rips, Isoperimetric and isodiametric functions of groups. Annals of Mathematics (2), vol 156 (2002), no. 2, pp. 345–466.
  27. J.-C. Birget, A. Yu. Ol'shanskii, E. Rips, M. Sapir, Isoperimetric functions of groups and computational complexity of the word problem. Annals of Mathematics (2), vol 156 (2002), no. 2, pp. 467-518.
  28. M. R. Bridson, Fractional isoperimetric inequalities and subgroup distortion. Journal of the American Mathematical Society, vol. 12 (1999), no. 4, pp. 1103–1118.
  29. 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.
  30. 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.
  31. P. Scott and G. A. Swarup. Regular neighbourhoods and canonical decompositions for groups. Electronic Research Announcements of the American Mathematical Society, vol. 8 (2002), pp. 20–28.
  32. B. H. Bowditch. Cut points and canonical splittings of hyperbolic groups. Acta Mathematica, vol. 180 (1998), no. 2, pp. 145–186.
  33. 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.
  34. G. Yu. The Novikov conjecture for groups with finite asymptotic dimension. Annals of Mathematics (2), vol. 147 (1998), no. 2, pp. 325–355.
  35. G. Yu. The coarse Baum–Connes conjecture for spaces which admit a uniform embedding into Hilbert space. Inventiones Mathematicae, vol 139 (2000), no. 1, pp. 201–240.
  36. I. Mineyev and G. Yu. The Baum–Connes conjecture for hyperbolic groups. Inventiones Mathematicae, vol. 149 (2002), no. 1, pp. 97–122.
  37. M. Bonk and B. Kleiner. Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary. Geometry and Topology, vol. 9 (2005), pp. 219–246.
  38. M. Bourdon and H. Pajot. Quasi-conformal geometry and hyperbolic geometry. Rigidity in dynamics and geometry (Cambridge, 2000), pp. 1–17, Springer, Berlin, 2002.
  39. M. Bonk, Quasiconformal geometry of fractals. International Congress of Mathematicians. Vol. II, pp. 1349–1373, Eur. Math. Soc., Zürich, 2006.
  40. J. W. Cannon, W. J. Floyd, W. R. Parry. Finite subdivision rules. Conformal Geometry and Dynamics, vol. 5 (2001), pp. 153–196.
  41. P. Tukia. Generalizations of Fuchsian and Kleinian groups. First European Congress of Mathematics, Vol. II (Paris, 1992), pp. 447–461, Progr. Math., 120, Birkhäuser, Basel, 1994.
  42. A. Yaman. A topological charactesization of relatively hyperbolic groups. Journal für die Reine und Angewandte Mathematik, vol. 566 (2004), pp. 41–89.
  43. M. Bestvina and M. Feighn. Stable actions of groups on real trees. Inventiones Mathematicae, vol. 121 (1995), no. 2, pp. 287–321.
  44. M. R. Bridson and A. Haefliger, Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319. Springer-Verlag, Berlin, 1999.
  45. M. Kapovich, Hyperbolic manifolds and discrete groups. Progress in Mathematics, 183. Birkhäuser Boston, Inc., Boston, MA, 2001.
  46. M. Gromov. Random walk in random groups. Geometric and Functional Analysis, vol. 13 (2003), no. 1, pp. 73–146.
  47. I. Kapovich, A. Miasnikov, P. Schupp and V. Shpilrain, Generic-case complexity, decision problems in group theory, and random walks. Journal of Algebra, vol. 264 (2003), no. 2, pp. 665–694.
  48. I. Kapovich, P. Schupp, V. Shpilrain, Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups. Pacific Journal of Mathematics, vol. 223 (2006), no. 1, pp. 113–140.
  49. L. Bartholdi, R. I. Grigorchuk and Z. Sunik. Branch groups. Handbook of algebra, Vol. 3, pp. 989-1112, North-Holland, Amsterdam, 2003.
  50. V. Nekrashevych. Self-similar groups. Mathematical Surveys and Monographs, 117. American Mathematical Society, Providence, RI, 2005. ISBN 0-8218-3831-8.
  51. A. Furman, Gromov's measure equivalence and rigidity of higher rank lattices. Annals of Mathematics (2), vol. 150 (1999), no. 3, pp. 1059–1081.
  52. N. Monod, Y. Shalom, Orbit equivalence rigidity and bounded cohomology. Annals of Mathematics (2), vol. 164 (2006), no. 3, pp. 825–878.
  53. Y. Shalom. The algebraization of Kazhdan's property (T). International Congress of Mathematicians. Vol. II, pp. 1283–1310, Eur. Math. Soc., Zürich, 2006.
  54. M Culler and K. Vogtmann. Moduli of graphs and automorphisms of free groups. Inventiones Mathematicae, vol. 84 (1986), no. 1, pp. 91–119.
  55. M. Bestvina and M. Handel, Train tracks and automorphisms of free groups. Annals of Mathematics (2), vol. 135 (1992), no. 1, pp. 1–51.
  56. M. J. Dunwoody. The accessibility of finitely presented groups. Inventiones Mathematicae, vol. 81 (1985), no. 3, pp. 449–457.
  57. M. Bestvina and M. Feighn. Bounding the complexity of simplicial group actions on trees. Inventiones Mathematicae, vol. 103 (1991), no 3, pp. 449–469 (1991).
  58. Z. Sela, Acylindrical accessibility for groups. Inventiones Mathematicae, vol. 129 (1997), no. 3, pp. 527–565.
  59. H. Bass and A. Lubotzky. Tree lattices. With appendices by Bass, L. Carbone, Lubotzky, G. Rosenberg and J. Tits. Progress in Mathematics, 176. Birkhäuser Boston, Inc., Boston, MA, 2001. ISBN 0-8176-4120-3.
  60. M. R. Bridson and A. Haefliger, Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319. Springer-Verlag, Berlin, 1999. ISBN 3-540-64324-9.
  61. V. A. Kaimanovich, The Poisson formula for groups with hyperbolic properties. Annals of Mathematics (2), vol. 152 (2000), no. 3, pp. 659–692.
  62. A. Lubotzky and D. Segal. Subgroup growth. Progress in Mathematics, 212. Birkhäuser Verlag, Basel, 2003. ISBN 3-7643-6989-2.
  63. M. Bestvina, M. Kapovich and B. Kleiner. Van Kampen's embedding obstruction for discrete groups. Inventiones Mathematicae, vol. 150 (2002), no. 2, pp. 219–235.
  64. S. V. Ivanov. The free Burnside groups of sufficiently large exponents. International Journal of Algebra and Computation, vol. 4 (1994), no. 1–2.
  65. I. G. Lysënok. Infinite Burnside groups of even period. (Russian) Izvestial Rossiyskoi Akademii Nauk Seriya Matematicheskaya, vol. 60 (1996), no. 3, pp. 3–224; translation in Izvestiya. Mathematics vol. 60 (1996), no. 3, pp. 453–654.

Books and monographs

These texts cover geometric group theory and related topics.

External links

This article is issued from Wikipedia - version of the Friday, March 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.