arXiv:1803.10801v1 [math.GT] 28 Mar 2018

LENGTH FUNCTIONS ON CURRENTS AND APPLICATIONS TO
DYNAMICS AND COUNTING
VIVEKA ERLANDSSON AND CAGLAR UYANIK

Contents
1. Introduction
2. Background
2.1. Curves on surfaces
2.2. Teichmüller space and the mapping class group
2.3. Measured Laminations
2.4. Geodesic Currents
2.5. Nielsen–Thurston classification
2.6. Length functions and the intersection number
3. Length functions on space of currents
3.1. Length of currents through Liouville currents
3.2. Stable length of currents
3.3. Stable length as a generalization of intersection length
4. Applications to counting curves
4.1. Thurston measure
4.2. Counting with respect to length functions
4.3. Orbits of currents
5. Dynamics of pseudo-Anosov homeomorphisms
References

1
3
3
3
4
6
7
7
11
12
16
18
19
21
22
28
29
34

1. Introduction
Geodesic currents are measure theoretic generalizations of closed curves
on hyperbolic surfaces and they play an important role, among many other
things, in the study of the geometry of Teichmüller space (see, for example,
[Bon86, Bon88]). The set of all closed curves sits naturally as a subset of
the space of currents, and various fundamental notions such as geometric
intersection number and length of curves extend to this more general setting
of currents.
The aim of this (mostly expository) article is twofold. We first explore a
variety of length functions on the space of currents, and we survey recent
1

2

V. ERLANDSSON AND C. UYANIK

work regarding applications of length functions to counting problems. Secondly, we use length functions to provide a proof of a folklore theorem which
states that pseudo-Anosov homeomorphisms of closed hyperbolic surfaces
act on the space of projective geodesic currents with uniform north-south
dynamics, see Theorem 5.1.
More precisely, let S be a closed, orientable, finite type surface of genus
g ≥ 2 and denote the space of geodesic currents on S by Curr(S). By a length
function on Curr(S) we mean a function that is homogeneous and positive
(see Definition 2.2). There are many ways to define a length of a closed
curve on S: a Riemannian metric on S naturally induces a notion of length, a
generating set of π1 (S) gives the notion of word length of a curve, and given
a fixed (filling) curve γ one can consider a combinatorial length given by
the curves intersection number with γ. We will see that all these notions of
length give rise to continuous length functions on Curr(S).
As a first example, in section 2.6, we will see that Bonahon’s intersection
form, which is an extension of the geometric intersection number of curves
to currents, induces a continuous length function on Curr(S). We also use
this intersection form to prove the uniform north-south dynamics result
mentioned above (see section 5).
In section 3 we explore other notions of length of curves that have continuous extensions to length functions on Curr(S). In section 3.1 we use Liouville
currents to extend the length of curves given by any (possibly singular) nonpositively curved Riemannian metric on S to a continuous length function
on Curr(S), as well as the word length with respect to so-called simple generating sets of π1 (S) (see Theorem 3.3 and Corollary 3.5). Next, we explore
length functions with respect to any Riemannian metric on S (respectively
the word length with respect to an arbitrary generating set) and explain why
the corresponding stable lengths extend to continuous length functions on
Curr(S), see Theorem 3.6.
In section 4, we apply the results of section 3 to problems regarding
counting curves on surfaces. Mirzakhani proved that the asymptotic growth
rate of the number of curves of bounded hyperbolic length, in each mapping
class group orbit, is polynomial in the length (see Theorem 4.1 for the precise
statement). We explain how to use continuous length functions on Curr(S)
to generalize her result to other notions of length of curves, and show that the
same asymptotic behavior holds for all lengths discussed above (see Theorem
4.3 and Corollary 4.9). These results appeared in [ES16, Erl16, EPS16] and
here we attempt to give a clear outline of the logic behind these proofs.

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

3

Acknowledgments: We are grateful to David Constantine, Spencer Dowdall,
Ilya Kapovich, Chris Leininger, Kasra Rafi, Juan Souto and Weixu Su for
interesting conversations throughout this project. We thank Dave Futer for
asking a question that led to Corollary 5.6. The first author also thanks the
School of Mathematics at Fudan University and Vanderbilt University for
their hospitality, and gratefully acknowledges support from the NSF grant
DMS-1500180 (A. Olshanskii and M. Sapir).
2. Background
2.1. Curves on surfaces. Throughout this article, we let S be a closed, orientable, finite type surface of genus g ≥ 2. By a curve γ on S we mean a
(free) homotopy class of an immersed, essential, closed curve. That is, the
homotopy class of the image of an immersion of the unit circle S 1 → S,
where the image is not homotopic to a point. We say the curve is simple
if the immersion is homotopic to an embedding. We identify a curve with
its corresponding conjugacy class, denoted [γ], in the fundamental group
π1 (S). Furthermore, we assume curves to be primitive, that is γ , η k for
any k > 1 and η ∈ π1 (S). By a multicurve we mean a union of finitely many
weighted curves, that is
n
Ä

a i γi

i1

where a i > 0 and γi is a curve for each i. We say the multicurve is integral if
a i ∈ Z for all i, and that it is simple if the curves γi are simple and pairwise
disjoint.
2.2. Teichmüller space and the mapping class group. A hyperbolic structure
on a surface S is a collection of charts {(U i , ψ i )} such that
(1) {U i } is an open cover of S,
(2) the map ψ i : U i → H2 is an orientation preserving homeomorphism
onto its image for each i,
(3) For each i, j such that U i ∩ U j , ∅ the restriction of ψ j ◦ ψ−1
to each
i
+
2
component of U i ∩ U j is an element of Isom (H ).
The surface S together with a hyperbolic structure is called a hyperbolic
surface. Cartan–Hadamard theorem asserts that a closed hyperbolic surface
is isometrically diffeomorphic to H2 /Γ where Γ is a torsion free discrete
subgroup of Isom+ (H2 ).
A marked hyperbolic surface is a pair (X, f ) where
(1) X  H2 /Γ is a hyperbolic surface, and
(2) f : S → X is an orientation-preserving homeomorphism.

4

V. ERLANDSSON AND C. UYANIK

Given a marked hyperbolic surface (X, f ), we can pull back the hyperbolic
structure on X by f to one on S. Conversely, given a hyperbolic structure
on S, the identity map id : S → S makes (S, id) into a marked hyperbolic
surface.
The Teichmüller space of S is the set Teich(S)  {(X, f )}/∼ of equivalence
classes of marked hyperbolic surfaces, where two hyperbolic surfaces (X, f )
and (Y, g) are equivalent if g ◦ f −1 is homotopic to an isometry from X to Y.
The mapping class group Mod(S) of S is the group of isotopy classes of
orientation-preserving homeomorphisms of S; in other words,
Mod(S)  Homeo+ (S)/Homeo0 (S)
where Homeo0 (S) is the connected component of the identity in the orientation preserving homeomorphism group Homeo+ (S).
The mapping class group Mod(S) acts on Teich(S) naturally by precomposing the marking map, i.e. for ϕ ∈ Mod(S), and [(X, f )] ∈ Teich(S) choose
a lift Φ ∈ Homeo+ (S) of ϕ and define
ϕ[(X, f )]  [(X, f ◦ Φ)].
2.3. Measured Laminations. A geodesic lamination on S is a closed subset
L of S that is a union of simple, pairwise disjoint, complete geodesics on
S. The geodesics in L are called the leaves of the lamination. A transverse
measure λ on L is an assignment of a locally finite Borel (Radon) measure
λ |k on each arc k transverse to L so that
(1) If k 0 is a subarc of an arc k, then λ |k0 is the restriction to k 0 of λ |k ;
(2) Transverse arcs which are transversely isotopic have the same measure.
A measured lamination is a pair (L, λ) where L is a geodesic lamination and
λ is a transverse measure. In what follows, we will suppress L and write
λ for brevity. The set of measured laminations on S is denoted by ML(S),
and endowed with the weak-* topology: a sequence λ n ∈ ML(S) converges
to λ ∈ ML(S) if and only if

∫

∫
f dλ n −→

k

f dλ
k

for any compactly supported continuous function f defined on a generic
transverse arc k on S.
An easy example of a measured geodesic lamination is given by a simple
curve γ on S, together with the transverse measure λ γ : for each transverse
arc k the transverse measure is the Dirac measure λ γ|k which counts the
number of intersections with γ, i.e. for any Borel subset B of k, we have
λ γ|k (B)  |B ∩ γ|. The set of measured geodesic laminations coming from

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

5

weighted simple curves λ γ is dense in ML(S), see [PH92]. We denote the subset
of ML(S) coming from simple integral multicurves by MLZ (S).
The space of projective measured laminations is defined as the quotient

P ML(S)  ML(S)/R+
and the equivalence class of a measured geodesic lamination in P ML(S) is
denoted by [λ]. We endow P ML(S) with the quotient topology.
The space ML(S) of measured laminations is homeomorphic to R6g−6 and
has a Mod(S)-invariant piecewise linear manifold structure (see, for example,
[PH92]). This piecewise linear structure is given by train track coordinates.
We refer the reader to [Thu80] and [PH92] for a detailed discussion of train
tracks and only recall the relevant notions for our purposes.
Let τ be a smoothly embedded 1-complex in S, i.e. an embedded complex
whose edges are smootly embedded arcs with well-defined tangent lines at
the end-points. A complementary region of τ is the metric completion of a
connected component of S \ τ. We say τ is a train-track on S if in addition it
satisfies the following properties:
(1) at each vertex, called switches, the tangent lines to all adjacent edges
agree
(2) at each vertex the set of adjacent edges can be divided into two sets
according to the direction of the tangent line; we require each of these
sets to be non-empty at every vertex
(3) doubling each complementary region gives a cusped surface with
negative Euler characteristic.
A train-track is called maximal if the complementary regions to τ are all
triangles.
A simple closed curve, or more generally a measured lamination (L, λ),
is carried by τ if there is a smooth map g : S → S such that
(1) g : S → S is isotopic to the identity,
(2) the restriction of g to L is an immersion,
(3) g(L) ⊂ τ.
There is a finite collection of train tracks T  {τ1 , τ2 , . . . , τn } such that for
all λ ∈ ML(S) there is a τi ∈ T which λ is carried by. The set of measured
laminations carried by a train track is full dimensional if and only if the train
track is maximal. Now, each maximal train track τ determines a cone C(τ) in
R6g−6 , given by the solutions to the so called switch equations, and we have a
homeomorphism between all laminations carried by τ and C(τ). Moreover,
the integer points in C(τ) is in one to one correspondence with the integral
multicurves in MLZ (S) carried by τ.

