Transcendence of simple geodesics on finite modular covers

Résumé technique : Transcendance des géodésiques simples sur les revêtements modulaires finis

Énoncé du problème
L'article étudie la nature arithmétique des points d'arrivée des géodésiques simples sur les revêtements modulaires finis de l'orbifold modulaire $M = \text{PSL}_2(\mathbb{Z})\backslash \mathbb{H}$. Plus précisément, il traite de la trichotomie des nombres réels basée sur leurs développements en fractions continues : rationnels, irrationnels quadratiques ou transcendants.

Le problème central est de déterminer la classification arithmétique du point d'arrivée $\xi_+ \in \mathbb{RP}^1$ d'une géodésique $\xi = (\xi_-, \xi_+)$ dans le plan hyperbolique $\mathbb{H}$, étant donné que sa projection $\xi'$ sur un revêtement fini $M' = \Gamma'\backslash \mathbb{H}$ (où $\Gamma' \subset \Gamma$ est un sous-groupe d'indice fini) est une géodésique simple (c'est-à-dire qu'elle n'a pas d'auto-intersections transversales dans $M'$).

Bien qu'il soit bien établi que les points d'arrivée rationnels correspondent à des géodésiques s'échappant vers des cuspides et que les points d'arrivée quadratiques correspondent à des géodésiques s'accumulant sur des orbites périodiques, le statut des géodésiques simples qui ne tombent pas dans ces catégories reste ouvert. L'article postule que de telles géodésiques doivent correspondre à des nombres transcendants, étendant ainsi la conjecture de longue date de Khintchine concernant les fractions continues bornées au cadre géométrique des revêtements modulaires.

Méthodologie
L'article emploie une synthèse de la topologie de basse dimension, de la dynamique symbolique et de l'approximation diophantienne :

1. Correspondance géométrique-combinatoire : Les auteurs utilisent la dualité entre les géodésiques dans $\mathbb{H}$ et les chemins dans l'arbre trivalent dual $T$. Les géodésiques simples dans un revêtement fini $M'$ correspondent à des géodésiques combinatoires sur le graphe quotient $T' = T/\Gamma'$. La condition de simplicité impose une borne sur les « excursions de cuspide » (les quotients partiels du développement en fraction continue), garantissant que la séquence des quotients partiels est bornée par la largeur maximale de la cuspide du revêtement.
2. Dynamique symbolique et complexité : La trajectoire d'une géodésique simple est encodée comme une séquence $X$ sur un alphabet fini (dérivé des générateurs du monoïde euclidien). Les auteurs analysent la complexité de facteur (le nombre de sous-mots distincts de longueur $n$) de ces séquences.
   • Pour les géodésiques formant des feuilles de laminations géodésiques minimales, les auteurs établissent que les séquences symboliques associées possèdent une complexité sous-affine (spécifiquement, une complexité approximativement linéaire).
   • Cette faible complexité implique l'existence de « longues répétitions » dans la structure de la séquence.
3. Critères de transcendance : Les auteurs appliquent des résultats profonds de l'approximation diophantienne, notamment le théorème de la sous-espace de Schmidt et les critères de transcendance développés par Adamczewski, Bugeaud et d'autres.
   • Théorèmes 1.8 & 1.9 : Ces critères stipulent que si une fraction continue bornée possède une complexité sous-affine (ou plus précisément, de longues répétitions), le nombre réel correspondant est soit quadratique, soit transcendant.
   • L'article affine cela en bornant les exposants de Mahler ($w_n$ et $\hat{w}_n$) des nombres transcendants, en les classant dans les classes de Mahler $S$ ou $T$ (ou $U_2$ si la constante de Lagrange est non bornée).

Contributions clés et résultats

1. Conjecture principale (Conjecture 0.3 / 2.3) : L'article propose que pour tout sous-groupe d'indice fini $\Gamma' \subset \text{PSL}_2(\mathbb{Z})$, si une géodésique $\xi'$ dans le revêtement $M'$ est simple, alors son point d'arrivée $\xi_+$ est soit rationnel, soit quadratique, soit transcendant.
2. Preuve pour les laminations minimales (Théorème 0.4 / 2.7) : La conjecture est prouvée pour le cas où la géodésique simple est une feuille d'une lamination géodésique minimale.
   • Résultat : Si $\Xi' \subset M'$ est une lamination minimale, alors les points d'arrivée $\xi_\pm$ sont soit des conjugués quadratiques, soit tous deux transcendants.
   • Affinement : Dans le cas transcendant, les exposants de Mahler sont bornés. Plus précisément, soit $w_2(\xi_\pm) = \infty$ (classe de Mahler $U_2$), soit il existe une constante $c$ telle que $w_d(\xi_\pm) \leq \exp(c(\log 3d)^3 (\log \log 3d)^2)$, plaçant ces nombres dans les classes de Mahler $S$ ou $T$.
3. Le cas du tore modulaire (Section 3) : L'article fournit une analyse détaillée du revêtement du tore modulaire associé au sous-groupe dérivé $\Gamma' = [\Gamma, \Gamma]$.
   • Il confirme la conjecture pour ce revêtement spécifique, en distinguant les nombres rationnels/quadratiques de Markov (associés aux géodésiques simples périodiques) des nombres transcendants sturmiens (associés aux géodésiques simples apériodiques).
   • Il relie la constante de Lagrange $L(\xi_+)$ au type topologique : $L(\xi_+) > 3$ correspond aux nombres de Markov, tandis que $L(\xi_+) = 3$ correspond aux transcendants sturmiens.
4. Spectres de Mahler et nombres simples profiniques : L'article définit les « nombres simples profiniques » comme ceux issus de géodésiques simples dans n'importe quel revêtement modulaire fini. Il note que ces ensembles ont une dimension de Hausdorff nulle et soulève des questions concernant la topologie métrique de leurs spectres de Lagrange et de Mahler.

Signification et affirmations
L'article affirme résoudre la question de la transcendance pour une classe importante de géodésiques simples (celles appartenant aux laminations minimales) en liant la simplicité topologique à la propriété diophantienne de la complexité de facteur sous-affine dans les fractions continues.

• Unification : Il unifie la simplicité géométrique (absence d'auto-intersections) avec les propriétés diophantiennes (bornitude et répétition dans les fractions continues).
• Extension de la conjecture de Khintchine : Il fournit un contexte géométrique à la conjecture selon laquelle les fractions continues bornées sont soit rationnelles, soit quadratiques, soit transcendantes, en prouvant ce point pour le cas spécifique des laminations minimales où la séquence n'est pas seulement bornée, mais possède également une faible complexité.
• Bornes quantitatives : Contrairement aux résultats de transcendance purement qualitatifs précédents, ce travail fournit des bornes supérieures explicites sur les exposants de Mahler pour les nombres transcendants issus de ces configurations géométriques.

Les auteurs déclarent explicitement que la conjecture générale pour toutes les géodésiques simples (et non seulement celles dans les laminations minimales) reste ouverte, bien qu'ils fournissent des preuves solides et un cadre pour des investigations futures, particulièrement concernant les nombres simples profiniques et leur relation avec les sous-groupes de congruence. Ce travail se positionne à l'intersection de la topologie de basse dimension, de la dynamique symbolique et de l'approximation diophantienne, offrant une nouvelle perspective sur la nature arithmétique des flux géodésiques sur les surfaces modulaires.