## CHEEGER CONSTANTS OF HYPERBOLIC REFLECTION GROUPS AND MAASS CUSP FORMS OF SMALL EIGENVALUES

BRIAN A. BENSON, GRANT S. LAKELAND, AND HOLGER THEN

Abstract. We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact 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. Introduction

Given a hyperbolic Riemann surface M = Γ \ H 2 for a cofinite, discrete Fuchsian group Γ ⊂ PSL ( 2 R ), the Cheeger constant of M is defined as

$$h ( M ) = \inf _ { E \subset M } \frac { \ell ( E ) } { \min \left \{ \text{Area} ( A ), \text{Area} ( B ) \right \} }$$

where E varies over all 1-dimensional subsets of M which divide M into two disjoint components A and B , and glyph[lscript] ( E ) denotes the length of E . This quantity is related to the geometry of M and was introduced by Cheeger [8]. The quantity is also related to the first eigenvalue λ 1 of the Laplacian operator on M ; when M is a closed Riemannian manifold (i.e., M has no cusps or cone points, or equivalently Γ has no parabolic or elliptic elements), h and λ 1 are related via the inequalities

$$\frac { h ^ { 2 } ( M ) } { 4 } \leq \lambda _ { 1 } ( M ) \leq 2 h ( M ) + 1 0 h ^ { 2 } ( M ), \quad \dots \cdots \cdots$$

where the first inequality is due to Cheeger [8], and the second to Buser [7]. When M is finite area, but permitted to be non-compact and have cone points, one has that

$$\frac { h ^ { 2 } ( M ) } { 4 } \leq \lambda ( M ) \leq C h ( M )$$

where λ M ( ) = inf f ∫ M ‖∇ ‖ f 2 dA ∫ M f 2 dA with Area(supp( f )) &gt; 0 , see [7, Section 7]. In particular, if a sequence of surfaces M n have h M ( n ) converging to 0 as n diverges to ∞ , then also λ 1 ( M n ) goes to 0, and vice-versa.

Due to its definition as an infimum, it is often possible to bound the Cheeger constant from above by finding a separating subset E , but computing the constant precisely is a more complicated endeavor. The author of [5] recently provided an algorithm which enables practical computation of a wide range of examples of hyperbolic surfaces. The examples presently of interest are (the orientation-preserving subgroups of) maximal arithmetic reflection groups; specifically, we study those which are not maximal Fuchsian groups. In [16] it was shown that eight of the ten such maximal reflection groups have the property that they are not congruence (see section 2 for definition).

Belolipetsky [4] asked about congruence in the context of obtaining a practical lower bound on λ 1 for maximal arithmetic reflection groups, because congruence groups have λ 1 bounded below by 975 4096 (Kim and Sarnak / [15]), and conjecturally by 1 / 4 (Selberg [23]). We therefore seek to understand the geometry of those examples which are not congruence, with a view to establishing whether their values of λ 1 can be much smaller than these bounds. We prove the existence of small eigenvalues by searching for them and we compute the corresponding Maass cusp forms numerically. The smallest eigenvalue we find is approximately 0 14843, and in total we find that . six of our non-congruence examples have λ 1 less than 1 / 4.

We note that all of the examples considered here have spectral gap at most 1 / 4, on account of the fact that the continuous spectrum of the Laplacian is [1 / 4 , ∞ ) [21] (see Section 4). We therefore compute the first discrete eigenvalue λ disc . 1 We find two examples where the first discrete eigenvalue λ disc ( 1 M ) is much larger than h M . ( ) We find one further example where λ disc ( 1 M &gt; h M , ) ( ) but the values are still similar, and the remaining seven

Date : July 20, 2019.

G. S. L. thanks Chris Leininger and Alan Reid for helpful conversations.

examples have λ disc ( 1 M &lt; h M ) ( ). This suggests that the three examples (one congruence, two non-congruence) with large λ disc 1 are distinguished geometrically from the other seven.

Since the examples in question are all index two subgroups of maximal arithmetic Fuchsian groups, which are necessarily all congruence, we also compute the Cheeger constant of the maximal Fuchsian group, with a view to studying how the Cheeger constant changes when passing to the subgroup. We find that the Cheeger constant seems to drop more dramatically when passing from a congruence group to a non-congruence subgroup than when passing to a congruence subgroup. More precisely, we find that in seven of the eight cases where the subgroup is non-congruence, h drops by more than half, and in the two cases where the subgroup is congruence, h drops by less than half.

This paper is organized as follows. In section 2, we provide some background and prove some helpful technical results. The algorithm that will be used to compute the Cheeger constant is described in section 3, and it is implemented in detail in sections 3.1-3.4. Section 3.5 summarizes our results on the Cheeger constant. In section 4, we compute and investigate Maass cusp forms. Our conclusions are stated in section 5.

## 2. Preliminaries

2.1. Arithmetic reflection groups. A cofinite hyperbolic reflection group is the group generated by reflections in the sides of a finite area hyperbolic polygon. Such a group is called maximal if it is not properly contained in another reflection group. The index two orientation-preserving subgroup of such a group will be referred to as its rotation subgroup ; this is a Fuchsian group. A non-compact, cofinite, hyperbolic reflection group is arithmetic if it (and its rotation subgroup) is commensurable with the modular group PSL ( 2 Z ); that is, if the reflection group has a finite index subgroup which is (PSL ( 2 R )-conjugate to) a finite index subgroup of PSL 2 ( Z ). Although there are infinitely many arithmetic reflection groups, it is known that there are only finitely many maximal arithmetic reflection groups: in dimension two this is due to Long, Maclachlan and Reid [18]; in dimension three to Agol [1]; and in other dimensions independently to Agol, Belolipetsky, Storm, and Whyte [2], and to Nikulin [20]. Note that this includes the result that arithmetic reflection groups do not exist above dimension 30.

For any positive integer n , there is a natural homomorphism

$$\psi _ { n } \colon \text{PSL} _ { 2 } ( \mathbb { Z } ) \to \text{PSL} _ { 2 } ( \mathbb { Z } / n \mathbb { Z } )$$

defined by reducing the matrix modulo n . The kernel of this homomorphism is a finite index subgroup of PSL ( 2 Z ) consisting of matrices congruent to ± Id; this subgroup is denoted Γ( n ) and is called the principal congruence subgroup of level n . A Fuchsian group commensurable with PSL ( 2 Z ) is called a congruence group if it contains some principal congruence subgroup.

It was shown by Helling [13, 14] that the maximal Fuchsian groups commensurable with the modular group are obtained by taking the normalizers N (Γ ( 0 n )) in PSL ( 2 R ) of the groups

$$\Gamma _ { 0 } ( n ) = \left \{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{PSL} _ { 2 } ( \mathbb { Z } ) \ | \ c \equiv 0 \mod n \right \}$$

for n a square-free integer. The modular group itself, as well as the twelve normalizers N (Γ ( 0 n )) for n = 2 3 5 6 7 10 13 14 21 30 34 39 are rotation subgroups of reflection groups [16]. , , , , , , , , , , , In these cases, the reflection groups are necessarily maximal arithmetic reflection groups, and all are necessarily congruence groups. The ten normalizers N (Γ ( 0 n )) for n = 11 15 17 19 22 26 33 42 55 66 are not rotation subgroups of reflection groups, but , , , , , , , , , each contains an index two subgroup which is. Again, these reflection groups are necessarily maximal arithmetic, but they are not necessarily congruence groups, and in fact, only the examples corresponding to n = 15 and n = 17 are congruence groups. The other eight examples are not congruence groups. These ten examples are the focus of the present study.

