arxiv: v1 [math.gt] 19 Nov 2007

Transcription

1 An asymptotic behavior of the dilatation for a family of pseudo-anosov braids arxiv: v [math.gt] 9 Nov 2007 Eiko Kin and Mitsuhiko Takasawa May 4, 207 Abstract. The dilatation of a pseudo-anosov braid is a conjugacy invariant. In this paper, we study the dilatation of a special family of pseudo-anosov braids. We prove an inductive formula to compute their dilatation, a monotonicity and an asymptotic behavior of the dilatation for this family of braids. We also give an example of a family of pseudo-anosov braids with arbitrarily small dilatation such that the mapping torus obtained from such braid has 2 cusps and has an arbitrarily large volume. Keywords: mapping class group, braid, pseudo-anosov, dilatation Mathematics Subject Classification : Primary 37E30, 57M27, Secondary 57M50 Introduction Let Σ = Σ g,p be an orientable surface of genus g with p punctures, and let M(Σ) be the mapping class group of Σ. The elements of M(Σ), called mapping classes, are classified into 3 types: periodic, reducible and pseudo-anosov [0]. For a pseudo-anosov mapping class φ, the dilatation λ(φ) is an algebraic integer strictly greater than. The dilatation of a pseudo-anosov mapping class is a conjugacy invariant. Let D n be an n-punctured closed disk. The mapping class group M(D n ) of D n is isomorphic to a subgroup of M(Σ 0,n+ ). There is a natural surjective homomorphism Γ : B n M(D n ) from the n-braid group B n to the mapping class group M(D n ) [2]. We say that a braid β B n is pseudo-anosov if Γ(β) is pseudo-anosov, and if this is the case the dilatation λ(β) of β is defined equal to λ(γ(β)). Henceforth, we shall abbreviate pseudo-anosov to pa. We now introduce a family of braids. Let β (m,m 2,,m k+ ) be the braid as depicted in Figure, for each integer k and each integer m i. These are all pa (Proposition 4.). We will prove a monotonicity, an inductive formula to compute their dilatation and an asymptotic behavior of the dilatation for this family of braids. Proposition.. (Monotonicity) For each integer i with i k+, we have λ(β (m,,m i,,m k+ )) > λ(β (m,,m i +,,m k+ )). The first author is partially supported by Grant-in-Aid for Young Scientists (B) (No ), The Ministry of Education, Culture, Sports, Science and Technology, Japan

2 Figure : (left) β (m,m 2,,m k+ ), (center) β (2,2,3), (right) β (3,2). Hence if m i m i for each i, then λ(β (m,,m k+ )) λ(β (m,,m k+ ) ). For an integral polynomial f(t) of degree d, the reciprocal of f(t), denoted by f (t), is t d f(/t). Theorem.2. (Inductive formula) The dilatation of the pa braid β (m,,m k+ ) is the largest root of the polynomial t m k+ R (m,,m k )(t)+( ) k+ R (m,,m k ) (t), where R (m,,m i )(t) is given inductively as follows: R (m )(t) = t m + (t ) 2t, and R (m,,m i )(t) = t m i (t )R (m,,m i )(t)+( ) i 2tR (m,,m i ) (t) for 2 i k. Theorem.3. (Asymptotic behavior) We have () lim m,,m k+ λ(β (m,,m k+ )) = and (2) lim m i,m i+,,m k+ λ(β (m,,m k+ )) = λ(r (m,,m i )(t)) > for i 2, where λ(f(t)) denotes the maximal absolute value of the roots of f(t). For a pa braid β, let φ be the pa mapping class Γ(β). The dilatation λ(φ) can be computed as follows. A smooth graph τ, called a train track and a smooth graph map φ : τ τ are associated with φ. The edges of τ are classified into real edges and infinitesimal edges, and the transition matrix M real ( φ) with respect to real edges can be defined. Then the dilatation λ(φ) equals the spectral radius of M real ( φ). For more details, see Section 2.2. For the computation of the dilatation of the braid β (m,,m k+ ), we introduce combined trees and combined tree maps in Section 3. For a given (m,,m k+ ), one can obtain the combined tree Q (m,,m k+ ) and the combined tree map q (m,,m k+ ) inductively. For example, for (m,m 2,m 3 ) = (4,2,), the combined tree Q (m,m 2,m 3 ), depicted in Figure 2, is obtained by gluing the combined tree Q (m,m 2 ) and another tree which depends m 3. The combined tree map q (m,m 2,m 3 ), as shown in Figure 3, is defined by the composition of an extension of the combined tree map q (m,m 2 ) and another tree map which depends on m 3. By the proof of Proposition 4., it turns out that the spectral radius of the transition matrix M(q (m,,m k+ )) obtained from q (m,,m k+ ) equals that of M real ( φ), where φ = Γ(β (m,,m k+ )), 2

3 Figure 2: Q (4,2,) (right) is obtained by gluing Q (4,2) (left) and another tree (center). Figure 3: (top) q (4,2), (bottom) q (4,2,). 3

