For two measured laminations $ν^+$ and $ν^-$ that fill up a hyperbolizable surface $S$ and for $t \in (-\infty, \infty)$, let $L_t$ be the unique hyperbolic surface that minimizes the length function $e^t l(ν^+) + e^{-t} l(ν^-)$ on Teichmuller space. We characterize the curves that are short in $L_t$ and estimate their lengths. We find that the short curves coincide with the curves that are short in the surface $G_t$ on the Teichmuller geodesic whose horizontal and vertical foliations are respectively, $e^t ν^+$ and $e^{-t} ν^-$. By deriving additional information about the twists of $ν^+$ and $ν^-$ around the short curves, we estimate the Teichmuller distance between $L_t$ and $G_t$. We deduce that this distance can be arbitrarily large, but that if $S$ is a once-punctured torus or four-times-punctured sphere, the distance is bounded independently of $t$.
We show that for every simple closed curve α, the extremal length and the hyperbolic length of αare quasi-convex functions along any Teichmuller geodesic. As a corollary, we conclude that, in Teichmuller space equipped with the Teichmuller metric, balls are quasi- convex.
Given a measured geodesic lamination on a hyperbolic surface, grafting the surface along multiples of the lamination defines a path in Teichmuller space, called the grafting ray. We show that every grafting ray, after reparametrization, is a Teichmuller quasi-geodesic and stays in a bounded neighborhood of a Teichmuller geodesic. As part of our approach, we show that grafting rays have controlled dependence on the starting point. That is, for any measured geodesic lamination Lambda, the map of Teichmuller space which is defined by grafting along Lambda is L-Lipschitz with respect to the Teichm…
We show that both Teichmuller space (with the Teichmuller metric) and the mapping class group (with a word metric) have geodesic divergence that is intermediate between the linear rate of flat spaces and the exponential rate of hyperbolic spaces. For every two geodesic rays in Teichmuller space, we find that their divergence is at most quadratic. Furthermore, this estimate is shown to be sharp via examples of pairs of rays with exactly quadratic divergence. The same statements are true for geodesic rays in the mapping class group. We explicitly describe efficient paths "near infinity" in both …
Using geodesic length functions, we define a natural family of real codimension 1 subvarieties of Teichmüller space, namely the subsets where the lengths of two distinct simple closed geodesics are of equal length. We investigate the point set topology of the union of all such hypersurfaces using elementary methods. Finally, this analysis is applied to investigate the nature of the Markoff conjecture.
Given a compact orientable surface with finitely many punctures $Σ$, let $\Cal S(Σ)$ be the set of isotopy classes of essential unoriented simple closed curves in $Σ$. We determine a complete set of relations for a function from $\Cal S(Σ)$ to $\bold R$ to be the geodesic length function of a hyperbolic metric with geodesic boundary and cusp ends on $Σ$. As a conse quence, the Teichmüller space of hyperbolic metrics with geodesic boundary and cusp ends on $Σ$ is reconstructed from an intrinsic $(\bold QP^1, PSL(2, \bold Z))$ structure on $\Cal S(Σ)$.
Let $X_0$ be a complete borderless infinite area hyperbolic surface. We introduce Thurston's boundary to the Teichmüller space $T(X_0)$ of the surface $X_0$ using Liouville (geodesic) currents. Thurston's boundary to $T(X_0)$ is identified with the space $PML_{bdd}(X_0)$ of projective bounded measured laminations on $X_0$ which naturally extends Thurston's result for closed surfaces. Moreover, the quasiconformal mapping class group $MCG_{qc}(X_0)$ acts continuously on the closure $T(X_0)\cup PML_{bdd}(X_0)$.
We study the geometry of the Thurston metric on Teichmuller space by examining its geodesics and comparing them to Teichmuller geodesics. We show that, similar to a Teichmuller geodesic, the shadow of a Thurston geodesic to the curve graph is a reparametrized quasi-geodesic. However, we show that the set of short curves along the two geodesics are not identical.
Considering the Teichmüller space of a surface equipped with Thurston's Lipschitz metric, we study geodesic segments whose endpoints have bounded combinatorics. We show that these geodesics are cobounded, and that the closest-point projection to these geodesics is strongly contracting. Consequently, these geodesics are stable. Our main tool is to show that one can get a good estimate for the Lipschitz distance by considering the length ratio of finitely many curves.
The Teichmüller space $\mathcal{T}(Σ)$ of a surface $Σ$ is equipped with Thurston's asymmetric metric. Stretch lines are oriented geodesics for this metric on $\mathcal{T}(Σ)$. We give the asymptotic behavior of the lengths of the measured geodesic laminations as one follows a stretch line in the positive direction.
The set of directions from a quadratic differential that diverge on average under Teichmuller geodesic flow has Hausdorff dimension exactly equal to one-half.
Let $X$ be an infinite geodesically complete hyperbolic surface which can be decomposed into geodesic pairs of pants. We introduce Thurston's boundary to the Teichmüller space $T(X)$ of the surface $X$ using the length spectrum analogous to Thurston's construction for finite surfaces. Thurston's boundary using the length spectrum of $X$ is a "closure" of projective bounded measured laminations $PML_{bdd} (X)$, and it coincides with $PML_{bdd}(X)$ when $X$ can be decomposed into a countable union of geodesic pairs of pants whose boundary geodesics $\{α_n\}_{n\in\mathbb{N}}$ have lengths pinched…
We study how the length and the twisting parameter of a curve change along a Teichmuller geodesic. We then use our results to provide a formula for the Teichmuller distance between two hyperbolic metrics on a surface, in terms of the combinatorial complexity of curves of bounded lengths in these two metrics.
In the Teichmüller space of a hyperbolic surface of finite type, we construct geodesic lines for Thurston's asymmetric metric having the property that when they are traversed in the reverse direction, they are also geodesic lines (up to reparametrization). The lines we construct are special stretch lines in the sense of Thurston. They are directed by complete geodesic laminations that are not chain-recurrent, and they have a nice description in terms of Fenchel-Nielsen coordinates. At the basis of the construction are certain maps with controlled Lipschitz constants between right-angled hyperb…
In this paper we study the convergence behavior of grafting rays to the Thurston boundary of Teichmuller space. When the grafting is done along a weighted system of simple closed curves or along a maximal uniquely ergodic lamination this behavior is the same as for Teichmuller geodesics and lines of minima. We also show that the ray grafted along a weighted system of simple closed curves is at bounded distance from Teichmuller geodesic.
We consider random walks on the mapping class group that have finite first moment with respect to the word metric, whose support generates a non-elementary subgroup and contains a pseudo-Anosov map whose invariant Teichmuller geodesic is in the principal stratum of quadratic differentials. We show that a Teichmuller geodesic typical with respect to the harmonic measure for such random walks, is recurrent to the thick part of the principal stratum. As a consequence, the vertical and horizontal foliations of such a random Teichmuller geodesic have no saddle connections.
We compute the sum of the positive Lyapunov exponents of the Hodge bundle with respect to the Teichmuller geodesic flow. The computation is based on the analytic Riemann-Roch Theorem and uses a comparison of determinants of flat and hyperbolic Laplacians when the underlying Riemann surface degenerates.
We prove that a certain series defines a constant function using Wolpert's formula for the variation of the length of a geodesic along a Fenchel Nielsen twist. Subsequently we determine the value viewing it as function on the the Deligne Mumford compactification and evaluating it at the stable curve at infinity.
A well-known theorem of Wolpert shows that the Weil-Petersson symplectic form on Teichmüller space, computed on two infinitesimal twists along simple closed geodesics on a fixed hyperbolic surface, equals the sum of the cosines of the intersection angles. We define an infinitesimal deformation starting from a more general object, namely a balanced geodesic graph, by which any tangent vector to Teichmüller space can be represented. We then prove a generalization of Wolpert's formula for these deformations. In the case of simple closed curves, we recover the theorem of Wolpert.
We study the Teichmüller metric on the Teichmüller space of a surface of finite type, in regions where the injectivity radius of the surface is small. The main result is that in such regions the Teichmüller metric is approximated up to bounded additive distortion by the sup metric on a product of lower dimensional spaces. The main technical tool in the proof is the use of estimates of extremal lengths of curves in a surface based on the geometry of their hyperbolic geodesic representatives.
We study two $2$-dimensional Teichmüller spaces of surfaces with boundary and marked points, namely, the pentagon and the punctured triangle. We show that their geometry is quite different from Teichmüller spaces of closed surfaces. Indeed, both spaces are exhausted by regular convex geodesic polygons with a fixed number of sides, and their geodesics diverge at most linearly.
We consider the limit set in Thurston's compactification PMF of Teichmueller space of some Teichmueller geodesics defined by quadratic differentials with minimal but not uniquely ergodic vertical foliations. We show that a) there are quadratic differentials so that the limit set of the geodesic is a unique point, b) there are quadratic differentials so that the limit set is a line segment, c) there are quadratic differentials so that the vertical foliation is ergodic and there is a line segment as limit set, and d) there are quadratic differentials so that the vertical foliation is ergodic and…
Extremal length is an important conformal invariant on Riemann surface. It is closely related to the geometry of Teichmuller metric on Teichmuller space. By identifying extremal length functions with energy of harmonic maps from Riemann surfaces to $\mathbb{R}$-trees, we study the second variation of extremal length functions along Weil-Petersson geodesics. We show that the extremal length of any measured foliation is a pluri-subharmonic function on Teichmuller space.
We show that the action of the mapping class group on the space of closed curves of a closed surface effectively tracks the corresponding action on Teichmüller space in the following sense: for all but quantitatively few mapping classes, the information of how a mapping class moves a given point of Teichmüller space determines, up to a power saving error term, how it changes the geometric intersection numbers of a given closed curve with respect to arbitrary geodesic currents. Applications include an effective estimate describing the speed of convergence of Teichmüller geodesic rays to the bou…
There are several Teichmüller spaces associated to a surface of infinite topological type, after the choice of a particular basepoint (a complex or a hyperbolic structure on the surface). These spaces include the quasiconformal Teichmüller space, the length spectrum Teichmüller space, the Fenchel-Nielsen Teichmüller space, and there are others. In general, these spaces are set-theoretically different. An important question is therefore to understand relations between these spaces. Each of these spaces is equipped with its own metric, and under some hypotheses, there are inclusions between thes…
Given a sequence of curves on a surface, we provide conditions which ensure that (1) the sequence is an infinite quasi-geodesic in the curve complex, (2) the limit in the Gromov boundary is represented by a nonuniquely ergodic ending lamination, and (3) the sequence divides into a finite set of subsequences, each of which projectively converges to one of the ergodic measures on the ending lamination. The conditions are sufficiently robust, allowing us to construct sequences on a closed surface of genus $g$ for which the space of measures has the maximal dimension $3g-3$, for example. We also s…
For a compact surface $X_0$, Thurston introduced a compactification of its Teichmüller space $\mathcal T(X_0)$ by completing it with a boundary $\mathcal{PML}(X_0)$ consisting of projective measured geodesic laminations. We introduce a similar bordification for the Teichmüller space $\mathcal T(X_0)$ of a noncompact Riemann surface $X_0$, using the technical tool of geodesic currents. The lack of compactness requires the introduction of certain uniformity conditions which were unnecessary for compact surfaces. A technical step, providing a convergence result for earthquake paths in $\mathcal T…
An expansion is developed for the Weil-Petersson Riemann curvature tensor in the thin region of the Teichmüller and moduli spaces. The tensor is evaluated on the gradients of geodesic-lengths for disjoint geodesics. A precise lower bound for sectional curvature in terms of the surface systole is presented. The curvature tensor expansion is applied to establish continuity properties at the frontier strata of the augmented Teichmüller space. The curvature tensor has the asymptotic product structure already observed for the metric and covariant derivative. The product structure is combined with t…
We study the one parameter family of genus 2 Riemann surfaces defined by the orbit of the L-shaped translation surface tiled by three squares under the Teichmüller geodesic flow. These surfaces are real algebraic curves with three real components. We are interested in describing these surfaces by their period matrices. We show that the only Riemann surface in that family admitting a non-hyperelliptic automorphism comes from the 3-square-tiled translation surface itself. This makes the computation of an exact expression for period matrices of other Riemann surfaces in that family by the classic…
Given a measure on the Thurston boundary of Teichmueller space, one can pick a geodesic ray joining some basepoint to a randomly chosen point on the boundary. Different choices of measures may yield typical geodesics with different geometric properties. In particular, we consider two families of measures: the ones which belong to the Lebesgue or visual measure class, and harmonic measures for random walks on the mapping class group generated by a distribution with finite first moment in the word metric. We consider the ratio between the word metric and the relative metric of approximating mapp…
We prove that every Teichmuller geodesic of a finite type surface contains a string of intersecting long, thick and dominant segments, such that the distance between consecutive segments is bounded. This is key to obtaining some results about Teichmuller geodesics which mimic those for hyperbolic geodesics. These results have important applications to results about the geometry of hyperbolic three-manifolds.
We prove by an algebraic method that the embedding of the Teichmuller space in the space of geodesic currents is totally linearly independent. We prove a similar result for all negatively curved surfaces using an ergodic argument.
For a non-uniform lattice in SL(2,R), we consider excursions in cusp neighborhoods of a random geodesic on the corresponding finite area hyperbolic surface or orbifold. We prove a strong law for a certain partial sum involving these excursions. This generalizes a theorem of Diamond and Vaaler for continued fractions. In the Teichmuller setting, we consider invariant measures for the SL(2,R) action on the moduli spaces of quadratic differentials. By the work of Eskin and Mirzakhani, these measures are supported on affine invariant submanifolds of a stratum of quadratic differentials. For a Teic…
Grafting is a method of obtaining new projective structures from a hyperbolic structure, basically by gluing a flat cylinder into a surface along a closed geodesic in the hyperbolic structure, or by limits of that procedure. This induces a map of Teichmuller space to itself. We prove that this map is a homeomorphism by analyzing harmonic maps between pairs of grafted surfaces. As a corollary we obtain bending coordinates for the Bers embedding of Teichmuller space.
We prove a quantitative estimate, with a power saving error term, for the number of simple closed geodesics of length at most $L$ on a compact surface equipped with a Riemannian metric of negative curvature. The proof relies on the exponential mixing rate for the Teichmüller geodesic flow.
We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with the Weil-Petersson Poisson structure. The construction relies on a collection of geodesic lengths identities in hyperbolic geometry which generalize Penner's Ptolemy relation, the trace identities and Wolpert's cosine formula. As a consequence, we derive an explicit formula for t…
This paper is a continuation of the previous paper of the author[M]. We show that an affine deformation space of a hyperbolic surface of type (g,b) can be parametrized by Margulis invariants and affine twist parameters with a certain decomposition of the surface, which are associated with the Fenchel-Nielsen coordinates in Teichmuller theory. W.Goldman and G.Margulis[GM] introduced that a translation part of an affine deformation canonically corresponds to a tangent vector on the Teichmuller space. By this correspondence, we explicitly represent tangent vectors on the Teichmuller space from th…
We give a proof of an unpublished result of Thurston showing that given any hyperbolic metric on a surface of finite type with nonempty boundary, there exists another hyperbolic metric on the same surface for which the lengths of all simple closed geodesics are shorter. (This is not possible for surfaces of finite type with empty boundary.) Furthermore, we show that we can do the shortening in such a way that it is bounded below by a positive constant. This improves a recent result obtained by Parlier in [2]. We include this result in a discussion of the weak metric theory of the Teichmüller s…
We study the geometry of hyperbolic cone surfaces, possibly with cusps or geodesic boundaries. We prove that any hyperbolic cone structure on a surface of non-exceptional type is determined up to isotopy by the geodesic lengths of a finite specific homotopy classes of non-peripheral simple closed curves. As an application, we show that the Thurston asymmetric metric is well-defined on the Teichmüller space of hyperbolic cone surfaces with fixed cone angles and boundary lengths. We compare such a Teichmüller space with the Teichmüller space of complete hyperbolic surfaces with punctures, by sho…
A celebrated result of Mirzakhani states that, if $(S,m)$ is a finite area \emph{orientable} hyperbolic surface, then the number of simple closed geodesics of length less than $L$ on $(S,m)$ is asymptotically equivalent to a positive constant times $L^{\dim\mathcal{ML}(S)}$, where $\mathcal{ML}(S)$ denotes the space of measured laminations on $S$. We observed on some explicit examples that this result does not hold for \emph{nonorientable} hyperbolic surfaces. The aim of this article is to explain this surprising phenomenon. Let $(S,m)$ be a finite area \emph{nonorientable} hyperbolic surface.…
Wolpert's cosine formula on Teichmüller space gives the Weil-Petersson Poisson bracket $\{l_α, l_β\}$ for geodesic length functions $l_α,l_β$ of closed curves $α,β$ as the sum of the cosines of the angle of intersection of the associated geodesics. This was recently generalized to Hitchin representations by Labourie. In this paper, we give a short proof of this generalization using Goldman's formula for the Poisson bracket on representation varieties of surface groups into reductive Lie groups.
We introduce a method for constructing Weil-Petersson (WP) geodesics with certain behavior in the Teichmüller space. This allows us to study the itinerary of geodesics among the strata of the WP completion and its relation to subsurface projection coefficients of their end invariants. As an application we demonstrate the disparity between short curves in the universal curve over a WP geodesic and those of the associated hyperbolic $3$-manifold.
Let $S$ be a closed, oriented surface with a finite (possibly empty) set of points removed. In this paper we relate two important but disparate topics in the study of the moduli space $\M(S)$ of Riemann surfaces: Teichmüller geometry and the Deligne-Mumford compactification. We reconstruct the Deligne-Mumford compactification (as a metric stratified space) purely from the intrinsic metric geometry of $\M(S)$ endowed with the Teichmüller metric. We do this by first classifying (globally) geodesic rays in $\M(S)$ and determining precisely how pairs of rays asymptote. We construct an "iterated ED…
This short survey illustrates the ideas of Teichmuller dynamics. As a model application we consider the asymptotic topology of generic geodesics on a "flat" surface and count closed geodesics and saddle connections. This survey is based on the joint papers with A.Eskin and H.Masur and with M.Kontsevich.
For every positive, continuous and homogeneous function $f$ on the space of currents on a compact surface $\overlineΣ$, and for every compactly supported filling current $α$, we compute as $L \to \infty$, the number of mapping classes $ϕ$ so that $f(ϕ(α))\leq L$. As an application, when the surface in question is closed, we prove a lattice counting theorem for Teichmüller space equipped with the Thurston metric.
A closed Teichmuller geodesic in the moduli space M_g of Riemann surfaces of genus g is called L-short if it has length at most L/g. We show that, for any L > 0, there exist e_2 > e_1 > 0, independent of g, so that the L-short geodesics in M_g all lie in the intersection of the e_1-thick part and the e_2-thin part. We also estimate the number of L-short geodesics in M_g, bounding this from above and below by polynomials in g whose degrees depend on L and tend to infinity as L does.
We prove a quantitative version of the non-uniform hyperbolicity of the Teichmüller geodesic flow. Namely, at each point of any Teichmüller flow line, we bound the infinitesimal spectral gap for variations of the Hodge norm along the flow line in terms of an easily estimated geometric quantity on the flat surface, which is greater than or equal to the flat systole. As applications, we strengthen results of Treviño and Smith regarding unique ergodicity of measured foliations, and give an estimate for the spectral gaps of pseudo-Anosov homeomorphisms based on the location of their axes in the mo…
