arxiv: v2 [math.gt] 16 Nov 2012

Transcription

1 FENCHEL-NIELSEN COORDINATES ON UPPER BOUNDED PANTS DECOMPOSITIONS arxiv: v2 [math.gt] 16 Nov 2012 DRAGOMIR ŠARIĆ Abstract. Let X 0 be an infinite type hyperbolic surface (whose boundary components, if any, are closed geodesics or punctures) which has an upper bounded pantsdecomposition. The lengthspectrum Teichmüllerspace T ls (X 0 ) consists of all surfaces X homeomorphic to X 0 such that the ratios of the corresponding simple closed geodesics are uniformly bounded from below from above. Alessrini, Liu, Papadopoulos Su [1] described the Fenchel- Nielsen coordinates for T ls (X 0 ) using these coordinates they proved that T ls (X 0 ) is path connected. We use the Fenchel-Nielsen coordinates for T ls (X 0 ) to induce alocallybilipschitzhomeomorphismbetween l T ls (X 0 )(which extends analogous results by Fletcher [9] by Allessrini, Liu, Papadopoulos, Su Sun [2] for the unreduced the reduced T qc(x 0 )). Consequently, T ls (X 0 )iscontractible. We also characterize the closure inthe length spectrum metric of the quasiconformal Teichmüller space T qc(x 0 ) in T ls (X 0 ). 1. Introduction Let X 0 be a complete hyperbolic surface of infinite type whose boundary components, if any, are closed geodesics or punctures. Assume that there exists a pants decomposition P = {α n } of X 0 by simple closed geodesics such that their lengths are bounded from the above by a fixed constant M 0 > 0. We say that such a pants decomposition is upper bounded. By [2], any other pants decomposition of X 0 by simple closed curves can be straightened to a pants decomposition by simple closed geodesics. The quasiconformal Teichmüller space T qc (X 0 ) consists of all quasiconformal maps f : X 0 X up to post composition by isometries up to bounded homotopies which setwise fix boundary components of X. Note that bounded homotopies do not fix boundary geodesics pointwise since the distance between any two points (on a boundary geodesic) is finite. Thus T qc (X 0 ) is the reduced quasiconformal Teichmüller space of the surface X 0. The length spectrum Teichmüller space T ls (X 0 ) consists of all homeomorphisms h : X 0 X up to post compositions by isometries up to bounded homotopies that setwise preserve the boundary components of X such that L(X 0,X) := supmax{ l β(x) β l β (X 0 ), l β(x 0 ) l β (X) } <, wherethesupremumisoverallsimpleclosedcurveβ onx 0,wherel β (X),l β (X 0 ) are the lengths of the geodesic representatives of β on X,X 0, respectively. Note Date: November 19, This research was partially supported by National Science Foundation grant DMS