4 that is thespectral radius of M(q (m,,m k+ )) equals thedilatation λ(β (m,,m k+ )). Proposition. and Theorems.2,.3 will be shown by using the properties of combined tree maps. In the final part, we will consider the two invariants of pa mapping classes, the dilatation and the volume. Choosing any representative f : Σ Σ of a mapping class φ, we form the mapping torus T(φ) = Σ [0,]/, where identifies (x,0) with (f(x),). A mapping class φ is pa if and only if T(φ) admits a complete hyperbolic structure of finite volume [7]. Since such a structure is unique up to isometry, it makes sense to speak of the volume vol(φ) of φ, the hyperbolic volume of T(φ). For a pa braid β, we define the volume vol(β) as equal to vol(γ(β)), the volume of the mapping torus T(Γ(β)). Theorem.3() tells us that dilatation of braids can be arbitrarily small. We consider what happen for the volume of a family of pseudo-anosov mapping classes whose dilatation is arbitrarily small. It is not hard to see the following. Proposition.4. There exists a family of pa mapping classes φ n of M(D n ) such that lim λ(φ n) = and lim vol(φ n) = n n and such that the number of the cusps of the mapping torus T(φ n ) goes to as n goes to. Proposition.4 is not so surprising, because the volume of each cusp is bounded below uniformly. We show the following. Proposition.5. There exist a family of pa mapping classes φ n of M(D n ) such that lim λ(φ n) = and lim vol(φ n) = n n and such that the number of the cusps of the mapping torus T(φ n ) is 2 for each n. Proposition.5 is a corollary of the following theorem. Theorem.6. For any real number λ > and any real number v > 0, there exist an integer k and an integer m such that for any integer m i m with i k+, we have λ(β (m,,m k+ )) < λ and vol(β (m,,m k+ )) > v. Here we note that for a braid b, the mappingtorus T(Γ(b)) is homeomorphic to the link complement S 3 \b in the 3 sphere S 3, where b is a union of the closed braid of b and the braid axis (Figure 4). When b is a braid β (m,,m k+ ), the link b has 2 components, and hence the number of cusps of T(Γ(b)) is 2. 2 Preliminaries A homeomorphism Φ : Σ Σ is pseudo-anosov (pa) if there exists a constant λ = λ(φ) >, called the dilatation of Φ, and there exists a pair of transverse measured foliations F s and F u such that Φ(F s ) = λ Fs and Φ(F u ) = λf u. 4

5 Figure 4: link b. A mapping class φ M(Σ) is said to be pseudo-anosov (pa) if φ contains a pa homeomorphism. We define the dilatation of a pa mapping class φ, denoted by λ(φ), to be the dilatation of a pa homeomorphism of φ. Let G be a graph. We denote the set of vertices by V(G) and denote the set of edges by E(G). A continuous map g : G G from G into another graph G is said to be a graph map. When G and G are trees, a graph map g : G G is said to be a tree map. A graph map g is called Markov if g(v(g)) V(G ) and for each point x G such that g(x) / V(G ), g is locally injective at x (that is g has no back track at x). In the rest of the paper we assume that all graph maps are Markov. For a graph map g, we define the transition matrix M(g) = (m i,j ) such that the i th edge e i or the same edge with opposite orientation (e i ) of G appears m i,j -times in the edge path g(e j ) for the j th edge e j of G. If G = G, then M(g) is a square matrix, and it makes sense to consider the spectral radius, λ(g) = λ(m(g)), called the growth rate for g. The topological entropy of g is known to be equal to logλ(g). In Section 2. we recall results regarding Perron-Frobenius matrices. In Section 2.2 we quickly review a result from the train track theory which tells us that if a given mapping class φ induces a certain graph map, called train track map, whose transition matrix is Perron-Frobenius, then φ is pa and λ(φ) equals the growth rate of the train track map. In Section 2.3 we consider roots of a family of polynomials to study the dilatation of pa mapping classes and give some results regarding the asymptotic behavior of roots of this family. 2. Perron-Frobenius theorem Let M = (m i,j ) and N = (n i,j ) be matrices with the same size. We shall write M N (resp. M > N) whenever m i,j n i,j (resp. m i,j > n i,j ) for each i,j. We say that M is positive (resp. non-negative) if M > 0 (resp. M 0), where 0 is the zero matrix. For a square and non-negative matrix T, let λ(t) be its spectral radius, that is the maximal absolute value of eigenvalues of T. We say that T is irreducible if for every pair of indices i and j, there exists an integer k = k i,j > 0 such that the (i,j) entry of M k is strictly positive. The matrix T is primitive if there exists an integer k > 0 such that the matrix T k is positive. By definition, a primitive matrix is irreducible. A primitive matrix T is Perron-Frobenius, abbreviated to PF, if T is an integral matrix. For M T, if T is irreducible then M is also irreducible. The following theorem is commonly referred to as the Perron-Frobenius theorem. Theorem 2.. [8] Let T be a primitive matrix. Then, there exists an eigenvalue λ > 0 of T such that 5

