Distortion of wreath products in some finitely presented groups

DISTORTION OF WREATH PRODUCTS IN SOME FINITELY PRESENTED GROUPS SEAN CLEARY Abstract. Wreath products such as ZoZare not finitely-presentable yet can occur as subgroups of finitely presented groups. Here we compute the distortion of ZoZas a subgroup of Thompson’s group F and as a subgroup of Baumslag’s metabelian group G. We find that ZoZis undistorted in Fbut is at least exponentially distorted in G. 1. Introduction Here we consider aspects of the question of the distortion of infinitelyrelated groups as subgroups of finitely-presented groups. Higman [7] showed that every recursively-presentable group occurs as a subgroup of a finitelypresented group, but it is not clear in general what happens to the geometry of the group since this embedding uses complicated algebraic methods and methods from recursive function theory which may affect the geometry of the group severely. Ol0shanski˘ı [8] constructs isometric embeddings of recursively presentable groups into finitely presented groups using difficult methods that do not lead to easily constructed examples. In the particular concrete cases here, we consider concrete embeddings of one of the simplest finitely-generated but not finitely-presentable groups, ZoZ. We consider two embeddings of ZoZinto finitely presented groups. The first is as a subgroup of Thompson’s group Fand the second is as subgroup of Baumslag’s remarkable finitely presented metabelian group which contains ZoZand thus a free abelian subgroup of infinite rank. The distortion of the metric of ZoZis linear in Thompson’s group Fbut is exponential in Baumslag’s group. 2. Background 2.1. Metrics of wreath products. We construct the wreath product in the standard manner, as special case of a semi-direct product. Given two The author gratefully acknowledges support from PSC-CUNY grant #64459-0033 and the hospitality of the Centre de Recerca Matem`atica . 1 2 SEAN CLEARY groups Gand H, we form the wreath product GoHby taking the direct product of |H|copies of Gwith copy of Gindexed by an element of H. The generators of Gact on the conjugate copies of G, while generators of Hact on the coordinates to determine to which of these conjugate copies of Gthe generators of Gwill be applied. Two of the simplest infinite wreath products are the lamplighter group Z2oZand ZoZ. Cleary and Taback [5] analyzed aspects of the metric geometry of those groups and other wreath products. There are natural normal forms for elements in these groups which lead to geodesic words for elements in these groups with respect to their standard generating sets. For ZoZ, we consider the standard presentation: < a, t|[ati, atj],for i, j ∈Z> where we denote the conjugate b−1ab of aby bas aband the commutator aba−1b−1by [a, b]. Geometrically, we can think about this wreath product as a set of parallel copies of Zstrung together along their respective origins. We can think of this as a string of counters, arranged from left to right with one counter distinguished as the origin. As in the lamplighter group, we imagine a cursor which moves along the string of counters and will point to a particular one of these counters as being of current interest. The generator aacts as a generator of Zin the factor to which the cursor currently points and increases the counter in that factor, and the generator tmoves the cursor to the right to the next counter. A typical such word is illustrated in Figure1. The starting configuration of these counters, corresponding to the identity element in ZoZ, is with all of the counters at zero and the cursor resting at the counter designated at the origin. We consider a word in these generators as a sequence of instructions to move the cursor and change the counter in the current factor. After application of a long string of the generators, we will be in a state where a finite number of counters are non-zero and the cursor points at a particular counter, called the “final position” of the cursor for that word. We define an=atnand note that anis a generator of the conjugate copy of Zindexed by n. These ancommute and we can put any word in the generators into one of two normal forms, ‘right-first’ and ‘left-first’, as described by Cleary and Taback in [5]: rf(w) = ae1 i1ae2 i2. . . aek ikaf1 −j1af2 −j2. . . afl −jltm or lf(w) = af1 −j1af2 −j2. . . afl −jlaei i1aei i2. . . aek iktm with ik> . . . i2> i1≥0 and jl> . . . j2> j1>0 and ei, fj6= 0. DISTORTION OF WREATH PRODUCTS IN FINITELY PRESENTED GROUPS 3 23-2 1 Figure 1. Diagram for w=a3 2a−2 3a4a2 −3t−2. The origin in the wreath product direction is indicated by a vertical line, empty circles denote counters which are zero, and the final cursor position is indicated by the arrow. The final resting position of the cursor is easily seen to be mfrom either of these normal forms, and we can see that the leftmost non-zero counter is in position −jland the rightmost non-zero counter is in position ik. In the ‘right-first’ form, rf(w), the cursor moves first to the right from the origin, changing the counters in the appropriate factors as the cursor moves to the right. Then the cursor moves back to the origin not affecting any of the counters until passing the origin. Past the origin, the cursor continues to works leftwards, again changing the counters in the appropriate factors. Finally, the cursor moves to its ending location from the leftmost nonzero counter to the left of the origin. The ‘left-first’ form is similar, but instead of initially moving to the right, the cursor begins by moving toward the left. At least one of these normal forms will lead to minimal-length representation for w, depending upon the final location of the cursor. If mis non-negative, then the left-first normal form will lead to a geodesic representative, and if mis non-positive, the right-first normal form will lead to a geodesic representative, as described in [5], which gives the following measurement of length: Proposition 2.1 (Prop 3.8 of [5]).If a word w∈ZoZis in either normal form given above, we measure the word length of wwith respect to {a, t} and have |w|= k X n=1 |ein|+ l X n=1 |fjn|+min{2jl+ik+|m−ik|,2ik+jl+|m+jl|}. The first two terms are the minimum number of applications of a±1 needed to put all of the counters into their desired states and the last term is the minimum possible amount of movement required to visit the left- and right-most non-zero counters and then the final position of the cursor, counting the required applications of t±1. 4 SEAN CLEARY The word w=a3 2a−2 3a4a2 −3t−2pictured in Figure 1 has geodesic representatives in right-first normal form since the final position of the cursor is to the left of the origin. One such minimal representative is t2a3ta−2tat−7a2t of length 20. 3. ZoZas a subgroup of Thompson’s group F Thompson’s group Fis a remarkable, finitely-generated, finitely-presen- ted group which can be understood via a wide range of perspectives. Cannon, Floyd, and Parry [3] give an excellent overview of the properties of F. The standard infinite presentation of Fis given by: < x0, x1, . . . |xxi n=xn+1 for i < n > . Since x2=xx0 1and so on, Fis generated by the first two generators and we can define xn+1 =xx0 nto express all generators and thus all group elements in terms of x0and x1. Furthermore, all of these infinitely many relations are consequences of the first two non-trivial relations, so we have the standard finite presentation: < x0, x1|xx1 2=x3, xx1 3=x4> . Thompson’s group Fcan be described in terms of rooted tree pair diagrams, and there is a natural method of converting between words in a normal form with respect to the infinite generating set and tree pair diagrams, via the method of leaf exponents, as described in Cannon, Floyd and Parry [3]. There is a natural notion of a reduced tree pair diagram described there and there are efficient means to convert between the unique normal form for an element of Fand the unique reduced tree pair diagram for that word. We consider a rooted binary tree with nleaves as being constructed of n−1“carets,” which are interior nodes of the tree together with the two downward directed edges from that node. The “left side” of a tree consists of nodes and edges which are connected to the root by a path consisting only of left edges, and similarly the “right side” of a tree consists of nodes and edges which are connected to the root by a path consisting only of right edges. A tree pair diagram (S, T ) is made up of a ‘positive’ tree Tand a ‘negative’ tree S. The reduced tree pair diagrams for x0and x1and a typical word in normal form are pictured in Figures 2 and 3. To understand the metric properties of F, we consider expressing words with respect to the finite generating set. Burillo, Cleary and Stein [2] estimated the word length in terms of the number of carets and showed that the DISTORTION OF WREATH PRODUCTS IN FINITELY PRESENTED GROUPS 5 4 1 0 01 2 23 34 5 56 68 7 78 10 11 9 9 10 6 3 0 01 12 23 4 45 56 9 7 78 8 9 10 10 11 Figure 2. Tree pair diagram with carets and leaves numbered for x2 0x1x2x4x5x7x8x−1 9x−1 7x−1 3x−1 2x−2 0. x0x1 Figure 3. The tree pair diagrams representing the generators x0and x1of F. number of carets is quasi-isometric to the word length. Fordham [6] developed a remarkable method using tree pair diagrams to efficiently compute exact word length and find minimal length representatives of words. We can understand word length of elements represented as tree pair diagrams by understanding the how the generators change the tree pair diagram for wto that for wg for the generators, as described in Fordham [6] and in 6 SEAN CLEARY 4 0 12 3 4 0 1 23 Figure 4. Tree pair diagram for x1x2x−2 1, the image of a under φ. Cleary and Taback [4]. The right actions of the generators can be described as ‘rotations’ which change the tree. The wreath product ZoZis a subgroup of Fand can be realized in many different ways. Perhaps the simplest is as the subgroup Hgenerated by x0and h=x1x2x−2 1, pictured in Figure 4. The isomorphism between this subgroup and ZoZis given by the homomorphism φ(w) : L→Fwhere φ(a) = x1x2x−2 1and φ(t) = x0. The isomorphism is readily established after we see that x0conjugates φ(t) and its powers to elements that commute and that there are no other relations. To understand the distortion of the subgroup Hin F, we compare the word length of an element w=ae1 i1ae2 i2. . . aek ikaf1 −j1af2 −j2. . . afl −jltmwith its image in F. Theorem 3.1. The subgroup Hisomorphic to ZoZin Fgenerated by x0=φ(t)and h=x2 1x−1 2x−1 1=φ(a)is undistorted. Proof: We count the number of carets of the image of a word w. First, we consider the case when m= 0 and then the cases where mis nonzero. Case m= 0:Here, the image of the word as a tree pair diagram has a characteristic form where the root of the positive tree is paired with the root of the negative tree, such as that shown in Figure 5. In the general case where both kand lare positive, we have the following carets: •A single root caret •ik+ 1 right carets • k X n=1 (|en|+ 1) interior carets below the right arm of the tree DISTORTION OF WREATH PRODUCTS IN FINITELY PRESENTED GROUPS 7 z+1 carets a+1 carets z+1 carets Z+1 carets A+1 carets A+1 carets Z+1 carets a+1 carets Figure 5. The tree pair diagram for the image φ(w) of a word w=aa 0ab 1. . . az naA −1aB −2. . . aZ −mwith texponent sum 0 and all positive exponents for ai. •jlleft carets • l X n=1 (|fn|+ 1) interior carets below the left arm of the tree This gives a total N(φ(w)) = ik+jl+2+Pk n=1(|en|+1)+Pl n=1(|fn|+1) carets in the image of w. By Burillo, Cleary and Stein [2], the number of carets is quasi-isometric to the word length in Fwith respect to {x0, x1} and since the length of win ZoZis 2jl+ 2ik+Pk n=1 |en|+Pl n=1 |fn|, we see that these lengths are quasi-isometric. The image of a typical word with all enand fnpositive is shown in Figure 5, corresponding to a series of rightward rotations at nodes distance one from the sides of the tree. Case m > 0: In this case, we start with the same tree pair diagram for the m= 0 case and apply x0on the right mtimes. Each application of x0will change the negative tree by moving the root caret to a right caret and the topmost left caret to the root, if there is a left caret. If there is no left caret, a new caret will need to be added for each such application. For each application of x0 which requires a new caret, in the negative tree, that new caret will become the root caret and in the positive tree, the new caret will be added as the left child of the leftmost caret. Since there are jlleft carets, if m≤jl, we do not need to add any carets and the number of carets is ik+jl+2+Pk n=1(|en|+ 1) + Pl n=1(|fn|+ 1) as before. If m > jl, we will need to add m−jlnew carets and will have ik+jl+ 2 + Pk n=1(|en|+ 1) + Pl n=1(|fn|+ 1) + m−jl carets. Again, these quantities give lengths which are comparable to word length in ZoZ. Case m < 0: Again, we start with the same tree pair diagram for the m= 0 case and apply x−1 0on the right mtimes. Each application of x−1 0will change 8 SEAN CLEARY the negative tree by moving the root caret to become a left caret and the topmost right caret to the root, if there is a right caret. If there is no right caret, a new caret will need to be added for each such application. Since there are ikleft carets, if −m≤ik, we have that the number of carets is ik+jl+2+Pk n=1(|en|+ 1) + Pl n=1(|fn|+ 1) as before. If −m > ik, we have ik+jl+2+Pk n=1(|en|+ 1) + Pl n=1(|fn|+ 1) −m+ikcarets. Thus in all cases φdoes not distort distances more than linearly, so the subgroup Hisomorphic to ZoZis undistorted in F. ¤. We can obtain more precise estimates of the quasi-isometry constants using Fordham’s method [6] for computing exact lengths in F. We can keep track of the particular caret pairings and their weights and we find that the caret pairings that occur are easily computed. Caret pairing types are described in [6] and [4]. For example, in the case where m= 0 and both l and kare positive, we note that we have the following caret pairs: •One caret pair of type (L0, L0) from the leftmost carets, contributing no weight. •jlcaret pairs of type (LL, LL) from the left side and root, contributing weight 2jl. •ik−1 caret pairs of types (R∗, R∗) not of type (R0, R0), contributing weight 2(ik−1). •One caret pair of type (R0, R0) from the rightmost carets, contributing no weight. •For each en>0, there will be a single pairing of type (I0, I0) contributing weight 2 and en−1 pairings of type (I0, IR), contributing weight 4(en−1). •For each en<0, there will be a single pairing of type (I0, I0) contributing weight 2 and |en|−1 pairings of type (IR, I0), contributing weight 4(|en| − 1). •Similarly, for the interior carets from the left side of the tree, we have for each fn, there will be a single pairing of type (I0, I0) contributing weight 2 and |fn|−1 pairings of type (I0, IR) or (IR, I0), contributing weight 4(|fn| − 1). These will give a total weight of 2jl+ 2(ik−1) + 2k+ 4 P|en|+ 2l+ 4P|fn|= 2jl+2ik+2k+2l+4 P|en|+4 P|fn|−2 in the case when m= 0, which compares to the corresponding length in ZoZof 2jl+ 2ik+P|en|+ P|fn|. Again, these give lengths which are comparable to word length in ZoZ. After similar analysis for other cases, we have that for a word win ZoZ, we have: |w|ZoZ−2≤ |φ(w)|F≤4|w|ZoZ. DISTORTION OF WREATH PRODUCTS IN FINITELY PRESENTED GROUPS 9 4. ZoZas a subgroup of Baumslag’s metabelian group Baumslag [1] introduced the group G=< a, s, t|[s, t],[at, a], as=aat> to show that a finitely presented metabelian group can contain free abelian subgroups of infinite rank. This group in fact contains ZoZ– all relators of the form [ati, atj] are consequences of these three, so the subgroup H generated by aand tis isomorphic to ZoZ. Here we examine the distortion of this subgroup in G Theorem 4.1. The subgroup Hhas at least exponential distortion in G. Proof: First, we note that sconjugates elements in Hto other elements in Hin a manner illustrated here: a(s2)= (as)s= (aat)s=as(as)t=aat(aat)t=aatatat2=a0a2 1a2 In terms of the notation described above, we have as n=anan+1. Further conjugation by sleads to increasingly long words: a(s3)= (a0a2 1a2)s=a0a1a2 1a2 2a2a3=a0a3 1a3 2a3 and we notice the occurrence of the binomial coefficients with repeated iteration. In general, we have: asn=a(n 0) 0a(n 1) 1. . . a(n n) n. As an element of G, this has length 2n+ 1 and it lies in the subgroup H, as there is a representative with no occurrences of s. To compute the length of this element in the subgroup Hwith respect to its generators aand t, we use the method described in Section 2 and get |asn|H= 2n+ n X i=0 µn i¶= 2n+ 2n. Thus we have |asn|H= 2n+ 2nwhile |asn|G= 2n+ 1, so the wreath product ZoZis exponentially distorted in G. ¤ References [1] Gilbert Baumslag. A finitely presented metabelian group with a free abelian derived group of infinite rank. Proc. Amer. Math. Soc., 35:61–62, 1972. [2] Jos´e Burillo, Sean Cleary, and Melanie Stein. Metrics and embeddings of generalizations of Thompson’s group F.Trans. Amer. Math. Soc., 353(4):1677–1689 (electronic), 2001.