Equidistribution in shrinking sets for arithmetic spherical harmonics

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie spectrale et de l'analyse arithmétique, plus précisément dans l'étude de l'ergodicité quantique unique (QUE). Le problème central est de comprendre le comportement asymptotique des mesures de probabilité associées aux fonctions propres du laplacien sur une variété riemannienne compacte, lorsque la valeur propre tend vers l'infini.

• Contexte géométrique : L'auteur se concentre sur la sphère $M = S^2$ munie de sa métrique ronde. Contrairement aux surfaces hyperboliques compactes où le flot géodésique est ergodique (garantissant l'ergodicité quantique par le théorème de Shnirelman-Colin de Verdière-Zelditch), le flot géodésique sur la sphère n'est pas ergodique. Par conséquent, l'ergodicité quantique n'est pas attendue pour toutes les bases de $L^2(S^2)$ (certaines se concentrent sur l'équateur).
• Cas arithmétique : Pour obtenir un comportement d'équidistribution, l'article considère le cas « arithmétique ». On diagonalise une base de $L^2(S^2)$ non seulement par rapport au laplacien, mais aussi par rapport aux opérateurs de Hecke associés à l'anneau des entiers d'Hurwitz $\mathcal{O}$ dans les quaternions. Cela définit les harmoniques sphériques arithmétiques (ou fonctions propres de Hecke).
• Conjecture de Böcherer-Sarnak-Schulze-Pillot : La question fondamentale est de savoir si la mesure de probabilité $|\psi|^2 d\sigma$ associée à une fonction propre de Hecke $\psi$ (normalisée) converge vers la mesure de volume uniforme sur le quotient $\mathcal{O}^\times \backslash S^2$ lorsque le degré $\ell_\psi \to \infty$.
• Objectif spécifique : L'article étudie une variante plus forte : l'équidistribution dans des ensembles rétrécissants (shrinking sets). Plus précisément, on s'interroge sur la validité de l'équidistribution sur des calottes sphériques $B_R(w)$ dont le rayon $R$ diminue avec $\ell_\psi$. Le défi est de déterminer la plus petite échelle (par rapport à l'échelle de Planck $\ell_\psi^{-1}$) à laquelle l'équidistribution persiste.

2. Méthodologie

L'approche de l'auteur combine l'analyse harmonique sur les groupes, la théorie des formes automorphes et les estimées de fonctions L.

• Correspondance Jacquet-Langlands : L'auteur utilise la correspondance entre les représentations automorphes de $B^\times$ (groupe des quaternions) et $GL_2$. Les harmoniques sphériques arithmétiques sur $S^2$ sont mises en correspondance avec des formes modulaires nouvelles (holomorphes) de poids $2\ell+2$ et de niveau 2. Cela permet de traduire les problèmes géométriques en problèmes de théorie des nombres.
• Formule Triple Produit de Watson-Ichino : C'est l'outil central pour estimer les moments des fonctions propres. L'auteur utilise la formule de Watson-Ichino pour exprimer le carré du produit scalaire $|\langle |\psi|^2, \phi \rangle|^2$ (où $\phi$ est une autre fonction propre de Hecke) en termes de valeurs centrales de fonctions L triples ($L(1/2, \pi_\psi \otimes \pi_\psi \otimes \pi_\phi)$) et de valeurs de fonctions L adjointes.
  • L'article calcule explicitement les constantes locales aux places archimédiennes ($\infty$) et non-archimédiennes ($p=2$), en exploitant la structure des représentations locales (représentations de Steinberg tordues).
• Hypothèse de Lindelöf Généralisée (GLH) : Toutes les bornes explicites de convergence reposent conditionnellement sur la GLH, qui fournit des bornes optimales pour les valeurs centrales des fonctions L ($L(1/2, \dots) \ll_\epsilon C^\epsilon$).
• Transformée de Selberg-Harish-Chandra : Pour traiter les intégrales sur des calottes sphériques, l'auteur utilise la transformée de la fonction indicatrice d'une calotte. Cela permet d'exprimer l'intégrale moyenne sur une calotte comme un développement spectral impliquant les coefficients de Fourier des fonctions propres.
• Inégalité de Berry-Esseen : Pour la distance de Wasserstein, l'auteur applique une version de l'inégalité de Berry-Esseen adaptée aux variétés compactes (récemment étendue aux espaces homogènes compacts), reliant la distance de transport optimal à la somme des carrés des coefficients de Fourier pondérés par les valeurs propres.

3. Résultats Principaux

Sous l'hypothèse de la GLH, l'article établit les résultats suivants :

A. Convergence de la Distance de Wasserstein (Théorème 1.1)

Pour une fonction propre de Hecke $\psi$ de degré $\ell_\psi$, la distance de Wasserstein $W_1$ entre la mesure $|\psi|^2 d\sigma$ et la mesure uniforme est bornée par :
$$W_1\left(\sigma_\psi, \frac{\sigma}{\sigma(\mathcal{O}^\times \backslash S^2)}\right) \ll_\epsilon \ell_\psi^{-1/2 + \epsilon}$$
Ce résultat quantifie la vitesse de convergence vers l'équidistribution globale.

B. Équidistribution dans des Calottes Rétrécissantes (Théorème 1.3)

L'auteur répond à la question de savoir si l'équidistribution persiste lorsque la taille de la calotte $R$ diminue.

• Résultat : Si le rayon $R$ satisfait $R \gg \ell_\psi^{-\delta}$ avec $0 < \delta < 1/3$, alors l'équidistribution hold pour toute calotte centrée en un point $w$ fixe.
• Signification : Cela montre que l'équidistribution est robuste jusqu'à une échelle légèrement supérieure à l'échelle de Planck ($\ell_\psi^{-1}$), excluant la fenêtre logarithmique critique.

C. Discrepancy des Calottes Sphériques (Théorème 1.4)

L'auteur établit une borne supérieure pour la discrepancy (écart maximal) entre la mesure de l'harmonique sphérique et la mesure uniforme sur l'ensemble de toutes les calottes géodésiques :
$$D_{cap}\left(\sigma_\psi, \frac{\sigma}{\sigma(\mathcal{O}^\times \backslash S^2)}\right) \ll_\epsilon \ell_\psi^{-1/2 + \epsilon}$$
Ceci confirme une conjecture implicite de Luo et Sarnak, prouvant que cette borne est la meilleure possible.

D. Équidistribution pour Presque Tous les Centres (Théorème 1.5)

En relaxant la condition pour que l'équidistribution tienne pour tous les centres $w$, l'auteur montre que si $R \gg \ell_\psi^{-\delta}$ pour n'importe quel $0 < \delta < 1$ (c'est-à-dire à toutes les échelles au-dessus de l'échelle de Planck), alors l'équidistribution est vraie pour presque tout $w \in \mathcal{O}^\times \backslash S^2$.

• La preuve repose sur le contrôle de la variance $Var(\psi; R)$ de la moyenne locale, montrant qu'elle tend vers zéro à un taux polynomial en $\ell_\psi$.

4. Contributions et Signification

• Extension au cas sphérique : Bien que l'ergodicité quantique arithmétique soit bien comprise pour les surfaces modulaires ($SL_2(\mathbb{Z})\backslash \mathbb{H}$), ce papier transpose ces résultats difficiles au contexte de la sphère $S^2$, qui présente des défis géométriques et spectraux différents (géodésiques non ergodiques, spectre de multiplicité).
• Optimalité des taux de convergence : L'article fournit des taux de convergence explicites et optimaux (sous GLH) pour plusieurs métriques de distance (Wasserstein, Discrepancy), comblant un vide entre les résultats qualitatifs (existence de la limite) et quantitatifs.
• Étude des ensembles rétrécissants : C'est l'un des premiers travaux à établir rigoureusement des résultats d'équidistribution dans des ensembles rétrécissants pour les harmoniques sphériques arithmétiques, en précisant la limite inférieure de l'échelle de validité ($R \gg \ell_\psi^{-\delta}$).
• Techniques de calcul explicite : Le calcul détaillé des constantes locales de la formule de Watson-Ichino pour les représentations de $B^\times$ au niveau 2 (primes ramifiés) constitue une contribution technique significative à la théorie des formes automorphes.

En résumé, cet article démontre que les harmoniques sphériques arithmétiques se comportent de manière « aléatoire » et équidistribuée jusqu'à des échelles très fines, conditionnellement à l'hypothèse de Lindelöf généralisée, renforçant ainsi la connexion profonde entre la théorie spectrale, la géométrie et la théorie des nombres.