An infinite product on the Teichmüller space of the once-punctured torus

Abstract

We prove the identity $$ \prod_γ\left(\frac{e^{l(γ)}+1}{e^{l(γ)}-1}\right)^{2h}=\exp\left(\frac{l_1+l_2+l_3}{2}\right), $$ (or $$ \prod_γ\left(\frac{t(γ)^2}{t(γ)^2-4}\right)^h=\frac{t_1+\sqrt{t_1^2-4}}{2}\cdot\frac{t_2+\sqrt{t_2^2-4}}{2}\cdot\frac{t_3+\sqrt{t_3^2-4}}{2} $$ in trace coordinates), where the product is over all simple closed geodesics on the once-punctured torus, $l(γ)=2\operatorname{arccosh}(t(γ)/2)$ is the length of the geodesic, and $l_i$ ($t_i$) are the lengths (traces) of any triple of simple geodesics $\{γ_i\}$ intersecting at a single point. The exponent $h=h(γ;\{γ_i\})$ is a positive integer "height" which increases as we move away from the chosen triple $\{γ_i\}$ in its orbit under $SL_2(\mathbb{Z})$ (see Figure 1 for the "definition by picture"). For comparison, a short proof of McShane's identity $$ \sum_γ\frac{1}{1+e^{l(γ)}}=\frac{1}{2}=\sum_γ\frac{1-\sqrt{1-4/t(γ)^2}}{2} $$ in the same spirit is given in an appendix. Both proofs are elementary and proceed by "integrating" around the chosen triple $\{γ_i\}$ in its Teichmüller orbit.