arxiv: v1 [math.gr] 30 Oct 2018

Transcription

1 GEODESICS IN THE MAPPING CLASS GROUP KASRA RAFI AND YVON VERBERNE arxiv:80.489v [math.gr] 30 Oct 08 Abstract. We construct explicit examples of geodesics in the mapping class group and show that the shadow of a geodesic in mapping class group to the curve graph does not have to be a quasi-geodesic. We also show that the quasi-axis of a pseudo-anosov element of the mapping class group may not have the strong contractibility property. Specifically, we show that, after choosing a generating set carefully, one can find a pseudo-anosov homeomorphism φ, a sequence of points w k and a sequence of radii r k so that the ball Bw k, r k is disjoint from a quasi-axis a φ of φ, but for any projection map from mapping class group to a φ, the diameter of the image of Bw k, r k grows like logr k.. Introduction Let S be a surface of finite type and let MapS denote the pure mapping class group of S, that is, the group of orientation preserving self homeomorphisms of S fixing the punctures of S, up to isotopy. This is a finitely generated group [7] and, after choosing a generating set, the word length turns MapS into a metric space. The geometry of MapS has been a subject of extensive study. Most importantly, in [5], Masur and Minsky gave an estimate for the word length of a mapping class using the sub-surface projection distances and constructed efficient quasi-geodesics in the mapping class group, called hierarchy paths, connecting the identity to any given mapping class. The starting point of the construction of a hierarchy path is a geodesic in the curve graph of S which is known to be a Gromov hyperbolic space [4]. Hence, by construction, the shadow of a hierarchy path to the curve graph is nearly a geodesic. It may seem intuitive that any geodesic in the mapping class group should also have this property, considering that similar statements have been shown to be true in other settings. For example, it is known that the shadow of a geodesic in Teichmüller space with respect to the Teichmüller metric is a re-parametrized quasi-geodesic in the curve graph [4]. The same is true for any geodesic in Teichmüller space with respect to the Thurston metric [], for any line of minima in Teichmüller space [6], for a grafting ray [5], or for the set of short curves in a hyperbolic 3 manifold homeomorphic to S R [7]. However, it is difficult to construct explicit examples of geodesics in MapS and so far, all estimates for the word length of an element have been up to a multiplicative error. In this paper, we argue that one should not expect geodesics in MapS to be well-behaved in general. Changing the generating set changes the metric on MapS significantly and a geodesic with respect to one generating set is only a quasi-geodesic with respect to another generating set. Since MapS is not Gromov hyperbolic it contains flats, its quasi-geodesics are not well behaved in general. Similarly, one should not expect that the geodesics with respect to an arbitrary generating set to behave well either. We make this explicit in the case where S = S 0,5 is the five-times punctured sphere. Consider the curves α,..., α 5 depicted in Figure. Fix an integer n to be determined in the proof of Theorem.3, and consider the following generating set for MapS { } S n = D αi, s i,j : i, j Z 5, i j = mod 5 Date: October 3, 08.

2 KASRA RAFI AND YVON VERBERNE α α 3 α 4 α 5 α Figure. The curves α,..., α 5 used to generate S n. where s i,j = Dα n i Dα j, and D α is a Dehn twist around a curve α. Since we are considering the pure mapping class group, the set {D αi } 5 i= already generates MapS. We denote the distance on MapS induced by the generating set S n by d Sn. By an S n geodesic, we mean a geodesic with respect to this metric. Theorem.. There is an n so that, for every K, C > 0, there exists an S n geodesic G : [0, m] MapS so that the shadow of G to the curve graph CS is not a re-parametrized K, C quasi-geodesic. Even though the mapping class group is not Gromov hyperbolic, it does have hyperbolic directions. There are different ways to make this precise. For example, Behrstock proved [] that in the direction of every pseudo-anosov, the divergence function in MapS is super-linear. Another way to make this notion precise is to examine whether geodesics in MapS have the contracting property. This notion is defined analogously with Gromov hyperbolic spaces where, for every geodesic G and any ball disjoint from G, the closest point projection of the ball to G has a uniformly bounded diameter. However, often it is useful to work with different projection map. We call a map Proj: X G from a metric space X to any subset G X a d, d projection map, d, d > 0, if for every x X and g G, we have d X Projx, g d d X x, g + d. This is a weak notion of projection since Proj is not even assumed to be coarsely Lipschitz. By the triangle inequality, the closest point projection is always a, 0 projection. Definition.. A subset G of a metric space X is said to have the contracting property if there is a constant ρ <, a constant B > 0 and a projection map Proj: X G such that, for any ball Bx, R of radius R disjoint from G, the projection of a ball of radius ρr, Bx, ρr, has a diameter at most B, diam Sn ProjBx, ρr B. We say G has the strong contracting property if ρ can be taken to be. The axis of a pseudo-anosov element has the contracting property in many settings. This has been shown to be true in the setting of Teichmüller space by Minsky [6], in the setting of the pants complex by Brock, Masur, and Minsky [4] and in the setting of the mapping class group by Duchin and Rafi [9]. In work by Arzhantseva, Cashen and Tao, they asked if the axis of a pseudo-anosov element in the mapping class group has the strong contracting property and showed that a positive answer would imply that the mapping class group is growth tight []. Additionally, using the work of Yang [9], one can show that if one pseudo-anosov element has a strongly contracting axis with respect to some generating set, then a generic element in mapping class group has a strongly contracting