6

V. ERLANDSSON AND C. UYANIK

2.4. Geodesic Currents. Consider a hyperbolic metric ρ on S and let S̃ be
the universal cover equipped with the pullback metric ρ̃. Let G( ρ̃) denote
1 denote the boundary at infinity of
the set of complete geodesics in S̃. Let S∞
S̃. Note that since ρ̃ is hyperbolic, S̃ is isometric to H2 and its boundary is
homeomorphic to the unit circle S 1 . Each geodesic is uniquely determined
1 . Hence we can identify the set of geodesics
by its pair of endpoints on S∞
with the double boundary
1
1
G(S̃)  S∞
× S∞
\ ∆)/(x, y) ∼ (y, x)



where ∆ denotes the diagonal. That is, G(S̃) consists of unordered pair of
distinct boundary points, and we refer to it as the space of geodesics of S̃. Note
that G(S̃) is independent of the metric ρ. Indeed, if ρ0 is another geodesic
metric on S, then the universal cover S̃ equipped with the pullback metric
ρ̃0 is quasi-isometric to H2 and this quasi-isometry extends to a homeomorphism of the boundaries at infinity (see [AL] for the details). Hence G(S̃) is
well-defined without a reference to a metric.
The fundamental group π1 (S) acts naturally on S̃ by deck transformations,
1 and G(S̃). For any (geodesic)
and this action extends continuously to S∞
metric ρ the map
∂ρ : G( ρ̃) → G(S̃)
that maps each geodesic to its pair of endpoints is continuous, surjective and
π1 (S)-invariant, and a homeomorphism when ρ is negatively curved.
A geodesic current on S is a locally finite Borel measure on G(S̃) which
is invariant under the action of π1 (S). We denote the set of all geodesic
currents on S by Curr(S) and endow it with the weak-* topology: A sequence
µ n ∈ Curr(S) of currents converge to µ ∈ Curr(S) if and only if

∫

∫
f dµ n −→

f dµ

for all continuous, compactly supported functions f : G(S̃) → R.
As a first example of a geodesic current, consider the preimage under
the covering map in S̃ of any closed curve γ on S, which is a collection
of complete geodesics in S̃. This defines a discrete subset of G(S̃) which is
invariant under the action of π1 (S). The Dirac (counting) measure associated
to this set on G(S̃) gives a geodesic current on S.
The map from the set of curves on S to Curr(S) that sends each curve to
its corresponding geodesic current, as above, is injective. Hence, we view
the set of curves on S as a subset of Curr(S). In fact, Bonahon showed that
the set of all weighted curves is dense in Curr(S) [Bon86]. We identify a curve
γ with the current it defines, and by abuse of notation we denote both by γ.

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

7

Another important subset of geodesic currents is given by measured laminations. Let (L, λ) be a measured lamination and consider its preimage L̃
in S̃ which is a collection of pairwise disjoint complete geodesics. The lift L̃
is a discrete subset of G(S̃) which is π1 (S)-invariant. Hence the associated
Dirac measure on L defines a geodesic current on S. Moreover this measure
agrees with the transverse measure λ, see [AL] for the details. Hence we
view ML(S) as a subset of Curr(S) as well.
A current ν ∈ Curr(S) is called filling if every complete geodesic in S̃
transversely intersects a geodesic in the support of ν in G(S̃). Note that this
definition agrees with the classical notion of filling curves: a curve γ defines
a filling current if and only if γ is filling as a curve, i.e. S \ γ is a union of
topological disks.
2.5. Nielsen–Thurston classification. Thurston discovered a Mod(S)-equivariant
compactification of the Teichmüller space by the space of projective measured laminations (see section 2.3 for definitions) and using the action of
Mod(S) on Teich(S)  Teich(S) ∪ P ML(S) showed:
Theorem 2.1 (Nielsen-Thurston classification). [Thu88, FLP12] Each ϕ ∈
Mod(S) is either periodic, reducible or pseudo-Anosov. Furthermore, pseudoAnosov mapping classes are neither periodic nor reducible.
Here ϕ ∈ Mod(S) is called periodic if there exist a k ≥ 0 such that ϕ k is
isotopic to the identity. The map ϕ is called reducible if there is a collection
C of disjoint simple curves on S such that ϕ(C) is isotopic to C. Finally,
ϕ ∈ Mod(S) is called pseudo-Anosov if there exists a filling pair of transverse,
measured laminations (L + , λ+ ) and (L − , λ− ), a number α > 1 called the
stretch factor, and a representative homeomorphism ϕ0 of ϕ such that
ϕ0(L + , λ+ )  (L + , αλ+ )
and

