In this article, we extend a certain key identity proved by J. Jorgenson and J. Kramer in [6] to noncompact hyperbolic Riemann orbisurfaces of finite volume. This identity relates the two natural metrics, namely the hyperbolic metric and the canonical metric defined on a Riemann orbisurface.The extended version of the key identity enables us to extend the work of J. Jorgenson and J. Kramer to noncompact hyperbolic Riemann orbisurfaces of finite volume. In an upcoming article [2], using the key identity, we extend the bounds derived in [6].Acknowledgements This article is part of the PhD thesis of the author, which was completed under the supervision of J. Kramer at Humboldt Universität zu Berlin. The author would like to express his gratitude to J. Kramer for his support and many valuable scientific discussions. The author would also like to extend his gratitude to J. Jorgenson for sharing new scientific ideas, and to R. S. de Jong for many interesting scientific discussions and for pointing out a mistake in the first proof.
Background materialLet Γ ⊂ PSL 2 (R) be a Fuchsian subgroup of the first kind acting by fractional linear transformations on the upper half-plane H. Let X be the quotient space Γ\H, and let g denote the genus of X. The quotient space X admits the structure of a Riemann orbisurface. Let E, P be the finite set of elliptic fixed points and cusps of X, respectively; put S = E ∪ P. For e ∈ E, let m e denote the order of e; for p ∈ P, put m p = ∞; for z ∈ X\E, put m z = 1. Let X denote X = X ∪ P. Locally, away from the elliptic fixed points and cusps, we identity X with its universal cover H, and hence, denote the points on X\S by the same letter as the points on H.Structure of X as a Riemann surface The quotient space X admits the structure of a compact Riemann surface. We refer the reader to section 1.8 in [10], for the details regarding the structure of X as a compact Riemann surface. For the convenience of the reader, we recall the coordinate functions for the neighborhoods of elliptic fixed points and cusps. Let w ∈ U r (e) denote a coordinate disk of radius r around an elliptic fixed point e ∈ E. Then, the coordinate function ϑ e (w) for the coordinate disk U r (e) is given by ϑ e (w) =w − e w − e me .