2.2. Fuchsian groups and quotient surfaces. In this section, we give some elementary results which will be useful in computing the Cheeger constants of our examples. We refer to Beardon [3] for background on the material in this section.

Lemma 2.1. Suppose that Γ is a cofinite Fuchsian group and F is a convex, finite-sided fundamental domain for the action of Γ on H 2 . Suppose that there exists a finite collection of hyperbolic elements { γ i } k i =1 ⊂ Γ such that:

- · for each i , γ i pairs two sides, s i and s ′ i , of F ;
- · for each i , ax( γ i ) intersects both s i and s ′ i orthogonally; and

glyph[negationslash]

- · for each i = j , ax( γ i ) ∩ ax( γ j ) = ∅ .

Suppose further that the axes ax( γ i ) divide F into two regions, dark and light, such that each dark side is paired with another dark side, and each light side is paired with another light side. Then the images of the axes ax( γ i ) are geodesics on the quotient surface M = Γ \ H 2 which together separate M .

Proof. Since the axes are geodesics in H 2 , they project to geodesics on the quotient surface. Since ax( γ i ) intersects both s i and s ′ i orthogonally, gluing s i to s ′ i closes up the geodesic. The disjointness of the axes implies that the corresponding geodesics are disjoint on the quotient surface. Since like-shaded sides are identified with like, the only way to move from light side to dark is to cross an axis. glyph[square]

glyph[negationslash]

Lemma 2.2. Let α 1 and α 2 be elliptic isometries of order 2 (henceforth called involutions) fixing z 1 and z 2 = z 1 respectively. Then the product α = α α 1 2 is hyperbolic, the axis ax( α ) is the geodesic through z 1 and z 2 , and the translation length of α along its axis is twice the distance between z 1 and z 2 .

This is found on page 174 of Beardon.

Lemma 2.3. Let Γ be a non-cocompact, cofinite Fuchsian group with finite-sided fundamental domain F , and let glyph[lscript] &gt; 0 . Choose disjoint Γ -equivariant cusp horoball neighborhoods, and let F ′ denote (the closure of) the complement of these neighborhoods in F . Let N ( F ′ ) = N glyph[lscript] 2 + ε ( F ′ ) denote the closed ( glyph[lscript] 2 + ) ε -neighborhood of F ′ , and let G = { γ 0 = Id , γ 1 , . . . , γ k } be a set of elements of Γ such that the union of translates ∪ k i =0 γ i ( F ) covers N ( F ′ ) . Then any geodesic of length at most glyph[lscript] on Γ \ H 2 must correspond to an element γ γ j -1 i for some 0 ≤ i, j ≤ k .

Proof. Let β be a closed geodesic on Γ \ H 2 with length d ≤ glyph[lscript] . Consider the lifts of β to the universal cover H 2 . Since β is not peripheral, it cannot lie entirely in a single cusp neighborhood, and since β is path-connected, it cannot lie entirely in the union of the disjoint cusp neighborhoods. Thus each lift of β has a point outside of the union of the equivariant horoball neighborhoods. There must be one lift which intersects F ′ ; let β ′ be such a lift, and choose a point p 0 ∈ β ′ ∩ F ′ .

The geodesic β ′ is the axis of a hyperbolic isometry γ ∈ Γ with translation length d . There are two points on β ′ , p 1 and p 2 , each distance d 2 away from p 0 , such that γ p ( 1 ) = p 2 . If either p 1 or p 2 is fixed by a finite order element of Γ, make a different choice of p 1 which is still on the axis of γ and within an ε 2 -neighborhood of the inital choice, such that p 1 and p 2 = γ p ( 1 ) both have trivial stabilizers. Note that p , p 1 2 ∈ N glyph[lscript] 2 + ε ( F ′ ), and p 1 and p 2 are Γ-equivalent. As such, there exists a point q ∈ F and there exist group elements γ i 1 , γ i 2 ∈ G such that p 1 = γ i 1 ( q ) and p 2 = γ i 2 ( q ). Since q = γ -1 i 1 ( p 1 ), it follows that p 2 = γ i 2 ◦ γ -1 i 1 ( p 1 ). Since p 1 and p 2 were chosen to have trivial stabilizers, the only element of Γ which sends p 1 to p 2 is γ , and so γ = γ i 2 ◦ γ -1 i 1 . Hence the original geodesic corresponds to an element γ γ j -1 i , for some 0 ≤ i, j ≤ k , as required. glyph[square]

Lemma 2.4. A finite coarea, genus zero Fuchsian group Γ with t Γ -inequivalent cusps, and r cone points of orders m ,.. . , m 1 r respectively has coarea

$$\int _ { - } 2 \pi \left ( - 2 + t + \sum _ { i = 1 } ^ { r } \left ( 1 - \frac { 1 } { m _ { i } } \right ) \right ).$$

This is stated as Theorem 10.4.3 of Beardon, with our t corresponding to s there, and the quantity referred to as t there always being 0 in our examples. In this paper, the genus g will always equal 0, and so the term 2( g -1) in the Theorem 10.4.3 formula becomes simply -2 for us.

## 3. The algorithm

In this section, we state the algorithm which is used to compute the Cheeger constant of our examples. This is an adapted version of the algorithm given in [5]; in particular, it has been simplified to reflect the fact that all the present examples are non-compact. We will keep track of two quantities: H will denote the current best estimate of the Cheeger constant h , and begins by taking the value H = 1 because M is assumed to have cusps and the isoperimetric ratio of a cusp neighborhood is 1; U represents the current upper bound on the total length of geodesics (or curves equidistant from a collection of geodesics) that could possibly result in a splitting which reduces H , and begins with the value U = Area( M / ) 2.

- (1) First, set H = 1 and U = Area( M / ) 2.
- (2) Select a collection { γ i 1 , . . . , γ i j } of geodesics which split M into two pieces A and B , and which have total length glyph[lscript] ( ∂A ) = glyph[lscript] ( ∂B ) no greater than U .
- (3) If Area( A ) = Area( B ), then compute

$$H _ { 0 } = h ^ { * } ( A ) = \frac { \ell ( \partial A ) } { \text{Area} ( A ) } = h ^ { * } ( B ) = \frac { \ell ( \partial B ) } { \text{Area} ( B ) },$$

let s = 0, and proceed to Step 5.

Figure 1. Ford domain F for N (Γ (11)). 0

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-15a52d87-bacf-41c2-be86-8eb8af5e65c6.jpg)

glyph[negationslash]

- (4) If Area( A ) = Area( B ), without loss of generality let A denote the component with lesser area. Determine the minimum distance d i j perpendicular from the geodesics into B before the neighborhoods intersect, and minimize the maximum of

$$h ^ { * } ( A _ { s } ) = \frac { \ell ( \partial A ) \cosh { ( s ) } } { A \text{rea} ( A ) + \ell ( \partial A ) \sinh { ( s ) } } \text{ and } h ^ { * } ( B _ { s } ) = \frac { \ell ( \partial B ) \cosh { ( s ) } } { A \text{rea} ( B ) - \ell ( \partial B ) \sinh { ( s ) } }.$$

Let this minimum be H 0 and record the value of s for which this minimum occurs.

- (5) If H &lt; H 0 , then redefine H = H 0 and record the collection ( { γ i 1 , . . . , γ i j } , s ). If H = H 0 , add the collection to the list of collections which achieve H . If H &gt; H 0 , do nothing.
- (6) If H Area( M / ) 2 &lt; U , redefine U as H Area( M / ) 2; if not, leave U unchanged.
- (7) Return to Step 2 until no further collections of geodesics satisfying the criterion in Step 2 can be found.

In practice, we will present a splitting by geodesics, and then argue why any other collection of geodesics which has length less than U does not result in a lesser value of H . As part of this, we will also check that no union of geodesic arcs with endpoints at cone points produces a lesser value of H .

