The maximal injectivity radius of hyperbolic surfaces with geodesic boundary
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.
- A primer on mapping class groups
- Bounds for several-disk packings of hyperbolic surfaces
- Congruence subgroups and maximal Riemann surfaces
- Elementary geometry in hyperbolic space
- Extremal disks and modular surfaces
- Extremal rings in Riemann surfaces
- Foundations of Hyperbolic Manifolds
- scientific article; zbMATH DE number 421746 (Why is no real title available?)
- Kreisausfüllungen der hyperbolischen Ebene
- Natural triangulations associated to a surface
- Schwarz's lemma and the upper bound of the injectivity radius of surfaces
- Systole and inradius of noncompact hyperbolic manifolds
- The centered dual and the maximal injectivity radius of hyperbolic surfaces
- The Delaunay tessellation in hyperbolic space
- The geometry of cyclic hyperbolic polygons
- The maximum injectivity radius of hyperbolic orbifolds
- The maximum injectivity radius of hyperbolic orbifolds
- The centered dual and the maximal injectivity radius of hyperbolic surfaces
- Extremal rings in Riemann surfaces
- On the boundary injectivity radius of Buser-Colbois-Dodziuk-Margulis tubes
- Injectivity radius and gonality of a compact Riemann surface
- The local maxima of maximal injectivity radius among hyperbolic surfaces
- Schwarz's lemma and the upper bound of the injectivity radius of surfaces
This page was built for publication: The maximal injectivity radius of hyperbolic surfaces with geodesic boundary
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995591)
