The extremal length systole of the Bolza surface
Annales Henri Lebesgue, Volume 7 (2024), pp. 1409-1455.

Metadata

Keywords Extremal length, systole, Bolza surface, elliptic integrals, Landen transformations

Abstract

We prove that the extremal length systole of genus two surfaces attains a strict local maximum at the Bolza surface, where it takes the value 2.


References

[AB50] Ahlfors, Lars V.; Beurling, Arne Conformal invariants and function-theoretic null-sets, Acta Math., Volume 83 (1950), pp. 101-129 | DOI | MR | Zbl

[Ada98] Adams, Colin Maximal cusps, collars, and systoles in hyperbolic surfaces, Indiana Univ. Math. J., Volume 47 (1998) no. 2, pp. 419-437 | DOI | MR | Zbl

[Ahl61] Ahlfors, Lars V. Some remarks on Teichmüller’s space of Riemann surfaces, Ann. Math., Volume 74 (1961), pp. 171-191 | DOI | MR | Zbl

[Ahl78] Ahlfors, Lars V. Complex analysis. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics, McGraw-Hill, 1978 | MR | Zbl

[Ahl06] Ahlfors, Lars V. Lectures on quasiconformal mappings, University Lecture Series, 38, American Mathematical Society, 2006 (with supplemental chapters by C. J. Earle, I. Kra, M. Shishikura and J. H. Hubbard) | DOI | MR | Zbl

[Ahl10] Ahlfors, Lars V. Conformal invariants. Topics in geometric function theory, AMS Chelsea Publishing, 2010 (reprint of the 1973 original, with a foreword by Peter Duren, F. W. Gehring and Brad Osgood) | DOI | MR | Zbl

[Akr03] Akrout, H. Singularités topologiques des systoles généralisées, Topology, Volume 42 (2003) no. 2, pp. 291-308 | DOI | MR | Zbl

[Bav86] Bavard, Christophe Inégalité isosystolique pour la bouteille de Klein, Math. Ann., Volume 274 (1986) no. 3, pp. 439-441 | DOI | MR | Zbl

[Bav88] Bavard, Christophe Inégalités isosystoliques conformes pour la bouteille de Klein, Geom. Dedicata, Volume 27 (1988) no. 3, pp. 349-355 | DOI | MR | Zbl

[Bav92a] Bavard, Christophe Inégalités isosystoliques conformes, Comment. Math. Helv., Volume 67 (1992) no. 1, pp. 146-166 | DOI | MR | Zbl

[Bav92b] Bavard, Christophe La systole des surfaces hyperelliptiques, Prepubl. Ec. Norm. Sup. Lyon, Volume 71 (1992), pp. 1-6

[Bav97] Bavard, Christophe Systole et invariant d’Hermite, J. Reine Angew. Math., Volume 482 (1997), pp. 93-120 | DOI | MR | Zbl

[Bav05] Bavard, Christophe Théorie de Voronoĭ géométrique. Propriétés de finitude pour les familles de réseaux et analogues, Bull. Soc. Math. Fr., Volume 133 (2005) no. 2, pp. 205-257 | DOI | Numdam | MR | Zbl

[BB87] Borwein, Jonathan M.; Borwein, Peter B. Pi and the AGM. A study in analytic number theory and computational complexity, Canadian Mathematical Society Series of Monographs and Advanced Texts – A Wiley-Interscience Publication, John Wiley & Sons, 1987 | MR | Zbl

[BH99] Bridson, Martin R.; Haefliger, André Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften, 319, Springer, 1999 | DOI | MR | Zbl

[Cal96] Calabi, Eugenio Extremal isosystolic metrics for compact surfaces, Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992) (Séminaires et Congrès), Volume 1, Société Mathématique de France, 1996, pp. 167-204 | MR | Zbl

[DLR10] Duchin, Moon; Leininger, Christopher J.; Rafi, Kasra Length spectra and degeneration of flat metrics, Invent. Math., Volume 182 (2010) no. 2, pp. 231-277 | DOI | MR | Zbl

[Dri] Dricoll, Toby The Schwarz–Christoffel Toolbox for MATLAB (version 3.1.2), https://tobydriscoll.net/project/sc-toolbox/

[FB18] Fortier Bourque, Maxime The holomorphic couch theorem, Invent. Math., Volume 212 (2018) no. 2, pp. 319-406 | DOI | MR | Zbl

[FB23] Fortier Bourque, Maxime A divergent horocycle in the horofunction compactification of the Teichmüller metric, Ann. Inst. Fourier, Volume 73 (2023) no. 5, pp. 1885-1902 | DOI | MR | Zbl

[FBR18] Fortier Bourque, Maxime; Rafi, Kasra Non-convex balls in the Teichmüller metric, J. Differ. Geom., Volume 110 (2018) no. 3, pp. 379-412 | DOI | MR | Zbl

[FP15] Fanoni, Federica; Parlier, Hugo Systoles and kissing numbers of finite area hyperbolic surfaces, Algebr. Geom. Topol., Volume 15 (2015) no. 6, pp. 3409-3433 | DOI | MR | Zbl