To illustrate the general method, we show in detail the computation of the Cheeger constants of the surfaces M 11 and N 11 . We also show the computation of the Cheeger constant of M 17 as one example where the Cheeger constant is realized by a curve equidistant from a geodesic, rather than by the geodesic itself.

3.1. Example: M 11 . M 11 is the quotient of H 2 by the normalizer N (Γ (11)) in PSL ( 0 2 R ) of the congruence subgroup Γ (11). A Ford domain 0 F for N (Γ (11)) is given below in Figure 1. 0

The domain F has area 2 π , and the side-pairing elements which generate N (Γ (11)) are: 0

$$g _ { 1 } = \begin{pmatrix} \sqrt { 1 1 } & \frac { - 1 } { \sqrt { 1 1 } } \\ \sqrt { 1 1 } & 0 \end{pmatrix}, \, g _ { 2 } = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \, g _ { 3 } = \begin{pmatrix} \sqrt { 1 1 } & \frac { - 6 } { \sqrt { 1 1 } } \\ 2 \sqrt { 1 1 } & - \sqrt { 1 1 } \end{pmatrix}, \, g _ { 4 } = \begin{pmatrix} \sqrt { 1 1 } & \frac { - 4 } { \sqrt { 1 1 } } \\ 3 \sqrt { 1 1 } & - \sqrt { 1 1 } \end{pmatrix}, \, g _ { 5 } = \begin{pmatrix} 2 \sqrt { 1 1 } & \frac { - 1 5 } { \sqrt { 1 1 } } \\ 3 \sqrt { 1 1 } & - 2 \sqrt { 1 1 } \end{pmatrix}.$$

The elements of N (Γ (11)) 0 take two forms: those that belong to PSL ( 2 Z ) have the form ( a b 11 c d ) , where √

elements in N (Γ (11)) are either integers, or integer multiples of 0 11.

a, b, c, d ∈ Z ; those that are not have the form ( x 11 y √ 11 z √ 11 w √ 11 ) , where x, y, z, w ∈ Z . As such, the traces of √

To apply the algorithm, since M 11 has cusps, we set U = π and H = 1. We consider the geodesic corresponding to the hyperbolic element g 1 . This element pairs the two sides s 1 and s ′ 1 . Furthermore, the axis ax( g 1 ) meets both s 1 and s ′ 1 orthogonally; this axis divides F into two pieces: the region A above the axis (dark) and B below (light); each dark side is paired with another, and each light side is paired with another (see Figure 2). Each of these two pieces has area π , and the length of the separating geodesic corresponding to g 1 is 2 arccosh ( √ 11 2 ) ≈ 2 18464. .

Hence our H 0 = h ∗ ( A ) = h ∗ ( B ) = 2 18464 . π ≈ 0 695394. . This is less than H = 1, so this value becomes our new H , and we set U = H Area( M / ) 2 ≈ 2 18464. .

Since in this case, the two pieces have equal area, the Cheeger constant can only be decreased if there exist simple closed curves, or a union of geodesic arcs between cone points, which separate M 11 and which have total length less than U , and hence the corresponding elements have trace less than √ 11. We apply Lemma 2.3 with glyph[lscript] ≈ 2 18464, .

Figure 2. The axis of g 1 separates F .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-94fad43b-81b8-4889-848b-2389a773b913.jpg)

Figure 3. Ford domain for Γ . ′

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-adf26cb3-152d-4b45-b3e3-a2908b0ad372.jpg)

and we take glyph[lscript] 2 + ε = 1 1. . We find that the set G of elements whose translates cover the 1 1-neighborhood of . F is

$$G = \{ & l d, g _ { 1 }, g _ { 2 }, g _ { 3 }, g _ { 4 }, g _ { 5 }, g _ { 1 } ^ { - 1 }, g _ { 2 } ^ { - 1 }, g _ { 2 } ^ { - 1 } g _ { 1 }, g _ { 2 } g _ { 1 } ^ { - 1 }, g _ { 1 } ^ { - 1 } g _ { 5 }, g _ { 4 } g _ { 1 } ^ { - 1 }, g _ { 5 } g _ { 1 }, g _ { 5 } g _ { 3 }, g _ { 1 } ^ { - 1 } g _ { 3 }, \\ & g _ { 1 } ^ { - 1 } g _ { 3 } g _ { 4 }, g _ { 1 } g _ { 3 }, g _ { 1 } g _ { 3 } g _ { 5 }, g _ { 3 } g _ { 1 }, g _ { 3 } g _ { 1 } g _ { 4 }, g _ { 3 } g _ { 1 } ^ { - 1 }, g _ { 3 } g _ { 1 } ^ { - 1 } g _ { 5 } \}.$$

.

We search through elements of the form γ γ j -1 i for γ , γ i j ∈ G for hyperbolic elements with trace less than √ 11. We find that the only such elements are

$$\begin{pmatrix} 5 & - 1 \\ 1 1 & - 2 \end{pmatrix}, \, \begin{pmatrix} 9 & - 5 \\ 1 1 & - 6 \end{pmatrix},$$

and their inverses. Each of these is a product of two involutions: respectively, g g g g 3 5 3 4 and g g g g 5 3 4 3 ; and these elements are conjugate to one another by g 3 . As such, there is exactly one geodesic arc on M 11 , between two cone points, which corresponds to an element of trace 3, and hence, by Lemma 2.2, this arc has length arccosh ( 3 2 ) ≈ 0 962424. . The geodesic arc does not intersect itself and its endpoints are distinct cone points, so the arc does not separate M 11 .

It remains to check whether there is another geodesic arc, between the same cone points, which together with this one separates M 11 . Specifically, we seek geodesic arcs which are less than 2 18464 . -0 962424 = 1 22222 in . . length. However, by considering 1 25-neighborhoods of each cone point, we see that there is no other such geodesic . arc. Furthermore, these neighborhoods show that there are no two lifts of the same cone point which are distance less than U apart, and so there is no geodesic arc, with both endpoints at the same cone points, of length less than U . Hence we conclude that h M ( 11 ) ≈ 0 695394. .

3.2. Example: N 11 . The surface N 11 is the quotient of H 2 by the index two subgroup Γ ′ ⊂ Γ generated by the following elements:

$$\gamma _ { 1 } = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \, \gamma _ { 2 } = \begin{pmatrix} 0 & \frac { - 1 } { \sqrt { 1 1 } } \\ \sqrt { 1 1 } & 0 \end{pmatrix}, \, \gamma _ { 3 } = \begin{pmatrix} \sqrt { 1 1 } & \frac { 5 } { \sqrt { 1 1 } } \\ 2 \sqrt { 1 1 } & \sqrt { 1 1 } \end{pmatrix}, \, \gamma _ { 4 } = \begin{pmatrix} 1 0 & 3 \\ 3 3 & 1 0 \end{pmatrix}, \, \gamma _ { 5 } = \begin{pmatrix} 2 3 & 8 \\ 6 6 & 2 3 \end{pmatrix}.$$

A Ford domain, Q , for this group is given in Figure 3; for each i , γ i identifies side s i with s ′ i . Note that these sides s i are labeled differently than in the previous example.

Figure 4. Alternative fundamental domain for Γ . ′

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-291a8325-58ca-4680-8912-9710bc378f80.jpg)

Figure 5. The axis of γ γ 3 2 separates N 11 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-32ac3353-57d7-46e7-ac4c-d2ec632238ee.jpg)

