Equidistribution in shrinking sets for arithmetic spherical harmonics

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria spettrale delle varietà riemanniane e della teoria dei numeri, focalizzandosi sul problema dell'ergodicità quantistica unica (QUE) nello spazio delle configurazioni.

• Contesto Generale: La QUE postula che, per una varietà compatta a curvatura negativa, la massa delle autofunzioni del laplaciano si distribuisca uniformemente rispetto alla misura di volume al tendere dell'autovalore all'infinito.
• Il Caso della Sfera ($S^2$): A differenza delle superfici iperboliche, il flusso geodetico sulla sfera non è ergodico; pertanto, la QUE non vale per tutte le basi di autofunzioni (ad esempio, le armoniche sferiche zonal si concentrano sull'equatore). Tuttavia, si può considerare il caso "aritmético", dove si diagonalizza una base di armoniche sferiche rispetto agli operatori di Hecke.
• L'Obiettivo Specifico: Il paper studia la variante della congettura di QUE in insiemi che si restringono (shrinking sets). Nello specifico, si indaga se la massa di un'autofunzione di Hecke $\psi$ su una calotta sferica $B_R(w)$ di raggio $R$ (che dipende dall'autovalore $\lambda_\psi$) tenda alla misura uniforme della calotta quando $\lambda_\psi \to \infty$.
• La Congettura di Böcherer-Sarnak-Schulze-Pillot: Il lavoro affronta la congettura secondo cui le armoniche sferiche aritmetiche sono QUE, estendendola a scale sub-macroscopiche ma superiori alla scala di Planck ($R \gg \ell_\psi^{-1}$).

2. Metodologia

L'autore utilizza un approccio che combina analisi armonica, teoria delle rappresentazioni automorfe e teoria dei numeri analitica.

• Corrispondenza di Jacquet-Langlands: Viene stabilita una connessione esplicita tra le armoniche sferiche su $S^2$ (invarianti sotto l'azione degli interi di Hurwitz $O^\times$) e le forme modulari newform su $\Gamma_0(2)$. Questo permette di tradurre problemi sulle armoniche sferiche in problemi sulle forme modulari.
• Formula del Prodotto Triplo di Watson-Ichino: Questo è lo strumento centrale per stimare i coefficienti spettrali. La formula esprime il quadrato del prodotto scalare $|\langle |\psi|^2, \phi \rangle|^2$ (dove $\psi$ è l'autofunzione di interesse e $\phi$ è un'altra autofunzione) in termini di valori centrali di funzioni L triple ($L(1/2, \pi_\psi \otimes \pi_\psi \otimes \pi_\phi)$) e valori di funzioni L adjoint.
• Stime delle Funzioni L: Le stime sui valori delle funzioni L sono ottenute assumendo l'Ipotesi di Lindelöf Generalizzata (GLH). In particolare, si utilizzano stime subconvessità per ottenere tassi di convergenza ottimali.
• Trasformata di Selberg-Harish-Chandra: Viene utilizzata per analizzare la convoluzione di indicatori di calotte sferiche. Questo permette di esprimere l'integrale della densità di probabilità su una calotta come una serie spettrale che coinvolge i coefficienti di Fourier e i valori della trasformata sferica $h_R(\ell)$.
• Disuguaglianza di Berry-Esseen: Per quantificare la distanza tra la misura indotta dall'autofunzione e la misura uniforme, viene utilizzata la distanza di Wasserstein-1 ($W_1$), stimata tramite la disuguaglianza di Berry-Esseen adattata alla sfera, che lega la distanza alla somma dei coefficienti spettrali.

3. Risultati Principali

Sotto l'assunzione della GLH, il paper dimostra i seguenti teoremi:

• Teorema 1.1 (Convergenza in Distanza di Wasserstein):
  Viene fornita una stima esplicita per la distanza di Wasserstein-1 tra la misura di probabilità $\sigma_\psi$ (indotta da $|\psi|^2$) e la misura uniforme sulla sfera aritmetica.
  $$W_1\left(\sigma_\psi, \frac{1}{\sigma(O^\times\backslash S^2)}\sigma\right) \ll_\varepsilon \ell_\psi^{-1/2 + \varepsilon}$$
  Questo risultato conferma la QUE con un tasso di convergenza ottimale (fino a un fattore $\varepsilon$).

• Teorema 1.3 (Equidistribuzione in Calotte che si Restringono - Caso Puntuale):
  Si dimostra che l'equidistribuzione vale su ogni calotta sferica $B_R(w)$ di raggio $R$, purché $R$ sia sufficientemente grande rispetto alla scala di Planck. Nello specifico, se $R \gg \ell_\psi^{-\delta}$ con $0 < \delta < 1/3$, allora:
  $$\frac{1}{\text{vol}(B_R)} \int_{B_R(w)} |\psi(z)|^2 d\sigma(z) = \frac{1}{\text{vol}(O^\times\backslash S^2)} + o_{w,\delta}(1)$$
  Questo stabilisce che il comportamento casuale delle armoniche sferiche aritmetiche persiste fino a scale molto vicine alla scala di Planck, ma non sotto di essa.

• Teorema 1.4 (Discrepanza delle Calotte Sferiche):
  Viene fornita una stima per la discrepanza sferica (il massimo scostamento tra la misura dell'autofunzione e quella uniforme su tutte le calotte geodetiche):
  $$D_{cap} \ll_\varepsilon \ell_\psi^{-1/2 + \varepsilon}$$
  Questo conferma una congettura implicita di Luo e Sarnak, indicando che il risultato è il migliore possibile.

• Teorema 1.5 (Equidistribuzione in Calotte che si Restringono - Caso "Quasi Ovunque"):
  Se si rilassa la condizione richiedendo l'equidistribuzione per quasi ogni centro $w$ (rispetto alla misura di volume), il risultato vale per qualsiasi scala sopra la Planck. Se $R \gg \ell_\psi^{-\delta}$ con $0 < \delta < 1$ (quindi anche molto più vicino alla scala di Planck rispetto al caso puntuale), allora per quasi ogni $w$, la densità tende all'uniformità. La varianza della distribuzione tende a zero come $\ell_\psi^{-(1-\delta)+\varepsilon}$.

4. Contributi Chiave

1. Quantificazione Esplicita: A differenza di risultati precedenti puramente qualitativi (come quelli di Lindenstrauss o Soundararajan per le superfici iperboliche), questo lavoro fornisce tassi di convergenza espliciti (in termini di $\ell_\psi$) per la QUE sulla sfera.
2. Estensione agli Insiemi che si Restringono: Estende la validità della QUE a regioni che si contraggono, identificando la soglia critica (la scala di Planck) al di sotto della quale l'equidistribuzione fallisce.
3. Distinzione tra Caso Puntuale e "Quasi Ovunque": Dimostra una differenza fondamentale: mentre per un punto fisso $w$ l'equidistribuzione richiede che la calotta sia "abbastanza grande" ($\delta < 1/3$), per quasi tutti i punti $w$ vale per qualsiasi scala sopra la Planck ($\delta < 1$).
4. Applicazione della Formula di Watson-Ichino: Utilizza in modo efficace la formula del prodotto triplo per collegare le proprietà geometriche delle armoniche sferiche alle stime analitiche delle funzioni L, sfruttando la GLH per ottenere i migliori limiti possibili.

5. Significato e Implicazioni

Il lavoro è significativo perché:

• Chiude un gap teorico: Fornisce una comprensione quantitativa completa del comportamento delle armoniche sferiche aritmetiche, un caso modello per la QUE in spazi compatti.
• Conferma Congetture: Conferma e quantifica la congettura di Böcherer-Sarnak-Schulze-Pillot, mostrando che l'assunzione della GLH implica non solo l'equidistribuzione globale, ma anche locale su scale molto fini.
• Metodologia Robusta: Stabilisce un quadro metodologico che combina la teoria delle forme automorfe (tramite la corrispondenza di Jacquet-Langlands) con l'analisi geometrica (trasformata di Selberg), offrendo uno strumento potente per futuri studi su varietà aritmetiche.
• Limiti della Randomness: Definisce chiaramente i limiti della "randomness" delle autofunzioni quantistiche, mostrando che la scala di Planck è il confine naturale oltre il quale la struttura classica (geodetica) riprende il sopravvento, impedendo l'equidistribuzione.

In sintesi, il paper rappresenta un avanzamento fondamentale nella comprensione della distribuzione della massa delle autofunzioni aritmetiche, fornendo stime ottimali e distinguendo chiaramente tra il comportamento puntuale e quello medio su scale sub-macroscopiche.