sign in sign up
<<
Home , Armand Borel, Grigory Margulis, Prime geodesic, Yasutaka Ihara

arXiv:1403.7753v3 [math.NT] 12 Jan 2021 h eafunction zeta The 3 algebras Division 2 Introduction 1 Contents Keywords: 11R29 MSC: asymptotic new derive fields. quadratic to imaginary algebras in division orders of of numbers groups unit to Abstract: ∗ hsrsac a uddb h F rn E436/10-1 DE grant DFG the by funded was research This d.Suisi otm.Mt.Vl 4 su ,4940(2014) 439-450 4, Issue 24, Vol. Math. Contemp. in Studies Adv. h rm edsctermfrcce nBua-isbuildi Bruhat-Tits in cycles for theorem prime The ls ubr,Iaazt ucin rm edsctheorem geodesic prime function, zeta Ihara numbers, class hr eafntosadcasnumbers class and functions zeta Ihara C5 17,1M1 11R42 11M41, 11F72, 0C25, , no Deitmar Anton 1 ∗ setoso class on assertions g sapplied is ngs 8 3 2 Ihara zeta functions and class numbers 2

1 Introduction

The theory of the Selberg zeta function leads to asymptotic assertions about lengths of closed , known as Theorems, the first of which, for com- pact hyperbolic surfaces, is usually credited to . In his 1970 Ph.D. thesis, generalised this result to surfaces of variable negative curvature, see [Hej76, KH95]. In number theoretical settings, more precise assertions, for in- stance estimates on remainder terms, are a vivid area of research, see [AG12,SY13]. Also, higher rank generalizations are possible [Dei04, DP08]. One possible applica- tion to is in class number asymptotics [Sar82,Dei02,DH05]. In the nineteensixties, Yasutaka Ihara started investigating a p-adic analogue of the Selberg zeta function, by now known as the [Iha66a,Iha66b]. It can be interpreted as a geometric zeta function for the corresponding finite graph, which is a quotient of the Bruhat-Tits buildung attached to the p-adic [Ser03]. Over time, it has been generalized in stages by Sunada, Hashimoto and Bass [Sun86, Sun88, HH89, Has89, Has90, Has92, Has93, Bas92, KS00]. Comparisons with number theory can be found in the papers of Stark and Terras [ST96, ST00, TS07]. In the p-adic case, there also is a prime geodesic theorem, see [Ter11]. The present paper contains an application to class number asymptotics in the spirit of the above cited papers, which can be stated as follows: Let p be a prime number. For any subring in a number field F let l ( ) denote O p O the infimum of the set k N : pk N ( rQ) , { ∈ ∈ F/Q O } where N is the norm map and the infimum is + if no such k exists. F/Q ∞ Let l be a prime number different from p and such that l 1 mod (12) and let ≡ I(l) be the set of all isomorphy classes of imaginary quadratic fields F such that the prime l is non-decomposed in F , i.e., there lies only one prime of F above l. Let O (l) be the set of isomorphy classes of orders in some F I(l) such that is p O ∈ O maximal at l and at p. Let f ( )= f (F ) 1, 2 denote the inertia degree of l in l O l ∈ { } F . Let h( [1/p]) denote the class number of [1/p]. Let ∆ be the greatest common O O divisor of the numbers l ( ) as ranges over O (p). Then every number l ( ) is p O O l p O of the form ∆m for some m N + . ∈ ∪ { ∞} Theorem 1.1. As m , one has the asymptotic assertion →∞ p∆m f ( )h( [1/p]) . l O O ∼ 2m O∈XOp(l) lp(O)=∆m

Since the class number h( ) is h( [1/p]) and f ( ) takes values in 1, 2 one gets O ≥ O l O { } the following corollary. Corollary 1.2. m 1 lim inf h( ) . m→∞ p∆m O ≥ 4 O∈XOp(l) lp(O)=∆m Ihara zeta functions and class numbers 3

