Local square mean in the hyperbolic circle problem and sums of Salié sums

En supposant une conjecture de type Linnik-Selberg pour les sommes de Salié, cet article améliore l'exposant de l'estimation de la norme $L^2$ locale de l'erreur dans le problème du cercle hyperbolique pour le groupe modulaire $PSL(2, \mathbb Z)$, dépassant ainsi la borne ponctuelle connue.

L'essentiel

Le Titre : Une Chasse aux Trésors dans un Monde Courbé

Imaginez que vous êtes un explorateur dans un monde très étrange : le plan hyperbolique. Contrairement à notre monde plat où les lignes droites restent droites, ici, l'espace est courbé comme une selle de cheval ou une feuille de chou frisée. Plus vous vous éloignez du centre, plus l'espace semble s'étirer à l'infini.

Dans ce monde, il y a un groupe de "règles" ou de symétries (appelé $\Gamma$) qui permet de faire des sauts d'un point à un autre sans changer la forme des choses. Le problème central de ce papier, c'est le "Problème du Cercle Hyperbolique".

L'Analogie : Le Cercle de Pierre et les Pas de Géant

Imaginez que vous êtes debout sur un point $z$ de ce monde courbé. Vous lancez un caillou et vous comptez combien de fois un "géant" (un élément du groupe $\Gamma$) peut faire un pas pour atterrir à l'intérieur d'un cercle de rayon $R$ autour de vous.