Since N 11 has cusps, we set U = 2 π and H = 1. We first choose to study an element of Γ ′ of trace 3, in particular the element γ γ 3 2 . Since this element does not identify sides of Q , we choose a different fundamental domain which has this element as a side-pairing. We do this by taking the left half of Q , i.e., the part of Q with negative real part (henceforth called Q -), and we apply γ 2 to just Q -. The resulting fundamental domain is shown in Figure 4.

In this fundamental domain, the side t 2 is paired with itself by γ 2 ; the sides t 1 , t 3 and t 5 are identified with t ′ 1 , t ′ 3 and t ′ 5 respectively, by γ γ 1 2 , γ γ 3 2 and γ γ 5 2 respectively, and the side t 4 is paired with itself by γ γ 4 2 . The axis of γ γ 3 2 separates this fundamental domain into dark and light pieces (see Figure 5).

Since γ γ 3 2 has trace 3, and its axis separates, it corresponds to a geodesic of length 2 arccosh ( 3 2 ) ≈ 1 92485. . This geodesic separates N 11 into two pieces which each have area 2 π . Our value of H 0 is therefore 1 92485 . 2 π ≈ 0 306349, and is equal to . h ∗ ( A ) and h ∗ ( B ). This value is less than one, and hence becomes our new H ; we set U = H Area( M / ) 2 ≈ 1 92485. .

In this case, because the element has trace 3, there cannot be a shorter geodesic simple closed curve on the surface, and because the two pieces each have area 2 π , the minimum area is as large as possible. Therefore, the only way in which this value could not be the true value of h N ( 11 ) would be if there were arcs joining cone points, of total length less than 1.92485, which separate N 11 . But by Lemma 2.2, each pair of cone points are at least distance 1 92485 . 2 apart. We must also account for the possibility that there is a geodesic arc with both endpoints at the same cone points. However, since there was no such arc of length less than 2 18 on . M 11 , there cannot be one on N 11 of length less than the present U . Hence we conclude that h N ( 11 ) ≈ 0 306349. .

3.3. Other examples: the case n = 17 . To illustrate other facets of the algorithm, we now detail the computation of the Cheeger constant of M 17 = N (Γ (17)) 0 \ H 2 and of N 17 = Γ ′ \ H 2 for the index 2 subgroup Γ ′ of N (Γ (17)) 0 which is the rotation subgroup of a maximal arithmetic reflection group.

Since 17 is prime, the elements of N (Γ (17)) 0 take two forms: those that belong to PSL ( 2 Z ) have the form ( √ y )

the traces of elements in N (Γ (17)) are either integers, or integer multiples of 0 17. By considering the congruence conditions on a and d from the restraint ad -17 bc = 1, and so ad ≡ 1 mod 17, we see that the least non-parabolic √

$$\begin{pmatrix} a & b \\ 1 7 c & d \end{pmatrix}, & \text{where } a, b, c, d \in \mathbb { Z } ; \text{those that are not have the form } \begin{pmatrix} x \sqrt { 1 7 } & \frac { y } { \sqrt { 1 7 } } \\ z \sqrt { 1 7 } & w \sqrt { 1 7 } \end{pmatrix}, & \text{where } x, y, z, w \in \mathbb { Z }. \ A s \ s u c h, \\ & \text{the trace} \times \text{of elements in } N ( \Gamma _ { \L } ( 1 7 ) ) \text{ are either integers or integer} \ m l i t i n i o s \text{ of } \sqrt { 1 7 } \text{ } R v \text{ considered} \text{in} \ s \text{ the conformance}$$

$$\text{source} \, \text{$\text{source} \, no one can be found in $\text{source} \, no $\text{$\text{source} \, no $\text{$\text{source} \, no $previous}$} \\ \text{trace in $\Gamma_{0}(17)$ is $5$. Hence the shortest geodesic has trace $\sqrt{17}$, and one such element is $\left(\sqrt{17}$ \quad \frac{-1}{\sqrt{17}$} \right ). This divides}$$

the surface into pieces A and B of areas π and 2 π (see Figure 6), and since these areas are not equal, we proceed to extend A into B using closed curves equidistant from the geodesic.

We let s denote the distance extended into B . With reference to the equidistant curves in the Ford domain in Figure 6, we find that we may extend a distance of 1.28247 before the equidistant curve fails to be isotopic to the

Figure 6. Equidistant curves from the geodesic.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-135c7c52-dda6-4ece-a135-7c20cb2a3a6e.jpg)

geodesic. Using the equations

$$h ^ { * } ( A _ { s } ) = \frac { \ell ( \partial A ) \cosh { ( s ) } } { \pi + \ell ( \partial A ) \sinh { ( s ) } } \text{ and } h ^ { * } ( B _ { s } ) = \frac { \ell ( \partial A ) \cosh { ( s ) } } { 2 \pi - \ell ( \partial A ) \sinh { ( s ) } }$$

we find that h ∗ ( A s ) is minimized at s = 0 779274, and that . h ∗ ( A s ) = h ∗ ( B s ) when s = 0 55247. Thus . max( h ∗ ( A s ) , h ∗ ( B s )) is minimized at s = 0 55247, and here . H 0 = h ∗ ( A s ) = h ∗ ( B s ) = 0 663522. . Since this last number is less than H = 1, we set H = 0 663522 and . U = 3 12677. . √

We next note that any other geodesic of trace 17 would produce a similar analysis. This is because the area formula (see Lemma 2.4) means that such a geodesic, if it separates, must divide the surface into subsurfaces of areas π and 2 π respectively. Furthermore, as discussed above, the next smallest possible trace for a hyperbolic element in this group is 5, which corresponds to a geodesic of length 3 1336. . This is larger than the present value of U , and so we need not consider any such elements.

It therefore remains to consider geodesic arcs between cone points. By considering neighborhoods of the fixed points of each involution and their translates by the group, we see that the minimum trace for a product of two involutions is 5. By Lemma 2.2, this means that the union of two geodesic arcs between distinct cone points must have length which exceeds U . It then remains to consider geodesic arcs which begin and end at the same cone point. We find one product of conjugate involutions with trace 19; by Lemma 2.2, this gives a geodesic arc of length 2 94166. . This arc cuts off a subsurface of area less than π , and so the corresponding value of h ∗ is at least 2 94166 . /π ≈ 0 936359. . All other geodesic arcs have length exceeding U . We therefore conclude that h M ( 17 ) ≈ 0 663522. .

The surface N 17 is the quotient of H 2 by an index two subgroup of N (Γ (17)). 0 This surface has area 6 π , so we begin by setting H = 1 and U = 3 π . We find a geodesic of trace 6 which divides it into two equal pieces, each of area 3 π . Here, H 0 = h ∗ ( A ) = h ∗ ( B ) ≈ 0 374067; this value becomes our new . H , and we set U ≈ 3 52549. . We find no shorter geodesics than this, and we also find no combinations of arcs between cone points of total length less than U . Thus h N ( 17 ) ≈ 0 374067. .

3.4. Other examples: the case n = 33 . Since it exhibits different characteristics from the other values of n , we will describe the results of the algorithm for the case of n = 33. Before doing this, we first describe how it differs from the other examples.

glyph[negationslash]

In all the cases we consider, the Cheeger constant of the minimal surface M n , corresponding to the maximal Fuchsian group N (Γ ( 0 n )), is realized by either a closed geodesic (as in the case n = 11) or an equidistant neighborhood (as in the case n = 17). In the other nine cases where n = 33, the Cheeger constant of N n is realized as a geodesic which passes through two of the cone points of M n which do not lift (i.e., the involutions are not found in the index 2 subgroup). In the case n = 33, these cone points are a little farther apart, and so the Cheeger constant of N 33 is realized by a different closed geodesic.