3 GEODESICS IN THE MAPPING CLASS GROUP 3 axis with respect to this generating set. Similar arguments would also show that the mapping class group with respect to this generating set has purely exponential growth. However, using our specific generating set, we show that this does not always hold: Theorem.3. For every d, d > 0, there exists an n, a pseudo-anosov map φ, a constant c n > 0, a sequence of elements w k MapS and a sequence of radii r k > 0 where r k as k such that the following holds. Let a φ be a quasi-axis for φ in MapS and let Proj aφ : MapS a φ be any d, d projection map. Then the ball of radius r k centered at w k, Bw k, r k, is disjoint from a φ and diam Sn Proj aφ Bwk, r k c n logr k. We remark that, since a φ has the contracting property [9], the diameter of the projection can grow at most logarithmically with respect to the radius r k see Corollary 5.5, hence the lowerbound achieved by the above theorem is sharp. Outline of proof. To find an exact value for the word-length of an element f MapS, we construct a homomorphism h: MapS Z, where a large value for hf guarantees a large value for the word length of f. At times, this lower bound is realized and an explicit geodesic in MapS is constructed see Section. The pseudo-anosov element φ is defined as φ = D α5 D α4 D α3 D α D α. In Section 3 we find an explicit invariant train-track for φ to show that φ is a pseudo-anosov. In Section 4, we use the geodesics constructed in Section to show that the shadows of geodesics in MapS are not necessarily quasi-geodesics in the curve complex. In Section 5, we begin by showing that φ acts loxodromically on MapS, that is, it has a quasi-axis a φ which fellow travels the path {φ i }. We finish Section 5 by showing that the bound in our main theorem is sharp. In Section 6, we set up and complete the proof of.3. Acknowledgements. We thank Sam Taylor for helpful conversations and Camille Horbez and Chris Leininger for their comments on an earlier version of this paper. Kasra Rafi was partially supported by NSERC Discovery grant RGPIN Finding Explicit Geodesics In this section, we develop the tools needed to show that certain paths in MapS are geodesics. We emphasize again that, in our paper, S is the five-times punctured sphere and MapS is the pure mapping class group. That is, all homeomorphisms are required to fix the punctures point-wise. By a curve on S we mean a free homotopy class of a non-trivial, non-peripheral simple closed curve. Fix a labelling of the 5 punctures of S with elements of Z 5, the cyclic group of order 5. Any curve γ on S cuts the surface into two surfaces; one copy of S 0,3 containing two of the punctures from S and one copy of S 0,4 which contains three of the punctures from S. Definition.. We say that a curve γ on S is an i, j curve, i, j Z 5, if the component of S γ that is a three-times punctured sphere contains the punctures labeled i and j. Furthermore, if i j mod 5 we say that γ separates two consecutive punctures, and if i j mod 5 we say that γ separates two non-consecutive punctures. In [3], Luo gave a simple presentation of the mapping class group where the generators are the set of all Dehn twists S = {D γ : γ is a curve} and the relations are of a few simple types. In our setting, we only have the following two relations:

