Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria spettrale delle superfici iperboliche e della teoria dei numeri, focalizzandosi sui gruppi sottili (thin groups).

• Contesto: Per i sottogruppi di congruenza di $\text{SL}_2(\mathbb{Z})$ (gruppi di indice finito), il teorema di Selberg garantisce un "gap spettrale" uniforme: il primo autovalore non nullo $\lambda_1$ del laplaciano sulla superficie modulare è limitato inferiormente da $3/16$. Per i gruppi sottili (sottogruppi di indice infinito di $\text{SL}_2(\mathbb{Z})$), la superficie associata ha area infinita e lo spettro è diverso.
• La sfida: Se la dimensione di Hausdorff $\delta$ del limite del gruppo $\Gamma$ è maggiore di $1/2$, esistono autovalori discreti. Il problema aperto è stabilire un gap spettrale esplicito e uniforme per i ricoprimenti di congruenza (in particolare i sottogruppi di Hecke $\Gamma_0(p)$) di queste superfici, indipendentemente dal primo $p$.
• Obiettivo: Dimostrare che, per quasi tutti i primi $p$, gli autovalori "nuovi" (quelli che appaiono nel ricoprimento ma non nella superficie base) sono limitati inferiormente da una costante esplicita che dipende da $\delta$, superando i risultati precedenti che fornivano gap non espliciti o meno forti.

2. Metodologia e Strumenti Matematici

L'autore combina strumenti di geometria iperbolica, teoria degli operatori e teoria analitica dei numeri.

A. Geometria e Operatori di Trasferimento

• Gruppi di Schottky: Il lavoro si concentra su sottogruppi di Schottky $\Gamma \subset \text{SL}_2(\mathbb{Z})$. Questi gruppi sono costruiti tramite dischi disgiunti nel piano complesso e permettono una descrizione combinatoria degli elementi tramite parole ridotte.
• Funzioni Zeta di Selberg Twistate: Gli autovalori del laplaciano sui ricoprimenti sono legati agli zeri della funzione zeta di Selberg twistata $Z_\Gamma(s, \rho)$, dove $\rho$ è una rappresentazione indotta dal sottogruppo di Hecke.
• Operatori di Trasferimento Raffinati: Viene utilizzata la teoria degli operatori di trasferimento (introdotta da Dyatlov-Zworski). Invece dell'operatore standard $L_s$, l'autore utilizza operatori "raffinati" $L_{\tau, s, \rho}$, dipendenti da un parametro di risoluzione $\tau$. Questi operatori accelerano la convergenza e permettono stime più precise.
• Formula di Venkov-Zograf: Permette di decomporre la funzione zeta del ricoprimento in termini della funzione zeta della superficie base e di una funzione twistata associata alla rappresentazione indotta $\lambda_p' = \text{Ind}_{\Gamma_0(p)}^\Gamma(1) \ominus 1_\Gamma$. Gli autovalori "nuovi" corrispondono agli zeri di questa parte twistata.

B. Stima degli Operatori