It is the objective of the present paper, to give a proof of (a slightly more general version of) Theorem 1.1.

2 Division algebras

Let R be an integral domain and K its field of fractions. Let A be a finite-dimensional K-algebra with unit. An R-order in A is an R-subalgebra Λ of A, which is finitely generated as R-module and spans the K-vector space A, i.e., KΛ= A. We are going to apply this in the following situations:

• R = Z, K = Q in which case we simply say, Λ is an order in A,

• R = Z[1/p], where p is a prime number and K = Q,

• R = Zp and K = Qp for a prime p.

If the algebra A is a number field F and is an order in F , let I( ) denote the set O O of all finitely generated -submodules of F . By the Jordan-Zassenhaus Theorem O [Rei03], the set [I( )] of isomorphism classes of elements of I( ) is finite. Let h( ) O O O be its cardinality, called the class number of the order . Likewise, for a Z[1/p]- O order Λ, the set I(Λ) of all isomorphism classes of finitely generated Λ-modules in F is finite and its cardinality h(Λ) is called the class number of Λ. If F is a number field, there is a maximal order , which is the integral closure OF of Z in F , and wich contains any other order in F . The same applies in the local situation, if F is a finite extension of Q , the integral closure of Z is a maximal p OF p Zp-order containing any other order. If F is a number field and p is a prime, then F = F Q Q is the product of p-adic fields. We say that an order of F is maximal p ⊗ p O at p, if Z Z is the maximal order of F . O⊗ p p Lemma 2.1. Let F be a number field.

(a) An order in F is maximal at p if and only if = [1/p]. O O OF ∩ O (b) The map ψ : [1/p] is a bijection from the set of all orders in F , which O → O O are maximal at p, to the set of all Z[1/p]-orders in F .

(c) If F is quadratic and if two orders and ′ are isomorphic as rings, then they O O are equal. Further if both orders are maximal at p and [1/p] = ′[1/p] then O ∼ O = ′ as well. O O Proof. (a) Let be maximal at p and let y [1/p]. Now F = n F , O ∈ OF ∩ O p j=1 j,p where each Fj,p is complete in a valuation vj above vp. Now y F,p = p = n ∈ O Q O , where is the valuation ring in F . Then there exists a sequence x j=1 Oj Oj j ν in such that xν converges to y in the product topology of n . As all the Q O j=1 Oj valuations v lie above p, we can assume, by switching to a subsequence if necessary, j Q Ihara zeta functions and class numbers 4 that x y is in divisible by pν. This means that y + pν for every ν − OF ∈ O OF ν N and hence y . For the converse direction assume = [1/p] and let ∈ ∈ O O OF ∩ O x . Then there exists n N such that pnx , which means x [1/p] ∈ OF,p ∈ ∈ Op ∈ Op and therefore x [1/p] = ( [1/p]) = . ∈ OF,p ∩ Op OF ∩ O p Op (b) Part (a) implies injectivity of the map ψ. For surjectivity, let Λ be a Z[1/p]-order in F and let denote the maximal order in F , then = Λ is an order in F OF O OF ∩ which is maximal at p by (a) and which has the property that [1/p] = Λ. O (c) A given isomorphism φ : ′ of orders in F lifts to a Galois-isomorphism O → O F F , but any order of a quadratic field F is of the form Z[nα] for some n N, → ∈ where α = (d + √d)/2 and d is the discriminant of F . Form this description one sees that any order is stable under the only non-trivial Galois homomorphism √d 7→ √d. Hence = ′. Also, if [1/p] = ′[1/p] then, as is the integral closure of − O O O ∼ O O Z in [1/p], it follows that = ′. O O ∼ O Let D denote a division algebra over Q [Pie82] of dimension d2, where d is a prime number, and let D(Z) denote a fixed maximal order in D. Note that all maximal orders in D are conjugate [Rei03]. For any ring R we define