4 4 KASRA RAFI AND YVON VERBERNE Conjugating relation For any two curves β and γ, D Dγβ = D γ D β D γ. The lantern relation Let i, j, k, l, m be distinct elements in Z 5 and γ i,j, γ j,k γ k,i and γ l,m be curves of the type indicated by the indices. Further assume that each pair of curves among γ i,j, γ j,k and γ k,i intersect twice and that they are all disjoint from γ l,m. Then D γi,j D γj,k D γk,i = D γl,m. Using this presentation, we construct a homomorphism from MapS into Z. Theorem.. There exists a homomorphism h: MapS Z whose restriction to the generating set S is as follows: D γ D γ if γ separates two consecutive punctures if γ separates two non-consecutive punctures Proof. To show that h extends to a homomorphism, it suffices to show that h preserves the relations stated above. First, we check the conjugating relation. Let β and γ be a pair of curves. Since, D γ is a homeomorphism fixing the punctures, if β is an i, j curve, so is D γ β. In particular, hd Dγβ = hβ. Hence, h D Dγβ = hdβ = hd γ + hd β hd γ = hd γ + hd β + h Dγ = h Dγ D β Dγ. We now show that h preserves the lantern relation. For any three punctures of S labeled i, j, k Z 5, two of these punctures are consecutive. Without loss of generality, suppose i j = mod 5. There are two cases: Assume k is consecutive to one of i or j. That is, without loss of generality, suppose j k = mod 5. Then i k = mod 5 and the remaining two punctures, l and m, are consecutive: l m = mod 5. Thus hd γi,j D γj,k D γk,i = hd γi,j + hd γj,k + hd γk,i = + + = = hd γl,m. Otherwise, j k = mod 5 and i k = mod 5, so that the remaining two punctures, l and m, are nonconsecutive: l m = mod 5. Thus Thus, h preserves the lantern relation. hd γi,j D γj,k D γk,i = hd γi,j + hd γj,k + hd γk,i = + + = = hd γl,m. Now, we switch back to the generating set S n given in the introduction. The homomorphism of Theorem. gives a lower bound on the word length of elements in MapS. Note that Lemma.3. For any f MapS, let hs i,j = n and hd αi =. hf = qn + r for integer numbers q and r where 0 r < n. Then f S n q + r.

5 GEODESICS IN THE MAPPING CLASS GROUP 5 Proof. First we show that, if hf = an +b for integers a and b, then a + b q + r. To see this, consider such a pair a and b where a + b is minimized. If a < q, then b n +r > n. Therefore, we can increase a by and decrease b by n to decrease the quantity a + b, which is a contradiction. Similarly, if a > q, then b > n / and we can decrease a by and increase b by n to decrease the quantity a + b, which again is a contradiction. Hence, a = q and subsequently b = r. Now, write f = g g... g k, where g i S n or g i S n and k = f Sn. For each g i, hg i takes either value,, n or n. Hence, there are integers a and b so that hf = hg + hg hg k = a n + b, where k a + b. But, as we saw before, we also have a + b q + r. Hence k q + r. This lemma allows us to find explicit geodesics in MapS. example. We demonstrate this with an Example.4. Let f = D nk α MapS. We have, hf = n k = n n k + n k + + n + n +. Therefore, by Lemma.3 f Sn n k + n k + + n + n +. On the other hand, assuming k is even to simplify notation, we have D nk α = D α nk Dα nk D nk Dα nk... D α n Dα n Dα n Dα α = s nk, s nk,... s n, s,. Since we used exactly n k + n k n + elements in S n, we have found a geodesic path. However, notice there is a second geodesic path from the identity to f which works for every k, namely: D nk α = D α nk Dα nk Dα nk = s nk, s nk,3... s n k,k s k,k+. Dα nk 3... D α n k Dα n k Dα n k Dα k+ This shows that geodesics are not unique in MapS. Either way, we have established that D nk α Sn = n k + n k + + n +. We now use a similar method to compute certain word lengths that will be useful later in the paper. Define φ = D α5 D α4 D α3 D α D α. We will show in the next section that φ is a pseudo-anosov element of MapS. We also use the notation φ k/5 = D αk D αk... D α where indices are considered to be in Z 5. This is accurate when k is divisible by 5 but we use it for any integer k. For a positive integer k, define m k = n k + n k n + and l k = n k n k n k... n, and let w k = D m k α and u k = D l k α. Additionally, we will define v k = D k+ α D k+ α. We will show that u k and w k are closer to a large power of φ than the identity even though they are both just a power of a Dehn twist.