• Norma di Hilbert-Schmidt: Il numero di zeri (e quindi di autovalori nuovi) in un intervallo $[\sigma, \delta]$ viene stimato utilizzando la formula di Jensen applicata alla funzione zeta raffinata. Questo riduce il problema al calcolo della norma di Hilbert-Schmidt $\|L_{\tau, s, \lambda_p'}\|_{HS}^2$.
• Decomposizione Combinatoria: La norma al quadrato viene espansa in una somma che coinvolge i tracci della rappresentazione $\lambda_p'$ su elementi del gruppo $\Gamma$.

C. Teoria dei Numeri e Ipotetici

• Simbolo di Kronecker: Un risultato chiave (Lemma 3.6) mostra che per elementi iperbolici $\gamma \in \Gamma$, il tracciato $\text{tr}(\lambda_p'(\gamma))$ è legato al simbolo di Kronecker $\left(\frac{d(\gamma)}{p}\right)$, dove $d(\gamma) = \text{tr}(\gamma)^2 - 4$.
• Ipotetico di Riemann Generalizzato (GRH): La stima della somma dei caratteri di Dirichlet sui primi richiede l'assunzione della GRH per le funzioni L quadratiche. Senza GRH, le stime unconditionali sono troppo deboli per ottenere un gap utile.
• Somma su Primi: L'autore stima la somma $\sum_{p \sim x} \log(p) \left(\frac{d}{p}\right)$, dimostrando che è $O(x^{1/2+\epsilon})$ sotto GRH.

3. Risultati Principali

Il teorema principale (Teorema 1.4) stabilisce quanto segue:

• Ipotesi: Sia $\Gamma \subset \text{SL}_2(\mathbb{Z})$ un gruppo di Schottky con dimensione di Hausdorff $\delta > 3/4$. Si assume la GRH per le funzioni L quadratiche.
• Risultato: Per ogni $\eta > 0$, esiste un sottoinsieme di primi $P$ di densità 1 tale che per ogni $p \in P$, gli autovalori nuovi $\lambda = s(1-s)$ sulla superficie di Hecke $X_0(p)$ soddisfano:
  $$s \geq \frac{5}{6}\delta + \eta$$
  In termini di autovalori, questo implica un gap spettrale esplicito.
• Quantificazione dell'errore: Il numero di primi $p \leq x$ che non soddisfano questa proprietà è limitato da $O_\epsilon(x^{1 - \frac{3}{\delta}\eta + \epsilon})$. Poiché $\delta > 3/4$, l'esponente è negativo per $\eta$ sufficientemente piccolo, garantendo che la maggior parte dei primi abbia il gap desiderato.

Confronto con risultati precedenti:

• Gamburd (2000): Gap a $5/36$ (indipendente da $\delta$) ma solo per $\delta > 5/6$.
• Bourgain-Gamburd-Sarnak: Gap esplicito ma non quantitativo (esiste una costante $c(\Gamma)$).
• Calderón-Magee (2022): Gap esplicito per gruppi di Schottky, ma con soglia $\frac{\delta}{6} + \frac{2}{3} + \eta$.
• Soares (Questo lavoro): Migliora la soglia a $\frac{5}{6}\delta + \eta$. Poiché $\delta < 1$, la soglia $\frac{5}{6}\delta$ è significativamente più bassa (e quindi il gap più grande) rispetto ai risultati precedenti, avvicinandosi al limite teorico ottimo.

4. Contributi Chiave

1. Gap Esplicito e Migliorato: Fornisce la prima stima esplicita del gap spettrale per i ricoprimenti di Hecke di superfici di Schottky che dipende linearmente da $\delta$ con un coefficiente migliore ($5/6$) rispetto ai lavori precedenti.
2. Uso della GRH: Dimostra che, assumendo la GRH, è possibile ottenere stime molto forti sulle somme di caratteri su primi, superando le limitazioni delle stime unconditionali che dipendono pesantemente dal conduttore.
3. Tecnica degli Operatori Raffinati: L'applicazione sistematica degli operatori di trasferimento raffinati ($L_{\tau, s}$) permette di controllare la norma di Hilbert-Schmidt in modo efficace, collegando la geometria del gruppo (dimensione $\delta$) alla distribuzione dei primi.
4. Costruzione di Esempi: Dimostra l'esistenza di gruppi di Schottky con $\delta$ arbitrariamente vicino a 1, rendendo il risultato applicabile a una vasta classe di superfici.

5. Significato e Implicazioni

• Teoria dei Numeri e Dinamica: Un gap spettrale uniforme ha profonde implicazioni per la distribuzione dei geodetici chiusi e per problemi di equidistribuzione su varietà iperboliche.
• Applicazioni Pratiche: I gap espliciti sono cruciali per applicazioni in teoria dei numeri (es. problemi di rappresentazione di numeri interi come somme di quadrati, problemi di sieve) e in dinamica (es. velocità di mixing per flussi geodetici).
• Limiti e Futuro: Il risultato è condizionato alla GRH. Un'importante direzione futura sarebbe rimuovere questa ipotesi o trovare metodi unconditionali che producano gap simili. Inoltre, il metodo potrebbe essere esteso ad altre famiglie di reticoli in $\text{SL}_2(\mathbb{R})$.

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione dello spettro dei ricoprimenti di congruenza per gruppi sottili, fornendo una soglia quantitativa e ottimizzata che supera i limiti delle tecniche precedenti, a costo di assumere l'ipotesi di Riemann generalizzata.