the _ gromov product _ with reference point @xmath0 of a metric space @xmath1 is defined by @xmath2 we call a sequence @xmath3 in @xmath4 _ convergent at infinity _ if @xmath5 as @xmath6 ( cf .
 8 in @xcite ) .
the central aim of this paper is to develop a theory for understanding the large scale geometry on metric spaces and the action of mappings or transformations on metric spaces using convergent sequences at infinity , with reference to the theory of gromov hyperbolic spaces .
in fact , we will focus on mappings between metric spaces which send sequences keeping the condition of the convergence at infinity .
we will call such mappings _ asymptotically conservative with the gromov product _ ( or _ asymptotically conservative _ , for short ) . see  [ subsec : asymptotically_conservative ] for details .    _
gromov hyperbolic spaces _ were introduced and developed by m. gromov in his very important paper @xcite .
gromov hyperbolic spaces form a large and much studied class of metric spaces , which satisfy certain characteristic properties of hyperbolic geometry . indeed
, they include all complete simply connected riemannian manifolds whose sectional curvature is everywhere less than a negative constant .    convergent sequences at infinity appear naturally in studying the large scale geometry of gromov hyperbolic spaces .
indeed , every gromov hyperbolic space @xmath4 admits a natural ideal boundary @xmath7 , called the _ gromov boundary _ of @xmath4 , and any convergent sequence at infinity in @xmath4 determines a boundary point .
the gromov product admits a canonical extension to the gromov boundary , and the extension defines a distance on the gromov boundary (  1.8b in @xcite .
see also  2 in @xcite ) .    in a gromov hyperbolic space , if two sequences @xmath8 and @xmath9 are convergent together at infinity in the sense that @xmath10 as @xmath6 , they determine the same ideal boundary point . from other viewpoints , this means that we are unable to distinguish between their asymptotic behaviors in a gromov hyperbolic space .
we will call two sequences in an ( arbitrary ) metric space satisfying _ visually indistinguishable_.    one simple but remarkable fact is that in a gromov hyperbolic space , the relation  visually indistinguishable " defines an equivalence relation on the set of convergent sequences at infinity .
indeed , this fact allows us to define the ideal boundary ( gromov boundary ) for every gromov hyperbolic space .
however , on an arbitrary metric space , the relation is not an equivalent relation .
the _ teichmller distance _ is a natural distance on the teichmller space . in @xcite
, s. kerckhoff discovered an elegant geometric interpretation of the teichmller distance via extremal length .
indeed , kerckhoff s formula asserts that the teichmller distance is represented by the ratio of extremal lengths of simple closed curves on marked riemann surfaces .
following his observation , we often call the geometry on the teichmller distance the _ extremal length geometry on teichmller space_.    in @xcite , h. masur and m. wolf observed that teichmller space is not gromov hyperbolic when the base surface is neither a torus with one hole nor a sphere with four holes .
in fact , the relation  visually indistinguishable " discussed in the previous section does not define an equivalent relation on the set of convergent sequences at infinity in teichmller space .
in addition , masur @xcite showed that teichmller space is not negatively curved in the sense of busemann , and y. minsky @xcite observed an interesting phenomenon which implies that teichmller space behaves like a positively curved space in the thin part .
thus , it seems to be hard to reap benefit directly from the general theory of negatively curved spaces .    on the other hand , the gromov product on teichmller space connects between the analytic aspect and the topological aspect at infinity of teichmller space described as follows ( see also  [ subsec : cones_intersectionnumber ] ) .
consider two quasiconformal mappings @xmath11 and @xmath12 .
it is known that @xmath13 where @xmath14 is the maximal dilatation of @xmath15 .
the equality @xmath16 does not hold in general .
for instance @xmath17 for a quasiconformal mapping with @xmath18 . in the theory of quasiconformal mappings , the following question is fundamental ( but obscure ) :    _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ how can we measure the _ insufficiency _ @xmath19 of the composition from @xmath15 and @xmath20 ? _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _    for a quasiconformal mapping @xmath21 between riemann surfaces , we denote by @xmath22 the infimum of the maximal dilatations of quasiconformal mappings from @xmath23 to @xmath24 homotopic to @xmath15 .
the teichmller distance between marked riemann surfaces @xmath25 and @xmath26 is originally defined as @xmath27 ( cf .
[ subsec : teichmuller - space ] ) .
hence , the gromov product of @xmath28 and @xmath29 with base point @xmath30 satisfies @xmath31 thus the gromov product measures the  insufficiency " of the maximal dilatation arising from the difference of markings .    in @xcite , zhong li and yi qi
give another treatment of the insufficiency or the gromov product in the analytic aspect .
the gromov product of the teichmller distance links between the extremal length geometry and the thurston theory on the geometry of simple closed curves with the intersection number .    for two points @xmath28 and @xmath29 in teichmller space ,
the quantity @xmath32 is recognized as the ( weighted ) _ intersection number _ between @xmath28 and @xmath29 with the base point @xmath0 ( cf .
[ subsec : intersection_number_with_base_point ] ) .
namely , the pairing extends continuously to a canonical boundary in the extremal length geometry on teichmller space , which is called the _ gardiner - masur boundary _ , and the extension coincides with the weighted intersection number function on the boundary where includes the space of projective measured foliations .
in addition , this observation implies that teichmller space has a  boundary continuous " property in terms of the gromov product ( cf  [ subsec : boundary_continuous ] ) .
as we discussed above , the gromov product of the teichmller distance gives a strong connection between    * analytic aspect : theory on quasiconformal mappings ( insufficiency of the maximal dilation of the composition ) , and * topological aspect : thurston theory ( geometry on simple closed curves with the intersection number ) .
indeed , the above insufficiency coincides with the weight intersection number at infinity of teichmller space .    from the seemingly useful property of the gromov product on teichmller space , one may ask :    _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ what can we know about the large scale geometry of teichmller space using the gromov product ? _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _    however , because of masur - wolf s result discussed above , the properties of the gromov product in terms of the large scale geometry of teichmller space are less known .
thus , from the general point of view , we need to develop a theory on arbitrary metric spaces by specializing the asymptotic behavior on convergent sequences at infinity .
let @xmath4 and @xmath33 be metric spaces .
a mapping @xmath34 is said to be _ asymptotically conservative with the gromov product _
( _ asymptotically conservative _ for short ) if @xmath35 maps every pair of visually indistinguishable sequences in @xmath4 to a pair of such sequences , vice versa ( cf . definition [ def : asymptotically_conservative ] ) .
asymptotically conservative mappings are defined in an effort to produce a qualitative version of quasi - isometries with respect to the asymptotic behavior of visually indistinguishable sequences under quasi - isometries between gromov hyperbolic spaces .
indeed , any quasi - isometry between gromov hyperbolic spaces is asymptotically conservative ( cf .
theorem 7.2h in @xcite ) .
we will see in  [ sec : asymptotic_conservative ] that the composition of two asymptotically conservative mappings is also asymptotically conservative , and asymptotically conservative mappings are stable under paralleism , like as quasi - isometries between metric spaces . in particular ,
any mapping parallel to an isometry is asymptotically conservative ( see  [ subsec : remarks_asymptotically_conservative ] ) .
let @xmath36 be a convergent sequence at infinity .
we denote by @xmath37 the set of convergent sequences at infinity which are visually indistinguishable from @xmath36 . though the relation  visually indistinguishable "
is not an equivalent relation on the set of convergent sequences on any metric space , if two convergent sequences @xmath38 and @xmath39 at infinity satisfy @xmath40 , we ( pretend to ) recognize that two sequences @xmath38 and @xmath39 determine the same ideal point at infinity .
two asymptotically conservative mappings @xmath41 and
@xmath42 are said to be _ close at infinity _ , if for any sequences @xmath43 and @xmath44 , @xmath45 implies @xmath46 .
namely , if @xmath41 and @xmath42 are close at infinity , we can not find any difference between @xmath41 and @xmath42 in the large scale geometry in terms of the asymptotic behavior of convergent sequences at infinity .
a mapping @xmath34 is said to be _
invertible _ if there is a mapping @xmath47 such that @xmath48 and @xmath49 are close to the identity mappings on @xmath4 and @xmath33 , respectively .
we call such @xmath50 an _ asymptotic quasi - inverse _ of @xmath35 . a quasi - inverse in the coarse geometry is a typical example of asymptotic quasi - inverses ( cf . remark ( 5 ) of  [ subsec : remarks_asymptotically_conservative ] ) .
let @xmath51 be the set of invertible asymptotically conservative mappings on @xmath4 to itself .
we first observe the following theorem ( cf .
theorems [ thm : properties_quasimorphisms_identity ] and [ thm : quotient_semigroup ] ) .
[ thm : arbitrary_quotient_space ] let @xmath4 be a metric space .
the set @xmath51 admits a canonical monoid structure with respect to the composition of mappings .
furthermore , the relation  closeness at infinity " is a semigroup congruence on @xmath51 and the quotient semigroup @xmath52 is a group .    as discussed in the previous section , our mappings
are defined after on the model of quasi - isometries between gromov hyperbolic spaces .
hence , we may presume that the group @xmath52 has a good property in a sense when @xmath4 is a gromov hyperbolic space .
in fact , we shall see the following ( for details , see  [ subsec : conclusion_characterization ] ) .
[ thm : gromov_hyperbolic ] let @xmath4 be a gromov hyperbolic space .
then , the group @xmath52 is canonically identified with the group of bijective mappings on @xmath7 such that they and their inverses are extensions of mappings of @xmath4 . in addition , if @xmath4 is boundary continuous , above bijective mappings of @xmath7 become homeomorphisms .    [
[ large - scale - geometry - of - teichmller - space ] ] * large scale geometry of teichmller space * + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    as mentioned in  [ subsec : background_motivation ] , our main interest is to clarify the large scale geometry of teichmller space with the asymptotic behaviors of convergent sequences at infinity .
the extened mapping class group @xmath53 of @xmath54 acts isometrically on @xmath55 and we have a group homomorphism @xmath56 since any isometry is an invertible asymptotically conservative mapping , the inclusion @xmath57 is a monoid homomorphism . for details , see  [ subsec : action_of_extended_mapping_class_groups ] .    in the case of teichmller space
, we will prove the following rigidity theorem ( cf . theorem [ thm : induced_automorphism ] ) .
[ thm : teichmullerspace ] let @xmath54 be a compact orientable surface of negative euler characteristic such that @xmath54 is neither a torus with one hole nor a sphere with four holes .
let @xmath55 be the teichmller space of @xmath54 , endowed with the teichmller distance .
let @xmath58 be the complex of curves on @xmath54 .
then , there is a monoid epimorphism @xmath59 which descends to an isomorphism @xmath60 satisfying the following commutative diagram @xmath61^{\mathcal{i}_0 } & { \rm isom}({\mathcal{t } } ) \ar[r]^{\mathcal{i } } \ar[dr]^{\mbox{{\tiny group iso } } } & { { \rm ac_{inv}}}({\mathcal{t } } ) \ar[d]^{\mbox{{\tiny proj } } } \ar[dr]^{\xi } & \\ & & { \mathfrak{ac}}({\mathcal{t } } )   \ar[r]^{\mbox{{\tiny group iso } } } & { \rm aut}(\mathbb{x}(s ) ) , & } \ ] ] where @xmath62 is the group of simplicial automorphisms of @xmath58 .
theorem [ thm : teichmullerspace ] implies that any invertible asymptotically conservative mapping on @xmath55 is close to an isometry on @xmath55 at infinity .
thus , invertible asymptotically conservative mappings are considered as  _ coarsifications _ " of isometries which are rigid at infinity in the teichmller theory .    when @xmath54 is either a torus with one hole or a sphere with four holes , the teichmller space of @xmath54 is isomorphic to the poincar disk and the characterization for this case follows from theorem [ thm : gromov_hyperbolic ] .    by applying the discussion in the proof of theorem [ thm : teichmullerspace ] , we also obtain a hyperbolic characteristic of teichmller space .
in fact , we will give a proof of the following folklore result in  [ subsec : rough_homothety ] .
[ thm : teichmullerspace_homothety ] let @xmath54 be a compact orientable surface of negative euler characteristic .
then , there is no @xmath63-rough homothety with asymptotic quasi - inverse on the teichmller space of @xmath54 unless @xmath64 .    here , a mapping @xmath65 between metric spaces is said to be a @xmath63-_rough homothety _ if @xmath66 for @xmath67 ( cf .
chapter 7 of @xcite ) .
one can easily see that any rough - homothety is asymptotically conservative . by definition , any isometry is a @xmath68-rough homothety for all @xmath69 .
hence , teichmller space admits @xmath68-rough homotheties for all @xmath69 .
theorem [ thm : teichmullerspace_homothety ] implies that there is no non - trivial similarity in teichmller space , like in hyperbolic spaces .    though enormous hyperbolic characteristics have been observed in teichmller space
, we would like to notice a remarkable fact proven by athreya , bufetov , eskin and mirzakhani in @xcite .
indeed , they observed that the volume of the metric balls in teichmller space has exponential growth .
thus , their result might imply that a measurable @xmath63-homothety on teichmller space does not exist unless @xmath70 .
this paper is organized as follows : in  [ sec : asymptotic_conservative ] , we will introduce asymptotically conservative mappings on metric spaces .
we first start with the basics for the gromov product , and we next develop the properties of asymptotically conservative mappings .
we will prove theorem [ thm : arbitrary_quotient_space ] in  [ subsec : monoild_semingroups ] . in
[ subsec : remarks_asymptotically_conservative ] , we will give typical examples of asymptotically conservative mappings . in
[ sec : gromov_hyperbolic_space ] , we give characterizations of asymptotically conservative mappings on gromov hyperbolic spaces and will prove theorem [ thm : gromov_hyperbolic ] in  [ subsec : conclusion_characterization ] .    from  [ sec :
teichmuller_theory ] to  [ sec : action_reduced_boundary ] , we devote to prepare for the proofs of theorems [ thm : teichmullerspace ] and [ thm : teichmullerspace_homothety ] . in  [ sec : teichmuller_theory ] , we give basic notions of teichmller theory including the definitions of teichmller space , measured foliations and extremal length . in  [ sec : thurston_theory_extremal_length ] , we recall our unification theorem for extremal length geometry on teichmller space via intersection number .
this unification connects between the geometry on the gromov product on teichmller space and that of the intersection number on the space of measured foliations .
we will define cones , the stage where we develop the thurston theory with extremal length , from the garidner - masur compactification .
indeed , we can define the intersection number function on the cones .
we also give basic properties of the cones and the intersection number . in
[ sec : null_sets_section ] , we shall define the null sets for points in the cone , and show that any point of the cone has the same null set with a measured foliations
. we will also give a characterization of such measured foliations for points in the cone . in
[ sec : action_reduced_boundary ] , we define the reduced gardner - masur compactification and study the action of asymptotically conservative mappings on the reduced gardiner - masur compactification . in  [ sec : rigidity_asymptotic_teichmuller ] , we will prove theorems [ thm : teichmullerspace ] and [ thm : teichmullerspace_homothety ] . in the proof of theorem [ thm : teichmullerspace_homothety ] , we mainly treat the case where the teichmller space of @xmath54 has dimension at least @xmath71 , but the proof is modeled on the proof for the case of one dimensional teichmller space .
we will also sketch the proof of the one dimensional case .    in the last section (  [ sec : appendix ] ) , as an appendix , we shall give an estimation of extremal length .
indeed , our result is a refinement of the estimation given by gardiner and masur in @xcite .
the author would like to express his hearty gratitude to professor kenichi ohshika for fruitful discussions and his constant encouragements .
he also thanks professor yair minsky for informing him about a work by athreya , bufetov , eskin and mirzakhani in @xcite . the author also thanks professor athanase papadopoulos for his kindness and useful comments .
in this section , we introduce asymptotically conservative mappings with the gromov product between metric spaces . for completeness ,
we redefine them .
let @xmath1 be a metric space .
in what follows , we assume that all metric space is of infinite diameter .
as given in the introduction , the _ gromov product _ on @xmath4 is , by definition , @xmath72 for @xmath73 .
we call the point @xmath74 in the _ reference point _ of the gromov product ( cf .
 1 in @xcite ) .
