🔢 mathematics

Arithmetic exceptionality of Lattès maps

Cet article prouve la conjecture d'Odabaş sur l'exceptionnalité arithmétique des applications de Lattès pour les courbes elliptiques à multiplication complexe (sauf pour $\mathbb{Q}(\sqrt{-11})$ où elle échoue dans certains cas) et fournit des résultats partiels pour les courbes sans multiplication complexe.

Auteurs originaux : Chatchawan Panraksa, Detchat Samart, Songpon Sriwongsa

Publié 2026-03-27

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Chatchawan Panraksa, Detchat Samart, Songpon Sriwongsa

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le Titre : La Magie des Courbes et des Chiffres

Imaginez que vous avez une courbe elliptique. En mathématiques, c'est un peu comme une forme géométrique très spéciale (un peu comme un donut ou une boucle) qui a des règles secrètes pour additionner ses points.

Les auteurs de ce papier étudient une sorte de "machine magique" appelée Application de Lattès. Cette machine prend un nombre, le transforme selon les règles de la courbe, et vous renvoie un nouveau nombre.

Le Problème : Le Test de la "Permutation"

Le grand défi, c'est de savoir si cette machine est une magicienne parfaite.

Imaginez que vous avez un jeu de cartes (les nombres d'un pays étranger, un "corps fini").
Si vous donnez une carte à la machine, elle doit vous en rendre une autre, sans jamais répéter et sans jamais en oublier une seule. C'est ce qu'on appelle une "permutation" (un mélange parfait).
Si la machine fonctionne parfaitement pour une infinité de pays différents (des nombres premiers infinis), on dit qu'elle est "arithmétiquement exceptionnelle". C'est le Graal des mathématiciens.

L'Hypothèse de départ (La Devinette d'Odabaş)

Un chercheur nommé Odabaş a fait une hypothèse (une devinette) basée sur des calculs informatiques :

"Une machine est une magicienne parfaite si et seulement si la courbe sous-jacente ne possède pas de 'points secrets' (points de torsion) dont la position est un nombre rationnel simple."

En gros : Si la courbe a un point "facile" à trouver (un point dont la coordonnée x est un nombre normal comme 2, 5 ou -3), alors la machine échouera à être parfaite. Si elle n'a pas ces points faciles, elle devrait réussir.

Ce que les auteurs ont découvert

Les auteurs (Panraksa, Samart, Sriwongs) ont décidé de vérifier cette devinette pour une catégorie spéciale de courbes : celles qui ont une multiplication complexe (CM). C'est comme si ces courbes avaient des super-pouvoirs mathématiques supplémentaires.

Leur résultat est un mélange de "Oui, c'est vrai !" et "Attends, il y a une exception !".

1. La Règle Générale (La majorité des cas)

Pour presque toutes les courbes spéciales (celles liées à des nombres comme $\sqrt{-1}, \sqrt{-2}, \sqrt{-7}$ , etc.), la devinette d'Odabaş est vraie.

L'analogie : Si la courbe n'a pas de "points faciles" (rationnels), la machine fonctionne parfaitement pour une infinité de pays. C'est une victoire pour la théorie.

2. L'Exception Mystérieuse (Le cas $\sqrt{-11}$ )

Mais il y a une courbe très spéciale, liée au nombre $\sqrt{-11}$ , qui brise les règles.

Le Scénario : Même si cette courbe n'a aucun "point facile" (aucun point rationnel), la machine échoue quand on l'utilise avec un nombre $k$ divisible par 6.
Pourquoi ? C'est comme si, dans ce pays spécifique, il y avait une "mauvaise étoile" mathématique. Le nombre 3 et le nombre 2 s'associent d'une manière étrange (le 3 se divise dans ce monde) pour créer un blocage. Même sans points faciles, la machine ne peut pas faire un mélange parfait.
Conclusion : Pour cette courbe précise, la devinette d'Odabaş est fausse si $k$ est un multiple de 6.

3. Les Cas "Non-Spéciaux"

Les auteurs montrent aussi que même pour des courbes qui n'ont pas de super-pouvoirs (pas de multiplication complexe), il existe des contre-exemples. Il y a d'autres courbes "pièges" qui échouent quand $k$ est divisible par 6, même si elles n'ont pas de points faciles.

La Nouvelle Devinette (Conjecture 20)

À la fin du papier, les auteurs proposent une version corrigée de la devinette d'Odabaş pour l'avenir :

"La machine sera parfaite si et seulement si la courbe n'a pas de points faciles, SAUF si le nombre $k$ est divisible par 6."