1
λ − ).
α
The measured laminations (L + , λ+ ) and (L − , λ− ) are called the stable lamination and the unstable lamination respectively. We will suppress the L and
write λ + and λ − respectively.
ϕ0(L − , λ− )  (L − ,

2.6. Length functions and the intersection number.
Definition 2.2. A length function on the space of geodesic currents is a map
` : Curr(S) → R which is homogeneous and positive, i.e.
`(aµ)  a`(µ)

8

V. ERLANDSSON AND C. UYANIK

for any a > 0 and µ ∈ Curr(S), `(µ) ≥ 0 for all µ ∈ Curr(S) and `(µ)  0 iff
µ  0.
We say that a map ` on the set of curves on S is a length function if it is
a positive function, i.e. `(γ) > 0 for all curves γ on S. Note that this agrees
with the definition above, when viewing the set of curves as a subset of the
space of geodesic currents, since we assume all curves to be primitive and
essential.
Given two curves γ, η on S, their (geometric) intersection number, denoted
i(γ, η), is defined as the minimum number of transverse intersections between all transverse representatives of the homotopy classes of γ and η.
That is

i(γ, η)  min |γ0 t η0 | | γ0 ∼ γ, η0 ∼ η
where ∼ denotes homotopic.
We note that i(γ, γ)  0 if and only if γ is a simple curve. Moreover,
an equivalent description of the intersection number of two distinct curves
γ and η is the following. Let ρ be a hyperbolic metric on S and S̃ be the
universal cover equipped with the pullback metric ρ̃. Let γ̃ be a geodesic
representative of a lift of γ to S̃. Let x be a point on γ̃ and consider the
bounded segment δ γ of γ̃ between x and γ(x). Consider the set of lifts of η
and take their geodesic representatives. Then the intersection number i(γ, η)
is exactly the same as the number of the lifts of η that intersect (necessarily
transversely) δ γ . This description of the intersection number will be helpful
below.
Viewing the set of curves as a subspace of the space of geodesic currents, it
is natural to ask if the intersection number extends, in a nice way, to Curr(S).
Indeed, Bonahon [Bon88] showed that there is a unique continuous extension
of the intersection number to the space of geodesic currents:
Theorem 2.3. [Bon88, Proposition 4.5] There is a unique continuous, symmetric,
bilinear form
i(·, ·) : Curr(S) × Curr(S) → R≥0
such that i(γ, η) agrees with the geometric intersection number whenever γ, η are
curves on S.
Here we give the definition of this intersection form and explain how
it induces length functions on Curr(S). For the definition we follow the
exposition presented in [AL] and refer to that paper for more details. Let
G 2 (S̃) ⊂ G(S̃) × G(S̃) be the subset defined by
G 2 (S̃) 





{x, y}, {z, w} ∈ G(S̃) × G(S̃) \ ∆ |{x, y}, {c, d} link

where ∆ represents the diagonal and we say that {x, y} and {z, w} link if x
1 \ {z, w}. Equivalently, G 2 (S̃)
and y belong to different components of S∞

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

9

consists of pairs of geodesics in S̃ that intersect transversely. The action of
π1 (S) on S̃ induces a free and properly discontinuous action o G 2 (S̃) and
hence the quotient map
G 2 (S̃) → G 2 (S̃)/π1 (S)
is a covering map. We define
G 2 (S)  G 2 (S̃)/π1 (S).
Now, let µ, ν ∈ Curr(S). Then µ × ν is a product measure on G(S̃) × G(S̃) and
hence on G 2 (S̃). This descends to a measure on G 2 (S) by locally pushing
forward µ × ν through the covering map, and the intersection of µ and ν is
defined as the µ × ν-mass on G(S). That is
i(µ, ν) 

∫
dµ × dν.
G 2 (S)

Let γ be a curve and identify it with the current it defines. Let µ ∈ Curr(S).
Then i(γ, µ) can be defined as follows. As above, choose a hyperbolic metric
ρ on S and consider the universal cover S̃ equipped with the pullback metric
ρ̃. Take a lift of γ and let γ̃ be its geodesic representative. Let x be a point on
γ̃ and consider the geodesic segment η γ from x to γ(x). Let G(η γ ) denote the
set of geodesics that transversely intersect η γ and ∂ρ G(η γ ) the subset of G(S̃)
obtained by identifying each geodesic in G(η γ ) with its pair of endpoints on
1 . Then
S∞

i(γ, µ)  µ ∂ρ G(η γ ) ,
see Figure 1. In particular, we see that when µ is also (the current associated to) a curve on S, then the intersection form agrees with the geometric
intersection number of curves on S.
We record some useful facts about the intersection form:
(1) If ν ∈ Curr(S) is filling, then i(ν, µ) , 0 for all µ ∈ Curr(S) \ {0}.
(2) The intersection form is invariant under Mod(S). That is, if g ∈
Mod(S) then i(µ, ν)  i(g(µ), g(ν)) for any µ, ν ∈ Curr(S).
(3) i(µ, µ)  0 if and only if µ ∈ ML(S).
(4) If ν ∈ Curr(S) is filling and L > 0, then the set
{µ ∈ Curr(S) | i(µ, ν) ≤ L}
is a compact set.
The first two statements follow from the definition of the intersection form,
while the last two are results by Bonahon, see [Bon86].
We define the space of projective geodesic currents to be

PCurr(S)  (Curr(S) \ {0}) /R+ .

10

V. ERLANDSSON AND C. UYANIK

J

x

•γ̃x

•

I

Figure 1. Intersection of a curve γ with a current µ: i(γ, µ) 
µ(I × J). Here η γ is represented by the solid blue segment and
∂ρ G(η γ )  I × J.
It follows from (4) above that PCurr(S) is a compact space.
Next we show how to obtain continuous length functions on Curr(S) from
the intersection form. Fix a filling current ν ∈ Curr(S). Define
` ν (µ)  i(ν, µ)
for all µ ∈ Curr(S). By the linearity and continuity of the intersection form,
` ν is continuous and homogenous on Curr(S). Furthermore, since ν is filling,
it follows from (1) above that ` ν is positive. Hence the function above defines
a continuous length function
` ν : Curr(S) → R.
Moreover, this is the unique continuous extension of the length function on
the set of curves defined by
` ν (γ)  i(ν, γ)
for all curves γ on S. In section 3 we will see that many other notions of
lengths of curves have unique continuous extensions to length functions on
Curr(S).
We end this section by noting that the intersection form can also be defined
for geodesic currents of surfaces with boundary, and refer reader to [DLR10]
for the definitions. For simplicity of the exposition we assume throughout
that S is a closed surface although the results presented here have generalizations that also hold for the case of compact surfaces. In the presence of
cusps however, the intersection form (when defined) is no longer continuous
unless we restrict our attention to currents with compact support.

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

11

3. Length functions on space of currents
Recall that by a curve on S we mean a free homotopy class of a primitive
closed curve, and we view the set of curves on S as a subset of Curr(S). As
before, a length function on Curr(S) is a positive, homogenous function, and
a length function on the set of curves is any positive function. In section 2.6
we saw that the geometric intersection number on the set of curves extends
continuously to a bilinear form on pairs of currents and hence, fixing a filling
curve (or current) ν, the length function
` ν (γ)  i(ν, γ)
on the set of curves, extends continuously to a length function on currents,
defined by
` ν (µ)  i(ν, µ)
for all µ ∈ Curr(S). There are many ways to define the length of a curve
on a surface and it is natural to ask which other notions of length extends
continuously to the space of currents. More concretely, let ρ be a (possibly singular) Riemannian metric on S. Then ρ naturally induces a length
function ` ρ (·) on the set of curves where the length of a curve γ is defined
to be the ρ-length of a shortest representative of γ. In the case when ρ is
a negatively curved metric, this is the length of the unique geodesic representative in the homotopy class of γ. Another natural length function on
the set of curves is given by first identifying a curve on S with a conjugacy
class in the fundamental group π1 (S) and, then for a fixed a generating set of
π1 (S), defining the length of a curve to be the minimal number of generators
needed to represent the corresponding conjugacy class. In general, given a
geodesic metric space (X, d) on which π1 (S) acts discretely and cocompactly
by isometries, one can ask whether the translation length of a curve γ
` X (γ)  inf d(x, γ(x))
x∈X

(3.1)

extends continuously to a length function on the space of currents. Note
that when X is the universal cover of S equipped with a Riemannian metric,
or X is the Cayley graph with respect to a generating set of π1 (S), this length
agrees with the notions described above.
We will see that in many cases such a continuous extension exists. In
particular, in section 3.1 below, we explain why it exists for any (possibly
singular) non-positively curved Riemannian metric on S, through the use
of Liouville currents and their relation to the intersection form on Curr(S).
Similar arguments show that the word length with respect to certain (wellchosen) generating sets extends continuously to a length function on the
space of currents.

12

V. ERLANDSSON AND C. UYANIK

However, such a continuous extension does not always exist. Instead, we
will see in section 3.2 that the stable length function defined by
1
` X (γ n )
n→∞ n
always extends continuously to a length function on Curr(S).
Finally, in section 3.3, we will see that the two approaches of defining
an extension (using intersection with a special current, and considering the
stable length) are intimately related.
sl X (γ)  lim

3.1. Length of currents through Liouville currents. In this section we explain how the length function of curves with respect to any (possibly singular) non-positively curved Riemannian metric on S can be extended continuously to a length function on the space of currents on S.
First, fix a hyperbolic metric ρ on S. The hyperbolic length of a homotopy
class of a closed curve γ is defined as the length of the ρ-geodesic representative, and denoted by ` ρ (γ). There exists a current associated with ρ, called
its Liouville current and denoted by L ρ , whose intersection form with curves
on S determines the length function induced by ρ, that is:
i(γ, L ρ )  ` ρ (γ)

(3.2)

for all curves γ on S.
Here we describe two equivalent definitions of the Liouville current and
refer reader to [AL, Bon88, HP97, Ota90] for more details. Recall that a
current is a π1 (S)-invariant Radon measure on
1
1
G(S̃)  S∞
× S∞
\ ∆ /(x, y) ∼ (y, x).



First we define the Liouville measure L on the hyperbolic plane H2 . Let G(H2 )
denote the set of all bi-infinite geodesics in H2 , which we identify with their
endpoints on the unit circle S 1 . Let [a, b] and [c, d] be two non-empty disjoint
intervals on S 1 . Define
L ([a, b] × [c, d])  log

(a − c)(b − d)
(a − d)(b − c)

(3.3)

whenever a, b, c, d are four distinct points, and set L ([a, b] × [c, d])  0 if
one of the intervals is a singleton. The map L extends uniquely to a Radon
measure on G(H2 ) (see [Bon88]) and is invariant under the action of π1 (S)
since the cross-ratio in (3.3) is invariant under this action. In the disk model
of H2 we have, using local coordinates (e iα , e iβ ),
Lρ 

dαdβ
|e iα − b iβ | 2

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

13

where dαdβ is the Lebesgue measure defined by the Euclidean metric on
S1 , and in particular L is absolutely continuous with respect to the Lebesgue
measure (see, for example, [AL]). Now, given a hyperbolic metric ρ on S
the universal cover S̃ with the pull-back metric ρ̃ is isometric to H2 and the
1 is homeomorphic to S 1 . We define L , the Liouville current
boundary S∞
ρ
with respect to ρ, to be the pull-back of L through this homeomorphism.
Alternatively, one can define the Liouville current in the following way. Let
η̃ be a ρ̃-geodesic arc in S̃, parametrized at unit-speed by η̃ : (−a, a) → η̃(t).
Let G( η̃) denote the set of all ρ̃-geodesics in S̃ that intersect η̃ transversely.
Note that each geodesic in G(η̃) is uniquely determined by its point of
intersection η̃(t) with η̃ and its angle of intersection (chosen in an arbitrary
but consistent way). This gives rise to a homeomorphism
h η : (−a, a) × (0, π) → G(η̃).
Consider the measure on (−a, a) × (0, π) defined by
1
ds  sin(θ)dθdt.
2
We push forward this measure through h η to obtain a measure on G( η̃).
Lastly, we further push the measure forward through the homeomorphism
∂ρ : G( ρ̃) → G(S̃)
which maps each geodesic in G( η̃) to its endpoints. The resulting measure
is a Radon measure on G(S̃). Furthermore, since π1 (S) acts by isometries on
S̃, the measure is invariant under its action. This measure is the Liouville
measure L ρ and agrees with the previous definition.
While the closed formula in the first definition makes it easier to state, the
construction involved in the latter makes (3.2) more natural to see. Indeed,
integrating ds over G( η̃) for a unit-speed parametrized geodesic arc η̃ gives
exactly the length of η̃.
The existence of Liouville currents for hyperbolic metrics allows us to
embed the Teichmüller space of S into the space of geodesics currents, as
shown by Bonahon [Bon88]. More precisely, let (X, f ) be a point in the
Teichmüller space, and ` X and L X be the corresponding length function on
curves and the Liouville current, respectively. Then, we have:
Theorem 3.1. [Bon88] The map
(X, f ) 7→ L X
defines an embedding Teich(S) ,→ Curr(S) satisfying
i(γ, L X )  ` X (γ)
for all curves γ on S.

14

V. ERLANDSSON AND C. UYANIK

Note that, since the intersection form is continuous and bilinear on Curr(S)×
Curr(S), as discussed in section 2.6, the hyperbolic length function has a continuous extension to a length function on Curr(S) by setting
` ρ (µ)  i(µ, L ρ )
for all µ ∈ Curr(S). The positivity of this function follows from the fact that
the Liouville current is filling and hence i(µ, L ρ )  0 if and only if µ is the
0-current. Moreover, this extension is unique due to the following theorem
by Otal [Ota90].
Theorem 3.2. [Ota90] Suppose µ1 , µ2 ∈ Curr(S). If i(µ1 , γ)  i(µ2 , γ) for all
curves γ on S, then µ1  µ2 .
More generally, let ρ be any metric on S, and let ` ρ (γ) denote the length
of a shortest representative in the homotopy class of a curve γ. We say L ρ is
a Liouville current for ρ if equation (3.2) holds, that is
i(γ, L ρ )  ` ρ (γ)
for all curves γ on S. Note that when such a current exists it must be unique
and is necessarily a filling current.
As explained above, a Liouville current exists for any hyperbolic metric on S. Otal [Ota90] showed the existence of a Liouville current for any
(variable) negatively curved metric on S. By work of Duchin-LeiningerRafi [DLR10] and Bankovic-Leininger [BL18] such a current also exists for
any non-positively curved Euclidean cone metric on S. Finally, Constantine
[Con18] extended these results to any non-positively curved (singular) Riemannian metric, giving the Liouville current associated to any such metric
(in fact, also for the larger class of so-called no conjugate points cone metrics,
see [Con18] for the definition). We record a consequence of this sequence of
results here:
Theorem 3.3. [Con18, Proposition 4.4] Let ρ be any (possibly singular) nonpositively curved Riemannian metric on S and let ` ρ (γ) denote the ρ-length of a
shortest representative in the homotopy class of γ. Then the length function ` ρ on
the set of curves extends continuously to a length function
` ρ : Curr(S) → R.
Moreover, this extension is unique.
We note that Liouville currents also exist in other settings. Notably,
Martone–Zhang proved the existence of such currents in the context of
Hitchin and maximal representations, see [MZ16] for details. In another
direction, Sasaki proved the existence of a bilinear intersection functional on

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

15

the space of subsets currents on surfaces, and proved Liouville type equalities, [KN13, Sas17]. We refer interested reader to these papers as they are
beyond the scope of this paper.
From a more algebraic viewpoint, one can consider the word metric on
π1 (S) with respect to a fixed generating set: We choose a base point p on
S and identify the elements of π1 (S) with loops based at p. Since this
group is finitely generated, we choose a finite, symmetric generating set
G  { g1±1 , g 2±1 , . . . , g ±1
n }. Given a conjugacy class [γ] (or, equivalently, a
homotopy class of a curve γ) we define the word length of the conjugacy
class [γ] with respect to G to be

n

` G (γ)  min |k 1 | + |k2 | + · · · |k m | |

g ik11 g ik22

···

g ikmm

o

∈ [γ] .

Note that this definition is independent of the choice of representative of
[γ].
We say a generating set G is simple if the loops g i in G are simple and
pairwise disjoint except at the base point p (see Figure 2 for an example). Note that there are many such generating sets, including any one
vertex triangulation of S or the standard generating set for a genus g surface
{a 1 , b 1 , a 2 , b 2 , . . . a g , b g } with the relation [a 1 , b 1 ] · · · [a g , b g ]  1.

η

α

δ

β

γ

Figure 2. A genus 2 surface S with a simple (non-minimal)
generating set G  {α±1 , β±1 , γ±1 , δ±1 , η±1 }.
In [Erl16] it is shown that, given a simple generating set G, there exists a
collection of curves ν  ν(G), depending only on the generating set, such
that the word length of a curve is given exactly by its geometric intersection
number with this curve:
Theorem 3.4. [Erl16, Theorem 1.2] Let G be a simple generating set for π1 (S).
Then there exists a collection of curves ν  ν(G) on S such that
` G (γ)  i(ν, γ)
for all curves γ in S. Moreover, ν is unique with this property.

16

V. ERLANDSSON AND C. UYANIK

By viewing the set of curves as a subset of Curr(S), if G is a simple generating set for π1 (S), then the above results says that there exists a (unique)
Liouville current associated to the corresponding word metric. In particular,
it follows that the word length extends continuously to the space of currents:
Corollary 3.5. [Erl16, Corollary 1.3] Let G be a simple generating set for π1 (S).
Then the word length with respect to G on the set of curves extends continuously to
a length function
` G : Curr(S) → R.
Moreover, this extension is unique.
3.2. Stable length of currents. There are many notions of lengths not covered by the Liouville currents explained above. Two such occasions are the
length of a curve with respect to a Riemannian metric which attains positive
curvature values at places, and the word length with respect to a non-simple
generating set. In fact, in these settings such currents do not necessarily
exist. For instance, if we consider the word metric with respect to a nonsimple generating set then we observe that the length function cannot extend
continuously to a length function on the space of geodesic currents. To see
this, consider the case where S is the once-punctured torus and let a, b be
the standard generators for the free group π1 (S). Then, the word length
with respect to the generating set G  {a ±1 , b ±1 , a ±2 }, does not extend to
a continuous homogeneous
function on Curr(S). Indeed, the sequence of

1 2n
currents 2n a b converges to the current a as n → ∞ and hence if such a
function ` G existed, continuity would imply that
`G





1 2n
a b → ` G (a)  1
2n

while, on the other hand, homogeneity would imply
`G



1 2n
1
n+1
1
a b 
` G (a 2n b) 
→
2n
2n
2n
2



as n → ∞, a contradiction.
However, as shown in [EPS16], if we consider the stable length of curves
instead, which we describe below, this length function always extends continuously to the space of geodesic currents.
Let X be any geodesic metric space on which π1 (S) acts discretely and cocompactly by isometries. For a conjugacy class [γ] in π1 (S) (or, equivalently,
a curve γ on S), define its translation length ` X (γ) with respect to X as in
(3.1). Then the stable length of [γ] is defined to be
1
1
sl X (γ)  lim ` X (γ n )  lim
inf d(x, γ n (x)).
n→∞ n
n→∞ n x∈X

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

17

Again, this definition is independent of the choice of the representative in
the conjugacy class. In [EPS16] it is shown that, with X as above, this notion
of length always extends continuously to Curr(S):
Theorem 3.6. [EPS16, Theorem 1.5] Let X be a geodesic metric space on which
π1 (S) acts discretely and cocompactly by isometries. Then the stable length function
sl X on the set of curves extends continuously to a length function
sl X : Curr(S) → R.
Moreover, this extension is unique.
The proof of Theorem 3.6 is rather involved, with the main difficulty being
how to define the stable length of a current, and we will not explain it here,
but refer reader to [EPS16]. Instead we give some consequences of Theorem
3.6. If we equip S with any Riemannian metric and let X be its universal
cover S̃ we immediately get the following corollary:
Corollary 3.7. Let ρ be any Riemannian metric on S. For a curve γ, let ` ρ (γ) be
the ρ-length of a shortest representative. Then the stable length defined by
1
` ρ (γ n )
n→∞ n
has a unique continuous extension to a length function
st ρ (γ)  lim

st ρ : Curr(S) → R+ .
Similarly, if we let X be the Cayley graph with respect to a finite generating
set of π1 (S) we also have:
Corollary 3.8. Let G be any finite generating set for π1 (S). Let ` G (γ) denote the
shortest word length of a representative in the conjugacy class of γ. Then the stable
length defined by
1
st G (γ)  lim ` G (γ n )
n→∞ n
has a unique continuous extension to a length function
st G : Curr(S) → R+ .
We remark that in [EPS16] Theorem 3.6 was proved in a more general setting, namely when the surface group is replaced by any torsion free Gromov
hyperbolic group Γ. It is shown that in this setting, the corresponding stable
length of a conjugacy class extends to a continuous length function on the
space of (oriented) currents on Γ. This space, introduced by Bonahon [Bon91]
and denoted Curr(Γ), is defined to be the set of Γ-invariant Radon measures
on the double boundary
(∂Γ × ∂Γ \ ∆) /∼

18

V. ERLANDSSON AND C. UYANIK

where ∂Γ is the Gromov boundary of Γ and where we identify (γ1 , γ2 ) with
(γ2 , γ1 ) (see, for example, [KB02]). Since we will not use this more general
setting here we refer to [Bon91] and [EPS16] for the precise definitions.
We also remark that Theorem 3.6 was proved by Bonahon [Bon91] in the
case when X is "uniquely geodesic at infinity", i.e. any two points on the
(Gromov) boundary at infinity of X determine a unique geodesic between
them. However, this condition is not satisfied in general for the universal
cover of Riemannian metrics, nor for Cayley graphs.
Finally we note that, in [Bon91], Bonahon remarks that it should be possible to remove not only the uniquely geodesic hypothesis, which Theorem
3.6 proves, but also the cocompact assumption. The proof of Theorem 3.6
in [EPS16] still requires Γ to act cocompactly on X and it is an interesting
question whether it is a necessary condition.
Question 3.9. Does Theorem 3.6 still hold for a surface group that acts
discretely, but not cocompactly on X?
It should be noted that the assumption on the action to be discrete cannot
be removed, as shown by Bonahon [Bon91].
3.3. Stable length as a generalization of intersection length. At first glance,
extending length of curves to length functions on currents through the intersection length or by considering the stable length might seem like very
different approaches. However, as we will observe below, the two notions
can be unified: given a filling current ν one can construct a metric space
(X, d) on which π1 (S) acts discretely and cocompactly by isometries, and
such that
sl X (γ)  i(ν, γ)
for all curves γ on S. The basis for our metric is a semi-distance presented
by Glorieux in [Glo17], described below.
Fix a hyperbolic metric ρ on S and let S̃ be the universal covering equipped
with the pull back metric. We define a metric space (X, d) in the following
way. As in section 3.1, for a geodesic arc η̃ let G( η̃) denote the set of geodesics
in S̃ that intersect η̃ transversely. Let ∂ρ G( η̃) denote the image of G( η̃) under
the homeomorphism that maps each geodesic to its pair of endpoints. Let ν
be a filling current in Curr(S). For two distinct points x, y ∈ S̃, define
d 0(x, y)  ν(∂ρ G( η̃))
where η̃ is the geodesic arc connecting x and y. Set d 0(x, x)  0 for all x ∈ S̃.
Note that d 0 is symmetric, i.e. d 0(x, y)  d 0(y, x), and d 0(x, y) ≥ 0 for all
x, y ∈ S̃ (although d 0 might not separate points). Furthermore, by definition

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

19

of the intersection number (see section 2.6), if x lies on the axis of an element
γ ∈ π1 (S) then
d 0(x, γ(x))  i(ν, γ).
(3.4)
Moreover, in [Glo17] it is shown that
(1) d 0 satisfies the triangle inequality, i.e. d 0(x, y) ≤ d 0(x, z) + d 0(z, y) for
all x, y, x ∈ S̃,
(2) i(ν, γ) ≤ d 0(x, γ(x)) for all x ∈ S̃ and γ ∈ π1 (S).
In particular, d 0 is a semi-distance. In [Glo17] d 0 was used to find the critical
exponent for geodesic currents, here we use it to construct our desired metric
space. Define
X  S̃/∼
0
where x ∼ y if and only if d (x, y)  0, equipped with the metric d induced
by d 0. That is,

d [x], [y]  d 0(x, y)
for all [x], [y] ∈ X, where x and y are any representatives of [x] and [y],
respectively. Using 2 above and equation (3.4) we see that the stable length
with respect to X agrees with the length function defined by intersection
with ν:
1
1
sl X (γ)  lim
inf d(x, γ n (x))  lim i(ν, γ n )  i(ν, γ)
n→∞ n x∈X
n→∞ n
for any conjugacy class [γ] in π1 (S) (or, equivalently, any curve γ on S).
Since ν is π1 (S)-invariant, π1 (S) acts by isometries on (X, d) and, since the
action is cocompact on S̃ it is also cocompact on (X, d). Moreover, it is not
hard to see that π1 (S) acts discretely on (X, d) since ν is filling: if there exists
a sequence (γn ) in π1 (S) and x ∈ S̃ such that d(x, γn (x)) → 0 as n → ∞,
then, by 2, i(ν, γn ) → 0 as n → ∞, contradicting the fact that ν is filling.
We have the following result:
Theorem 3.10. Let ν be any filling current. Then there exists a metric space X on
which π1 (S) acts discretely and cocompactly by isometries such that
sl X (γ)  i(ν, γ)
for all curves γ on S.


4. Applications to counting curves

In [Mir08, Mir16] Maryam Mirzakhani gives the asymptotic growth rate
of the number of curves of bounded length, in each Mod(S)-orbit, as the
length grows. As before, by a curve γ on S we mean a free homotopy class
of a closed immersed curve, and its length ` ρ (γ) with respect to a metric ρ
is the ρ-length of a shortest representative. If ρ is negatively curved, this

20

V. ERLANDSSON AND C. UYANIK

is the ρ-length of the unique geodesic representative in the homotopy class.
Given a curve γ0 on S and a hyperbolic metric ρ on S, Mirzakhani showed
that the number of curves in the Mod(S)-orbit of γ0 as L grows is asymptotic
to a constant multiple of L 6g−6 :
Theorem 4.1. [Mir08, Mir16, Theorem 1.1] Let γ0 be a curve on S, and ρ be a
hyperbolic metric on S. Then
#{γ ∈ Mod(S) · γ0 | ` ρ (γ) ≤ L}

 C γ0 · m ρ
L 6g−6
for some C γ0 > 0, and m ρ  m Th ({λ ∈ ML(S) | ` ρ (λ) ≤ 1}) where m Th is the
Thurston measure on ML(S).
lim

L→∞

The constant C γ0 in Theorem 4.1 is independent of the hyperbolic metric
ρ. In fact, Mirzakhani [Mir08] showed that
n γ0
C γ0 
mg
where n γ0 > 0 depends only on γ0 and
mg 

∫
M

m ρ dvolWP

(4.1)

where the integral is taken over the moduli space
M  Teich(S)/Mod(S)
with respect to the Weil–Petersson volume form.
The Thurston measure is the natural Mod(S)-invariant locally finite measure
on ML(S) given by the piecewise linear structure coming from train-track
coordinates. See section 4.1 for details.
The purpose of this section is to discuss a generalization of the theorem
of Mirzakhani above, based on the previous section (see Theorem 4.3). We
will explain why the same asymptotic behavior as in Theorem 4.1 holds for
other metrics on S, in particular for any Riemannian metric. The results
presented are contained in [ES16], [Erl16] and [EPS16]. The idea behind the
proof of the generalization to other metrics crystallized over the above series
of papers, so we provide a unified but brief explanation for the statements
and proofs of these results.
Remark 4.2. Theorem 4.1, as well as its generalization Theorem 4.3 below,
holds for any finite type, orientable surface of negative Euler characteristic
(other than the thrice punctured sphere). That is, we can allow S to have
n punctures or boundary components, and the same asymptotic behavior
holds (where we replace 6g − 6 in the exponent with 6g − 6 + 2n). However,

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

21

somewhat surprisingly, orientability is a necessary condition. For nonorientable surfaces the theorems fail, see [Gen17, Mag17].
4.1. Thurston measure. Recall, from section 2.3, that the space ML(S) of
measured laminations has a Mod(S)-invariant piecewise linear manifold
structure. Moreover, the PL-manifold is equipped with a Mod(S)-invariant
symplectic structure, which gives rise to a Mod(S)-invariant measure in the
Lebesgue class. This is the Thurston measure m Th . It is infinite, but locally
finite, and satisfies
m Th (L · U)  L 6g−6 m Th (U)
for U ⊂ ML(S) and L > 0 (see [Thu80]). Furthermore, as shown by Masur
[Mas85], the Thurston measure m Th is ergodic with respect to the Mod(S)action on ML(S), and is the only (up to scaling) invariant measure in the
Lebesgue class.
In this section we explain how one can see the Thurston measure (up to
scaling) as a limit of a sequence of measures, which gives perhaps a more
intuitive feeling of what this measure is.
For each L, define a measure on ML(S) by
mL 

1
L 6g−6

Õ
γ∈MLZ (S)

δ1γ
L

where δ x denotes the Dirac measure centered at x and MLZ (S) is the subset of
ML(S) corresponding to integral multicurves. We will show that, as L → ∞,
these measures converge to a multiple of the Thurston measure, i.e.
lim

L→∞

1
L6g−6

Õ

δ 1 γ  c · mTh

γ∈MLZ (S)

L

(4.2)

for some c > 0. Note that each m L is Mod(S)-invariant, and hence so is any
limit. We will show that the limit is moreover in the Lebesgue class and it
follows that it must be a multiple of the Thurston measure.
Fix a finite collection T of train tracks, giving the piecewise linear structure
of ML(S). Let τ ∈ T and consider the homeomorphism f τ that maps the
subset of ML(S) consisting of all measured laminations carried by τ to the
corresponding cone C(τ) in R6g−6 (i.e. the set of solutions to the switch
equations of τ). Now, the image under f τ of the set of all integral multicurves
carried by τ corresponds to the integer points in C(τ). Hence pushing the
measure m L forward through f τ we get the following measure on (the cone
in) R6g−6 :
Õ
1
L
m τ  6g−6
δ 1 p.
L
L
6g−6
p∈Z

22

V. ERLANDSSON AND C. UYANIK

First we note that the family (m τL )L is precompact in the space of Radon measures on R6g−6 , meaning that any sequence of measures has a subsequence
that weakly converges to a measure. To see this, let BR be a (closed) ball of
radius R in R6g−6 . We will show that
lim sup m τL (BR ) < ∞.

(4.3)

L→∞

Since the (closed) unit ball is compact in the weak-∗ topology, (4.3) implies
precompactness of (m τL )L . Note that
m τL (BR ) 

#{p ∈ Z6g−6 | p ∈ BR·L }

(4.4)
L 6g−6
and the right hand side converges to the Lebesgue measure of the ball of
radius R. Hence (4.3) holds. Now let m be any limit point of (m τL )L . Then,
(4.4) also implies that m is a translation invariant Borel measure on R6g−6
and hence must be a multiple of the Lebesgue measure (since this is the
unique measure, up to scaling, with this property). We have: For for any
(L n )n with L n → ∞ there exists a subsequence (L n k )k such that
Lnk

mτ

 c ·L

for some c > 0 as k → ∞, where L denotes the Lebesgue measure. Hence, to
prove (4.2) we need to show that c is independent of the subsequence. Note
that, as above,

# p ∈ Z6g−6 | p ∈ BL
L
m τ (B1 ) 
L 6g−6
and the right hand side converges as L → ∞ to the Lebesque measure of the
unit ball B1 . Hence the limit of the right hand side does not depend on the
subsequence and (4.2) follows.
4.2. Counting with respect to length functions. Given a hyperbolic metric
ρ on S and its corresponding Liouville current L ρ , one can replace the length
function ` ρ (·) in Theorem 4.1 with the intersection function i(L ρ , ·). In view
of this, one can consider the following generalization of the limit appearing
in the mentioned theorem:
#{γ ∈ Mod(S) · γ0 | i(ν, γ) ≤ L}
lim
(4.5)
L→∞
L6g−6
where γ0 is a curve on S and ν is any filling current. (Note that we require ν
to be filling to guarantee that there are only finitely many curves intersecting
ν a bounded number of times). In particular, by letting ν be a Liouville
current for another metric, such as a variable negatively curved or Euclidean

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

23

cone metric, this is equivalent to asking if the limit (4.5) exists with respect
to this metric.
In [ES16] it was shown that limit (4.5) exists for any filling current ν, and in
fact, more generally when the intersection function i(ν, ·) is replaced by any
continuous length function `(·) defined on the space of currents. Recall that
we say ` is a length function on Curr(S) if it is homogeneous and `(µ) ≥ 0
for all currents µ and `(µ)  0 if and only if µ  0.
Theorem 4.3. [ES16] Let ` : Curr(S) → R be any continuous length function
and γ0 a curve on S. Then
#{γ ∈ Mod(S) · γ0 | `(γ) ≤ L}

 C γ0 · m `
L 6g−6
> 0 is the same constant as in Theorem 4.1, and
lim

L→∞

where C γ0

m `  mTh ({λ ∈ ML(S) | `(λ) ≤ 1}) .
Here we give an outline of the arguments involved in proving Theorem
4.3, and refer to [ES16] for the details.
The main idea to prove the convergence of the limit
#{γ ∈ Mod(S) · γ0 | `(γ) ≤ L}

(4.6)
L6g−6
is to consider a sequence of measures on Curr(S) analogous to the measures
on ML(S) in section 4.1. Let γ0 ∈ S be a curve and define, for each L > 0, a
measure on Curr(S) by
lim

L→∞

m γL0 

1
L 6g−6

Õ

δ 1 γ.

γ∈Mod(S)·γ0

L

Note that each m γL0 is locally finite and invariant under the action of Mod(S).
In fact, we will see that, as L → ∞ they converge to a Mod(S)-invariant
measure on ML(S) that is absolutely continuous with respect to the Thurston
measure, and hence, using the ergodicity of m Th , they must converge to a
multiple of this measure:
Theorem 4.4. [ES16, EPS16, Theorem 5.1] Let γ0 be any curve on S. Then
lim m γL0  C γ0 · m Th

L→∞

where C γ0 > 0 is the constant in Theorem 4.1.
First we explain why Theorem 4.4 implies Theorem 4.3. Fix a continuous
length function ` : Curr(S) → R and let
B `  {µ ∈ Curr(S) | `(µ) ≤ 1}.

24

V. ERLANDSSON AND C. UYANIK

Note that limit (4.6) is equivalent to
lim m γL0 (B ` ).

L→∞

Note that continuity of ` implies that B ` is a closed set. Also, for any
measurable set U satisfying U ∩ L · U  ∅ for any positive L , 1, the scaling
properties of the Thurston measure imply that mTh (U)  0. To see this, note
that for all L , 1
m(U ∪ L · U)  m(U) + m(L · U)  m(U)(1 + L 6g−6 )
and letting L → 1 we get m Th (U)  2mTh (U), i.e. m Th (U)  0. In particular,
mTh (∂B ` )  0. Hence, by the Portmanteau Theorem, see [Bil99],
lim m γL0  C γ0 · m Th

L→∞

implies that
lim m γL0 (B ` )  C γ0 · m Th (B ` )

L→∞

where we view mTh as a measure on Curr(S) with full support on the subspace ML(S). Theorem 4.3 follows.
Next we outline the arguments proving Theorem 4.4. In an attempt to aid
the reader we first outline the main steps involved in the proof:
(1) Let m γ0 be any limit point of the family (m γL0 )L , and note that it is
Mod(S)-invariant.
(2) We show that m γ0 is supported on ML(S), and
(3) that m γ0 is absolutely continuous with respect to the Thurston measure m Th on ML(S).
(4) Ergodicity of m Th with respect to Mod(S) together with the steps
above, imply that m γ0  C · m Th for some C > 0.
(5) Finally, using Mirzakhani’s theorem (Theorem 4.1) we show that the
constant C above does not depend on the subsequence and is in fact
equal to C γ0 . Hence m γL0 → C γ0 · m Th .
We formalize the conclusion of step 4 below:
Proposition 4.5. [ES16, Proposition 4.1] Let (L n )n be any sequence of positive
numbers such that L n → ∞. Then there is a subsequence (L n k )k such that
Ln

m γ0 k → C · m Th
for some C > 0, as k → ∞.
As above, due to the Portmanteau theorem, we get the following consequence:

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

25

Corollary 4.6. Let ` : Curr(S) → R be a continuous length function and let (L n )n
be any sequence of positive numbers such that L n → ∞. Then there is a subsequence
(L n k )k such that
Ln

m γ0 k (B ` ) → C · m Th (B ` )
for some C > 0, as k → ∞.
The key idea behind proving Proposition 4.5 is to associate to each (generic)
curve in Mod(S) · γ0 a simple multi-curve. Specifically, we define a map
π γ 0 : S γ 0 → MLZ (S)
where S γ 0 ⊂ Mod(S) · γ0 is a generic subset such that
(1 − )`(γ) < `(π γ 0 (γ)) < (1 + )`(γ).

(4.7)

We say a set S is generic if
#S
L6g−6

→0

as L → ∞. The existence of such a map results from the following observation, which says that the expected angle of self-intersection of a long curve
is arbitrarily small.
Theorem 4.7. [ES16, Theorem 1.2] Let ∠ (γ) denote the largest angle among the
self-intersection angles of a curve γ. Let γ0 ⊂ S be a curve and ρ a hyperbolic
metric. Then
#{γ ∈ Mod(S) · γ0 | ` ρ (γ) ≤ L, ∠ (γ) ≥ δ}
lim
0
L→∞
L6g−6
for all δ > 0.
The proof of Theorem 4.7 is quite involved (see [ES16, Section 3.3]), but
the general idea is that large self-intersection angles results in ideal 4-gons
on the surface which most of the curves have to avoid. The set of curves on
S which do not intersect a 4-gon must live on a proper subsurface and hence
the number of these curves of length bounded by L must grow at a slower
rate than L 6g−6 . This idea is inspired by the fact that the subspace of ML(S)
of measured laminations carried by non-maximal train tracks (i.e. train
tracks that have complementary regions larger than triangles) has dimension
strictly less than 6g − 6.
Armed with Theorem 4.7, we can resolve the self-intersections and end up
with a simple multi-curve whose length is close to the length of the original
curve (see [ES16, Section 3.4] for details), and this is the idea for the map π γ 0 .
In particular, for any  > 0 there is an angle bound δ > 0 such that any curve
γ with self-intersection angles less than δ is mapped to a simple multi-curve
π γ 0 (γ) satisfying (4.7). These curves are what make up the generic set S γ 0 .

26

V. ERLANDSSON AND C. UYANIK

We fix  > 0 and suppress the superscript in π γ 0 for ease of notation. It
is clear that π γ0 is finite-to-one, but the main useful property of the map,
and the key technical difficulty of the proof (details of which will be omitted
here, see [ES16, Section 2.4]) is that it is uniformly bounded-to-1. That is:
Lemma 4.8. [ES16, Proposition 3.9] There exists a constant K  K(γ0 ) > 0 such
that
|π−1
γ0 (λ)| < K

(4.8)

for all λ ∈ MLZ (S).
We note that any limit point m γ0 is locally finite and Mod(S)-invariant
since this is true for each m γL0 . We then use Lemma 4.8 to show that any limit
point is also uniformly continuous with respect to the Thurston measure.
To do so, we first push forward the measure m γL0 via π γ0 resulting in the
following measures supported on ML(S):
n γL0 

1
L6g−6

Õ

|π−1
γ0 (λ)|δ 1 λ .
L

λ∈MLZ (S)

It is not difficult to see m γ0 is a limit point of the family (m γL0 )L if an only if it is
a limit point of the family (n γL0 )L . In particular, any limit point is supported
on ML(S), completing step 2.
Now, (4.8) implies that
n γL0 

1
L 6g−6

Õ
λ∈MLZ (S)

|π −1
γ0 (λ)|δ 1 λ < K ·
L

1
L6g−6

Õ
λ∈MLZ (S)

δ1λ
L

and the right hand side converges to a multiple of m Th as L → ∞ (see (4.2)).
In particular, any limit point of (n γL0 )L , and hence of (m γL0 )L , is absolutely
continuous with respect to the Thurston measure, completing step 3.
Next, recall that, by a result of Masur [Mas85], the Thurston measure is
ergodic with respect to the action of Mod(S) on ML(S). Hence, since any
limit m γ0 of (m γL0 )L is invariant under this action and absolutely continuous
with respect to the Thurston measure, the only choice for m γ0 is a positive
multiple of the Thurston measure. This completes the argument for proving
Proposition 4.5 (and hence step 4).
Finally, we use Mirzakhani’s result (Theorem 4.1) to complete the outline of
the proof of Theorem 4.4. We need to show that the constant C in Proposition
4.5 is independent of the subsequence and that C is in fact equal to the
constant C γ0 .

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

27

Let ρ be a hyperbolic metric on S and L ρ the corresponding Liouville
current. Let ` ρ : Curr(S) → R be the length function defined by
` ρ (µ)  i(µ, L ρ )
which agrees with the hyperbolic length on curves. Following the notation
above, let
B ` ρ  {µ ∈ Curr(S) | i(µ, L ρ ) ≤ 1}.
By definition,
m γL0 (B ` ρ ) 

#{γ ∈ Mod(S) · γ0 | ` ρ (γ) ≤ L}
L 6g−6

.

By Theorem 4.1 we know that the right hand side converges to
C γ0 · m Th (B ` ρ ).
In particular, m γL0 (B ` ρ ) converges and by Corollary 4.6 it must converge to
C · m Th (B ` ρ ) for some C > 0. Hence we have C  C γ0 , completing step 5, and
Theorem 4.4 follows.
Lastly, we note that Theorem 4.3 together with the statements in section 3
imply that we have the asymptotic growth
#{γ ∈ Mod(S) · γ0 | `(γ) ≤ L} ∼ const · L6g−6
for any of the length functions ` discussed there. In particular, it is true for
the length induced by any non-positive (singular) Riemannian metric on S
as well as for the stable length with respect to a geodesic metric space X
on which π1 (S) acts discretely and cocompactly by isometries (see Theorem
3.6). However, in [EPS16] it is shown that it is enough for the stable length to
extend to Curr(S) to conclude that the asymptotics above hold for the actual
(translation) length. In particular, it holds for any Riemannian metric on S.
Corollary 4.9. [EPS16, Corollaries 1.3 and 1.4] Let γ0 be a curve on S. If ρ is
any (possibly singular) Riemannian metric on S and ` ρ is the corresponding length
function on curves, then
lim

L→∞

#{γ ∈ Mod(S) · γ0 | ` ρ (γ) ≤ L}
L 6g−6

exists and is positive. Similarly, if we replace the length function with the word
length with respect to any finite generating set of π1 (S) then the corresponding limit
also exists and is positive.

28

V. ERLANDSSON AND C. UYANIK

4.3. Orbits of currents. We end by remarking that one could also ask
whether the limit in Theorem 4.3 exists if we look at the Mod(S)-orbit of
any current instead of a curve. Rafi-Souto proved that this is indeed the case:
Theorem 4.10. [RS17, Main Theorem] Let ` : Curr(S) → R be a continuous
length function. For any filling current ν ∈ Curr(S) we have
lim

#{µ ∈ Mod(S) · ν | `(µ) ≤ L}

L 6g−6
where C ν > 0 and m `  m Th ({λ ∈ ML | `(λ) ≤ 1}).
L→∞

 Cν · m`

The constant C ν , as in Theorem 4.1 is independent of ` and can be written
as