6 () λ has strictly positive left and right eigenvectors x and y respectively, and (2) λ > λ for any eigenvalue λ λ of T. If T is a PF matrix, the largest eigenvalue λ in the sense of Theorem 2. is strictly greater than, and it is called the PF eigenvalue. The corresponding positive eigenvector is called the PF eigenvector. The following will be useful. Lemma 2.2. [8, Theorem.6, Exercise.7] Let T be a primitive matrix, and let s be a positive number. Suppose that a non-zero vector y 0 satisfies Ty sy. Then, () λ s, where λ is the largest eigenvalue of T in the sense of Theorem 2., and (2) s = λ if and only if Ty = sy. Proof. () Let x be a positive left eigenvector of T. Then, xty = λ xy s xy. Hence we have λ s. (2)( Onlyif part)supposethats = λ, andsupposethatty λyandty λy. Premultiplying this inequality by a positive left eigenvector x of T, we have xty(= λ xy) > λ xy. Hence λ > λ, which is a contradiction. ( If part) Suppose that T y = sy. Premultiplying this equality by a positive left eigenvector x of T, we obtain λ = s. For a non-negative k k matrix T, one can associate a directed graph G T as follows. The graph G T has vertices numbered,2,,k and an edge from the j th vertex to the i th vertex if and only if the (i,j) entry T i,j 0. By the definition of G T, one easily verifies the following. Lemma 2.3. Let T be a non-negative square matrix. () T is irreducible if and only if for each i,j, there exists an integer n i,j > 0 such that the directed graph G T has an edge path of length n i,j from the j th vertex to the i th vertex. (2) T is primitive if and only if there exists an integer n > 0 such that for each i,j, the directed graph G T has an edge path of length n from the j th vertex to the i th vertex. 2.2 Train track maps A smooth branched -manifold τ embedded in D n is a train track if each component of D n \τ is either a non-punctured k-gon (k 3), a once punctured k-gon (k ) or an annulus such that a boundary component of the annulus coincides with the boundary of D n and the other component has at least prong. A smooth map from a train track into itself is called a train track map. Let f : D n D n be a homeomorphism. A train track τ is invariant under f if f(τ) can be collapsed smoothly onto τ in D n. In this case f induces a train track map f : τ τ. An edge of 6

7 τ is called infinitesimal if there exists an integer N > 0 such that f N (τ) is a periodic edge under f. An edge of τ is called real if it is not infinitesimal. The transition matrix of f is of the form: ( ) M M( f) = real ( f) 0, A M inf ( f) where M real ( f) (resp. M inf ( f)) is the transition matrix with respect to real (resp. infinitesimal) edges. The following is a consequence of []. Proposition 2.4. A mapping class φ M(D n ) is pa if and only if there exists a homeomorphism f : D n D n of φ and there exists a train track τ such that τ is invariant under f, and for the induced train track map f : τ τ, the matrix M real ( f) is PF. When φ is a pa mapping class, we have λ(φ) = λ(m real ( f)). 2.3 Roots of polynomials For an integral polynomial S(t), let λ(s(t)) be the maximal absolute value of roots of S(t). For a monic integral polynomial R(t), we set Q n,± (t) = t n R(t)±S(t) for each integer n. The polynomial R(t) (resp. S(t)) is called dominant (resp. recessive) for a family of polynomials {Q n,± (t)} n. In case where S(t) = R (t), we call t n R(t)±R (t) the Salem-Boyd polynomial associated to R(t). E. Hironaka shows that such polynomials have several nice properties [3, Section 3]. The following lemma shows that roots of Q n,± (t) lying outside the unit circle are determined by those of R(t) asymptotically. Lemma 2.5. Suppose that R(t) has a root outside the unit circle. Then, the roots of Q n,± (t) outside the unit circle converge to those of R(t) counting multiplicity as n goes to. In particular, λ(r(t)) = lim n λ(q n,± (t)). The proof can be found in [3]. We recall a proof here for completeness. Proof. Consider the rational function Q n,± (t) t n = R(t)± S(t) t n. Let θ be a root of R(t) with multiplicity m outside the unit circle. Let D θ be any small disk centered at θ that is strictly outside of the unit circle and that contains no roots of R(t) other than θ. Then, R(t) has a lower bound on the boundary D θ by compactness. Hence there exists a number n θ > 0 depending on θ such that R(t) > S(t) t on D n θ for any n > n θ. By the Rouché s theorem, it follows that R(t) and R(t)± S(t) t (hence R(t) and Q n n,± (t)) have the same m roots in D θ. Since D θ can be made arbitrarily small and there exist only finitely many roots of R(t), the proof of Lemma 2.5 is complete. Lemma 2.6. Suppose that R(t) has no roots outside the unit circle, and suppose that Q n,± (t) has a real root µ n greater than for sufficiently large n. Then, lim n µ n =. 7

