DOCSLIB.ORG

Arxiv:1111.0512V4 [Math.GR] 13 May 2013

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1111.0512V4 [Math.GR] 13 May 2013 MILNOR'S PROBLEM ON THE GROWTH OF GROUPS AND ITS CONSEQUENCES ROSTISLAV GRIGORCHUK Dedicated to John Milnor on the occasion of his 80th birthday. Abstract. We present a survey of results related to Milnor's problem on group growth. We discuss the cases of polynomial growth and exponential but not uniformly exponential growth; the main part of the article is devoted to the intermediate (between polynomial and exponential) growth case. A number of related topics (growth of manifolds, amenability, asymptotic behavior of random walks) are considered, and a number of open problems are suggested. 1. Introduction The notion of the growth of a finitely generated group was introduced by A.S. Schwarz (also spelled Schvarts and Svarc))ˇ [S55ˇ ] and independently by Milnor [Mil68b, Mil68a]. Particular studies of group growth and their use in various situations have appeared in the works of Krause [Kra53], Adelson-Velskii and Shreider [AVS57ˇ ], Dixmier [Dix60], Dye [Dye59, Dye63], Arnold and Krylov [AK63], Kirillov [Kir67], Avez [Ave70], Guivarc'h [Gui70, Gui71, Gui73], Hartley, Margulis, Tempelman and other researchers. The note of Schwarz did not attract a lot of attention in the mathematical community, and was essentially unknown to mathematicians both in the USSR and the West (the same happened with papers of Adelson-Velskii, Dixmier and of some other mathematicians). By contrast, the note of Milnor [Mil68a], and especially the problem raised by him in [Mil68b], initiated a lot of activity and opened new directions in group theory and areas of its applications. The motivation for Schwarz and Milnor's studies on the growth of groups were of geometric character. For instance, it was observed by Schwarz that the rate of volume growth of the universal cover M~ of a compact Riemannian manifold M coincides with the rate of growth of the fundamental group π1(M)[S55ˇ ]. At the same time Milnor and Wolf demonstrated that growth type of the fundamental group gives some important information about the curvature of the manifold. A relation between the growth of a group and its amenability was arXiv:1111.0512v4 [math.GR] 13 May 2013 discovered by Adel'son-Vel'skii and Shreider (spelled also as Sreˇ ˘ider) [AVS57ˇ ]; specifically, subexponential growth implies the amenability of the group, i.e., the existence of an invariant mean). The problem posed by Milnor focuses on two main questions: (1) Are there groups of intermediate growth between polynomial and exponential? 2000 Mathematics Subject Classification. 20F50,20F55,20E08. Key words and phrases. growth of group, growth function, growth series, Milnor problem, polynomial growth, intermediate growth, exponential growth, uniformly exponential growth, gap conjecture, amenable group, self-similar group, branch group, group generated by finite automaton. The author is supported by NSF grant DMS{1207699, ERS grant GA 257110 \RaWG", and by the Simons Foundation. 1 2 ROSTISLAV GRIGORCHUK (2) What are the groups with polynomial growth? Moreover, Milnor formulated a remarkable conjecture about the coincidence of the class of groups with polynomial growth and the class of groups containing a nilpotent subgroup of finite index (i.e. with the class of virtually nilpotent groups) which was later proved by Gromov [Gro81a]. The first part of Milnor's question was formulated originally by him in the following form: \Is it true that the growth function of every finitely generated group is necessar- ily equivalent to a polynomial or to the function 2n?" This was answered in the negative by the author in 1983 [Gri83, Gri84b]. Despite the negative character of the answer, the existence of groups of intermediate growth made group theory and the areas of its applica- tions much richer. Eventually it led to the appearance of new directions in group theory: self-similar groups [GNS00, Nek05], branch groups [Gri00a, Gri00b,BG S03ˇ ], and iterated monodromy groups [BGN03, Nek05]. Moreover, completely new methods, used in the study of groups of intermediate growth, stimulated intensive studies of groups generated by finite automata - a direction on the border between computer science and algebra initiated by V.M. Glushkov in the beginning of the 1960s [Glu61, KAP85, GNS00, BGK+08]. Groups of intermediate growth were used and continue to be used in many different situations: in the study of amenable groups [Gri84b, Gri98], in topology [FT95], in theory of random walks on groups [Ers10, Kai05, Ers04a], in theory of operator algebras [Gri05, GN07, Gri], in dynami- cal systems [BN08, BP06], in percolation [MP01b], in the study of cellular automata [MM93], in the theory of Riemannian surfaces [Gri89b], etc. As was already mentioned, the study of the growth of groups was introduced by Schwarz and Milnor. However, some preliminary cases were considered by H.U. Krause in his Ph.D thesis, defended in Zurich in 1953 [Kra53], and geometric growth was considered around 1953 by V.A. Efremovich [Efr53]. Later, the question of group growth was considered in certain situations by Adelson-Velskii and Shreider, Dixmier, Dye, Arnold and Krylov, Guiv- arc'h, Kirillov, Margulis, Tempelman, and other researchers; however, as has been already mentioned, the systematic study of group growth only started with Milnor's work in 1965. The first period of studies concerning group growth (in the 1960s and 1970s) was dedicated to the study of growth of nilpotent and solvable groups. During a short period of time, Milnor, Wolf, Hartley, Guivarc'h and Bass discovered that nilpotent groups have polynomial growth of integer degree, given by a number (6.2) expressed in terms of the lower central series. The converse fact, namely that polynomial growth implies the virtual nilpotence of the group was proven by M. Gromov in his remarkable paper [Gro81a], which stimulated a lot of activity in different areas of mathematics. Gromov's proof uses the idea of the limit of a sequence of metric spaces, as well as Montgomery and Zippin's solution of Hilbert's 5th problem [MZ74]. Van den Dries and Wilkie [vdDW84] used methods of nonstandard analysis to explore Gromov's idea in order to slightly improve his result (in particular, to outline a broader approach to the notion of a cone of a group), while B. Kleiner, using the ideas of Colding-Minicozzi [CM97] and applying the techniques of harmonic functions, gave a proof of Gromov's theorem which doesn't rely on the techniques in the Montgomery-Zipin solution to Hilbert's 5th problem. This approach was explored by Y. Shalom and T. Tao to get effective and quantitative results about the polynomial growth case. The author's paper [Gri89a], followed by the ICM Kyoto paper [Gri91], raised a very interesting question which we discuss in detail in this article (section 10) and call the Gap Conjecture. The conjecture states that if the growth degree of a finitely generated group MILNOR'S PROBLEM ON THE GROWTH OF GROUPS AND ITS CONSEQUENCES 3 p is strictly smaller than e n then it is polynomial and the group is virtually nilpotent. If proven, this conjecture would give a far reaching generalization of Gromov's polynomial growth theorem. There are several results, some presented here, supporting the conjecture. It is interesting that the p-adic analogue of Hilbert's 5th Problem, solved by M. Lazard [Laz65], was used by the author [Gri89a, Gri91] to obtain results related to the Gap Con- jecture; these are discussed in section 10. See also the work of A. Lubotzky, A. Mann and D. Segal [LM91, LMS93] for a description of the groups with polynomial subgroup growth. The notion of growth can be defined for many algebraic and combinatorial objects, in particular for semigroups, associative and Lie algebras, graphs and discrete metric spaces as discussed, for instance, in [dlHGCS99]. There is much more freedom in the asymptotic behavior of growth in each of these classes of algebraic objects, and there is no hope to obtain a general result characterizing polynomial growth similar to Gromov's theorem. But in [Gri88], the author was able to extend the theorem of Gromov to the case of cancellative semigroups (using the notion of nilpotent semigroup introduced by A.I. Malcev [Mal53]). Let us say a few words about the exponential growth case. Perhaps typically, a finitely generated group has exponential growth. The fact that any solvable group which is not virtually nilpotent has exponential growth was established by Milnor and Wolf in 1968 [Mil68c, Wol68]. A direct consequence of the Tits Alternative [Tit72] is that a finitely generated linear group has exponential growth if it is not virtually nilpotent. The exponential growth of a group immediately follows from the existence of a free sub- group on two generators, or even a free sub-semigroup on two generators. There are many classes of groups (i.e. solvable non-virtually nilpotent groups, non-elementary Gromov hyper- bolic groups, linear groups without free subgroup on two generators, etc.) which are known to contain such objects. But many infinite torsion groups also have exponential growth, as was first proved by S.I. Adian in the case of free Burnside groups of large odd exponent [Adi79]. The second period of studies of group growth begins in the 1980s and splits into three P1 n directions: the study of analytic properties of growth series Γ(z) = n=0 γ(n)z , the study of groups of intermediate growth, and the study around Gromov's problem on the existence of groups of exponential but not uniformly exponential growth [Gro81b]. This paper describes the main developments of the second and third directions in detail, while the direction of study of growth series is only briefly mentioned towards the end of Section3. It was discovered that for many groups and even for classes of groups, the function rep- resented by the growth series Γ(z) is rational.
Load more

Recommended publications
  • Arithmetic Equivalence and Isospectrality
    ARITHMETIC EQUIVALENCE AND ISOSPECTRALITY ANDREW V.SUTHERLAND ABSTRACT. In these lecture notes we give an introduction to the theory of arithmetic equivalence, a notion originally introduced in a number theoretic setting to refer to number fields with the same zeta function. Gassmann established a direct relationship between arithmetic equivalence and a purely group theoretic notion of equivalence that has since been exploited in several other areas of mathematics, most notably in the spectral theory of Riemannian manifolds by Sunada. We will explicate these results and discuss some applications and generalizations. 1. AN INTRODUCTION TO ARITHMETIC EQUIVALENCE AND ISOSPECTRALITY Let K be a number field (a finite extension of Q), and let OK be its ring of integers (the integral closure of Z in K). The Dedekind zeta function of K is defined by the Dirichlet series X s Y s 1 ζK (s) := N(I)− = (1 N(p)− )− I OK p − ⊆ where the sum ranges over nonzero OK -ideals, the product ranges over nonzero prime ideals, and N(I) := [OK : I] is the absolute norm. For K = Q the Dedekind zeta function ζQ(s) is simply the : P s Riemann zeta function ζ(s) = n 1 n− . As with the Riemann zeta function, the Dirichlet series (and corresponding Euler product) defining≥ the Dedekind zeta function converges absolutely and uniformly to a nonzero holomorphic function on Re(s) > 1, and ζK (s) extends to a meromorphic function on C and satisfies a functional equation, as shown by Hecke [25]. The Dedekind zeta function encodes many features of the number field K: it has a simple pole at s = 1 whose residue is intimately related to several invariants of K, including its class number, and as with the Riemann zeta function, the zeros of ζK (s) are intimately related to the distribution of prime ideals in OK .
    [Show full text]
  • Arxiv:1701.04633V1 [Math.NT]
    COUNTING IDEALS IN POLYNOMIAL RINGS LENNY FUKSHANSKY, STEFAN KUHNLEIN,¨ AND REBECCA SCHWERDT Abstract. We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange’s version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of Zd. We conclude with some more general speculations and open questions. 1. Introduction A classical arithmetic problem in the theory of finitely generated groups and rings is the study of the asymptotic order of growth of the number of subgroups of bounded index. A common approach to this problem involves studying the analytic properties of a corresponding zeta function (a Dirichlet series generating function) and then applying a Tauberian theorem to deduce information about the number in question, represented by the coefficients of this zeta function. This research direction received a great deal of attention over the years as can be seen from [11], [8], [6], [7], [3], [17] and the references within. In the recent years, a similar approach has also been applied to the more geometric setting of counting sublattices in lattices, e.g. [15], [10], [9], [1], [14]. In this note, we consider some special cases of the following general setting. Let R be a commutative ring with identity such that for every natural number n the set of ideals in R of index n is a finite number, call this number an(R).
    [Show full text]
  • On Just-Infiniteness of Locally Finite Groups and Their -Algebras
    Bull. Math. Sci. DOI 10.1007/s13373-016-0091-4 On just-infiniteness of locally finite groups and their C∗-algebras V. Belyaev1 · R. Grigorchuk2 · P. Shumyatsky3 Received: 14 August 2016 / Accepted: 23 September 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We give a construction of a family of locally finite residually finite groups with just-infinite C∗-algebra. This answers a question from Grigorchuk et al. (Just- infinite C∗-algebras. https://arxiv.org/abs/1604.08774, 2016). Additionally, we show that residually finite groups of finite exponent are never just-infinite. Keywords Just infinite groups · C*-algebras Mathematics Subject Classification 46L05 · 20F50 · 16S34 For Alex Lubotzky on his 60th birthday. Communicated by Efim Zelmanov. R. Grigorchuk was supported by NSA Grant H98230-15-1-0328. P. Shumyatsky was supported by FAPDF and CNPq. B P. Shumyatsky [email protected] V. Belyaev [email protected] R. Grigorchuk [email protected] 1 Institute of Mathematics and Mechanics, S. Kovalevskaja 16, Ekaterinburg, Russia 2 Department of Mathematics, Texas A&M University, College Station, TX, USA 3 Department of Mathematics, University of Brasília, 70910 Brasília, DF, Brazil 123 V. Belyaev et al. 1 Introduction A group is called just-infinite if it is infinite but every proper quotient is finite. Any infi- nite finitely generated group has just-infinite quotient. Therefore any question about existence of an infinite finitely generated group with certain property which is pre- served under homomorphic images can be reduced to a similar question in the class of just-infinite groups.
    [Show full text]
  • Affine Sieve and Expanders 327
    Thin groups and superstrong approximation MSRI Publications Volume 61, 2013 Affine sieve and expanders ALIREZA SALEHI GOLSEFIDY The goals of this article are to describe the affine sieve in its most general setting and the fundamental theorem on the subject; to convey the main ideas behind the proof of that theorem and its connection with expansion in linear groups; to survey some of the results on the expansion in linear groups and briefly explain what goes into their proofs; and to collect some questions and conjectures. 1. The affine sieve 1.1. What is the affine sieve? Lots of problems and theorems in number theory concern the existence of infinitely many primes in a subset of integers. (1) Dirichlet’s theorem: For any integers a 0 and b, there are infinitely many ¤ integers x such that ax b is prime if there are no local obstructions — that is, C if gcd.a; b/ 1. D Instead of restricting ourselves to coprime pairs, we can work with ZŒ1=gcd.a; b/ and say for any integers a 0 and b there are infinitely many integers x such ¤ that ax b is prime in ZŒ1=gcd.a; b/. C (2) Twin prime conjecture: There are infinitely many positive integers x such that x.x 2/ has at most two prime factors. C This is a well-known long standing open problem. If we relax it and ask for infinitely many almost primes instead, then we have an affirmative result. Brun developed a combinatorial sieve and proved that there are infinitely many x such that x.x 2/ has at most 20 prime factors.
    [Show full text]
  • Arxiv:1510.00545V4 [Math.GR] 29 Jun 2016 7
    SCHREIER GRAPHS OF GRIGORCHUK'S GROUP AND A SUBSHIFT ASSOCIATED TO A NON-PRIMITIVE SUBSTITUTION ROSTISLAV GRIGORCHUK, DANIEL LENZ, AND TATIANA NAGNIBEDA Abstract. There is a recently discovered connection between the spectral theory of Schr¨o- dinger operators whose potentials exhibit aperiodic order and that of Laplacians associated with actions of groups on regular rooted trees, as Grigorchuk's group of intermediate growth. We give an overview of corresponding results, such as different spectral types in the isotropic and anisotropic cases, including Cantor spectrum of Lebesgue measure zero and absence of eigenvalues. Moreover, we discuss the relevant background as well as the combinatorial and dynamical tools that allow one to establish the afore-mentioned connection. The main such tool is the subshift associated to a substitution over a finite alphabet that defines the group algebraically via a recursive presentation by generators and relators. Contents Introduction 2 1. Subshifts and aperiodic order in one dimension 3 2. Schr¨odingeroperators with aperiodic order 5 2.1. Constancy of the spectrum and the integrated density of states (IDS) 5 2.2. The spectrum as a set and the absolute continuity of spectral measures 9 2.3. Aperiodic order and discrete random Schr¨odingeroperators 10 3. The substitution τ, its finite words Subτ and its subshift (Ωτ ;T ) 11 3.1. The substitution τ and its subshift: basic features 11 3.2. The main ingredient for our further analysis: n-partition and n-decomposition 14 3.3. The maximal equicontinuous factor of the dynamical system (Ωτ ;T ) 15 3.4. Powers and the index (critical exponent) of Subτ 19 3.5.
    [Show full text]
  • What Is the Grigorchuk Group?
    WHAT IS THE GRIGORCHUK GROUP? JAKE HURYN Abstract. The Grigorchuk group was first constructed in 1980 by Rostislav Grigorchuk, defined as a set of measure-preserving maps on the unit interval. In this talk a simpler construction in terms of binary trees will be given, and some important properties of this group will be explored. In particular, we study it as a negative example to a variant of the Burnside problem posed in 1902, an example of a non-linear group, and the first discovered example of a group of intermediate growth. 1. The Infinite Binary Tree We will denote the infinite binary tree by T . The vertex set of T is all finite words in the alphabet f0; 1g, and two words have an edge between them if and only if deleting the rightmost letter of one of them yields the other: ? 0 1 00 01 10 11 . Figure 1. The infinite binary tree T . This will in fact be a rooted tree, with the root at the empty sequence, so that any automorphism of T must fix the empty sequence. Here are some exercises about Aut(T ), the group of automorphisms of T . In this paper, exercises are marked with either ∗ or ∗∗ based on difficulty. Most are taken from exercises or statements made in the referenced books. Exercise 1. Show that the group Aut(T ) is uncountable and has a subgroup iso- morphic to Aut(T ) × Aut(T ).∗ Exercise 2. Impose a topology on Aut(T ) to make it into a topological group home- omorphic to the Cantor set.∗∗ Exercise 3.
    [Show full text]
  • Program of the Sessions Washington, District of Columbia, January 5–8, 2009
    Program of the Sessions Washington, District of Columbia, January 5–8, 2009 MAA Short Course on Data Mining and New Saturday, January 3 Trends in Teaching Statistics (Part I) 8:00 AM –4:00PM Delaware Suite A, Lobby Level, Marriott Organizer: Richard D. De Veaux, Williams College AMS Short Course on Quantum Computation 8:00AM Registration and Quantum Information (Part I) 9:00AM Math is music—statistics is literature. (5) What are the challenges of teaching 8:00 AM –5:00PM Virginia Suite A, statistics, and why is it different from Lobby Level, Marriott mathematics? Richard D. De Veaux, Williams College Organizer: Samuel J. Lomonaco, 10:30AM Break. University of Maryland Baltimore County 10:45AM What does the introductory course look (6) like in 2009? How technology has 8:00AM Registration. changed what we do in introductory 9:00AM A Rosetta Stone for quantum computing. statistics for the non-math/science (1) Samuel Lomonaco,Universityof student. Maryland Baltimore County Richard D. De Veaux, Williams College 10:15AM Break. 1:00PM What does the math-based introductory (7) course look like in 2009? How do 10:45AM Quantum algorithms. we merge mathematical concepts (2) Peter Shor, Massachusetts Institute of into the introductory course for the Technology math/science student? How does 2:00PM Concentration of measure effects in statistical programming fit in? (3) quantum information. Richard D. De Veaux, Williams College Patrick Hayden, McGill University 2:30PM Break. 3:15PM Break. 2:45PM Introduction to Modeling. Regression and 3:45PM Quantum error correction and fault (8) ANOVA. Overview: How much to teach (4) tolerance.
    [Show full text]
  • Milnor's Problem on the Growth of Groups And
    Milnor’s Problem on the Growth of Groups and its Consequences R. Grigorchuk REPORT No. 6, 2011/2012, spring ISSN 1103-467X ISRN IML-R- -6-11/12- -SE+spring MILNOR’S PROBLEM ON THE GROWTH OF GROUPS AND ITS CONSEQUENCES ROSTISLAV GRIGORCHUK Dedicated to John Milnor on the occasion of his 80th birthday. Abstract. We present a survey of results related to Milnor’s problem on group growth. We discuss the cases of polynomial growth and exponential but not uniformly exponential growth; the main part of the article is devoted to the intermediate (between polynomial and exponential) growth case. A number of related topics (growth of manifolds, amenability, asymptotic behavior of random walks) are considered, and a number of open problems are suggested. 1. Introduction The notion of the growth of a finitely generated group was introduced by A.S. Schwarz (also spelled Schvarts and Svarc))ˇ [218] and independently by Milnor [171, 170]. Particu- lar studies of group growth and their use in various situations have appeared in the works of Krause [149], Adelson-Velskii and Shreider [1], Dixmier [67], Dye [68, 69], Arnold and Krylov [7], Kirillov [142], Avez [8], Guivarc’h [127, 128, 129], Hartley, Margulis, Tempelman and other researchers. The note of Schwarz did not attract a lot of attention in the mathe- matical community, and was essentially unknown to mathematicians both in the USSR and the West (the same happened with papers of Adelson-Velskii, Dixmier and of some other mathematicians). By contrast, the note of Milnor [170], and especially the problem raised by him in [171], initiated a lot of activity and opened new directions in group theory and areas of its applications.
    [Show full text]
  • The Commensurability Relation for Finitely Generated Groups
    J. Group Theory 12 (2009), 901–909 Journal of Group Theory DOI 10.1515/JGT.2009.022 ( de Gruyter 2009 The commensurability relation for finitely generated groups Simon Thomas (Communicated by A. V. Borovik) Abstract. There does not exist a Borel way of selecting an isomorphism class within each com- mensurability class of finitely generated groups. 1 Introduction Two groups G1, G2 are (abstractly) commensurable, written G1 QC G2, if and only if there exist subgroups Hi c Gi of finite index such that H1 G H2. In this paper, we shall consider the commensurability relation on the space G of finitely generated groups. Here G denotes the Polish space of finitely generated groups introduced by Grigorchuk [4]; i.e., the elements of G are the isomorphism types of marked groups 3G; c4, where G is a finitely generated group and c is a finite sequence of generators. (For a clear account of the basic properties of the space G, see either Champetier [1] or Grigorchuk [6].) Our starting point is the following result, which intuitively says that the isomorphism and commensurability relations on G have exactly the same complexity. Theorem 1.1. The isomorphism relation G and commensurability relation QC on the space G of finitely generated groups are Borel bireducible. In particular, there exists a Borel reduction from QC to G; i.e., a Borel map f : G ! G such that if G, H a G, then G QC H if and only if f ðGÞ G f ðHÞ: However, while the proof of Theorem 1.1 shows that there exists a Borel reduction from QC to G, it does not provide an explicit example of such a reduction.
    [Show full text]
  • No Tits Alternative for Cellular Automata
    No Tits alternative for cellular automata Ville Salo∗ University of Turku January 30, 2019 Abstract We show that the automorphism group of a one-dimensional full shift (the group of reversible cellular automata) does not satisfy the Tits alter- native. That is, we construct a finitely-generated subgroup which is not virtually solvable yet does not contain a free group on two generators. We give constructions both in the two-sided case (spatially acting group Z) and the one-sided case (spatially acting monoid N, alphabet size at least eight). Lack of Tits alternative follows for several groups of symbolic (dynamical) origin: automorphism groups of two-sided one-dimensional uncountable sofic shifts, automorphism groups of multidimensional sub- shifts of finite type with positive entropy and dense minimal points, auto- morphism groups of full shifts over non-periodic groups, and the mapping class groups of two-sided one-dimensional transitive SFTs. We also show that the classical Tits alternative applies to one-dimensional (multi-track) reversible linear cellular automata over a finite field. 1 Introduction In [52] Jacques Tits proved that if F is a field (with no restrictions on charac- teristic), then a finitely-generated subgroup of GL(n, F ) either contains a free group on two generators or contains a solvable subgroup of finite index. We say that a group G satisfies the Tits alternative if whenever H is a finitely-generated subgroup of G, either H is virtually solvable or H contains a free group with two generators. Whether an infinite group satisfies the Tits alternative is one of the natural questions to ask.
    [Show full text]
  • Survey on Geometric Group Theory
    M¨unster J. of Math. 1 (2008), 73–108 M¨unster Journal of Mathematics urn:nbn:de:hbz:6-43529465833 c M¨unster J. of Math. 2008 Survey on geometric group theory Wolfgang L¨uck (Communicated by Linus Kramer) Abstract. This article is a survey article on geometric group theory from the point of view of a non-expert who likes geometric group theory and uses it in his own research. Introduction This survey article on geometric group theory is written by a non-expert who likes geometric group theory and uses it in his own research. It is meant as a service for people who want to receive an impression and read an introduction about the topic and possibly will later pass to more elaborate and specialized survey articles or to actual research articles. There will be no proofs. Except for Theorem 7.4 all results have already appeared in the literature. There is to the author’s knowledge no obvious definition what geometric group theory really is. At any rate the basic idea is to pass from a finitely generated group to the geometry underlying its Cayley graph with the word metric. It turns out that only the large scale geometry is really an invariant of the group itself but that this large scale or coarse geometry carries a lot of information. This leads also to a surprising and intriguing variety of new results and structural insights about groups. A possible explanation for this may be that humans have a better intuition when they think in geometric terms.
    [Show full text]
  • Arithmetic Lattices in Unipotent Algebraic Groups 2
    Arithmetic lattices in unipotent algebraic groups 1 Arithmetic lattices in unipotent algebraic groups Khalid Bou-Rabee∗ Daniel Studenmund† April 19, 2018 Abstract Fixing an arithmetic lattice Γ in an algebraic group G, the commensurability growth function assigns to each n the cardinality of the set of subgroups ∆ with [Γ : Γ ∩ ∆][∆ : Γ ∩ ∆] = n. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smith’s “Subgroups of finite index in nilpotent groups” apply to study arithmetic lattices in an algebraic group. In particular, we show that for any unipotent algebraic Z-group with arithmetic lattice Γ, the Dirichlet function associated to the commensurability growth function satisfies an Euler decomposition. Moreover, the local parts are rational functions in p−s, where the degrees of the numerator and denominator are independent of p. This gives regularity results for the set of arithmetic lattices in G. keywords: commensurability, lattices, unipotent algebraic groups, subgroup growth 1 Introduction Let G be an algebraic group defined over Z (an algebraic Z-group). Two subgroups ∆1 and ∆2 of G(R) are commensurable if their commensurability index c(∆1,∆2) := [∆1 : ∆1 ∩ ∆2][∆2 : ∆1 ∩ ∆2] is finite. An arithmetic lattice of G is a subgroup of G(R) that is commensurable with G(Z). The first purpose of this article is to show that when G is unipotent, the set of arithmetic lattices in G has a great deal of regularity. The second purpose is to bring attention to a new notion of quantifying commensurability. The main tool of this article is the commensurability growth function N → N ∪{∞} assigning to arXiv:1804.04973v2 [math.GR] 18 Apr 2018 each n ∈ N the cardinality cn(G(Z),G(R)) := |{∆ ≤ G(R) :c(G(Z),∆)= n}|.
    [Show full text]