nν
mg
where m g is the same constant as in (4.1). However, in [RS17] the constant
n ν , in the case when ν is filling, is also described:
Cν 

n ν  m Th ({λ ∈ ML | i(ν, λ) ≤ 1}).
The proof of Theorem 4.10 follows a similar logic to the proof of Theorem
4.3 above. However, in order to generalize Proposition 4.5 to hold also
when γ0 is a filling current, they combine this proposition together with a
deep result of Lindenstrauss-Mirzakhani [LM08] about the classifications of
invariant measures on ML(S).
We note that Theorem 4.10 holds also for surfaces with boundary, as do
Theorems 4.1 and 4.3, but unlike the latter two which also work for surfaces
with cusps, Theorem 4.10 requires S to be compact (or alternatively, that ν
has compact support).
As an application to Theorem 4.10, Rafi-Souto prove the asymptotic growth
of lattice points in Teichmüller space with respect to the Thurston metric. As
before, for a length function f : Curr(S) → R we let m f denote the constant
m f  mTh ({λ ∈ ML(S) | f (λ) ≤ 1})
and we let m X denote the corresponding constant when f  ` X , the hyperbolic length on X ∈ Teich(S).
Theorem 4.11. [RS17, Theorem 1.1] Let X, Y ∈ Teich(S). Then
lim

R→∞

#{ϕ ∈ Mod(S) | dTh (X, ϕ(Y)) ≤ R}
e (6g−6)R



m DX m Y
mg

where dTh denotes the Thurston metric on Teich(S), m g is as above, and
i(λ, µ)
.
λ∈ML(S) ` X (λ)