8 Proof. For any ε > 0, let D ε be the disk of radius +ε around the origin in the complex plane. Then, for any sufficiently large n, we have R(t) > S(t) t for all t on D n ε. Moreover, R(t) and are holomorphic on the complement of D ε in the Riemann sphere. By Rouché s theorem, R(t) and R(t)± S(t) t (hence R(t) and Q n n,± (t)) have no roots outside D ε. Hence µ n converges to as n goes to. ± S(t) t n 3 Combined tree maps For an n n matrix M, let M(t) be the characteristic polynomial ti M of M, where I = I n is the n n identity matrix. Let M (t) be the reciprocal polynomial of M(t). Then, M (t) = t n t I M = I tm, that is M (t) equals the determinant of the matrix I tm. This section introduces combined tree maps. Given two trees we combine these trees with another tree of star type having the valence n + vertex and define a new tree, say Q n. When two tree maps on Q n satisfy certain conditions (L,L2,L3 and R,R2,R3), we can define the combined tree map q n on Q n and obtain a family of tree maps {q n : Q n Q n } n. In Section 3. we give a sufficient condition that guarantees M(q n ) is PF. In Section 3.2 we consider combined tree maps in a particular setting. Then, we give a formula for M(q n )(t) and M(q n ) (t) and analyze the asymptotic behavior of the growth rate for q n. This analysis will be applied to train track maps in Section Transition matrices and growth rate We assume that all trees are embedded in the disk D. By the trivial tree T 0, we mean the tree with only one vertex. Let G n,+ and G n, be trees of star type as in Figure 5, having one vertex of valence n+. Figure 5: trees (left) G n,+ and (right) G n, having one vertex of valence n+. Let G L (resp. G R ) be a tree (possibly a trivial tree) with a valence vertex, say v L (resp. v R ). Let w L and w R be vertices of G n,+ as in Figure 5, and glue G L, G n,+ and G R together so that for S {L,R}, v S and w S become one vertex (Figure 6). The resulting tree Q n,+ is called the combined tree, obtained from the triple (G L,G n,+,g R ). We define the combined tree Q n,, obtained from the triple (G L,G n,,g R ) in the same manner. Before we define combined tree maps on Q n,+/, we label the edges of Q n,+/. Let l be the number of edges of G L, and let r be the number of edges of G R plus. Note that the number of edges of Q n,+/ is l+n+r. 8

9 Figure 6: combined trees Q n,+ : (left) general case, (right) case where G R is a trivial tree. The edges of G n,+/ are numbered l+ to l+n+ in the clockwise/counterclockwise direction as in Figure 7. The edge of G L sharing a vertex with the (l+) st edge is numbered l and the remaining edges of G L are numbered to l arbitrarily. The edge of G R sharingavertex with the (l+n+) st edge is numberedl+n+2and the remaining edges of G R are numbered l+n+3 to l+n+r arbitrarily. The edge numbered i is denoted by e i. Now we take a tree map g L : Q n,+/ Q n,+/ satisfying the following conditions. L The map g L restricted to the set of vertices of E(Q n,+/ )\(E(G L ) {e l+ }) is the identity. L2 g L (G L ) G L. L3 The edge path g L (e l+ ) passes through e l+ only once and passes through e l. Next, we take a tree map g R : Q n,+/ Q n,+/ satisfying the following conditions. R The map g R restricted to the set of vertices of E(Q n,+/ )\(E(G R ) {e l+n+ }) is the identity. R2 g R (G R ) G R. R3 The edge path g R (e l+n+ ) passes through e l+n+ only once and passes through e l+n+2. Finally, we define the tree map g n : Q n,+/ Q n,+/ satisfying the following conditions. n The map g n restricted to the set of vertices of E(Q n,+/ ) \ (E(G n,+/ ) {e l,e l+n+2 }) is the identity. n2 g n rotates the subtree G n,+/ as in Figure 7. n3 The image of each e {e l,e l+n+2 } is as in Figure 7. The length of the edge path g n (e) is 3. The composition q n = g R g n g L : Q n,+/ Q n,+/ is called the combined tree map, obtained from the triple (g L,g n,g R ). It makes sense to consider the transition matrices M(g S ) of g S GS : G S G S, S {L,R} and M(g n ) of g n Gn,+/ : G n,+/ G n,+/. The transition matrix M(q n ) has the following form: M L A 0 M(q n ) = B M n C,where M n = D E M R 9... (3.)

