Counting Primes, Groups, and Manifolds
Total Page:16
File Type:pdf, Size:1020Kb
Counting primes, groups, and manifolds Dorian Goldfeld*, Alexander Lubotzky†‡, Nikolay Nikolov§, and La´ szlo´ Pyber¶ *Department of Mathematics, Columbia University, New York, NY 10027; †Einstein Institute of Mathematics, Hebrew University, Jerusalem 91904, Israel; §Tata Institute for Fundamental Research, Colaba, Mumbai 400005, India; and ¶A. Re´nyi Institute of Mathematics, Rea´ltanoda u. 13-15, H-1053, Budapest, Hungary Communicated by Hyman Bass, University of Michigan, Ann Arbor, July 9, 2004 (received for review April 1, 2004) ⌫ ⌳ ޚ ؍⌳ Let SL2( ) be the modular group and let cn( ) be the number and, moreover, the sequence sn( ) has much faster growth (at of congruence subgroups of ⌳ of index at most n. We prove that least nlog n) if the congruence subgroup property fails for G. ⌫ ͞ ͌ ؊ ؍ 2͞ ͞ ⌳ limn3ؕ (log cn( ) ((log n) log log n)) (3 2 2) 4. The proof is Below we determine the precise rate of growth of cn( ). (All based on the Bombieri–Vinogradov ‘‘Riemann hypothesis on the logarithms are in base e.) average’’ and on the solution of a new type of extremal problem Let X be the Dynkin diagram of the split form of G (e.g., X ϭ ϭ in combinatorial number theory. Similar surprisingly sharp esti- An-1 if G SUn). Let h be the Coxeter number of the root system mates are obtained for the subgroup growth of lattices in higher ⌽ corresponding to X (it is the order of the Coxeter element of ͉⌽͉ rank semisimple Lie groups. If G is such a Lie group and ⌫ is an the Weyl group of X). Then h ϭ ⁄l, where l ϭ rankރ(G) ϭ irreducible lattice of G it turns out that the subgroup growth of ⌫ rank(X), and for later use define R :ϭ h͞2. Let is independent of the lattice and depends only on the Lie type of ͑ͱ ͑ ϩ ͒ Ϫ ͒2 the direct factors of G. It can be calculated easily from the root h h 2 h ␥͑G͒ ϭ . system. The most general case of this result relies on the Gener- 4h2 alized Riemann Hypothesis, but many special cases are uncondi- tional. The proofs use techniques from number theory, algebraic Let GRH denote the Generalized Riemann Hypothesis groups, finite group theory, and combinatorics. (GRH) for Artin–Hecke L functions of number fields as stated in ref. 4. The GRH implies, in particular: Let k be a Galois number field of degree d over the rationals and let q be a prime n this announcement we present several results about counting such that the cyclotomic field of q-th roots of unity is disjoint primes, counting groups, and counting Riemmanian mani- I from k. Denote by (x, q) the number of primes p with p Յ x, folds, and we explore the connections between them. k p ϵ 1(mod q) and p splits completely at k. Then Statement of Results x 1 ͯ ͑ ͒ Ϫ ͯ Ͻ 2 Arithmetic Groups. Let n be a large integer, ⌫ a finitely generated k x, q Cx log x log q d͑q͒ log x group, and M a Riemannian manifold. Denote by (n) the Յ ⌫ ⌫ number of primes n, sn( ) is the number of subgroups of of for some constant C ϭ C(k) Ͼ 0 depending only on k (a more index at most n and bn(M) is the number of covers of M of degree precise bound is given in ref. 5). at most n. The aim of this article is to announce results that show The lower bound for the limit in the Theorem 1 below was that, in some circumstances, these three seemingly unrelated proved in ref. 3 and the upper bound in ref. 6. functions are very much connected. This connection emerges, for example, when ⌫ is an arithmetic group, in which case it is also Theorem 1. Let G, ⌫, and ␥(G) be as defined above. Assuming GRH the fundamental group of a suitable locally symmetric finite we have ⌫ volume manifold M. The studies of sn( ) and bn(M) are then ⌫ log c ͑⌫͒ almost the same. Moreover, if has the congruence subgroup n ϭ ␥͑ ͒ ⌫ lim ͑ ͒2͞ G , property, then estimating sn( ) boils down to counting congru- n3ϱ log n log log n ence subgroups of ⌫. The latter is intimately related to the classical problem of counting primes. To present our results we and, moreover, this result is unconditional if G is of inner type (e.g., need more notation. G splits) and k is either an abelian extension of ޑ or a Galois Let G be an absolutely simple, connected, simply connected extension of degree Ͻ42. algebraic group defined over a number field k. For a finite subset An interesting aspect of Theorem 1 is not only that the limit S of valuations of k, including all the archimedean ones, let OS exists but that it is completely independent of k and S and ⌫ϭ denote the ring of S-integers of k and set G(OS). A subgroup depends only on G. Although the independence on S is a minor H Յ ⌫ is called a congruence subgroup if there is some ideal point and can be proved directly, the only way we know to prove k I “ OS such that H contains the kernel of the homomorphism the independence on is by applying the whole machinery of the ⌫ 3 G(O ͞I). proof. S ⌫ϭ ⌫ In ref. 3 the crucial special case of SL2(OS) is proved in Let cn( ) denote the number of congruence subgroups of full. There, we have ␥(SL ) ϭ 1 (3 Ϫ 2͌2). The lower bound index at most n in ⌫. The counting of congruence subgroups 2 4 in arithmetic groups has already played a role in the proof of follows using the Bombieri–Vinogradov Theorem (7) and the one of the main results of the theory of subgroup growth: A upper bound by a massive new combinatorial analysis. finitely generated, residually finite group ⌫ has polynomial ⌫ ϭ O(1) ⌫ Lattices. Let H be a connected characteristic 0 semisimple group. subgroup growth [i.e., sn( ) n ] if and only if is virtually r By this we mean that H ϭ⌸ ϭ G (K ), where for each i, K is solvable of finite rank (ref. 1 and references therein). That i 1 i i i a local field of characteristic 0, and G is a connected simple theorem required only a weak lower bound on the number i congruence subgroups. In ref. 2, Lubotzky proved a more precise result: there exist numbers a, b depending on G, k, and Abbreviation: GRH, Generalized Riemann Hypothesis. S, such that ‡To whom correspondence should be addressed. E-mail: [email protected]. a log n b log n The lower bound depended on GRH at the time but was made unconditional in ref. 3. log log n Յ ͑⌫͒ Յ log log n n cn n , © 2004 by The National Academy of Sciences of the USA 13428–13430 ͉ PNAS ͉ September 14, 2004 ͉ vol. 101 ͉ no. 37 www.pnas.org͞cgi͞doi͞10.1073͞pnas.0404571101 Downloaded by guest on September 28, 2021 ޒ algebraic group over Ki. We assume throughout that none of the Problem. Estimate mn(X) for the case of H having -rank equal to Ն ⌫ ϭ factors Gi(Ki) is compact (so that rankKi(Gi) 1). Let be an one. For H SO(n, 1) the results of ref. 12 suggest that irreducible lattice of H; i.e., for every infinite normal subgroup ͑ ͒ N of H the image of ⌫ in H͞N is dense there. log mn H lim Assume now that n3ϱ log n! r may exist, but we do not have any clue what it could be. ͑ ͒ ϭ ͑ ͒ Ն rank H : rankKi Gi 2. iϭ1 Proofs The Lower Bound. We shall illustrate the main idea of the proof By Margulis’ Arithmeticity Theorem (8) every irreducible lattice with ⌫ϭSL (ޚ) and refer to ref. 3 for the full details. ⌫ d in H is arithmetic. Also the split forms of the factors Gi of H Choose any ⑀(0, 1). For x ϾϾ 0 and a prime q Ͻ x, let ␥ ϭ ␥ 2 are necessarily of the same type and we set (H): (Gi). P(x, q) be the set of primes p Յ x, such that p ϵ 1 mod q. Let Moreover, a famous conjecture of Serre (9) asserts that such a ϭ ͉ ͉ ϭ ¥ ⌫ L(x, q) P(x, q) and M(x, q) pʦP(x, q) log p. Then the group has the (modified) congruence subgroup property. It has Bombieri–Vinogradov Theorem (7) ensures the existence of a been proved in many cases. This enables us to prove Theorem 2. prime q ⑀ (xp͞log x, x) such that Theorem 2. Assuming GRH and Serre’s conjecture, then for every x x noncompact higher rank characteristic 0 semisimple group H and L͑x, q͒ ϭ ϩ Oͩ ͪ ; ͑q͒ log x ͑q͒͑log x͒2 every irreducible lattice ⌫ in H the limit ͑⌫͒ x x log sn ͑ ͒ ϭ ϩ ͩ ͪ M x, q ͑ ͒ O ͑ ͒͑ ͒2 . lim ͑ ͒2͞ q q log x n3ϱ log n log log n Put L :ϭ L(x, q) and M :ϭ M(x, q). exists and equals ␥(H); i.e., it is independent of the lattice ⌫. By strong approximation (compare ref. 1, window 9), ⌫ maps Moreover the above result holds unconditionally if H is a simple ϭ⌸ ކ ރ ⌫ onto GP : pP(x,q) SLd( p).