Unification of extremal length geometry on Teichmuller space via intersection number

TL;DR

This paper develops a unified extremal length geometric framework for Teichmüller space, extending intersection numbers and Gromov products to compactifications, and provides new insights into isometry groups and models of Teichmüller space.

Contribution

It introduces a new extremal length geometric framework, extending intersection numbers and Gromov products, and offers a novel hyperboloid model and characterization of isometries.

Findings

Extension of intersection number to the cone including measured foliations.

Continuous extension of the Gromov product to the compactification.

New realization of Teichmüller space as a hyperboloid model.

Abstract

In this paper, we give a framework for the study of the extremal length geometry of Teichm\"uller space after S. Kerckhoff, F. Gardiner and H. Masur. There is a natural compactification using extremal length geometry introduced by Gardiner and Masur. The compactification is realized in a certain projective space. We develop the extremal length geometry in the cone which is defined as the inverse image of the compactification via the quotient mapping. The compactification is identified with a subset of the cone by taking an appropriate lift. The cone contains canonically the space of measured foliations in the boundary. We first extend the geometric intersection number on the space of measured foliations to the cone, and observe that the restriction of the intersection number to Teichm\"uller space is represented explicitly by the formula in terms of the Gromov product with respect to the Teichm\"uller distance. From this observation, we deduce that the Gromov product extends continuously to the compactification. As an application, we obtain an alternative approach to Earle-Ivanov-Kra-Markovic-Royden's characterization of isometries. Namely, with some few exceptions, the isometry group of Teichm\"uller space with respect to the Teichm\"uller distance is canonically isomorphic to the extended mapping class group. We also obtain a new realization of Teichm\"uller space, a hyperboloid model of Teichm\"uller space with respect to the Teichm\"uller distance.