DX (µ)  max

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

29

The analogous result of Theorem 4.11 when the Thurston metric is replaced by the Teichmüller metric was proved, using different methods, by
Athreya-Bufetov-Eskin-Mirzakhani in [ABEM12].
5. Dynamics of pseudo-Anosov homeomorphisms
The purpose of this section is to give a concise proof of a folklore result
using Bonahon’s intersection function on the space of currents: pseudoAnosov homeomorphisms of closed hyperbolic surfaces act on the space
of projective geodesic currents with uniform north-south dynamics (see
Theorem 5.1 below).
The idea of the proof is as follows: The set of non-zero currents that has
zero intersection with the stable current/lamination is precisely the positive
scalar multiples of the stable current/lamination. Similarly, the set of nonzero currents that has zero intersection with the unstable current/lamination
is precisely the positive scalar multiples of the unstable current/lamination,
see Lemma 5.2.
Using Lemma 5.2 we define continuous functions J+ and J− on the space of
projective currents which take the value 0 only on [λ + ] and [λ − ] respectively.
We then use these functions to construct neighborhoods of [λ + ] and [λ− ] and
use the properties of intersection function to get convergence estimates.
The proof we present here is motivated by Ivanov’s proof of north-south
dynamics in the setting of projective measured laminations [Iva92].
Theorem 5.1. Let S be closed hyperbolic surface and ϕ : S → S be a pseudoAnosov homeomorphism. Then ϕ acts on the space of projective geodesic currents
PCurr(S) with uniform north-south dynamics: The action of ϕ on PCurr(S) has
exactly two fixed points [λ + ] and [λ − ] and for any open neighborhood U± of [λ ± ]
and a compact set K ± ⊂ PCurr(S) \ [λ ∓ ], there exist an exponent M ≥ 1 such that
ϕ±n (K± ) ⊂ U± for all n ≥ M.
The proof of Theorem 5.1 consists of putting together a series of lemmas,
which we first state and prove.
Lemma 5.2. Let ϕ : S → S be a pseudo-Anosov homeomorphism on a closed hyperbolic surface and λ + and λ − be the corresponding stable and unstable laminations
for ϕ. Then,
i(λ ± , µ)  0 if and only if µ  kλ ±
for some k ≥ 0.
Proof. Here we give a brief idea of the proof and refer reader to proof of
[Uya15, Proposition 3.1] for details in the case of non-closed surfaces, where