[Fuc16] Fuchs, Dmitry Geodesics on regular polyhedra with endpoints at the vertices, Arnold Math. J., Volume 2 (2016) no. 2, pp. 201-211 | DOI | MR | Zbl

[Gar84] Gardiner, Frederick P. Measured foliations and the minimal norm property for quadratic differentials, Acta Math., Volume 152 (1984) no. 1-2, pp. 57-76 | DOI | MR | Zbl

[GM91] Gardiner, Frederick P.; Masur, Howard Extremal length geometry of Teichmüller space, Complex Variables, Theory Appl., Volume 16 (1991) no. 2-3, pp. 209-237 | DOI | MR | Zbl

[Gro83] Gromov, Mikhael Filling Riemannian manifolds, J. Differ. Geom., Volume 18 (1983) no. 1, pp. 1-147 | DOI | MR | Zbl

[HM79] Hubbard, John; Masur, Howard Quadratic differentials and foliations, Acta Math., Volume 142 (1979), pp. 221-274 | DOI | MR | Zbl

[HS85] Hass, Joel; Scott, Peter Intersections of curves on surfaces, Isr. J. Math., Volume 51 (1985) no. 1-2, pp. 90-120 | DOI | MR | Zbl

[HS89] Haas, Andrew; Susskind, Perry The geometry of the hyperelliptic involution in genus two, Proc. Am. Math. Soc., Volume 105 (1989) no. 1, pp. 159-165 | DOI | MR | Zbl

[HZ20] Headrick, Matthew; Zwiebach, Barton Minimal-area metrics on the Swiss cross and punctured torus, Commun. Math. Phys., Volume 377 (2020) no. 3, pp. 2287-2343 | DOI | MR | Zbl

[Jen57] Jenkins, James A. On the existence of certain general extremal metrics, Ann. Math., Volume 66 (1957), pp. 440-453 | DOI | MR | Zbl

[Jen58] Jenkins, James A. Univalent functions and conformal mapping, Ergebnisse der Mathematik und ihrer Grenzgebiete, 18, Springer-Verlag, 1958 | MR | Zbl

[Jen84] Jenni, Felix Über den ersten Eigenwert des Laplace-Operators auf ausgewählten Beispielen kompakter Riemannscher Flächen, Comment. Math. Helv., Volume 59 (1984) no. 2, pp. 193-203 | DOI | MR | Zbl

[JLN + 05] Jakobson, Dmitry; Levitin, Michael; Nadirashvili, Nikolai; Nigam, Nilima; Polterovich, Iosif How large can the first eigenvalue be on a surface of genus two?, Int. Math. Res. Not. (2005) no. 63, pp. 3967-3985 | DOI | MR | Zbl

[Joh17] Johansson, Fredrik Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput., Volume 66 (2017) no. 8, pp. 1281-1292 | DOI | MR | Zbl

[Ker80] Kerckhoff, Steven P. The asymptotic geometry of Teichmüller space, Topology, Volume 19 (1980), pp. 23-41 | DOI | MR | Zbl

[KL09] Kahn, Jeremy; Lyubich, Mikahil The quasi-additivity law in conformal geometry, Ann. Math., Volume 169 (2009) no. 2, pp. 561-593 | DOI | MR | Zbl

[KPT22] Kahn, Jeremy; Pilgrim, Kevin M.; Thurston, Dylan P. Conformal surface embeddings and extremal length, Groups Geom. Dyn., Volume 16 (2022) no. 2, pp. 403-435 | DOI | MR | Zbl

[KS06] Katz, Mikhail G.; Sabourau, Stéphane An optimal systolic inequality for CAT(0) metrics in genus two, Pac. J. Math., Volume 227 (2006) no. 1, pp. 95-107 | DOI | MR | Zbl

[KW99] Karcher, Hermann; Weber, Matthias The geometry of Klein’s Riemann surface, The eightfold way. The beauty of Klein’s quartic curve (Mathematical Sciences Research Institute Publications), Volume 35, Cambridge University Press, 1999, pp. 9-49 | MR | Zbl

[LS17] Liu, Lixin; Su, Weixu Variation of extremal length functions on Teichmüller space, Int. Math. Res. Not. (2017) no. 21, pp. 6411-6443 | DOI | MR | Zbl

[Map] Maplesoft, a division of Waterloo Maple Inc.

[Mas85] Maskit, Bernard Comparison of hyperbolic and extremal lengths, Ann. Acad. Sci. Fenn., Math., Volume 10 (1985), pp. 381-386 | DOI | MR | Zbl

[McM95] McMullen, Curtis T. Complex dynamics and renormalization, Annals of Mathematics Studies, 135, Princeton University Press, 1995 | DOI | MR | Zbl

[MGP19] Martínez-Granado, Dídac; Pallete, Franco Vargas Comparing hyperbolic and extremal lengths for shortest curves (2019) (preprint) | arXiv

