Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

1. Problématique et Contexte

Le papier s'attaque au problème fondamental de la théorie spectrale des surfaces hyperboliques de surface infinie, spécifiquement concernant les écarts spectraux (spectral gaps) pour les revêtements de congruence de groupes "minces" (thin groups).

• Contexte classique : Pour le groupe modulaire $SL_2(\mathbb{Z})$, le théorème de Selberg établit que le premier eigenvalue non nul $\lambda_1$ du laplacien sur les revêtements de congruence est borné inférieurement par $3/16$. La conjecture de Selberg postule que $\lambda_1 \ge 1/4$.
• Cas des groupes minces : Lorsque $\Gamma$ est un sous-groupe d'indice infini de $SL_2(\mathbb{Z})$ (un groupe mince), la surface $X = \Gamma \backslash \mathbb{H}^2$ a une aire infinie. Le spectre $L^2$ est alors très différent : il n'y a pas de spectre continu en dessous de $1/4$, et le spectre ponctuel est fini. Si la dimension de Hausdorff $\delta$ de l'ensemble limite de $\Gamma$ est supérieure à $1/2$, le plus petit eigenvalue est $\lambda_0 = \delta(1-\delta)$.
• Objectif : Établir un écart spectral explicite et uniforme pour les revêtements de congruence de Hecke $X_0(p) = \Gamma_0(p) \backslash \mathbb{H}^2$ de tels groupes, en particulier pour les groupes de Schottky arithmétiques. Les résultats précédents (Gamburd, Bourgain-Gamburd-Sarnak) garantissaient l'existence d'un écart mais ne fournissaient pas de constantes explicites ou dépendaient de paramètres non calculables.

2. Méthodologie

L'auteur combine des outils d'analyse spectrale géométrique, de théorie des groupes libres et d'analyse numérique (théorie des nombres).

A. Outils Géométriques et Spectraux

• Groupes de Schottky : Le papier se concentre sur les groupes de Schottky $\Gamma \subset SL_2(\mathbb{Z})$, dont la construction géométrique simple (via des disques disjoints) permet un contrôle précis des opérateurs de transfert.
• Fonction Zêta de Selberg Tordue : Les nouvelles valeurs propres (celles qui apparaissent dans le revêtement $X_0(p)$ mais pas dans $X$) correspondent aux zéros de la fonction zêta de Selberg tordue $Z_\Gamma(s, \lambda_p^0)$, où $\lambda_p^0$ est la représentation induite non triviale.
• Opérateurs de Transfert Raffinés : Au lieu d'utiliser l'opérateur de transfert standard, l'auteur utilise les opérateurs de transfert raffinés ($L_{\tau, s, \rho}$) introduits par Dyatlov et Zworski. Ces opérateurs dépendent d'un paramètre de "résolution" $\tau$. Une propriété clé est que les zéros de la fonction zêta raffinée $\zeta_\tau(s, \rho) = \det(1 - L_{\tau, s, \rho}^2)$ coïncident avec ceux de la fonction zêta originale dans la région critique.

B. Stratégie d'Estimation

L'objectif est de borner le nombre de zéros $N_p(\sigma)$ de la fonction zêta dans l'intervalle $[\sigma, \delta]$.

1. Formule de Jensen : Le nombre de zéros est estimé via la formule de Jensen appliquée à la fonction zêta raffinée, ce qui ramène le problème à l'estimation de la norme de Hilbert-Schmidt $\|L_{\tau, s, \lambda_p^0}\|_{HS}$.
2. Somme sur les nombres premiers : Au lieu d'estimer la norme pour un seul premier $p$ (ce qui est difficile), l'auteur somme les carrés des normes sur un intervalle de nombres premiers $p \sim x$ (c'est-à-dire $x/2 < p \le x$).
3. Réduction aux sommes de caractères : En utilisant une formule explicite pour la norme de Hilbert-Schmidt (Lemme 2.4), la somme se réduit à l'estimation de sommes de traces de la représentation $\lambda_p^0$ :
   $$\sum_{p \sim x} \text{tr}(\lambda_p^0(\gamma))$$
   Pour $\gamma \in \Gamma$ non trivial modulo $p$, le Lemme 3.6 montre que cette trace est égale au symbole de Kronecker $\left(\frac{d(\gamma)}{p}\right)$, où $d(\gamma) = \text{tr}(\gamma)^2 - 4$.

C. Hypothèse de Riemann Généralisée (GRH)

L'estimation finale repose crucialement sur l'hypothèse de Riemann généralisée (GRH) pour les fonctions $L$ quadratiques.

• La somme $\sum_{p \sim x} \log(p) \left(\frac{d}{p}\right)$ est bornée par $O(x^{1/2} \log^2 x)$ sous GRH.
• Sans GRH, les bornes connues pour les sommes de caractères dépendent trop fortement du conducteur (ici $d(\gamma)$ peut être très grand, de l'ordre de $x^4$), rendant les estimations inutiles pour ce problème.

3. Résultats Principaux

Théorème Principal (Théorème 1.4) :
Soit $\Gamma \subset SL_2(\mathbb{Z})$ un groupe de Schottky avec une dimension de Hausdorff $\delta > 3/4$. En supposant la GRH pour les fonctions $L$ quadratiques, alors pour tout $\eta > 0$, il existe un sous-ensemble de densité 1 de nombres premiers $P$ tel que pour tout $p \in P$ :
$$\Omega(X_0(p)) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right] \stackrel{m}{=} \Omega(X) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right]$$
Cela signifie que le spectre de $X_0(p)$ dans cet intervalle est identique à celui de $X$ (pas de nouvelles valeurs propres).

