Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues

Benson, Brian; Lakeland, Grant; Then, Holger

doi:10.1090/proc/15152

Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues

Authors: Brian A. Benson, Grant S. Lakeland and Holger Then
Journal: Proc. Amer. Math. Soc. 149 (2021), 417-438
MSC (2010): Primary 57M50; Secondary 58C40
DOI: https://doi.org/10.1090/proc/15152
Published electronically: October 9, 2020
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-cocompact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.

[1] Colin Adams and Frank Morgan, Isoperimetric curves on hyperbolic surfaces, Proc. Amer. Math. Soc. 127 (1999), no. 5, 1347–1356. MR 1487351, https://doi.org/10.1090/S0002-9939-99-04778-4
[2] Ian Agol, Finiteness of arithmetic Kleinian reflection groups, International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Zürich, 2006, pp. 951–960. MR 2275630
[3] Ian Agol, Mikhail Belolipetsky, Peter Storm, and Kevin Whyte, Finiteness of arithmetic hyperbolic reflection groups, Groups Geom. Dyn. 2 (2008), no. 4, 481–498. MR 2442945, https://doi.org/10.4171/GGD/47
[4] Alan F. Beardon, The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, Springer-Verlag, New York, 1983. MR 698777
[5] Mikhail Belolipetsky, Finiteness theorems for congruence reflection groups, Transform. Groups 16 (2011), no. 4, 939–954. MR 2852486, https://doi.org/10.1007/s00031-011-9156-3
[6] Brian A. Benson,
The Cheeger constant, isoperimetric problems, and hyperbolic surfaces,
Preprint, 1509.08993, (2015).
[7] Andrew R. Booker, Andreas Strömbergsson, and Holger Then, Bounds and algorithms for the 𝐾-Bessel function of imaginary order, LMS J. Comput. Math. 16 (2013), 78–108. MR 3044476, https://doi.org/10.1112/S1461157013000028
[8] Peter Buser, A note on the isoperimetric constant, Ann. Sci. École Norm. Sup. (4) 15 (1982), no. 2, 213–230. MR 683635
[9] Jeff Cheeger, A lower bound for the smallest eigenvalue of the Laplacian, Problems in analysis (Papers dedicated to Salomon Bochner, 1969) Princeton Univ. Press, Princeton, N. J., 1970, pp. 195–199. MR 0402831
[10] E. Hecke, Über das Verhalten von und ähnlichen Funktionen bei Modulsubstitutionen, J. Reine Angew. Math. 157 (1927), 159–170 (German). MR 1581115, https://doi.org/10.1515/crll.1927.157.159
[11] Dennis A. Hejhal, On eigenfunctions of the Laplacian for Hecke triangle groups, Emerging applications of number theory (Minneapolis, MN, 1996) IMA Vol. Math. Appl., vol. 109, Springer, New York, 1999, pp. 291–315. MR 1691537, https://doi.org/10.1007/978-1-4612-1544-8_11
[12] Dennis A. Hejhal and Andreas Strömbergsson, On quantum chaos and Maass waveforms of CM-type, Found. Phys. 31 (2001), no. 3, 519–533. Invited papers dedicated to Martin C. Gutzwiller, Part IV. MR 1839791, https://doi.org/10.1023/A:1017521729782
[13] Heinz Helling, Bestimmung der Kommensurabilitätsklasse der Hilbertschen Modulgruppe, Math. Z. 92 (1966), 269–280 (German). MR 228437, https://doi.org/10.1007/BF01112194
[14] Heinz Helling, On the commensurability class of the rational modular group, J. London Math. Soc. (2) 2 (1970), 67–72. MR 277620, https://doi.org/10.1112/jlms/s2-2.1.67
[15] Henry H. Kim, Functoriality for the exterior square of 𝐺𝐿₄ and the symmetric fourth of 𝐺𝐿₂, J. Amer. Math. Soc. 16 (2003), no. 1, 139–183. With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak. MR 1937203, https://doi.org/10.1090/S0894-0347-02-00410-1
[16] Grant S. Lakeland,
Arithmetic reflection groups and congruence subgroups,
Ph.D. thesis, The University of Texas at Austin, 2012.
[17] D. D. Long, C. Maclachlan, and A. W. Reid, Arithmetic Fuchsian groups of genus zero, Pure Appl. Math. Q. 2 (2006), no. 2, Special Issue: In honor of John H. Coates., 569–599. MR 2251482, https://doi.org/10.4310/PAMQ.2006.v2.n2.a9
[18] Hans Maass, Über eine neue Art von nichtanalytischen automorphen Funktionen und die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen, Math. Ann. 121 (1949), 141–183 (German). MR 31519, https://doi.org/10.1007/BF01329622
[19] V. V. Nikulin, Finiteness of the number of arithmetic groups generated by reflections in Lobachevskiĭ spaces, Izv. Ross. Akad. Nauk Ser. Mat. 71 (2007), no. 1, 55–60 (Russian, with Russian summary); English transl., Izv. Math. 71 (2007), no. 1, 53–56. MR 2477273, https://doi.org/10.1070/IM2007v071n01ABEH002349
[20] Walter Roelcke, Das Eigenwertproblem der automorphen Formen in der hyperbolischen Ebene, I, Math. Ann. 167 (1966), no. 4, 292–337 (German). MR 1513277, https://doi.org/10.1007/BF01364540
[21] W. Roelcke,
Das Eigenwertproblem der automorphen Formen in der hyperbolischen Ebene. II,
Math. Annalen 168 (1967), 261-324.
[22] Björn Selander and Andreas Strömbergsson,
Sextic coverings of genus two which are branched at three points,
2002, preprint, http://www2.math.uu.se/~astrombe/papers/papers.html.
[23] Atle Selberg, On the estimation of Fourier coefficients of modular forms, Proc. Sympos. Pure Math., Vol. VIII, Amer. Math. Soc., Providence, R.I., 1965, pp. 1–15. MR 0182610
[24] Andreas Strömbergsson,
A pullback algorithm for general (cofinite) Fuchsian groups,
2000, http://www2.math.uu.se/~astrombe/papers/pullback.ps.
[25] Holger Then, Maass cusp forms for large eigenvalues, Math. Comp. 74 (2005), no. 249, 363–381. MR 2085897, https://doi.org/10.1090/S0025-5718-04-01658-8
[26] H. Then,
Large sets of consecutive Maass forms and fluctuations in the Weyl remainder,
preprint, 1212.3149, (2012).