Chebotarev geodesic theorem: split case

Sintesi Tecnica di "Chebotarev geodesic theorem: split case" di Alberto Acosta Reche

Enunciato del Problema
Il saggio investiga il Teorema dei Geodetiche Prime (PGT) per i sottogruppi di congruenza $\Gamma \subset SL_2(\mathbb{Z})$, concentrandosi specificamente sulla distribuzione delle geodetiche prime all'interno di specifiche classi di coniugazione del gruppo quoziente $\bar{\Gamma} = \Gamma' \backslash \Gamma$, dove $\Gamma'$ è un sottogruppo normale (tipicamente un sottogruppo di congruenza principale $\Gamma(q)$). Questo problema è l'analogo geodetico del Teorema di Densità di Chebotarev nella teoria dei numeri algebrici.

Sebbene il comportamento asintotico $\Psi_\Gamma(X) \sim X$ sia ben stabilito (con termini di errore $E_\Gamma(X)$), la precisa velocità di convergenza del termine di errore nel caso generale di congruenza, in particolare quando pesata da funzioni di classe non triviali, rimane una sfida centrale. Lavori precedenti di Luo e Sarnak [LS95] e Soundararajan e Young [SY13] hanno stabilito forti limiti per il caso $\Gamma = SL_2(\mathbb{Z})$ e sottogruppi specifici, ottenendo un termine di errore $O_\epsilon(X^{25/36+\epsilon})$. Tuttavia, estendere questi risultati ad arbitrarie funzioni di classe su arbitri sottogruppi di congruenza, e gestire le tecnicità delle forme di Maass di peso 1 (che sorgono quando $-I \notin \Gamma(q)$), ha richiesto ulteriori sviluppi.

Metodologia
L'autore impiega una combinazione di teoria spettrale, formule di traccia e tecniche di teoria analitica dei numeri per generalizzare i risultati precedenti. La metodologia procede attraverso diverse fasi chiave:

1. Riduzione alle Caratteri di Congruenza: Utilizzando il teorema di Artin sui caratteri indotti e le proprietà delle funzioni di classe indotte, il problema della stima delle somme su arbitrarie funzioni di classe viene ridotto alla stima delle somme su caratteri di congruenza $\chi$ (Lemma 2.1, Proposizione 2.3). Ciò consente di spostare il focus sulla stima della somma di Chebyshev ritorta $\Psi_\Gamma(X; \chi)$.

2. Decomposizione Spettrale e Formule di Traccia: Il saggio utilizza la formula di traccia di Selberg e la formula di traccia di Bruggeman–Kuznetsov. Un ostacolo tecnico significativo affrontato è l'applicazione della formula di Bruggeman–Kuznetsov a caratteri di congruenza dove le funzioni di test devono soddisfare specifiche condizioni di crescita. L'autore adatta gli argomenti di Proskurin [Pro03] e ammorbidisce le condizioni sulle funzioni di test utilizzando il limite di Weil sulle somme di Kloosterman (Sezione 3.6).

3. Costruzione di Basi Ortonormali: Una componente critica è la costruzione di una base ortonormale di forme di cuspide di Maass per $(\Gamma, \chi)$ che interagisca bene con gli operatori di Hecke. L'autore dimostra l'esistenza di una base $\{u_j\}$ dove ogni $u_j$ appartiene allo spazio di vecchie forme (oldspaces) di twist di una nuova forma $f_j$ (Corollario 6.5). Questo risultato strutturale è essenziale per esprimere le medie spettrali rilevanti in termini di funzioni $L$.

4. Medie Spettrali e Funzioni $L$:

   • Teorema 1.7 (Generalizzazione di Luo-Sarnak): L'autore generalizza l'argomento di Luo-Sarnak ad arbitri caratteri di congruenza. Ciò comporta la stima della media spettrale della serie di Rankin–Selberg ingenua $L(s; |u_j|^2)$. Decomponendo la base in oldspaces e utilizzando la teoria delle nuove forme e dei loro twist, l'autore stabilisce un limite per la media di $|L(s; |u_j|^2)|^2$ sulla retta critica (Teorema 7.1). Ciò si basa sul sieve spettrale e sui limiti per le funzioni $L$ ammesse.
   • Teorema 1.8 (Generalizzazione di Soundararajan-Young): L'autore generalizza l'approccio di Soundararajan-Young utilizzando la serie di Bykovskii–Zagier $Z(s; t)$. Questa serie esprime il contributo iperbolico alla formula di traccia in termini di funzioni $L$ di Dirichlet. L'autore dimostra un limite per $Z(s; t)$ sulla retta critica coinvolgendo un esponente di subconvessità ammissibile $\theta$ (Proposizione 9.7), che si basa sulla fattorizzazione di $Z(s; t)$ in prodotti di funzioni $L$ e sulla definizione di esponenti ammissibili (Definizione 1.1).