In the case of M 33 , we find that the Cheeger constant is h M ( 33 ) ≈ 0 740622 and this is realized by an equidistant . curve to a geodesic of trace √ 33. We omit the details of this computation as they are similar to those of M 17 .

To find h N ( 33 ), we begin by taking the geodesic described above. It has trace 14, and divides the surface into two pieces, each of area 4 π . The corresponding Cheeger estimate is H ≈ 0 419201, and . U ≈ 5 26783. . We now apply Lemma 2.3 with glyph[lscript] 2 + ε = 2 64, and search for elements with trace less than 14. . Up to conjugation, we find six geodesics, with traces √ 33, 4 √ 3, 2 √ 33, 7 √ 3, 13, and 8 √ 3 respectively. In all cases but trace 13, the geodesic does not divide the surface into pieces of equal area, and hence the corresponding H 0 is larger than H . In the case of the geodesic of trace 13, the geodesic divides the surface into two pieces of equal area 4 π , and so the corresponding H 0 ≈ 0 407274 (see Figure 7). . Since we already enumerated all of the closed geodesics of trace less than 14, it

Figure 7. A trace 13 geodesic splits N 33 into two pieces of area 4 π .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-d86ddb69-72df-4b42-915b-a92dd4d49a06.jpg)

Table 1. Cheeger constants. The asterisk ∗ denotes cases where N n is a congruence surface.

| n    |   h ( M n ) |   h ( N n ) |
|------|-------------|-------------|
| 11   |    0.695394 |    0.306349 |
| 15 ∗ |    0.814548 |    0.498728 |
| 17 ∗ |    0.663522 |    0.374067 |
| 19   |    0.672365 |    0.183809 |
| 22   |    0.717333 |    0.279467 |
| 26   |    0.719348 |    0.239543 |
| 33   |    0.740622 |    0.407274 |
| 42   |    0.772596 |    0.328406 |
| 55   |    0.485381 |    0.204233 |
| 66   |    0.472607 |    0.218937 |

remains to check that there are no combinations of arcs between cone points with total length less than U ≈ 5 11796. . There are no such arcs, so we conclude that h N ( 33 ) ≈ 0 407274. .

- 3.5. Summary of results. Table 1 lists numerical values of the Cheeger constants of a collection of hyperbolic surfaces M n and N n . These values of the Cheeger constants result from the following considerations:
- · n = 11: M 11 has area 2 π and a geodesic with trace 11 which divides it into two equal pieces; thus h M ( 11 ) ≈ 0 695394. . N 11 has area 4 π and a geodesic with trace 3 which divides it into two equal pieces; thus h N ( 11 ) ≈ 0 306349. . √

√

- · n = 15: M 15 has area 2 π and a geodesic with trace 15 which divides it into two equal pieces; thus h M ( 15 ) ≈ 0 814548. . N 15 has area 4 π and a geodesic with trace 5 which divides it into two equal pieces; thus h N ( 15 ) ≈ 0 498728. . √
- · n = 19: M 19 has area 10 π/ 3 and a geodesic with trace 19 which divides it into two pieces of areas π and 7 π/ 3; an equidistant curve from this at distance s = 0 685239 gives . h M ( 19 ) ≈ 0 672365. . N 19 has area 20 π/ 3 and a geodesic with trace 3 which divides it into equal pieces; thus h N ( 19 ) ≈ 0 183809. . √
- · n = 17: M 17 has area 3 π and a geodesic with trace 17 which divides it into two pieces of areas π and 2 π ; an equidistant curve from this at distance s = 0 55247 gives . h M ( 17 ) ≈ 0 663522. . N 17 has area 6 π and a geodesic with trace 6 which divides it into two equal pieces; thus h N ( 17 ) ≈ 0 374067. . √
- · n = 22: M 22 has area 3 π and a geodesic with trace 22 dividing it into two pieces of areas π and 2 π ; an equidistant curve from this at distance s = 0 503269 gives . h M ( 22 ) ≈ 0 717333. . N 22 has area 6 π and a geodesic with trace 4 which divides it into equal pieces; thus h N ( 22 ) ≈ 0 279467. . √
- · n = 33: M 33 has area 4 π and a geodesic with trace 33 dividing it into two pieces of areas π and 3 π ; an equidistant curve from this at distance s = 0 820071 gives . h M ( 33 ) ≈ 0 740622. . N 33 has area 8 π and a geodesic with trace 13 which divides it into equal pieces; thus h N ( 33 ) ≈ 0 407274. . √
- · n = 26: M 26 has area 7 π/ 2 and a geodesic with trace 26 dividing it into two pieces of areas π and 5 π/ 2; an equidistant curve from this at distance s = 0 686576 gives . h M ( 26 ) ≈ 0 719348. . N 26 has area 7 π and a geodesic with trace 4 which divides it into equal pieces; thus h N ( 26 ) ≈ 0 239543. . √
- · n = 42: M 42 has area 4 π and a geodesic with trace 42 dividing it into two pieces of areas π and 3 π ; an equidistant curve from this at distance s = 0 772596 gives . h M ( 42 ) ≈ 0 771086. . N 42 has area 8 π and a geodesic with trace 8 which divides it into equal pieces; thus h N ( 42 ) ≈ 0 328406. .

),

- · n = 55: M 55 has area 6 π and a geodesic with trace 3 11 dividing it into two equal pieces of areas 3 π and 3 π ; this gives h M ( 55 ) ≈ 0 485381. . N 55 has area 12 π and a geodesic with trace 7 which divides it into equal pieces; thus h N ( 55 ) ≈ 0 204233. . √

√

- · n = 66: M 66 has area 6 π and a geodesic with trace 2 22 dividing it into two equal pieces of areas 3 π and 3 π ; this gives h M ( 66 ) ≈ 0 472607. . N 66 has area 12 π and a geodesic with trace 8 which divides it into equal pieces; thus h N ( 66 ) ≈ 0 218937. .

We note that the upper bounds for the Cheeger constants of N 22 and N 26 which appear in [16, Table 4.2] are erroneous, as they are underestimates of the true Cheeger constants.

## 4. Maass cusp forms

In this section, we compute Maass cusp forms on a collection of hyperbolic surfaces M n and N n for various values of n .

Let M = Γ \ H 2 be the quotient surface of a cofinite, but non-cocompact Fuchsian group Γ ⊂ PSL ( 2 R ), and let χ : Γ → C \ { 0 } be a multiplicative character.

A

Maass form on (Γ

, χ

) is a real analytic,

f

∈

square-integrable,

C

∞

(

H

f

∈

2

),

2

L

