Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

Linowitz, Benjamin; McReynolds, D.B.; Pollack, Paul; Thompson, Lola

Comptes Rendus. Mathématique, Tome 355 (2017) no. 11, pp. 1121-1126.

En 1992, Reid a demandé si deux 3-variétés hyperboliques partageant le même spectre de longueurs géodésiques sont nécessairement commensurables. Ceci s'avère être vrai quand les variétés sont arithmétiques, mais la question reste ouverte dans le cas non arithmétique. Comme premier pas vers une réponse négative à cette question, Futer et Millichap ont récemment construit un nombre infini de paires de 3-variétés hyperboliques non arithmétiques et non commensurables ayant le même volume et dont les spectres de longueurs commencent avec les mêmes m longueurs géodésiques. Dans le présent article, nous démontrons que ce phénomène est étonnamment commun dans le contexte arithmétique. En particulier, étant donné une 3-variété hyperbolique arithmétique dérivée d'une algèbre de quaternions, un sous-ensemble fini S de son spectre de longueurs géodésiques et un entier $k\ge 2$, nous construisons un nombre infini de k-tuples de 3-variétés hyperboliques arithmétiques qui sont non commensurables deux à deux, ont un spectre de longueurs géodésiques contenant S et dont le volume appartient à un intervalle de longueur bornée (cette borne est, en outre, universelle pour chaque entier k). Notre preuve s'appuie sur un résultat sur les petits écarts entre idéaux premiers d'un corps de nombres appartenant à un ensemble de Chebotarev ; ce résultat généralise un article récent de Thorner.

In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first m geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic setting. In particular, given any arithmetic hyperbolic 3-orbifold derived from a quaternion algebra, any finite subset S of its geodesic length spectrum, and any $k\ge 2$, we produce infinitely many k-tuples of arithmetic hyperbolic 3-orbifolds which are pairwise non-commensurable, have geodesic length spectra containing S, and have volumes lying in an interval of (universally) bounded length. The main technical ingredient in our proof is a bounded gaps result for prime ideals in number fields lying in Chebotarev sets which extends recent work of Thorner.

[1] Borel, A. Commensurability classes and volumes of hyperbolic 3-manifolds, Ann. Sc. Norm. Super. Pisa, Cl. Sci. (4), Volume 8 (1981) no. 1, pp. 1-33 (MR 616899)

[2] Chinburg, T.; Friedman, E. An embedding theorem for quaternion algebras, J. Lond. Math. Soc. (2), Volume 60 (1999) no. 1, pp. 33-44 (MR 1721813)

[3] Chinburg, T.; Hamilton, E.; Long, D.D.; Reid, A.W. Geodesics and commensurability classes of arithmetic hyperbolic 3-manifolds, Duke Math. J., Volume 145 (2008) no. 1, pp. 25-44 (MR 2451288)

[4] Futer, D.; Millichap, C. Spectrally similar incommensurable 3-manifolds, Proc. Lond. Math. Soc., Volume 115 (2017) no. 2, pp. 411-447

[5] Garibaldi, S. Outer automorphisms of algebraic groups and determining groups by their maximal tori, Mich. Math. J., Volume 61 (2012) no. 2, pp. 227-237 (MR 2944477)

[6] Janusz, G.J. Algebraic Number Fields, Grad. Stud. Math., vol. 7, American Mathematical Society, Providence, RI, USA, 1996 (MR MR1362545)

[7] Linowitz, B. Counting problems for geodesics on arithmetic hyperbolic surfaces, Proc. Amer. Math. Soc. (2017) (in press) | DOI

[8] Linowitz, B.; McReynolds, D.B.; Pollack, P.; Thompson, L. Counting and effective rigidity in algebra and geometry (preprint, available at) | arXiv

[9] Maclachlan, C.; Reid, A.W. The Arithmetic of Hyperbolic 3-Manifolds, Grad. Texts Math., vol. 219, Springer-Verlag, New York, 2003 (MR 1937957)

[10] Maynard, J. Small gaps between primes, Ann. of Math. (2), Volume 181 (2015), pp. 383-413 (MR 3272929)

[11] Millichap, C. Mutations and short geodesics in hyperbolic 3-manifolds, Commun. Anal. Geom., Volume 25 (2017) no. 3, pp. 625-683

[12] Prasad, G.; Rapinchuk, A.S. Weakly commensurable arithmetic groups and isospectral locally symmetric spaces, Publ. Math. Inst. Hautes Études Sci., Volume 109 (2009) no. 1, pp. 113-184 (MR 2511587)

[13] Reid, A.W. Isospectrality and commensurability of arithmetic hyperbolic 2- and 3-manifolds, Duke Math. J., Volume 65 (1992) no. 2, pp. 215-228 (MR 1150584)

[14] Reid, A.W. Traces, lengths, axes and commensurability, Ann. Fac. Sci. Toulouse Math. (6), Volume 23 (2014) no. 5, pp. 1103-1118 (MR 3294604)

[15] Sunada, T. Riemannian coverings and isospectral manifolds, Ann. of Math. (2), Volume 121 (1985) no. 1, pp. 169-186 (MR 782558)

[16] Thorner, J. Bounded gaps between primes in Chebotarev sets, Res. Math. Sci., Volume 1 (2014) (16 pages)

[17] Vignéras, M.F. Variétés riemanniennes isospectrales et non isométriques, Ann. of Math. (2), Volume 112 (1980) no. 1, pp. 21-32 (MR 584073)

[18] Zhang, Y. Bounded gaps between primes, Ann. of Math. (2), Volume 179 (2014), pp. 1121-1174 (MR 3171761)