![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
We study earthquake deformations on Teichmüller space associated with simple closed curves of the once-punctured torus. We describe two methods to get an explicit form of the earthquake deformation for any simple closed curve. The first method is rooted in linear recurrence relations, the second in hyperbolic geometry. The two methods align, providing both an algebraic and geometric interpretation of the earthquake deformations. We convert the expressions to other coordinate systems for Teichmüller space to examine earthquake deformations further. Two families of curves are used as examples. Examining the limiting behavior of each gives insight into earthquakes about measured geodesic laminations, of which simple closed curves are a special case.
1 Introduction
Earthquakes were first introduced by Thurston, generalizing the concept of Dehn twists (see [Citation5] for an exposition). Earthquake deformations have proved to be useful in the exploration of hyperbolic manifolds and hyperbolic structures (for example [Citation15, Citation16, Citation18, Citation20–23]). Most notably, a hyperbolic structure on a surface can be related to any other hyperbolic structure on a surface by a unique earthquake [Citation20, Citation21]. This was used in the proof of the Nielsen realization problem [Citation5, Citation15]. Consider a hyperbolic orientable surface with genus
and
punctures. Consider also a homotopy class of simple closed curves on S represented by γ. Defined intuitively, a Dehn twist about γ is achieved by cutting the surface open along γ, twisting around γ, and then gluing the surface together again. An earthquake deformation about γ is achieved by cutting the surface open along γ, twisting around γ by some distance r, and then gluing the surface together again. In this way, earthquake deformations about simple closed curves can be viewed as “fractional” Dehn twists.
Wolpert [Citation24], Kerckhoff [Citation16], and Weiss’s [Citation23] research into earthquakes reveal them to be specific integral curves. Wolpert builds on work from Fenchel-Nielsen twist deformations and associated vector fields, which are proven to be Hamiltonian using the Weil-Petersson symplectic form. Waterman and Wolpert [Citation22] continue this with a focus on the once-punctured torus, producing pictures of example earthquakes in this setting. Kerckhoff proves that earthquakes are real analytic, and that the earthquake flow is precisely the trajectories for an analytic flow defined on Teichmüller space. Weiss exploits parallels between the earthquake flow on Teichmüller space and geodesic flow on a Riemannian manifold to derive a form for the system of differential equations.
We study left earthquake deformations on the once-punctured torus, denoted , from an alternative perspective. We describe two methods in different coordinate systems to derive explicit formulas for the earthquake deformation for any simple closed geodesic (Section 3). The first uses the character variety and linear recurrence relations to extend orbits of Dehn twists to a continuous flow. The second uses Teichmüller space and hyperbolic geometry to determine the earthquake deformation. The two methods give results that agree, proving the continuous flow in the first method is indeed the earthquake deformation and giving both algebraic and geometric interpretations, respectively, of earthquakes. We then focus on earthquake deformations in Fenchel-Nielsen length-twist coordinates, where we get more results for the behavior and asymptotics. The formulas are later translated to other coordinate systems (Section 4). Results for simple closed geodesics can be extended to any measured geodesic lamination using a density argument from Thurston [Citation20].
The fundamental group of is the free group of rank two, mapping class group of
is
, and the universal cover of
is the hyperbolic plane
. The Teichmüller space of
, can be identified with
, with isometry group
. The
-character variety of
is isomorphic to
via the following map (see [Citation10, Citation11, Citation13]),
where α and β are the chosen generators for
. The choice of α and β is called the framing. The (x, y, z) coordinates in
are referred to as trace coordinates.
The action of Dehn twists on gives an action of polynomial automorphisms on the
-character variety that preserve the level sets of a polynomial. This polynomial corresponds to the trace of the commutator
,
The commutator is the generator for a peripheral subgroup. The value of the trace of the commutator represents the geometry of the surface around the puncture. In particular, the level set within the
-character variety of
is naturally identified with holonomies of complete hyperbolic structures of finite volume on
.
Let be the polynomial automorphism associated with the left Dehn twist about α. Using linear recurrence relations we can derive the following result extending the left Dehn twist about α. Similar expressions can be derived for the left Dehn twists about β, and
.
Theorem 3.1.2.
For a fixed starting point with
, the left Dehn twist about α can be extended to a continuous flow in trace coordinates given by the map
,
where
with
Moreover,
We can also examine the action on Teichmüller space using a more geometric method. Cooper and Pfaff introduce coordinates called triangle lengths [Citation6], which measure the half lengths of the unique geodesics associated with ,
There is a similar relation on the coordinates here given by the collar equation,
Let be the Dehn twist about α in triangle lengths. Using maximal collar neighborhoods and hyperbolic geometry returns the following result for the left earthquake deformation about α. Similar expressions can be derived for the left earthquake deformations about β and
.
Theorem 3.2.2.
For a fixed starting point , the left earthquake deformation about α in triangle lengths is given by the map
,
where
Moreover,
It is straightforward to show the expressions align on the level set , proving that the continuous flow in Theorem 3.1.2 is the left earthquake deformation in trace coordinates. Then both Theorems 3.1.2 and 3.2.2 provide explicit formulas for the left earthquake deformations for α, β, and
in the framing α, β. The parameter r represents the magnitude of the twist, and depends on a choice of orientation.
We can use an algorithm, referred to as the change of coordinates algorithm, to extend the results to the left earthquake deformation about any simple closed curve γ in the same framing. To summarize the algorithm briefly, given γ a simple closed curve as a word in α and β,
Find δ such that
;
Apply Theorem 3.1.2 to γ for framing γ, δ;
Convert the results to the framing α, β.
This same method provides explicit formulas for the left earthquake deformations for δ and γδ at the same time.
We convert the results for the left earthquake deformations to Fenchel-Nielsen length-twist coordinates for the pants decomposition given by α,
This is a natural coordinate system for Teichmüller space, and we find some results relating the asymptotics of the earthquake deformations and the initial lamination.
Denote a left earthquake deformation about γ in Fenchel-Nielsen coordinates by
Theorem 3.4.2.
Take simple closed curve γ. The slope of the associated earthquake converges to the inverse of the slope of γ for all starting points
. We have,
This is especially useful for studying earthquakes about measured geodesic laminations, which can be difficult to quantify.
Each of the left earthquake deformations corresponds to the action of the one-parameter groups of parabolic elements on Teichmüller space associated with the Dehn twists in . We initially conjectured this would extend to an action of
, but this does not appear to be the case. See also the work of [Citation3].
The paper proceeds as follows: Section 2 describes preliminary concepts and results, in particular regarding Dehn twists, earthquake deformations, the character variety, and Teichmüller space; Section 3 discusses the results for the earthquake deformations, first looking at the action on the character variety in Section 3.1, second looking at the action on Teichmüller space in Section 3.2, third expanding on the change of coordinates algorithm in Section 3.3, fourth looking at the action in Fenchel-Nielsen coordinates in Section 3.4, and fifth providing some examples in Section 3.5; Section 4 presents and compares pictures of earthquakes in various coordinate systems. Our examples include two families of curves and examining the limiting behavior gives insight into earthquakes about measured geodesic laminations, of which simple closed curves are a special case.
For the remainder of the paper we use α and β the meridian and longitude respectively as the default framing for . We often refer to an equivalence class of simple closed curves
by a representative curve γ.
2 Preliminaries
In this section, we provide relevant definitions and results regarding deformations, the character variety, and Teichmüller space with a focus on the once-punctured torus.
2.1 Dehn twists and earthquakes
We formalize the definition of Dehn twists and earthquakes, and introduce the mapping class group. Examples are provided for the once-punctured torus.
Definition 2.1.1.
(Left-handed Dehn twist, [Citation8]) Let γ be a simple closed curve on S. Find an annulus such that γ is the core of A. Consider the annulus
. Identify A with
by an orientation-preserving homeomorphism
such that
.
A left-handed Dehn twist about γ, denoted , is then a twist of A constructed by a map
defined by
. Then
is defined by
This is continuous and .
Adjusting the definition of to be
gives the right-handed Dehn twist. It can be easily proven that Dehn twists are well-defined on homotopy equivalence classes of simple closed curves. For this paper we use Dehn twist to refer to a left-handed Dehn twist.
Dehn twists have a close relationship with the mapping class group. The mapping class group of S is the set of all isotopy classes of orientation-preserving homeomorphisms from S to S,
Theorem 2.1.2
( is generated by Dehn twists). For an orientable closed surface of genus
a finite number of Dehn twists about non-separating simple closed curves generates
.
See the work of Dehn [Citation7], Lickorish [Citation17], and Humphries [Citation14] for a proof and appropriate sets of generating curves.
There is a similar result for non-compact topologically finite surfaces. Take the subgroup of all orientation-preserving mapping classes that are the identity on the boundary of the surface, . If
is an orientable surface then a finite number of Dehn twists about non-separating curves generates
. For
the simple closed curves to consider are precisely the meridian and longitude given by the framing, α, β, with the mapping class group isomorphic to
.
Consider the Dehn twists for α, β, ,
(2.1)
(2.1)
(2.2)
(2.2)
(2.3)
(2.3)
The above Dehn twists have respective representations ,
(2.4)
(2.4)
(2.5)
(2.5)
(2.6)
(2.6)
The concept of Dehn twists can be extended using earthquake deformations to consider fractional twists around measured geodesic laminations. Loosely, a measured geodesic lamination on S is a pair consisting of a foliation of a closed subset of S by complete, simple geodesics and a transverse measure.
We provided an intuitive definition for earthquake deformations about simple closed curves in Section 1. Simple closed curves equipped with a transverse measure, for instance the counting measure, are examples of measured geodesic laminations. A left earthquake deformation about simple closed curve γ with transverse measure μ is achieved by cutting the surface along γ, performing a left twist around γ by some distance t, and then gluing the surface together again. Similarly a right earthquake can be obtained using a right twist.
Typically, the measure μ determines the “speed” of the twisting; a time t earthquake deformation along γ is a twist of distance . For a simple closed curve, if we ignore the measure, this is precisely the Fenchel-Nielsen twist deformation [Citation9]. For rest of this paper we use earthquake deformation to refer to a left earthquake deformation. Where necessary we will sometimes distinguish between left or right earthquake deformations by forwards or backwards, respectively.
Let denote the set of measured geodesic laminations on S and
the set of isotopy classes of simple closed curves on S. Embed
in
by sending
to the geodesic isotopic to γ with r times the counting measure.
Theorem 2.1.3.
(Thurston, [Citation20]) is dense in
.
Consider the notion of intersection and slope of curves on . Let
be the algebraic intersection number between simple closed curves γ and δ. Curve γ has slope
(2.7)
(2.7)
Of course, this depends on the framing α, β. The definition of slope can be extended to general measured geodesic laminations using the density result Theorem 2.1.3. Simple closed curves on have rational slope; measured geodesic laminations on
that are not simple closed curves have irrational slope.
We use Theorem 2.1.3 to extend the earthquake deformation definition from simple closed curves to measured geodesic laminations. This approach is well-defined as per Kerckhoff [Citation16]. That is, for any sequence of simple closed curves γi with respective measures μi, if converges to
then the sequence of earthquakes about
converges to the earthquake about
.
For the purposes of this article, we primarily explore simple closed curves and assume μ the counting measure, but Theorem 2.1.3 means our study could be extended to all measured geodesic laminations. We discuss examples of this in Section 3.5.
Earthquakes deformations adjust the hyperbolic structure on the surface and can be considered in several different ways:
as deformations of S;
as maps from Teichmüller space to itself;
as paths in Teichmüller space as t varies.
We focus on the third perspective of earthquake deformations as paths in Teichmüller space. Let us end this section with a useful result for earthquakes that points to how important they are.
Theorem 2.1.4
(Thurston’s earthquake theorem). For any , there exists a unique earthquake that connects them p to q.
2.2 Character varieties and Teichmüller space
We first look at character varieties and then Teichmüller space. We review their definitions and then restate useful results for the once-punctured torus. In particular, we reintroduce trace coordinates and triangle lengths for the once-punctured torus.
The G-character variety of S is the space of conjugacy classes of homeomorphisms from to an algebraic group G,
. The double slash denotes the algebro-geometric quotient, which ensures the ensuing space is an algebraic set. Each element of the character variety represents a geometric structure on S.
Consider the -character variety of
. As described in Section 1,
is isomorphic to
via the following map (see [Citation10, Citation11, Citation13]),
(2.8)
(2.8)
The trace coordinates (x, y, z) are given in terms of the chosen framing, α, β.
The commutator is . This is precisely the peripheral element around the puncture on
. For some element ρ in the character variety, well-known trace identities can be used to get a polynomial expression for
in terms of x, y, z,
(2.9)
(2.9)
An example level set of is given in , see also [Citation12]. Level sets will be denoted
or
, with
.
We first discuss the properties of this polynomial. If corresponds to a geometric structure on
then the value of
will say something about that structure. The different structures on
are determined by the behavior around the removed point, which can form a geodesic (with infinite volume), a cusp (with finite volume), or a cone point. The connection between
and the geometry can be understood via the classification of isometries on
, see [Citation8].
Finally, there are some obvious symmetries of .
Remark 2.2.1.
The polynomial is invariant under the maps
(2.10)
(2.10)
Note the relationship with the Klein four-group
where the group operation is composition of maps.
We turn from the character variety to Teichmüller space. Teichmüller space can be defined loosely as the space that parameterizes hyperbolic structures of a surface S. Consider the specific level set . This has four connected components as pictured in . The action of K4 on these components corresponds to the action of
on
and hence we may identify the component in the positive octant with the Hitchin-Teichmüller component in the
-character variety of
. Label this component
. The Teichmüller space of
is itself identified with
.
We use the Poincaré half-plane model of . The orientation-preserving isometry group of
is
, given via Möbius transformations. Without loss of generality, assume that γ is the unique geodesic associated with the equivalence class
. Let M be the Möbius transformation associated with γ. We can derive the equation for the length of
, in terms of the trace of M,
(2.11)
(2.11)
This enables new coordinates that provide a geometric way to parameterize Teichmüller space.
Definition 2.2.2.
The triangle lengths [Citation6] for the once-punctured torus are the half-lengths of the geodesics associated with generators α, β and their product .
(2.12)
(2.12) where
are the trace coordinates.
The triangle lengths (a, b, c) satisfy the collar equation (see [Citation6]),
(2.13)
(2.13)
This is the equivalent to the polynomial in triangle length coordinates. Label the surface corresponding to the collar equation in
as
.
3 Results
In this section, we examine the action of Dehn twists on the character variety using trace coordinates and linear recurrence relations and on Teichmüller space using triangle lengths and hyperbolic geometry. Through this, we obtain a formula for the earthquake deformation for α. Expressions for β and can be similarly derived. We then provide an algorithm to determine a similar formula for any simple closed curve and discuss two examples of families of curves.
3.1 Studying deformations using linear recurrence relations
We explore the action of Dehn twists on the character variety first. The expression κ from Equationequation (2.9)(2.9)
(2.9) is invariant under the action of the mapping class group of the once-punctured torus. In fact, the action of
on
is equivalent to the action of the group Γ on
[Citation13], where
Write the polynomial automorphism associated with mapping class f as . Using trace identities, we can write the expressions for
, Tαβ and their inverses in terms of the trace coordinates.
(3.1)
(3.1)
(3.2)
(3.2)
(3.3)
(3.3)
Remark 3.1.1.
The polynomial automorphisms are related by conjugation with elements from the symmetric group on three elements, . Specifically, consider rotation and reflections given by
where
is the reflection that fixes the ith coordinate and switches the other two coordinates. Note that these all preserve the chosen component
.
The polynomial automorphisms are related by rotations,
and the polynomial automorphisms and their inverses are related by reflections,
As a consequence, any formula for the earthquake deformation or a flow associated with one polynomial automorphism for α, β, or can be used to derive formulas for all three polynomial automorphisms using the action of
.
Without loss of generality, consider the polynomial automorphism associated with the Dehn twist about α. For a point
we get an orbit of points, given by
with
. Investigating the action of
and using results from linear recurrence relations, we get the following theorem.
Theorem 3.1.2.
For a fixed starting point with
, the Dehn twist about α can be extended to a continuous flow in trace coordinates given by the map
,
where
with
Moreover,
Proof.
Take . We introduce notation for the three components of the map
acting on points
,
Note are also dependant on
, although this is omitted in the notation for brevity. The polynomial automorphism for
(Equationequation (3.1)
(3.1)
(3.1) ) gives a system of recurrence relations,
This gives a linear recurrence relation for ,
with initial conditions
and
.
The recurrence relation can be solved using the characteristic polynomial method for linear recurrence relations. There will be two forms of solution depending on if there are two distinct roots (which occurs if ) or one repeated root (which occurs if x = 2) to the characteristic polynomial. Extending the solutions from
to any real number
and considering
with
gives the expression for
. □
We are particularly interested in the component mentioned in Section 2.2, which can be identified with the Teichmüller space of
. Note the special case x = 2 does not exist on this component. A similar expression can be derived to extend the Dehn twists about β and
to flows
and
, respectively. This is done either by following the same derivation or by applying the symmetry relationships from Remark 3.1.1 to
.
There are a few remarks we can make about Theorem 3.1.2.
Remark 3.1.3.
The results in Theorem 3.1.2 are given for the positive octant . The results could be extended for all starting points
using the symmetries given in Remark 2.2.1.
Remark 3.1.4.
The right-handed Dehn twist about α, , can similarly be extended to a continuous flow. This is given by the formula in Theorem 3.1.2 under the transformation
, with
as expected.
Remark 3.1.5.
Note where imaginary numbers could appear in .
If
then
.
Assume with
,
If
, then
and
, thus
;
If
, then
, but
, and thus
;
If
, then
.
Remark 3.1.6.
Consider the limit of the flow as ,
and define
Then projectively,
The projective classes provide an idea of the rate of blow up at the limit. In particular, the projective classes as and
are distinct,
The approach used in the proof of Theorem 3.1.2 could potentially be applied to other simple closed curves as long as the Dehn twist is known. Whether the recurrence relation can be solved for all simple closed curves is unclear.
See for some example flows with starting points,
(3.4)
(3.4)
Fig. 2 Example forward and backward earthquake deformations about α (red), β (blue), and (green) on
. Starting points are given by the respective sets
,
, and
from Equationequation (3.4)
(3.4)
(3.4) .
![Fig. 2 Example forward and backward earthquake deformations about α (red), β (blue), and αβ (green) on Ttr. Starting points are given by the respective sets Sα, Sβ, and Sαβ from Equationequation (3.4)(3.4) Sα={(3,3,3),(22,22,4),(10,10,−10(−5+23))},Sβ=ΣRot−1Sα,Sαβ=ΣRotSα.(3.4) .](/cms/asset/e92b1dfa-4dd8-4e5d-8531-8c9100fac488/uexm_a_2294491_f0002_c.jpg)
The results presented in this section have extended the orbits of the Dehn twists about α, β, and to a continuous flow in trace coordinates.
3.2 Studying deformations using hyperbolic geometry
We now explore the action of Dehn twists on Teichmüller space using triangle lengths. Unless otherwise stated, use α, β, and to denote the unique geodesic associated with each equivalence class and let
be the respective Dehn twists in triangle lengths. To analyze the Dehn twists, we turn to maximal collar neighborhoods as the neighborhood to twist.
A collar neighborhood of the geodesic γ is an ϵ-neighborhood of γ that is homeomorphic to an open annulus. A maximal collar neighborhood of γ is a collar neighborhood of γ that is maximal with respect to inclusion of sets. We can generate maximal collar neighborhoods around α, β, and on
.
For example, the maximal collar neighborhood for α is shown in .
Theorem 3.2.1.
(Buser [Citation4]) For a maximal collar neighborhood of geodesic γ on the once-punctured torus, the length of the boundary curve and the length of half of the neighborhood ϵ are given by
Consider the image of half of the maximal collar neighborhood in the universal cover . A representation of this is shown in . This can be used to compute how the lengths a, b, c change after taking a fractional Dehn twist about α of some magnitude
.
Fig. 4 The maximal collar neighborhood for α on unfolded into a tube (left) and half of the neighborhood unfolded in the universal cover
(right).
![Fig. 4 The maximal collar neighborhood for α on S1,1 unfolded into a tube (left) and half of the neighborhood unfolded in the universal cover H2 (right).](/cms/asset/599ea15e-6645-41bf-9218-10079eb832ac/uexm_a_2294491_f0004_c.jpg)
Theorem 3.2.2.
For a fixed starting point , the earthquake deformation about α in triangle lengths is given by the map
,
where
Moreover,
Proof.
The arrangement in provides a series of four hyperbolic right-angled triangles. Two triangles represent the initial relative formation of the curves α, β, and with hypotenuse lengths b, c. Two triangles represent the formation of the curves α, β, and
after taking a fractional Dehn twist of value t, with hypotenuse lengths b(t), c(t). Given a hyperbolic right-angled triangle with side lengths p, q and hypotenuse length h, the lengths are related by
Using this relation and those provided in Theorem 3.2.1, the series of hyperbolic triangles can be solved to find b(t) and c(t) as functions in t and the starting lengths a, b, c. Applying the collar equation from Equationequation (2.13)(2.13)
(2.13) gives the formula for the earthquake deformation about α. □
A similar expression can be derived for the earthquake deformations about β and and
, respectively, in triangle lengths. This is done either by following the same derivation process or by applying the symmetry relationships from Remark 3.1.1 to
, adjusting for the change of coordinates. See for some examples.
Fig. 5 Example forward and backward earthquake deformations about α (red), β (blue), and (green) on the image of
in
using triangle lengths. Starting points are given by applying ν from Equationequation (3.5)
(3.5)
(3.5) to the respective sets
, and
from Equationequation (3.4)
(3.4)
(3.4) .
![Fig. 5 Example forward and backward earthquake deformations about α (red), β (blue), and αβ (green) on the image of Ttr in R+3 using triangle lengths. Starting points are given by applying ν from Equationequation (3.5)(3.5) ν:Ttr→Tl(xyz)↦(cosh−1(x2)cosh−1(y2)cosh−1(z2))(3.5) to the respective sets Sα,Sβ, and Sαβ from Equationequation (3.4)(3.4) Sα={(3,3,3),(22,22,4),(10,10,−10(−5+23))},Sβ=ΣRot−1Sα,Sαβ=ΣRotSα.(3.4) .](/cms/asset/268706e1-5df5-4507-a337-691c1256b82d/uexm_a_2294491_f0005_c.jpg)
Compare the formula for as given in Theorem 3.2.2 to
from Theorem 3.1.2. There is a natural homeomorphism between the two coordinate systems,
(3.5)
(3.5) using Equationequation (2.11)
(2.11)
(2.11) . We can use this to relate
and
.
Theorem 3.2.3.
Take starting point , then
Proof.
The proof uses the relationship between the trace coordinates and triangle lengths given in Equationequation (2.12)(2.12)
(2.12) , the fact that we are operating on the level set
(corresponding to component
), and that
Note the special case x = 2 in Theorem 3.1.2 does not lie on Teichmüller space. This corresponds to a = 0. □
Corollary 3.2.4.
The earthquake deformation about α in trace coordinates is precisely the continuous flow extension of the Dehn twist about α on the component ,
Remark 3.2.5.
The parameter represents the relative length twisted along the curve α, with r = 1 indicating a twist of magnitude the full length of α. It can be useful to express the formula for earthquakes in terms of the objective length of the curve. This is often used as the more common convention when studying earthquakes.
In particular, when using the counting measure, the length is precisely the measure of the curve. For the earthquake about α, the coordinate change is .
After applying the formula from Theorem 3.2.2 becomes,
where
A similar reparameterization can be done for the result in Theorem 3.1.2.
The results presented in this section have extended the orbits of the Dehn twists about α, β, and to get an explicit formula for the earthquake deformation in triangle length coordinates. We have proven this is equivalent to the flow from Section 3.1, which extended the orbits of the Dehn twists about α, β, and
to get a continuous flow in trace coordinates. Thus, this continuous flow is the earthquake deformation in trace coordinates. The formula in trace coordinates gives an algebraic interpretation of earthquake deformations; the formula in triangle lengths gives a geometric interpretation of earthquake deformations.
3.3 Change of coordinates algorithm
We present a change of coordinates algorithm that outlines how to find similar earthquake deformation formula for any simple closed curve. Given the framing α and β, Sections 3.1 and 3.2 provide a description the earthquake deformation about α, β, in trace coordinates and triangle lengths, respectively. The algorithm uses these results to construct the earthquake deformation for any simple closed geodesic γ in the chosen framing. For simplicity we consider only trace coordinates in the description of the algorithm. The definition of triangle lengths in Equationequation (2.12)
(2.12)
(2.12) can be used to convert the expressions.
The algorithm is broken into three steps. Given an input of a simple closed geodesic γ as a word in α and β, ,
Compute a simple closed curve δ such that
;
Calculate the earthquake deformation for γ in the framing γ and δ using Theorem 3.1.2;
Transform the expression for the earthquake deformation expression to the original framing α and β.
We elaborate on each of these steps in order.
3.3.1 Step (1)
First compute a simple closed curve δ such that .
Such combinations of curves γ, δ can be found via a mapping class applied to α, β. All mapping classes on are represented by an element
Consider γ an (m1, n1)-type curve for some with
. Then to prove existence of δ we need to find an (m2, n2)-type curve with
that satisfies
. As (m1, n1) is nontrivial, such a vector will always exist. Then there is a mapping class M that takes α to γ and β to δ with
. We can write γ and δ as words in α, β,
3.3.2 Step (2)
Second, calculate the earthquake deformation for γ in the framing given by γ and δ.
Define new “local” trace coordinates
(3.6)
(3.6)
Substituting for (x, y, z) in Theorem 3.1.2 and using Corollary 3.2.4 gives results for the earthquake deformation about γ in local trace coordinates starting at some point
.
(3.7)
(3.7) where
with
3.3.3 Step (3)
Third, transform the expression for the earthquake deformation for γ in the framing γ and δ back to the original framing given by α and β. We do this by relating the local trace coordinates to the original trace coordinates.
We can determine a change of coordinates map from original to local trace coordinates by expanding γ and δ as words in α and β,
The map is the polynomial automorphism equivalent to the mapping class M from Step (1). Use trace identities to express the right-hand side in terms of
, and
.
Similarly, as γ and δ provide a framing of , we can write α and β as words in γ, δ,
This can be constructed from the inverse of the mapping class M.
Then we can determine an inverse change of coordinates map ψ from local to original trace coordinates by expanding α and β as words in γ and δ,
The map ψ is the polynomial automorphism equivalent to the inverse of the mapping class M from Step (1). Use trace identities to expand the right-hand side in terms of . The maps
and ψ are inverses.
Then use , ψ, and
to get the earthquake deformation about γ in original trace coordinates starting at
,
The solution for examples of γ is given in Section 3.5.
3.4 Studying deformations using Fenchel-Nielsen length-twist coordinates
It is useful to study the earthquakes in other coordinate systems. Of particular interest is Fenchel-Nielsen length-twist coordinates.
Fenchel-Nielsen coordinates are based on a pants decomposition of the surface. See, for example, [Citation8]. Consider the pants decomposition given by α on . The Fenchel-Nielsen coordinates using α,
, are related to trace coordinates and triangle lengths by
(3.8)
(3.8)
We could write other coordinate changes for Fenchel-Nielsen coordinates using any other simple closed curve γ, . Label the space
. Each choice of pants decomposition defines an approach to identify
.
Label the coordinate change from trace coordinates
(3.9)
(3.9)
These coordinates are no longer symmetric like the trace coordinates or triangle lengths, but they are projected to the plane in a meaningful way. For a fixed starting point , the earthquake about α in Fenchel-Nielsen coordinates for α is given by
(3.10)
(3.10)
Note this earthquake is parameterized by hyperbolic length, as per Remark 3.2.5.
The expressions for earthquake deformations about β and and
respectively, are increasingly complex. See for examples.
Fig. 6 Example forward and backward earthquake deformations about α (red), β (blue), and (green) using Fenchel-Nielsen length-twist coordinates. Starting points are given by applying ζ from Equationequation (3.9)
(3.9)
(3.9) to the respective sets
, and
from Equationequation (3.4)
(3.4)
(3.4) .
![Fig. 6 Example forward and backward earthquake deformations about α (red), β (blue), and αβ (green) using Fenchel-Nielsen length-twist coordinates. Starting points are given by applying ζ from Equationequation (3.9)(3.9) ζ:Ttr→TFN(xyz)↦(2cosh−1(x2)2cosh−1(y2coth(cosh−1(x2)))).(3.9) to the respective sets Sα,Sβ, and Sαβ from Equationequation (3.4)(3.4) Sα={(3,3,3),(22,22,4),(10,10,−10(−5+23))},Sβ=ΣRot−1Sα,Sαβ=ΣRotSα.(3.4) .](/cms/asset/860eca23-3696-4948-b2e0-08eb78c30e40/uexm_a_2294491_f0006_c.jpg)
The wider set of measured geodesic laminations, , of
is naturally identified with
. A line through the origin represents a lamination and a vector along this line represents an associated measured lamination. Taking the antipodal map represents the projective laminations. Label the set of earthquakes in Fenchel-Nielsen coordinates for Teichmüller space as
.
For any fixed point study the map that takes each lamination to their associated earthquake in Fenchel-Nielsen coordinates for α starting at
,
(3.11)
(3.11) with
For any simple closed curve δ, the functions and
represent the length and twist parameter of δ at the point on the earthquake
. Notation for the measure of the lamination is omitted for brevity.
Remark 3.4.1.
We make some statements about the map .
The map is continuous and bijective for each choice of p. Continuity is given through work of Kerckhoff (see Lemma 1.2, [Citation15]) and bijectivity is given by this and Thurston’s earthquake theorem.
We know
foliates
. In particular, any neighborhood U of a point
is foliated by a subset of
and is mapped to a neighborhood V of a point
that is foliated by a subset of
Recall the slope of a simple closed curve given in Equationequation (2.7)
(2.7)
(2.7) .
Consider a sequence of distinct measured geodesic laminations ordered counter-clockwise by their slope,
The sequence of associated earthquakes will follow the same order clockwise.
The map is depicted in .
Fig. 7 Illustration of map from Equationequation (3.11)
(3.11)
(3.11) taking laminations with basepoint (0, 0) in
(top left) to forward earthquakes with starting point p in
(top right) going via the space of projective laminations (bottom). Clockwise, example laminations are given by simple closed curves β (blue),
,
, α (red),
,
. This illustrates the behaviour from Remark 3.4.1.
![Fig. 7 Illustration of map Ep from Equationequation (3.11)(3.11) Eu:ML⊆H1(S1,1;R)≅R2→E⊆TFNL↦ELFN(u),(3.11) taking laminations with basepoint (0, 0) in R2 (top left) to forward earthquakes with starting point p in TFN (top right) going via the space of projective laminations (bottom). Clockwise, example laminations are given by simple closed curves β (blue), αβ5,α2β3,αβ, α3β2,α5β, α (red), α5β−1,α3β−2,αβ−1, α2β−3,αβ−5. This illustrates the behaviour from Remark 3.4.1.](/cms/asset/f9e41a90-b9b8-4483-8915-05ad7782cffd/uexm_a_2294491_f0007_c.jpg)
We can make further observations about the relationship between the slope of laminations and the slope of the associated earthquakes.
Theorem 3.4.2.
Take simple closed curve γ. The slope of the associated earthquake converges to the inverse of the slope of γ for all starting points
. We have,
The following corollary is apparent after applying the density result in Theorem 2.1.3.
Corollary 3.4.3.
Take a measured geodesic lamination that is not α. The slope of the associated earthquake
converges to the inverse of the slope of
for all starting points
. That is,
Proof of Theorem 3.4.2.
The theorem is proved in three main steps.
Prove the result directly for α and β using explicit formula for the earthquakes.
Consider now a simple closed curve γ that intersects both α and β at least once.
Prove that
Prove that
Bringing this all together proves the theorem.
Part (i). The result for α is clear from the formula from Equationequation (3.10)(3.10)
(3.10) . Fix
. We have
Using the change of coordinates formulas we find an expression for the earthquake about β.
with
Then the slope is
We find
and
Part (ii). We exploit the relationship between earthquakes and Dehn twists. Let be the Dehn twist about γ and δ another simple closed curve. Consider the length of
. We claim
(3.12)
(3.12)
If , we can split δ into k segments, ϵi,
such that
Note that the second condition implies that the pair generate
for all
. In particular, that
for all
and for any representation ρ that represents a hyperbolic structure in
.
Take a such a representation ρ such that,
Note, if ai = 0, sends the attracting fixed point of
to the repelling fixed point and their invariant axes are distinct. This contradicts work by Goldman (Lemma 3.4.5, [Citation12]). Thus,
for all
.
Then
The same asymptotic expression can be deduced taking the inverse Dehn twist,
We get the following consequences to Equationequation (3.12)(3.12)
(3.12) ,
Then,
The length function is convex on Teichmüller space (see [Citation16]) and we can deduce
Then compare the ratio
This concludes the proof of part (ii).
Part (iii). Consider the following change of pants decomposition formula from [Citation2, Citation19] in the case of a cusp,
We have as
. Then,
Using this gives
Where the sign is determined by if γ intersects α positively or negatively and β positively or negatively. This is equivalent to,
This finishes the proof. □
Remark 3.4.4.
The result about slope does not rely on the orientation of the earthquake. That is, for each lamination , forwards and backwards earthquakes will tend to the same slope,
This is clear from the examples in and is proven using the same approach as Theorem 3.4.2. The only difference arises for , where
We make a final remark regarding the relationship between forwards and backwards earthquakes.
Remark 3.4.5.
It appears that, for a fixed starting point , any backwards earthquake
about a lamination
, will intersect all other forwards earthquakes
for all laminations
in exactly one point (excluding
).
That is, for each and each
, there exists
such that
The results from this section help to study general earthquake behavior, as we will see in examples in the next section.
3.5 Examples
We provide examples of the change of coordinates algorithm for two families of curves
; and
for
.
The first family of curves is an example of a sequence of simple closed curves that converges to a simple closed curve as . The second family of curves is an example of a sequence of simple closed curves that converges to a measured geodesic lamination that is not a simple closed curve as
.
For both examples we first describe the simple closed curve δ and the maps and ψ required for the algorithm in both trace and triangle length coordinates. To this end, define new “local” triangle length coordinates using the local trace coordinates from Equationequation (3.6)
(3.6)
(3.6) ,
We then examine behavior at the limit as and investigate other ways to study the earthquakes.
Example 3.5.1
(). First, compute a sequence of simple closed curves δn such that
for each
. One such example is
. The mapping class that takes α, β to γn, δn is
. Given δn has no reliance on n for this family of curves we exclude the subscript. Then
Second, calculate the earthquake deformation for γn in the framing γn and δ as given in Equationequation (3.7)(3.7)
(3.7) .
Third, construct the series of maps and ψn to go between the original framing α, β and the new framing γn, δ for each n.
Going to local trace coordinates,
where
, with
. The characteristic equation method for solving linear recurrence relations can be used to solve for
.
Going to original trace coordinates,
where
, with
. Again, the characteristic equation method for solving linear recurrence relations can be used to solve for y(n).
Then given some starting point the earthquake about the family γn is given by the map
,
In triangle length coordinates the family of maps become
with
and
where
Then given some starting point the earthquake about the family γn is given by the map
,
We can calculate the limit as by expanding the right-hand side expression. The sequence
asymptotically approaches α and thus we expect the earthquake about γn to converge to the earthquake about α. We use hyperbolic trigonometry identities in addition to the collar equation to simplify expressions.
Rescale using to account for the growing length of the curve and the appropriate sequence of transverse measures in n. Using Taylor series expansions to evaluate certain terms in the limit we find,
If we used the hyperbolic length parameterization as in Remark 3.2.5 the appropriate rescaling is ,
(3.13)
(3.13)
Note the rescaling is important, otherwise the limit would tend to in multiple coordinates. This result is consistent with Kerckhoff’s result [Citation15] that defining earthquakes for general measured geodesic laminations through the limits of sequences is well-defined.
See for examples of the orbits of γn for .
Fig. 8 Some example earthquake deformations about for in trace coordinates (top) and triangle length coordinates (bottom). Examples shown are for
in green, yellow, orange, pink, respectively. Starting points are given by
(top) and
(bottom) from Equationequations (3.4)
(3.4)
(3.4) and Equation(3.5)
(3.5)
(3.5) .
![Fig. 8 Some example earthquake deformations about γn=αβαn−1 for in trace coordinates (top) and triangle length coordinates (bottom). Examples shown are for n=1,2,3,4 in green, yellow, orange, pink, respectively. Starting points are given by Sα (top) and νSα (bottom) from Equationequations (3.4)(3.4) Sα={(3,3,3),(22,22,4),(10,10,−10(−5+23))},Sβ=ΣRot−1Sα,Sαβ=ΣRotSα.(3.4) and Equation(3.5)(3.5) ν:Ttr→Tl(xyz)↦(cosh−1(x2)cosh−1(y2)cosh−1(z2))(3.5) .](/cms/asset/05fda9be-ede2-42f7-b34e-00fe8d025008/uexm_a_2294491_f0008_c.jpg)
Example 3.5.2
(). Take the following mapping class,
with matrix representation
This is a pseudo-Anosov mapping class with irrational eigenvalues . Repeated applications of T to α will converge to a lamination
with irrational slope
. That is, a measured geodesic lamination that is not a simple closed curve.
First, compute a sequence of simple closed curves δn such that for each
. One such example is
. Then
Examples for n = 1, 2 are shown below,
Note that as , γn and δn will converge to the same measured geodesic lamination with the same irrational slope, which we can use to our advantage.
Second, calculate the earthquake deformation for γn and δn in the framing γn and δn as given in Equationequation (3.7)(3.7)
(3.7) .
Third, construct the series of maps and
to go between the original framing α, β and the new framing γn, δn for each n. Both
and
involve a system of recurrence relations that are not linear and we have found no typical method for solving them. We can still understand the underlying maps
and
,
and
Given some starting point we can define the earthquake about the family γn recursively by
,
In triangle length coordinates the maps and
become,
and
Given some starting point we can define the earthquake about the family γn recursively by
,
We can similarly define the earthquake about the family δn in trace coordinates and triangle lengths.
Again, to assess the limit as a rescaling factor is required, otherwise the length and the transverse measure would become unbounded. Recall
is the largest eigenvalue of the matrix representation N,
. The appropriate rescaling to take for our original parameterization is
and for our hyperbolic length reparameterization is
.
See for examples of the orbits of γn for . Note the variation in the earthquake from n = 3 to n = 4 is already getting small. The recursive formula makes it difficult to evaluate any terms in the limit directly.
Fig. 9 Some example earthquake deformations about for
in trace coordinates (top) and triangle length coordinates (bottom). Examples shown are for
in green, turquoise, light blue, and cyan, respectively. Starting points are given by
(top) and
(bottom) from Equationequations (3.4)
(3.4)
(3.4) and Equation(3.5)
(3.5)
(3.5) .
![Fig. 9 Some example earthquake deformations about γn=Tn(α) for n=1,2,3,4 in trace coordinates (top) and triangle length coordinates (bottom). Examples shown are for n=1,2,3,4 in green, turquoise, light blue, and cyan, respectively. Starting points are given by Sα (top) and νSα (bottom) from Equationequations (3.4)(3.4) Sα={(3,3,3),(22,22,4),(10,10,−10(−5+23))},Sβ=ΣRot−1Sα,Sαβ=ΣRotSα.(3.4) and Equation(3.5)(3.5) ν:Ttr→Tl(xyz)↦(cosh−1(x2)cosh−1(y2)cosh−1(z2))(3.5) .](/cms/asset/35501fe1-0e51-45bb-8a73-233b53b78ae0/uexm_a_2294491_f0009_c.jpg)
Compare the difference between γn and δn as n increases. Given Thurston’s earthquake theorem, we know this narrows the region of where the limiting earthquake can appear. Given the relationship between slope in Theorem 3.4.2, we know the slope of the limiting earthquake must be
. We can estimate the limiting earthquake from these two pieces of information. See for examples of the forwards and backwards orbits of γn and δn with an estimation of the limiting earthquake about
.
4 Pictures of earthquakes
We use the results presented in Section 3 to generate pictures of earthquakes in multiple different coordinate systems. We focus on earthquakes for the framing α, β, as well as those for the families of simple closed curves in the two examples. Denote the set of all of these curves to be ,
We specifically look at trace coordinate starting points , and
. Note (3, 3, 3) represents the hexagonal torus and
represents the square torus.
We consider the earthquakes in six coordinate systems: trace coordinates on the component , two modified trace coordinates referred to as “spherical trace coordinates” and “inverted trace coordinates,” triangle length coordinates, Fenchel-Nielsen length-twist coordinates, and the simplex. It would be useful to study the earthquakes directly on
, but it is difficult to calculate change of coordinates between
and the other representations of
, see Abe [Citation1].
Recall trace coordinates (x, y, z) on the component with
. Pictures of earthquakes about the curves in
in trace coordinates are given in .
Fig. 11 Forward and backward earthquake deformations about curves in on
in trace coordinates given starting points (3, 3, 3) (left),
(centre), and
(right).
![Fig. 11 Forward and backward earthquake deformations about curves in C on Ttr in trace coordinates given starting points (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/d4e4f070-d98a-43fd-a566-0d9463bf7988/uexm_a_2294491_f0011_c.jpg)
Spherical trace coordinates are given by applying a spherical coordinate change to (x, y, z),
with
. Pictures of earthquakes about the curves in
in spherical trace coordinates are given in .
Fig. 12 Forward and backward earthquake deformations about curves in on
in spherical trace coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left),
(centre), and
(right).
![Fig. 12 Forward and backward earthquake deformations about curves in C on Ttr in spherical trace coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/b9e8d066-b5e7-4c85-a413-d6bdb4226710/uexm_a_2294491_f0012_c.jpg)
Inverted trace coordinates are given by inverting the radius r in the spherical trace coordinates,
with
. Pictures of earthquakes about the curves in
in inverted trace coordinates are given in .
Fig. 13 Forward and backward earthquake deformations about curves in on
in inverted trace coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left),
(centre), and
(right).
![Fig. 13 Forward and backward earthquake deformations about curves in C on Ttr in inverted trace coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/065851e5-f0f4-4395-9ecb-3f0de07fa8fb/uexm_a_2294491_f0013_c.jpg)
Recall triangle lengths as defined in Equationequation (2.12)(2.12)
(2.12) . Pictures of earthquakes about the curves in
in triangle length coordinates are given in .
Fig. 14 Forward and backward earthquake deformations about curves in on
in triangle length coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left),
(centre), and
(right).
![Fig. 14 Forward and backward earthquake deformations about curves in C on R+3 in triangle length coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/711909c1-384f-4ad4-be57-e3ab8a66e650/uexm_a_2294491_f0014_c.jpg)
Also recall Fenchel-Nielsen coordinates using α are related to trace coordinates and triangle lengths by Equationequation (3.8)(3.8)
(3.8) . Pictures of earthquakes about the curves in
in Fenchel-Nielsen coordinates are given in .
Fig. 15 Forward and backward earthquake deformations about curves in in Fenchel-Nielsen coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left),
(centre), and
(right).
![Fig. 15 Forward and backward earthquake deformations about curves in C in Fenchel-Nielsen coordinates given starting points corresponding to trace coordinates (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/f675986d-2780-483a-9080-8515368dc4ad/uexm_a_2294491_f0015_c.jpg)
Coordinates for the simplex can be defined by the transformation,
with
. The simplex coordinates can be transformed to the plane
. Pictures of earthquakes about the curves in
on the simplex are given in .
Fig. 16 Forward and backward earthquake deformations about curves in on the simplex given starting points corresponding to trace coordinates (3, 3, 3) (left),
(centre), and
(right).
![Fig. 16 Forward and backward earthquake deformations about curves in C on the simplex given starting points corresponding to trace coordinates (3, 3, 3) (left), (22,22,4) (centre), and (10,10,−10(−5+23)) (right).](/cms/asset/50c3fa94-bf7f-4139-95e9-b23cf0575748/uexm_a_2294491_f0016_c.jpg)
We can compare these pictures to previous work on earthquakes. In particular, Waterman and Wolpert [Citation22] used Fenchel-Nielsen coordinates to plot forward earthquake deformations about simple closed geodesics starting at points . Plots using our formulas converted to Fenchel-Nielsen coordinates are shown in and are consistent with Waterman and Wolpert’s results.
Acknowledgments
The author thanks Daryl Cooper and Catherine Pfaff for sharing an early preprint of their paper, with extra thanks to Daryl for comments on this work, Francis Bonahon for useful discussions on measured geodesic laminations, and Thomas Le Fils for insight into asymptotics of earthquakes. The author also thanks their supervisor Stephan Tillmann.
Declaration of interest
The author reports there are no competing interests to declare.
Additional information
Funding
References
- Abe, R. (2000). On correspondences between once punctured tori and closed tori: Fricke groups and real lattices. Tokyo J. Math. 23(2): 269–293. 10.3836/tjm/1255958671
- Alessandrini, D., Liu, L., Papadopoulos, A., Su, W. (2012). The behaviour of Fenchel-Nielsen distance under a change of pants decomposition. Commun. Anal. Geom. 20(2): 369–396. 10.4310/CAG.2012.v20.n2.a6
- Arana-Herrera, F., Wright, A. The asymmetry of Thurston’s earthquake flow. DOI: 10.48550/arXiv.2201.04077.
- Buser, P. (1978). The collar theorem and examples. Manuscripta Math. 25: 349–357. 10.1007/BF01168048
- Canary, R. D., Epstein, D. B. A., Marden, A., eds. Fundamentals of Hyperbolic Manifolds: Selected Expositions, London Mathematical Society Lecture Note Series 328. Cambridge: Cambridge University Press.
- Cooper, D., Pfaff, C. Realizing Thurston’s compactification of Teichmüller space with quadratic differentials, in preparation.
- Dehn, M. (1987). Papers on Group Theory and Topology. New York: Springer-Verlag. Translated from the German and with introductions.
- Farb, B., Margalit, D. (2012). A Primer on Mapping Class Groups. Princeton: Princeton University Press.
- Fenchel, W., Nielsen, J. Discontinuous groups of non-Euclidean motions, unpublished manuscript.
- Fricke, R. (1896). Uber die theorie der automorphen modulgrupper. Nachrichten der Akademie der Wissenschaften in Göttingen 1896: 91–101.
- Fricke, R., Klein, F. (1912). Vorlesungen der Automorphen Funktionen.
- Goldman, W. (2003). The modular group action on real SL(2)-characters of a one-holed torus. Geometry & Topology. 7: 443–486.
- Horowitz, R. D. (1975). Induced automorphisms on Fricke characters of free groups. Trans. Amer. Math. Soc. 208: 41–50. 10.1090/S0002-9947-1975-0369540-8
- Humphries, S. P. (1979). Generators for the mapping class group. In: Topology of Low-Dimensional Manifolds (Chelwood Gate, 1977), Volume 722 of Lecture Notes in Mathematics. Berlin: Springer, pp. 44–47.
- Kerckhoff, S. (1983). The Nielsen realization problem. Ann. Math. 117: 235–265. 10.2307/2007076
- Kerckhoff, S. (1985). Earthquakes are analytic. Commentarii Mathematici Helvetici 60(1): 17–30. 10.1007/BF02567397
- Lickorish, W. B. R. (1964). A finite set of generators for the homeotopy group of a 2-manifold. Math. Proc. Cambridge Philosophical Soc. 60: 769–778. 10.1017/S030500410003824X
- Mirzakhani, M. (2008). Ergodic theory of the earthquake flow. Int. Math. Res. Notes 2008: 1–39.
- Okai, T. (1993). Effects of a change of pants decompositions on their Fenchel-Nielsen coordinates. Kobe J. Math. 10: 215–223.
- Thurston, W. P. On the geometry and topology of 3–manifolds, Princeton University Notes.
- Thurston, W. P. On the geometry and dynamics of diffeomorphisms of surfaces, I, preprint.
- Waterman, P., Wolpert, S. (1983). Earthquakes and tesselations of Teichmüller space. Trans. Amer. Math. Soc. 278(1): 157–167.
- Weiss, H. (1989). Non-smooth geodesic flows and the earthquake flow on Teichmüller space. Ergod. Theory Dyn. Syst. 9: 571–586. 10.1017/S0143385700005198
- Wolpert, S. (1983). On the symplectic geometry of deformations of a hyperbolic surface. Ann. Math. 117: 207–234. 10.2307/2007075