All materials on our website are shared by users. If you have any questions about copyright issues, please report us to resolve them. We are always happy to assist you.

Description

arxiv: v1 [math.gr] 15 Apr 2010 Rank of mapping tori and companion matrices Gilbert Levitt and Vassilis Metaftsis Abstract Given ϕ GL(d, Z), it is decidable whether the mapping torus G = Z d ϕ

Transcript

arxiv: v1 [math.gr] 15 Apr 2010 Rank of mapping tori and companion matrices Gilbert Levitt and Vassilis Metaftsis Abstract Given ϕ GL(d, Z), it is decidable whether the mapping torus G = Z d ϕ Z has rank 2 or not (i.e. whether G may be generated by two elements); when it does, one may classify generating pairs up to Nielsen equivalence. If ϕ has infinite order, the rank of Z d ϕ n Z is at least 3 for all n large enough; equivalently, ϕ n is not conjugate to a companion matrix in GL(d,Z) if n is large. 1 Introduction The rank of a finitely generated group is the minimum cardinality of a generating set. There are very few families of groups for which one knows how to compute the rank (see [7] and references therein), and there exists no algorithm computing the rank of a word-hyperbolic group [2]. By Grushko s theorem, rank is additive under free product. It does not behave as nicely under direct product, even when one of the factors is Z: the solvable Baumslag-Solitar group BS(1,2) = a,t tat 1 = a 2 and the product BS(1,2) Z both have rank 2. In this paper we consider semi-direct products G = A ϕ Z (also known as mapping tori), with the generator of the cyclic group Z acting on A by some automorphism ϕ Aut(A). This was motivated by the remark that, when A is a free group F d and ϕ has finite order in Out(F d ), then G is a generalized Baumslag-Solitar group and its rank may be computed [10]. But we do not know how to compute the rank when ϕ has infinite order. Abelianizing does not help much, so we ask: Question. Given ϕ GL(d,Z), can one compute the rank of G = Z d ϕ Z? We can prove: Theorem 1.1. Given ϕ GL(d,Z), one can decide whether G = Z d ϕ Z has rank 2 or not. 1 It turns out that the rank of G is 1 plus the minimum number k such that Z d may be generated by k orbits of ϕ (i.e. there exist g 1,...,g k Z d such that the elements ϕ n (g i ), for n Z and i = 1,...,k, generate Z d ). In particular, G has rank 2 if and only if Z d may be generated by a single ϕ- orbit. This happens precisely when ϕ is conjugate to the companion matrix having the same characteristic polynomial. This may be decided since the conjugacy problem is solvable in GL(d, Z) [5]. Theorem 1.1 extends to the case when ϕ is an automorphism of an arbitrary finitely generated nilpotent group A. When G has rank 2, one can classify generating pairs up to Nielsen equivalence. In particular: Theorem 1.2. Suppose that G = Z d ϕ Z has rank 2. There are infinitely many Nielsen classes of generating pairs if and only if the cyclic subgroup of GL(d,Z) generated by ϕ has infinite index in its centralizer. Our next result is motivated by the following theorem due to J. Souto: Theorem 1.3 ([11]). Let A be the fundamental group of a closed orientable surface of genus g 2. Let ϕ be an automorphism of A representing a pseudo-anosov mapping class. Then there exists n 0 such that the rank of G n = A ϕ n Z is 2g +1 for all n n 0. We prove: Theorem 1.4. Given ϕ of infinite order in GL(d, Z), with d 2, there exists n 0 such that the rank of G n = Z d ϕ n Z is 3 for all n n 0. The theorem becomes false if the hypothesis that ϕ has infinite order is dropped, or if 3 is replaced by 4. We do not know hypotheses that would guarantee that the rank is d+1 for n large. An equivalent formulation of Theorem 1.4 is: Theorem 1.5. Given a matrix M of infinite order in GL(d,Z), with d 2, there exists n 0 such that M n is not conjugate to a companion matrix if n n 0. Our proof is based on the Skolem-Mahler-Lech theorem on linear recurrent sequences [3]. There are alternative approaches based on equations in S-units and Baker s theory on linear forms in logarithms. They are due to Amoroso-Zannier [1] and yield uniformity: one may take n 0 = [Cd 6 (logd) 6 ] where C is a universal constant (independent of M). We conclude with a few open questions. 2 Our analysis on Z d uses the Cayley-Hamilton theorem. This is not available in a non-abelian free group F d. Given ϕ Aut(F d ), can one decide whether F d may be generated by a single ϕ-orbit? More basically: given ϕ Aut(F d ) and g F d, can one decide whether the ϕ-orbit of g generates F d? What about ascending HNN extensions? For instance, let ϕ be an injective endomorphism of Z d (a matrix with integral entries and non-zero determinant). Let G = Z d ϕ = Z d,t tgt 1 = ϕ(g). Can one decide whether G has rank 2? Acknowledgements. We wish to thank J.-L. Colliot-Thélène, F. Grunewald, P. de la Harpe, G. Henniart, and number theorists in Caen, in particular F. Amoroso, J.-P. Bezivin, D. Simon, for helpful conversations related to this work. The second author would also like to thank LMNO of Université de Caen for their hospitality during the preparation of the present work. 2 Generalities Let A be a finitely generated group. The letters a,b,v will always denote elements of A. We denote by i a the inner automorphism v ava 1. Given ϕ Aut(A), we let G be the mapping torus G = A ϕ Z = A,t tat 1 = ϕ(a). There is an exact sequence 1 A G Z 1. Up to isomorphism, G only depends on the image of ϕ in Out(A). Any g G has unique forms at n,t n a with n Z. If N is a characteristic subgroup of A, we denote by ϕ the automorphism induced on A/N. There is an exact sequence 1 N A ϕ Z A/N ϕ Z 1. The rank rk(g) is the minimum cardinality of a generating set. We let vrk(g) be the minimum number of elements needed to generate a finite index subgroup: vrk(g) = inf H rk(h) with the infimum taken over all subgroups of finite index. Two generating sets are Nielsen equivalent if one can pass from one to the other by Nielsen operations: permuting the generators, replacing g i by or g i g j. For instance, any generating set of Z is Nielsen equivalent to {0,...,0,1} by the Euclidean algorithm. The ϕ-orbit of a A is {ϕ n (a) n Z}. We denote by OR(ϕ) the minimum number of ϕ-orbits needed to generate A. Clearly OR(ϕ) rk(a). We also denote by VOR(ϕ) the minimum number of ϕ-orbits needed to generate a finite index subgroup of A, so VOR(ϕ) vrk(a). gi 1 3 Lemma 2.1. Given a,a 1,...,a k A, the intersection A = a 1,...,a k,at A is generated by the (i a ϕ)-orbits of a 1,...,a k. The (i a ϕ)-orbits of a 1,...,a k generate A if and only if a 1,...,a k,at generate G. Proof. One has (i a ϕ) n (v) = (at) n v(at) n for v A and n Z. This shows that the (i a ϕ)-orbit of a i is contained in A. Conversely, if v A, write it in terms of a 1,...,a k,at. The exponent sum of t is 0, so v is a product of elements of the form (at) n a i (at) n. If A = A, then a 1,...,a k,at contains A and at, so equals G. Corollary 2.2. rk(g) = 1+min a A OR(i a ϕ). Proof. is clear. For the converse, use that any finite generating set of G is Nielsen equivalent to a set {a 1,...,a k,at} (Euclid s algorithm). Corollary 2.3. vrk(g) = 1+min a A,n 0 VOR(i a ϕ n ). Proof. If n 0 and the (i a ϕ n )-orbits of a 1,...,a k generate a finite index subgroup of A, the subgroup of G generated by a 1,...,a k,at n has finite index because it maps onto nz and it meets A in a subgroup of finite index. Any finite subset of G generating a finite index subgroup is Nielsen equivalent to {a 1,...,a k,at n } with n 0, and the (i a ϕ n )-orbits of a 1,...,a k generate a finite index subgroup of A. Corollary 2.4. Suppose that A is abelian. 1. rk(g) = 1+OR(ϕ) and vrk(g) = 1+VOR(ϕ). 2. G has rank 2 if and only if A is generated by a single ϕ-orbit. A pair (a 1,at) generates G if and only if the ϕ-orbit of a 1 generates A. 3. vrk(g) is computable. Proof. i a is the identity and VOR(ϕ) VOR(ϕ n ), so 1 follows from previous results. 2 is clear. For 3, first suppose A = Z d. View ϕ as an automorphism of the vector space Q d. Then VOR(ϕ) is the minimum number of ϕ-orbits needed to generate Q d. This is computable (it is the number of blocks in the rational canonical formofϕ). IfAhasatorsionsubgroupT, thena/t Z d forsome d. Let ϕ be the automorphism induced on Z d. Then VOR(ϕ) = VOR( ϕ) is computable. 4 3 Computability Suppose A = Z d with d 1. We view ϕ Aut(A) as an automorphism of Z d or as a matrix in GL(d,Z). Its companion matrix M ϕ is the unique matrix of the form having the same characteristic polynomial as ϕ (the empty triangles are filled with 0 s, and denotes an arbitrary integer). Lemma 3.1. Let ϕ GL(d,Z), with d The following are equivalent: (a) G = Z d ϕ Z has rank 2; (b) Z d may be generated by a single ϕ-orbit; (c) There exists a Z d such that {a,ϕ(a),...,ϕ p 1 (a)} is a basis of Z d. (d) ϕ is conjugate to its companion matrix M ϕ in GL(d,Z). 2. Suppose that the ϕ-orbit of a generates Z d. Then the ϕ-orbit of b generates Z d if and only if b = h(a) where h GL(d,Z) commutes with ϕ. Proof. We already know that (a) is equivalent to (b). If a is the first element of a basis of Z d in which ϕ is represented by the matrix M ϕ, then the basis is {a,ϕ(a),...,ϕ d 1 (a)} and the ϕ-orbit of a generates Z d, so (d) (c) (b). Conversely, suppose that the ϕ-orbit of a generates Z d. By the Cayley- Hamilton theorem, Z d is generated by {a,ϕ(a),...,ϕ d 1 (a)}. This set is a basis of Z d in which ϕ is represented by M ϕ. This proves 1. To prove 2, suppose that h commutes with ϕ, and define b = h(a). The image of the basis {a,ϕ(a),...,ϕ d 1 (a)} by h is {b,ϕ(b),...,ϕ d 1 (b)}, so the orbit of b generates. Conversely, if the orbit of b generates, define h as the automorphism taking {a,ϕ(a),...,ϕ d 1 (a)} to {b,ϕ(b),...,ϕ d 1 (b)}. It commutes with ϕ because M ϕ represents ϕ in both bases. Proposition 3.2. If A is nilpotent, one can decide whether G = A ϕ Z has rank 2 or not. 5 Proof. If A = Z d, one has to decide whether ϕ is conjugate to its companion matrix M ϕ in GL(d,Z). This is possible because the conjugacy problem is solvable in GL(d,Z) by [5]. We now assume that A is abelian. It fits in an exact sequence 0 T A Z d 0 with T finite. We denote by a ā the map A Z d, and by h h the natural epimorphism Aut(A) Aut(Z d ). They each have finite kernel. We have to decide whether A may be generated by a single ϕ-orbit. We first check whether the matrix of ϕ is conjugate to its companion matrix. If not, the answer to our question is no. If yes, [5] yields a conjugator and therefore an explicit u Z d whose ϕ-orbit generates Z d. We claim that A may be generated by a single ϕ-orbit if and only if there exist a A mapping onto u, and ψ Aut(A) of the form hϕh 1 with h Aut(A) and [ h, ϕ] = 1, such that the ψ-orbit of a generates A. The if direction is clear. Conversely, suppose that the ϕ-orbit of b generates A. Then the ϕ-orbit of b generates Z d, so by Lemma 3.1 there exists θ Aut(Z d ) commuting with ϕ and mapping b to u. Let h be any lift of θ to Aut(A). Defining a = h(b) and ψ = hϕh 1, it is easy to check that the ψ-orbit of a generates A. This proves the claim. We now explain how to decide whether a and ψ as above exist. Note that a and ψ must belong to explicit finite sets: a belongs to the preimage A u of u, and ψ belongs to the preimage X ϕ of ϕ in Aut(A). By Theorem C of [5], the centralizer of ϕ in Aut(Z d ) is a finitely generated subgroup and one can compute a finite generating set. The same is true of D = {h Aut(A) [ h, ϕ] = 1}, so we can list the elements ψ in the orbit Dϕ of ϕ for the action of D on X ϕ by conjugation. By the claim proved above, A may be generated by a single ϕ-orbit if and only if there exist a A u and ψ Dϕ such that the ψ-orbit of a generates A. To decide this, we enumerate the pairs (a,ψ) with a A u and ψ Dϕ. For each pair, we consider the increasing sequence of subgroups A N = ψ N (a),...,ψ 1 (a),a,ψ(a),...ψ N (a). It stabilizes and we check whether A N = A for N large. This completes the proof for A abelian. If A is nilpotent, let B be its abelianization and let ρ : B B be the automorphism induced by ϕ. If G ϕ = A ϕ Z has rank 2, so does its quotient G ρ = B ρ Z. Conversely, if G ρ has rank 2, it is generated by t and some b B whose ρ-orbit generates B. Let a be any lift of b to A. The subgroup of A generated by the ϕ-orbit of a maps surjectively to B, so equals A by a classical fact about nilpotent groups (see e.g. Theorem 2.2.3(d) of [8]). Thus G ϕ has rank 2. 6 Corollary 3.3. If A = Z 2 or A = F 2, one can compute the rank of G. Proof. The rank is 2 or 3, so this is clear from the proposition if A = Z 2. Recall that the natural map Out(F 2 ) Out(Z 2 ) = Aut(Z 2 ) is an isomorphism (both groups are isomorphic to GL(2,Z)). Given G = F 2 ϕ Z, let ρ be the image of ϕ in Aut(Z 2 ). Consider G ρ = Z 2 ρ Z. We prove that G and G ρ have the same rank. Clearly 2 rk(g ρ ) rk(g) ( 3. ) If G ρ has rank 2, Lemma 3.1 lets us 0 ±1 assume that ρ is of the form. Since G only depends on the class 1 n of ϕ in Out(F 2 ), it is isomorphic to so has rank 2. 4 Nielsen equivalence a,b,t tat 1 = b,tbt 1 = a ±1 b n, Proposition 4.1. Suppose that A is abelian and G = A ϕ Z has rank Any generating pair of G is Nielsen equivalent to a pair (a, t) with a A. 2. Two generating pairs (a,t) and (b,t), with a,b A, are Nielsen equivalent if and only if b belongs to the ϕ-orbit of a or a 1. Proof. Given x,y A, and n, write and (x,ty) ((ty) n x(ty) n,ty) = (ϕ n (x),ty) (x,ty) (ϕ n (x),ty) (ϕ n (x),tyϕ n (x)) (x,tyϕ n (x)). Every generating pair is equivalent to some (a,ty), with the ϕ-orbit of a generating A. But (a,ty) (a,tyϕ n (a)) so by an easy induction (a,ty) (a,t). This proves 1. If b = ϕ n (a ε ) with ε = ±1, then (b,t) = (ϕ n (a ε ),t) = (t n a ε t n,t) (a,t). The converse follows from Theorem 2.1 of [6]. We give a proof for completeness. If (b,t) (a,t), we can write b = w(a,t) with w a primitive word with exponent sum 0 in t. Such a word is conjugate to a ±1 in the free group F(a,t), so b is conjugate to a ±1 in G. Since A is abelian, b belongs to the ϕ-orbit of a ±1. 7 Remark 4.2. More generally, if A is abelian, any generating set of G is Nielsen equivalent to a set of the form {a 1,...,a k,t}. Remark 4.3. The proposition does not extend to nilpotent groups. Let A be the Heisenberg group a,b,c [a,b] = c,[a,c] = [b,c] = 1. Let ϕ map a to ab and b to b. The generating pairs (a,t) and (ac 1,t) are Nielsen equivalent (even conjugate) but ac 1 does not belong to the ϕ-orbit of a ±1. Moreover, (a,tc) is a generating pair which is not Nielsen equivalent to a pair (x,t) with x A. Indeed, if it were, then t would be conjugate to tca k for some k Z by [6]. Counting exponent sum in a yields k = 0. But t and tc are not conjugate. Corollary 4.4. Let A = Z d. If G has rank 2, the number of Nielsen classes of generating pairs is equal to the index of the group generated by ϕ and Id in the centralizer of ϕ in GL(d,Z). Proof. By Proposition 4.1 we need only consider generating pairs of the form (a,t). Fix one. To any b Z d such that (b,t) generates G we associate the automorphism ψ b of Z d taking the basis {a,ϕ(a),...,ϕ d 1 (a)} to the basis {b,ϕ(b),...,ϕ d 1 (b)}. By Lemma 3.1, the image of this map b ψ b is the centralizer of ϕ in GL(d,Z). By Proposition 4.1, (b,t) (a,t) if and only if ψ b is ±ϕ n for some n Z. Example. The number of Nielsen classes of generating pairs is always finite if d = 2. If ϕ = , this number is infinite Powers Fix ϕ GL(d,Z). Say that v Z d is ϕ-cyclic if its ϕ-orbit generates Z d, or equivalently if {v,ϕ(v),...,ϕ d 1 (v)} is a basis of Z d. The existence of such a v is equivalent to ϕ being conjugate to its companion matrix, and also to G having rank 2. If v is ϕ n -cyclic for some n 2, it is ϕ-cyclic since its ϕ n -orbit is contained in its ϕ-orbit. Ifv isϕ-cyclic, wedenotebyδ n theindexofthesubgroupofz d generated by the ϕ n -orbit of v. It does not depend on the choice of v since ϕ always has matrix M ϕ in the basis {v,ϕ(v),...,ϕ d 1 (v)}. Also note that δ 1 = 1. The group G n = Z d ϕ n Z has rank 2 (equivalently, ϕ n is conjugate to its companion matrix) if and only if δ n = 1. 8 Theorem 5.1. If ϕ GL(2,Z) has infinite order, the rank of G n = Z 2 ϕ nz is 3 for all n 3. Proof. If G n has rank 2 for some n, there exists a ϕ n -cyclic element v. Such a v is ( also ϕ-cyclic. ) In the basis {v,ϕ(v)}, the matrix of ϕ has the form 0 ε M = with ε = ±1. If finite, the index δ 1 τ n is the absolute value of the determinant c n of the matrix expressing the family {v,ϕ n (v)} in the basis {v,ϕ(v)}. We prove the theorem by showing c n 1 for n 3. The number c n is determined by the equation M n = c n M + d n I. It follows from the Cayley-Hamilton theorem that the sequence c n satisfies the recurrence relation c n+2 τc n+1 εc n = 0. If ε = 1 one has n 1 c n = (τ 2cos kπ n ) k=1 because c n is a monic polynomial of degree n 1 in τ which vanishes for τ = 2cos kπ n (one also has c n = U n 1 (τ/2), with U n 1 a Chebyshev polynomial of the second kind). If ε = 1 one has n 1 c n = (τ 2icos kπ n ). k=1 Since ϕ is assumed to have infinite order, one has τ 0 if ε = 1, and τ 2 if ε = 1. One checks that c n 1 for n 3 (for n 2 if ε = 1). Theorem 5.2. Suppose that ϕ GL(d,Z) has infinite order. 1. There exists n 0 such that G n = Z d ϕ n Z has rank 3 for every n n 0. Equivalently: ϕ n is not conjugate to its companion matrix for n n More precisely, the minimum index of 2-generated subgroups of G n goes to infinity with n. Note that there are arbitrarily large values of n for which the rank of G n is d+1 (whenever ϕ n is the identity modulo some prime number). As already mentioned, it is proved in [1] that n 0 may be chosen to depend only on d. The key step in the proof of Theorem 5.2 is the following result. 9 Proposition 5.3. If ϕ has infinite order and v is ϕ-cyclic, then the index δ n of the subgroup of Z d generated by the ϕ n -orbit of v goes to infinity with n. Proof of the theorem from the proposition. As above, if G n has rank 2 for some n, there exists a ϕ-cyclic element v. For n large one has δ n 1, so G n has rank 2. Assertion 1 is proved. For Assertion 2, suppose that there are arbitrarily large values of n such that G n contains a 2-generated subgroup H n of index C, for some fixed C. This subgroup has a generating pair of the form (a n,t n ) with a n Z d, and the intersection of H n with Z d is generated by the ϕ nmn -orbit of a n for some m n 1. It has index C in Z d. The subgroup of Z d generated by the ϕ-orbit of a n has index C, so we can assume that it does not depend on n. Call it J. It is ϕ-invariant so we can apply the proposition to the action of ϕ on J, with v = a n. This gives the required contradiction. Proof of Proposition 5.3. When d = 2, one easily checks that c n, as computed above, goes to infinity with n. The proof in the general case is more involved. Define numbers u k (i), for k = 0,...,d 1 and i 0, by ϕ i (v) = d 1 k=0 u k(i)ϕ k (v). The sequences u 0,...,u d 1 form a basis for the space S of sequences satisfying the linear recurrence associated to the characteristic polynomial of ϕ (the recurrence is d j=0 a ju k (i+j) = 0 if the characteristic polynomial is d j=0 a jx j ). The index δ n is the absolute value of the determinant c n of the matrix (u k (ni)) 0 i,k d 1 (it is infinite if the determinant is 0). We have to prove that, given c 0, the set of n s such that c n = c is finite. We assume it is not and we work towards a contradiction. A sequence satisfies a linear recurrence if and only if it is a finite sum of polynomials times exponentials, so c n also is a recurrent sequence. The Skolem-Mahler-Lech theorem [3] then implies that c n = c for all n in an arithmetic progression N 0 N. We shall now replace the basis u k of S by another basis w k dependingon the eigenvalues of ϕ. We then assume that D n := det(w k (ni)) 0 i,k d 1 = c 0 for n N 0. We order the eigenvalues λ k of ϕ so that 0 λ 1 λ 2 λ d. First suppose that the eigenvalues are all distinct. We then choose w k (i) = 10 (λ k+1 ) i. In this case D n is a Vandermonde determinan

Advertisements

Related Documents

Jul 29, 2018

Jul 30, 2018

Jul 30, 2018

Jul 30, 2018

Jul 31, 2018

Jul 31, 2018

Aug 1, 2018

Aug 2, 2018

Aug 6, 2018

Aug 7, 2018

Aug 12, 2018

Aug 13, 2018

Aug 15, 2018

Aug 16, 2018

Related Search

We Need Your Support

Thank you for visiting our website and your interest in our free products and services. We are nonprofit website to share and download documents. To the running of this website, we need your help to support us.

Thanks to everyone for your continued support.

No, Thanks