Conséquence sur l'écart spectral :
Le premier eigenvalue "nouveau" $\lambda_1(p)$ satisfait :
$$\lambda_1(p) \ge \left(\frac{5}{6}\delta + \eta\right)\left(1 - (\frac{5}{6}\delta + \eta)\right)$$
Pour $\delta$ proche de 1, cela donne un écart significatif. Plus précisément, le papier établit que le nombre de primes $p \le x$ pour lesquels l'écart n'est pas atteint est borné par $O_\epsilon(x^{1 - \frac{3}{\delta}(\sigma - \frac{5}{6}\delta) + \epsilon})$.

Comparaison avec les travaux antérieurs :

• Gamburd (2003) : Écart de $5/36$ (valide pour $\delta > 5/6$).
• Calderón-Magee (2022) : Écart de $\delta/6 + 2/3$ (valide pour $\delta > 4/5$).
• Soares (Cet article) : Écart de $5\delta/6$ (valide pour $\delta > 3/4$).
  • Puisque $\delta < 1$, on a l'inégalité : $\frac{5}{6}\delta < \frac{\delta}{6} + \frac{2}{3} < \frac{5}{6}$.
  • L'écart obtenu par Soares est donc plus grand (plus proche de la limite supérieure $\delta$) que ceux des travaux précédents, ce qui est un progrès significatif, bien qu'il nécessite l'hypothèse GRH et une condition $\delta > 3/4$.

4. Contributions Clés

1. Explicitation de l'écart : Le résultat fournit une borne explicite pour l'écart spectral, contrairement aux résultats antérieurs qui étaient souvent non-constructifs ou dépendaient de constantes implicites.
2. Extension aux groupes de Schottky : La méthode est adaptée spécifiquement à la structure géométrique des groupes de Schottky, permettant un contrôle fin des opérateurs de transfert.
3. Nouvelle estimation de sommes de caractères : L'article développe une estimation non triviale de la somme des normes de Hilbert-Schmidt sur les premiers, en exploitant la structure de la représentation induite et la GRH pour gérer les conducteurs croissants.
4. Densité des bons premiers : Le résultat ne s'applique pas à tous les premiers, mais à un ensemble de densité 1, avec une estimation quantitative précise du nombre d'exceptions.

5. Signification et Impact

• Théorie des nombres et Dynamique : Ce travail renforce le lien entre la distribution des valeurs propres du laplacien sur les surfaces hyperboliques et la théorie analytique des nombres (sommes de caractères, GRH).
• Applications : Les écarts spectraux explicites sont cruciaux pour des applications en théorie des nombres (problème de l'anneau de Siegel, comptage de points entiers) et en dynamique (taux de mélange pour les flots géodésiques sur les revêtements).
• Limites et Perspectives : La dépendance à la GRH est une contrainte majeure. Le papier note que les bornes inconditionnelles actuelles sur les sommes de caractères sont insuffisantes pour obtenir un résultat similaire sans hypothèse. L'auteur suggère que des méthodes similaires pourraient s'appliquer à d'autres familles de réseaux dans $SL_2(\mathbb{R})$.

En résumé, ce papier représente une avancée majeure dans la compréhension quantitative des spectres des surfaces hyperboliques de type Schottky, offrant les meilleures bornes explicites connues pour les revêtements de congruence, au prix de l'hypothèse de Riemann généralisée.