6 6 KASRA RAFI AND YVON VERBERNE Proposition.5. For u k and w k as above, we have w k φ k+/5 Sn = w k v k Sn = n k + n k k n + k, and φ k/5 u k Sn = n k n k 3 n k 4... k 3n k +. Proof. Note that h w k φ k+/5 = n k + n k n + k + = n n k + n k k n + k. Lemma.3 implies that w k φ k+/5 Sn n k + n k k n + k. On the other hand, since m k = n m k, we have Therefore, To show that w k φ k+/5 = D m k α D α Dα = D m k α D α Dα 3 = s m k, D m k α D = s m k, D m k α... D α k+... D α k+ α Dα D = s m k, s m k,3 D m k α 3... α 3 Dα 4 D... D α k+ α 3 D α 4 = s m k, s m k,3... s m k,k s k,k+.... D α k+... D α k+ w k φ k+/5 Sn = m k + + m + = n k + n k +... k n + k. w k v k Sn = n k + n k +... k n + k is as above, but in place of applying s i,i+ for i k, we alternate between applying s, and s, to find w k v k = s m k, s m k,... s m, s,, which proves our claim. Similarly, we have h φ k/5 u k = k + n k n k +... n and Lemma.3 implies = n n k n k 3 n k 4... k 3n k +, φ k/5 u k Sn n k n k 3 n k 4... k 3n k +.

7 GEODESICS IN THE MAPPING CLASS GROUP 7 On the other hand, since l k + = nl k, we have Therefore, φ k/5 u k = D αk... D α D α D l k α u k φ k/5 Sn = l k +... l + = D αk... D α3 D α D l k + α = D αk... D α3 D α D l k α s l k, = D αk... D α4 D α3 D l k + α s l k, = D αk... D α4 D α3 D l k α 3... = D αk Dα l k s l k,k... sl k,3 s l k, s l k,3 s l k, = t k+ s k,k+ s l k,k... sl k,3 s l k,. = n k n k 3 n k 4... k 3n k +. This is because the coefficient of n i is is l i and is in l k,..., l i+. Summing up, we get k i as the coefficient of n i. 3. The pseudo-anosov Map φ In this section, we introduce the pseudo-anosov map φ which will be used in the proof of Theorem.3. Define φ = D α5 D α4 D α3 D α D α. We check that φ is, in fact, a pseudo-anosov. Theorem 3.. The map φ is pseudo-anosov. Proof. In order to prove that φ is a pseudo-anosov map, we find a train track τ on S so that φτ is carried by τ and show that the matrix representation of φ in the coordinates given by τ is a Perron-Frobenius matrix see [8] for basic information about train-tracks. The series of images in Fig. depict the train track τ and its images under successive applications of Dehn twists associated to φ. We see that φτ is indeed carried by τ and, keeping track of weights on τ, we calculate that the induced action on the space of weights on τ is given by the following matrix. A = Note that the space of admissible weights on τ is the subset of R 5 given by positive real numbers a, b, c, d and e such that a + b + e = c + d. The linear map described above preserves this subset. The square of the matrix A is strictly positive, which implies that the matrix is a Perron-Frobenius matrix. In fact, the top eigenvalue is λ = that is associated to a unique irrational measured lamination F carried by τ that is fixed by φ. We now argue that F is filling. Note that, curves on S are in one-to-one association with simple

8 8 KASRA RAFI AND YVON VERBERNE e e e a d 3a + b d 3a + b d b c a + b c a + b c 6a + 4b + 3e e e c + d 3a + b c + d 3a + b c + d 3a + b + e a + b 3c + d a + b 3c + d a + b 3c + d 6a + 4b + 3e 6a + 4b + 3e 6a + 4b + 3e c + d c + d 3a + b + e c + d 3a + b + e 4a + b + 3c + d a + b 3c + d 6a + 3b + 6c + 4d 6a + 3b + 6c + 4d 4a + b + 3c + d 6a + 4b + 4c + d + 3e 6a + 4b + 4c + d + 3e 3a + b + e a + 8b + 6c +3d + 6e 3a + b + e a + 8b + 6c +3d + 6e 6a + 3b + 6c + 4d 4a + b + 3c + d 6a + 3b + 6c +4d 4a + b + 3c + d Figure. The train track φτ is carried by τ. arcs connecting one puncture to another. We say an arc is carried by τ if the associated curve is carried by τ. If F is not filling, it is disjoint from some arc ω connecting two of the punctures. Modifying ω outside of a small neighborhood of τ, we can produce an arc that is carried by τ.

