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 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.
Let $gamma_0$ be a curve on a surface $Sigma$ of genus $g$ and with $r$ boundary components and let $pi_1(Sigma)curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number of curves $gamma$ of type $gamma_0$ with translation length at most $L$ on $X$. For example, as an application, we derive that for any finite generating set $S$ of $pi_1(Sigma)$ the limit $$lim_{Ltoinfty}frac 1{L^{6g-6+2r}}{gammatext{ of type }gamma_0text{ with }Stext{-translation length}le L}$$ exists and is positive. The main new technical tool is that the function which associates to each curve its stable length with respect to the action on $X$ extends to a (unique) continuous and homogenous function on the space of currents. We prove that this is indeed the case for any action of a torsion free hyperbolic group.
We study stable commutator length on mapping class groups of certain infinite-type surfaces. In particular, we show that stable commutator length defines a continuous function on the commutator subgroups of such infinite-type mapping class groups. We furthermore show that the commutator subgroups are open and closed subgroups and that the abelianizations are finitely generated in many cases. Our results apply to many popular infinite-type surfaces with locally coarsely bounded mapping class groups.
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves.
We give a new upper bound on the stable commutator length of Dehn twists in hyperelliptic mapping class groups, and determine the stable commutator length of some elements. We also calculate values and the defects of homogeneous quasimorphisms derived from omega-signatures, and show that they are linearly independent in the mapping class groups of pointed 2-spheres when the number of points is small.
Extremal length is an important conformal invariant on Riemann surface. It is closely related to the geometry of Teichmuller metric on Teichmuller space. By identifying extremal length functions with energy of harmonic maps from Riemann surfaces to $mathbb{R}$-trees, we study the second variation of extremal length functions along Weil-Petersson geodesics. We show that the extremal length of any measured foliation is a pluri-subharmonic function on Teichmuller space.