Ils disent : "Si $k$ n'est pas un multiple de 6, la devinette originale tient probablement. Mais si $k$ est un multiple de 6, il faut faire très attention, car il existe des exceptions cachées."

En Résumé

Ce papier est comme une enquête policière mathématique :

L'enquêteur vérifie une théorie sur des machines magiques (les applications de Lattès).
Il confirme que la théorie fonctionne pour la plupart des suspects (les courbes à multiplication complexe).
Il découvre un suspect spécial (la courbe $\sqrt{-11}$ ) qui échappe à la règle à cause d'un piège lié au nombre 6.
Il propose une nouvelle règle plus précise pour guider les futurs mathématiciens.

C'est un travail qui mélange la théorie des nombres (les nombres premiers), la géométrie (les courbes) et un peu de magie (les permutations), tout en utilisant des outils très puissants comme le "Théorème de Chebotarev" (qui est un peu comme un radar pour prédire où se cachent les nombres premiers).

1. Problématique et Contexte

L'article s'inscrit dans l'étude des fonctions rationnelles qui induisent des permutations sur les corps finis, un domaine à l'intersection de la théorie des nombres et de la géométrie arithmétique.

Définition : Une fonction rationnelle $r(x) \in \mathbb{Q}(x)$ est dite arithmétiquement exceptionnelle si elle induit une permutation de la droite projective $\mathbb{P}^1(\mathbb{F}_p)$ pour une infinité de nombres premiers $p$ .
Objet d'étude : Les auteurs se concentrent sur les applications de Lattès, notées $L_k$ . Pour une courbe elliptique $E/\mathbb{Q}$ et un entier $k \ge 1$ , $L_k$ est la fonction rationnelle unique satisfaisant $proj \circ [k] = L_k \circ proj$ , où $[k]$ est l'endomorphisme de multiplication par $k$ sur $E$ et $proj$ est la projection sur la coordonnée $x$ .
Conjecture d'Odabaş : Basée sur des résultats computationnels, Odabaş a conjecturé que pour tout $k \in \mathbb{N}$ , l'application de Lattès $L_k$ attachée à une courbe elliptique $E/\mathbb{Q}$ est arithmétiquement exceptionnelle si et seulement si $E$ ne possède aucun point de $k$ -torsion dont la coordonnée $x$ est rationnelle.

L'objectif principal du papier est de prouver ou de réfuter cette conjecture, en particulier pour les courbes elliptiques à multiplication complexe (CM).

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des nombres algébrique, la théorie des corps de classes et la théorie des représentations galoisiennes.

Critère de permutation (Proposition 3) : Un résultat clé, issu de Guralnick, Müller et Saxl, stipule que $L_k$ permute $\mathbb{P}^1(\mathbb{F}_p)$ si et seulement si $\gcd((p+1)^2 - a_p^2, k) = 1$ , où $a_p$ est la trace de Frobenius de $E$ en $p$ .
Propriétés des courbes CM : Pour les courbes à multiplication complexe par un ordre $\mathcal{O}$ $O$ d'un corps quadratique imaginaire $K$ $K$ , la trace de Frobenius $a_p$ $a_{p}$ est liée à la décomposition de $p$ $p$ dans $K$ $K$ (Proposition 4 de Deuring).
- Si $p$ est inerte, $a_p = 0$ .
- Si $p$ est scindé, $a_p = \pi + \bar{\pi}$ pour un idéal premier $\pi$ de norme $p$ .
Outils de réciprocity : L'analyse fine des conditions de divisibilité de $(p+1)^2 - a_p^2$ par les facteurs premiers de $k$ repose sur les lois de réciprocité (cubique et sextique) et le symbole de résidu de puissance $n$ -ième.
Théorèmes de densité : Les preuves d'existence d'une infinité de premiers $p$ satisfaisant les conditions requises reposent sur le théorème de densité de Chebotarev et le théorème de Dirichlet sur les progressions arithmétiques.
Analyse des obstructions : Pour le cas exceptionnel $K = \mathbb{Q}(\sqrt{-11})$ , les auteurs identifient des obstructions structurelles liées à la décomposition du nombre 3 dans ce corps.

3. Résultats Principaux

A. Preuve pour la majorité des courbes CM (Théorème 2)

Les auteurs prouvent que la conjecture d'Odabaş est vraie pour toute courbe elliptique $E/\mathbb{Q}$ à multiplication complexe par un ordre d'un corps quadratique imaginaire $K$ , à l'exception de $K = \mathbb{Q}(\sqrt{-11})$ .