(

M

automorphic,

χ γ f

(

)

(

γz

) =

f

(

z

)

∀

γ

∈

Γ, eigenfunction of the Laplace-Beltrami operator, -∆ ( ) = f z λf z ( ).

If a Maass form on (Γ , χ ) vanishes in all the cusps of M , it is called a Maass cusp form .

The Laplace-Beltrami operator is an essentially self-adjoint operator on M , hence its eigenvalues are real. The spectral resolution on M consists of three parts, the zero eigenvalue λ 0 = 0, spanned by the constant eigenfunction, the continuous spectrum λ ∈ [1 / 4 , ∞ ), spanned by certain Maass forms, the so called Eisenstein series, and a countable set of discrete eigenvalues 0 &lt; λ 1 ≤ λ 2 ≤ . . . which are spanned by Maass cusp forms [21, 22].

We are particularly interested in the first discrete eigenvalue λ 1 which we compute numerically using Hejhal's algorithm [11] together with strategies for finding eigenvalues [24, end of § 2 and § 3] and [25].

We compute on arithmetic reflection groups and on finite index subgroups thereof. If Γ ′ is a finite index rotation or reflection subgroup of Γ, then Γ ′ is invariant with respect to conjugation by γ ∈ Γ. The surface M ′ = Γ ′ \ H 2 has symmetries and can be tesselated by non-overlapping copies of the surface M = Γ \ H 2 ,

$$M ^ { \prime } = \cup _ { \Gamma / \Gamma ^ { \prime } } \gamma M.$$

The Laplace-Beltrami operator is invariant with respect to isometries, and in particular to the operations of the symmetry group Γ Γ . / ′ Maass forms on (Γ ′ , Id) fall into symmetry classes, where the symmetry classes are represented by multiplicative characters χ ,

$$\chi ( \gamma ) f ( \gamma z ) = f ( z ) \ \forall \gamma \in \Gamma.$$

By automorphy on (Γ ′ , Id) we have

$$f ( \gamma z ) = f ( z ) \ \forall \gamma \in \Gamma ^ { \prime }.$$

Consequently, a Maass form on (Γ ′ , Id) is a Maass form on (Γ , χ ), where χ is a multiplicative character on Γ with χ γ ( ) = 1 ∀ γ ∈ Γ . ′ The symmetry of the Maass form is specified by the values of χ on Γ Γ . Since every symmetry / ′ operation γ ∈ Γ Γ / ′ has finite order, the multiplicative character takes values that are roots of unity.

## 4.1. Example: M 19 and N 19 . The index two subgroup Γ ′ of Γ = N (Γ (19)) is generated by 0

$$4. 1. \text{ Example} \colon M _ { 1 9 } \text{ and } N _ { 1 9 }. \text{ The index two subgroup } \Gamma ^ { \prime } \text{ of } \Gamma = N ( \Gamma _ { 0 } ( 1 9 ) ) \text{ is generated by} \\ \gamma _ { 1 } = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \gamma _ { 3 } = \begin{pmatrix} \sqrt { 1 9 } & \frac { 9 } { \sqrt { 1 9 } } \\ 2 \sqrt { 1 9 } & \sqrt { 1 9 } \end{pmatrix}, \gamma _ { 4 } = \begin{pmatrix} \sqrt { 1 9 } & \frac { 6 } { \sqrt { 1 9 } } \\ 3 \sqrt { 1 9 } & \sqrt { 1 9 } \end{pmatrix}, \gamma _ { 7 } \gamma _ { 5 } \gamma _ { 7 } \gamma _ { 3 } \gamma _ { 5 } = \begin{pmatrix} 3 9 & 1 0 \\ 1 5 2 & 3 9 \end{pmatrix}, \\ \gamma _ { 7 } \gamma _ { 5 } \gamma _ { 7 } \gamma _ { 1 } \gamma _ { 5 } = \begin{pmatrix} 7 \sqrt { 1 9 } & \frac { 3 1 } { \sqrt { 1 9 } } \\ 1 5 2 & 3 7 \end{pmatrix}, \gamma _ { 7 } \gamma _ { 5 } \gamma _ { 7 } \gamma _ { 4 } \gamma _ { 5 } = \begin{pmatrix} 0 & - \frac { 1 } { \sqrt { 1 9 } } \\ 3 0 \sqrt { 1 9 } & 7 \sqrt { 1 9 } \end{pmatrix}, \gamma _ { 7 } \gamma _ { 5 } \gamma _ { 7 } \gamma _ { 4 } \gamma _ { 5 } = \begin{pmatrix} 0 & - \frac { 1 } { \sqrt { 1 9 } } \\ \sqrt { 1 9 } & 0 \end{pmatrix}, \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{pmatrix}$$

and Γ ′ is invariant with respect to conjugation by the involution and the reflection,

$$\exp \cos \cos \omega \, \text{language} \, \text{$y$ and your name} \, \text{and} \, \text{and} \, \text{rencod}, \\ \gamma _ { 5 } = \begin{pmatrix} - \sqrt { 1 9 } & - \frac { 5 } { \sqrt { 1 9 } } \\ 4 \sqrt { 1 9 } & \sqrt { 1 9 } \end{pmatrix} \quad \text{and} \quad \gamma _ { 7 } = \begin{pmatrix} - 1 & 0 \\ 0 & 1 \end{pmatrix}.$$

Figure 8. A fundamental domain for N 19 . N 19 is symmetric with respect to the involution γ 5 and the reflection γ 7 . The symmetries are indicated as dotted lines.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00199v1-figure-5ec43cc6-cc07-48eb-b890-7ca5627b4cc7.jpg)

The conjugation relations of the generators are

γ -1 5 γ γ 1 5 = ( γ γ γ γ 7 5 7 5 ) -1 ( γ γ γ γ γ 7 5 7 1 5 ) , γ -1 7 γ γ 1 7 = γ -1 1 , γ -1 5 γ γ 3 5 = ( γ γ γ γ 7 5 7 5 ) -1 ( γ γ γ γ γ 7 5 7 3 5 ) , γ -1 7 γ γ 3 7 = γ -1 3 , γ -1 5 γ γ 4 5 = ( γ γ γ γ 7 5 7 5 ) -1 ( γ γ γ γ γ 7 5 7 4 5 ) , γ -1 7 γ γ 4 7 = γ -1 4 , γ -1 5 ( γ γ γ 7 5 7 γ 5 ) γ 5 = ( γ γ γ γ 7 5 7 5 ) -1 , γ -1 7 ( γ γ γ 7 5 7 γ 5 ) γ 7 = ( γ γ γ 7 5 7 γ 5 ) -1 , γ -1 5 ( γ γ γ γ γ 7 5 7 1 5 ) γ 5 = ( γ γ γ γ 7 5 7 5 ) -1 γ , 1 γ -1 7 ( γ γ γ γ γ 7 5 7 1 5 ) γ 7 = ( γ γ γ γ γ 7 5 7 1 5 ) -1 , γ -1 5 ( γ γ γ γ γ 7 5 7 3 5 ) γ 5 = ( γ γ γ γ 7 5 7 5 ) -1 γ , 3 γ -1 7 ( γ γ γ γ γ 7 5 7 3 5 ) γ 7 = ( γ γ γ γ γ 7 5 7 3 5 ) -1 , γ -1 5 ( γ γ γ γ γ 7 5 7 4 5 ) γ 5 = ( γ γ γ γ 7 5 7 5 ) -1 γ , 4 γ -1 7 ( γ γ γ γ γ 7 5 7 4 5 ) γ 7 = ( γ γ γ γ γ 7 5 7 4 5 ) -1 .

The surface N 19 = Γ ′ \ H 2 has two inequivalent cusps. A fundamental domain for N 19 is displayed in Figure 8. Maass forms on (Γ ′ , Id) fall into four symmetry classes,

(++) f ( γ z 7 ) = f ( z ), f ( γ z 5 ) = f ( z ),

(+-) f ( γ z 7 ) = f ( z ), f ( γ z 5 ) = -f ( z ),

(-+) f ( γ z 7 ) = -f ( z ), f ( γ z 5 ) = f ( z ),

$$( - - ) \ f ( \gamma _ { 7 } z ) = - f ( z ), \, f ( \gamma _ { 5 } z ) = - f ( z ).$$

For ease of notation, we will refer to these four symmetry classes as (++) , (+-) , (-+) , and (--) , respectively.

Let Γ = N (Γ (19)) be the orientation preserving arithmetic maximal reflection group and let Γ = 0 ˆ 〈 Γ , γ 7 〉 be the non-orientation preserving arithmetic maximal reflection group. Moreover, let M 19 = Γ \ H 2 and ˆ M 19 = ˆ Γ \ H 2 be the corresponding quotient surfaces. Maass forms on (Γ ′ , Id) with symmetry χ are Maass forms on ( ˆ Γ , χ ) and vice-versa.