2 2 DRAGOMIR ŠARIĆ that T qc (X 0 ) T ls (X 0 ) because for each simple closed geodesic β on X 0 a K-quasiconformal map f : X 0 X we have (cf. Wolpert [13]) 1 K l β(x 0 ) l β (X) Kl β (X 0 ). The length spectrum metric d ls is defined by d ls (X,Y) = 1 2 logl(x,y) for X,Y T ls (X 0 ). Shiga [12] was the first to study the length spectrum metric on quasiconformal Teichmüller spaces of surfaces of infinite type he proved that d ls in general is not complete on T qc (X 0 ). This implies that T qc (X 0 ) could be a proper subset of T ls (X 0 ). For a fixed upper bounded pants decomposition P = {α n } on X 0, the assignment of Fenchel-Nielsen coordinates {(l αn (X),t αn (X))} to each X T qc (X 0 ) or X T ls (X 0 ) completely determines the (marked) surface X. Alessrini, Liu, Papadopoulus, Su Sun [2] provedthat the Fenchel-Nielsen coordinatesfort qc (X 0 ) satisfy sup n log lαn(x) l αn (X < sup 0) n t αn (X) t αn (X 0 ) <, that the map from T qc (X 0 ) to the Fenchel-Nielsen coordinates is a locally bilipschitz homeomorphism onto l. Alessrini, Liu, Papadopuolus Su [1] proved that the Fenchel-Nielsen coordinates for X T ls (X 0 ) satisfy sup α n P sup log l α n (X) α n P l αn (X 0 ) < t αn (X) t αn (X 0 ) max{1, logl αn (X 0 ) } <. Moreover, they proved that if X 0 (equipped with an upper bounded pants decomposition) contains a sequence of simple closed geodesics whose lengths go to 0 then T qc (X 0 ) T ls (X 0 ) that T qc (X 0 ) is nowhere dense in T ls (X 0 ) (cf. [1]). Let F : T ls (X 0 ) l, called the normalized Fenchel-Nielsen map, be defined by { F(X) = (log l α n (X) l αn (X 0 ), t αn (X) t αn (X 0 ) max{1, logl αn (X 0 ) } }n ) where if α n is a boundary geodesic of X 0 then we take only the length component of the Fenchel-Nielsen coordinates. By[2], the Fenchel-Nielsen coordinates give a locally bilipschitz homeomorphism between the (reduced) quasiconformal Teichmüller space T qc (X 0 ) l which implies that T qc (X 0 ) is contractible. Fletcher [9] used complex analytic methods to prove that the unreduced quasiconformal Teichmüller space is locally bilipschitz to l. Our main result is (cf. 2, Theorem 2.1 Corollary 2.2): Theorem 1. The normalized Fenchel-Nielsen map F : T ls (X 0 ) l is a locally bilipschitz homeomorphism. In particular, the length spectrum Teichmüller space T ls (X 0 ) is contractible. Thus [9], [2] Theorem 1 imply that the unreduced quasiconformal Teichmüller space, the reduced quasiconformal Teichmüller space the length spectrum Teichmüller space are locally bilipschitz to l thus to each other.

3 UPPER BOUNDED PANTS DECOMPOSITION 3 A problem of characterizing the closure of T qc (X 0 ) inside T ls (X 0 ) for the length spectrum metric d ls is raised in [1]. We use the Fenchel-Nielsen coordinates to characterize the closure T qc (X 0 ) of T qc (X 0 ). Theorem 2. Let X 0 be an infinite type hyperbolic surface with an upper bounded pants decomposition P = {α n }. Then X T qc (X 0 ) if only if sup log l α n (X) α n P l αn (X 0 ) < t αn (X) t αn (X 0 ) = o( logl αn (X 0 ) ) as logl αn (X 0 ). 2. The Fenchel-Nielsen coordinates We prove that the normalized Fenchel-Nilesen map is a localy bilipschitz homeomorphism onto l. Theorem 2.1. Let X 0 be an infinite type complete hyperbolic surface equipped with an upper bounded geodesic pants decomposition P = {α n } n N. The normalized Fenchel-Nielsen map {( (1) F(X) = log l α n (X) l αn (X 0 ), t αn (X) t αn (X 0 ) )} max{1, logl αn (X 0 ) } n N for X T ls (X 0 ), induces a locally bilipschitz surjective homeomorphism F : T ls (X 0 ) l. Proof. Let M 0 be such that l αn (X 0 ) M 0 for each α n P. Step I: We establish that F(T ls (X 0 )) l which is already proved in [1]. We give another proof in order to facilitate the rest of the argument. By the definition, X T ls (X 0 ) if there is M > 0 such that log l γ(x) l γ (X 0 ) M for each simple closed curve γ C on X 0. In particular {log lαn(x) l αn (X 0) } n N is a bounded sequence. It remains to bound the twists. The choice of the twists of X 0 on α n are determined up to integer multiples of l αn (X 0 ). Without loss of generality, we normalize them such that, for each n N, 0 t αn (X 0 ) < l αn (X 0 ). Given this normalization, it is enough to prove that t αn (X) /max{1, logl αn (X 0 ) } is bounded uniformly in n N. Using [3], there exists a surface X which is K-quasiconformal to X 0 such that l αn (X ) = l αn (X) for all n N, where K = K(M) (cf. [1]). The K-quasiconformal map f : X 0 X maps each pair of pants P P of X 0 onto a geodesic pair of pants of X such that on each boundary geodesic the map is affine. Divide each geodesic pair of pants into two right angled hexagons by three seams, namely three geodesic arcs connecting pairs of boundary curves orthogonal to them. Each