D(R)= D(Z) Z R. ⊗ Then D(Q) is canonically isomorphic to D. We write D(R)× for the unit group and D(R)1 for the group of all units of reduced norm one. The reduced norm induces an isomorphism × 1 × D(R) /D(R) ∼= R . Q Q Q For almost all prime numbers p, one has D( p) ∼= Md( p), where p is the field of p-adic numbers and M (K) denotes the algebra of d d-matrices over a field d × K, [Pie82]. We include the case p = in which we write Qp = Q∞ = R. If Q Q ∞ Q D( p) ∼= Md( p), we say that D splits at p. If D doesn’t split at p, then D( p) is a division algebra over Qp. Let S be the finite set of all primes, at which D doesn’t split.

Lemma 2.2. Let A D be a Q-subalgebra. Then the dimension of A is 1,d or ⊂ d2. In the first case A = Q, in the last A = D. In the remaining case A is a field extension of Q of degree d, such that every p S is non-decomposed in A, i.e., there ∈ is only one prime of A above p. Further, if D(R) is a division algebra, which can only happen for d = 2, then the field A is imaginary quadratic. Every number field of degree d satisfying these conditions occurs as a subalgebra of D. If d = 2 and S contains a prime l 1 mod (3) and a prime m 1 mod (4), then ≡ ≡ the only torsion elements of the group D(Q)× are the elements 1. ± If the set S satisfies the condition of the second part of the lemma, we say that the primes 2 and 3 decompose in D. Ihara zeta functions and class numbers 5

Proof. The first part of the lemma is standard. It can be pieced together from the information in Pierce’s book [Pie82]. A proof for d 3, which also works for d = 2 ≥ can be found in [Dei02], Lemma 2.1. For the second part let d = 2 and let a D(Q)× . If a Q, then a = 1 and we are ∈ tors ∈ ± done. Otherwise, the centralizer F of a in D(Q) is a quadratic number field. Now note that the only quadratic fields that admit non-tivial roots of unity are Q(i) and Q(√ 3), where the torsion elements are the 4th and 6th roots of unity respectively. − These two fields are the only quadratic cyclytomic fields. We have to make sure that the conditions on S imply that these two fields do not embed into D. Any prime l 1 mod (3) is decomposed in the cyclotomic field Q(√ 3) by Proposition 8.5 in ≡ − [Neu99]. Any prime m 1 mod (4) is decomposed in the Gaussian number field ≡ Q(i) by Theorem 1.4 in [Neu99]. From this the claim follows.

Let p be a prime not in S. Let F/Q be a number field of degree d which embeds into D(Q). Then for any embedding σ : F ֒ D(Q) the set → −1 Λσ = σ (D(Z[1/p])) is a Z[1/p]-order in F . Lemma 2.3. Let p be a prime not in S. Let σ : F ֒ D(Q) be an embedding of → the degree d number field F . Then for any l S, the order Λ = Λ Z ∈ σ,l σ ⊗Z[1/p] l is maximal in the local field F . Conversely, let Λ F be a Z[1/p]-order such that l ⊂ for any l S the order Λ is maximal, then there exists an embedding σ such that ∈ l Λ = Λσ.

Proof. Let = σ−1 (D(Z)), then is an order in F with [1/p] = Λ . Note Oσ Oσ O σ that Λ = Z Z , since p is a unit in Z . The lemma follows from the analogous σ,l Oσ ⊗ l l assertions for as in Lemma 2.2 of [Dei02]. O

For a given degree d number field F which embeds into D(Q), let Sin(F ) be the set of all l S which are inert in F . Define the S-inertia degree by ∈ |Sin(F )| fS(F )= fl(F ) = 2 , Yl∈S where fl(F ) is the inertia degree of l in F . For any order Λ of F let

fS(Λ) = fS(F ).

