Local average in the Hyperbolic sphere problem

Sintesi Tecnica: Media Locale nel Problema della Sfera Iperbolica

Enunciato del Problema
Il saggio affronta il problema del conteggio dei punti del reticolo iperbolico per il gruppo di Picard $\Gamma = \text{PSL}_2(\mathbb{Z}[i])$ che agisce sullo spazio iperbolico tridimensionale $\mathbb{H}^3$. L'oggetto centrale di studio è la funzione di conteggio $N(X, z)$, che enumera il numero di traslati del reticolo $\gamma z$ all'interno di una sfera iperbolica di raggio $\cosh^{-1} X$ centrata in $z$.

L'asintotica puntuale classica è data da $N(X, z) = c_\Gamma X^2 + O(X^{3/2})$. Mentre il termine principale $c_\Gamma X^2$ è ben compreso, l'esponente $3/2$ nel termine di errore non è stato migliorato per alcun punto $z$ o per gruppi diversi dal gruppo di Picard. Gli autori indagano se la media della funzione di conteggio su una regione locale (tramite una funzione di test liscia) possa produrre un esponente di errore minore, condizionatamente a specifiche ipotesi spettrali.

Metodologia
Gli autori impiegano la teoria spettrale delle forme automorfe per analizzare la media locale della funzione di conteggio. La metodologia procede attraverso i seguenti passaggi:

1. Espansione Spettrale: La funzione di conteggio viene espressa tramite la trasformata di Selberg della funzione indicatrice di una sfera. Ciò conduce a un'espansione spettrale che coinvolge le autofunzioni $u_j$ dell'Laplaciano iperbolico e le serie di Eisenstein.
2. Media Locale: Per eliminare la dipendenza dalle specifiche autofunzioni $|u_j(z)|^2$, gli autori integrano l'espansione contro una funzione di test $f$ liscia e a supporto compatto sul fogliame $\Gamma \backslash \mathbb{H}^3$.
3. Applicazione delle Ipotesi: La dimostrazione si basa su due ipotesi condizionate riguardanti le proprietà spettrali di $\Gamma$:
   • Ipotesi QV (Quantum Variance): Un limite sulla varianza delle misure spettrali $d\mu_j(z) = |u_j(z)|^2 d\mu(z)$ rispetto alla misura uniforme. Nello specifico, assume un limite di ordine $T^{q+\epsilon}$ per la somma delle deviazioni quadrate degli integrali spettrali fino all'altezza $T$.
   • Ipotesi STX (Spectral Exponential Sum): Un limite sulla somma esponenziale $S(T, X) = \sum_{0 < r_j \le T} X^{ir_j}$, dove $r_j$ sono i parametri spettrali. Questa somma è centrale per il Teorema delle Geodetiche Prime.
4. Approssimazione e Smoothing: Per gestire la discontinuità della funzione indicatrice, gli autori costruiscono approssimazioni lisce $k_\pm$ dall'alto e dal basso utilizzando la convoluzione iperbolica. Ciò permette l'applicazione dell'espansione spettrale con migliori proprietà di decadimento nella trasformata di Selberg.
5. Bilanciamento dell'Errore: Il termine di errore finale viene derivato bilanciando i contributi del limite della varianza quantistica (che dipende dal parametro di smoothing $\eta$) e del limite della somma esponenziale spettrale (che dipende dal parametro di troncamento $T$).

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1, che stabilisce una formula asintotica per la media locale della funzione di conteggio:
$$\int_{\Gamma \backslash \mathbb{H}^3} N(X, z)f(z) d\mu(z) = \frac{\pi}{2} \bar{f} X^2 + O_{f, \epsilon, \theta, q} \left( X^{\frac{6-4\theta}{5-4\theta} + \epsilon} + X^{\frac{2q}{q+1} + \epsilon} \right)$$
dove $\bar{f}$ è il valore medio di $f$, $q \in [1, 3]$ è l'esponente nell'Ipotesi QV, e $\theta \in [0, 1/4]$ si riferisce all'esponente di subconvessità nell'Ipotesi STX.

• Miglioramento rispetto ai Limiti Puntuali: Il saggio dimostra che, sotto queste ipotesi, l'esponente di errore nella media locale può essere strettamente minore del limite puntuale di $3/2$.
• Esponenti Specifici:
  • Se l'Ipotesi QV vale con $q=1$ (il valore ottimale congetturato) e l'Ipotesi STX vale con la più forte stima nota ($\theta=0$), l'errore è $O(X^{6/5+\epsilon})$.
  • Utilizzando il limite di convessità per STX ($\theta=1/4$) e $q \le 5/3$, l'errore è $O(X^{5/4+\epsilon})$.
• Confronto con la Dimensione 2: Gli autori notano che nel caso bidimensionale (gruppo modulare), il limite della varianza quantistica è un teorema (Luo e Sarnak), e la somma esponenziale spettrale è stata studiata estensivamente. In tre dimensioni, il limite della varianza quantistica rimane una congettura, sebbene la somma spettrale sia stata analizzata nel contesto del Teorema delle Geodetiche Prime.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un quadro rigoroso per migliorare il termine di errore nel problema della sfera iperbolica tramite la media locale, subordinatamente a congetture spettrali stabilite ma non ancora provate.

• Natura Condizionata: Gli autori dichiarano esplicitamente che il loro miglioramento è condizionato. Non pretendono di provare il limite della varianza quantistica per il gruppo di Picard, ma mostrano che se esso valesse (insieme al limite della somma spettrale), il termine di errore migliorerebbe significativamente.
• Ottimalità: Il saggio suggerisce che se l'Ipotesi STX valesse con esponenti $(2, 0)$ e l'Ipotesi QV valesse con $q=1$, il termine di errore risultante sarebbe ottimale, analogamente ai risultati noti nel caso bidimensionale.
• Limiti Inferiori: Gli autori riconoscono i limiti inferiori esistenti (Phillips e Rudnick) che suggeriscono che il resto non può essere minore di $\Omega(X^{(n-1)/2} (\log \log X)^{(n-1)/2n - \epsilon})$. Per $n=3$, questo è circa $X^1$. I risultati degli autori si avvicinano a questo limite inferiore sotto le ipotesi più forti, suggerendo che la media locale catturi meglio l'ordine di grandezza "reale" dell'errore rispetto al caso puntuale.

Il lavoro funge da ponte tra la teoria spettrale delle forme automorfe in tre dimensioni e il problema geometrico del conteggio dei punti di reticolo, evidenziando il ruolo specifico della varianza quantistica e delle somme esponenziali spettrali nel controllare il termine di resto.