The maximal injectivity radius of hyperbolic surfaces with geodesic boundary (Q1995591)

For a point \(p\) in the interior of a hyperbolic surface \(F,\) by the injectivity radius of \(F\) at \(p\) we mean the supremum \(\operatorname{injrad}_{p}(F)\) of all \(r > 0\) such that there is a locally isometric embedding of an open metric neighborhood -- a disk -- of radius \(r\) into \(F\) that takes the disk's center to \(p.\) If \(F\) is complete and without boundary then \(\operatorname{injrad}_{p}(F) =\frac{1}{2}\operatorname{sys}_{p}(F)\) at \(p,\) where \(\operatorname{sys}_{p}(F)\) is the systole of loops at \(p,\) the minimal length of a non-constant geodesic arc in \(F\) with both endpoints at \(p.\) One of the main result of the paper under review is to give upper bounds on the injectivity radius at points of surfaces with boundary. The following theorem is proved: Theorem 1.1. Fix natural numbers \(\chi < 0\) and \(b, n\geq 0.\) For a complete, finite area hyperbolic surface \(F\) with compact geodesic boundary that has \(n\) cusps, \(b\) boundary components and Euler characteristic \(\chi,\) and any \(p\in F, injard_{p}(F)\leq r_{\chi,n,b},\) where \(r_{\chi,n,b}\) is the unique solution to: \[3(2-(2\chi+b+n))\alpha(r_{\chi,n,b})+2n\beta(r_{\chi,n,b})+2b\gamma(r_{\chi,n,b})=2\pi.\] Here, \(\alpha(r) = 2\sin^{-1}(\frac{1}{2\cosh r}), \beta(r) = \sin^{-1}(\frac{1}{\cosh r}),\) and \(\gamma(r) = 2\sin^{-1}(\frac{1}{\sqrt{2}\cosh r})\) each measure vertex angles, respectively that of an equilateral triangle with side length \(2r,\) at finite vertices of a horocyclic ideal triangle with compact side length \(2r,\) and of a square with side length \(2r.\) This bound is sharp. It is attained at finitely many surfaces up to isometry, which all decompose into a common collection of hyperbolic polygons. The proof occupies the first section of the paper under review. The next section considers the systole of loop functions, defined above. The main result of this section implies that unlike \(\operatorname{injrad}_{p}(F),sys_{p}(F)\) is not bounded above over all bounded surfaces \(F\) with a fixed topology and all \(p\in F\). In the last, third section is given a characterization of the maximum value of \(sys_{p}(F)\) for a three-holed sphere \(F\) in terms of its boundary lengths.