4 4 DRAGOMIR ŠARIĆ hexagon contains half of each boundary geodesic of the pair of pants which are called a-sides. The other three sides of the hexagon which are seams are called b-sides. The two hexagons are glued along their b-sides to obtain the pair of pants the pairwise union of their a-sides forms three geodesic boundaries of the pair of pants. The map f : X 0 X maps a-sides of each hexagon of each pair of pants of X 0 onto a-sides of hexagons of the corresponding pair of pants of X it is affine on the a-sides. Note that a single α n P is on the boundary of two pairs of pants P1 0 P0 2 of P which implies that α n is divided into a-sides with respect to both P1 0 P0 2. The two divisions of α n into a-sides do not match in general the distance between the endpoints of two a-sides coming from two pairs of pants is the twist parameter t αn (X 0 ) of X 0 at the closed geodesic α n for the pants decomposition P. The map f : X 0 X is affine on each α n, it maps the foots of the seams of the pair of pants Pi 0 to the foots of the corresponding seams of f(pi 0) = P i for i = 1,2 it does not introduce any full twisting along α n by its construction (cf. [1], [3]). Then for K = K(M) we have t αn (X ) = l α n (X ) l αn (X 0 ) t α n (X 0 ) Kt αn (X 0 ). Let t n = t αn (X) t αn (X ). Then X is obtained by a(n infinite) multi twist on X along the family P = {α n } by the amount {t n }. It is enough to prove that t n max{1, logl αn (X is bounded in terms of d 0)} ls(x 0,X) because t αn (X ) KM 0. This is proved in [1] using results of Minsky [11] Choi-Rafi [6]. We give a more direct proof of this result below. Fix a cuff α n let P 1 = f(p1) 0 P 2 = f(p2) 0 be two geodesic pairs of pants with common boundary α n. Either P 1 P 2 or P 1 = P 2 we divide the argument into these two cases. Case 1. Assume that P 1 P 2. There exists a unique geodesic arc γi n P i, for i = 1,2, which starts ends at α n that is orthogonal to α n at both of its endpoints. Let β n be a closed curve on X obtained by concatenating γn 1 followed by an arc of α n from an endpoint of γn 1 to an endpoint of γ2 n in the direction of the left twist along α n followed by γn 2 followed by an arc of α n connecting other two endpoints of γn 1 γn 2 in the direction of the right twist (cf. Figure 1). Wewillgiveanupperbound fort αn (X)intermsofl βn (X). Fixthreeconsecutive lifts α j n, for j = 1,2,3, of α n under the universal covering π : H 2 X. Let β n be the lift of the geodesic representative βn of β n that intersects α j n, for j = 1,2,3. Moreover, let γ n i be the lift of γn i that connects α i n α i+1 n (cf. Figure 2). Let a 1 = γ n 1 α2 n a 2 = γ n 2 α2 n, b = β n α2 n. The lengths satisfy l γn i(x ) = l γ i n (X) because X is obtained from X by a multi twist along {α n }. We either have d hyp (a 1,b) t αn (X) /2 or d hyp (a 2,b) t αn (X) /2. Consider the case that (2) d hyp (a 2,b) t αn (X) /2 the other case is analogous. Let c 2 = γ n 2 α3 n let c 1 α 3 n be the foot of the orthogonal from b to α 3 n. Consider the quadrilateral with vertices b, c 1, c 2 a 2 (cf. Figure 2). We get (3) sinhd hyp (b,c 1 ) = sinhl γ 2 n (X)coshd hyp (b,a 2 ). By the Collar lemma [5], there exists C 1 (M) > 0 such that (4) l γ i n (X) = l γ i n (X ) C 1 (M)max{1, logl αn (X 0 ) }.

5 UPPER BOUNDED PANTS DECOMPOSITION 5 Figure 1. The curve β n. Figure 2. Since sinhd hyp (b,c 1 ) ed hyp (b,c 1 ) 2 coshd hyp (b,a 2 ) edhyp(b,a 2) 2, by (3) (4), we have d hyp (b,a 2 ) C 2 (M)max{1, logl αn (X 0 ) }+d hyp (b,c 1 )