when the metric space in the discussion is clear in the context , we omit to specify the metric space in denoting the gromov product .
the following is known for @xmath28 , @xmath29 , @xmath75 , @xmath76 , @xmath77 : @xmath78      a sequence @xmath3 in @xmath4 is said to be _ convergent at infinity _ if the sequence satisfies @xmath79 ( @xmath6 ) for some ( and hence any ) point @xmath80 .    in this section , unless otherwise specified , we always assume that every sequence converges at infinity .
[ def : visually_indistinguishable ] a sequence @xmath81 in @xmath4 is said to be * visually indistinguishable * , if @xmath4 is gromov hyperbolic , the relation  visually indistinguishable " is an equivalent relation on the set of convergent sequences at infinity ( cf .
 2.2 in @xcite ) .
however , the relation  visually indistinguishable " is not an equivalent relation in general .
hence , we do not use here the word  equivalence " which is commonly used in the study of hyperbolic spaces . ] * at infinity ( visually indistinguishable , for short ) * from a sequence @xmath82 in @xmath4 if @xmath83    from , the above definition is independent of the choice of the reference points @xmath0 of the gromov product on @xmath4 .
therefore , in what follows , we may fix reference points of metric spaces for the gromov product , for instance , @xmath80 and @xmath84 etc . for a sequence @xmath85 in @xmath4
, we define @xmath86 for a map @xmath34 and a sequence @xmath85 , we write @xmath87 as usual .    [ def : asymptotic ] two sequences @xmath43 and @xmath44 in @xmath4 are said to be * asymptotic * if @xmath45 .
[ remark : accompanying_sequence ] the following hold :    1 .
the relation  visually indistinguishable " is reflexive on the set of convergent sequences at infinity .
indeed , @xmath36 converges at infinity if and only if @xmath36 is visually indistinguishable from @xmath36 itself .
the relation  visually indistinguishable " is symmetric : if @xmath88 , then @xmath89 .
the relation  visually indistinguishable " is not transitive in general .
namely , it is possible that @xmath90 for some sequences @xmath91 with @xmath92 .
4 .   for any @xmath88 ,
any subsequence of @xmath93 is also in @xmath37 .
5 .   let @xmath36 and @xmath93 be convergent sequences at infinity . if any subsequence of @xmath93 contains a subsequence which is visually indistinguishable from @xmath36 , then @xmath93 itself is contained in @xmath37 .    indeed , we can see that on teichmller space , the relation  visually indistinguishable " is not an equivalent relation when the base surface is neither a torus with one hole nor a sphere with four holes ( cf .
[ sec : remark_visually_indistinguishable ] )
.    we shall give a brief check of the assertion ( 5 ) above .
suppose that @xmath94 .
then , @xmath95 for some @xmath96 where @xmath85 and @xmath97 .
then , we can take @xmath98 and @xmath99 such that @xmath100 for @xmath101 .
hence , any subsequence of a subsequence @xmath102 of @xmath93 is not visually indistinguishable from @xmath36 .
let @xmath1 and @xmath103 be metric spaces .
[ def : asymptotically_conservative ] a mapping @xmath34 is said to be * asymptotically conservative with the gromov product ( asymptotically conservative , for short ) * if for any two sequences @xmath43 and @xmath44 in @xmath4 , @xmath43 is visually indistinguishable from @xmath44 in @xmath4 if and only if @xmath104 is also visually indistinguishable from @xmath105 in @xmath33 .
namely , for any sequence @xmath36 in @xmath4 , the following two conditions hold ;    1 .
@xmath106 ; 2 .   for any sequence @xmath93 in @xmath4 , if @xmath107 , then @xmath88 .
let @xmath108 be the set of asymptotically conservative mappings from @xmath4 to @xmath33 .
set @xmath109 for simplicity .
one can easily see that any isometry is asymptotically conservative ( see also  [ subsec : remarks_asymptotically_conservative ] ) .
[ remark:1 ] suppose @xmath34 is asymptotically conservative .
if a sequence @xmath36 in @xmath4 converges at infinity , then @xmath36 is visually indistinguishable from @xmath36 itself .
hence , @xmath110 is visually indistinguishable from @xmath110 itself , which means that @xmath110 also converges at infinity in @xmath33 .
the converse is also true .
namely , if @xmath110 converges at infinity , so does @xmath36 .
[ prop : properties_quasimorphisms ] let @xmath4 , @xmath33 and @xmath111 be metric spaces . for @xmath112 and @xmath113 , @xmath114 .
let @xmath36 be a sequence in @xmath4 .
then , @xmath115 let @xmath93 be a sequence in @xmath4 with @xmath116 . since @xmath41 is asymptotically conservative , @xmath117 . since @xmath42 is also asymptotically conservative again , we have @xmath88 .
a mapping @xmath34 is said to be _ asymptotically - surjective _ if for any @xmath118 in @xmath33 convergent sequence at infinity , there is a sequence @xmath36 in @xmath4 with @xmath119 .
let @xmath120 be the set of asymptotically conservative and asymptotically surjective mappings from @xmath4 to @xmath33 .
[ def : closeness_at_infinity ] two mappings @xmath41 and @xmath42 from @xmath4 to @xmath33 are said to be * close at infinity * if and only if for any sequences @xmath43 and @xmath44 in @xmath4 , if @xmath43 and @xmath44 are asymptotic , so are @xmath121 and @xmath122 .
namely , if @xmath45 , then @xmath46 .
in particular , if two mappings @xmath41 and @xmath42 from @xmath4 to @xmath33 are close at infinity , @xmath123 for all @xmath36 in @xmath4 convergent sequence at infinity .
[ prop : properties_quasimorphisms_close ] let @xmath4 , @xmath33 and @xmath111 be metric spaces .
let @xmath41 , @xmath124 and @xmath42 , @xmath125 be mappings .
suppose @xmath126 and @xmath127 are close at infinity for @xmath128 . then , @xmath129 is close to @xmath130 at infinity .
let @xmath43 and @xmath44 be sequences in @xmath4 with @xmath45 . by definition , @xmath131 , and hence @xmath132 .
[ prop : quasi - surjective_asymptotic ] let @xmath133 .
let @xmath43 and @xmath44 be convergent sequences in @xmath4 at infinity . if @xmath134 , then @xmath135 .
let @xmath136 .
since @xmath35 is asymptotically surjective , there is a sequence @xmath93 in @xmath4 such that @xmath137 .
since @xmath35 is asymptotically conservative and @xmath138 , we have @xmath139 and @xmath140 therefore , @xmath141 ( cf .
( 2 ) of remark [ remark : accompanying_sequence ] ) .
hence we deduce @xmath142 and @xmath143 .
[ prop : gp_close_equivalence_relation ] let @xmath4 and @xmath33 be metric spaces .
the relation  closeness at infinity " is an equivalent relation on @xmath120 .
let @xmath43 and @xmath44 be sequences in @xmath4 .
suppose that @xmath43 and @xmath44 are asymptotic , which means that @xmath45 .
( reflexive law)this follows from proposition [ prop : quasi - surjective_asymptotic ] .
( symmetric law)take two mappings @xmath144 . since @xmath41 is close to @xmath42 at infinity , @xmath46 . by interchanging the roles of @xmath43 and @xmath44 , @xmath145 .
this means that @xmath42 is close to @xmath41 at infinity .
( transitive law)take three mappings @xmath146 .
suppose that @xmath126 is close to @xmath147 at infinity ( @xmath128 ) .
then , from , @xmath148 and hence , @xmath41 is close to @xmath149 at infinity .
a mapping @xmath150 is said to be _
invertible _ if there is @xmath151 such that @xmath48 and @xmath152 are close to the identity mappings on @xmath4 and @xmath33 respectively .
we call such @xmath50 an _ asymptotic quasi - inverse _ of @xmath35 .
let @xmath153 be the set of invertible asymptotically conservative mappings .
set @xmath154 .
notice that for @xmath155 , any asymptotic quasi - inverse @xmath50 of @xmath35 is in @xmath156 , and @xmath35 is an asymptotic quasi - inverse of @xmath50 .
[ prop : invertible_means_surjectivity ] let @xmath4 and @xmath33 be metric spaces . then , @xmath157 .
let @xmath155 .
let @xmath50 be an asymptotic quasi - inverse of @xmath35 .
let @xmath118 be a sequence in @xmath33 .
set @xmath158 . since @xmath152 is close to the identity mapping on @xmath33 at infinity , @xmath159 which implies @xmath133 .
[ prop : composition ] for @xmath160 and @xmath161 , we have @xmath162 .
let @xmath127 be an asymptotic quasi - inverse of @xmath126 for @xmath128 .
let @xmath163 and @xmath164 be sequences in @xmath111 .
suppose that @xmath165 .
let @xmath166 for @xmath128 . since @xmath167 is close to the identity mapping on @xmath33 , @xmath168 since @xmath169 is asymptotically surjective , @xmath170 from proposition [ prop : quasi - surjective_asymptotic ] .
therefore , @xmath171 and @xmath172 are asymptotic .
since @xmath41 is asymptotically surjective again , we have @xmath173 since @xmath174 is asymptotically close to the identity mapping on @xmath111 at infinity .
therefore , @xmath175 which means that @xmath176 is close to the the identity mapping on @xmath111 at infinity . by the same argument
, we can see that @xmath177 is close to the identity mapping on @xmath4 .
therefore , @xmath178 is an asymptotic quasi - inverse of @xmath129 and @xmath162 .
[ prop : relation_closeness_at_infinity ] let @xmath144 .
suppose that @xmath41 and @xmath42 are close at infinity . if @xmath179 , so is @xmath42 .
in particular , in this case , any asymptotic quasi - inverse of @xmath41 is one of @xmath42 .
let @xmath169 be an asymptotic quasi - inverse of @xmath41 .
let @xmath43 and @xmath44 be sequences in @xmath4 .
suppose that @xmath43 and @xmath44 are asymptotic .
since @xmath41 and @xmath42 are close at infinity , @xmath180 since @xmath42 is asymptotically surjective , by proposition [ prop : quasi - surjective_asymptotic ] , we have @xmath181    let @xmath182 and @xmath183 be sequences in @xmath33 .
suppose that @xmath182 and @xmath183 are asymptotic .
since @xmath169 is asymptotically surjective again , @xmath184 since @xmath41 and @xmath42 are close at infinity , we deduce @xmath185 from and , we conclude that @xmath169 is an asymptotic quasi - inverse of @xmath42 , and @xmath161 .
the following theorem follows from propositions [ prop : properties_quasimorphisms ] and [ prop : composition ] .
[ thm : properties_quasimorphisms_identity ] @xmath186 admits a canonical monoid structure with respect to the composition of mappings .
the identity element of @xmath186 is the identity mapping on @xmath4 .
in addition , @xmath51 is a submonoid of @xmath186 .
let @xmath187 be a semigroup .
semigroup congruence _ is an equivalent relation @xmath188 on @xmath187 with the property that for @xmath189 , @xmath190 and @xmath191 imply @xmath192 .
then , the congruence classes @xmath193\mid g\in g\}\ ] ] is also a semigroup with the product @xmath194[g_2]=[g_1g_2]$ ] .
we call @xmath195 the _ quotient semigroup _ of @xmath187 with the semigroup congruence @xmath188 .
we define a relation on @xmath51 by using closeness at infinity .
namely , for two @xmath41 and @xmath196 , @xmath41 is equivalent to @xmath42 if @xmath41 is close to @xmath42 at infinity . from propositions
[ prop : gp_close_equivalence_relation ] and [ prop : invertible_means_surjectivity ] , this relation is an equivalent relation on @xmath51 . from proposition [ prop : properties_quasimorphisms_close ] , this relation is a subgroup congruence on @xmath51 .
we denote the quotient semigroup by @xmath52 . from the definition of asymptotic quasi - inverses and proposition [ prop : relation_closeness_at_infinity ] , we have the following .    [ thm : quotient_semigroup ]
let @xmath4 be a metric space .
then , the quotient semigroup @xmath52 is a group .
the identity element of @xmath52 is the congruence class of the identity mapping , and the inverse of the congruence class @xmath197 $ ] of @xmath198 is the congruence class of an asymptotic quasi - inverse of @xmath35 .
let @xmath4 and @xmath33 be metric spaces .
consider @xmath150 and @xmath151 .
if @xmath50 is an asymptotic quasi - inverse of @xmath35 , the mapping @xmath199 induces an isomorphism @xmath200\mapsto [ \omega\circ f\circ \omega ' ] \in { \mathfrak{ac}}(y).\ ] ]      ( 1)an asymptotically conservative mapping need not be a quasi - isometry .
indeed , let @xmath201 with @xmath202 .
let @xmath203 be the reference point .
then , any increasing function @xmath204 with @xmath205 is asymptotically conservative .
furthermore , as we will see in theorem [ thm : gromov_hyperbolic_ac ] in  [ subsec : asymptotically_conservative_hyperbolic ] , when @xmath4 and @xmath33 are gromov hyperbolic , if a mapping @xmath34 is extendable to their gromov boundaries and the extension is injective , @xmath35 is asymptotically conservative .
hence , one can easily find an asymptotically conservative mapping which is not a quasi - isometry .
( 2)meanwhile , little is known as to when quasi - isometries become asymptotically conservative .
for instance , any rough homothety is asymptotically conservative ( cf . ) .
actually , it follows from the following fact that any rough homothety @xmath35 satisfies @xmath206 for some @xmath207 .
( 3)asymptotically conservative mappings are stable with respect to _ paralleism _ , where two mappings @xmath208 between metric spaces are said to be _ parallel _ if and only if @xmath209 ( cf .
 1.a in @xcite ) .
if a mapping @xmath34 is parallel to an asymptotically conservative mapping @xmath210 , then @xmath35 is also asymptotically conservative .
indeed , let @xmath211 .
let @xmath212 ( @xmath128 ) be sequences in @xmath4 with @xmath213 . since @xmath214 as @xmath6
, we have @xmath215 and hence @xmath216 ( cf . ) .
suppose that @xmath85 and @xmath217 are sequences with @xmath107 .
then , @xmath218 and @xmath219 . since @xmath220 is asymptotically conservative , @xmath88 .
( 4)a typical example of asymptotically surjective mappings is a quasi - surjective mapping . here
, a mapping @xmath34 from between metric spaces is said to be _ quasi - surjective _ if there is a constant @xmath221 such that for any @xmath222 , there is an @xmath223 with @xmath224 .
indeed , let @xmath225 be a convergent sequence in @xmath33 at infinity .
take @xmath226 such that @xmath227 .
then , for @xmath228 , @xmath229 as @xmath6 and @xmath230 ( cf . ) .
therefore , we obtain @xmath231 . by applying the same argument , we get @xmath232 .
thus , @xmath35 is asymptotically surjective .
( 5)similarly , a typical example of asymptotic quasi - inverses is a quasi - inverse . here , for a mapping @xmath34
, a mapping @xmath47 is said to be a _
quasi - inverse _ ( in the coarse geometry ) if there is a constant @xmath233 such that @xmath234 indeed , let @xmath43 and @xmath44 be sequences with @xmath45 .
let @xmath235 ( @xmath236 ) .
then , @xmath237 as @xmath6 , where @xmath238 ( cf . )
. hence , @xmath239 . by applying the same argument
, we deduce that @xmath240 .
thus , @xmath48 is close to the identity mapping on @xmath4 .
similarly , we can see that @xmath152 is close to the identity mapping on @xmath33 .
hence , @xmath50 is an asymptotic quasi - inverse of @xmath35 .
gromov hyperbolic spaces are an important class of metric spaces , and they are applied in various fields in mathematics . in this section , we shall study the asymptotic geometry of asymptotically conservative mappings on gromov hyperbolic spaces , and give a characterization of the mappings in terms of boundary values .
let @xmath241 be a metric space .
fix a reference point @xmath80 .
we say that @xmath4 is _
gromov @xmath242-hyperbolic _ if @xmath243 for any @xmath244 .
if a metric space is gromov @xmath242-hyperbolic for some @xmath245 , we call the metric space _ gromov hyperbolic_.    two convergent sequences at infinity are said to be _ equivalent _ if they are visually indistinguishable from each other ( cf .
chapter 4 of @xcite and  3.4 of @xcite ) . from , when @xmath4 is gromov hyperbolic , the relation  visually indistinguishable " is an equivalent relation on the set of convergent sequences at infinity ( cf .
 2.2 in @xcite ) . in other words , for any convergent sequences @xmath43 and @xmath44 at infinity , if @xmath246 , then @xmath45 .