9 GEODESICS IN THE MAPPING CLASS GROUP 9 In fact, for any two cusps of the train-track τ, either an arc going clock-wise or counter-clockwise connecting these two cusps can be pushed into τ. Hence, we can replace the portion of ω that is outside of a small neighborhood of τ with such an arc to obtain an arc ω that is still disjoint from F but is also carried by τ. Hence, if F is not filling, it is disjoint from some arc and thus some curve carried by τ. But F is the unique lamination carried by τ that is fixed under φ which is a contradiction. This implies that φ is pseudo-anosov. 4. Shadow to Curve Complex not a Quasi-Geodesic The curve graph CS is a graph whose vertices are curves on S and whose edges are pairs of disjoint curves. We assume every edge has length one turning CS into a metric space. This means that, for a pair of curves α and β, d CS α, β = n if α = γ 0,..., γ n = β is the shortest sequence of curves on S such that the successive γ i are disjoint. Masur-Minsky showed that CS is an infinite diameter Gromov hyperbolic space [4]. We also talk about the distance between subsets of CS using the same notation. That is, for two sets of curves µ 0, µ CS we define d CS µ 0, µ = max d CS γ 0, γ. γ 0 µ 0,γ µ Definition 4.. The shadow map from the mapping class group to the curve complex is the map defined as: Υ: MapS CS f fα. The shadow map from MapS equipped with d Sn to the curve complex is 4-Lipschitz: Lemma 4.. For any f MapS, we have d CS α, fα 4 f Sn. In particular, the Lipschitz constant of the shadow map is independent of n. Proof. It is sufficient to prove the lemma for elements of S n. Consider D αi S n. If iα i, α = 0 then d CS α, D αi α = d CS α, α = 0. If iα i, α =, then there is a curve α j that disjoint from both α and α i and hence α j is also disjoint D αi α. Therefore, d CS α, D αi α =. Now consider the element s i,i+ S n. Note that s i,i+ α i = α i. Hence, Thus, we have proven our claim. d CS α, s i,i+ α d CS α, α i + d CS α i, s i,i+ α + d CS s i,i+ α i, α + d CS α i, α + = 4 Using this lemma and the theorems from Section 3, we show that the shadow of geodesics from the mapping class group to the curve complex are not always quasi-geodesics. Theorem 4.3. For all K, C 0, there exists a geodesic in the mapping class group, whose shadow to the curve complex is not a K, C quasi-geodesic.

10 0 KASRA RAFI AND YVON VERBERNE Proof. Recall that, for a positive integer k, we have w k = D m k α Also, m k = n k + n k n +, l k = n k n k n k... n, and u k = D l k α. Note that m k + l k = n k. Hence, we can write Dα nk = w k φ k/5 φ k/5 u k. Therefore by Lemma.3 h D α nk = n k = n n k + n k n D nk α Sn n k + n k n +. But, from Theorem.5 we have w k φ k/5 Sn = n k + n k k n + k. and u k φ k/5 Sn = n k n k 3 n k 4... k 3n k +. The sum of the word lengths of the two elements is n k + n k n + which is equal to the lower bound found in Equation 3. Thus Dα nk Sn = w k φ k/5 Sn + φ k/5 u k Sn which means there is a geodesic connecting D nk α to the identity that passes through φ k/5 u k. Since φ is a pseudo-anosov map, there is a lower-bound on its translation distance along the curve graph see Theorem 4.6 from [4]. Namely, there is a constant σ > 0 so that, for every m, 4 d CS α, φ m α σ m. Also, u k α = α which implies d CS α, φ k/5 u k α = dcs α, φ k/5 k α σ 5. That is, Υid = ΥDα nk = α. However, Υ φ k/5 u k is at least distance σk 5 away from α. Therefore, choosing k large compared with σ, K and C, we see that the shadow of this geodesic the one connecting id to Dα nk which passes through φ k/5 u k to CS is not a K, C quasi-geodesic. Consider the path 5. Axis of a pseudo-anosov in the mapping class group A φ : Z MapS, i φ i. Since φ Sn 5, then φ i Sn 5i. Also, using Lemma 4. and Equation 4 we get Therefore, This proves the following lemma. φ i Sn 4 d CS α, φ i i σ α 4. iσ 4 φi Sn 5i. Lemma 5.. The path A φ is a quasi-geodesic in MapS, d Sn for every n with uniform constants.

