Compter les géodésiques grâce aux fonctions L

Les chemins de la géométrie hyperbolique — Dans le modèle du demi-plan, les demi-cercles orthogonaux à la frontière sont des géodésiques. Ce dessin bidimensionnel illustre la géométrie ; il ne décrit pas l’espace tridimensionnel du papier.

À retenirUne borne en moyenne sur une famille de fonctions L peut améliorer un problème géométrique de comptage.

Des trajectoires qui jouent le rôle de nombres premiers

Sur un espace courbe, une géodésique est une trajectoire qui avance localement « tout droit ». Certaines reviennent à leur point de départ. Parmi ces boucles, on distingue les primitives : elles ne consistent pas à répéter une boucle plus courte.

Le mot « premier » exprime ici une analogie de structure, pas une égalité avec les entiers premiers. Compter ces boucles fait apparaître des lois asymptotiques et des termes d’erreur, comme dans les problèmes classiques de répartition arithmétique.

Le cadre et le résultat

Le papier travaille sur $\Gamma\backslash\mathbb H^3$ , où $\Gamma=\mathrm{SL}_2(\mathcal O_F)$ et $F$ est un corps quadratique imaginaire de nombre de classes un.

Énoncé

Le résultat annoncé donne, pour tout $\varepsilon>0$ ,

$\pi_\Gamma(x)=\operatorname{li}(x^2)+O\!\left(x^{36/23+\varepsilon}\right).$

Il découle d’une estimation de type Lindelöf en moyenne pour le second moment de fonctions L de carrés symétriques.

La norme utilisée pour ordonner les géodésiques et les conventions de comptage sont celles de l’introduction. La notice arXiv donne une soumission au 31 juillet 2026 : ce sujet a été repéré dans la veille du 16 septembre, mais n’est pas présenté comme déposé ce jour-là.

Pourquoi moyen ne signifie pas individuel

Si l’on sait que $\sum_{j=1}^m |a_j|^2\leq C m$ , la moyenne des carrés est bornée. Pourtant, un terme peut valoir $\sqrt{Cm}$ si les autres sont nuls. Une estimation globale très efficace peut donc laisser subsister quelques valeurs exceptionnellement grandes.

Exemple

La liste $(10,0,\ldots,0)$ de cent termes a une moyenne des carrés égale à $1$ . Elle contient néanmoins un terme égal à $10$ . C’est la distinction logique essentielle entre une hypothèse en moyenne et une assertion point par point.

L’idée analytique

La stratégie combine une formule de Kuznetsov, des transformations de sommes et le grand crible quadratique. Elle convertit des données spectrales en sommes arithmétiques dont les oscillations peuvent se compenser.

La quantité $36/23$ vaut environ $1{,}5652$ . Un plus petit exposant d’erreur signifie une meilleure précision asymptotique, à conventions identiques. Il ne fournit pas automatiquement une meilleure estimation numérique pour chaque petite valeur de $x$ : les constantes et le seuil d’application comptent aussi.

Revenir aux sources

Mean Lindelöf Hypothesis and Prime Geodesic Theorem on Bianchi Manifolds ↗Changlin Li, Zhi Qi · arXiv:2609.16181v1Soumis le 31 juillet 2026 · Introduction, théorème 1 et corollaire 2

Note préparée avec assistance IA à partir des sources citées. Le périmètre de lecture est indiqué ci-dessus ; cette note ne constitue pas une validation indépendante de la démonstration. Notre méthode.