[MGT21] Martínez-Granado, Dídac; Thurston, Dylan P. From curves to currents, Forum Math. Sigma, Volume 9 (2021), e77 | DOI | MR | Zbl

[Mil06] Milnor, John Dynamics in one complex variable, Annals of Mathematics Studies, 160, Princeton University Press, 2006 | DOI | MR | Zbl

[Min92] Minsky, Yair N. Harmonic maps, length, and energy in Teichmüller space, J. Differ. Geom., Volume 35 (1992) no. 1, pp. 151-217 | DOI | MR | Zbl

[Min93] Minsky, Yair N. Teichmüller geodesics and ends of hyperbolic 3-manifolds, Topology, Volume 32 (1993) no. 3, pp. 625-647 | DOI | MR | Zbl

[Min96] Minsky, Yair N. Extremal length estimates and product regions in Teichmüller space, Duke Math. J., Volume 83 (1996) no. 2, pp. 249-286 | DOI | MR | Zbl

[MM08] Manna, Dante V.; Moll, Victor H. Landen survey, Probability, geometry and integrable systems (Mathematical Sciences Research Institute Publications), Volume 55, Cambridge University Press, 2008, pp. 287-319 | MR | Zbl

[MS84] Marden, Albert; Strebel, Kurt The Heights theorem for quadratic differentials on Riemann surfaces, Acta Math., Volume 153 (1984), pp. 153-211 | DOI | MR | Zbl

[NC01] Neumann-Coto, Max A characterization of shortest geodesics on surfaces, Algebr. Geom. Topol., Volume 1 (2001) no. 1, pp. 349-368 | DOI | MR | Zbl

[NS19] Nayatani, Shin; Shoda, Toshihiro Metrics on a closed surface of genus two which maximize the first eigenvalue of the Laplacian, C. R. Math. Acad. Sci. Paris, Volume 357 (2019) no. 1, pp. 84-98 | DOI | Numdam | MR | Zbl

[NZ22] Naseer, Usman; Zwiebach, Barton Extremal isosystolic metrics with multiple bands of crossing geodesics, Adv. Theor. Math. Phys., Volume 26 (2022) no. 5, pp. 1273-1346 | DOI | MR | Zbl

[Pu52] Pu, Pao M. Some inequalities in certain nonorientable Riemannian manifolds, Pac. J. Math., Volume 2 (1952), pp. 55-71 | DOI | MR | Zbl

[Ren76] Renelt, Heinrich Konstruktion gewisser quadratischer Differentiale mit Hilfe von Dirichletintegralen, Math. Nachr., Volume 73 (1976), pp. 125-142 | DOI | MR | Zbl

[Rod74] Rodin, Burton The method of extremal length, Bull. Am. Math. Soc., Volume 80 (1974), pp. 587-606 | DOI | MR | Zbl

[Sch93] Schmutz, Paul Riemann surfaces with shortest geodesic of maximal length, Geom. Funct. Anal., Volume 3 (1993) no. 6, pp. 564-631 | DOI | MR | Zbl

[Sch94a] Schmutz, Paul Congruence subgroups and maximal Riemann surfaces, J. Geom. Anal., Volume 4 (1994) no. 2, pp. 207-218 | DOI | MR | Zbl

[Sch94b] Schmutz, Paul Systoles on Riemann surfaces, Manuscr. Math., Volume 85 (1994) no. 3-4, pp. 429-447 | DOI | MR | Zbl

[SgMat20] The Sage Developers SageMath, the Sage Mathematics Software System, 2020 (Version 9.0), https://www.sagemath.org

[Str84] Strebel, Kurt Quadratic differentials, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 5, Springer, 1984 | DOI | MR | Zbl

[The18] The Mathworks, Inc. MATLAB, 2018 version 9.4.0.813654 (R2018a)

[Thu20] Thurston, Dylan P. A positive characterization of rational maps, Ann. Math., Volume 192 (2020) no. 1, pp. 1-46 | DOI | MR | Zbl

[Vor08] Voronoi, Georges Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Premier mémoire. Sur quelques propriétés des formes quadratiques positives parfaites, J. Reine Angew. Math., Volume 133 (1908), pp. 97-178 | DOI | MR | Zbl

[Wol06] Wolfart, Jürgen ABC for polynomials, dessins d’enfants and uniformization – A survey, Elementare und analytische Zahlentheorie (Schr. Wiss. Ges. Johann Wolfgang Goethe Univ. Frankfurt am Main), Volume 20, Franz Steiner Verlag Stuttgart, 2006, pp. 313-345 | MR | Zbl

[WW96] Whittaker, Edmund T.; Watson, George N. A course of modern analysis. An introduction to the general theory of infinite processes and of analytic functions with an account of the principal transcendental functions, Cambridge Mathematical Library, Cambridge University Press, 1996 reprint of the fourth (1927) edition | DOI | MR | Zbl

[WZ94] Wolf, Michael; Zwiebach, Barton The plumbing of minimal area surfaces, J. Geom. Phys., Volume 15 (1994) no. 1, pp. 23-56 | DOI | MR | Zbl