namely , for convergent sequences @xmath43 and @xmath44 at infinity , the following are equivalent :    1 .
@xmath43 and @xmath44 are equivalent ; 2 .   @xmath45 ; 3 .
@xmath246 .
the set @xmath7 of equivalence classes of convergent sequences at infinity is called the _ gromov boundary _ of @xmath4 .
let @xmath4 and @xmath33 be gromov hyperbolic metric spaces .
a mapping @xmath34 is said to be _
extendable _ if there is a mapping @xmath247 such that for any @xmath248 and any sequence @xmath36 in @xmath4 representing @xmath249 , @xmath110 converges at infinity and represents @xmath250 .
we call @xmath251 the _ extension _ of @xmath35 .
[ thm : gromov_hyperbolic_ac ] let @xmath4 and @xmath33 be gromov hyperbolic spaces .
let @xmath34 be a mapping .
then , @xmath35 is in @xmath108 if and only if @xmath35 is extendable and the extension is injective .
suppose @xmath150 .
let @xmath248 .
let @xmath85 be a representative of @xmath249 . from remark [ remark:1 ]
, @xmath110 also converges at infinity .
we define @xmath247 by assigning the equivalence class @xmath249 of @xmath36 to the equivalence class @xmath250 of @xmath110 . since @xmath35 is asymptotically conservative , the equivalence class @xmath250 is determined independently of the choice of sequences @xmath36 . hence , the extension @xmath251 is well - defined .
let @xmath252 with @xmath253 .
for @xmath128 , let @xmath254 be a representative of @xmath255 .
since @xmath256 , we have @xmath257 because @xmath35 is asymptotically conservative again . since @xmath4 is gromov hyperbolic , @xmath258 and @xmath259 .
this implies that the extension @xmath251 is injective .
suppose that @xmath35 admits an injective extension @xmath251 to @xmath7 .
let @xmath248 and @xmath36 be a representative of @xmath249 . since @xmath35 is extendable , @xmath110 converges at infinity and represents @xmath250 .
let @xmath88 .
from the definition of the gromov boundary , @xmath93 also represents @xmath249 . therefore , by the definition of extensions , we have @xmath260 , and @xmath261 since @xmath262 and @xmath110 represent the same boundary point in @xmath263 . therefore , @xmath264 let @xmath93 be a convergent sequence at infinity .
let @xmath265 be the equivalence class of @xmath93 .
suppose @xmath107 .
this means that @xmath266 and @xmath267 . since @xmath251 is injective , we have @xmath268 and @xmath269 hence , @xmath35 is asymptotically conservative .
[ prop : gromov_hyperbolic_asymptotic_surjective ] let @xmath34 be a mapping . then , @xmath133 if and only if @xmath35 is extendable and the extension is bijective .
suppose @xmath133 . from theorem [ thm :
gromov_hyperbolic_ac ] , @xmath35 admits an injective extension @xmath270 .
let @xmath271 and @xmath272 be a sequence which represents @xmath273 . since @xmath35 is asymptotically surjective , there is a sequence @xmath93 in @xmath4 such that @xmath274 .
let @xmath249 be the equivalence class of @xmath93 .
then , the condition @xmath274 implies that @xmath275 .
hence @xmath251 is surjective .
suppose @xmath35 admits a bijective extension @xmath247 . from theorem [ thm : gromov_hyperbolic_ac ] again , @xmath35 is asymptotically conservative .
let @xmath272 be a convergent sequence in @xmath33 at infinity .
let @xmath273 be the equivalence class of @xmath272 .
since @xmath251 is surjective , there is @xmath248 such that @xmath275 .
let @xmath93 be a sequence representing @xmath249 .
the condition @xmath275 implies that @xmath274 .
hence , @xmath35 is asymptotically surjective .
[ prop : closeness_on_hyperbolic_space ] let @xmath4 and @xmath33 be gromov hyperbolic spaces . for @xmath276 , @xmath41 is close to @xmath42 at infinity if and only if their extensions coincide .
suppose that @xmath41 and @xmath42 are close at infinity .
for @xmath128 , let @xmath277 be the extension of @xmath126 .
let @xmath248 and @xmath36 a sequence representing @xmath249 .
since @xmath41 and @xmath42 are close at infinity , from , @xmath278 .
this means that @xmath279 .
conversely , suppose that @xmath280 on @xmath7 .
let @xmath43 and @xmath44 be sequences with @xmath45 .
this means that they represent the same boundary point , say @xmath248 . from the assumption @xmath279 .
since @xmath281 is a representative of @xmath282 for @xmath128 , we deduce that @xmath121 is equivalent to @xmath122 , and hence , @xmath283 since @xmath33 is gromov hyperbolic .
thus , we conclude that @xmath41 is close to @xmath42 at infinity .
let @xmath4 be a gromov hyperbolic space .
let @xmath284 .
we define the gromov product between @xmath249 and @xmath273 by @xmath285 where the infimum is taken over all sequences @xmath286 and @xmath287 .
notice that the gromov product takes values in @xmath288 $ ] , that @xmath289 if and only if @xmath268 .
we also define the gromov product between @xmath223 and @xmath248 by @xmath290 where the infimum is taken over all sequences @xmath286 .
one can show that when @xmath4 is gromov @xmath242-hyperbolic , @xmath291 for all @xmath292 ( cf .
 2.2.1 in @xcite ) .
the gromov boundary admits a _ visual metric _
@xmath293 with the following property : for any @xmath80 , there is @xmath294 such that for @xmath295 , there exist a distance @xmath293 on @xmath7 and positive constants @xmath296 such that @xmath297 for @xmath284 ( cf .
theorem 2.2.7 in @xcite ) .
we call a gromov hyperbolic space @xmath4 _ boundary continuous _ if the gromov product is continuous on @xmath298 in the sense that for any @xmath299 and sequences @xmath286 and @xmath287 in @xmath4 , @xmath300 as @xmath301 for every @xmath80 ( cf .
 3.4.2 in @xcite ) .
it is known that every proper @xmath302-space is a boundary continuous gromov hyperbolic space ( cf .
proposition 3.4.2 in @xcite ) .
[ prop : ac_boundarycontinuous ] let @xmath4 and @xmath33 be boundary continuous gromov hyperbolic spaces .
let @xmath34 be a mapping .
then , @xmath150 if and only if @xmath35 is extendable and the extension @xmath251 is a continuous injection .
suppose @xmath4 and @xmath33 are @xmath242-hyperbolic . from theorem [ thm : gromov_hyperbolic_ac ] ,
a mapping @xmath34 is in @xmath108 if and only if @xmath35 is extendable and the extension @xmath251 is injective .
hence , it suffices to check only that the extension @xmath251 of @xmath150 is continuous .
let @xmath248 .
let @xmath303 be a convergent sequence to @xmath249 .
let @xmath304 be a sequence representing @xmath305 .
since @xmath4 and @xmath33 are boundary continuous , for any @xmath306 there is an @xmath307 such that when @xmath308 , @xmath309 let @xmath310 . from , @xmath311 since @xmath312 , by , @xmath313
therefore , from and , we see that @xmath314 represents @xmath249 .
since @xmath251 is the extension of @xmath35 , @xmath315 represents @xmath250 . from , @xmath316 by , we get @xmath317 and hence @xmath318 converges to @xmath250 from . thus , we conclude that the extension @xmath251 is continuous .
let @xmath319 be the set of self - mappings @xmath35 of @xmath4 with the following properties :    1 .
@xmath35 is extendable and the extension @xmath251 is bijective ; 2 .
the inverse @xmath251 on @xmath7 is also the extension of a mapping of @xmath4 .
notice from proposition [ prop : gromov_hyperbolic_asymptotic_surjective ] that @xmath319 is canonically identified with @xmath51 .
we consider the @xmath319 as a monoid .
we define an equivalent relation on @xmath319 as follows : we say that two @xmath320 are equivalent if their extensions @xmath321 and @xmath322 satisfy @xmath280 on @xmath7 . from the definition , this equivalent relation is a semigroup congruence .
hence , the quotient semigroup @xmath323 is a semigroup . from proposition [ prop : closeness_on_hyperbolic_space ] , we conclude the following characterization .
[ thm : acgroup_hyperbolic_group ] let @xmath4 be a gromov hyperbolic space . then the group @xmath52 is canonically isomorphic to @xmath323 .
namely , the identification @xmath324 induces an isomorphism @xmath325 .
[ [ boundary - continuous - hyperbolic - spaces ] ] * boundary continuous hyperbolic spaces * + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +    suppose @xmath4 is a boundary continuous gromov hyperbolic space .
let @xmath326 be the set of self - mappings @xmath35 of @xmath4 with the following properties :    1 .
@xmath35 is extendable and the extension @xmath251 is a homeomorphism ; 2 .
the inverse @xmath251 on @xmath7 is also the extension of a mapping of @xmath4 .
notice from propositions [ prop : gromov_hyperbolic_asymptotic_surjective ] and [ prop : ac_boundarycontinuous ] that @xmath326 is canonically identified with @xmath51 .
we define @xmath327 as above .
[ thm : acgroup_hyperbolic_group_boundary_continuous ] let @xmath4 be a boundary continuous gromov hyperbolic space . then the group @xmath52 is canonically isomorphic to @xmath327 .
namely , the identification @xmath328 induces an isomorphism @xmath329 .
in this section , we recall basics in the teichmller theory . for details on the contents of this section , the reader can refer to @xcite , @xcite , @xcite and @xcite .
let @xmath54 be a compact orientable surface .
we denote the _ complexity _ of @xmath54 by @xmath330 the euler characteristic of @xmath54 is denoted by @xmath331 . throughout this paper
, we always assume that @xmath332 .
the _ teichmller space _
@xmath333 of @xmath54 is the set of equivalence classes of marked riemann surfaces @xmath334 where @xmath33 is a riemann surface of analytically finite type and @xmath335 is an orientation preserving homeomorphism .
two marked riemann surfaces @xmath336 and @xmath337 are _ teichmller equivalent _ if there is a conformal mapping @xmath338 which is homotopic to @xmath339 .
teichmller space @xmath55 has a canonical complete distance , called the _
teichmller distance @xmath340 _ , and defined by the equation in  [ subsubsec : analytic_aspect ] .
it is known that the teichmller space @xmath333 of @xmath54 is homeomorphic to @xmath341 .    throughout this paper
, we fix a conformal structure @xmath4 on @xmath54 and consider @xmath30 as the base point of the teichmller space @xmath55 of @xmath54 .      for the details about the contents in this section , see for instance @xcite and @xcite .
let @xmath342 be the set of homotopy classes of non - trivial and non - peripheral simple closed curves on @xmath54 .
consider the set of weighted simple close curves @xmath343 , where @xmath344 is the formal product between @xmath345 and @xmath346 .
we embed @xmath347 into the space @xmath348 of non - negative functions on @xmath342 by @xmath349\in { \mathbb{r}_{+}^{\mathcal{s}}}\ ] ] where @xmath350 is the geometric intersection number on @xmath342 .
we topologize @xmath348 with the topology of pointwise convergence .
the closure @xmath351 of the image of the mapping is called the _ space of measured foliations _ on @xmath54 . the space @xmath348 admits a canonical action of @xmath352 by multiplication .
this action leaves @xmath351 invariant .
the quotient space @xmath353 is said to be the _ space of projective measured foliations_. by definition , @xmath351 contains @xmath347 as a dense subset . the intersection number function on @xmath347 defined by @xmath354 extends continuously on @xmath355 .
it is known that @xmath351 and @xmath356 are homeomorphic to @xmath341 and @xmath357 , respectively .
[ [ normal - forms ] ] * normal forms * + + + + + + + + + + + + + +    any @xmath358 is represented by a pair @xmath359 of a singular foliation @xmath360 and a transverse measure @xmath361 to @xmath360 .
the intersection number @xmath362 , @xmath346 , is obtained as @xmath363 the _ support _ of a measured foliation is , by definition , the minimal essential subsurface containing the underlying foliation .
a measured foliation is said to be _ arational _ if it intersects any non - trivial and non - peripheral simple closed curve in its support .    according to the structure of the underlying foliation of @xmath187 , any @xmath358 has the _ normal form _ :
any measured foliation @xmath358 is decomposed as @xmath364 where @xmath365 is an arational foliation in its support @xmath366 , @xmath367 and @xmath368 are simple closed curves such that each @xmath367 can not be deformed into any @xmath366 and @xmath368 is homotopic to a component of @xmath369 for some @xmath370 ( cf .
 2.4 of @xcite ) . in this paper