30

V. ERLANDSSON AND C. UYANIK

the proof is more involved. Let λ + be the stable lamination on S corresponding to the pseudo-Anosov homeomorphism f . The proof for λ − is almost
identical.
We first prove the easy direction of the statement. Namely, let µ  kλ + ,
and α > 1 be such that ϕ(λ + )  αλ+ . Then, by properties of the intersection
number we have
i(kλ+ , λ+ )  i(ϕ n (kλ + ), ϕ n (λ + ))
 i(α n kλ + , α n λ + )
 α2n i(kλ + , λ+ )
which implies i(kλ + , λ+ )  0.
For the forward implication, we first cut the surface along the leaves
of the stable lamination. The complementary regions are finite sided ideal
polygons, [CB88, Proposition 5.3]. Let µ be any current such that i(µ, λ+ )  0.
Let ` be any leaf in the support of µ, since the projection of this leaf onto
the surface cannot intersect the leaves of the stable lamination transversely,
there are two possibilities for this projection. Either ` projects onto a leaf
of the lamination λ or it is a complete geodesic that is asymptotic to two
different sides of a complementary polygon. In the second case, this leaf
cannot support any measure, otherwise the corresponding current would
not be locally finite. Hence µ and λ + have the same support, and unique
ergodicity of λ + implies that µ  kλ+ .