6 6 DRAGOMIR ŠARIĆ which implies (5) d hyp (b,a 2 ) C 2 (M)max{1, logl αn (X 0 ) }+l βn (X) Note that by construction C 2 (M)max{1, logl αn (X 0 ) }+e M l βn (X 0 ). l βn (X 0 ) l γ 1 n (X 0 )+l γ 2 n (X 0 )+l αn (X 0 ). We estimate l γ i n (X 0 ) from the above using right-angled pentagons. Namely each hexagon of Pi 0 contains a half of the arc γn i γi n intersects the b-side of the hexagons that connects the two boundary geodesics of Pi 0 different from α n. Then both hexagons of Pi 0 are divided into two right-angled pentagons by γn i. The sides of the obtained pentagons are as follows in the cyclic order: a portion of the a-side on α n, followed by the half of γn, i followed by a portion of a b-side, followed by an a-side on a boundary curve different from α n followed by a b-side. We choose one of the two pentagons such that the portion of the a-side has length at least 1 4 l α n (X 0 ). Since l αn (X 0 ) M 0 it follows that any a-side of the hexagon has length at most 1 2 M 0 a hyperbolic formula for the right-angled pentagons gives cosh M 0 2 sinh 1 4 l α n (X 0 )sinh 1 2 l γ i n (X 0) 1 4 l α n (X 0 )sinh 1 2 l γ i n (X 0). The inequality implies that there is C 3 (M 0 ) such that which in turn implies l γ i n (X 0 ) C 3 (M 0 )max{1, logl αn (X 0 ) } (6) l βn (X 0 ) C 4 (M 0 )max{1, logl αn (X 0 ) } for some constant C 4 (M 0 ) > 0. By (2), (5) (6) we have t αn (X) (7) 2 which gives (8) d hyp (a 2,b) [C 2 (M)+e M C 4 (M 0 )]max{1, logl αn (X 0 ) } t αn (X) max{1, logl αn (X 0 ) } C 5(M,M 0 ) this finishes the proof of F(T ls (X 0 )) l in the case P 0 1 P0 2. Case 2. Assume that P 0 1 = P 0 2. We define γ n to be the unique geodesic arc in f(p 0 1 ) = f(p0 2 ) = P 1 starting ending at α n orthogonal to α n at both of its endpoints. Then we define a closed curve β n to consists of γ n an arc of α n of the size t αn (X ). The above argument applies to this case as well. Step II: F : T ls (X 0 ) l is surjective. For a l the surface X a obtained by gluing the pants with prescribed cuffs twists is complete. The marking map for X a can be chosen to be a homeomorphism because each twist is realized in an annulus containing a given cuff. Let X a = X a be the surface obtained by a K-quasiconformal map f : X 0 X a such that l α n (X a ) = l α n (X a ) for all n N as before (cf. [3]). Then log l β(x a) M(K) < l β (X 0 )

7 UPPER BOUNDED PANTS DECOMPOSITION 7 for n N. The surface X a is obtained by a multi twist around P = {α n } by the amount {t n = t αn (X a ) t αn (X a )}. Note that 0 t α n (X a ) = lαn(xa) l αn (X t 0) α n (X 0 ) < l αn (X a ). By the Collar lemma [5], we have that (9) l β (X a ),l β (X a ) C n i(α n,β)max{1, logl αn (X 0 ) } for each simple closed curve β on X 0. Then log l β(x a ) l β (X a ) log l β(x a )+ n i(α n,β) t n l β (X a ) which together with (9) implies that t n C max{1, logl αn (X 0 ) } log l β(x a ) l β (X a ) C C = C for each β C. In the exactly the same fashion, we obtain log l β(x a ) l β (X a ) C for each β C. Thus X a T ls (X 0 ) F : T ls (X 0 ) l is onto. Step III: F : T ls (X 0 ) l is localy Lipschitz. Let X 1 T ls (X 0 ) be fixed let X,Y B1 (X 1) be two arbitrary points in the ball of radius centered at X 1 T ls (X 0 ). Consequently d ls (X,Y) < 1. Note that log lαn(x) lαn(y) log l αn (X = 0) log lαn(x) l αn (X 0) t αn (X) t αn (Y) max{1, logl αn (X 0) }. l αn (Y) d ls(x,y) for each n N. It remains to consider By [1] [3], there exists a [1 + Cd ls (X,Y)]-quasiconformal map f : X X such that l αn (X ) = l αn (Y) for each n N with C = C(e d ls(x 0,X 1)+1 M 0 ) > 0. Let 0 t αn (X) < l αn (X) be such that there exists an integer k Z with (10) t αn (X) = k l αn (X)+ t αn (X). Note that, for C = C (M 1 +1,M 0 ), we have (11) k C logl α n (X 0 ) l αn (X 0 ) by (8) (10) because normalized twists t αn are bounded from the above e (M1+1) l αn (X 0 ) l αn (X) e M1+1 l αn (X 0 ). The construction of f : X X from [1] implies that t αn (X ) = k l αn (Y)+ l α n (Y) l αn (X) t αn (X). We estimate t αn (X ) t αn (X). Let M 1 = d ls (X 0,X 1 ). Then we have t αn (X ) t αn (X) k l αn (Y) l αn (X) + t αn (X) l α n (Y) l αn (X) 1 (12) C max{1, logl α n (X 0 ) } l αn (X) l α n (Y) + t l αn (X 0 ) l αn (X) 1 αn (X) l α n (Y) l αn (X) 1