Pour les discriminants $D \in \{-4, -8, -16, -7, -28, -19, -43, -67, -163, -12, -27, -3\}$ , ils démontrent que si $E$ n'a pas de point de $k$ -torsion à coordonnée $x$ rationnelle, alors il existe une infinité de premiers $p$ tels que $\gcd(A_p(E), k) = 1$ .
La preuve est traitée cas par cas selon le discriminant $D$ , en construisant des systèmes de congruences appropriés pour les premiers $p$ (inertes ou scindés) afin d'éviter les facteurs communs avec $k$ .

B. Le cas exceptionnel $K = \mathbb{Q}(\sqrt{-11})$ (Section 4)

Ce cas constitue la principale découverte négative de l'article.

Contre-exemple : Si $E$ a une multiplication complexe par $\mathbb{Q}(\sqrt{-11})$ et que $6$ divise $k$ ( $6 \mid k$ ), alors $L_k$ n'est jamais arithmétiquement exceptionnelle, même si $E$ ne possède aucun point de $k$ -torsion à coordonnée $x$ rationnelle.
Mécanisme de l'obstruction :
- Le nombre 3 se scinde dans $\mathbb{Q}(\sqrt{-11})$ .
- Pour tout premier de bonne réduction $p \neq 3$ qui se scinde, la trace de Frobenius $a_p$ force un facteur 3 dans le terme $(p+1)^2 - a_p^2$ .
- Pour les premiers inerts, ce terme est pair (facteur 2).
- Ainsi, si $6 \mid k$ , le PGCD avec $k$ est toujours $\ge 2$ ou $\ge 3$ , empêchant la permutation.
Résultat positif partiel : Si $6 \nmid k$ , la conjecture reste vraie pour ce corps.

C. Résultats pour les courbes non-CM

Les auteurs fournissent des contre-exemples pour des courbes sans multiplication complexe (Proposition 18). Ils construisent une famille de courbes $E_u : y^2 = x^3 - 9u^2x + 12u^3$ pour lesquelles, si $6 \mid k$ , $L_k$ n'est pas exceptionnelle, bien qu'il n'y ait pas de points de torsion rationnels à coordonnée $x$ .
Cela confirme que l'obstruction liée au facteur 6 n'est pas exclusive aux courbes CM.

4. Reformulation de la Conjecture

Compte tenu des contre-exemples trouvés (notamment lorsque $6 \mid k$ ), les auteurs proposent une reformulation de la conjecture d'Odabaş (Conjecture 20) :

Pour tout entier positif $k$ tel que $6 \nmid k$ , l'application de Lattès $L_k$ attachée à une courbe elliptique $E/\mathbb{Q}$ est arithmétiquement exceptionnelle si et seulement si $E$ ne possède aucun point de $k$ -torsion dont la coordonnée $x$ est rationnelle.

Ils montrent que cette nouvelle conjecture est vraie pour les courbes CM (sauf le cas $6 \mid k$ déjà exclu) et pour les courbes non-CM lorsque les facteurs premiers de $k$ sont suffisamment grands (via le théorème de l'image ouverte de Serre).

5. Signification et Implications

Précision théorique : L'article affine considérablement la compréhension des propriétés de permutation des applications de Lattès. Il identifie une obstruction arithmétique spécifique (liée au nombre 6 et à la décomposition de 3 dans $\mathbb{Q}(\sqrt{-11})$ ) qui était passée inaperçue dans les données computationnelles antérieures.
Lien avec la théorie de Galois : La conclusion du papier relie la condition de permutation à l'existence d'éléments dans l'image de la représentation galoisienne modulaire $\rho_{E,m}$ . La condition d'exceptionnalité arithmétique équivaut à ce que l'ensemble $C_m$ (éléments de $GL_2(\mathbb{Z}/m\mathbb{Z})$ avec déterminants non nuls) soit non vide.
Outils nouveaux : L'utilisation combinée des lois de réciprocité sextique et du théorème de densité de Chebotarev pour construire des ensembles infinis de premiers satisfaisant des conditions de non-divisibilité complexes représente une avancée méthodologique.
Perspectives : Le papier ouvre la voie à l'étude de ces problèmes sur des corps de nombres généraux et à la recherche de critères explicites basés sur les représentations galoisiennes pour les courbes non-CM.

En résumé, ce travail valide la conjecture d'Odabaş dans la plupart des cas CM, mais la réfute dans des cas spécifiques liés à la divisibilité par 6, conduisant à une conjecture plus précise et robuste pour l'ensemble des courbes elliptiques.