Fix a filling current ν on S, and consider the following two functions
J+ , J− : PCurr(S) → R≥0 defined by
J+ ([µ]) 

i(µ, λ+ )
i(µ, λ− )
, J− [µ] 
i(µ, ν)
i(µ, ν)

where µ is any representative of [µ]. Note that J+ , J− are well defined and
continuous since the intersection function is continuous, and the denominator is non-zero by the choice of ν.
Lemma 5.3. Let α be the stretch factor for the pseudo-Anosov element ϕ and let ν
be a filling current. If K is a compact set in PCurr(S) \ [λ − ], then there exist C > 0
such that
1
C
≤ n
n
i(ϕ (µ), ν)
α i(µ, ν)
for all µ such that [µ] ∈ K.

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

31

Proof. Since PCurr(S) is compact, there exist 0 < C 1 < ∞ such that
J− ([µ]) 
i.e.

i(µ, λ− )
≤ C1
i(µ, ν)

i(µ, λ− ) ≤ C 1 i(µ, ν)

for all nonzero µ ∈ Curr(S).
Furthermore, by Lemma 5.2 the quantity i(µ, λ− ) is non-zero for any µ
such that [µ] ∈ PCurr(S) \ [λ − ]. Therefore, by compactness of K, there exist
C 2 > 0 such that
i(µ, λ− ) ≥ C 2 i(µ, ν)
for all µ with [µ] ∈ K.
From these two inequalities we obtain, for all µ such that [µ] ∈ K,
i(ϕ n (µ), ν) ≥

Setting C 

1
1
i(ϕ n (µ), λ− ) 
i(µ, ϕ−n (λ − ))
C1
C1
1
i(µ, α n λ − )

C1
1 n

α i(µ, λ− )
C1
C2 n
≥
α i(µ, ν).
C1

C1
, the conclusion of the lemma follows.
C2



Lemma 5.4. Let U be an open neighborhood of [λ + ] and K be a compact set in
PCurr(S) \ [λ− ]. There exist M1 > 0 such that
ϕ n (K) ⊂ U
for all n ≥ M1 .
Proof. Since i(µ, λ+ )  0 iff [µ]  [λ + ], and PCurr(S) \ U is compact, the
function J+ ([µ]) has a positive absolute minimum on the set PCurr(S) \ U,
say  > 0. Therefore, it suffices to prove that J+ (ϕ n [µ]) <  for all [µ] ∈ K,
and for all large n in order to obtain the conclusion of the lemma.
On the other hand, PCurr(S) is compact, so the function J+ ([µ]) has an
upper bound, i.e. there exists 0 < D < ∞ such that
i(µ, λ+ )
≤D
i(µ, ν)
for all µ.

32

V. ERLANDSSON AND C. UYANIK

DC
<  where α is
α2M1
the stretch factor of ϕ and C is the constant given by Lemma 5.3. Then, for
all [µ] ∈ K we have
Let  > 0 be as above, and choose M1 > 0 such that

J+ (ϕ n [µ]) 

i(ϕ n (µ), λ+ ) i(µ, ϕ−n (λ + ))

i(ϕ n (µ), ν)
i(ϕ n (µ), ν)
α−n i(µ, λ+ )

i(ϕ n (µ), ν)
Cα−n i(µ, λ+ )
≤
α n i(µ, ν)
DC
≤ 2n < 
α

for all n ≥ M1 .


We are now ready to prove the theorem:
Proof of Theorem 5.1. Using an argument symmetric to the one in the proof of
Lemma 5.4, we can show that given any compact set K ⊂ PCurr(S)\[λ − ] and
an open neighborhood U of [λ − ] there exist M2 > 0 such that ϕ−n (K) ⊂ U
for all n ≥ M2 . The theorem now follows by setting M  max{M1 , M2 }.


In fact, we have much more precise information in terms of pointwise
dynamics:
Theorem 5.5. Let α > 1 be the stretch factor for ϕ. Then, for any [µ] , [λ− ],
lim α−n ϕ n (µ)  c µ λ +