Computing Maass cusp forms on ( ˆ Γ , χ ), we need to take care of one cusp only, while we obtain the discrete spectra on N 19 and M 19 ,

$$& \text{spec} _ { \text{discr} } ( N _ { 1 9 } ) = \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( + + ) ) \cup \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( + - ) ) \cup \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( - + ) ) \cup \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( - - ) ), \\ & \text{spec} _ { \text{discr} } ( M _ { 1 9 } ) = \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( + + ) ) \cup \text{spec} _ { \text{discr} } ( \hat { \Gamma }, ( - + ) ).$$

The first few eigenvalues of spec discr ( ˆ Γ , χ ), and hence, for N 19 and M 19 are listed in Table 2.

- 4.2. Maass cusp forms on arithmetic maximal reflection groups with two ideal vertices. There are ten non-cocompact arithmetic maximal reflection groups with two ideal vertices which we consider [16, § 4.3]. These are the groups of level 11 , 15 17 19 22 26 33 42 55 66 on which we compute Maass cusp forms numerically. , , , , , , , ,

Similarly as before, Maass forms on these groups fall into four symmetry classes. For each of the symmetry classes (++) , (-+) , and (--) , there are infinitely many Maass cusp forms per level. For the symmetry class (+-) there are also infinitely many Maass cusp forms for level 15 and 17, but there is at most one Maass cusp form per level 11 , 19 22 26 33 42 55 66. The reason is that for the latter levels the group is not congruence. , , , , , ,

We are interested in small eigenvalues. The number of Maass cusp forms with eigenvalue less than 200 is listed in Table 3 in dependence of the level and the symmetry class. The smallest eigenvalue in dependence of the level and the symmetry class is listed in Table 4. The upper bounds of [16, Table 4.2] are respected.

The first discrete eigenvalue on N 17 is elusive. It belongs to a CM form.

- 4.3. CM forms. CM forms are Maass cusp forms that arise as theta-lifts from GL(1). CM forms with eigenvalue λ = 1 4 were first constructed by Hecke [10]. / Later, Maass gave a more general construction of CM forms and identified them with Maass cusp forms [19].

CM forms live on congruence subgroups of certain levels. On arithmetic maximal reflection groups with two ideal vertices, there are CM forms for level n = 17 (only). By construction, they are in symmetry class (+-) .

Table 2. Consecutive eigenvalues λ of Maass cusp forms on the index two subgroup Γ ′ of Γ = N (Γ (19)) in dependence of the symmetry class. 0 We note that there is only one eigenvalue for symmetry class (+-) .

| λ                   | λ                   | λ                   | λ                   |
|---------------------|---------------------|---------------------|---------------------|
| symmetry clsss (++) | symmetry class (+-) | symmetry class (-+) | symmetry class (--) |
| 2.018365089         | 0.169612040         | 5.526238214         | 5.623644096         |
| 5.178444802         |                     | 10.44255994         | 11.09994133         |
| 8.183549674         |                     | 11.98729193         | 13.34726954         |
| 9.893410725         |                     | 17.09642816         | 19.16508797         |
| 16.96819424         |                     | 19.89417157         | 21.71327432         |
| 18.55690731         |                     | 23.09408224         | 24.65978283         |
| 18.59544749         |                     | 27.31732822         | 28.16059477         |
| 21.32460096         |                     | 30.03293145         | 30.44847115         |
| 24.00366338         |                     | 31.23572386         | 36.66774935         |
| 30.96013885         |                     | 38.37766641         | 37.67237085         |
| 32.92132204         |                     | 40.77536109         | 40.74040666         |
| 33.39522368         |                     | 41.99782317         | 43.19669501         |
| 36.12307204         |                     | 45.98970332         | 46.18071110         |
| 41.54143328         |                     | 49.35948927         | 49.21126748         |
| 41.84058775         |                     | 49.68599715         | 52.24479435         |
| 44.25260852         |                     | 55.81902339         | 54.63308313         |
| 46.79262854         |                     | 58.65413871         | 57.51914857         |
| 51.16589334         |                     | 60.25006194         | 61.12735841         |
| 54.93920130         |                     | 63.93528420         | 63.81506781         |
| . . .               |                     | . . .               | . . .               |

Table 3. The number of Maass cusp forms with eigenvalue less than 200 in dependence of the level and the symmetry class.

|   level |   # { λ ∈ (0 , 200] } symmetry class (++) |   # { λ ∈ (0 , 200] } symmetry class (+-) |   # { λ ∈ (0 , 200] } symmetry class (-+) |   # { λ ∈ (0 , 200] } symmetry class (--) |
|---------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|
|      11 |                                        37 |                                         1 |                                        38 |                                        38 |
|      15 |                                        36 |                                        37 |                                        38 |                                        38 |
|      17 |                                        63 |                                        58 |                                        63 |                                        60 |
|      19 |                                        71 |                                         1 |                                        68 |                                        68 |
|      22 |                                        60 |                                         1 |                                        61 |                                        61 |
|      26 |                                        74 |                                         1 |                                        72 |                                        72 |
|      33 |                                        86 |                                         0 |                                        84 |                                        84 |
|      42 |                                        85 |                                         0 |                                        83 |                                        83 |
|      55 |                                       140 |                                         1 |                                       128 |                                       127 |
|      66 |                                       138 |                                         1 |                                       129 |                                       128 |

glyph[negationslash]

Consider the level n = 17. Let F = Q ( √ 17) be a real quadratic field. Let η = 4+ √ 17 be the usual fundamental unit for O F . Let k be an arbitrary integer and r = πk log η be the spectral parameter. Then, λ = r 2 + 1 4 is the / eigenvalue of a CM form on the surface N 17 . If k = 0, the Fourier expansion coefficients of these CM forms are explicitely given in [12],

The CM form for k = 0 is special and needs to be treated with care. According to the definition of Maass cusp forms, they should be square-integrable. Obviously, this is the case for all Maass cusp forms (CM forms included), except for the CM form with eigenvalue λ = 1 4. / The latter has the term a y 0 1 / 2 in its Fourier expansion whose L 2 -norm diverges logarithmically.

The CM form with eigenvalue λ = 1 4 is elusive. / Its L 2 -norm exists in the sense of a distribution and its Fourier coefficients read

$$a _ { 0 } = \log \eta, \ \ a _ { 1 } = 1, \ \ a _ { p } = \left ( \frac { n } { p } \right ) _ { K r } + 1 \ \text{ for } p \, \prime \, \prime \, \prime, \ \ a _ { n _ { 1 } } a _ { n _ { 2 } } = \sum _ { l | ( n _ { 1 }, n _ { 2 } ) } \left ( \frac { n } { l } \right ) _ { K r } a _ { n _ { 1 } n _ { 2 } / l ^ { 2 } },$$

Table 4. The smallest eigenvalue on non-cocompact arithmetic maximal reflection groups in dependence of the level and the symmetry class. On the non-congruence subgroups of level 33 and 44 there are no Maass cusp forms of symmetry class (+-) .

|   level |   λ symmetry class (++) | λ symmetry class (+-)   |   λ symmetry class (-+) |   λ symmetry class (--) |
|---------|-------------------------|-------------------------|-------------------------|-------------------------|
|      11 |                6.41822  | 0.24456267323           |                 9.06025 |                10.0025  |
|      15 |               10.6201   | 3.56777601683           |                 5.8259  |                 9.42106 |
|      17 |                3.67135  | 0.25000000000           |                 4.12297 |                 6.24399 |
|      19 |                2.01837  | 0.16961204041           |                 5.52624 |                 5.62364 |
|      22 |                3.24185  | 0.23828308162           |                 4.93733 |                 5.8141  |
|      26 |                2.14598  | 0.21588714472           |                 4.46353 |                 5.05502 |
|      33 |                2.24814  |                         |                 2.67134 |                 4.83386 |
|      42 |                1.87318  |                         |                 2.92046 |                 4.43973 |
|      55 |                0.687682 | 0.14843098682           |                 2.76462 |                 3.30378 |
|      66 |                0.623032 | 0.15286533999           |                 2.67134 |                 3.43082 |