11 GEODESICS IN THE MAPPING CLASS GROUP We abuse notation and allow A φ to denote both the map, and the image of the map in MapS. For i, j Z, let g = g i,j be a geodesic in MapS, d Sn connecting φ i to φ j. Let G = Υ g be the shadow of g to the curve complex and let Proj G : MapS G be the composition of Υ and the closest point projection from CS to G. The following theorem, proven in more generality by Duchin and Rafi [9, Theorem 4.], is stated for geodesics g i,j and the path G. Theorem 5.. The path G is a quasi-geodesic in CS. Furthermore, there exists a constant B n which depends on n and φ, and a constant B depending only on φ such that the following holds. For x MapS with d Sn x, g > B n, let r = d Sn x, g/b n and let Bx, r be the ball of radius r centered at x in MapS, d Sn. Then diam CS Proj G Bx, r B. In the proof of [9, Theorem 4.], it can be seen that B n B in their notation is dependent on the generating set since B n is taken to be large with respect to the constants from the Masur and Minsky distance formula which depend on the generating set [5]. Let S be a fixed generating set for MapS. Then the word lengths of elements in S n in terms of S grow linearly in n with respect to S. Hence, the constants involved in the Masur-Minsky distance formula also change linearly in n. That is, B n n. Also, one can see that the constant B B in their proof depends only on φ and the hyperbolicity constant of the curve graph, but not the generating set. Since, A φ is a quasi-geodesic, Theorem 5. and the usual Morse argument implies the following. Proposition 5.3. The paths A φ [i, j] and g i,j fellow travel each other and the constant depends only on n. That is, there is a bounded constant δ n depending on n such that δ n max max min d Sn p, q, max min d S p A φ [i,j] q g i,j p g n p, q. i,j q A φ [i,j] We now show that φ acts loxodromically in MapS, d Sn. That is, there exists a geodesic a φ in MapS, d Sn that is preserved by a power of φ. This is folklore theorem, but we were unable to find a reference for it in the literature. The proof given here follows the arguments in [3, Theorem.4] where Bowditch showed that φ acts loxodromically on the curve graph, which is more difficult since the curve graph is not locally finite. Bowditch s proof in turn follows the arguments of Delzant [8] for a hyperbolic group. Proposition 5.4. There is a geodesic a φ : Z MapS that is preserved by some power of φ. We call the geodesic a φ the quasi-axis for φ. Proof. The statement is true for the action of any pseudo-anosov homeomorphism in any mapping class group equipped with any word metric coming from a finite generating set. We only sketch the proof since it is a simpler version of the argument given in [3]. Let Li, j be the set of all geodesics connecting φ i to φ j. Note that every point on every path in Li, j lies in the δ n neighborhood of A φ. Letting i, j and using a diagonal limit argument MapS is locally finite we can find bi-infinite geodesics that are the limits of geodesic segments in sets A φ [i, j]. Let L be the set of all such bi-infinite geodesics. Then φl = L and every geodesic in L is also contained in the δ n neighborhood of A φ. Let L/φ represent the set of edges which appear in a geodesic in L up to the action of φ. Then L/φ is a finite set. Choose an order for L/φ. We say a geodesic g L is lexicographically least if for all vertices x, y g, the sequence of φ-classes of directed edges in the segment g 0 g between x and y is

12 KASRA RAFI AND YVON VERBERNE lexicographically least among all geodesic segments from x to y that are part of a geodesic in L. Let L L be the set lexicographically least elements of L. We will show that every element of L L is preserved by a power of φ. Let P be the cardinality of a ball of radius δ n in MapS, d Sn. We claim that L L P +. Otherwise, we can find P + elements of L L which all differ in some sufficiently large compact subset N δn A φ, the δ n neighborhood of A φ. In particular, we can find x, y N δn A φ so that each of these P + geodesics has a subsegment connecting a point in N δn x to a point in N δn y, and these subsegments are all distinct. But then, at least two such segments must share the same endpoints, which means they cannot both be lexicographically least. Since φ permutes elements of L L, each geodesic in L L is preserved by φ P +. As before, we use the notation a φ to denote both the map and the image of the map in MapS. We now show that the projection of a ball that is disjoint from a φ to a φ grows at most logarithmically with the radius of the ball proving that Theorem.3 is sharp. Corollary 5.5. There are uniform constants c, c > 0 so that, for x MapS and R = d Sn x, a φ, we have diam CS Proj Gφ Ballx, R c logn logr + c n. Proof. Consider y Ballx, R B n. Let N be the smallest number so that there is a sequence of points along the geodesic connecting x to y so that Then, Hence, Since N is minimum which implies x = x 0, x,..., x N = y d Sn x i, x i+ d S n x i, a φ B n. d Sn x i+, a φ d Sn x i, a φ d Sn x i, x i+ d Sn x i, a φ d S n x i, a φ d Sn x i, a φ. B n B n Since d Sn x, y R B n, d Sn x i, a φ R i. B n d Sn x i, x i+ + d S n x i, a φ B n, d Sn x i, x i+ R i. B n B n d Sn x i, a φ R d Sn x, x i R d Sn x, y B n. Applying Theorem 5. to r i = d Sn x i, a φ /B n and x i+ Ballx i, r i we get and hence, d CS ProjGφ x i, Proj Gφ x i+ B, 5 d CS ProjGφ x, Proj Gφ y Bc n log R.