8 8 DRAGOMIR ŠARIĆ which implies t αn (X) t αn (X ) (13) max{1, logl αn (X 0 ) } (C e M +M 0 e M ) l α n (Y) log l αn (X) 1 l αn (Y) C1. l αn (X) Note that d ls (X,X ) Cd ls (X,Y) which implies that Let d ls (X,Y) d ls (X,X)+d ls (X,Y) C 2 d ls (X,Y). (14) t n = t αn (Y) t αn (X ). The surface Y is obtained from X by a multi twist along {α n } by the amount {t n }. As before, we divide the argument into two cases: P 1 = P 2 P 1 P 2. Case 1. Given α n, assume first that the pairs of pants with boundary α n are equal, namely P 1 = P 2. Let β n be a closed curve obtained by concatenating the unique arc γ n in P 1 orthogonal to α n at both of its endpoints followed by an arc on α n of the length t αn (X ). Let β n be the geodesic representative of β n. Denote by X t the hyperbolic surface obtained by twisting the amount t t n, for t R t n defined by (14), along the cuffs α n on the surface X. Note that X 0 = X that by the definition of t n we have that X 1 = Y. Recall that (cf. [10], [7]) (15) d d(t t n ) l β n (X t) = cosϕ t where ϕ t (0,π) is the angle between β n α n. Let us fix ǫ 0 > 0. Note that ϕ t is either increasing or decreasing from ϕ 0 to ϕ 1 in t for 0 t 1 (depending whether t n is positive or negative) due to the fact that the geodesic length along a left earthquake with support α n is a convex function (cf. [10], [7]). Assume that t n > 0. If cosϕ 0 ǫ 0 (which implies cosϕ t ǫ 0 for 0 t) then we set βn := β n. If cosϕ 0 < ǫ 0 then we choose βn such that cosϕ t > ǫ 0 as follows. Consider universal coveringπ : H 2 X such that one lift α n of α n is the y-axis. Further we arrange that two lifts γ n 1 γ1 n of the arc γ n that are adjacent to the y-axis from the left the from the right meet the y-axis between i e lαn(x ) i. Let b < 0 be an endpoint on R of the hyperbolic geodesic containing γ n 1 let a > 0 be an endpoint on R of the geodesic containing γ n. 1 For any k Z, a k full left twists on α n on the surface X maps the curve βn to a new curve β n. The curve obtained by the concatenating the arc γ n with the arc which winds around α n k-times plus the shear amount t αn (X ) is homotopic to βn. The lift of the above arc has two orthogonal sub arcs to the y-axis one from the left which is equal to γ n 1 which meets y axis at a point b i between i e lαn(x ) i, the other orthogonal arc γ n 2 which meets the y-axis at a point c 2 = a e klαn(x ) i. By the definition of left twists, it follows that one endpoint of a lift β n of βn is between b 0, the other endpoint of β n is between ae klαn(x ). Among all the geodesics whose one endpoint is in the interval [b,0) the other endpoint is in the interval [ae klαn(x ), ), the geodesic with endpoints b ae klαn(x ) subtends the largest angle ϕ 0 with the y-axis. We have cosϕ 0 = aeklαn(x ) +b ae klαn(x ) b.