where ( n l ) Kr is the Kronecker symbol, a multiplicative character modulo the level n .

## 5. Conclusions

The most immediate conclusion to be drawn from the results above is that there exist maximal arithmetic hyperbolic reflection groups with λ 1 &lt; / 1 4. Further, the first eigenvalue for these groups can be lower than it must be for congruence groups, and so one cannot hope that there is a lower bound for λ 1 corresponding with the known lower bounds for congruence groups. The smallest first eigenvalue found here is 0.14843, but we have no reason to believe that this should itself serve as a lower bound for λ 1 amongst all maximal arithmetic hyperbolic reflection groups.

We note that for all of the examples considered here, the Cheeger constant h ≤ 1, which is true because these are cusped hyperbolic surfaces, and a cusp neighborhood always has Cheeger ratio equal to 1. In all of the cases here where λ 1 ≤ 1 on N n , we find that λ 1 &lt; h , so the Cheeger constant serves as an upper bound for the first eigenvalue. Further investigation may be helpful here in order to understand whether, and in what circumstances, we may take the Cheeger constant to serve as an upper bound for λ 1 , and in which circumstances we have λ 1 &lt; 1.

It is interesting to compare each Cheeger constant h M ( n ) with that of its double cover h N ( n ). Recall that each surface M n is congruence. With the exception of the case n = 33, when the cover N n is not congruence, the ratio h N ( n ) h M ( n ) is less than 1 / 2. In both cases where N n is congruence, the ratio is larger than 1 / 2. This raises the following question.

Question. Suppose Γ is a congruence subgroup commensurable with PSL ( 2 Z ), Γ ′ &lt; Γ an index two subgroup, and that h ( H 2 / Γ ) ′ /h ( H 2 / Γ) &lt; / 1 2. Must Γ ′ then be a non-congruence group?

It is perhaps interesting to note that the cases n = 15 and n = 42 produce examples of orbifold surfaces N 15 and N 42 where λ disc 1 is so large that using it instead of the spectral gap (in this case 1 / 4) would result in examples which appear to fail to satisfy Buser's inequality. Specifically, for N 15 , we have h = 0 498728, and . λ disc 1 = 3 5678, which . exceeds 2 h +10 h 2 = 3 4848. For . N 42 we have h = 0 328406 and . λ disc 1 = 1 87318, which exceeds 2 . h +10 h 2 = 1 7353. . Recall that Buser's inequality is formulated for closed manifold surfaces, and our examples have cusps and cone points. Nevertheless, these examples are worthy of further investigation, as this observation may indicate the presence of some different geometric properties which correspond to higher discrete eigenvalues.

## References

1. Ian Agol, Finiteness of arithmetic Kleinian reflection groups , International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Z¨ urich, 2006, pp. 951-960. MR 2275630

2. 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 (2009m:20054)

3. A. F. Beardon, The geometry of discrete groups , Graduate Texts in Mathematics, vol. 91, Springer-Verlag, New York, 1983. MR 698777 (85d:22026)

4. Mikhail Belolipetsky, Finiteness theorems for congruence reflection groups , Transform. Groups 16 (2011), no. 4, 939-954. MR 2852486

- 5. Brian A. Benson, The Cheeger constant, isoperimetric problems, and hyperbolic surfaces , 2015, Preprint, arXiv:1509.08993.
- 6. J. Bertrand, C. Ketterer, I. Mondello, and T. Richard, Stratified spaces and synthetic Ricci curvature bounds , 2018, Preprint, arXiv:1804.08870.
- 7. Peter Buser, A note on the isoperimetric constant , Ann. Sci. Ecole Norm. Sup. (4) ´ 15 (1982), no. 2, 213-230. MR 683635
- 8. 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
- 9. Nicol` o De Ponti and Andrea Mondino, Sharp Cheeger-Buser type inequalities in RCD( K, ∞ ) spaces , 2019, Preprint, arXiv:1902.03835.
- 10. Erich Hecke, ¨ber das Verhalten von u ∑ m,n e πiτ m | 2 -2 n 2 | / 8 und ¨ ahnlichen Funktionen bei Modulsubstitutionen , J. reine Angew. Math. 157 (1927), 159-170.
- 11. Dennis A. Hejhal, On eigenfunctions of the Laplacian for Hecke triangle groups , Emerging Applications of Number Theory, IMA Series No. 109, Springer-Verlag, New York, 1999, pp. 291-315.
- 12. Dennis A. Hejhal and Andreas Str¨mbergsson, o On quantum chaos and Maass waveforms of CM-type , Foundation of Physics 31 (2001), 519-533.
- 13. H. Helling, Bestimmung der Kommensurabilit¨tsklasse der Hilbertschen Modulgruppe a , Math. Z. 92 (1966), 269-280. MR 0228437
- 14. , On the commensurability class of the rational modular group , J. London Math. Soc. (2) 2 (1970), 67-72. MR 0277620
- 15. Henry H. Kim, Functoriality for the exterior square of GL 4 and the symmetric fourth of GL , J. Amer. Math. Soc. 2 16 (2003), no. 1, 139-183, With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak. MR 1937203
- 16. Grant S. Lakeland, Arithmetic reflection groups and congruence subgroups , Ph.D. thesis, The University of Texas at Austin, 2012.

17.

M. Ledoux,

A simple analytic proof of an inequality by P. Buser

,

Proc. Amer. Math. Soc.

121

(1994), no. 3, 951-959.

MR 1186991

- 18. D. D. Long, C. Maclachlan, and A. W. Reid, Arithmetic Fuchsian groups of genus zero , Pure Appl. Math. Q. 2 (2006), no. 2, part 2, 569-599. MR 2251482 (2007f:20092)
- 19. Hans Maaß, ¨ber eine neue Art von nichtanalytischen automorphen Funktionen und die Bestimmung Dirichletscher Reihen durch u Funktionalgleichungen , Math. Ann. 121 (1949), 141-183.
- 20. 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. MR 2477273
- 21. W. Roelcke, Das Eigenwertproblem der automorphen Formen in der hyperbolischen Ebene, I , Math. Annalen 167 (1966), 292-337.
- 22. , Das Eigenwertproblem der automorphen Formen in der hyperbolischen Ebene. II , Math. Annalen 168 (1967), 261-324.
- 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. Holger Then, Maass cusp forms for large eigenvalues , Math. Comp. 74 (2005), 363-381.
- 25. , Large sets of consecutive Maass forms and fluctuations in the Weyl remainder , 2012, preprint, arXiv:1212.3149.

Department of Mathematics, University of California, Riverside, 900 University Avenue, Riverside, CA 92521, email: bbenson@ucr.edu

Department of Mathematics &amp; Computer Science, Eastern Illinois University, 600 Lincoln Avenue, Charleston, IL 61920, email: gslakeland@eiu.edu

Freie Waldorfschule Augsburg, Dr.-Schmelzing-Straße 52, 86169 Augsburg, Germany, e-mail: holger.then@bristol.ac.uk
Brian A. Benson Grant S. Lakeland Holger Then
Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues
We compute the Cheeger constants of a collection of hyperbolic surfaces
corresponding to maximal non-compact 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.