Identities on Hyperbolic Manifolds
Martin Bridgemanand Ser Peow Tan
Boston CollegeChestnut Hill, Ma 02116, USA
National University of Singapore10 Lower Kent Ridge Road, S(119076), Singapore
Abstract. In this survey, we discuss four classes of identities due principally toBasmajian, McShane, Bridgeman-Kahn and Luo-Tan on hyperbolic manifolds andprovide a unified approach for proving them. We also elucidate on the connectionsbetween the various identities.
2000 Mathematics Subject Classification:
Keywords: Hyperbolic manifolds, identities, orthogeodesic, ortholength, orthospec-trum, simple geodesics, geodesic flow.
In the last couple of decades, several authors have discovered various remark-able and elegant identities on hyperbolic manifolds, including Basmajian ,McShane [32, 33], Bridgeman-Kahn [11, 13] and Luo-Tan . Some of theseidentities have been generalized and extended, with different and independentproofs given in some cases. In addition to their intrinsic beauty and curiosityvalue, some of the identities have found important applications, in particular,the McShane identity as generalized by Mirzakhani to surfaces with bound-ary played a crucial role in Mirzakhanis computation of the Weil-Peterssonvolumes of the moduli spaces of bordered Riemann surfaces, as well as somesubsequent applications; the Bridgeman-Kahn identity gave lower bounds for
This work was partially supported by a grant from the Simons Foundation (#266344 toMartin Bridgeman)Tan was partially supported by the National University of Singapore academic research
2 Martin Bridgeman and Ser Peow Tan
the volumes of hyperbolic manifolds with totally geodesic boundary. Manyof these identities were proven independently of each other, for example, al-though the Basmajian and McShane identities appeared at about the sametime, the authors seemed unaware of each others work at that point; theBridgeman-Kahn identity, although it appeared later was also proven some-what independently of both of these works. The exception is the Luo-Tanidentity which borrowed inspiration from the previous works.
The aim of this article is to explore these identities, to analyse the variousingredients which make them work, and to provide a common framework forwhich to understand them. We hope that this will not only put the identitiesin a more natural setting and make them easier to understand, but also pointthe way towards a more unified theory with which to view these beautifulidentities, and also point the direction towards possible applications for theseidentities.
The unifying idea behind all of these identities is fairly simple. One consid-ers a set X with finite measure (X) associated with the hyperbolic manifoldM , (for example X = M , the boundary of M , or X = T1(M), the unittangent bundle of M) and look for interesting geometric/dynamical/measuretheoretic decompositions of X. Typically, by exploring some geometric ordynamical aspect of M , one can show that the set X decomposes into a count-able union of disjoint subsets Xi of finite non-zero measure, and a set Z whichis geometrically and dynamically complicated and interesting, but which hasmeasure zero (this is what we mean by a measure theoretic decomposition ofX). One deduces the fact that Z has measure zero from a deep but well-knownresult from hyperbolic geometry or dynamical systems. The identity is thenjust the tautological equation
The second part of the problem consists of analysing the sets Xi, in particular,to compute their measures in terms of various geometric quantities like spectraldata. This can be relatively simple, for example in the case of the Basmajianidentity, somewhat more complicated, like the McShane and Bridgeman-Kahnidentities or considerably more involved, as in the Luo-Tan identities. A typicalfeature is that the sets Xi are indexed by either simple geometric objects onM like orthogeodesics, or simple subsurfaces of M , like embedded one-holedtori or thrice-punctured spheres. In particular, their measures depend only onthe local geometry and data, and not on the global geometry of M .
One can develop this viewpoint further, for example letting X be the setof geodesics on M with the Liouville measure and associating to X the lengthof the geodesic as a random variable and computing the moment generatingfunction of this. In this way, for example, the Basmajian and the Bridgeman-
Identities on Hyperbolic Manifolds 3
Kahn identities can be viewed as different moments of the same generatingfunction, see .
Alternatively, as in the case of Bowditchs proof  of McShanes originalidentity, one can adopt a different viewpoint, and prove it using a combinationof algebraic and combinatorial techniques. This has been developed furtherin [9, 10, 46, 47, 49] etc, and provides an interesting direction for furtherexploration.
Our main aim in this survey is to demystify these identities and to showthat the basic ideas involved in deriving them are very simple. As such, theexposition will be somewhat leisurely, and where necessary, we will presentslightly different proofs and perspectives than the original papers. We will referthe reader to the original papers for the more technical details of computingthe measures (Xi).
The rest of the paper is organized as follows. In the next couple of sectionswe first state the four sets of identities, and then sketch the proofs for theseidentities from our perspective. Subsequently, we give a short discussion of themoment point of view adopted in  which allows one to view the Basmajianand Bridgeman identities as different moments of the same variable and followthis with a short discussion of the Bowditch proof of the McShane identity andsubsequent developments. We conclude the survey with some open questionsand directions for further investigations.
The literature on the subject is fairly large and growing. To aid the reader wewill now give a brief synopsis by identity.
McShane Identity: The McShane identity first appeared in McShanes 1991thesis , A remarkable identity for lengths of curves. This was subse-quently generalized (to higher genus surfaces) and published in . In thepapers [8, 9, 10], Bowditch gives a proof of the McShane identity using Markovtriples, with extensions to punctured torus bundles and type-preserving quasi-fuchsian representations, see also [1, 2] by Akiyoshi, Miyachi and Sakuma forvariations. The identity was extended to surfaces with cone singularities inZhangs 2004 thesis , see also . A Weierstrass points version of theidentity was derived by McShane in , and the identity was also generalizedto closed surfaces of genus two in , using similar techniques. Both of thesecan also be derived using the hyperelliptic involution on the punctured torusand on a genus two surface, and using the identity on the resulting cone sur-faces, as explained by Tan, Wong and Zhang in . Mirzakhani gave a proofof the general McShane identity for bordered surface in her 2005 thesis which was subsequently published in . In , the identity was generalizedto the SL(2,C) case by Tan, Wong and Zhang and for non-orientable surfaces
4 Martin Bridgeman and Ser Peow Tan
by Norbury in . The identity was generalized to PSL(n,R) for Hitchin rep-resentations by Labourie and McShane in . A version for two-bridge linkswas given by Lee and Sakuma in . Recent work of Hu, Tan and Zhang in[21, 22] have also given new variations and extensions of the identity to thecontext of Coxeter group actions on Cn.
Basmajian Identity: The Basmajian identity appears in the 1993 paper ,The orthogonal spectrum of a hyperbolic manifold. A recent paper of Vlamis analyses the statistics of the Basmajian identity and derives a formula forthe moments of its associated hitting random variable. In the recent paper, Paulin and Parkkonen derive formulae for the asymptotic distribution oforthogonal spectrum in a general negatively curved space.
Bridgeman-Kahn Identity: The Bridgeman-Kahn identity was first provenin the surface case by the first author in the 2011 paper  Orthospec-tra and Dilogarithm Identities on Moduli Space. An alternate proof wasgiven by Calegari in . The general case was proven by Bridgeman-Kahn inthe paper . The paper  of Calegari analyses the connections betweenthe Bridgeman-Kahn identity and Basmajian identity and gives an orthospec-trum identity that has the same form as the Bridgeman-Kahn identity butarises out of a different decomposition. A recent paper of Masai and McShane has shown that the identity obtained by Calegari is in fact the originalBridgeman-Kahn identity. In the paper  the authors consider the statis-tics of the Bridgeman-Kahn identity and derive a formula for the momentsof its associated hitting random variable. We show that the Basmajian andBridgeman-Kahn identities arise as the first two moments of this random vari-able.
Luo-Tan identity: The Luo-Tan identity appears in the 2011 preprint  Adilogarithm identity on Moduli spaces of curves. A version of the identity forsmall hyperbolic surfaces can be found in  and for surfaces with boundaryand non-orientable surfaces in .
Acknowledgements. We are grateful to Dick Canary, Francois Labourie, FengLuo, Greg McShane, Hugo Parlier, Caroline Series, and Ying Zhang for helpfuldiscussions on this material.
2 Two orthospectra identities
We let M be a finite volume hyperbolic manifold with non-empty totallygeodesic boundary. In