Abstract
We find bounds for the length of the systole—the shortest essential, non-peripheral closed curve—for arithmetic punctured spheres with n cusps, for \(n=4\) through \(n=12\), some of which were previously known due to Schmutz. This is shown using a correspondence between such surfaces and planar triangulations. We show that for \(n=7,10,11\), arithmetic surfaces do not achieve the maximal systole length.
Similar content being viewed by others
References
Bavard, C.: Systole et invariant d’Hermite. J. Reine Angew. Math. 482, 93–120 (1997)
Beardon, A.F.: The Geometry of Discrete Groups. Graduate Texts in Mathematics, vol. 91. Springer, New York (1983)
Benson, B.A., Lakeland, G.S., Then, H.: Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues. Proc. Am. Math. Soc. 149(1), 417–438 (2021)
Borodin, O.V.: Joint generalization of the theorems of Lebesgue and Kotzig on the combinatorics of planar maps. Diskret. Mat. 3(4), 24–27 (1991)
Bourque, M.F., Rafi, K.: Local maxima of the systole function. J. Eur. Math. Soc. (JEMS) 24(2), 623–668 (2022)
Brooks, R., Makover, E.: Random construction of Riemann surfaces. J. Differ. Geom. 68(1), 121–157 (2004)
Fanoni, F., Parlier, H.: Systoles and kissing numbers of finite area hyperbolic surfaces. Algebr. Geom. Topol. 15(6), 3409–3433 (2015)
Maclachlan, C., Reid, A.W.: The Arithmetic of Hyperbolic 3-Manifolds. Graduate Texts in Mathematics, vol. 219. Springer, New York (2003)
McKay, B.: Product of vertex degrees of an edge in a planar graph. https://mathoverflow.net/q/407110
Neumann, W.D., Reid, A.W.: Arithmetic of Hyperbolic Manifolds, Topology ’90 (Columbus, OH: Ohio State University Mathematical Research Institute Publications, vol. 1). de Gruyter, Berlin, vol. 1992, pp. 273–310 (1990)
Ratcliffe, J.G.: Foundations of Hyperbolic Manifolds. Graduate Texts in Mathematics, vol. 149. Springer, New York (1994)
Schmutz, P.: Riemann surfaces with shortest geodesic of maximal length. Geom. Funct. Anal. 3(6), 564–631 (1993)
Schmutz, P.: Congruence subgroups and maximal Riemann surfaces. J. Geom. Anal. 4(2), 207–218 (1994)
Schaller, P.S.: Systoles and topological Morse functions for Riemann surfaces. J. Differ. Geom. 52(3), 407–452 (1999)
Series, C.: The modular surface and continued fractions. J. Lond. Math. Soc. (2) 31(1), 69–80 (1985)
Acknowledgements
We thank Rick Anderson for helping initiate this project, Alan Reid for suggesting a shorter proof of Lemma 2.1 than was given in an earlier draft, and Brendan McKay for graph theory help with the 8-cusped case via comments to a MathOverflow question [9]. We also thank the anonymous referees for their careful reading of the manuscript and helpful suggestions for improving the paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Lakeland, G.S., Young, C. Hyperbolic Punctured Spheres Without Arithmetic Systole Maximizers. La Matematica 2, 934–961 (2023). https://doi.org/10.1007/s44007-023-00066-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44007-023-00066-x