10 Figure 7: (top) g n rotates G n,+, (bottom) g n rotates G n,. The edges e l and e l+n+2 and their images are drawn in bold. (each empty space in M n represents the number 0), and the block matrices satisfy M L M(g L ), M n M(g n ) and M R M(g R ). (In fact M L = M(g L ), although we will not be using this fact.) Throughout this subsection, we assume that the trees G L and G R are not trivial. It is straightforward to see the following from the defining conditions of g L, g n and g R. Lemma 3.. Let m i,j be the (i,j) entry of M(q n ). We have () m l+n,l+n+2 = and m l+n+,l+n+2 =, and (2) m l,l+ > 0, m l+,l+ > 0 and m l+n+,l+ >. Moreover, m l+,j = m l+n+,j for each j with j l and m l+,j0 > 0 for some j 0 l, and (3) m l+n+2,l+ > 0. An important feature is that the growth rate of q n is always greater than if M(g L ) and M(g R ) are irreducible, which will be shown in Proposition 3.3. We first show that M(q n ) is irreducible in this case. Notice that M(g n ) is always irreducible, and since M n M(q n ) so M n must be irreducible as well. Lemma 3.2. Let q n = g R g n g L : Q n,+/ Q n,+/ be the combined tree map. Assume that both M(g L ) and M(g R ) are irreducible. Then, M(q n ) is irreducible. Proof. Note that M L M R and M n are irreducible. Let G qn be the directed graph of M(q n ). We identify vertices of G qn with edges of Q n,+/. Let V L (resp. V R, V n ) be the set of vertices of G qn coming from the set of edges of the subtree G L (resp. G R, G n,+/ ) of Q n,+/. Lemma 3.(2) shows that there exists an edge connecting the set V L to the set V n, and there exists an edge connecting the set V n to the set V L. This is also true between V n and V R by Lemma 3.(,3). Thus, one can find an edge path between any two vertices of G qn. Proposition 3.3. Under the assumptions of Lemma 3.2, M(q n ) is PF. Proof. Lemma 3.(2) says that the directed graph G qn has an edge from the vertex v l+ to itself, and we denote such edge by e. Since M(q n ) is irreducible, for any vertex v of G qn there exists an edge path E = e e 2 e n(v) from v l+ to v. Thus, for any n n(v) we have an edge path e ee of length n from v l+ to v. Since the number of vertices is finite, there exists an integer N > 0 such that for any vertex w of G qn and any integer n N we have an edge path of length n from v l+ 0

11 to w. Since there exists an edge path from any vertex x of G qn to v l+, we can find a sufficiently large integer N such that for any pair of vertices x and w there exists an edge path of length N from x to w. Thus, M(q n ) is PF. The following property is crucial in proving Proposition. and Theorem.3. Proposition 3.4. Under the assumptions of Lemma 3.2, we have λ(m(q n )) > λ(m(q n+ )) >. Proof. To compare M(q n+ ) with M(q n ) we introduce a new labeling of edges of Q n+,+/. The trees G L and G R are the common subtrees for both trees Q n,+/ and Q n+,+/. Edges of the subtrees G L and G R of Q n+,+/ are numbered in the same manner as those of Q n,+/, and edges of G n+ are numbered l+,l+n+r +,l+2,l+3,,l+n+ in the clockwise/counterclockwise direction. Here the edge sharing a vertex with the l th edge is numbered l+. LetM(q n ) = (m i,j ) i,j l+n+r bethematrixgivenin(3.). Then,M(q n+ ) = (m i,j ) i,j l+n+r+ with new labeling has the following form: M(q n+ ) = 0 M L A 0... B C D E M R. C A Put s = λ(m(q n+ )) > and let y = t (y,,y l+n+r+ ) be the PF eigenvector for M(q n+ ). Then, l+n+r+ j= For i = l+ and i = l+n+r + of (3.2) we have l+n+r+ j= m i,j y j = sy j for i with i l+n+r+. (3.2) m l+,j y j = l+ m l+,j y j +y l+n+r+ = sy l+ and j= y l+2 = sy l+n+r+. These two equalities together with s > yield l+ m l+,j y j +y l+2 > sy l+. (3.3) j= The equalities (3.2) for all i l+,l+n+r+ together with the inequality (3.3) imply M(q n )ŷ sŷ, where ŷ = t (y,,y l+n+r ). By Lemma 2.2(), we have λ(m(q n )) s = λ(m(q n+ )). By Lemma 2.2(2) together with (3.3), we have λ(m(q n )) > s.

12 3.2 Asymptotic behavior of growth rate In this section we concentrate on the combined tree obtained from the triple (G L,G n,+/,t 0 ). We assume that g L (G L ) = G L and study the combined tree map q n = g n g L. Let R be the subtree of Q n,+/ such that R is obtained from the subtree G L together with the (l+) st edge. (Hence E(R) = {e,e 2,,e l+ }.) For an example of R, see Figure 8. By the assumption g L (G L ) = G L, we have q n (R) R and hence the following tree map r : R R is well defined: for each e E(R), the edge path r(e) is given by the edge path q n (e) by eliminating edges which do not belong to E(R). The tree map r does not depend on the choice of n. The transition matrix M(r) is given by the upper-left (l+) (l+) submatrix of M(q n ). We call R the dominant tree and r the dominant tree map for a family of combined tree maps {q n } n. Figure 8: (left) Q n,+, (right) its subtree R We now define a polynomial S(t) (resp. U(t)) as follows: Consider the matrix ti M(q n ) (resp. I tm(q n )) and replace the (l + ) st row by the last row. Take the upper-left (l + ) (l + ) submatrix of the resulting matrix, denoted by S (resp. U), and then S(t) (resp. U(t)) is defined equal to the determinant of S (resp. U). It is not hard to see that the matrices S and U do not depend on n. The following statement, which will be crucial later, tells us that M(r)(t) is the dominant polynomial and S(t) is the recessive polynomial for a family of polynomials {M(q n )(t)} n. Proposition 3.5. We have () M(q n )(t) = t n M(r)(t)+S(t), and (2) M(q n ) (t) = t n U(t)+M(r) (t). Proof. The transition matrix M(q n ) = (m i,j ) is of the form M(q n ) = M(r) m l+n+, m l+n+,l+ and it is easy to see that m l+,j = m l+n+,j for j l. For the proof of () (resp. (2)), apply the determinant expansion with respect to the last row of ti M(q n ) (resp. I tm(q n )). Proposition 3.6. Suppose that M(g L ) is irreducible. Then, we have () M(q n ) is PF for each n and λ(m(q n )) > λ(m(q n+ )), and (2) λ(m(r)) = lim n λ(m(q n )). 2...,

