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

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≥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.