, we call @xmath365 , @xmath367 and @xmath368 an _ arational component _ , an _ essential curve _ , and a _ peripheral curve _ of @xmath187 respectively .    [ [ null - sets ] ] * null sets * + + + + + + + + + + +    for a measured foliation @xmath187 , we denote by @xmath371 the measured foliation defined from @xmath187 by deleting the foliated annuli associated to the peripheral curves in @xmath187
. the following might be well - known .
however , we give a proof of the proposition for completeness : in the following proposition , we define the null set of @xmath187 by @xmath372 notice that this definition coincides with the definition of null sets in the general situation given in later ( cf .
[ subset : associated_foliation ] ) .
[ prop : measured_foliation_removing_peripehral ] let @xmath373 .
then , the following are equivalent .    * @xmath374 . *
@xmath371 is topologically equivalent to @xmath375 .
suppose ( 1 ) holds .
we decompose @xmath187 as : @xmath376 since @xmath377 , the decomposition of @xmath378 is represented as @xmath379 where @xmath380 is either topologically equivalent to @xmath365 or is @xmath381 , @xmath382 and the support of @xmath383 is contained in the complement of the support of @xmath187 . in the summation @xmath384 in
, @xmath385 rums over all component of @xmath369 .
see proposition 3.2 of ivanov @xcite or lemma 3.1 of papadopoulos @xcite .
indeed , ivanov in @xcite works under the assumption that each @xmath365 is a stable lamination for some pseudo - anosov mapping on @xmath366 .
however , we can easily check that his discussion in the proof of the proposition can be applied to our case .
if @xmath386 , there is an @xmath387 with @xmath388 but @xmath389 .
since @xmath390 from the assumption , this is a contradiction . hence @xmath391
suppose @xmath392 for some @xmath370 .
since @xmath393 is essential , we can find an @xmath346 such that @xmath394 .
such an @xmath395 satisfies @xmath396 , which is a contradiction . with the same argument
, we can see that @xmath397 .
thus , @xmath398 are topologically equivalent .
suppose ( 2 ) holds .
let @xmath399 .
consider the decomposition for @xmath400 instead of @xmath378 , one can easily deduce that @xmath401 .
let @xmath4 be a riemann surface and let @xmath402 be a doubly connected domain on @xmath4 .
if @xmath402 is conformally equivalent to a round annulus @xmath403 , we define the _ modulus _ of @xmath402 by @xmath404 _ extremal length _ of a simple closed curve @xmath395 on @xmath4 is defined by @xmath405 the extremal length has various definitions ( cf .
@xcite and @xcite ) .
definition is called the _ geometric definition_. in @xcite , kerckhoff showed that if we define the extremal length of @xmath406 by @xmath407 then the extremal length function @xmath408 on @xmath347 extends continuously to @xmath351 .
for @xmath409 and @xmath358 , we define @xmath410 we define the _ unit sphere _ in @xmath351 by @xmath411 the projection @xmath412 induces a homeomorphism @xmath413 .    it is known that for any @xmath358 and @xmath409 , there is a unique holomorphic quadratic differential @xmath414 such that @xmath415 namely , the _ vertical foliation _ of @xmath414 is equal to @xmath187 .
we call @xmath414 the _ hubbard - masur differential _ for @xmath187 on @xmath416 ( cf
. @xcite ) . the hubbard - masur differential @xmath417 for @xmath187 on @xmath418 satisfies @xmath419 in particular
, it is known that @xmath420 where @xmath421 is the length of the geodesic representative homotopic to @xmath422 with respect to the singular flat metric @xmath423 .
[ [ kerckhoffs - formula ] ] * kerckhoff s formula * + + + + + + + + + + + + + + + + + + + + +    as we noted in
[ subsec : background_motivation ] , the teichmller distance @xmath340 is expressed by extremal length , which we call _ kerckhoff s formula _ : @xmath424 ( see @xcite ) . since @xmath356 is compact , for any @xmath425 , there are @xmath426 such that @xmath427 in fact , such @xmath400 and @xmath187 are unique up to multiplying by positive constants , and are realized as the horizontal and vertical foliations of a holomorphic quadratic differential which defines a teichmller geodesic connecting @xmath428 and @xmath429 ( cf . @xcite and  [ subsec : teichmuller_rays ] ) .
[ [ minskys - inequality ] ] * minsky s inequality * + + + + + + + + + + + + + + + + + + + + +    minsky @xcite observed the following inequality , which we recently call _ minsky s inequality _ : @xmath430 for @xmath431 and @xmath426 .
minsky s inequality is sharp in the sense that for any @xmath431 and @xmath432 , there is a unique @xmath358 up to multiplication by a positive constant such that @xmath433 ( cf .
@xcite ) .
let @xmath434 and @xmath435\in \mathcal{pmf}$ ] . by the ahlfors - bers theorem , we can define an isometric embedding @xmath436 with respect to the teichmller distance by assigning the solution of the beltrami equation defined by the teichmller beltrami differential @xmath437 for @xmath345 .
we call @xmath438 the _ teichmller ( geodesic ) ray _ associated to @xmath435\in \mathcal{pmf}$ ] .
notice that the differential depends only on the projective class of @xmath187 . combining teichmller s theorem and the height theorem for holomorphic quadratic differentials ( cf .
@xcite ) , we obtain the _ exponential map _
@xmath439,t ) \mapsto r_{g , t}(t)\in { \mathcal{t}}\ ] ] which is a homeomorphism ( see also @xcite ) .
in this section , we recall a natural compactification of teichmller space @xmath55 in terms of extremal length geometry , which is called the _ gardiner - masur closure _ or the _ gardiner - masur compactification_. we will also recall the unification of extremal length geometry via intersection number . our unification gives a link between the gromov product on @xmath440 and intersection number on @xmath351 .
the thurston theory with respect to the geometry of teichmller space ( with hyperbolic geometry ) is developed with the measured foliations and the intersection number function .
the unification allows us to discuss the thurston theory of the geometry of teichmller space with extremal length .
let @xmath441 for @xmath431 .
we define a continuous function @xmath442 on @xmath351 by @xmath443 for @xmath432 .
consider a mapping @xmath444 \in { \mathbb{r}_{+}^{\mathcal{s}}}\\ \psi_{gm}&\colon { \mathcal{t}}\ni y\mapsto [ \mathcal{s}\ni \alpha\mapsto \mathcal{e}_y(\alpha ) ] \in { \mathbb{r}_{+}^{\mathcal{s}}}.\end{aligned}\ ] ] as we noticed in
[ subsec : measured_foliations ] , the space @xmath348 is topologized with pointwise convergence and it has a natural action by multiplication by positive constants .
let @xmath445 be the quotient mapping of the action .
in @xcite , gardiner and masur showed that the mapping @xmath446 is an embedding with compact closure .
the closure @xmath447 of the image is called the _ gardiner - masur closure _ or the _ gardiner - masur compactification _ , and the complement @xmath448 is called the _ gardiner - masur boundary_. they also observed that the space @xmath356 of projective measured foliaitons is contained in @xmath449 .    in @xcite and @xcite , the author observed that for any @xmath450 , there is a unique non - negative continuous function @xmath451 on @xmath351 such that    * the assignment @xmath452 represents @xmath249 ; * @xmath453 ; * for any sequence @xmath454 with @xmath455
, @xmath456 converges to @xmath451 uniformly on any compact set of @xmath351 .
we define @xmath457 since @xmath458 , the space of @xmath351 of measured foliations is contained in @xmath459 and @xmath460 . in @xcite , the author established the following _ unification _ of extremal length geometry via the intersection number .
[ thm : main_realization ] let @xmath461 be the base point taken as above .
there is a unique continuous function @xmath462 with the following properties .
* @xmath463 and @xmath464 for any @xmath450 , @xmath431 and @xmath432 . in particular ,
the projective class of the function @xmath465 is exactly the image of @xmath431 under the gardiner - masur embedding . * for @xmath466 , @xmath467 . * for @xmath466 and @xmath468 , @xmath469 .
* for any @xmath470 , @xmath471 * for @xmath472 , the value @xmath473 is equal to the geometric intersection number @xmath474 between @xmath400 and @xmath187 .
we define the _ extremal length _ of @xmath475 on @xmath431 by @xmath476 ( cf . corollary 3 in @xcite ) . by applying minsky s inequality and gardiner - masur s work in @xcite , coincides with the original extremal length when @xmath477 .
we can see that @xmath478 is continuous on @xmath460 and satsfies @xmath479 for @xmath470 and @xmath475 ( cf .
theorem 4 and proposition 7 in @xcite ) .
the extremal length also satisfies the following _ generalized minsky inequality _ : @xmath480 for all @xmath431 and @xmath466 ( cf . corollary 4 of  8 in @xcite ) .
the intersection number has the following _ subadditive property_.    [ lem : subadditivity ] let @xmath472 with @xmath481 .
then , for any @xmath475 we have @xmath482    let @xmath431 .
then , we have @xmath483 hence , @xmath484 for @xmath485 . hence , the right - hand side of follows from the density of @xmath486 in @xmath460 .
we prove the left - hand side of .
we first show the case where @xmath400 and @xmath187 are rational .
let @xmath487 and @xmath488 where @xmath489 are mutually disjoint and distinct simple closed curves and @xmath490 and @xmath491 .
let @xmath431 and @xmath492 , @xmath493 @xmath494 be the characteristic annuli for @xmath495 , @xmath393 and @xmath496 of @xmath497 , where the _ characteristic annulus _ for @xmath346 is the maximal annulus foliated by closed trajectories homotopic to @xmath395 . from the geometric definition of extremal length , we have @xmath498 where is obtained from the extremality of the @xmath499-norm of the jenkins - strebel differentials ( cf .
theorem 20.5 in @xcite ) .
since @xmath486 is dense in @xmath460 , the above calculation implies @xmath500 for all @xmath475 .
hence , the left - hand side of also follows from the density of the set of weighted multicurves in @xmath351 .
recall that the embedding @xmath501 of @xmath447 into @xmath460 depends on the base point @xmath0 ( cf .
 [ subsec : gm_closure ] ) .
we define the _ intersection number with base point @xmath0 _ by @xmath502 for @xmath503 ( cf .
 8.2 in @xcite ) . since the intersection number is continuous ,
so is @xmath504 on the product @xmath505 . in particular
, we can see that @xmath506,[h])=\frac{i(g , h)}{{{\rm ext}}_{x_0}(g)^{1/2}{{\rm ext}}_{x_0}(h)^{1/2}}\ ] ] for @xmath435,[h]\in \mathcal{pmf}\subset \partial_{gm}{\mathcal{t}}$ ] .
the intersection number in the right - hand side of is the original intersection number on the space of measured foliations , as noticed in ( v ) of theorem [ thm : main_realization ] .    from theorem [ thm : main_realization ] ,
teichmller space @xmath55 is _ boundary continuous _ in the sense that the gromov product @xmath507 on @xmath508 extends continuously to @xmath505 with values in the closed interval @xmath288 $ ] ( cf .
corollary 1 in @xcite ) .
we check that the relation  visually indistinguishable " is not an equivalent relation on teichmller space when @xmath509 .
this also implies that teichmller space @xmath440 is not gromov hyperbolic as remarked in
[ subsec : background_motivation ] .
indeed , let @xmath510 with @xmath511 , but @xmath512 .
consider sequences @xmath85 , @xmath225 and @xmath217 in @xmath55 with @xmath513 $ ] , @xmath514 $ ] and @xmath515 $ ] in @xmath447 , where the projective classes @xmath516 $ ] , @xmath517 $ ] and @xmath518 $ ] are recognized as points in @xmath449 .
then , @xmath519 , [ \beta])=0 \\ i_{x_0}(x_n , z_n ) & \to i_{x_0}([\alpha ] , [ \gamma])=0,\end{aligned}\ ] ] but @xmath520 , [ \gamma])\ne 0.\ ] ] from , these observations imply that @xmath521 but @xmath522 .
we define the _ null set _ for @xmath523 by @xmath524 in this section , we will show the following .
[ thm : null_set ] for any @xmath525 , there is @xmath526 with @xmath527 .
the precise statement is given in
[ subsec : proof_of_theorem_null_sets ] .
indeed , we will see that measured foliations satisfying the statement in theorem [ thm : null_set ] are essentially unique . the following is known .
[ prop : translation_null_space1 ] for @xmath528 , @xmath529 if and only if @xmath530 . in any case , @xmath531 .
let @xmath525 .
the projective class @xmath435\in \mathcal{pmf}$ ] is said to be an _ associated foliation _ for @xmath532 if there exist @xmath533 , a sequence @xmath534\in \mathcal{pmf}$ ] and @xmath535 such that @xmath536 and @xmath534\to [ g]$ ] as @xmath537 .
we call the point @xmath538 the _ base point _ for the associated foliation @xmath435 $ ] .
we denote by @xmath539 the set of associated foliations for @xmath532 .
we define @xmath540 the set coincides with the set defined as when @xmath477 .
[ lem : self - intersection ] the following hold :    * @xmath541\in \mathcal{af}(\mathfrak{a})\}\subset { \mathcal{n}_{m\!f}}(\mathfrak{a})$ ] . * for @xmath435\in \mathcal{af}(\mathfrak{a})$ ] , we have @xmath542 and @xmath543 .
( 1)let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
take @xmath533 , @xmath544\}_{n\in \mathbb{n}}\subset\mathcal{pmf}$ ] , and @xmath535 such that @xmath536 and @xmath545 as @xmath537 .
since the projection @xmath546 is continuous , from proposition 1 in @xcite , we can see that @xmath547 converges to @xmath548 which is projectively equivalent to @xmath532 .
therefore @xmath549 and @xmath550 .
( 2)let @xmath551 .
take @xmath533 , @xmath544\}_{n\in \mathbb{n}}\subset\mathcal{pmf}$ ] , @xmath535 , and @xmath552 as above . from generalized minsky s inequality
, we have @xmath553 and @xmath554 . from the definition , @xmath555 and we are done .
we define for @xmath528 , @xmath556\in \mathcal{af}(\mathfrak{a})}{\mathcal{n}_{m\!f}}(g ) \subset \mathcal{mf}. \ ] ] from ( 2 ) of lemma [ lem : self - intersection ] , we obtain @xmath557\in \mathcal{af}(\mathfrak{a})}{\mathcal{n}_{m\!f}}(g ) \subset \mathcal{an}(\mathfrak{a}).\ ] ] the following proposition implies that the converse holds for simple closed curves .
[ prop : vanish - intersection ] @xmath558 for all @xmath528 .
let @xmath559 .
let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] with @xmath388 .
then , there are @xmath533 , a sequence @xmath544\}_{n\in \mathbb{n}}$ ] converging to @xmath435 $ ] and @xmath535 such that @xmath560 tends to @xmath561 as @xmath537 .
let @xmath562 .    here , we refer to the argument in theorem 3.1 of @xcite ( see also @xcite ) .
let @xmath563 be the critical vertical graph of the holomorphic quadratic differential of @xmath564 .
we add mutually disjoint critical vertical segments to @xmath563 emanating from critical points to get a graph @xmath565 whose edges are all vertical .
the degree of a vertex @xmath565 is one - prong if it is one of endpoints of an added vertical segment .
take @xmath566 sufficiently small such that the @xmath567-neighborhood @xmath568 ( with respect to the @xmath569-metric ) is embedded in @xmath4 . then , as the argument in the proof of theorem 3.1 in @xcite , by shrinking with a factor @xmath570 , we get a canonical conformal embedding @xmath571 such that @xmath572 . since @xmath573 , @xmath395 can be deformed into @xmath568 .
hence , by from the geometric definition of extremal length , the conformal embedding @xmath571 induces @xmath574 for some @xmath575 independent of @xmath576 .
let @xmath566 .
take @xmath577 such that @xmath578 .
since @xmath534\to [ g]$ ] , by , there exists an @xmath579 such that @xmath580 and @xmath581 for @xmath582 .
it has shown from lemma 1 of @xcite that a function @xmath583 is a non - increasing function for any @xmath432 .
hence , we have @xmath584 since @xmath585 , @xmath547 converges to @xmath548 which is projectively equivalent to @xmath532 .
therefore , we get @xmath586 and hence @xmath587 .
this means that @xmath588 .
[ coro : charcterization_vanishing_curves ] let @xmath528 . for any @xmath435\in \mathcal{af}(\mathfrak{a})$ ] , we have @xmath589 in particular , for @xmath435\in \mathcal{af}(\mathfrak{a})$ ] , @xmath590 depends only on @xmath532 .
let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] . from ( 2 ) of lemma [ lem : self - intersection ] , and proposition [ prop : vanish - intersection ] , we have @xmath591\in \mathcal{af}(\mathfrak{a})}{\mathcal{n}_{m\!f}}(g))\cap \mathcal{s } = \mathcal{an}(\mathfrak{a})\cap \mathcal{s } \\ & \subset \mathcal{n}(\mathfrak{a})\cap \mathcal{s},\end{aligned}\ ] ] which implies what we wanted .
let @xmath528 .
let @xmath592 be the minimal essential subsurface of @xmath4 which contains all simple closed curve in @xmath593 .
we call @xmath592 the _ vanishing surface _ for @xmath532 . by definition ,
any component @xmath594 of @xmath592 contains a collection of curves in @xmath593 which fills up @xmath594 .
if a component of @xmath592 is an annulus , the core is in @xmath595 . from lemma [ lem : fills_curves ] in appendix ,
if @xmath346 can be deformed into @xmath592 , then @xmath587 ( see also theorem 6.1 of @xcite ) .
it is possible that either @xmath593 or @xmath592 is empty .
let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
we decompose @xmath187 into disjoint measured foliations as in : @xmath596 let @xmath366 be the support of @xmath365 .
we may assume that any two elements of @xmath597 are mutually disjoint .
[ prop : betas ] let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] . for @xmath346 , the following are equivalent .    * @xmath395 is homotopic to a component of @xmath598 .
* @xmath395 is homotopic to either an essential curve or a peripheral curve of @xmath187 .    _
( 1 ) implies ( 2)._we first assume that @xmath395 is homotopic to a component of @xmath598 . since @xmath587 , from corollary [ coro : charcterization_vanishing_curves ] , we have @xmath599 , that is , @xmath573 .
suppose that @xmath395 is non - peripheral in a component @xmath600 of the complement of the support of @xmath187 .
then , there is an @xmath601 which is non - peripheral in @xmath600 satisfying @xmath602 . since @xmath603 , @xmath604 by corollary [ coro : charcterization_vanishing_curves ]
this means that @xmath395 can not be homotopic to a component of @xmath598 because @xmath592 contains a regular neighborhood of @xmath605 .
this contradicts our assumption .
hence , @xmath395 is homotopic to either an essential curve or a component of @xmath369 for some @xmath370 .    _ ( 2 ) implies ( 1)._suppose @xmath395 is homotopic to either an essential curve or a component of @xmath369 for some @xmath370 . since @xmath573 , @xmath606 by corollary [ coro : charcterization_vanishing_curves ]
therefore , @xmath395 can be deformed into the vanishing surface @xmath592 .
suppose to the contrary that @xmath395 is non - peripheral in @xmath592 .
then , there is a non - peripheral curve @xmath242 in a component @xmath592 with @xmath607 . since @xmath608
, we have @xmath609 by corollary [ coro : charcterization_vanishing_curves ] .
if @xmath242 is a component of some @xmath369 , @xmath610 by lemma 2.14 of @xcite
. hence @xmath611 by corollary [ coro : charcterization_vanishing_curves ] again , which contradicts that @xmath612 .
hence , @xmath242 is non - peripheral in a component of the complement of the support of @xmath187 .
therefore , so is @xmath395 , since @xmath607 .
this is also a contradiction .
thus , we get the following decomposition theorem ( cf . figure [ fig : decomposition ] ) .
[ thm : decomposition ] for any @xmath528 , the reference surface @xmath4 is decomposed into a union of closed essential surfaces with mutually disjoint interiors as @xmath613 and each @xmath366 contains an arational foliation @xmath614 filling on @xmath366 for @xmath615 satisfying the following properties : for all @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
* @xmath616 is a subsurface of the vanishing surface @xmath592 defined by deleting annular components whose core is homotopic to an essential curve of @xmath187 . in addition , @xmath616 is independent of the choice of @xmath435\in \mathcal{af}(\mathfrak{a})$ ] . *
each @xmath366 is the support of an arational component @xmath365 of @xmath187 .
in addition , an arational component of @xmath187 which contained in @xmath366 is topologically equivalent to @xmath614 for @xmath615 .
* @xmath617 is a pair of pants with the property that components of @xmath618 are homotopic to among a loop around a puncture of @xmath4 , an essential curve of @xmath187 , or a peripheral curve of @xmath187 .
* @xmath619 is an annulus whose core is homotopic to some essential curve of @xmath187 .
conversely , any essential curve of @xmath187 is the core of some @xmath619 .
in particular , the decomposition is independent of @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
we say that two measured foliations @xmath620 and @xmath621 are _ topologically equivalent _ if the underlying foliations of @xmath620 and @xmath621 are modified by whitehead operations to foliations with trivalent singularities such that the resulting foliations ( without transversal measures ) are isotopic ( cf .
 3.1 of @xcite ) .