13 Proof. () The proof is parallel to the proofs of Propositions 3.3 and 3.4. (2) Apply Lemma 2.5 with Proposition 3.5(). 4 Proof This section is devoted to proving Proposition. and Theorems.2,.3,.6. Proposition 4.. The braids β (m,,m k+ ) are pa. By a result of W. Menasco s [6, Corollary 2], if L is a non-split prime alternating link which is not a torus link, then S 3 \L has a complete hyperbolic structure of finite volume. Since β (m,,m k+ ) is a 2 bridge link as depicted in Figure 3, his result tells us that β (m,,m k+ ) is pa. Here we will show Proposition 4. by using Proposition 2.4. As a result, we will find the polynomial whose largest root equals the dilatation of β (m,,m k+ ). Proof of Proposition 4.. Tobeginwith,wedefineatreeQ (m,,m k+ ) andatreemapq (m,,m k+ ) on the tree Q (m,,m k+ ) inductively. For k = let Q (m,m 2 ) be the combined tree obtained from the triple (G m,+,g m2,,t 0 ). Take the tree maps g m and g m2 with conditions n,n2,n3 and let us define q (m,m 2 ) as the combined tree map q (m,m 2 ) = g m2 g m : Q (m,m 2 ) Q (m,m 2 ) (Figure 9). Figure 9: case (m,m 2 ) = (4,2). Next, suppose that these are defined up to k. Let Q (m,,m k+ ) be the combined tree obtained from the triple (Q (m,,m k ),G mk+,+/,t 0 ) in case k + odd/even. We extend q (m,,m k ) : Q (m,,m k ) Q (m,,m k ) to a tree map q : Q (m,,m k+ ) Q (m,,m k+ ) satisfyingl,l2,l3sothatfortheedgeeofg mk+,+/ sharingavertex withtheedgeofq (m,,m k ), the length of the edge path q(e) is 3. Let us define the combined tree map q (m,,m k+ ) = g mk+ q : Q (m,,m k+ ) Q (m,,m k+ ). 3

14 By Proposition 3.6(), the transition matrix M(q (m,,m k+ )) is PF. We now deform Q = Q (m,,m k+ ) into a train track τ (m,,m k+ ) (as in Figure 0):. Puncture a disk near each valence vertex of Q, and connect a -gon at the vertex which contains the puncture. 2. Deform a neighborhood of a valence m i + vertex of the subtree G mi,+/ of Q into an (m i +)- gon for each i. 3. For each i+ odd/even, puncture above/below the vertex of valence 2 which connects the two subtrees G mi,+/ and G mi+, /+. Deform a neighborhood of the vertex and connect a -gon which contains the puncture. Figure 0: numbers,2 and 3 correspond to deformations,2 and 3. Then, q = q (m,,m k+ ) induces the graph map q on τ = τ (m,,m k+ ) into itself. Since q rotates a part of the train track smoothly (Figure ), it turns out that q is a smooth map. It is easy to show the existence of a representative homeomorphism f of φ = Γ(β (m,,m k+ )) such that τ is invariant under f and such that q is the train track map induced by f. The transition matrix of q with respect to real edges of τ is exactly equal to the PF matrix M(q (m,,m k+ )). By Proposition 2.4, the braid β (m,,m k+ ) is pa. This completes the proof of Proposition 4.. Figure : q rotates a part of the train track smoothly. Example 4.2. Let us express the formula to compute the dilatation of the braids β (4,m) for m. We know that the dilatation of the braid β (4,m) is the largest root of the polynomial M(q (4,m) )(t) for the combined tree map q (4,m). By using q (4,2) shown in Figure 9, the transition matrix for q (4,2) is M(q (4,2) ) =