for some c µ > 0, and for any

n→∞
[µ0] ,

lim α

n→∞

for some c

µ0

[λ + ]

−n

ϕ−n (µ0)  c µ0 λ −

> 0.

Proof. The proof builds on the analogous result in the case of laminations,
and nearly identical to the case where S has boundary components, see the
proof of [Uya15, Theorem 3.4].

Recall, from section 3.1, that given a hyperbolic metric ρ on S the hyperbolic length extends to a continuous length function ` on Curr(S) given
by
`(µ)  i(L ρ , µ)

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

33

for all µ ∈ Curr(S), where L ρ is the Liouville currents associated to ρ. As
an application to this we get as a corollary to the north-south dynamics the
following generalization, to all curves, of a well known result about simple
closed curves:
Corollary 5.6. For any pseudo-Anosov homeomorphism ϕ : S → S of a closed,
orientable hyperbolic surface S, there exists M > 0 such that for any essential (not
necessarily simple) closed curve γ on S, either
`(ϕ k γ) > `(γ) or `(ϕ −k γ) > `(γ)
for all k ≥ M.
Proof. We will show that there exists M > 0 such that for all γ on S, the
following holds:
`(ϕ k γ) + `(ϕ−k γ)
>2
`(γ)
for all k ≥ M. Let L ρ be the Liouville current associated to the hyperbolic
metric ρ as in section 3.1. That is, `(µ)  i(µ, L ρ ) for all µ ∈ Curr(S). Note
that, for all k,
`(ϕ k γ)  i(ϕ k γ, L ρ )  i(γ, ϕ−k L ρ )
and
`(ϕ−k γ)  i(ϕ−k γ, L ρ )  i(γ, ϕ k L ρ ).
Hence it suffices to prove that there exist M > 0 such that
i(γ, ϕ k L ρ ) + i(γ, ϕ−k L ρ )
`(γ)

>2

(5.1)

for all γ and for all k ≥ M.
Let α > 1 be the stretch factor for ϕ and λ + and λ − its stable and unstable
lamination, respectively. Using the properties of the intersection form we
have
i(γk , ϕ k L ρ ) + i(γk , ϕ−k L ρ )
`(γk )

γk
γk
i
, ϕk Lρ + i
, ϕ−k L ρ
`(γk )
`(γk )




γk
γk
k
−k k
k
−k −k
α i
, α ϕ Lρ + α i
, α ϕ Lρ
`(γk )
`(γk )









γk
is 1 for all k, they lie in a compact set and hence
`(γk )
there exist µ ∈ Curr(S) such that (up to passing to a subsequence)
γk
lim
 µ.
k→∞ `(γk )
Since the length of

34

V. ERLANDSSON AND C. UYANIK

On the other hand, Theorem 5.5 implies that, for some c0 , c 1 > 0
lim α−k ϕ k L ρ  c0 λ + and lim α−k ϕ−k L ρ  c1 λ − .

k→∞

k→∞

Therefore, as k → ∞,




γk
γk
−k k
−k −k
i
, α ϕ L ρ → c0 i(µ, λ+ ) and i
, α ϕ L ρ → c1 i(µ, λ− ).
`(γk )
`(γk )
Since {λ + , λ− } is a filling pair of currents, at least one of the quantities
i(µ, λ+ ) or i(µ, λ− ) must be positive. Hence, since α k → ∞ as k → ∞, we
have
i(γk , ϕ k L ρ ) + i(γk , ϕ−k L ρ )
→ ∞.
`(γk )
In particular, there exists M > 0 such that (5.1) holds for all k ≥ 2.


References
[ABEM12] Jayadev Athreya, Alexander Bufetov, Alex Eskin, and Maryam Mirzakhani.
Lattice point asymptotics and volume growth on Teichmüller space. Duke Math.
J., 161(6):1055–1111, 2012.
[AL]
J Aramayona and C Leininger. Hyperbolic structures on surfaces and geodesic
currents, to appear in algorithms and geometric topics around automorphisms
of free groups, advanced courses crm.
[Bil99]
Patrick Billingsley. Convergence of probability measures. Wiley Series in Probability
and Statistics: Probability and Statistics. John Wiley & Sons, Inc., New York,
second edition, 1999. A Wiley-Interscience Publication.
[BL18]
Anja Bankovic and Christopher J. Leininger. Marked-length-spectral rigidity for
flat metrics. Trans. Amer. Math. Soc., 370(3):1867–1884, 2018.
[Bon86]
Francis Bonahon. Bouts des variétés hyperboliques de dimension 3. Ann. of Math.
(2), 124(1):71–158, 1986.
[Bon88]
Francis Bonahon. The geometry of Teichmüller space via geodesic currents.
Invent. Math., 92(1):139–162, 1988.
[Bon91]
Francis Bonahon. Geodesic currents on negatively curved groups. In Arboreal
group theory (Berkeley, CA, 1988), volume 19 of Math. Sci. Res. Inst. Publ., pages
143–168. Springer, New York, 1991.
[CB88]
Andrew J. Casson and Steven A. Bleiler. Automorphisms of surfaces after Nielsen
and Thurston, volume 9 of London Mathematical Society Student Texts. Cambridge
University Press, Cambridge, 1988.
[Con18]
David Constantine. Marked length spectrum rigidity in nonpositive curvature
with singularities. to appear in Indiana University Mathematics Journal, 2018.
[DLR10] Moon Duchin, Christopher J. Leininger, and Kasra Rafi. Length spectra and
degeneration of flat metrics. Invent. Math., 182(2):231–277, 2010.
[EPS16]
Viveka Erlandsson, Hugo Parlier, and Juan Souto. Counting curves, and the
stable length of currents. to appear in JEMS, arxiv:1612.05980, 2016.
[Erl16]
Viveka Erlandsson. A remark on the word length in surface groups. to appear
TAMS, arXiv:1608.07436, 2016.

LENGTH FUNCTIONS AND APPLICATIONS TO DYNAMICS AND COUNTING

[ES16]
[FLP12]

[Gen17]
[Glo17]
[HP97]
[Iva92]

[KB02]

[KN13]
[LM08]
[Mag17]
[Mas85]
[Mir08]
[Mir16]
[MZ16]
[Ota90]
[PH92]
[RS17]
[Sas17]
[Thu80]
[Thu88]
[Uya15]

35

Viveka Erlandsson and Juan Souto. Counting curves in hyperbolic surfaces.
Geom. Funct. Anal., 26(3):729–777, 2016.
Albert Fathi, François Laudenbach, and Valentin Poénaru. Thurston’s work on
surfaces, volume 48 of Mathematical Notes. Princeton University Press, Princeton,
NJ, 2012. Translated from the 1979 French original by Djun M. Kim and Dan
Margalit.
Matthieu Gendulphe. What’s wrong with the growth of simple closed geodesics
on nonorientable hyperbolic surfaces. arXiv:1706.08798, 2017.
Olivier Glorieux. Critical exponent for geodesic currents. arXiv:1704.06541, 2017.
Sa’ar Hersonsky and Frédéric Paulin. On the rigidity of discrete isometry groups
of negatively curved spaces. Comment. Math. Helv., 72(3):349–388, 1997.
Nikolai V. Ivanov. Subgroups of Teichmüller modular groups, volume 115 of Translations of Mathematical Monographs. American Mathematical Society, Providence,
RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the
author.
Ilya Kapovich and Nadia Benakli. Boundaries of hyperbolic groups. In Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), volume 296
of Contemp. Math., pages 39–93. Amer. Math. Soc., Providence, RI, 2002.
Ilya Kapovich and Tatiana Nagnibeda. Subset currents on free groups. Geometriae Dedicata, 166(1):307–348, 2013.
Elon Lindenstrauss and Maryam Mirzakhani. Ergodic theory of the space of
measured laminations. Int. Math. Res. Not. IMRN, (4):Art. ID rnm126, 49, 2008.
Michael Magee. Counting one sided simple closed geodesics on fuchsian thrice
punctured projective planes. arXiv:1705.09377, 2017.
Howard Masur. Ergodic actions of the mapping class group. Proceedings of the
American Mathematical Society, 94(3):455–459, 1985.
Maryam Mirzakhani. Growth of the number of simple closed geodesics on
hyperbolic surfaces. Ann. of Math. (2), 168(1):97–125, 2008.
Maryam Mirzakhani. Counting mapping class group orbits on hyperbolic surfaces. arXiv:1601.03342, 2016.
Giuseppe Martone and Tengren Zhang. Positively ratioed representations.
arXiv:1609.01245, 2016.
Jean-Pierre Otal. Le spectre marqué des longueurs des surfaces à courbure
négative. Ann. of Math. (2), 131(1):151–162, 1990.
Robert C Penner and John L Harer. Combinatorics of train tracks. Annals of
Mathematics Studies, (125):3–114, 1992.
Kasra Rafi and Juan Souto. Geodesics currents and counting problems.
arXiv:1709.06834, 2017.
Dounnu Sasaki. Subset currents on surfaces. arXiv:1703.05739, 2017.
William P. Thurston. The geometry and topology of 3-manifolds. Unpublished
notes, 1980.
William P. Thurston. On the geometry and dynamics of diffeomorphisms of
surfaces. Bull. Amer. Math. Soc. (N.S.), 19(2):417–431, 1988.
Caglar Uyanik. Generalized north-south dynamics on the space of geodesic
currents. Geom. Dedicata, 177:129–148, 2015.

36

V. ERLANDSSON AND C. UYANIK

School of Mathematics, University of Bristol, Howard House, Queen’s Avenue, Bristol
BS8 1Sn, UK
E-mail address: v.erlandsson@bristol.ac.uk
Department of Mathematics, Vanderbilt University, 1326 Stevenson Center, Nashville,
TN 37240, USA
E-mail address: caglar.uyanik@vanderbilt.edu