let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
we decompose @xmath187 as in .
we first notice the following : let @xmath395 be any non - peripheral curve in @xmath622 . since @xmath395 can not be deformed into @xmath592 , @xmath611 , which implies @xmath623 from corollary [ coro : charcterization_vanishing_curves ] .
let @xmath600 be a component of @xmath622 .
since @xmath592 is essential , @xmath600 can be neither a disc nor a punctured disc whose core is homotopic to a peripheral curve of @xmath4 .
[ [ case-1 . ] ] * case 1 . *
+ + + + + + + +    suppose first that @xmath600 is neither an annulus nor a pair of pants .
then , @xmath600 contains a curve @xmath395 which is non - peripheral in @xmath600 , that is , @xmath395 can not be deformed into @xmath592 . from corollary [ coro : charcterization_vanishing_curves ] , we have @xmath623 .
notice from ( 1 ) of lemma [ lem : self - intersection ] , essential curves and peripheral curves of @xmath187 are deformed into @xmath592 .
hence , @xmath395 must intersect an arational component @xmath365 of @xmath187 .
we check that @xmath624 in the homotopy sense .
we first check @xmath625 . indeed ,
otherwise , there would be a component @xmath385 of @xmath626 which intersects non - trivially to @xmath366 .
this means that @xmath627 and hence @xmath628 from corollary [ coro : charcterization_vanishing_curves ] .
since any component of @xmath629 is either in @xmath595 or homotopic to a cusp of @xmath4 , this is a contradiction .
notice also that any component @xmath385 of @xmath369 is peripheral in @xmath600 , because otherwise @xmath630 , as we checked in the previous paragraph .
thus , we conclude that @xmath631 is a deformation retract .
since any arational foliation is minimal in its support , the topological equivalence of arational components with common support follows from theorem 1.1 in @xcite .
thus , we deduce @xmath632 hence we conclude ( 2 ) .
[ [ case-2 . ] ] * case 2 .
* + + + + + + + + +    let us return to the proof of theorem [ thm : decomposition ] .
if @xmath600 is a pair of pants , since @xmath600 is a component of @xmath622 , any component of @xmath629 is either peripheral in @xmath4 or homotopic to a component of @xmath598 .
therefore , the condition ( 3 ) follows from proposition [ prop : betas ] .
[ [ case-3 . ] ] * case 3 . * + + + + + + + + +    before dealing with the remaining case , we check the following claim , which implies ( 1 ) that @xmath616 is independent of the choice of @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .    [ claim : essential_curves ] essential curves of the associated foliation to @xmath532 are uniquely determined in the sense that for any @xmath633,[g_2]\in \mathcal{af}(\mathfrak{a})$ ] , any essential curve of @xmath634 is a curve of @xmath635 , and vice versa .
let @xmath636 be an essential curve of @xmath634 .
suppose on the contrary that @xmath636 is not an essential curve in @xmath635 .
notice from ( 2 ) of lemma [ lem : self - intersection ] and that arational components of @xmath634 and @xmath635 are topologically equivalent since @xmath637 .
therefore , there is a curve @xmath346 such that @xmath638 but @xmath639 .
namely , such an @xmath395 satisfies @xmath640 but @xmath641 , which is a contradiction since @xmath642 from corollary [ coro : charcterization_vanishing_curves ] .
[ [ case-4 . ] ] * case 4 . * + + + + + + + + +    finally , we deal with ( 4 ) .
suppose that @xmath600 is an annulus . since a component of @xmath629 is a component of @xmath598 , the core @xmath242 of @xmath600 is homotopic to a component of @xmath598 . by proposition [ prop :
betas ] , @xmath242 is either an essential curve or a peripheral curve of @xmath187 .
suppose @xmath242 is a peripheral curve of @xmath187 .
let @xmath643 and @xmath644 be components of @xmath592 with @xmath645 and @xmath646 .
it is possible that @xmath647 when the core of @xmath600 is non - separating in @xmath4 .
however , it is impossible that either @xmath643 or @xmath644 is an annulus . indeed ,
if @xmath643 is an annulus , from the minimality of @xmath592 , @xmath643 is absorbed into @xmath644 , which is a contradiction . since @xmath242 is a peripheral curve of @xmath187 and @xmath643 , @xmath644 and @xmath600 are essential in @xmath4 , from the definition , either @xmath643 or @xmath644 intersects non - trivially the support of an arational component of @xmath187 in the sense that either @xmath648 or @xmath649 contains a non - annular subsurface @xmath650 such that a component of @xmath651 is homotopic to @xmath242 .
however , from corollary [ coro : charcterization_vanishing_curves ] , the support of any arational component of @xmath187 can not contains any vanishing curve , which is a contradiction .
hence , the core @xmath242 of @xmath600 is an essential curve of @xmath187 .
conversely , let @xmath636 be an essential curve of @xmath187 which does not appear as the core of an annular component of @xmath592 .
notice from the definition that @xmath636 can not be homotopic to a component of @xmath369 for any @xmath615 .
proposition [ prop : betas ] asserts that @xmath636 is homotopic to a component of @xmath598 . since any curve intersecting @xmath636
is not contained in @xmath592 and @xmath636 is essential , boundaries of an annulus having @xmath636 as its core should be either a component of @xmath598 or a component of the boundary of some @xmath617 . in either case ,
@xmath636 is the core of an annular component of @xmath622 .    from proposition [ prop : measured_foliation_removing_peripehral ] and theorem [ thm : decomposition ]
, we conclude the following .
[ coro : uniqueness_associate_foliations ] for @xmath633,[g_2]\in \mathcal{af}(\mathfrak{a})$ ] , @xmath652 and @xmath653 are topologically equivalent .
we first check the following .
[ prop : zeros_topologically_equivalent ] let @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
let @xmath432 be a measured foliation which is topologically equivalent to an arational component of @xmath187 .
then , @xmath654 .
take @xmath533 , @xmath534\in \mathcal{pmf}$ ] , and @xmath535 such that @xmath655 and @xmath545 as @xmath537 .
let @xmath656 .
let @xmath657 be the geodesic current associated to the singular flat structure defined as @xmath658 given by duchin , leininger and rafi in @xcite .
suppose on the contrary that @xmath659 .
then , by proposition 4 in @xcite , @xmath660 is a stable sequence in the sense that the set of accumulation points of @xmath661 in the space of geodesic currents is contained in @xmath662 ( as geodesic currents ) .
in addition , any accumulation point @xmath663 satisfies that @xmath664 for some @xmath665 and any @xmath666 ( see proposition 5 in @xcite ) .
let @xmath667 be an arational component of @xmath187 which is topologically equivalent to @xmath400 and @xmath668 be the support of @xmath667 . from , @xmath669 .
hence , if @xmath670 has a component @xmath671 whose support intersects @xmath668 , then @xmath671 is topologically equivalent to @xmath667 ( cf .
this means that @xmath672 , which contradicts to .      in this section
, we deal with an inequality for intersection number between two points in the core @xmath460 .
[ lem : intersection_number ] let @xmath673 and @xmath435\in \mathcal{af}(\mathfrak{a})$ ] and @xmath674\in \mathcal{af}(\mathfrak{b})$ ] .
let @xmath538 and @xmath416 be base points for the associated foliations @xmath435 $ ] and @xmath674 $ ] respectively .
then , there is an @xmath675\in \overline{\mathcal{af}(\mathfrak{a})}$ ] in @xmath356 such that @xmath676 where @xmath677 .    by definition , there are @xmath544\}_{n\in \mathbb{n}}$ ] , @xmath678\}_{n\in \mathbb{n}}\subset \mathcal{pmf}$ ] and @xmath679 such that    * @xmath680,x}(t_n)\to { { \rm proj}}(\mathfrak{a})$ ] and @xmath681,y}(s_n)\to { { \rm proj}}(\mathfrak{b})$ ] as @xmath537 ; * @xmath545 and @xmath682 as @xmath537 .    for simplicity ,
let @xmath683,x}(t_n)$ ] and @xmath684,y}(s_n)$ ] .
since @xmath685 and @xmath686 , we deduce @xmath687 where @xmath688 . from the assumption , @xmath689 and @xmath690 converge @xmath561 and @xmath691 . since @xmath692 @xmath693 and @xmath694 converge to @xmath695 and @xmath696 , respectively .
this implies the left - hand side of the desired inequality .
let @xmath697 , @xmath698 and @xmath699 as above .
take @xmath700 such that @xmath701 .
fix @xmath702 .
let @xmath703 and @xmath704 such that @xmath705 .
notice that @xmath706 then , by taking a subsequence ( or by the diagonal argument ) , we may assume that @xmath707 as @xmath708 for each @xmath709 , and @xmath710 converges to @xmath711 . since @xmath712 , @xmath713 $ ] is an associated foliation for @xmath532 with base point @xmath714 .
therefore , the limit @xmath675 $ ] is contained in the closure of @xmath539 in @xmath356 . from theorem [ thm : main_realization ]
, we deduce @xmath715 since @xmath703 . letting @xmath708 ,
we conclude @xmath716 thus , if @xmath537 in , we have @xmath717 since @xmath718 , we have the assertion .
we are ready to prove theorem [ thm : null_set ] .
indeed , we show the following theorem .
[ thm : associated_foliations_and_null_sets ] let @xmath525 .
then , any @xmath435\in \mathcal{af}(\mathfrak{a})$ ] satisfies @xmath719 .    from lemma [ lem : self - intersection ] , @xmath542 .
hence , we shall show the converse .
we first claim that @xmath720 for @xmath435\in \mathcal{af}(\mathfrak{a})$ ] .
we decompose @xmath187 as : @xmath721    let @xmath722 .
then , @xmath378 can be decomposed as @xmath723 where @xmath382 , @xmath380 is a measured foliation topologically equivalent to @xmath724 ( possibly @xmath725 ) , and @xmath726 is a measured foliation whose support is contained in the complement of the support of @xmath187 ( cf .
@xcite ) . from theorem [ thm :
decomposition ] , the support of @xmath726 is contained in @xmath727 and hence @xmath728 .
since any component of @xmath369 is deformed into @xmath592 , from lemma [ lem : subadditivity ] and proposition [ prop : zeros_topologically_equivalent ] , we have @xmath729 and hence @xmath730 .
the converse follows from lemma [ lem : self - intersection ] .
let @xmath731 and take @xmath732 such that such that @xmath701 as @xmath537 .
let @xmath675\in \overline{\mathcal{af}(\mathfrak{a})}$ ] as lemma [ lem : intersection_number ] for @xmath532 and @xmath733 . to show that @xmath551 , it suffices to show that @xmath734 from lemma [ lem : intersection_number ] .
let @xmath735 , @xmath736 such that @xmath737 . by taking a subsequence
, we may assume that @xmath738 .
then , @xmath739 $ ] is an associate foliation of @xmath733 . since @xmath731 and @xmath740
, we have @xmath741 .
therefore , @xmath742 is decomposed as @xmath743 where @xmath744 is topologically equivalent to @xmath724 , @xmath382 , @xmath383 is a measured foliation whose support is contained in the complement of the support of @xmath187 . since @xmath675\in \overline{\mathcal{af}(\mathfrak{a})}$ ] , from corollary [ coro : uniqueness_associate_foliations ] , we can see that @xmath745 is decomposed as @xmath746 where @xmath747 is topologically equivalent to @xmath724 ( possibly @xmath748 ) and @xmath382 . from and
, we have @xmath749 . since @xmath740
, we conclude that @xmath750 and hence @xmath751 as desired .    before closing this section , we notice the following expected property .
[ coro : topological_equivalence_null_set ] for @xmath373 , the following are equivalent :    1 .
@xmath371 and @xmath375 are topologically equivalent ; 2 .
@xmath374 ; 3 .
@xmath752 .    from proposition [ prop : measured_foliation_removing_peripehral ] ,
the conditions ( 1 ) and ( 2 ) are equivalent .
since @xmath753 , ( 2 ) follows from ( 3 ) .
hence , we need to show that ( 1 ) implies ( 3 ) . from the symmetry of the topological equivalence
, it suffices to show that @xmath754 .
let @xmath755 and @xmath756\in \mathcal{af}(\mathfrak{a})$ ] .
then , @xmath757 from theorem [ thm : associated_foliations_and_null_sets ] . since @xmath375 is topologically equivalent to @xmath371 , by proposition [ prop : measured_foliation_removing_peripehral ] , we have @xmath758 . hence , by applying theorem [ thm : associated_foliations_and_null_sets ] again , we have @xmath759 and @xmath760 .
in this section , we consider the group @xmath761 .
let @xmath762 . for @xmath450 , we define the _ accumulation set _ @xmath763 as follows : @xmath764 is contained in @xmath765 if and only if there is a sequence @xmath766 such that @xmath455 and @xmath767 .
notice that if a sequence @xmath225 converges to a point in @xmath447 , @xmath118 converges at infinity in the sense of . indeed , suppose @xmath118 converges to @xmath768 .
then , from ( iv ) in theorem [ thm : main_realization ] , we have @xmath769 and hence @xmath770 as @xmath6 .      for @xmath450
, we define the _ null set _ for @xmath249 by @xmath771 we claim    [ prop : accumulation_point_accompany ] let @xmath772 .
let @xmath773 be a sequence converging to @xmath255 for @xmath128 .
then , the following are equivalent :    1 .
@xmath774 ; 2 .
@xmath775 .
furthermore , @xmath776 if and only if @xmath777 .
suppose @xmath778 .
then , from ( iv ) in theorem [ thm : main_realization ] , @xmath779 and @xmath775 .
conversely , suppose that @xmath775 . then , @xmath780 and @xmath774 .
suppose that @xmath776 .
let @xmath781 .
since @xmath183 converges to @xmath782 , any accumulation point @xmath783 of @xmath93 satisfies @xmath784 and hence @xmath785 from the assumption .
this means that any subsequence of @xmath93 contains a convergence subsequence which is contained in @xmath786 .
hence , @xmath93 itself is contained in @xmath786 ( cf .
( 4 ) in remark [ remark : accompanying_sequence ] in  [ subsec : gromov_product ] ) .
suppose that @xmath777 .
let @xmath787 . take a sequence @xmath93 converging to @xmath273 .
then , @xmath788 as observed above .
this means that @xmath789 and @xmath785 .
the following lemma will be applied for defining the extension to the reduced gardiner - masur closure in  [ subsec : extension_to_the_boundary ] .
[ lem : equivalent_1 ] let @xmath790 .
let @xmath772 and @xmath791 for @xmath128 .
if @xmath776 , then @xmath792 .    for @xmath128 ,
let @xmath254 be a sequence converging to @xmath255 such that @xmath793 converges to @xmath794 . from proposition [ prop : accumulation_point_accompany ]
, the assumption @xmath776 implies @xmath134 .
since @xmath790 , by propositions [ prop : quasi - surjective_asymptotic ] , we have @xmath795 . therefore , by applying proposition [ prop : accumulation_point_accompany ] again , we obtain @xmath792 .
we define @xmath796 for a convergent sequence @xmath36 at infinity , where @xmath797 is the closure of @xmath93 in @xmath447 .
[ prop : null_sets_and_accompany ] let @xmath36 be a convergent sequence at infinity . then , there is @xmath358 such that @xmath798).\ ] ] furthermore , the following are equivalent for @xmath783 :    1 .
@xmath799)$ ] ; 2 .   for any @xmath800 and @xmath801\in \mathcal{af}(\psi_{gm}(p))$ ] ,
@xmath802)$ ] ; 3 .   for any @xmath800 @xmath803 .
let @xmath804 be accumulation points of @xmath36 in @xmath447 .
let @xmath212 be a subsequence of @xmath36 convergent to @xmath255 for @xmath128 .
since @xmath36 converges at infinity , @xmath805 and hence @xmath806 for @xmath800 , fix @xmath801\in \mathcal{af}(\psi_{gm}(p))$ ] . from proposition
[ prop : measured_foliation_removing_peripehral ] and theorem [ thm : associated_foliations_and_null_sets ] , the topological equivalence class of @xmath807 depends only on @xmath249 , and @xmath808 for all @xmath809 from .
hence , we can find @xmath358 such that    1 .
for any @xmath800 , @xmath807 is topologically equivalent to a subfoliation of @xmath187 ; 2 .
any component of @xmath371 is topologically equivalent to a component of some @xmath810 , @xmath800 .
we shall check that @xmath187 satisfies the desired property .
indeed , let @xmath811 be an accumulation point of a sequence @xmath88 . then , by the argument above , we can see that @xmath812 for any @xmath800 .
hence , for any @xmath674\in \mathcal{ah}(\psi_{gm}(q))$ ] , @xmath813 for all @xmath814 . from the condition
( 2 ) of @xmath187 , we have @xmath377 and hence @xmath815 by theorem [ thm : associated_foliations_and_null_sets ] .
this means that @xmath799)$ ] and @xmath816).\ ] ] conversely , let @xmath799)$ ] .
take a sequence @xmath93 in @xmath4 converging to @xmath273 .
then , by the condition ( 1 ) of @xmath187 above , we have @xmath812 for all @xmath800 .
in other words , any subsequence of @xmath36 contains a subsequence which is visually indistinguishable from @xmath93 .
therefore , we have @xmath89 and hence @xmath88 ( cf .
remark [ remark : accompanying_sequence ] ) .
the last statement follows from the construction of @xmath187 and theorem [ thm : associated_foliations_and_null_sets ] .
[ prop : accumulation_points_and_accompany ] let @xmath43 and @xmath44 be convergent sequences at infinity .
then , the following are equivalent :    1 .
@xmath817 ; 2 .
@xmath818 .    from the definition ,
the condition ( 2 ) implies ( 1 ) .
suppose the condition ( 1 ) .
assume on the contrary that there is @xmath819 .
the condition @xmath820 means that there are subsequences @xmath821 of @xmath93 and @xmath822 of @xmath44 such that @xmath823 for all @xmath702 .
hence , there are @xmath824 and @xmath825 such that @xmath826 ( cf . ) .
hence , by proposition [ prop : null_sets_and_accompany ] , @xmath827 . since @xmath828 from the assumption , @xmath829 . on the other hand , since @xmath830 , @xmath831 .
this is a contradiction .
two points @xmath503 are equivalent if one of the following holds :    * @xmath832 and @xmath268 ; * @xmath833 and @xmath834 .
we denote by @xmath835}$ ] the equivalence class of @xmath450 .
we abbreviate the equivalence class @xmath836]}$ ] of the projective class @xmath435\in \mathcal{pmf}\subset\partial_{gm}{\mathcal{t}}$ ] as @xmath837}$ ] .
we denote by @xmath838 the quotient of @xmath447 under this equivalent relation .
let @xmath839 be the quotient map .
we always identify @xmath840 with @xmath55 .
we call @xmath838 the _ reduced gardiner - masur closure _ of @xmath55 .    from the definition , the space @xmath838 contains @xmath55 canonically .
we call the complement @xmath841 the _ reduced gardiner - masur boundary _ of @xmath55
.      let @xmath790 .
we define the _ boundary extension _ @xmath842 to @xmath838 as follows .
let @xmath768 .
we define @xmath843 by @xmath844 } ) = \begin{cases } { [ [ \omega(p ) ] ] } & ( \mbox{$p\in { \mathcal{t}}$ } ) \\ { [ [ q ] ] } & ( \mbox{$q\in \mathcal{a}(\omega\colon p)$ if $ p\in \partial_{gm}{\mathcal{t}}$ } )   \end{cases}\ ] ] from lemma [ lem : equivalent_1 ] , the extension @xmath842 is well - defined .
[ lem : composition ] let @xmath845 .
then , the extensions satisify @xmath846 on @xmath847 .
let @xmath835}\in { \partial_{gm}^{red}}{{\mathcal{t}}}$ ] .
take @xmath848 such that @xmath849 and @xmath850 . by definition , @xmath851})={[[p']]}.\ ] ] on the other hand , we may assume that @xmath852 converges to @xmath853 .
then , from the definition , we have @xmath854})={[[q]]}$ ] .
since @xmath855 , @xmath856 and hence @xmath857}= { \partial_\infty(\omega_1)}({[[q]]})= { \partial_\infty(\omega_1)}\circ{\partial_\infty(\omega_2)}({[[p]]}).\ ] ] this means that @xmath858 on @xmath859 .
[ lem : quasi - inverse ] let @xmath198 and @xmath50 be an asymptotic quasi - inverse of @xmath35 .
then , the extensions satisfy @xmath860 on @xmath847 .    it suffices to show only that @xmath861 on @xmath847 .
let @xmath835}\in { \partial_{gm}^{red}}{{\mathcal{t}}}$ ] .
take @xmath848 such that @xmath849 and @xmath862 .
notice from the definition that @xmath863})={[[q]]}$ ] .
let @xmath864 .
we may assume that @xmath865 converges to some point @xmath866 .
then , by definition , @xmath856 and hence @xmath867})= { \partial_\infty(\omega')}({[[q]]})={[[p']]}.\ ] ]    let @xmath868 . take @xmath869 with @xmath870 . since @xmath50 is an asymptotic quasi - inverse of @xmath35 , @xmath48 is close to the identity mapping on @xmath55 .
hence , @xmath871 since @xmath872 converges to @xmath873 , @xmath874 and @xmath875 since @xmath48 is asymptotically conservative by proposition [ prop : properties_quasimorphisms ] , @xmath876 .
since @xmath36 converges to @xmath249 , we deduce that @xmath877 and @xmath878
. therefore , @xmath879 .
let @xmath878 and @xmath880 a convergent sequence to @xmath881 .
since @xmath48 is close to the identity mapping on @xmath55 , @xmath882 since @xmath872 converges to @xmath873 , we have @xmath883 and @xmath868 .
we conclude that @xmath884 and hence @xmath885}={[[p]]}$ ] .
thus , we obtain that @xmath886})={[[p']]}={[[p]]}$ ] , which is what we wanted .
an ordered sequence @xmath887}\}_{k=1}^m$ ] in @xmath859 is said to be an _ _ adherence tower _ _ starting at @xmath888}$ ] if @xmath889 we call the number @xmath890 the _ length _ of the adherence tower .
let @xmath835}\in { \partial_{gm}^{red}}{\mathcal{t}}$ ] .
we define the _ height _ @xmath891})$ ] of @xmath835}$ ] by @xmath892})=\sup\{\mbox{lengths of adherence towers starting $ { [ [ p]]}$}\}.\ ] ]    to prove the following lemma , we define the complexity of measured foliation as follows ( cf .
theorem 1 in @xcite ) . for a measured foliation @xmath187 , we set @xmath597 be the supports of the arational components of @xmath187 .
we define @xmath893    [ lem : height_boundary_points ] suppose that @xmath54 is neither a torus with one hole nor a sphere with four holes .
the height of any @xmath835}\in { \partial_{gm}^{red}}{\mathcal{t}}$ ] satisfies @xmath891})\le { { \rm cx}}(s)$ ] .
the equality @xmath891})={{\rm cx}}(s)$ ] holds if and only if the support of any @xmath435\in \mathcal{af}(\psi_{gm}(p))$ ] is a simple closed curve .
we first study the associated foliations of points in an adherence tower of length two .
let @xmath888},{[[p_2]]}\in { \partial_{gm}^{red}}{\mathcal{t}}$ ] .
let @xmath894\in \mathcal{af}(\psi_{gm}(p_i))$ ] for @xmath128 .
suppose that @xmath895},{[[p_2]]}\}$ ] is an adherence tower , that is , @xmath896 .
from the definition , @xmath897 . from corollary
[ coro : topological_equivalence_null_set ] , we see @xmath898 we decompose @xmath652 as in : @xmath899 where @xmath724 is an arational component , and @xmath393 is a ( weighted ) essential curve of @xmath634 . since @xmath900 , the composition of @xmath653 is represented as @xmath901 where @xmath744 is topologically equivalent to @xmath724 , @xmath902 and the support of @xmath903 is contained in the complement of the support of @xmath634 . since @xmath904 , any measured foliation @xmath432 with @xmath905 satisfies @xmath906 .
hence , @xmath907 and @xmath908 .
moreover , from the assumption @xmath909 implies that @xmath910 .
therefore , from and , we have @xmath911 in the lexicographical order in @xmath912 , since @xmath903 in is either an arational component or an essential curve of @xmath635 .
let us return to the proof of the lemma .
let @xmath913}\}_{i=1}^m$ ] be an adherence tower of length @xmath890 .
let @xmath894\in \mathcal{af}(\psi_{gm}(p_i))$ ] . from the argument argument , we have @xmath914 notice that the number of essential curves is at most @xmath915 and the euler - characteristic satisfies the inclusion - exclusion principle ( and the euler characteristic of a circle is zero ) .
we should care about the case where the genus of @xmath54 is zero since the negative of the euler characteristic is greater than @xmath915 in this case . since any planer surface does not contain an essential subsurface of euler characteristic @xmath916 which admits an arational foliation , the first coordinate of @xmath917 rises at least by @xmath71 ( if it increases ) .
therefore , in any case , we have @xmath918 .
suppose that some @xmath365 contains an arational component @xmath919 .
let @xmath920 be the support of @xmath919 .
since @xmath920 contains a non - peripheral curve ( in @xmath920 ) and any component @xmath920 can not be an essential curves of @xmath921 for @xmath922 , the number of essential curves of @xmath923 is less than @xmath915 .
therefore , by the above argument , we have @xmath924 .
hence if @xmath925 , each @xmath365 consists of essential curves . in this case
, one can easily see that the adherence tower starts with a simple closed curve .
the _ extended mapping class group _ @xmath53 of @xmath54 is the group of all isotopy classes of homeomorphisms on @xmath54 .
the extended mapping class group @xmath53 acts on @xmath55 isometrically by @xmath926_*(y)=(y , f\circ h^{-1})\in { \mathcal{t}}\ ] ] for @xmath927\in { { \rm mcg}}^*(s)$ ] .
hence , we have a group homomorphism @xmath928\to [ h]_*\in { \rm isom}({\mathcal{t}}),\ ] ] where @xmath929 is the group of all isometries of @xmath55 .
let @xmath58 be the complex of curves of @xmath54 and @xmath62 be the simplicial automorphisms on @xmath58 .
since @xmath53 acts on @xmath58 canonically , we have a ( group ) homomorphism @xmath930 it is known that @xmath931 is an isomorphism if @xmath54 is neither a torus with two holes nor a closed surface of genus @xmath71 , and an epimorphism if @xmath54 is not a torus with two holes ( cf .
ivanov @xcite , korkmaz @xcite and luo @xcite ) .
the action of any isometry on @xmath55 extends homeomorphically to the gardiner - masur boundary ( cf .
we can observe that the extension of the action leaves @xmath932 invariant , and it induces a canonical homomorphism @xmath933 such that the diagram @xmath61^{\mathcal{i}_0 } \ar[dr]_{\mathcal{j } } & { \rm isom}({\mathcal{t } } ) \ar[d]^{\mathcal{j}_1 } \\ &   { \rm aut}({\mathbb{x}}(s ) ) &   \\ } \ ] ] is commutative ( cf .
@xcite ) .
the homomorphism @xmath934 is an isomorphism for any @xmath54 with @xmath509 .
we first sketch the proof of the injectivity .
the following argument is given in @xcite by modifying the argument by n. ivanov in @xcite .
indeed , since , any element @xmath935 fixes any point of @xmath342 , by applying the argument of the proof of theorem a in @xcite , we can find a fixed point @xmath936 of @xmath35 .
since almost all geodesic rays emanating @xmath937 land at a point in @xmath356 , we can see that @xmath35 is the identity mapping on @xmath55 ( cf .
@xcite ) .    since @xmath931 is surjective unless @xmath54 is a torus with two holes , so is @xmath934 ( cf .
luo @xcite ) .
suppose that @xmath54 is a torus with two holes .
we consider the quotient map @xmath938 defined by the action of the hyper - elliptic involution on @xmath54 .
the quotient map induces the isomorphism from @xmath58 to @xmath939 and an isometry from @xmath940 to @xmath941 ( cf .
@xcite and @xcite ) .
the reason why is not surjective when @xmath54 is a torus with two holes is that there is no homeomorphism on @xmath54 which sends a non - null - homologous curve to a null - homologous curve , while each curve on @xmath942 is null - homologous .
thus , in any case , the homomorphism @xmath934 is surjective .
recall that any isometry is an invertible asymptotically conservative mapping .
hence , we have a monoid monomorphism @xmath943 our rigidity theorem is given as follows .
[ thm : induced_automorphism ] suppose that @xmath54 is neither a torus with one hole nor a sphere with four holes .
then , there is a monoid epimorphism @xmath944 with the following properties :    * if @xmath945 is an asymptotic quasi - inverse of @xmath946 , @xmath947 ; * @xmath948 as monoid homomorphism .    in addition
, @xmath949 induces a group isomorphism @xmath950 which satisfies the following commutative diagram : @xmath61^{\mathcal{i}_0 } & { \rm isom}({\mathcal{t } } ) \ar[r]^{\mathcal{i } } \ar[dr]^{\mbox{{\tiny group iso } } } & { { \rm ac_{inv}}}({\mathcal{t } } ) \ar[d]^{\mbox{{\tiny proj } } } \ar[dr]^{\xi } & \\ & & { \mathfrak{ac}}({\mathcal{t } } )   \ar[r]^{\mbox{{\tiny group iso } } } & { \rm aut}(\mathbb{x}(s ) ) . & } \ ] ]    we may assume that @xmath54 is not a torus with two holes . indeed , when @xmath54 is a torus with two holes , the quotient map @xmath938 by the hyper - elliptic action induces an isometry between the teichmller spaces of @xmath54 and @xmath942 and an isomorphism between @xmath951 and @xmath952 , where @xmath942 is a sphere with five holes ( cf .
@xcite and @xcite ) .
hence , we consider @xmath942 instead of @xmath54 in this case .
let @xmath953 be the @xmath381-skeleton of @xmath58 .
for @xmath954 , we identify the projective class @xmath516 $ ] with a point in the @xmath449 .
let @xmath946 . from lemma [ lem : height_boundary_points ] , there is an adherence tower @xmath913}\}_{i=1}^{{{\rm cx}}(s)}$ ] with @xmath888}={[[\alpha]]}$ ] .
from lemma [ lem : equivalent_1 ] , @xmath955})\}_{i=1}^{{{\rm cx}}(s)}$ ] is also an adherence tower starting @xmath956 } ) = { \partial_\infty(\omega)}({[[\alpha]]})$ ] .
therefore , @xmath957})={[[\beta]]}\ ] ] for some simple closed curve @xmath958 , by lemma [ lem : height_boundary_points ] again .
hence , @xmath35 induces a self - mapping @xmath959 of @xmath953 .
namely , @xmath959 satisfies @xmath960})={[[h_\omega(\alpha)]]}\ ] ] for all @xmath961 . since @xmath35 admits an asymptotic quasi - inverse @xmath50 , by lemma [ lem : quasi - inverse ] , the self - mappings @xmath959 and @xmath962 satisfy @xmath963 on @xmath953
this means that @xmath959 is bijective .
let @xmath964 with @xmath965 .
then , @xmath966 and @xmath967 .
therefore , @xmath968},{[[g]]}\}$ ] and @xmath969},{[[g]]}\}$ ] are adherence towers . from lemma [ lem : equivalent_1 ] , @xmath970}),{\partial_\infty(\omega)}({[[g]]})\}$ ] and @xmath971}),{\partial_\infty(\omega)}({[[g]]})\}$ ] are also adherence towers . since @xmath959 is bijective and @xmath972})={[[h_\omega(\alpha)]]}$ ] and @xmath973})={[[h_\omega(\beta)]]}$ ] , we have @xmath974 .
this means that @xmath975 . from lemma [ lem :
composition ] , the mapping @xmath976 is a monoid homomorphism .
the condition ( 1 ) in the statement follows from the above argument .
we next check the condition ( 2 ) in the statement .
let @xmath977 .
then , @xmath35 preserves @xmath342 in @xmath978 ( cf .
 9 in @xcite ) . from the definition of @xmath959 , for any @xmath346