9 UPPER BOUNDED PANTS DECOMPOSITION 9 Define k = [ 1 l αn (X ) log 1+ǫ 0] +2 1 ǫ 0 where [x] is the integer part of x R. Then we have that which implies that for all t [0,1]. Note that cosϕ 0 ǫ 0 1 d t n dt l βn (X t ) = d d(t t n ) l βn (X t ) ǫ 0 l β n (X ) kl αn (X )+C logl αn (X ) C max{1, logl αn (X 0 ) } By the Mean Value Theorem there exists t (0,1) such that l β n (Y) l β n (X ) = d dt l β n (X t ) ǫ 0t n because X 1 = Y. Since l β n (X ) C max{1, logl αn (X 0 ) }, the above gives t n max{1, logl αn (X 0 ) } t n l β (X ) C l (Y) β n ǫ n 0 l β (X ) 1 C log l (Y) β n ǫ n 0 l β (X ). n Assume now that t n < 0. Then we use a similar method by considering cosϕ t ǫ 0 k full right twist around α n to replace βn with β n. The proof proceeds analogously. Case 2. The second case is when P 1 P 2. Define a closed curve β n P 1 P 2 X to consists of the unique arc γn 1 in P 1 orthogonal at both of its endpoints to α n followed by the arc in α n (in the direction of the left twist) of the size at most l αn (X ) followed by the unique arc γn 2 P 2 orthogonal to α n at both of its endpoints followed by an arc on α n of size at most l αn (X ). For the convenience of the notation, denote by β n the closed geodesic homotopic to β n. The arcs γn, i for i = 1,2, have lengths comparable to max{1, logl αn (X 0 ) } up to positive multiplicative constants. Let α j n, for j = 1,2, be two consecutive lifts of α n. Two lifts γ n j,k, for k = 1,2, of γn j which meet α j n can be chosen such that the distance between their foots on α j n is at most l α n (X ). Assume that t n > 0. We perform k full left twists along α n to obtain a new closed curve βn from the closed curve βn. When k = 1+ǫ0 log 1 ǫ 0 ] +2, we get (similar to Case 1) for both angles ϕ j n that the new closed geodesic βn subtends with α n, [ 1 l αn (X ) Then which gives cosϕ j n ǫ 0. d dt l β n (X t ) = cosϕ1 n +cosϕ2 n 2ǫ 0 t n max{1, logl αn (X 0 ) } C log l (Y) β n l β (X ). n When t n < 0, the proof proceeds as before. Thus we established that the map F : T ls (X 0 ) l is locally Lipschitz.

10 10 DRAGOMIR ŠARIĆ Step IV: F 1 : l T ls (X 0 ) is locally Lipschitz. We consider the map F 1 : l T ls (X 0 ) prove that it is also locally Lipschitz. Let a 0 l be fixed. Denote by X a0 the surface corresponding to a 0, namely X a0 = F 1 (a 0 ) T ls (X 0 ). Let a,b l such that a a 0 < 1 2 b a 0 < 1 2 which implies a b < 1. There exists a (1+C log lαn(x b) l αn (X a) )-quasiconformal map f : X b X b such that l αn (X b ) = l α n (X a ) for all n (cf. [3], [1]). Recall that where k Z, 0 t α (X b ) < l αn (X b ) t αn (X b ) = kl αn (X b )+ t αn (X b ) (16) k Cmax{1, logl α n (X 0 ) }. l αn (X b ) By the construction of f : X b X b, we have t αn (X b) = kl αn (X a )+ l α n (X a ) l αn (X b ) t αn (X b ). It follows that (17) t αn (X b ) t αn (X b ) k l α n (X a ) l α n (X b ) l αn (X a ) 1 +lαn (X b ) l α n (X b ). l αn (X a ) 1 Since a,b l, it follows that there exists C > 0 such that (18) l α n (X b ) log l αn (X a ) 1 l αn (X b ) C. l αn (X a ) The inequalities (17), (16) (18) imply t αn (X b ) t αn (X b) Cmax{1, logl αn (X 0 ) } l α n (X a ) l αn (X b ) log l α n (X b ) l αn (X a ) +C log l α n (X b ) l αn (X a ) where C = C ( a ), since log lαn(x b) l αn (X a) a b, we get (19) t αn (X b ) t αn (X b ) max{1, logl αn (X 0 ) } C a b. Sincef : X b X b isa(1+c a b )-quasiconformal,itfollowsthatd ls (X b,x b ) C a b. Moreover, if X b = F 1 (b ) then (19) implies that that b b C a b. Finally, a b a b + b b C a b. It remains to estimate the length-spectrum distance between X b = X b X a. This part of the argumentt is essentially contained in [1]. Note that X a is obtained from X b by multi twist along α n by the amount t n = t αn (X a ) t αn (X b ). The estimate (19) the triangle inequality t αn (X a ) t αn (X b ) t αn (X a ) t αn (X b ) + t αn (X b ) t αn (X b ) gives that t n = t αn (X a ) t αn (X b ) C a b max{1, logl αn (X 0 ) }. For any simple closed geodesic β on X b, we estimate log l β(x b ) l β (X a). We have l β (X b ) l β (X a )+ i(β,α n ) t n l β (X a )+ n=1 +C a b i(β,α n )max{1, logl αn (X 0 ) } n=1

11 UPPER BOUNDED PANTS DECOMPOSITION 11 l β (X a ) C i(β,α n )max{1, logl αn (X a ) } n=1 by the Collar lemma. Since X a T ls (X 0 ), it follows that there exists M > 0 such that logl αn (X a ) logl αn (X 0 ) M. Thus there exists C > 0 such that max{1, logl αn (X a ) } C max{1, logl αn (X 0 ) }. The above inequalities imply that l β (X b ) l β (X a ) 1+C a b by reversing roles played by X a X b we get l β (X a ) l β (X b ) 1+C a b. This proves that F 1 : l T ls (X 0 ) is Lipschitz. Since l is contractible, we get Corollary 2.2. The length spectrum Teichmüller space T ls (X 0 ) for any hyperbolic surface X 0 with an upper bounded pants decomposition is contractible. 3. The closure of T qc (X 0 ) in T ls (X 0 ) A question of characterizing the closure of the image of T qc (X 0 ) inside T ls (X 0 ) was raised in [1]. We use our understing of the topology on the Fenchel-Nielsen coordinates that makes the map F : T ls (X 0 ) l into a homeomorphism to give a characterization of the closure of T qc (X 0 ). Let l = {(x 1,x 2,...) : x i R} be the space of all sequences of real numbers. We first define F : T ls (X 0 ) l by setting F(X) = {(x 1,x 2,...) l : x 2n 1 = log l α n (X) l αn (X 0 ), x 2n = t αn (X) t αn (X 0 ) for n N}. If α n is a boundary component we use only the length coordinate. By [1] or by Theorem 1, F(Tls ) l consists of all x = (x 1,x 2,...) l such that x 2n supmax{ x 2n 1, n max{1, logl αn (X 0 ) } } <. Let O(1) denotes a bounded function let O(M) := M O(1) as M. Moreover, o(1) denotes a function which converges to 0 as M let o(m) = M o(1). Then x = (x 1,x 2,...) are the Fenchel-Nielsen coordinates of X T ls (X 0 ) if only if x 2n 1 = O(1) x 2n = O(max{1, logl αn (X 0 ) }). By [2], the image F(T qc (X 0 )) l of the quasiconformal Teichmüller space T qc (X 0 ) consists of all x = (x 1,x 2,...) such that or equivalently x <, x n = O(1).

12 12 DRAGOMIR ŠARIĆ Theorem 3.1. Let X 0 be a complete hyperbolic surface with an upper bounded pants decomposition P = {α n }. Then X T ls (X 0 ) is in the closure of T qc (X 0 ) for the metric d ls if only if sup log l α n (X) < l αn (X 0 ) α n P (20) t αn (X) t αn (X 0 ) = o( logl αn (X 0 ) ) as logl αn (X 0 ). Proof. We first note that if X 0 has a (geodesic) pants decomposition which is bounded from the above from the below then (cf. [12], [1]) T qc (X 0 ) = T ls (X 0 ). Therefore we assume that there is a pants decomposition of X 0 which is upper bounded with a sequence of cuffs whose lengths go to 0. Let X i T qc (X 0 ) such that X i X in the length spectrum metric d ls as i. Then d ls (X 0,X) <, namely X T ls (X 0 ). Let {α nk } k be the set of all geodesics in P such that l αnk (X 0 ) 1 e. Then by Theorem 2.1 sup k t αnk (X i ) t αnk (X) 0 logl αnk (X 0 ) as i. Thus for any ǫ > 0 there exists i 0 such that for all i > i 0 we have t αnk (X) t αnk (X 0 ) t αnk (X i ) t αnk (X 0 ) +ǫ logl αnk (X 0 ). Assume on the contrarythat (20) is false. Then there exists C > 0 subsequence k j such that l αnkj (X 0 ) 0 as j t αnkj (X) t αnkj (X 0 ) C logl αnkj (X 0 ). Choose ǫ = C 2. The above two inequalities give for all i > i 0 t αnkj (X i ) t αnkj (X 0 ) C 2 logl α nkj (X 0 ) which contradicts X i X as i. Thus X satisfies (20). AssumethatX T ls (X 0 )satisfies(20). WeneedtofindasequenceX i T qc (X 0 ) such that X i X as i for the length spectrum metric d ls. For a given i N, let X i T ls (X 0 ) be defined by the Fenchel-Nielsen coordinates l αn (X i ) := l αn (X) (21) t αn (X i ) t αn (X 0 ) := sgn[t αn (X) t αn (X 0 )]min{ t αn (X) t αn (X 0 ),i}. By [2], we have X i T qc (X 0 ). Let M = d ls (X 0,X) choose ǫ > 0. Since X satisfies (20), it follows that there exists δ > 0 such that t αn (X) t αn (X 0 ) logl αn (X 0 ) for all α n P with l αn (X 0 ) δ. Moreover, there exists C = C(δ) > 0 such that for all α n P with l αn (X 0 ) > δ. < ǫ 2 t αn (X) t αn (X 0 ) C

13 UPPER BOUNDED PANTS DECOMPOSITION 13 For l αn (X 0 ) δ, we have t αn (X) t αn (X i ) logl αn (X 0 ) t α n (X) t αn (X 0 ) logl αn (X 0 ) 2 t α n (X) t αn (X 0 ) logl αn (X 0 ) + t α n (X 0 ) t αn (X i ) logl αn (X 0 ) For l αn (X 0 ) > δ, we have that t αn (X i ) = t αn (X) for each i > C. Thus X i X as i in the length spectrum metric d ls. References < ǫ. [1] D. Alessrini, L. Liu, A. Papadopoulos, W. Su, On the inclusion of the quasiconformal Teichmüller space into the length-spectrum Teichmüller space, preprint, available on arxiv. [2] D. Alessrini, L. Liu, A. Papadopoulos, W. Su Z. Sun, On Fenchel-Nielsen coordinates on Teichmüller spaces of surfaces of infinite type, Ann. Acad. Sci. Fenn. Math. 36 (2011), no. 2, [3] C. Bishop, Quasiconformal mappings of Y-pieces, Rev. Mat. Iberoamericana 18 (2002), no. 3, [4] F. Bonahon, The geometry of Teichmüller space via geodesic currents, Invent. Math. 92 (1988), no. 1, [5] P. Buser, Geometry spectra of compact Riemann surfaces, Birkhäuser, [6] Y-E. Choi K. Rafi, Comparison between Teichmüller Lipschitz metrics, J. Lond. Math. Soc. (2) 76 (2007), no. 3, [7] D. B. A. Epstein A. Marden, Convex hulls in hyperbolic space, a theorem of Sullivan, measured pleated surfaces, Analytical geometric aspects of hyperbolic space (Coventry/Durham, 1984), , London Math. Soc. Lecture Note Ser., 111, Cambridge Univ. Press, Cambridge, [8] D.B.A. Epstein, A. Marden V. Markovic, Quasiconformal homeomorphisms the convex hull boundary, Ann. of Math. (2) 159 (2004), no. 1, [9] A. Fletcher, Local rigidity of infinite-dimensional Teichmüller spaces J. London Math. Soc. (2) 74 (2006), no. 1, [10] S. Kerckhoff, The Nielsen realization problem, Ann. of Math. (2) 117 (1983), no. 2, [11] Y. Minsky, Extremal length estimates product regions in Teichmüller space, Duke Math. J. 83 (1996), no. 2, [12] H. Shiga, On a distance defined by the length spectrum of Teichmüller space, Ann. Acad. Sci. Fenn. Math. 28 (2003), no. 2, [13] S. Wolpert, The length spectra as moduli for compact Riemann surfaces., Ann. of Math. (2) 109 (1979), no. 2, Department of Mathematics, Queens College of CUNY, Kissena Blvd., Flushing, NY address: Dragomir.Saric@qc.cuny.edu Mathematics PhD. Program, The CUNY Graduate Center, 365 Fifth Avenue, New York, NY