Thurston boundary


In mathematics, the Thurston boundary of Teichmüller space of a surface is obtained as the boundary of its closure in the projective space of functionals on simple closed curves on the surface. The Thurston boundary can be interpreted as the space of projective measured foliations on the surface.
The Thurston boundary of the Teichmüller space of a closed surface of genus is homeomorphic to a sphere of dimension. The action of the mapping class group on the Teichmüller space extends continuously over the union with the boundary.

Measured foliations on surfaces

Let be a closed surface. A measured foliation on is a foliation on which may admit isolated singularities, together with a transverse measure, i.e. a function which to each arc transverse to the foliation associates a positive real number. The foliation and the measure must be compatible in the sense that the measure is invariant if the arc is deformed with endpoints staying in the same leaf.
Let be the space of isotopy classes of closed simple curves on. A measured foliation can be used to define a function as follows: if is any curve let
where the supremum is taken over all collections of disjoint arcs which are transverse to . Then if the intersection number is defined by:
Two measured foliations are said to be equivalent if they define the same function on . The space of projective measured foliations is the image of the set of measured foliations in the projective space via the embedding. If the genus of is at least 2, the space is homeomorphic to the -dimensional sphere.

Compactification of Teichmüller space

Embedding in the space of functionals

Let be a closed surface. Recall that a point in the Teichmüller space is a pair where is a hyperbolic surface and a homeomorphism, up to a natural equivalence relation. The Teichmüller space can be realised as a space of functionals on the set of isotopy classes of simple closed curves on as follows. If and then is defined to be the length of the unique closed geodesic on in the isotopy class. The map is an embedding of into, which can be used to give the Teichmüller space a topology.
In fact, the map to the projective space is still an embedding: let there. Since this space is compact, the closure is compact: it is called the Thurston compactification of the Teichmüller space.

The Thurston boundary

The boundary is equal to the subset of. The proof also implies that the Thurston compactification is homeomorphic to the -dimensional closed ball.

Applications

Pseudo-Anosov diffeomorphisms

A diffeomorphism is called pseudo-Anosov if there exists two transverse measured foliations, such that under its action the underlying foliations are preserved, and the measures are multiplied by a factor respectively for some . Using his compactification Thurston proved the following characterisation of pseudo-Anosov mapping classes, which was in essence known to Nielsen and is usually called the Nielsen-Thurston classification. A mapping class is pseudo-Anosov if and only if:
The proof relies on the Brouwer fixed point theorem applied to the action of on the Thurston compactification. If the fixed point is in the interior then the class is of finite order; if it is on the boundary and the underlying foliation has a closed leaf then it is reducible; in the remaining case it is possible to show that there is another fixed point corresponding to a transverse measured foliation, and to deduce the pseudo-Anosov property.

Applications to the mapping class group

The action of the mapping class group of the surface on the Teichmüller space extends continuously to the Thurston compactification. This provides a powerful tool to study the structure of this group; for example it is used in the proof of the Tits alternative for the mapping class group. It can also be used to prove various results about the subgroup structure of the mapping class group.

Applications to 3–manifolds

The compactification of Teichmüller space by adding measured foliations is essential in the definition of the ending laminations of a hyperbolic 3-manifold.

Actions on real trees

A point in Teichmüller space T can alternatively be seen as a faithful representation of the fundamental group into the isometry group of the hyperbolic plane, up to conjugation. Such an isometric action gives rise to an action on the asymptotic cone of, which is a real tree. Two such actions are equivariantly isometric if and only if they come from the same point in Teichmüller space. The space of such actions is compact, and hence we get another compactification of Teichmüller space. A theorem of R. Skora states that this compactification is equivariantly homeomorphic the Thurston compactification.