• Le but : Compter combien de ces points d'atterrissage ($\gamma z$) se trouvent dans le cercle.
• La prédiction : Les mathématiciens savent déjà à peu près combien il y en a (c'est environ $3 \times$ la taille du cercle).
• Le problème : Il y a toujours une petite erreur entre le nombre réel et la prédiction. C'est comme si vous prédisiez qu'il y a 1000 grains de sable, mais qu'il y en a en fait 1003. Cette différence de 3, c'est l'erreur.

Jusqu'à présent, on savait que cette erreur ne dépassait jamais une certaine limite (une "vitesse" maximale). Mais le chercheur, András Biró, veut savoir si cette erreur est vraiment aussi grande partout, ou si elle est plus petite en moyenne.

La Nouvelle Découverte : La Moyenne Locale

Imaginez que vous mesurez la température dans une pièce.

• La mesure ponctuelle : Vous mettez un thermomètre à un endroit précis. Il peut faire très chaud ou très froid à cet instant précis. C'est la "borne ponctuelle" (la pire erreur possible).
• La moyenne locale : Vous prenez la température de toute la pièce et vous faites une moyenne. Souvent, les extrêmes s'annulent, et la moyenne est plus stable.

Dans ce papier, l'auteur ne regarde pas juste le pire cas possible. Il regarde la moyenne quadratique (une façon de calculer la "taille moyenne" des erreurs) sur une petite zone.

Le résultat précédent : Il avait déjà prouvé que cette moyenne était meilleure que la pire erreur possible (il avait amélioré l'exposant de 9/14).

Le nouveau résultat (La promesse) : Il dit : "Si vous acceptez une hypothèse mathématique très forte (une conjecture sur des sommes appelées sommes de Salié), alors je peux prouver que cette erreur moyenne est encore plus petite !"

Les Outils Magiques : Les Sommes de Salié et la Conjecture

Pour faire cette preuve, l'auteur utilise des outils mathématiques très complexes qu'il appelle des sommes de Salié.

• L'analogie des Sommes de Salié : Imaginez que vous avez une boîte remplie de milliers de petits ressorts. Chaque ressort vibre à une fréquence différente. Parfois, ils vibrent tous en même temps (ce qui crée un bruit énorme = une grande erreur). Parfois, ils vibrent de manière à s'annuler les uns les autres (silence = petite erreur).
• La Conjecture : L'auteur suppose que, dans ce monde mathématique, ces ressorts (les sommes) s'annulent presque toujours de manière très efficace, sauf dans des cas très rares. C'est comme supposer que le vent souffle toujours dans la direction opposée pour annuler le bruit, sauf quand il y a une tempête.

Si cette hypothèse (la Conjecture 1) est vraie, alors les "ressorts" s'annulent parfaitement, et l'erreur moyenne devient beaucoup plus petite que ce que l'on pensait.

Pourquoi est-ce important ?

1. Précision : En mathématiques, réduire l'erreur, c'est comme passer d'une carte approximative à une carte GPS ultra-précise. Cela permet de mieux comprendre la structure cachée des nombres et de la géométrie.
2. La méthode : L'auteur ne se contente pas de dire "c'est plus petit". Il utilise une formule très précise (une "formule explicite") pour décomposer le problème en petits morceaux, puis utilise la conjecture pour montrer que les morceaux restants s'annulent. C'est comme démonter une montre complexe pour montrer que chaque roue tourne parfaitement, à condition que le ressort principal fonctionne bien.

En Résumé

Ce papier est une avancée théorique majeure. András Biró dit essentiellement :

"Nous savons déjà que le comptage des points dans ce monde courbé a une certaine erreur. Nous avons déjà prouvé que l'erreur moyenne est plus petite que l'erreur maximale. Maintenant, si nous acceptons une hypothèse de travail sur la façon dont les nombres s'annulent entre eux (la conjecture), alors nous pouvons prouver que l'erreur moyenne est encore plus petite, ce qui signifie que notre compréhension de ce monde est encore plus fine."

C'est un travail de haute voltige qui repose sur une hypothèse non encore prouvée, mais qui ouvre la voie à une précision mathématique inédite.

Résumé technique

1. Le Problème : Le Problème du Cercle Hyperbolique

L'article s'intéresse au problème du cercle hyperbolique pour un groupe de Fuchsien $\Gamma \subseteq \text{PSL}_2(\mathbb{R})$ de volume fini.
Soit $z, w$ deux points du demi-plan de Poincaré $\mathbb{H}$ et $R$ un rayon grand. Le problème consiste à estimer le nombre d'éléments de l'orbite $\Gamma z$ situés dans un cercle hyperbolique centré en $w$ de rayon $R$.

Dans le cas spécifique où $\Gamma = \text{PSL}_2(\mathbb{Z})$ et $z=w$, on définit la fonction de comptage :
$$N(z, X) := |\{ \gamma \in \Gamma : 4u(\gamma z, z) + 2 \le X \}|$$
où $u(z,w)$ est une fonction liée à la distance hyperbolique $\rho(z,w)$ par $1+2u = \cosh \rho$.

La conjecture classique (théorème non publié de Selberg) stipule que l'erreur ponctuelle est bornée par :
$$|N(z, X) - 3X| = O_z(X^{2/3})$$
Cette borne de $2/3$ n'a pas été améliorée de manière inconditionnelle pour aucun groupe.

L'objectif de l'article n'est pas d'améliorer la borne ponctuelle, mais d'améliorer la moyenne quadratique locale (norme $L^2$) de l'erreur. Dans un travail précédent ([B1]), l'auteur avait démontré que pour tout compact $\Omega \subset \mathbb{H}$ :
$$\left( \int_{\Omega} (N(z, X) - 3X)^2 d\mu_z \right)^{1/2} = O_{\Omega, c}(X^c)$$
avec $c = 9/14 \approx 0.6428$. Ce résultat est déjà meilleur que la borne ponctuelle ($2/3 \approx 0.666$).

2. Méthodologie et Approche Technique

L'article vise à améliorer l'exposant $9/14$ en se basant sur une conjecture arithmétique. La méthode repose sur une analyse fine de la contribution des éléments hyperboliques du groupe.

A. Réduction à une intégrale carrée

L'auteur utilise une technique de lissage (lissage de la fonction de comptage via une fonction test $\eta_0$ et une combinaison linéaire alternée) pour réduire le problème à l'estimation d'une intégrale carrée $I_{d,X,J}(\tau)$.
L'expression clé de cette intégrale fait intervenir une somme sur des triplets d'entiers $(t_1, t_2, f)$ pondérée par un nombre de classes d'équivalence $h(d_1, d_2, t)$, qui compte les paires de formes quadratiques de discriminants donnés et de codiscriminant donné.

B. Identification des parties critiques

L'analyse précédente ([B1]) utilisait une borne supérieure triviale pour le nombre de classes $h$. Biró identifie ici les « parties critiques » de la somme où cette estimation triviale ne suffit pas pour obtenir une amélioration.
Dans ces régions critiques, il remplace la borne supérieure par une formule explicite pour les nombres de classes $h$, démontrée dans un travail antérieur ([B2]). Cette formule fait intervenir des symboles de Jacobi et des sommes de Salié.

C. Utilisation de la Conjecture de Linnik-Selberg Tordue

Le cœur de la contribution méthodologique est l'hypothèse d'une conjecture de type Linnik-Selberg pour les sommes de Salié (Conjecture 1).
Les sommes de Salié sont définies par :
$$T(m, n; c) := \sum_{x \pmod c, (x,c)=1} \left(\frac{x}{c}\right) e\left(\frac{mx + nx^{-1}}{c}\right)$$
La conjecture postule une forte annulation (cancellation) dans les sommes de ces termes lorsqu'ils sont pondérés par des fonctions lisses et soumis à des contraintes de congruence spécifiques.

L'auteur applique la sommation de Poisson sur la variable $f$ (dans la somme triple). Le terme zéro de Poisson est contrôlé par la structure de la somme sur $j_1, j_2$, tandis que les termes non nuls sont estimés en utilisant la Conjecture 1. Cela permet de démontrer une annulation significative dans la somme globale, réduisant ainsi la borne de l'erreur.

3. Résultats Principaux

Le résultat principal est énoncé dans le Théorème 1.2 :

Théorème 1.2 : En supposant la Conjecture 1 (Linnik-Selberg tordu pour les sommes de Salié) vraie, alors pour $\Gamma = \text{PSL}_2(\mathbb{Z})$, l'estimation de la norme $L^2$ locale de l'erreur peut être améliorée :
$$\left( \int_{\Omega} (N(z, X) - 3X)^2 d\mu_z \right)^{1/2} = O_{\Omega, c}(X^c)$$
avec un exposant $c < 9/14$.

Bien que la valeur exacte de $c$ ne soit pas spécifiée explicitement dans l'introduction (elle dépend des paramètres de la conjecture), l'article démontre l'existence d'un tel exposant strictement inférieur à $9/14$.

4. Contributions Clés

1. Amélioration conditionnelle de la moyenne $L^2$ : C'est la première amélioration de l'exposant $9/14$ obtenu précédemment par l'auteur, reliant la géométrie hyperbolique à des conjectures profondes de théorie des nombres.
2. Utilisation de formules explicites pour les nombres de classes : Au lieu de se fier uniquement aux bornes supérieures, l'article exploite une formule explicite complexe pour les nombres de classes de paires de formes quadratiques, révélant une structure arithmétique fine (sommes de Salié).
3. Lien entre le problème du cercle et les sommes de Salié : L'article établit un pont technique direct entre le problème géométrique du comptage de points et les sommes de caractères de Salié, suggérant que les propriétés d'annulation de ces sommes sont cruciales pour la précision du problème du cercle.
4. Généralisation partielle : L'auteur note que la méthode s'applique à tout sous-groupe d'indice fini de $\text{PSL}_2(\mathbb{Z})$ pour lequel une formule explicite des nombres de classes est disponible (ce qui n'est pas le cas pour tous les sous-groupes, limitant l'amélioration conditionnelle au cas congruence principal).

5. Signification et Perspectives

• Impact théorique : Ce travail montre que la borne $X^{2/3}$ pour le problème du cercle ponctuel est probablement liée à la difficulté de prouver des conjectures de type Linnik-Selberg. L'amélioration de la moyenne $L^2$ suggère que l'erreur ponctuelle est « en moyenne » plus petite que sa pire borne, et que cette moyenne peut être contrôlée par des conjectures sur les sommes exponentielles.
• Ouverture vers des résultats inconditionnels : L'auteur suggère (Remarque 1.7) qu'il pourrait être possible de prouver le théorème inconditionnellement en développant une version moyennisée de la conjecture, ou en utilisant des résultats partiels existants (comme ceux de St) adaptés aux sommes de Salié via la formule de Kuznetsov de poids demi-entier.
• Méthodologie : L'approche combinant l'analyse spectrale, la théorie des formes quadratiques et l'estimation de sommes de caractères tordues représente une avancée technique significative dans l'analyse des problèmes de comptage géométrique.

En résumé, cet article démontre que sous une hypothèse arithmétique forte (Conjecture 1), la fluctuation locale du nombre de points dans un cercle hyperbolique est plus faible que ce que l'on pensait, ouvrant la voie à une compréhension plus fine de la distribution des orbites dans les surfaces hyperboliques.