15 The transition matrix M(r) of the dominant tree map r (Figure 2) for a family of combined tree maps {q (4,m) } m is the upper-left 6 6 matrix. Hence the dominant polynomial M(r)(t) for {q (4,m) } m equals t 6 t 5 2t with the largest root In this case the recessive polynomial S(t) is S(t) = t t t t t = 2t 5 t+. By Proposition 3.5(), the dilatation of β (4,m) is the largest root of M(q (4,m) )(t) = t m M(r)(t)+S(t) = t m (t 6 t 5 2t)+( 2t 5 t+), and Proposition 3.6(2) says that lim m λ(β (4,m) ) Figure 2: dominant tree map r : R R for {q (4,m) } m. We are now ready to show Proposition.. Proof of Proposition.. Recall the tree Q (m,,m k+ ) and the tree map q (m,,m k+ ) used in the proof of Proposition 4.. For i even, Q (m,,m k+ ) is also the combined tree obtained from the triple (Q (m,,m i ),G mi,,q (mi+,,m k+ )). Then, q (m,,m k+ ) is also the combined tree map given by q (m,,m i )g mi q (mi+,,m k+ ) : Q (m,,m k+ ) Q (m,,m k+ ), where q (m,,m i ) and q (mi+,,m k+ ) are suitable extensions of q (m,,m i ) and q (mi+,,m k+ ) respectively. By Proposition 3.4, the claim holds. Foriodd,Q (m,,m k+ ) isthecombinedtreeobtainedfrom(q (m,,m i ),G mi,+,q (m i+,,m k+ ) ), where Q (m i+,,m k+ ) is the tree obtained from Q (m i+,,m k+ ) by the horizontal reflection. Then, the proof is similar to that for the even case. We turn to the proof of Theorems.2 and.3. Proof of Theorem.2. By Proposition 2.4 and by the proof of Proposition 4., the dilatation of β (m,,m k+ ) is the largest root of M(q (m,,m k+ ))(t). Fixing m,,m k, let R (m,,m k ) and r (m,,m k ) be the dominant tree and the dominant tree map for {q (m,,m k+ )} mk+, and we set By Proposition 3.5, R (m,,m k )(t) = M(r (m,,m k ))(t). M(q (m,,m k+ ))(t) = t m k+ R (m,,m k )(t)+s (m,,m k )(t) and (4.) M(q (m,,m k+ )) (t) = t m k+ U (m,,m k )(t)+r (m,,m k ) (t), (4.2) 5

16 where S (m,,m k )(t) is the recessive polynomial for {M(q (m,,m k+ ))(t)} mk+ and U (m,,m k )(t) is the dominant polynomial for {M(q (m,,m k+ )) (t)} mk+. Claim 4.3. We have () S (m,,m k )(t) = ( ) k+ R (m,,m k ) (t) and (2) U (m,,m k )(t) = ( ) k+ R (m,,m k )(t). Proof. It is enough to show Claim 4.3(). For if () holds, by (4.) we have M(q (m,,m k+ ))(t) = ( ) k+ M(q (m,,m k+ )) (t). This together with (4.), (4.2) implies Claim 4.3(2). We prove Claim 4.3() by an induction on k. For k =, this holds [4, Theorem 3.20()]. We assume Claim 4.3() up to k. Then, we have S (m,,m k )(t) = ( ) k R (m,,m k ) (t), M(q (m,,m k ))(t) = ( ) k M(q (m,,m k )) (t) and U (m,,m k )(t) = ( ) k R (m,,m k )(t). (4.3) For k 2, the transition matrix M(q (m,,m k+ )) has the block form: M(q (m,,m k+ )) = n + n 2 + n k + n k + n k+ 0 M(q (m,,m k )) n k n k , C A where n j = m + +m j +j for j k +. Note that the last edge of the tree R (m,,m j ) is numbered n j. In this case the polynomial S (m,,m k )(t) is the determinant of a matrix: 0 ti M(r (m,,m k )) t t.... C A Subtract the second last row from the last row of this matrix, and let A = (a i,j ) be the resulting matrix. Applying the determinant expansion with respect to the last row of A, we have S (m,,m k )(t) = A = n k + ( ) nk++j a nk +,j A nk+,j j= 6

17 where A i,j is the matrix obtained by A with row i and column j removed. Since a nk +,j = 0 for j n k,n k + and a nk +,n k = t, a nk +,n k + =, we have A = t A nk +,n k A nk +,n k +. We note that A nk +,n k + = M(q (m,,m k ))(t). For the computation of A nk +,n k, subtract thesecond last row of A nk+,n k+ from the last row, and for the resulting matrix, apply the determinant expansion of the last column successively. Then, we obtain Thus, A nk +,n k = t m k R (m,,m k )(t)+s (m,,m k )(t). S (m,,m k )(t) = M(q (m,,m k ))(t) t m k R (m,,m k )(t)+ts (m,,m k )(t). In the same manner we have R (m,,m k ) (t) = M(q (m,,m k )) (t)+t m k U (m,,m k )(t) tr (m,,m k ) (t). By using (4.3), these two equalities imply Claim 4.3(). This completes the proof. We now turn to proving Theorem.2. We will prove an inductive formula for R (m,,m k )(t). It is not hard to show that R (m )(t) = t m + (t ) 2t. For k 2, one can verify R (m,,m k )(t) = tm(q (m,,m k ))(t) t m k R (m,,m k )(t)+ts (m,,m k )(t). (4.4) Substitute the two equalities M(q (m,,m k ))(t) = t m k R (m,,m k )(t)+( ) k R (m,,m k ) (t) and S (m,,m k )(t) = ( ) k R (m,,m k ) (t) into (4.4), then we find the inductive formula R (m,,m k )(t) = t m k (t )R (m,,m k )(t)+( ) k 2tR (m,,m k ) (t). This completes the proof of Theorem.2. Proof of Theorem.3. To begin with, we show Claim 4.4. We have () lim m i m i+ (2) lim m i m i+ lim lim λ(β (m m k+,,m k+ )) = for i = and lim lim λ(β (m m k+,,m k+ )) = λ(r (m,,m i )(t)) > for i 2. Proof. () By Theorem.2 and by Lemma 2.5 lim λ(β (m m k+,,m k+ )) = λ(r (m,,m k )(t)). 7