Let Λ be a Z[1/p]-order in F , which is maximal at all l S. By Lemma 2.3 there ∈ × exists an embedding σ : F D(Q) such that Λ = Λσ. Let u D(Z[1/p]) and let u → u −1 ∈ σ be the embedding given by σ(x) = uσ(x)u . Then Λuσ = Λσ, so the group × D(Z[1/p]) acts on the set Σ(Λ) of all σ with Λσ = Λ. Lemma 2.4. The quotient Σ(Λ)/D(Z[1/p])× is finite and has cardinality

× Σ(Λ)/D(Z[1/p]) = fS(Λ)h(Λ).

Ihara zeta functions and class numbers 6

Further one has 1 Σ(Λ)/D(Z[1/p]) = dp(Λ)fS(Λ)h(Λ), where 1 p N(Λ), dp(Λ) = ∈ (d otherwise. xxx Compare Lemma 2.3 in [Dei02].

Proof. Fix an embedding F ֒ D(Q) and consider F as a subfield of D(Q) such → that Λ = F D(Z[1/p]). For u D(Q)× let ∩ ∈ Λ = F u−1D(Z[1/p])u. u ∩ Let U be the set of all u D(Q)× such that Λ = Λ, i.e., ∈ u F D(Z[1/p]) = F u−1D(Z[1/p])u. ∩ ∩ Then F × acts on U by multiplication from the right and D(Z[1/p])× acts by multi- plication from the left. One has

D(Z[1/p])× U/F × = D(Z[1/p])× Σ(Λ) . | \ | | \ | So we have to show that the left hand side equals f (Λ)h(Λ). For u U let S ∈ I = F D(Z[1/p])u. u ∩

Then Iu is a finitely generated Λ-module in F . We claim that the map

ψ : D(Z[1/p])× U/F × I(Λ)/F ×, \ → u I 7→ u is surjective and h(Λ) to one. We show this by localization and strong approximation. For any prime l = p let U be the set of all u D(Q ) such that Λ = F D(Z )= 6 l l ∈ l l l ∩ l F u−1D(Z )u . We have to show the following: l ∩ l l l (a) For l / S, the localized map ψ : D(Z )× U /F × I( )/F × is injective, ∈ l l \ l l → Ol l (b) for l S, the map ψ is f (F ) to one, ∈ l l (c) the map ψ is surjective.

For (a) let l / S, u , v U and assume ∈ l l ∈ l F D(Z )u = F D(Z )v . l ∩ l l l ∩ l l −1 × Let zl = vlul . Elementary divisor theory implies that there exist x,y D(Zl) = × ∈ Md(Zl) such that k1 k2 zl = xdiag(l , l )y Ihara zeta functions and class numbers 7 holds, where k k . Replacing u by yu and v by x−1v we may assume that z 1 ≤ 2 l l l l l equals the diagonal matrix. The assumptions then imply k1 =0= k2, which gives the first claim. For (b) let l S and recall that F is a local field, so h(Λ ) = 1. ∈ l l Hence the claim is equivalent to D(Z )× D(Q )×/F × = f (F ). | l \ l l | l Taking the l-valuation of the reduced norm, one sees that the left hand side equals 2 if Fl is unramified over Ql and 1 otherwise, i.e., it equals the inertia degree fl(F ) as claimed. Finally, for the surjectivity of ψ let I Λ be an ideal. We show that there is ⊂ u D(Q)× such that ∈ F u−1D(Z[1/p])u = F D(Z[1/p]) ∩ ∩ and I = I = F D(Z[1/p])u. u ∩ We do this locally. First note that, since I is finitely generated, there is a finite set T of primes with T S = and p / T such that for any l / T S the completion ∩ ∅ ∈ ∈ ∪ I equals Λ which is the maximal order of F . For these l setu ˜ = 1. Next let l S l l l l ∈ and write vl for the unique place of F over l. Then Λl is maximal, so is the valuation k ring to vl and Il = πl l for some k 0, where πl is a uniformizer at vl. In this case k O ≥ setu ˜l = πl . Next let l T . Then D(Z ) = M (Z ). Let Λ = Λ /lΛ and I = I /lI . Then ∈ l d l l l l l l l Λl is a commutative algebra over the field Fl with l elements, which implies that s F Λl ∼= i=1 Fi, where each Fi is a finite field extension of l. Let ni be its degree. .(Then there is an embedding Λl ֒ Md(Fl) whose image lies in Mn1 (Fl) Mns (Fl L → ×···× −1 By the Skolem-Noether Theorem there is a matrix S GL (F ) such that S Λ S ∈ d l l ⊂ M (F ) M (F ). The Λ -ideal I must be of the form n1 l ×···× ns l l l s Il = εiFi, Mi=1 where ε 0, 1 . Let S be a matrix in GL (Z ) which reduces to S modulo l and i ∈ { } d l letu ˜ = S−1(lε1 Id lns Id )S in M (Z ). By abuse of notation we also write l n1 ×···× ns d l u˜l for its reduction modulo l. Then we have I = Λ M (F )˜u . l l ∩ d l l Let I = F D(Z )˜u . u˜l ∩ l l Then it follows that I I = I /lI l ∼= u˜l u˜l u˜l and by Theorem 18.6 of [Pie82] we get that I I , which implies that there is l ∼= u˜l some λ F with I = I λ. Replacingu ˜ byu ˜ λ and settingu ˜ = (˜u ) D(A ) we ∈ l l u˜l l l l l ∈ fin get I = F D(Z[1/p])˜u. ∩ Ihara zeta functions and class numbers 8

By strong approximation there is an element u D(Q)× such that D(Zˆ)u = D(Zˆ)˜u ∈ and therefore I = Iu.

3 The zeta function

We now restrict to the case d = 2, so D is a quaternion division algebra over Q, and we assume that the primes 2 and 3 decompose in D. We further assume that D does not split at . For any ring R we write det : D(R) R for the reduced ∞ → norm. Note that this convention is compatible with the determinant, as for every field F , over which D splits, the reduced norm equals the determinant. We want to construct a group scheme over Z such that (F ) = D(F )×/F × holds for every G G field. For this recall that we have fixed a maximal order D(Z) in D. Note that D(Z) is a free Z-module of rank 4. Let v1, . . . v4 be a basis and note that the reduced norm det(X1v1 + + X4v4) is a homogeneous polynomial of degree 2 in the variables · · · × X1,...,X4. The group scheme D is given by the coordinate ring

× = Z[X , X , X , X ,Y ]/ (det(X v + + X v )Y 1) . OD 1 2 3 4 1 1 · · · 4 4 − Now GL acts on × by 1 OD −2 αf(X1, X2, X3, X4,Y )= f(αX1, αX2, αX3, αX4, α Y ) and the coordinate ring we need is the ring of invariants

GL1 = ( × ) , OG OD which is the subring generated by the elements X X Y with 1 i j 4. i i ≤ ≤ ≤ Lemma 3.1. The ring is the coordinate ring of an affine group scheme over OG G Z such that for every factorial ring R one has

(R)= D(R)×/R×. G Proof. The first claim is clear. We prove the second first in case of a field. Consider the exact sequence of group schemes

1 GL D× 1. → 1 → →G→ For any field K this gives an exact sequence of groups

1 GL (K) D(K)× (K) H1(K, GL ), → 1 → → G → 1 where the last item is the Galois-cohomology, which vanishes by Hilbert’s Theorem 90. This implies the claim for fields. Now let R be a factorial ring, so R is integral and has unique factorization. Write K for its quotient field and let χ (R), so χ ∈ G is a ring homomorphism from to R. By the first part of the proof, χ extends to OG Ihara zeta functions and class numbers 9

a ring homomorphismχ ˜ : × K. We show that this lift can be modified so as OD → to have values in R. For 1 i 4 we have ≤ ≤ χ˜(x)2χ˜(y)= χ(x2y) R. ∈

If p is an irreducible in R which divides the denominator of, say, χ(x1), we replace 1 anyχ ˜(xi) by pχ˜(xi) andχ ˜(y) by p2 χ˜(y) without changing χ, so we can assumeχ ˜(x1) to lie in R. We repeat this with x2 and so on. Now ifχ ˜(y) does not lie in R there must be an irreducible p dividing its denominator. But as the product is in R, p also 2 1 2 dividesχ ˜(xi) henceχ ˜(xi). So we can replaceχ ˜(xi) by p χ˜(xi) andχ ˜(y) by p χ˜(xi) and by repeating this procedure we arrive atχ ˜(xi) andχ ˜(y) both lying in R.

We set Γ = (Z[1/p]). By Theorem 3.2.4 in [Mar91], the group Γ is a uniform lattice G in G = (Q ) = PGL (Q ), i.e., Γ is a discrete subgroup of G such that Γ G is G p ∼ 2 p \ compact.

Lemma 3.2. The group Γ is torsion-free.

Proof. Γ is a subgroup of D(Q)×/Z[1/p]× which has no torsion elements by Lemma 2.2.

Keep the prime p / S fixed and let Y be the Bruhat-Tits of G = (Q ). ∈ G p Then Y is a regular tree of valency p + 1, [Ser03]. The group Γ acts freely and discontinuously on the contractible space Y , so Γ is the fundamental group of the finite graph X =Γ Y . \ Lemma 3.3. No element γ = 1 of Γ is conjugate to its inverse. 6 Proof. As Γ is the fundamental group of the graph X, its conjugacy classes are in bijection with the homotopy class of loops S1 X. Not non-trivial loop in a graph → is homotopic to its inverse.

Every element γ Γ r 1 closes a geodesic on X, the length of which equals ∈ { } l(γ) = min d(γy,y), y∈Y where the minimum is taken over all vertices y in the tree Y and d(γy,y) is the graph distance. Consider γ as an element of G = PGL2(Qq). A Zq-lattice in 2 2 Qq is a finitely generated Zp-submodule which generates Qq as a Qq-vector space. × The multiplicative group Qp acts on the set of all Zp-lattices by multiplication. × The vertices of the tree Y can be identified with the set of Qp -orbits of lattices. Two lattice classes [L] and [L′] are connected by an edge if and only if there are representatives with pL L′ L. It follows that the graph distance between two ⊂ ⊂ lattice classes [L] and [L′] is the smallest k N such that there are representatives ∈ 0 with pkL L′ L. So let γ Γ and let L be a lattice such that l(γ)= d(γ[L], [L]). ⊂ ⊂ ∈ So we can assume that γ is represented by an elementγ ˜ D(Z[1/p])× GL (Q ), ∈ ⊂ 2 p Ihara zeta functions and class numbers 10 such that pl(γ)L γL˜ L. By elementary divisor theory there exists a basis e , e ⊂ ⊂ 1 2 of L such that L = Z e Z e andγL ˜ = Z e pl(γ)Z e . In other words, there p 1 ⊕ p 2 p 1 ⊕ p 2 are A, B GL (Z ) such that ∈ 2 p 1 γ˜ = A B. pl(γ)   Or, again in other words, with F being the centralizer ofγ ˜ in D(Q) and denoting γ Oγ the order F D(Z) we get that N (˜γ) = pl(γ)m with m coprime to p. On the γ ∩ Fγ /Q other hand, asγ ˜ ×, its norm needs to be in Z[1/p]× and so m = 1 and as F is ∈ Oγ ± imaginary quadratic, finally m = 1. An element γ of Γ is called primitive, if γ = σn for γ Γ and n N implies n = 1. ∈ ∈ Note that every element γ = 1 of Γ is a positive power of a unique primitive element. 6 From the above it follows that if γ is primitive, then

l(γ) = min k N : pk N ( rQ) , { ∈ ∈ F/Q Oγ }

Note that if F is a quadratic subfield of D(Q), then F Q R injects into the division ⊗ algebra D(R), which implies that F is an imaginary quadratic field. Let L(S) be the set of isomorphy classes of Z[1/q]-orders Λ in imaginary quadratic fields F , such that every p S is non-decomposed in F and Λ is maximal at every ∈ p S. We just found a natural map ∈ Ψ:Γ/conjugation L(S) → given by ψ(γ) = Λγ . For a given Z[1/q]-order Λ in F let = Λ and let OΛ ∩ OF l (Λ) = min l N : ql N ( rZ) , q { ∈ ∈ F/Q OΛ } where the minimum of the empty set is + and N is the norm map. ∞ F/Q Lemma 3.4. The image of the map Ψ consists of all classes [Λ] L(S) with l (Λ) < ∈ q . Each such class [ ] in L(S) has ∞ O

2fS(Λ)h(Λ) many preimages.

Proof. Let [Λ] be a class in L(S) with l (Λ) < . We can assume that Λ = q ∞ F D(Z[1/q]) = (F D(Z))[1/q]. By Lemma 2.4, any given Z[1/q]-order Λ comes ∩ ∩ about in this way with fS(Λ)h(Λ) many different embeddings up to conjugacy, each embedding gives two generators γ and γ−1, which are not conjugate, therefore we get the claimed number of preimages. Ihara zeta functions and class numbers 11

Theorem 3.5. Let ∆ be the greatest common divisor of the numbers l (Λ) as p O ranges over L(S). Then one has

p∆m f (Λ)h(Λ) S ∼ 2m Λ∈XL(S) lp(Λ)=∆m as m . →∞ Proof. With Lemma 3.4 the theorem follows from the prime geodesic theorem as in Section 2.7 of [Ter11].

References

[AG12] Muharem Avdispahi´cand Dˇzenan Guˇsi´c, On the error term in the prime geodesic theorem, Bull. Korean Math. Soc. 49 (2012), no. 2, 367–372, DOI 10.4134/BKMS.2012.49.2.367. [Bas92] Hyman Bass, The Ihara-Selberg zeta function of a tree lattice, Internat. J. Math. 3 (1992), no. 6, 717–797. [Bor69] , Introduction aux groupes arithm´etiques, Publications de l’Institut de Math´ematique de l’Universit´ede Strasbourg, XV. Actualit´es Scientifiques et Industrielles, No. 1341, Hermann, Paris, 1969. [Dei02] Anton Deitmar, Class numbers of orders in cubic fields, J. Number Theory 95 (2002), no. 2, 150–166. [Dei04] A. Deitmar, A prime geodesic theorem for higher rank spaces, Geom. Funct. Anal. 14 (2004), no. 6, 1238–1266, DOI 10.1007/s00039-004-0490-7. [DH05] Anton Deitmar and Werner Hoffmann, Asymptotics of class numbers, Invent. Math. 160 (2005), no. 3, 647–675, DOI 10.1007/s00222-004-0423-y. [DP08] Anton Deitmar and Mark Pavey, A prime geodesic theorem for SL4, Ann. Global Anal. Geom. 33 (2008), no. 2, 161–205, DOI 10.1007/s10455-007-9078-4. [Iha66a] Yasutaka Ihara, On discrete subgroups of the two by two over p-adic fields, J. Math. Soc. Japan 18 (1966), 219–235.

[Iha66b] , Discrete subgroups of PL(2, k℘), Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Amer. Math. Soc., Providence, R.I., 1966, pp. 272–278. [HH89] Ki-ichiro Hashimoto and Akira Hori, Selberg-Ihara’s zeta function for p-adic discrete groups, Automorphic forms and geometry of arithmetic varieties, Adv. Stud. Pure Math., vol. 15, Academic Press, Boston, MA, 1989, pp. 171–210. [Has89] Ki-ichiro Hashimoto, Zeta functions of finite graphs and representations of p-adic groups, Automorphic forms and geometry of arithmetic varieties, Adv. Stud. Pure Math., vol. 15, Academic Press, Boston, MA, 1989, pp. 211–280. [Has90] , On zeta and L-functions of finite graphs, Internat. J. Math. 1 (1990), no. 4, 381–396. [Has92] , Artin type L-functions and the density theorem for prime cycles on finite graphs, Internat. J. Math. 3 (1992), no. 6, 809–826. [Has93] , Artin L-functions of finite graphs and their applications, S¯urikaisekikenky¯usho K¯oky¯uroku 840 (1993), 70–81 (Japanese). Algebraic (Japanese) (Kyoto, 1992). [Hej76] Dennis A. Hejhal, The Selberg trace formula for PSL(2, R). Vol. I, Lecture Notes in Math- ematics, Vol. 548, Springer-Verlag, Berlin-New York, 1976. Ihara zeta functions and class numbers 12

[KH95] Anatole Katok and Boris Hasselblatt, Introduction to the modern theory of dynamical systems, Encyclopedia of Mathematics and its Applications, vol. 54, Cambridge University Press, Cambridge, 1995. With a supplementary chapter by Katok and Leonardo Mendoza. [KS00] Motoko Kotani and , Zeta functions of finite graphs, J. Math. Sci. Univ. Tokyo 7 (2000), no. 1, 7–25. [Mar91] G. A. Margulis, Discrete subgroups of semisimple Lie groups, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer-Verlag, Berlin, 1991. [Neu99] J¨urgen Neukirch, Algebraic number theory, Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin, 1999. Translated from the 1992 German original and with a note by Norbert Schap- pacher; With a foreword by G. Harder. [Pie82] Richard S. Pierce, Associative algebras, Graduate Texts in Mathematics, vol. 88, Springer- Verlag, New York-Berlin, 1982. Studies in the History of Modern Science, 9. [Rei03] Irving Reiner, Maximal orders, London Mathematical Society Monographs. New Series, vol. 28, The Clarendon Press, Oxford University Press, Oxford, 2003. Corrected reprint of the 1975 original; With a foreword by M. J. Taylor. [Sar82] , Class numbers of indefinite binary quadratic forms, J. Number Theory 15 (1982), no. 2, 229–247, DOI 10.1016/0022-314X(82)90028-2. [Ser03] Jean-Pierre Serre, Trees, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. Translated from the French original by John Stillwell; Corrected 2nd printing of the 1980 English translation. [SY13] K. Soundararajan and Matthew P. Young, The prime geodesic theorem, J. Reine Angew. Math. 676 (2013), 105–120. [ST96] H. M. Stark and A. A. Terras, Zeta functions of finite graphs and coverings, Adv. Math. 121 (1996), no. 1, 124–165, DOI 10.1006/aima.1996.0050. [ST00] , Zeta functions of finite graphs and coverings. II, Adv. Math. 154 (2000), no. 1, 132–195, DOI 10.1006/aima.2000.1917. [TS07] A. A. Terras and H. M. Stark, Zeta functions of finite graphs and coverings. III, Adv. Math. 208 (2007), no. 1, 467–489, DOI 10.1016/j.aim.2006.03.002. [Sun86] Toshikazu Sunada, L-functions in geometry and some applications, Curvature and topology of Riemannian manifolds (Katata, 1985), Lecture Notes in Math., vol. 1201, Springer, Berlin, 1986, pp. 266–284. [Sun88] , Fundamental groups and Laplacians, Geometry and analysis on manifolds (Katata/Kyoto, 1987), Lecture Notes in Math., vol. 1339, Springer, Berlin, 1988, pp. 248– 277. [Ter11] , Zeta functions of graphs, Cambridge Studies in Advanced Mathematics, vol. 128, Cambridge University Press, Cambridge, 2011. A stroll through the garden.

Mathematisches Institut Auf der Morgenstelle 10 72076 T¨ubingen Germany [email protected]