Bolza Quaternion Order and Asymptotics of Systoles Along Congruence Subgroups

Abstract We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound on the systole, where g is the genus. We also exhibit the Bolza group as a congruence subgroup, and calculate out a few examples of “Bolza twins” (using magma). Like the Hurwitz triplets, these correspond to the factoring of certain rational primes in the ring of integers of the invariant trace field of the surface. We exploit random sampling combined with the Reidemeister–Schreier algorithm as implemented in magma to generate these surfaces.

[1]  Shotaro Makisumi.  A Note on Riemann Surfaces of Large Systole , 2012, 1206.2965.

[2]  Jeffrey S. Meyer,et al.  Systolic Surfaces of Arithmetic Hyperbolic 3-Manifolds , 2015, 1506.08341.

[3]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[4]  Construction of hyperbolic Riemann surfaces with large systoles , 2013, 1305.5510.

[5]  F. Balacheff,et al.  Systolic volume of homology classes , 2010, 1009.2835.

[6]  Nima Anvari.  Automorphisms of Riemann Surfaces , 2009 .

[7]  P. Sarnak,et al.  On the period matrix of a Riemann surface of large genus (with an Appendix by J.H. Conway and N.J.A. Sloane) , 1994 .

[8]  Igor Nikolaev.  Arithmetic of hyperbolic 3-manifolds , 2002 .

[9]  Dyck's surfaces, systoles, and capacities , 2012, 1205.0188.

[10]  H. Grosser.  Chicago , 1906 .

[11]  Bjoern Muetzel,et al.  Construction of surfaces with large systolic ratio , 2013, 1311.1449.

[12]  P. L. Clark,et al.  Algebraic curves uniformized by congruence subgroups of triangle groups , 2015, Transactions of the American Mathematical Society.

[13]  J. Voight.  Computing fundamental domains for Fuchsian groups , 2008, 0802.0196.

[14]  Guillaume Bulteau.  Systolic geometry and regularization technique , 2015, 1506.07848.

[15]  Kisao Takeuchi,et al.  Commensurability classes of arithmetic triangle groups : Dedicated to Professor Y. Kawada on his 60th birthday , 1977 .

[16]  S. Sabourau,et al.  An optimal systolic inequality for CAT(0) metrics in genus two , 2005, math/0501017.

[17]  P. Schmutz.  Reimann surfaces with shortest geodesic of maximal length , 1993 .

[18]  J.-F. Lafont,et al.  Combinatorial systolic inequalities , 2015, 1506.07121.

[19]  Hurwitz quaternion order and arithmetic Riemann surfaces , 2007, math/0701137.

[20]  LOGARITHMIC GROWTH OF SYSTOLE OF ARITHMETIC RIEMANN SURFACES ALONG CONGRUENCE SUBGROUPS , 2005, math/0505007.

[21]  R. D. Accola.  Automorphisms of Riemann surfaces , 1967 .

[22]  È. Vinberg,et al.  DISCRETE GROUPS GENERATED BY REFLECTIONS IN LOBAČEVSKIĬ SPACES , 1967 .

[23]  Paul Schmutz Schaller,et al.  Geometry of Riemann surfaces based on closed geodesics , 1998 .

[24]  A. M. Macbeath,et al.  Generators of the linear fractional groups , 1969 .

[25]  Johanna Weiss,et al.  Arithmetique Des Algebres De Quaternions , 2016 .

[26]  Systole growth for finite area hyperbolic surfaces , 2012, 1201.3468.