18 Recall that R (m,,m i )(t) = M(r (m,,m i ))(t). It is not hard to see that the matrix M(r (m,,m i )) for i is PF, and hence the largest root of R (m,,m i )(t) is greater than. Then, by using the inductive formula of R (m,,m i )(t) in Theorem.2 together with Lemma 2.5, we have lim λ(r (m m i,,m i )(t)) = λ(r (m,,m i )(t)) for i 2. Since R (m )(t) = t m + (t ) 2t, we have lim m λ(r (m )(t)) = by Lemma 2.6. This completes the proof of (). (2) The proof is identical to that of (). This completes the proof of Claim 4.4. Claim 4.4() says that for any λ > there exists an integer m i (λ) for each i with i k+ such that λ(β m (λ),,m k+ (λ)) < λ. Set m = max{m i (λ) i =, k + }. By Proposition. λ(β (m,,m k+ )) < λ whenever m i > m. This completes the proof of Theorem.3(). The proof of Theorem.3(2) is identical to that of (), but using Claim 4.4(2) instead of Claim 4.4(). We show the existence of two kinds of families of pa mapping classes with arbitrarily small dilatation and with arbitrarily large volume. Proof of Proposition.4. There exists a family of pseudo-anosov mapping classes ψ n of M(D n ) such that lim n λ(ψ n) =. It suffices to show that for any pa mapping class φ M(Σ g,p ), there exists a family of pa mapping classes ˆφ n M(Σ g,p(n) ) such that the dilatation of ˆφ n is same as φ and the volume of ˆφ n goes to as n goes to. Let Φ φ be a pa homeomorphism. Since the set of periodic orbits of Φ is dense on Σ g,p, one can find a periodic orbit of Φ, say Q = {q,,q s }. Now puncture each point of Q, then the pa mapping class φ M(Σ g,p+s ) induced by φ satisfies λ(φ ) = λ(φ). On the other hand, vol(φ ) > vol(φ) since T(φ) is a complete hyperbolic manifold obtained topologically by filling a cusp of T(φ ) with a solid torus [9, Section 6]. The volume of any cusp is bounded below uniformly. Thus, if we puncture periodic orbits of Φ φ successively, we obtain a family of pa mapping class with the desired property. Finally, we show Theorem.6. Proof of Theorem.6. By Theorem.3(), for each integer k, the dilatation of β (m,,m k+ ) goes to as m,,m k+ all go to. Thus, it suffices to show that the volume of β (m,,m k+ ) goes to as k goes to. One verifies that β (m,,m k+ ) is a 2 bridge link as in Figure 3. In particular it is an alternating link with twist number k+. Theorem in [5] tells us that for each m,,m k+, vol(β (m,,m k+ )) > 2 (k )v 3, where v 3 is the volume of a regular ideal tetrahedron. This completes the proof. 8

19 Figure 3: β (m,,m k+ ): (top) k odd, (bottom) even. References [] M. Bestvina and M. Handel, Train-tracks for surface homeomorphisms, Topology 34 (994) [2] J. Birman, Braids, Links, and Mapping class groups, Annals of Mathematics Studies 82, Princeton University Press, Princeton, New Jersey (975). [3] E. Hironaka, Salem-Boyd sequences and Hopf plumbing, Osaka Journal of Mathematics 43 (2006). [4] E. Hironaka and E. Kin, A family of pseudo-anosov braids with small dilatation, Algebraic and geometric topology 6 (2006) [5] M. Lackenby with an appendix by I. Agol and D. Thurston, The volume of hyperbolic alternating link complements, Proceeding of the London Mathematical Society 88, 3 (2004) [6] W. Menasco, Closed incompressible surface in alternating knot and link complements, Topology 23 (982) [7] J.-P. Otal and L. Kay, The hyperbolization theorem for fibered 3-manifolds. American Mathematical Society (200). [8] E. Seneta, Non-negative Matrices and Markov Chains, Springer-Verlag, New York (98). [9] W. Thurston, The geometry and topology of 3-manifolds, Princeton University (979). [0] W. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bulletin of the American mathematical society 9, 2 (988) Department of Mathematical and Eiko Kin and Mitsuhiko Takasawa 9

20 Computing Sciences Tokyo Institute of Technology Tokyo, Japan 20