13 GEODESICS IN THE MAPPING CLASS GROUP 3 Now, for any y Ballx, R there is a y Ballx, R B n with d Sn y, y B n. But Υ is 4 Lipschitz and the closest point projection from CS to G φ is also Lipschitz with a Lipschitz constant depending on the hyperbolicity constant of CS. Therefore, 6 d CS ProjGφ y, Proj Gφ y c B n, where c, the Lipschitz constant for Proj Gφ, is a uniform constant. By letting c n = maxbc n, B n c logn, the Corollary follows from Equation 5 and Equation 6 and the triangle inequality. 6. The logarithmic lower-bound In this section, we will show that the quasi-axis a φ of the pseudo-anosov map φ does not have the strongly contracting property proving Theorem.3 from the introduction. Definition 6.. Given a metric space X, d X, a subset G of X and constants d, d > 0, we say a map Proj: X G, a d, d projection map if for every x X and g G, d X Projx, g d d X x, g + d. To prove this theorem, notice first that the geodesic found in Section may not determine the nearest point of A φ to w k = D m k α, where m k = n k + n k n +. Lemma 6.. If φ p k is the nearest point of A φ to w k, then p k k/5. Proof. Consider a point φ m on A φ where m < k/5. Applying the homomorphism h we have hw k φ m = m k 5 m > m k k = hw k φ k/5. But m k k is divisible by n. Hence, if we write m k m = qn + r, where r n, we have q m k k, n and r 0. Lemma.3 implies that w k φ m Sn > w k φ k/5 Sn, which means the closest point in A φ to w k is some point φ p k where p k k/5. Let R k = d Sn w k, φ p k = d Sn w k, A Φ and k = d Sn w k, φ k+/5. Proof of Theorem.3. For fixed d, d > 0, let Proj aφ : MapS a φ be any d, d -projection map. Fix n large enough so that 7 σ > 5 d n. Choose the sequence {k i } = { n i 3 } and recall that By Example.4 notice that ki+ = n i v ki = D k i + α D ki+ α. 8 d Sn v ki, id = v ki Sn = k i + n. and by Proposition.5, we have d Sn w ki, v ki = ki. Consider a ball Bw ki, r i of radius r i = R ki δ n + around w ki. This ball is disjoint from a φ since A φ and a φ are δ n -fellow-travellers by 5.3, and R ki = d Sn w ki, A Φ. For the rest of the proof, we refer to Figure 3.

14 4 KASRA RAFI AND YVON VERBERNE w ki Bw ki, r i v ki p ki R ki a Φ A Φ id Proj aφ p Proj aφ q k δ i n P Φ 5 Φ ki q Figure 3. Setup for the proof of Theorem.3 Since h is a homomorphism, we have hw ki φ ki/5 = hw ki φ p k i + hφ p ki φ k i/5 Theorem.5 showed from Lemma.3, we have hw ki φ ki/5 = n ki, and since φ Sn = 5, we have The above equations imply: hw k φ p k i n Rki hφ p k i φ k i/5 5p ki k i. ki R ki 5p k i k i n. Consider a point p on the geodesic from w ki to v ki such that d Sn w ki, p = r i, ie. such that This and Equation 8 imply d Sn p, v ki = ki r i = ki R ki δ n 5p k i k i n d Sn id, p k i + n + 5p k i k i + δ n + n = 5p k i + n + δ n +. + δ n +. Since a φ and A Φ are δ n -fellow-travellers by 5.3, there exists a point x 0 a φ in the δ n neighborhood of the identity. Thus d Sn p, x 0 5p k i + n + δ n + and 9 d Sn id, Proj aφ p d Sn id, x 0 + d Sn x 0, Proj aφ p d Sn p, x 0 + d d Sn x 0, p + d 5 d p ki n + A p. where A p is a constant depending on δ n, d and d but is independent of k i. Similarly, we consider a point q on the geodesic from w ki to φ p k i such that d Sn w ki, q = r i. Again, since a φ and A Φ