, @xmath979 coincides with @xmath980 .
this means that @xmath981 .
we check is an epimorphism .
we will prove the injectivity of the homomorphism in the next section .
let @xmath982 .
suppose that @xmath41 and @xmath42 are close at infinity .
this means that for any sequences @xmath8 and @xmath9 in @xmath55 , if @xmath45 , @xmath983 .
suppose that for @xmath128 , @xmath984 and @xmath985 for @xmath986 as @xmath537 . from proposition [ prop : accumulation_point_accompany ]
, @xmath45 if and only if @xmath888}={[[p_2]]}$ ] .
hence , the condition  closeness at infinity " implies that @xmath987 on @xmath859 .
therefore , by the definition , we have @xmath988 . from lemmas [ lem : composition ] and [ lem : quasi - inverse ]
, @xmath949 descends to a homomorphism @xmath989\mapsto \xi(\omega)=h_\omega\in { \rm aut}({\mathbb{x}}(s)).\ ] ] since @xmath54 is not a torus with two holes , @xmath931 is an epimorphism , and so is @xmath949 .
the injectivity of ( or ) is proven in the next section .      in this section
, we shall show that the epimorphism is an isomorphism .
we first check the following .
[ lem : rigidity_1 ] for @xmath946 , let @xmath975 as theorem [ thm : induced_automorphism ] .    1 .   for @xmath346 .
consider the projective class @xmath516 $ ] as a point in @xmath449 .
then , @xmath990)=\{[h_\omega(\alpha)]\}$ ] ; 2 .   if @xmath516\in \mathcal{n}^\psi(p)$ ] , then @xmath991\in \mathcal{n}^\psi(q)$ ] for all @xmath853 .
conversely , if @xmath991\in \mathcal{n}^\psi(q)$ ] for some @xmath853 , @xmath516\in \mathcal{n}^\psi(p)$ ] .
( 1)let @xmath36 be a sequence in @xmath55 converging to @xmath516 $ ] in @xmath447 .
let @xmath783 be an accumulation point of @xmath110 .
we may assume that @xmath992 converges to @xmath273 in @xmath447 . by and , any accumulation point @xmath783 of
a sequence @xmath110 satisfies @xmath993)$ ] from lemma [ lem : equivalent_1 ] .
namely , @xmath994 for all @xmath995 . by applying theorem 3 in @xcite ,
we conclude that @xmath996 $ ] in @xmath449 .
this means that @xmath110 converges to @xmath991 $ ] in @xmath447 .
( 2)@xmath516\in \mathcal{n}^\psi(p)$ ] if and only if @xmath997 . since @xmath35 is asymptotically conservative , from ( 1 ) above , @xmath998 for any @xmath853 .
the converse is also proven by the same argument .
[ prop : rigidity_2 ] suppose that @xmath54 is not a torus with two holes .
for @xmath946 , there is a homeomorphism @xmath999 of @xmath54 with the following property : for any @xmath1000 , @xmath435\in \mathcal{af}(\psi_{gm}(p))$ ] and @xmath853 , we have @xmath1001)$ ] .    from the assumption and theorem [ thm : induced_automorphism ]
, there is a homeomorphism @xmath999 of @xmath54 such that @xmath1002 . from theorem [ thm : associated_foliations_and_null_sets ] ,
if we take @xmath674\in \mathcal{af}(\psi_{gm}(q))$ ] , then @xmath1003).\ ] ] from ( 2 ) in proposition [ lem : rigidity_1 ] , for any @xmath346 , @xmath388 if and only if @xmath1004=[h_\omega(\alpha)]\in \mathcal{n}^\psi(q)$ ] . hence , we deduce that @xmath1005)\cap \mathcal{s}= \mathcal{n}^\psi(q)\cap \mathcal{s}=\mathcal{n}^\psi([f_\omega(g)])\cap \mathcal{s}\ ] ] where @xmath342 stands for a subset of @xmath449 in . therefore , the support of @xmath375 coincides with the support of @xmath1006 . in particular , any essential curve of @xmath378
is also that of @xmath1007 , and vice versa . as
, we decompose @xmath187 as @xmath1008 let @xmath366 be the support of an arational component @xmath365 of @xmath187 .
it is known that @xmath447 is metrizable ( cf .
theorem 1.2 in @xcite ) .
henceforth , we fix a distance @xmath1009 on @xmath447 .
fix @xmath1010 .
take a sequence @xmath1011 such that @xmath1012 and @xmath1013,[g_i])<1/n.\ ] ] since @xmath999 is a homeomorphism , @xmath1014 $ ] tends to @xmath1015 $ ] in @xmath356 ( and hence in @xmath447 ) as @xmath537 . by taking a subsequence
, we may assume that @xmath1016,[f_\omega(g_i)])<1/n\ ] ] for all @xmath702 .
let @xmath1017 be a sequence in @xmath55 converging to @xmath1018 $ ] in @xmath447 .
since @xmath198 , by ( 1 ) of proposition [ lem : rigidity_1 ] , @xmath1019 converges to @xmath1014 $ ] in @xmath447 for all @xmath709 . by applying the diagonal argument and taking a subsequence if necessary , we can take @xmath1020 such that if we put @xmath1021 and @xmath217 , then @xmath1022 ) , d_\infty(\omega(z_n),[f_\omega(\alpha_n)])\}<2/n\ ] ] in @xmath447 .
since @xmath999 is a homeomorphism of @xmath54 , @xmath1014 $ ] tends to @xmath1015 $ ] in @xmath356 and hence in @xmath447 . from
, we have @xmath1023 ) ) \le d_\infty(\omega(z_n),f_\omega([\alpha_n ] ) ) + d_\infty(f_\omega([\alpha_n]),[f_\omega(g_i ) ] ) \to 0\ ] ] as @xmath537 .
therefore @xmath262 converges to @xmath1015 $ ] .
this means that @xmath1015\in \mathcal{a}(\omega\colon [ g_i])$ ] . since @xmath365 is an arational component of @xmath187 , @xmath1024)\subset \mathcal{n}^\psi([g_0])$ ] .
therefore , by lemma [ lem : equivalent_1 ] , we conclude @xmath1025)= \mathcal{n}^\psi(q)\subset \mathcal{n}^\psi([f_\omega(g_i)])\ ] ] since @xmath853 and @xmath1015\in \mathcal{a}(\omega\colon [ g_i])$ ] .
therefore , @xmath378 contains an arational component @xmath380 which is topologically equivalent to @xmath1026 . since the support of @xmath375 coincides with that of @xmath371 , the arational components of @xmath378 are contained in @xmath1027 .
hence , the normal form of @xmath378 should be @xmath1028 where @xmath1029 and @xmath1030 .
thus , @xmath375 is topologically equivalent to @xmath1006 .
hence by corollary [ coro : topological_equivalence_null_set ] , we deduce @xmath1031)= \mathcal{n}^\psi([h])=\mathcal{n}^\psi(q),\ ] ] which is what we desired .
[ prop : rigidity_3 ] for any @xmath946 , there is a unique isometry @xmath1032 on @xmath55 which is close to @xmath35 at infinity .
we first suppose that @xmath54 is not a torus with two holes .
take @xmath999 as in proposition [ prop : rigidity_2 ] . since @xmath999 is a homeomorphism of @xmath54
, @xmath999 induces an isometry @xmath1032 on @xmath55 .
when @xmath54 is a closed surface of genus @xmath71 , there is an ambiguity of the choice of @xmath999 which is caused by the hyperelliptic involution .
however , the isometry @xmath1032 is independent of the choice .
let @xmath8 and @xmath1033 be convergent sequences at infinity satisfying that @xmath45 . from proposition
[ prop : null_sets_and_accompany ] , there are @xmath187 , @xmath1034 , @xmath1035 such that @xmath1036 ) & = { \mathcal{acm}}({\bf x}^1)={\mathcal{acm}}({\bf x}^2)\\ \mathcal{n}^\psi([h_1 ] ) & = { \mathcal{acm}}(\omega({\bf x}^1 ) ) \\
\mathcal{n}^\psi([h_2 ] ) & = { \mathcal{acm}}(\xi_\omega({\bf x}^2)).\end{aligned}\ ] ] ( cf . ) .
hence , our assertion follows from proposition [ prop : accumulation_points_and_accompany ] and the following claim :    [ claim : gh_1h_2 ] it holds @xmath1037)=\mathcal{n}^\psi([f_\omega(g)])= \mathcal{n}^\psi([h_2]).\ ] ]    let @xmath1038 and @xmath1039 .
let @xmath1040 and fix @xmath801\in \mathcal{af}(\psi_{gm}(p))$ ] . from proposition [ prop : rigidity_2 ] , @xmath1041)=0 $ ] .
since @xmath249 is taken arbitrarily in @xmath1042 , from the proof of proposition [ prop : null_sets_and_accompany ] , we have @xmath1043)=0 $ ] .
hence @xmath1037 ) \subset \mathcal{n}^\psi([f_\omega(g)]).\ ] ]    let @xmath1044)$ ] . for @xmath1045 , we take a subsequence @xmath93 of @xmath43 such that @xmath262 converges to @xmath273 .
we may assume that @xmath93 converges to @xmath1046 .
fix @xmath801\in \mathcal{af}(\psi_{gm}(p))$ ] . from proposition [ prop : rigidity_2 ]
, we have @xmath1047)$ ] . from the construction of @xmath187
, @xmath807 is topologically equivalent to a subfoliation of @xmath187 . hence , @xmath1048)=\mathcal{n}^\psi(q)$ ] .
since @xmath273 is taken arbitrarily from @xmath1045 , we can deduce that any sequence converging to @xmath881 is visually indistinguishable from @xmath104 ( cf .
remark [ remark : accompanying_sequence ] ) .
therefore , @xmath1049)$ ] and @xmath1050)=\mathcal{n}^\psi([f_\omega(g)]).\ ] ]    since @xmath1032 is an isometry , @xmath1051 since @xmath1032 extends to @xmath447 homeomorphically and coincides with the action of @xmath999 on @xmath458 , we have @xmath1052)\cap \mathcal{pmf } & = { \mathcal{acm}}(\xi_\omega({\bf x}^2))\cap \mathcal{pmf } = \xi_\omega({\mathcal{acm}}({\bf x}^2))\cap \mathcal{pmf } \\ & = \xi_\omega(\mathcal{n}^\psi([g]))\cap \mathcal{pmf } = \mathcal{n}^\psi([f_\omega(g)])\cap \mathcal{pmf}.\end{aligned}\ ] ] this equality means that @xmath1053 . by corollary
[ coro : topological_equivalence_null_set ] , we have @xmath1054 and @xmath1055)=\mathcal{n}^\psi([f_\omega(g)])$ ] .
the case where @xmath54 is a torus with two holes follows from the fact that the teichmller space of @xmath54 is isometric to the teichmller space of a sphere with five holes .
let @xmath790 with @xmath1056 . from proposition [ prop : rigidity_3 ] , there is an isometry @xmath1032 which is close to @xmath35 .
since @xmath1057 , @xmath1032 is the identity mapping on @xmath55 , and hence @xmath35 is close to the identity .      in this section ,
we consider the actions of rough homotheties on teichmller space . indeed
, we shall prove theorem [ thm : teichmullerspace_homothety ] . as given in  [ subsec : results ] , we recall a mapping @xmath1058 a @xmath63-_rough homothety _ if @xmath1059 for all @xmath1060 .
suppose first that @xmath509 .
we may assume that @xmath54 is not a torus with two holes .
suppose to the contrary that there is a @xmath63-rough homothety @xmath35 with asymptotic quasi - inverse for some @xmath70 .
notice from remark ( 2 ) in  [ subsec : remarks_asymptotically_conservative ] that @xmath946 .
take a homeomorphism @xmath999 on @xmath54 as proposition [ prop : rigidity_2 ] .
let @xmath1061 .
consider the projective classes @xmath516 $ ] and @xmath517 $ ] as points in @xmath449 .
then , from , lemma [ lem : rigidity_1 ] and proposition [ prop : rigidity_2 ] , we have @xmath1062,[\beta])^{k } \le i_{x_0}([f_\omega(\alpha)],[f_\omega(\beta ) ] ) \le e^{d_0}i_{x_0}([\alpha],[\beta])^{k}\ ] ] where @xmath221 is a constant depending only on @xmath1063 and @xmath1064 .
on the other hand , let @xmath1065 , where @xmath1032 is an isometry associated to @xmath35 taken as proposition [ prop : rigidity_3 ] . from the definition ,
@xmath1066 for @xmath358 . by the quasiconformal invariance of extremal length , we obtain @xmath1067,[\beta ] )
\le i_{x_0}([f_\omega(\alpha)],[f_\omega(\beta ) ] ) \le   k_0 i_{x_0}([\alpha],[\beta ] ) \ ] ] since @xmath999 is a homeomorphism on @xmath54 and @xmath1068 .
therefore , we deduce @xmath1069,[\beta])^{1-k } & \le k_0e^{d_0 } \label{eq : k - homothety_4 } \\
i_{x_0}([\alpha],[\beta])^{k-1 } & \le k_0e^{d_0 } \label{eq : k - homothety_4_2}\end{aligned}\ ] ] for any @xmath1061 with @xmath1070,[\beta])\ne 0 $ ] . since the left - hand sides of and are projectively invariant , when the projective classes @xmath516,[\beta]$ ] tend together to some projective measured foliation @xmath435\in \mathcal{pmf}$ ] with keeping satisfying @xmath1071 , the left - hand side in diverges if @xmath1072 , otherwise the left - hand side in diverges . in any case
, we get a contradiction .
suppose @xmath1073 . in this case
, there exists an isometry @xmath1074 sending @xmath0 to the origin @xmath381 .
furthermore , the gromov product @xmath1075 for @xmath1076 satisfies @xmath1077 , where @xmath1078 $ ] is the geodesic connecting between @xmath28 and @xmath29 ( cf .
 2.33 in @xcite ) .
