Access the full text.
Sign up today, get DeepDyve free for 14 days.
Jean Raimbault (2013)
On the convergence of arithmetic orbifoldsarXiv: Geometric Topology
D. Lenz, Felix Pogorzelski, M. Schmidt (2014)
The Ihara zeta function for infinite graphsTransactions of the American Mathematical Society
A. Deitmar, Rupert McCallum (2016)
A prime geodesic theorem for higher rank buildingsKodai Mathematical Journal
Asma Hassannezhad, G. Kokarev, I. Polterovich (2015)
Eigenvalue inequalities on Riemannian manifolds with a lower Ricci curvature boundarXiv: Differential Geometry
T. Tao (2014)
Hilbert's Fifth Problem and Related Topics
A. Deitmar, M. Pavey (2006)
A prime geodesic theorem for SL4Annals of Global Analysis and Geometry, 33
Y. Ihara (1966)
On discrete subgroups of the two by two projective linear group over p-adic fieldsJournal of The Mathematical Society of Japan, 18
G. Folland (1995)
A course in abstract harmonic analysis
Miklós Abért, N. Bergeron, Ian Biringer, T. Gelander, N. Nikolov, Jean Raimbault, Iddo Samet (2012)
On the growth of $L^2$-invariants for sequences of lattices in Lie groupsarXiv: Representation Theory
R. Gangolli (1977)
Zeta functions of Selberg's type for compact space forms of symmetric spaces of rank oneIllinois Journal of Mathematics, 21
A. Deitmar (2002)
A Prime geodesic theorem for higher rank spacesGeometric & Functional Analysis GAFA, 14
N. Berline, E. Getzler, M. Vergne (1992)
Heat Kernels and Dirac Operators
A. Knapp (1986)
Representation Theory of Semisimple Groups: An Overview Based on Examples. .
Laura Monk (2020)
Benjamini–Schramm convergence and spectra of random hyperbolic surfaces of high genusAnalysis & PDE
A. Deitmar, Ming-Hsuan Kang (2013)
Geometric zeta functions for higher rank p-adic groupsarXiv: Number Theory
W. Piston (1983)
Principles of harmonic analysis
FRAN´OIS Sauvageot (1997)
Principe de densité pour les groupes rèuctifsCompositio Mathematica, 108
P. Buser (1992)
Geometry and Spectra of Compact Riemann Surfaces
(2019)
Limit multiplicities for SL2(OF ) in SL2(R1 ⊕ Cr2 )
Etienne Masson, Tuomas Sahlsten (2016)
Quantum ergodicity and Benjamini–Schramm convergence of hyperbolic surfacesDuke Mathematical Journal, 166
A. Selberg (1956)
Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet seriesJournal of the Indian Mathematical Society, 20
K. Hashimoto, A. Hori (1989)
Selberg-Ihara’s Zeta function for $p$-adic Discrete Groups
A. Deitmar (2018)
Benjamini–Schramm and spectral convergenceL’Enseignement Mathématique
deitmar@uni-tuebingen.de Mathematisches Institut, Auf der The equivalence of Benjamini–Schramm convergence and zeta-convergence, known Morgenstelle 10, 72076 for graphs, is proven for sequences of compact Riemann surfaces. A program is Tübingen, Germany initialized, to extend this connection to arbitrary locally homogeneous spaces. Contents Introduction ........................................... 1 1 Relative Benjamini–Schramm convergence ........................ 2 2 Plancherel and Benjamini–Schramm sequences ..................... 5 3 The Selberg zeta function .................................. 6 4 Open questions and further projects ............................ 11 Convergence inside the critical strip ............................ 11 Uniform discreteness .................................... 11 General rank one groups .................................. 11 Higher rank .......................................... 12 p-adic groups ......................................... 12 Locally compact groups ................................... 12 Non-cocompact lattices ................................... 12 Quantum ergodicity ..................................... 12 References ............................................ 13 Introduction Benjamini–Schramm convergence or BS-convergence of metric probability spaces X to a pointed metric space (X, p) means that for every radius R > 0 the probability of a point x having the ball B (x)ofradius R isometric with B (p) tends to one, i.e., R R P x ∈ X : B (x) B (p) −→ 1,n →∞. n n R R For hyperbolic surfaces, Selberg [22] introduced a geometric zeta function which counts closed geodesics. Ihara [14] established a p-adic analog of this, which later was generalized to arbitrary graphs by Hashimoto and Hori [12]. Lenz, Pogorzelski and Schmidt recently proved [17] that a sequence of graphs of bounded valency is BS-convergent to an infinite tree if and only if the corresponding Ihara zeta functions converge to the trivial one. © The Author(s) 2020. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. 0123456789().,–: volV 27 Page 2 of 13 A. Deitmar Res Math Sci (2020) 7:27 The present paper may be considered the starting point for a program aiming at gener- alizing the equivalence BS-convergence ⇔ zeta-convergence to arbitrary locally homogeneous spaces, i.e., double quotients \G/K , where G isalocally compact group, ,K subgroups, where K is compact and discrete. In order to define BS-convergence, one needs a metric, so one assumes that the topology of G/K is induced by a proper metric. It is also necessary for this metric to be left G-invariant in order to induce a derived metric on \G/K . The first steps of this program are the introduction of the notions of BS- and zeta-convergence in this context. This is done in Sect. 1, extending a previous notion by the author [9]. Suitable zeta functions are present in the literature, at least for Lie groups [4,11,22]or p-adic groups [7,14]. A general definition for arbitrary locally compact groups is still lacking. The next step is to show the equivalence of BS- to zeta-convergence for compact hyper- bolic surfaces. This is done in Sect. 3. In this case, the bounded valency condition of [17] is replaced by a lower bound on the injectivity radius. Note that BS-convergence means that for every bound R, the number of closed geodesics of length ≤ R becomes small. It could still be that closed geodesics cluster at large lengths, but the cluster moves toward ∞. The convergence of the zeta functions, however, takes into account all geodesics at once, with means that such clustering does not happen. In this paper, the trace formula is used to transfer the question of zeta convergence to a spectral theoretic context. Then a uniform growth estimate on Laplace eigenvalues [13] is used to derive the convergence of the zeta functions. In the first section we introduce notations and collect material from our previous paper [9]. In the second section we extend a statement of [9] in the relative case. In the third section we state and prove the main theorem, and in the fourth section we collect some further questions and projects which might come out of this paper. 1 Relative Benjamini–Schramm convergence In this section we extend Proposition 2.4 of [9] to arbitrary locally compact groups and to the relative setting. Thus we get a very useful criterion for BS-convergence, which in [9] has been used to give a very simple and elegant proof of one of the main results of [1]. In the previous section, only convergence to a homogeneous space has been considered, in which case the base point is irrelevant. In [9] the author extended the notion of BS- convergence to a relative situation which was formulated in purely group-theoretical terms. In geometric terms it translates to the following: Definition 1.1 (BS-convergence without base point)Let (X ,d ,P ) be a sequence of met- n n n ric probability spaces, which share a common covering X , i.e., for each n ∈ N there is a metric covering map π : X → X , which means that π is surjective and for each n ∞ n n −1 x ∈ X there exists ε> 0 such that for every y ∈ π (x) the map π maps the ball B (y) n n ε isometrically to B (x). Then we say that the sequence (X )is BS-convergent to X , if for ε n ∞ every r > 0, P x ∈ X : ∀ π is an isometry B (y) → B (x) −→ 1 −1 n n n r r y∈π (x) B (y) n r as n →∞. A. Deitmar Res Math Sci (2020) 7:27 Page 3 of 13 27 Definition 1.2 In the paper [9] the following situation was considered: ( ) is a sequence of lattices in a locally compact group G and is a common normal subgroup. We then say that the sequence ( ) Benjamini–Schramm converges to ,or BS-converges, written n ∞ BS −→ , if for every compact set C ⊂ G the sequence n ∞ −1 P x ∈ \G : x ( ) x ∩ C =∅ −→ 1 n n n ∞ as n →∞.Here P is the normalized Haar measure on \G. n n If ( ) is BS-convergent to the trivial group {1}, then we say that ( )isa BS-sequence. n n The next proposition considerably extends Proposition 2.4 of [9]. Proposition 1.3 Let G be a locally compact group and K a compact subgroup. Assume that the topology on X = G/K is generated by a G-invariant proper metric. Let ( ) be a sequence of lattices in G and let be a common normal subgroup of the . ∞ n Consider the following statements: (a) The sequence is BS-convergent to . n ∞ (b) The sequence of metric probability spaces X = \X is BS-convergent to X = n n ∞ \X. Then (a) ⇒ (b) unconditionally. If for every open ball ∅ = B ⊂ X and every isometry φ : B → B there exists a uniquely determined g ∈ Gsuch that φ(x) = gx, x ∈ B and every is torsion-free, then (b) ⇒ (a) holds as well. Note that (b) ⇒ (a) holds for X being a symmetric space without compact factors. Proof Throughout, we will denote the probability measures on \G and on \X by the n n same symbol P . (a) ⇒ (b): Assume that is BS-convergent to and let r > 0. As we encounter n ∞ different metric spaces, we shall write B (z, Z) for the open r-ball in Z around z. The space X = G/K has a natural base-point x = eK . We abbreviate B = B (eK, X). Let g ∈ G and 0 r r consider the point x = gK ∈ X . For a discrete subgroup ⊂ G and any set A ⊂ X we n n write \A for the image of A in \X or, what amounts to the same, A/ ∼, where a ∼ a if andonlyifthere exists γ ∈ with γ a = a . We use the invariance of the metric to identify −1 ∼ ∼ B (gK, \X) \B (gK, X) = \gB g g \B . = = r r r r This means that B ( gK, X ) is isometric to some B ( hK, X )ifand only if r n n r ∞ ∞ −1 −1 g g \B h h \B . n r ∞ r −1 Let U be the pre-image of B under the projection map G → G/K = X.Let C = U U . r r r r Then C is a compact subset of G.Let −1 A (C) = g ∈ \G : g ( ) g ∩ C =∅ . n n n ∞ −1 Then P (A (C)) tends to 1 as n →∞.Let C denote the compact set U U . Then if n n r r r g ∈ A (C ), for every γ ∈ one has n r n n −1 −1 g γ g ∈ U U ⇒ γ ∈ . n r n ∞ r 27 Page 4 of 13 A. Deitmar Res Math Sci (2020) 7:27 −1 −1 Now if g guK = g gvK for two u, v ∈ U , then there exists γ ∈ and k ∈ K n n r n n −1 −1 −1 −1 such that g γ g = vku and hence g γ g ∈ U U and so u and v already give the n n r −1 same element in g g \B . In other words, it follows that ∞ r −1 −1 (g g)\B = (g g)\B . n r ∞ r Let T (r)denotethe setofall x ∈ X such that there exists y ∈ X with B (x, X ) n n ∞ r n B (y, X ). Then the above entails r ∞ A (C )K ⊂ T (r). n r n Hence we get P (T (r)) → 1 and so (a) ⇒ (b) is proven. n n (b) ⇒ (a): First note that under the given conditions, each acts fixed-point-freely on X and there exists a radius t > 0 such that the projection map p : X → \X induces n n n an isometric isomorphism B (x) → p B (x) for every x ∈ X. t n t n n −1 Let C ⊂ G be a compact set. Then there exists some r > 0 such that C ⊂ U U . Let x ∈ T (r)and let φ : B (x ,X ) → B (x ,X ) be an isometry. Write x = g K n n r n n r ∞ ∞ n n n −1 −1 and x = g K , then φ canbeviewedasamap g g \B → g g \B .If φ ∞ ∞ ∞ n n r ∞ ∞ r n ∞ −1 −1 maps the origin g g to some (g g )g , then one can replace g by g g and n n ∞ ∞ 0 ∞ ∞ 0 n ∞ φ will preserve origins. Next let 0 < t ≤ min(r, t ). Then φ induces an isometry of the ball B ⊂ X. Then there exists α ∈ G such that, on B , the map φ is given by z → αz. t t Replacing g with g α we arrive at ∞ ∞ −1 −1 φ g g x = g g x, x ∈ B , n n ∞ ∞ t n ∞ or, what amounts to the same, the diagram Id B B t t −1 −1 (g g )\B (g g )\B n n t ∞ ∞ t n ∞ commutes. Let 0 < t ≤ r be maximal with this property. We claim that t = r. If not, then there exists z ∈ B with d(z, eK ) = t < r.As φ is an isometry, the diagram above still commutes with B replaced by the closed ball B = x ∈ X : d(x, eK ) ≤ t . −1 −1 Let s = min(t ,r − t). We therefore have φ (g g )z = (g g )z and as φ is an n n n n n n n isometry, φ maps B (z)to B (z). Again, this isometry is induced by an element g ∈ G s s and we have gy = y for every y in the non-empty open set B (z) ∩ B (x). The uniqueness s t condition implies that g = e the neutral element in G. This means that the diagram commutes with B replaced by a larger open set which contains z.Asthisisthe case for every z, by compactness we conclude that t was not maximal. Hence the diagram Id B B r r −1 −1 (g g )\B (g g )\B n n r ∞ ∞ r n ∞ ψ = −1 (g g )\B ∞ n r n A. Deitmar Res Math Sci (2020) 7:27 Page 5 of 13 27 commutes. The lower triangle implies that the natural map ψ is an isometry as well, so we end up with the commutative diagram Id B B r r −1 −1 (g g )\B (g g )\B . n n r ∞ n r n n −1 Now let γ ∈ and suppose g γ g ∈ C . By definition, there exist u, v ∈ U with n n n n r r −1 −1 −1 g γ g = uv ,or(g γ g )v = u, which means that the points vK and uK are mapped n n n n n n −1 −1 to the same point in (g g )\B , so they map to the same point in (g g )\B . This n n r ∞ n r n n −1 means that there exist γ ∈ and k ∈ K such that (g γ g )v = uk. Hence ∞ ∞ ∞ n −1 −1 −1 γ γ = g vkv g n n ∞ n is contained in a compact group. As is torsion-free, it follows γ = γ and therefore n n ∞ g ∈ A (C ). We have shown n n n r T (r) ⊂ A (C )K. n n r which implies P (A (C )) → 1. n n r Definition 1.4 A sequence ( ) of lattices is called uniformly discrete, if there exists a −1 unit-neighborhood U ⊂ G such that x x ∩ U ={1} holds for every x ∈ G. Remark 1.5 In [9]itisshown that ( ) is BS and uniformly discrete ⇒ ( ) Plancherel ⇒ ( )isBS. 2 Plancherel and Benjamini–Schramm sequences Let G = SL (R). Then K = SO(2) is a maximal compact subgroup of G. The group G acts on the upper half plane H ={z ∈ C :Im(z) > 0} via linear fractionals and this action induces an identification of G/{±1} with the group of orientation-preserving isometries of the two-dimensional hyperbolic space. We normalize the Haar measure on K to have volume 1. Next we normalize the Haar measure on G such that it induces the usual −2 y dx dy on the upper half plane H G/K . For a cocompact lattice ⊂ G the unitary representation of G, given by right translation on L (\G) decomposes as a direct sum of irreducibles L (\G) = N (π)π. π ∈G The multiplicities N (π) are finite and are zero outside a countable subset of the unitary dual G. Definition 2.1 The measure on G given by μ = N (π) δ π ∈G is called the spectral measure attached to . 27 Page 6 of 13 A. Deitmar Res Math Sci (2020) 7:27 Definition 2.2 For f ∈ C (G)let π(f ) denote the operator defined by integrating the representation π against f . More precisely, for v ∈ V we have π(f )v = f (x)π(x)v dx, where the integral is a Bochner integral. Another way to say this is that π(f ) is the uniquely defined operator such that for any two v, w ∈ V one has π(f )v, w = f (x) π(x)v, w dx. For a reductive Lie group like G = SL (R), the operator π(f ) is known to be a trace class operator for every π ∈ G. A sequence of cocompact lattices ( )in G is called a Plancherel sequence, if for every f ∈ C (G)wehave f (π) dμ (π) −→ f (e) vol( \G) n G as n →∞, where f (π) = tr π(f ). The unitary dual G comes equipped with the topology of locally uniform convergence of matrix coefficients, or Fell topology,see [10]. The Plancherel theorem states that there is a unique Borel measure μ on the unitary Pl dual G such that for every f ∈ C (G)wehave f (e) = f (π) dμ (π). (For an explicit Pl c G computation of the Plancherel measure for the group G = SL (R), seeSection11.3of[6].) This means that the sequence ( ) is Plancherel if and only if in the dual space of C (G) one has weak-*-convergence μ −→ μ . n Pl vol( \G) Remark 2.3 (a) If a sequence ( ) of lattices is a Plancherel sequence, then μ (U) −→ μ (U) Pl vol(G/ ) for every relatively compact open set U ⊂ G, whose boundary has Plancherel measure zero. This follows from the density principle of Sauvageot [21]. (b) If ( ) is a Plancherel sequence, then vol( \G) −→ ∞ as n →∞. This follows from the fact that the spectral measure of each is discrete and the Plancherel measure is not. 3 The Selberg zeta function Let ( ) be a sequence of cocompact lattices in G. For simplicity, we shall assume that each is torsion-free, which can easily be arranged as every lattice contains a torsion-free sublattice. Definition 3.1 For γ ∈ the length of γ is defined by l(γ ) = inf d(γ x, x). x∈X A. Deitmar Res Math Sci (2020) 7:27 Page 7 of 13 27 It is known that for torsion-free cocompact lattices , every γ ∈ satisfies l(γ ) > 0. The Selberg zeta function for is defined for s ∈ C with Re(s) > 1as −(s+k)l(γ ) Z (s) = 1 − e , k≥0 where the first product runs over all primitive conjugacy classes in (see [6], Section 11.6). The product converges for Re(s) > 1, and the so defined function extends holomor- phically to all of C. Theorem 3.2 Let ( ) be a sequence of torsion-free cocompact lattices in G. (a) If the sequence ( ) is uniformly discrete and Plancherel, then 1 Z (s) vol( \G) Z n n converges to zero in the set {Re(s) > 1}, as n tends to infinity. (b) If 1 Z (s) vol( \G) Z n n converges to zero in the set {Re(s) > 1} as n →∞, then the sequence is Plancherel. In either case, the convergence of (s) is uniform on every set of the form {Re(s) ≥ vol( \G) Z α},for α> 1. Proof For Re(s) > 1wehave −s (γ ) Z e n −(s+k) (γ ) (s) = (γ )e = (γ ) , 0 0 (γ ) Z 1 − e k≥0 [γ ] [γ ] where the sum runs over all conjugacy classes [γ ] ={1} in and γ is the underlying n 0 m −(s+k) (γ ) primitive of γ , i.e., γ = γ for some m ∈ N.Now letRe(s) ≥ α> 1, then e = −(Re(s)+k) (γ ) −(α+k) (γ ) e ≤ e and so the addendum follows. Let K = SO(2) be the standard maximal compact subgroup of G and let G denote the set of all π ∈ G such that the representation space V contains nonzero K -fixed vectors. Then it is known [15], G = π : r ∈ i 0, ∪ R ∪{triv}. K ir ≥0 The map φ : G → [0, ∞), given by φ(triv) = 0, φ(π ) = + r ir is a homeomorphism. We shall from now on identify G with [0, ∞). For brevity, we write μ(f ) instead of f dμ where μ isameasure on X and f a function. We shall also consider μ and μ as measures on G ⊂ G. n Pl K 27 Page 8 of 13 A. Deitmar Res Math Sci (2020) 7:27 We now proceed to the proof of part (a) of the theorem. Suppose that the sequence ( ) is Plancherel. By [6], Section 11, there are numbers r ∈ R ∪ i 0, such that n,j 2 2 K L ( \H) = L ( \G) = C ⊕ π , n n ir n,j j=1 where C stands for the one-dimensional space of constant functions and π is the induced ir representation (principal or complementary series) with r ∈ R ∪ i 0, . Formally we set r = .Fix s, b ∈ C with Re(s), Re(b) > 1. By Section 11.6 of [6] we can plug the function n,0 1 1 h (r) = − s,b 2 2 2 2 s + r b + r into the trace formula and, as in Lemma 11.6.2 of [6], we get 1 Z 1 1 Z 1 n n s + − b + = μ (H ) − μ (H ), n s,b Pl s,b s Z 2 b Z 2 n n 1 1 where H (λ) = − and μ = μ .Thismeans s,b 1 1 n 2 2 s +λ− b +λ− 4 4 1 Z 1 1 Z 1 vol( \G) 1 1 n n s + = b + − − 1 1 s Z 2 b Z 2 π n n s + + k b + + k 2 2 k=0 1 1 + 2 − . 2 2 2 2 s + r b + r n,j n,j j=0 ∂ 1 Let D denote the operator D (ψ)(s) =− ψ(s) .Weget s s ∂s s ∞ ∞ Z 1 1 vol( \G) 1 D s + = 4s − 2 1 2 2 2 Z 2 (s + r ) π n (s + + k) n,j 2 j=0 k=0 and ∞ ∞ Z 1 vol( \G) 1 1 2 1 D s + =− + 2 1 1 2 3 Z 2 π s s n (s + + k) (s + + k) 2 2 k=0 k=0 + 16s . 2 3 (s + r ) n,j j=0 Let h (λ) = . s + λ − 2 1 1 ∂ Note that the function r → h r + equals D h (r). Therefore the above formula s s s,b 4 4s ∂s says Z 1 2 n D s + = μ (h ) − vol( \G)μ (h ). n s n λ s Pl Z 2 For s > the continuous function h is positive on [0, ∞). By the trace formula, [6] Section 11.4, we have that |h (λ )| < ∞ for every s n,j j=0 s > . Further, in [6] Section 11.3 the Plancherel measure is explicitly computed. As h is decreasing to the power 3, it follows that integral μ (h ) is finite. Pl s A. Deitmar Res Math Sci (2020) 7:27 Page 9 of 13 27 If I ⊂ [0, ∞) is a relatively open, bounded interval, then by [21] we have that lim μ (1 ) = μ (1 ), n I Pl I n→∞ vol( \G) where 1 is the indicator function of I. By linearity this extends to linear combinations of functions of the form 1 . There exists a sequence (L ) of such linear combinations k k∈N such that 0 ≤ L h outside a countable set S, which is of Plancherel measure zero and canalsobechosentobeof μ measure zero for all n and have empty intersection with N. We can also choose the L so that for each T ∈ N we have that k 0 (T) = sup h (x) − L (x) k s k x∈[T,T +1)S tends to zero for k →∞. 1 2 1 2 For T ≥ 1let N (T) = # j : + r < T . Recall that λ = + r is the j-th Laplace n n,j n,j n,j 4 4 eigenvalue. The sequence ( ) is uniformly discrete, which means that the injectivity radii of the manifolds \H are bounded below. Therefore, by formula (1.5) of [13], there exists aconstant C > 0 such that for every T ≥ 1 one has N (T) ≤ C vol( \G) T. n n Now, since N (0) = 0, 0 ≤ μ (h − L ) = h (λ ) − L (λ ) n s k s n,j k n,j ≤ (T) N (T + 1) − N (T) k n n T =0 ≤ C vol( \G) (T)(2T + 1). T =0 Since (T) ≤ 2h (T)and h (T)(2T + 1) < ∞, we can apply dominated conver- k s s T =0 gence, to get that this sum tends to zero for k →∞.Solet ε> 0. Then there is k ∈ N such that for all k ≥ k we have that 0 ≤ μ (h ) − μ (L ) < vol( \G)ε/3 holds for all 0 n s n k n n ∈ N and that |μ (L ) − μ (h )| <ε/3. Pl k Pl s Fix some k ≥ k . Then there exists n ∈ N such that for all n ≥ n one has 0 0 0 μ (L ) − μ (L ) <ε/3. n Pl k k vol( \G) And so 1 1 μ (h ) − μ (h ) ≤ |μ (h ) − μ (L )| n s s n s n Pl k vol( \G) vol( \G) n n + μ (L ) − μ (L ) n k Pl k vol( \G) ε ε ε +|μ (L ) − μ (h )| < + + = ε. Pl k Pl 3 3 3 Z Z 2 n n This means that D (s) converges to zero for Re(s) > 1. Since (s) = vol( \G) Z Z n n n −(s+k) (γ ) (γ )e , the following lemma proves the ‘only if’ direction of the the- k≥0 [γ ] orem. 27 Page 10 of 13 A. Deitmar Res Math Sci (2020) 7:27 Lemma 3.3 For n, k ∈ N let a ,b > 0 be real numbers. Suppose that L (s) = n,k n,k n −sb 2 n,k a e converges for Re(s) > 1 and that D L (s) tendstozeroasn →∞. n,k n k=1 s Then L (s) also tendstozeroasn →∞ for every s with Re(s) > 1. Proof As the sum L (s) converges locally uniformly, by the theorem of Weierstrass, we can differentiate under the sum to get for s > 1 that ∞ ∞ 4 2 2 2 −sb −sb n,k n,k s D L (s) = a (3b s + b s + 3)e ≥ a e = L (s) ≥ 0. n n s n,k n,k n,k n,k k=1 k=1 Now if the former tends to zero as n →∞, then so will the latter. (b) For the converse direction assume convergence of (s)tozeroand let f ∈ vol( \G) Z n n C (G). As f has compact support, there exists c > 0 such that for every n ∈ N and every −1 γ ∈ {1} with l(γ ) > c the conjugation orbit {xγ x : x ∈ G} has empty intersection −1 with supp(f ). Hence for such γ we have that O (f ) = 0. Here O (f ) = f (xγ x ) dx γ γ G/G is the orbital integral and G is the centralizer of γ in G.As f is bounded and has compact support, there exists M > 0 such that |O (f )|≤ M for all γ ∈ {1}.Notethatany cocompact lattice only contains hyperbolic elements besides the trivial one. By Theorem 9.5.1 of [6], the trace formula is valid for every f ∈ C (G), i.e., μ (f ) = vol( \G ) O (f ), n γ γ γ [γ ] where = ∩G .For γ = 1wehavevol( \G ) = vol(γ \G) and for γ = 1, the proof γ γ γ γ n of Theorem 11.4.3 implies that vol( \G ) = (γ ). So it follows that for given s > 1we γ γ 0 have that 1 M μ (f ) − f (e) ≤ (γ ) n 0 vol( \G) vol( \G) n n [γ ] =[e], (γ )≤c −c −s (γ ) M 1 − e e (γ ) −sc (γ ) vol( \G) e 1 − e [γ ] =[e], (γ )≤c −c M 1 − e Z = (s) −→ 0 −sc vol( \G) e Z n n as n →∞. The theorem is proven. At this point one may ask, what happens to the zeta functions at arguments s ∈ C with Re(s) ≤ 1? This question is partially answered by the following functional equation, as it implies that (s) will converge to a nonzero limit for n →∞,ifRe(s) < 0. vol( \G) Z This makes the question of convergence in the critical strip 0 < Re(s) < 1 even more mysterious. Proposition 3.4 For s ∈ CZ and n ∈ N we have that Z Z 1 n n (s) + (1 − s) = s − vol( \G)cot(πs). Z Z 2 n n In particular, if (s) converges to zero for n →∞ and Re(s) > 1,thenfor vol( \G) Z Re(s) < 0 and s ∈ / Z it will converge to s − cot(πs). 2 A. Deitmar Res Math Sci (2020) 7:27 Page 11 of 13 27 Proof. As above, we have for Re(s) > that 1 Z 1 1 Z 1 vol( \G) 1 1 n n s + = b + − − 1 1 s Z 2 b Z 2 π n n s + + k b + + k 2 2 k=0 1 1 + 2 − . 2 2 2 2 s + r b + r n,j n,j j=0 Now the right hand side converges for all s ∈ C − N and thus establishes an analytic continuation of the left hand side. Also, the right hand side is an even function in s with the exception of the first sum. Taking the right hand side for s ∈ C and subtracting its value at −s we get 1 Z 1 1 Z 1 vol( \G) 1 1 n n s + + −s + =− + . 1 1 s Z 2 s Z 2 π s − − k s + + k n n 2 2 k=0 Replacing s with s − this yields 1 Z 1 Z vol( \G) 1 1 n n (s) + (1 − s) =− + 1 1 Z Z π s − 1 − k s + k s − n s − n 2 2 k=0 = vol( \G)cot(πs). 4 Open questions and further projects Convergence inside the critical strip Let be a sequence as in Theorem 3.2 such that (s) tends to zero for Re(s) > 1 vol( \G) Z as n →∞. Then this sequence of functions also converges for Re(s) < 0, but what happens in between, in the critical strip? It might be possible to answer this question by finding suitable test functions for the trace formula. Note here that the zeros of the zeta function, i.e., poles of , will accumulate on the critical line, as n →∞. Uniform discreteness One assertion of the main theorem was proven under the condition of uniform discrete- ness, or, equivalently, a lower bound on the injectivity radius. It is not clear whether that condition is necessary. It seems impossible to eliminate the injectivity radius from the eigenvalue estimates, as Theorem 8.1.2 in [3] shows. According to this theorem, for fixed genus g (and therefore fixed volume vol(\G)), for every ε> 0 there exist groups of genus g and N(1 + ε) arbitrarily large. Therefore, the only option seems to lie in an anal- ysis of the Teichmüller space along the lines of [19] and the references therein (although possible critical cases have been excluded in that paper). General rank one groups The present proof uses eigenvalue estimates for the Laplacian. For general rank one Lie groups like SO(n, 1) the Selberg zeta function is described by the spectrum of generalized Laplacians [2] on certain homogeneous vector bundles. An extension of the present results would therefore require an extension of the eigenvalue estimates to these bundles. One possible path is to use the group Laplacian instead, which would provide a much weaker estimate, as the dimension increases; however, it might be sufficient for the task at hand. 27 Page 12 of 13 A. Deitmar Res Math Sci (2020) 7:27 Higher rank For higher-rank groups the Selberg zeta function has to be replaced by corresponding higher-rank zeta functions as in [5]. As this zeta function only collects closed geodesics which lie in an open Weyl chamber, it will be necessary to consider several zeta functions, one for each conjugacy class of non-compact Cartan subgroups. On the other hand, a simplification may arise by only considering the restriction of these several variable zeta functions to generic lines. p-adic groups For p-adic groups the symmetric space is replaced with the Bruhat–Tits building. The rank one case (i.e., the case of graphs) has in great generality been dealt with affirmatively in [17]. The higher-rank case will rely on the several variable zeta functions defined in [8] and otherwise face the same difficulties as in the Lie-group situation except for the fact that small radii of injectivity play no role here. Locally compact groups This last and most general case is highly speculative. Is it possible to give a zeta function for any uniform lattice in an arbitrary locally compact group G which reflects the global geometry well enough to detect Benjamini–Schramm convergence as formulated in [9]? There are a possible top-down approach and a bottom-up approach to this problem. The top-down approach uses the data given in the trace formula to define a new type of zeta function, such that the spectral side of the trace formula yields analytic continuation. The bottom-up approach uses the known cases and the structure theory of locally compact groups given, for instance, in [23]. Non-cocompact lattices For arithmetic congruence groups, the adelic trace formula can be used to show that certain sequences of arithmetic groups are BS, see [18,20]. An open problem raised in these papers is the question if any sequence ( ) of congruence subgroups in a given linear algebraic group G is already BS if the covolumes tend to infinity. A similar statement is known to be wrong without the congruence property. The connection to Selberg-type zeta functions is more subtle in the non-compact sit- uation, as the trace formula does not provide a direct link between geometric spectral data. Quantum ergodicity The interesting paper [16] has opened a new perspective in mixing spectral convergence and quantum ergodicity. In the paper, this is formulated for hyperbolic surfaces and, as in [9], there is room for further developments along the lines described above. Funding Open Access funding provided by Projekt DEAL. Received: 23 April 2020 Accepted: 12 August 2020 A. Deitmar Res Math Sci (2020) 7:27 Page 13 of 13 27 References 1. Abert, M., Bergeron, N., Biringer, I., Gelander, T., Nikolov, N., Raimbault, J., Samet, I.: On the growth of L -invariants for sequences of lattices in Lie groups. Ann. Math. (2) 185(3), 711–790 (2017). https://doi.org/10.4007/annals.2017.185. 3.1 2. Berline, N., Getzler, E., Vergne, M.: Heat Kernels and Dirac Operators. Grundlehren Text Editions, Springer, Berlin (2004). Corrected reprint of the 1992 original 3. Buser, P.: Geometry and Spectra of Compact Riemann Surfaces. Modern Birkhäuser Classics. Birkhäuser Boston, Ltd., Boston (2010). Reprint of the 1992 edition 4. Deitmar, A.: A prime geodesic theorem for higher rank spaces. Geom. Funct. Anal. 14(6), 1238–1266 (2004). https:// doi.org/10.1007/s00039-004-0490-7 5. Deitmar, A., Pavey, M.: A prime geodesic theorem for SL . Ann. Glob. Anal. Geom. 33(2), 161–205 (2008). https://doi. org/10.1007/s10455-007-9078-4 6. Deitmar, A., Echterhoff, S.: Principles of Harmonic Analysis, 2nd edn. Universitext, Springer, Cham (2014) 7. Deitmar, A., Kang, M.-H.: Geometric zeta functions for higher rank p-adic groups. Ill. J. Math. 58(3), 719–738 (2014) 8. Deitmar, A., McCallum, R.: A prime geodesic theorem for higher rank buildings. Kodai Math. J. 41(2), 440–455 (2018). https://doi.org/10.2996/kmj/1530496852 9. Deitmar, A.: Benjamini–Schramm and spectral convergence. Enseign. Math. 64(3–4), 371–394 (2018). https://doi.org/ 10.4171/LEM/64-3/4-8 10. Folland, Gerald B.: A Course in Abstract Harmonic Analysis. Studies in Advanced Mathematics. CRC Press, Boca Raton (1995) 11. Gangolli, R.: Zeta functions of Selberg’s type for compact space forms of symmetric spaces of rank one. Ill. J. Math. 21(1), 1–41 (1977) 12. Hashimoto, K., Hori, A.: Selberg–Ihara’s zeta function for p-adic discrete groups. In: Automorphic Forms and Geometry of Arithmetic Varieties. Advanced Studies in Pure Mathematics, vol. 15, Academic Press, Boston, pp. 171–210 (1989). https://doi.org/10.2969/aspm/01510171 13. Hassannezhad, A., Kokarev, G., Polterovich, I.: Eigenvalue inequalities on Riemannian manifolds with a lower Ricci curvature bound. J. Spectr. Theory 6(4), 807–835 (2016). https://doi.org/10.4171/JST/143 14. Ihara, Y.: On discrete subgroups of the two by two projective linear group over p-adic fields. J. Math. Soc. Japan 18, 219–235 (1966). https://doi.org/10.2969/jmsj/01830219 15. Knapp, A.W.: Representation Theory of Semisimple Groups: An Overview Based on Examples. Princeton Mathematical Series, vol. 36. Princeton University Press, Princeton (1986) 16. Le Masson, E., Sahlsten, T.: Quantum ergodicity and Benjamini–Schramm convergence of hyperbolic surfaces. Duke Math. J. 166(18), 3425–3460 (2017). https://doi.org/10.1215/00127094-2017-0027 17. Lenz, D., Pogorzelski, F., Schmidt, M.: The Ihara zeta function for infinite graphs. Trans. Am. Math. Soc. 371(8), 5687– 5729 (2019). https://doi.org/10.1090/tran/7508 r r 1 2 18. Matz, J.: Limit multiplicities for SL (O )inSL (R ⊕ C ). Groups Geom. Dyn. 13(3), 841–881 (2019). https://doi.org/ 2 F 2 10.4171/GGD/507 19. Monk, L.: Benjamini–Schramm convergence and spectrum of random hyperbolic surfaces of high genus. arXiv:hal-02462994 20. Raimbault, J.: On the convergence of arithmetic orbifolds. Ann. Inst. Fourier (Grenoble) 67(6), 2547–2596 (2017). (English, with English and French summaries) 21. Sauvageot, F.: Principe de densité pour les groupes réductifs. Compos. Math. 108(2), 151–184 (1997). https://doi.org/ 10.1023/A:1000216412619. (French, with English and French summaries) 22. Selberg, A.: Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series. J. Indian Math. Soc. (N.S.) 20, 47–87 (1956) 23. Tao, T.: Hilbert’s Fifth Problem and Related Topics. Graduate Studies in Mathematics, vol. 153. American Mathematical Society, Providence (2014) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research in the Mathematical Sciences – Springer Journals
Published: Aug 26, 2020
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.