5. Ottimizzazione: I termini di errore finali sono derivati interpolando tra i limiti ottenuti dalla strategia Luo-Sarnak (Teorema 1.7) e dalla strategia Soundararajan-Young (Teorema 1.8), ottimizzando i parametri nelle formule esplicite derivate dalle formule di traccia.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.2): Il saggio dimostra che per ogni sottogruppo di congruenza $\Gamma$, ogni funzione di classe $f$ su $\bar{\Gamma}$, e ogni esponente ammissibile $\theta > 0$, la somma di Chebyshev ritorta soddisfa:
  $$\Psi_\Gamma(X; f) = \langle f, 1_{\bar{\Gamma}} \rangle_{\bar{\Gamma}} X + O_{f, \theta, \epsilon}(X^{2/3 + \theta/6 + \epsilon}).$$
  Assumendo l'esponente di subconvessità $\theta = 1/6 + \epsilon$ (che è noto essere ammissibile secondo Petrow e Young [PY20, PY23]), il termine di errore incondizionato è $O_{f, \epsilon}(X^{25/36 + \epsilon})$.

• Corollario 1.3 (PGT per Sottogruppi di Congruenza): Come conseguenza diretta, il Teorema delle Geodetiche Prime (PGT) vale per ogni sottogruppo di congruenza $\Gamma$ con il termine di errore $E_\Gamma(X) = O_\epsilon(X^{25/36 + \epsilon})$. Ciò rafforza l'affermazione in [LRS95] secondo cui il limite di Luo-Sarnak poteva essere generalizzato.

• Corollario 1.4 (Teorema di Dirichlet Geodetico): Il saggio stabilisce un analogo geodetico del teorema di Dirichlet sulle progressioni aritmetiche. Per ogni $a \in \mathbb{Z}/q\mathbb{Z}$, la somma delle geodetiche con traccia congruente a $a$ modulo $q$ è asintoticamente proporzionale alla dimensione della fibra della mappa di traccia, con lo stesso termine di errore $O(X^{25/36+\epsilon})$. Questo migliora i risultati precedenti in [CHK24] e [Dei25] riguardo al termine di errore nell'aspetto $X$.

• Teoremi 1.7 e 1.8: Questi risultati intermedi forniscono i necessari limiti per le somme esponenziali $S(T, X)$ sui parametri spettrali. Il Teorema 1.7 generalizza il limite di Luo-Sarnak ($S(T, X) \ll T^{5/4}X^{1/8}$), e il Teorema 1.8 generalizza il limite di Soundararajan-Young ($S(T, X) \ll X^{1/4+\theta/2}T^{1/2}$).

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima prova incondizionata che il teorema di Chebotarev geodetico vale con l'esponente $25/36 + \epsilon$ per arbitri sottogruppi di congruenza e arbitre funzioni di classe. Ciò unifica ed estende i risultati di Luo, Sarnak, Soundararajan e Young dal caso specifico di $SL_2(\mathbb{Z})$ e funzioni costanti al contesto generale dei caratteri di congruenza.

L'autore nota esplicitamente che l'impostazione è leggermente più generale del lavoro originale di Sarnak [Sar80] perché accoglie sottogruppi di congruenza che non contengono $-I$ (richiedendo il trattamento delle forme di Maass di peso 1). La significatività risiede nel successo dell'adattamento degli argomenti del "caso split" (utilizzando la serie di Bykovskii–Zagier e le convoluzioni di Rankin–Selberg) a questo contesto più ampio, confermando così il comportamento atteso del termine di errore per una vasta classe di varietà iperboliche. Il saggio non pretende di raggiungere il limite ottimale congetturale di $X^{1/2+\epsilon}$, notando che tale limite rimane molto lontano dal raggiungimento, ma stabilisce il miglior limite incondizionato attualmente noto per questo ambito generale.