suppose on the contrary that there is a @xmath63-rough homothety @xmath35 with @xmath70 .
notice from theorem [ thm : acgroup_hyperbolic_group_boundary_continuous ] that @xmath35 extends to a self - homeomorphism on @xmath1079 .
we may assume that @xmath1080 .    from , for @xmath1076 , @xmath1081)-kd_{\mathbb{d}}(0,[x_1,x_2])|\le d_2\ ] ] for some constant @xmath1082 .
therefore , for any @xmath1083 , we have @xmath1084 with positive constants @xmath1085 .
since the lift of a self - homeomorphism on @xmath1079 to @xmath1086 is a monotone function , the extension of @xmath35 to @xmath1079 is differentiable almost everywhere on @xmath1079 .
however , since the extension of @xmath35 satisfies , either @xmath35 or @xmath1087 is not differentiable any point on @xmath1079 if @xmath70 .
this is a contradiction .
the main result of this section is lemma [ lem : fills_curves ] . the estimates in the lemma looks similar to that in theorem 6.1 of @xcite .
however , our advantage here is that we treat the extremal lengths of all non - trivial ( possibly peripheral ) curves of subsurfaces and give a constant @xmath1088 concretely ( cf . and ) .
let @xmath1089 be a holomorphic quadratic differential on @xmath4 .
the differential @xmath1090 defines a measured foliation on @xmath4 .
we say that such a measured foliation the _ vertical foliation _ of @xmath1089 .
the vertical foliation of @xmath1091 is called the _ horizontal foliation _ of @xmath1089 . by a _ step curve
_ , we mean a geodesic polygon in @xmath4 the sides of which are horizontal and vertical arcs of @xmath1089 ( cf .
figure [ fig : stepcurve ] ) .
[ prop_strebel_stepcurve ] let @xmath1089 be a quadratic differential and @xmath400 the vertical foliation of @xmath1089 .
let @xmath1092 be a simple closed step curve with the additional property that for any vertical side @xmath1093 of @xmath1092 the two neighboring horizontal sides @xmath1094 and @xmath1095 are on different sides of @xmath1093 ( there are no zeros of @xmath1089 on @xmath1092 ) . then , @xmath1096 where @xmath385 is the homotopy class containing @xmath1092 .
it can be also observed that a step curve with the property stated in theorem [ prop_strebel_stepcurve ] is quasi - transversal .
for instance , see the proof of proposition ii.6 or the curve ( 4 ) of figure 10 of expos 5 in @xcite .
let @xmath668 be an essential subsurface of @xmath4 . denote by @xmath1097 a subset of @xmath342 consisting of curves which are non - peripheral in @xmath668 . let @xmath1098 be a subset of @xmath342 consisting of curves which can be deformed into @xmath668 .
[ lem : fills_curves ] let @xmath668 be a connected , compact and essential subsurface of @xmath4 with negative euler characteristic .
let @xmath1099 be a system of curves which fills up @xmath668 .
then , for @xmath1100 , we have @xmath1101 where @xmath1102 and @xmath1103 depends only on the topological type @xmath1104 of @xmath4 and the number @xmath890 of the system @xmath1105 .
in particular , we have @xmath1106 for all @xmath1107 .
suppose first that @xmath385 is represented by a component of @xmath1108 .
when @xmath385 is homotopic to a puncture of @xmath4 , @xmath1109 since @xmath4 contains an arbitrary wide annulus whose core is homotopic to @xmath385 .
hence we have nothing to do ( in fact , we can set @xmath1110 ) .
suppose that @xmath385 is not peripheral in @xmath4 .
let @xmath1111 be a jenkins - strebel differential for @xmath385 on @xmath4 .
let @xmath1112 be the characteristic annulus of @xmath1111 .
we consider a  compactification " @xmath1113 by attaching two copies of circles as its boundaries .
the induced flat structure on @xmath1112 from @xmath1111 canonically extends to the compactification @xmath1113 and components of the boundary @xmath1114 are closed regular trajectories under this flat structure .
there is a canonical surjection @xmath1115 ( the completion of @xmath4 at the punctures ) .
namely , @xmath1116 is reconstructed by identifying disjoint vertical straight arcs in @xmath1114 along vertical saddle connections of @xmath1111 .
( in this sense , @xmath1117 is a quotient map ) . without any confusion
, we may recognize the characteristic annulus @xmath1112 itself as a subset of @xmath4 .
let @xmath1118 and @xmath1119 be the core trajectory in @xmath1112 and the geodesic representative of @xmath495 with respect to @xmath1111 respectively . since @xmath385 is parallel to @xmath1108 , by taking an isotopy , we may assume that @xmath1118 is a component of @xmath1108 .
furthermore , since @xmath1120 , @xmath385 does not intersect any @xmath495 for all @xmath370 . hence , each @xmath1119 consists of vertical saddle connections . in other words , @xmath1119 is contained in the critical graph @xmath1121 of @xmath1111 in @xmath4 , which consists of vertical saddle connections of @xmath1111 .
suppose @xmath1129 for some @xmath370 and @xmath1127 contains a vertical saddle connection @xmath1130 such that @xmath1131 for all @xmath370 .
then , @xmath1130 intersects all @xmath1132 at most at endpoints ( critical points of @xmath1111 ) .
let @xmath1133 .
let @xmath1134 be a horizontal arc in @xmath1112 starting at @xmath1135 and terminating at a point of @xmath1136 .
since the both side of @xmath1130 is in @xmath1112 , after @xmath1134 passes through @xmath1130 , @xmath1134 terminates at a point @xmath1137 .
let @xmath1138 be a segment of @xmath1118 connecting @xmath1139 and @xmath782 ( cf .
figure [ fig : a_gamma ] ) . set @xmath1140 . by definition
, @xmath636 does not intersects any @xmath1119 and hence @xmath1141 for all @xmath370 .
suppose first that @xmath1134 arrived @xmath782 from the different side from that where @xmath1134 departed at @xmath1139 ( cf .
( 1 ) of figure [ fig : a_gamma ] ) .
then , we have @xmath1142 since the width of @xmath1112 is one and @xmath636 is a step curve with the property stated in proposition [ prop_strebel_stepcurve ] .
hence @xmath636 is non - trivial and non - peripheral simple closed curve in @xmath4 .
however , this contradicts that @xmath1105 fills up @xmath668 , since such a @xmath1143 contains homotopically non - trivial arc connecting @xmath1108 because @xmath385 is parallel to a component of @xmath1108 .
suppose @xmath1134 arrived at @xmath782 from the same side as that where @xmath1134 departed ( cf .
( 2 ) of figure [ fig : a_gamma ] ) .
we may also assume that @xmath1134 departs from @xmath1139 into @xmath668 .
indeed , suppose we can not assume so .
then , the component of @xmath1144 that lies on the same side as that of @xmath668 ( near @xmath1118 ) is covered by @xmath1145 , which contradicts what we assumed first .    then , there is an open rectangle @xmath1146 in @xmath1112 such that @xmath636 and a segment in @xmath1122 surround @xmath1146 in @xmath1112 . from the assumption
, we may assume that the closure of @xmath1147 , say @xmath23 , intersects some @xmath1119 .
suppose that @xmath636 is trivial .
then , @xmath23 is a disk in @xmath4 surrounded by @xmath636 , since @xmath1118 can be homotopic to the outside of @xmath23 .
this means that @xmath1119 is contained in a disk @xmath23 because @xmath1119 does not intersect @xmath636 , which is a contradiction . by the same argument
, we can see that @xmath636 is non - peripheral ( otherwise , @xmath1119 were peripheral ) . since @xmath1134 departs into @xmath668 at @xmath1139 and returns to @xmath1118 on the side where @xmath668 lies , after taking an isotopy if necessary , we can see that @xmath1134 contains a subsegment which is nontrivial in @xmath668 and connecting @xmath1108 , which contradicts again that @xmath1105 fills @xmath668 up .
let us continue to prove lemma [ lem : fills_curves ] for peripheral @xmath1148 . we take @xmath1127 as in claim 1 . since both sides of every vertical saddle connection face @xmath1112 , @xmath1127 visits each vertical saddle connection at most twice .
notice that the number of vertical saddle connections is at most @xmath1149 .
since each vertical saddle connection in @xmath1127 is contained in some @xmath1119 , we have @xmath1150 since @xmath1119 is the geodesic representative of @xmath495 .
since the width of @xmath1112 is one , from , we conclude @xmath1151      we next assume that @xmath385 is not parallel to any component of @xmath1108 .
let @xmath1153 be components of @xmath1108 each of which is non - peripheral in @xmath4 .
let @xmath566 and set @xmath1154 ( cf .
it is possible that two curves @xmath1155 and @xmath1156 are homotopic in @xmath4 . in this case
, we recognize @xmath1157 in .
however , for the simplicity of the discussion , we shall assume that any two of @xmath1158 are not isotopic .
the general case can be treated in a similar way .
let @xmath1159 be the holomorphic quadratic differential on @xmath4 whose vertical foliation is @xmath1160 .
since @xmath1161 in @xmath351 , @xmath1159 tends to @xmath1111 in @xmath1162 ( cf .
see also theorem 21.3 in @xcite ) .
let @xmath1163 and @xmath1164 denote the characteristic annuli of @xmath1159 for @xmath385 and @xmath393 , respectively . set @xmath1165 and @xmath1166 to be closed trajectories in homotopic to @xmath385 and @xmath393 , respectively .
let @xmath1167 be the closure of the component of @xmath1168-neighborhood of the cores @xmath1166 , containing @xmath1163 . by definition
, we may identify @xmath1167 with @xmath668 .
let @xmath1169 be the geodesic representation of @xmath495 with respect to @xmath1159 .
we fix an orientation on @xmath1165 .
let @xmath220 be a component of @xmath1170 .
let @xmath1171 be the set of points @xmath1172 such that the horizontal ray @xmath1173 departing at @xmath249 from the right of @xmath220 terminates at a curve in @xmath1174 before intersecting @xmath220 twice .
let @xmath1175 be the set of @xmath1172 such that @xmath1173 terminates at a critical point of @xmath1159 .
then , we claim      let @xmath1178 .
suppose @xmath1179 .
since the completion @xmath1116 with respect to the punctures is closed , @xmath1173 is recurrent ( cf .
 10 of chapter iv in @xcite ) . by the definition of @xmath1171 and @xmath1180
, @xmath1173 intersects @xmath220 at least twice before intersecting curves in @xmath1174 .
hence , @xmath1173 contains a consecutive horizontal segments @xmath1134 and @xmath1181 such that each @xmath1182 intersects @xmath220 only at its endpoints , and does not intersect any curves in @xmath1174 .
when one of the segments , say @xmath1134 , connects both sides of @xmath220 , @xmath220 contains a vertical segment @xmath1183 connecting endpoints of @xmath1182 , and two trajectories @xmath1134 and @xmath1183 make a closed curve @xmath242 on @xmath4 .
since the two ends of @xmath1182 terminate at @xmath220 from different sides , the intersection number satisfies @xmath1184 and is greater than or equal to the width of @xmath1163 , by proposition [ prop_strebel_stepcurve ] .
therefore @xmath242 is non - trivial and non - peripheral in @xmath4 . since @xmath1182 does not intersect @xmath1166 , @xmath242
is contained in @xmath1167 , where we have identified with @xmath668 .
furthermore , @xmath242 is not peripheral in @xmath668 because @xmath242 has non - trivial intersection with @xmath385 . by definition ,
@xmath242 does not intersect all @xmath495 , which is a contradiction because @xmath1105 fills @xmath668 up .
we assume that two ends of each @xmath1182 terminate at @xmath220 from the same side . in this case
, we can also construct a simple closed step curve @xmath242 with the property stated in proposition [ prop_strebel_stepcurve ] from @xmath1134 , @xmath1181 and a subsegment of @xmath220 ( cf .
figure [ fig : delta ] ) .
: there are two cases . in the case
( 1 ) , the initial point of @xmath1134 and the terminal point of @xmath1181 are separated by the terminal point of @xmath1134 .
the case ( 2 ) describes the other case.,height=188 ]    this is a contradiction as above .
thus we conclude that @xmath1176 .
we show that @xmath1177 is open in @xmath220 .
let @xmath1185 such that the horizontal ray @xmath1173 defined above does not terminate at critical points of @xmath1159 . by definition , the horizontal ray @xmath1173 terminate the interior of a straight arc contained in either @xmath1186 or @xmath1187 .
hence , when @xmath1188 is in some small neighborhood of @xmath249 , @xmath1189 also terminates at such a straight arc , and hence @xmath1190 for all point @xmath873 in a small neighborhood of @xmath249 .
let us return to the proof of case 2 of the lemma .
let @xmath220 be a component of @xmath1191 . by definition , for @xmath1192
, @xmath1173 terminates at @xmath220 at most once before intersecting curves in @xmath1193 .
since any horizontal ray @xmath1173 with @xmath1179 can terminate at a curve in @xmath1174 from at most two sides .
hence for almost all point @xmath273 in a curve in @xmath1174 , there are at most @xmath1194 points in @xmath1171 such that the horizontal rays emanating there land at @xmath273 . from claim 2 , we get @xmath1195 where @xmath1196 means linear measure . since @xmath1186 is the geodesic representative of @xmath495 , the number of components of @xmath1170 is @xmath1197 therefore , we obtain @xmath1198 since @xmath1159 tends to @xmath1111 as @xmath1199 , for all @xmath1200 we find an @xmath566 such that @xmath1201 by corollary 21.2 in @xcite and the cauchy - schwarz inequality , where @xmath1202 from .
notice that the number @xmath1203 of components of @xmath1108 satisfies @xmath1204 .
indeed , we fix a hyperbolic metric on @xmath4 and realize @xmath668 as a convex hyperbolic subsurface of @xmath4 .
let @xmath1205 and @xmath1206 be the genus and the number of punctures in @xmath668 . since @xmath1207 and @xmath668 is essential , by comparing to the hyperbolic area , we have @xmath1208 and hence @xmath1204 .
j. alonso , t. brady , d. cooper , v. ferlini , m. lustig , m. mihalik , m. shapiro , h. short , notes on word hyperbolic groups , _ group theory from a geometrical viewpoint _
( trieste , 1990 ) , 363 , world sci . publ . ,
river edge , nj , ( 1991 ) .
a. douady , a. fathi , d. fried , f. laudenbach , v. ponaru , and m. shub , _ travaux de thurston sur les surfaces _ , sminaire orsay ( seconde dition ) .
astrisque no .
66 - 67 , socit mathmatique de france , paris ( 1991 ) .
n. ivanov , isometries of teichmller spaces from the point of view of mostow rigidity , _ topology , ergodic theory , real algebraic geometry _ ( eds .
turaev , v. , vershik , a. ) , 131149 , amer .
2 , vol * 202 * , american mathematical society ( 2001 ) .