The centered dual and the maximal injectivity radius of hyperbolic surfaces (Q2343339): Difference between revisions

In the paper under review, the author gives sharp upper bounds on the maximal injectivity radius of finite-area hyperbolic surfaces. The author analyzes the centered dual complex of a locally finite subset \(S\) of \({\mathbb H}^{2}\) and obtains the following result: Let \(C\) be a compact 2-cell of the centered dual complex of \(S\), such that for some fixed positive number \(d\) each edge of \(\partial C\) has length at least \(d\). If \(C\) is a triangle, then its area is at least that of an equilateral hyperbolic triangle with side lengths \(d\). If \(\partial C\) has \(k\) (\(>3\)) edges, then \(\text{Area}(C)\geq (k-2)A_{m}(d)\), where \(A_{m}(d)\) is the maximum of areas of triangles with two sides of lengths \(d\), that of a semicyclic triangle, whose third side is a diameter of its circumcircle. Also, the author proves the analogous result for centered dual 2-cells of finite complexity that are not compact. By using these, the following main result is shown: For \(r>0\), let \(\alpha(r)\) be the angle of an equilateral hyperbolic triangle with sides of lengths \(2r\), and let \(\beta(r)\) be the angle at either endpoint of the finite side of horocyclic ideal triangle with one side of length \(2r\): \(\alpha(r)= 2\text{sin}^{-1}(1/2\text{cosh}\enskip r), \beta(r)=\text{sin}^{-1}(1/\text{cosh}\enskip r).\) A complete, oriented, finite-area hyperbolic surface \(F\) with genus \(g\geq 0\) and \(n \geq 0\) cusps has injectivity radius at most \(r_{g,n}\) at any point, where \(r_{g,n}\) satisfies \((4g+n-2)3\alpha(r_{g,n}) +2n\beta(r_{g,n})=2\pi.\) Moreover, the collection of such surfaces with injectivity radius \(r_{g,n}\) at some point is non-empty finite subset of the moduli space \(\mathfrak{M}_{g,n}\) of complete, oriented, finite-area hyperbolic surfaces of genus \(g\) with \(n\) cusps. As a corollary, the author shows that for \(g \geq 2\), the collection of surfaces of maximal injectivity radius at least \(r\) is a compact subset of \(\mathfrak {M}_{g,n}\) if and only if \(r>r_{g-1,2}\). At the end of this paper, some examples are presented.