15 GEODESICS IN THE MAPPING CLASS GROUP 5 are δ n -fellow-travellers by 5.3, there exists an x a φ such that d Sn φ p k i, x δ n, and thus d Sn q, x δ n +. Therefore 0 d Sn φ p k i, Projaφ q d Sn φ p k i, x + d Sn x, Proj aφ q δ n + d δ n + + d A q where, again, A q depends on δ n, d and d but is independent of k i. Since p, q Bw ki, r i, we have diam Sn Proj aφ Bwki, r i d Sn Projaφ p, Proj aφ q d Sn id, φ p ki dsn id, Projaφ p d Sn Projaφ q, φ p k i But d Sn id, φ p k i σp ki. By combining this fact and equations 9 and 0 we find diam Sn Proj aφ Bwki, r i σp ki 5 d p ki n A p A q = p ki σ 5d A p A q. n By our assumption on n Equation 7 this expression is positive and goes to infinity at p ki. But, for n large enough, r i R ki ki n ki. Also, p ki ki 5. Hence, 5 p ki log n logr i. Hence, there is a constant c n so that diam Sn Proj aφ Bwki, r i c n log r i. This finishes the proof. References [] G. Arzhantseva, C. Cashen, J. Tao, Growth tight actions, Pacific Journal of Mathematics, 78 05, no., -49. [] J. Behrstock, Asymptotic geometry of the mapping class group and Teichmüller space, Geometry & Topology, 0 006, [3] B. Bowditch, Tight geodesics in the curve complex, Invent. math , [4] J. Brock, H. Masur, Y. Minsky Asymptotics of Weil-Petersson geodesics II: Bounded geometry and unbounded entropy, Geometric and Functional Analysis, 0, [5] Y. Choi, D. Dumas, K. Rafi, Grafting rays fellow travel Teichmüller geodesics, Int. Math. Res. Not. IMRN 0, no., [6] Y. E. Choi, K. Rafi, C. Series, Lines of minima and Teichmüller geodesics, Geometric and Functional Analysis, 8 008, no. 3, [7] M. Dehn, Papers on group theory and topology. Springer-Verlag, New York, 987. Translated from the German with introductions and an appendix by John Stillwell, and an appendix by Otto Schreier. [8] T. Delzant, Sous-groupes distingués et quotients des groupes hyperboliques, Duke Mathematical Journal, 83, 996, no 3, [9] M. Duchin, K. Rafi, Divergence of geodesics in Teichmüller space and the mapping class group, Geometric and Functional Analysis, 9 009, no. 3, [0] B. Farb, A. Lubotzky, Y. Minsky, Rank- phenomena for mapping class groups, Duke Mathematical Journal, 06 00, no. 3, [] B. Farb, C. Margalit, A primer on mapping class groups, Princeton University Press, Princeton, NJ, 009.

16 6 KASRA RAFI AND YVON VERBERNE [] A. Lenzhen, K. Rafi, J. Tao, The shadow of a Thurston geodesic to the curve graph, Journal of Topology, 80 05, no. 4, [3] F. Luo, A presentation of the mapping class groups, Mathematical Research Letters, 4 997, [4] H. Masur, Y. Minsky, Geometry of the complex of curves I: Hyperbolicity, Inventiones mathematicae, , [5] H. Masur, Y. Minsky, Geometry of the complex of curves II: Hierarchial structure, Geometric and Functional Analysis, 0 000, no. 4, [6] Y. Minsky, Quasi-projections in Teichmüller Space, J. Reine Angrew. Math., , -36. [7] Y. Minksy, Bounded geometry in Kleinian groups, Inventiones mathematicae, 46 00, [8] R. C. Penner with J. L. Harer, Combinatorics of train tracks, volume 5 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 9. [9] W.Y. Yang, Genericity of contracting elements in groups, arxiv: Department of Mathematics, University of Toronto, Toronto, ON address: rafi@math.toronto.edu Department of Mathematics, University of Toronto, Toronto, ON address: yvon.verberne@mail.utoronto.ca