Investigations expérimentales sur la conjecture de Lehmer pour les courbes elliptiques

Informations fondamentales

• ID de l'article: 2510.08871
• Titre: Experimental investigations on Lehmer's conjecture for elliptic curves
• Auteurs: Sven Cats, John Michael Clark, Charlotte Dombrowsky, Mar Curcó Iranzo, Krystal Maughan, Eli Orvis
• Classification: math.NT (Théorie des nombres)
• Date de publication: 10 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.08871

Résumé

Cet article propose une méthode de calcul des points non-torsion de hauteur régulière minimale d'une courbe elliptique donnée $E/\mathbb{Q}$ sur tous les corps de nombres de degré fixe. Les auteurs utilisent cette méthode pour collecter un ensemble important de données et étudier les conjectures connexes de Lehmer et Lang.

Contexte et motivation de la recherche

Problèmes fondamentaux

Cette recherche porte sur la question de la hauteur régulière des points non-torsion sur les courbes elliptiques, en particulier la vérification de deux conjectures importantes en théorie des nombres :

1. Conjecture de Lehmer (version courbes elliptiques): Pour une courbe elliptique $E$, la constante $C_E := \inf\{\hat{h}(P) \cdot [K(P) : K]\}$, où l'infimum parcourt tous les points non-torsion $P \in E(\overline{K}) - E(\overline{K})_{\text{tors}}$, satisfait $C_E > 0$.
2. Conjecture de Lang: Pour la constante $C_{K,d} := \inf\{\hat{h}(P)/M_{E'}\}$, où l'infimum parcourt toutes les courbes elliptiques $E'/K$ et les points non-torsion correspondants, on a $C_{K,d} > 0$.

Signification de la recherche

• Ces conjectures constituent des problèmes centraux en géométrie algébrique et théorie des nombres, impliquant les propriétés arithmétiques des points sur les courbes elliptiques
• Bien qu'il existe des progrès théoriques sur les variétés abéliennes, les travaux de vérification expérimentale sont extrêmement rares
• Comprendre la distribution des points de hauteur minimale est essentiel pour comprendre la structure arithmétique des courbes elliptiques

Limitations des travaux existants

• Les travaux antérieurs d'Elkies et Taylor se concentrent principalement sur des familles spécifiques de courbes elliptiques
• Absence de données expérimentales massives et systématiques pour vérifier ces conjectures
• Manque de cadre algorithmique universel pour calculer les points de hauteur minimale sur des courbes elliptiques arbitraires

Contributions principales

1. Contribution algorithmique: Proposition d'une méthode systématique de calcul des points non-torsion de hauteur régulière minimale sur les extensions de corps de nombres de degré fixe
2. Construction de base de données: Établissement d'une base de données à grande échelle contenant 17 834 données de points quadratiques de courbes elliptiques, dont 728 cas prouvent la découverte de points de hauteur minimale
3. Optimisation computationnelle: Amélioration des bornes de hauteur de Cremona-Prickett-Siksek pour rendre l'algorithme plus efficace
4. Vérification expérimentale: Première vérification expérimentale à grande échelle des conjectures de Lehmer et Lang

Détails de la méthode

Définition de la tâche

Étant donnée une courbe elliptique $E/K$ et un ensemble d'extensions de corps de nombres $\mathcal{F}$, calculer: $C_{E,\mathcal{F}} := \inf_{F\in\mathcal{F}, P\in E(F)-E(F)_{\text{tors}}} \{\hat{h}(P) \cdot [F : K]\}$

Cadre algorithmique principal

Étape 1: Réduction par finitude

Utilisation de bornes de discriminant pour réduire le problème de recherche infini à un problème fini:

Lemme 2.3: Pour $D \in \mathbb{R}_{\geq 0}$, $F \in \mathcal{F}$, $d = [F : K]$, définir: $\Delta(D,E,F) := \exp(d\delta_K \log d + d(2d-2)B_E + (2d-2)D)$

Si le discriminant $|\Delta_F| \geq \Delta(D,E,F)$, alors pour tous les points non-torsion $P \in E(F)$ satisfaisant $K(P) = F$, on a $\hat{h}(P) \geq D/d$.

Théorème 2.4: Soit $D' \in \mathbb{R}_{\geq 0}$ tel que $C_{E,\mathcal{F}} \leq D'$, définir: $\mathcal{F}' = \{F \in \mathcal{F} : |\Delta_F| \leq \Delta(D', E, F)\}$ Alors $\mathcal{F}'$ est un ensemble fini et $C_{E,\mathcal{F}'} = C_{E,\mathcal{F}}$.

Étape 2: Calcul des bornes de hauteur

Utilisation d'une version modifiée de la borne CPS pour estimer la différence entre la hauteur de Weil et la hauteur régulière: $|h(P) - \hat{h}(P)| \leq B_E$

Pour l'ensemble d'extensions de corps de nombres $\mathcal{F}$, prendre: $B_E = \max\{B_{E,F} : F \in \mathcal{F}\}$

où $B_{E,F} = \frac{1}{[F:K]} \sum_v M_v$, la somme parcourant les places archimédiennes de $F$ et les idéaux premiers où $E$ a mauvaise réduction.

Étape 3: Recherche finie

Pour chaque $F \in \mathcal{F}'$, rechercher les points $P \in E(F)$ satisfaisant: $h(P) \leq \frac{D'}{[F:K]} + B_E$

Points d'innovation technique

1. Méthode des bornes de discriminant: Application systématique pour la première fois des bornes de discriminant au calcul de hauteur sur courbes elliptiques
2. Stratégie de recherche adaptative: Ajustement dynamique de la plage de recherche selon les résultats de la recherche initiale
3. Bornes de hauteur optimisées: Amélioration des bornes existantes pour les adapter aux familles d'extensions de corps de nombres

Configuration expérimentale

Ensemble de données

• Source des courbes elliptiques: Toutes les courbes elliptiques de la base de données Cremona avec conducteur ne dépassant pas 3 000
• Extensions de corps de nombres: Tous les corps quadratiques $\{F/\mathbb{Q} : [F : \mathbb{Q}] \leq 2\}$
• Échelle totale: 17 834 courbes elliptiques

Ressources de calcul

• Temps de calcul: Plus de 800 heures de temps CPU
• Environnement de calcul: Serveur Red Hat Enterprise Linux 8.10
• Outils logiciels: Magma 21.2-2 et SageMath 10.6

Détails d'implémentation

• Cas prouvables: Recherche complète lorsque $\Delta < 10^5$ et $B < 50$
• Cas approximatifs: Dans les autres cas, recherche uniquement les corps quadratiques avec $|\Delta_K| \leq 1000$
• Critères de vérification: 728 cas ont obtenu des points de hauteur minimale prouvables

Résultats expérimentaux

Principales découvertes

Enregistrements de hauteur minimale

Le point de hauteur minimale découvert est:

• Courbe elliptique: $y^2 + xy + y = x^3 + x^2 - 2990x + 71147$ (étiquette Cremona 1470l1)
• Coordonnées: $(27, -119, 1)$
• Hauteur: $0.0099641079999...$

Statistiques de distribution des corps de nombres

Dans toutes les données, la distribution des domaines de définition des points de hauteur minimale:

• Corps des rationnels $\mathbb{Q}$: 2 199 courbes
• Corps gaussien $\mathbb{Q}(\sqrt{-4})$: 1 191 courbes
• Corps d'Eisenstein $\mathbb{Q}(\sqrt{-3})$: 1 610 courbes

Parmi les 728 cas prouvables:

• $\mathbb{Q}(\sqrt{-3})$: 20 courbes
• $\mathbb{Q}(\sqrt{-4})$: 14 courbes
• $\mathbb{Q}$: 11 courbes

Vérification de l'efficacité de l'algorithme

• Vérification de cohérence: Dans tous les cas prouvables, les résultats finaux sont cohérents avec les résultats de la recherche initiale
• Couverture: 86 courbes ont obtenu une vérification complète, 542 courbes ont échoué à la recherche initiale
• Limites de calcul: Les courbes de conducteur 11 (11a1, 11a2) commencent à dépasser les limites de calcul

Résultats de vérification des conjectures

• Vérification expérimentale préliminaire des conjectures de Lehmer et Lang
• Aucune relation évidente trouvée entre la hauteur minimale et le conducteur ou le discriminant de la courbe elliptique
• Tous les résultats de calcul soutiennent les prédictions $C_E > 0$ et $C_{K,d} > 0$

Travaux connexes

Contexte théorique

• Conjecture originale de Lehmer (1933): Concernant les bornes inférieures de la hauteur logarithmique des nombres algébriques
• Généralisation aux courbes elliptiques: Travaux théoriques de Hindry-Silverman et autres
• Cas des variétés abéliennes: Recherche des conjectures connexes dans des cadres plus généraux

Méthodes computationnelles

• Borne de Silverman: Borne classique de la différence entre hauteur de Weil et hauteur régulière
• Méthode CPS: Borne améliorée de Cremona-Prickett-Siksek
• Optimisation de Bruin: Amélioration supplémentaire pour le corps des rationnels

Précédents expérimentaux

• Travail d'Elkies: Recherche de points de petite hauteur sur des courbes elliptiques spécifiques
• Calculs de Taylor: Résultats non publiés sur les corps quadratiques
• Contribution de cet article: Première étude expérimentale systématique à grande échelle

Conclusions et discussion

Conclusions principales

1. Développement réussi d'un algorithme pratique pour calculer les points de hauteur minimale sur courbes elliptiques
2. Établissement de la plus grande base de données de points de petite hauteur sur courbes elliptiques à ce jour
3. Les données expérimentales soutiennent la validité des conjectures de Lehmer et Lang
4. Découverte que les points de petite hauteur tendent à être définis sur des corps de nombres de petit discriminant

Limitations

1. Complexité computationnelle: La vérification complète reste difficile pour les courbes elliptiques de grand conducteur
2. Restriction aux corps: Actuellement limité aux extensions quadratiques
3. Analyse théorique: Manque d'explication théorique approfondie des phénomènes expérimentaux
4. Modèles statistiques: Aucune relation explicite trouvée entre la hauteur et les invariants de la courbe

Directions futures

1. Extension aux corps de degré supérieur: Considération des extensions cubiques, quartiques et d'ordre plus élevé
2. Optimisation algorithmique: Utilisation des données précalculées de LMFDB pour améliorer la recherche initiale
3. Analyse théorique: Recherche d'explications théoriques des modèles statistiques observés expérimentalement
4. Calcul parallèle: Développement d'algorithmes parallèles plus efficaces pour traiter les données à grande échelle

Évaluation approfondie

Avantages

1. Innovativité méthodologique: Premier cadre systématique fourni pour le calcul des points de hauteur minimale sur courbes elliptiques
2. Échelle expérimentale: L'échelle de données de 17 834 courbes est sans précédent dans ce domaine
3. Fondement théorique: L'algorithme repose sur des bases théoriques rigoureuses en théorie des nombres
4. Ouverture: Le code et les données sont entièrement en libre accès, favorisant les recherches ultérieures

Insuffisances

1. Intuitions théoriques limitées: Les contributions principales se situent au niveau computationnel, avec relativement peu de nouvelles perspectives théoriques
2. Analyse statistique insuffisante: L'analyse statistique des données expérimentales pourrait être plus approfondie
3. Problèmes de généralisation: La méthode s'applique actuellement uniquement aux extensions quadratiques
4. Goulots d'étranglement computationnels: Face à des problèmes de faisabilité computationnelle pour les cas complexes

Impact

1. Contribution au domaine: Fournit des outils expérimentaux importants et des ressources de données pour la géométrie arithmétique des courbes elliptiques
2. Valeur pratique: L'algorithme peut être directement utilisé pour la recherche sur les problèmes connexes en théorie des nombres
3. Reproductibilité: L'implémentation complète en libre accès garantit la vérifiabilité des résultats
4. Signification inspirante: Fournit une référence méthodologique pour les problèmes similaires en théorie computationnelle des nombres

Scénarios d'application

1. Recherche en théorie des nombres: Vérification expérimentale de la théorie de la hauteur des courbes elliptiques
2. Développement algorithmique: Référence pour la conception d'algorithmes pour les problèmes computationnels connexes
3. Applications pédagogiques: Études de cas pour la théorie des nombres computationnels et des courbes elliptiques
4. Recherches ultérieures: Base de données pour des recherches théoriques plus approfondies

Références bibliographiques

L'article cite 12 références importantes, notamment:

• Lehmer (1933): Proposition de la conjecture originale
• Silverman (1984, 1990): Travaux fondamentaux en théorie de la hauteur
• Cremona-Prickett-Siksek (2006): Amélioration des bornes de hauteur
• Hindry-Silverman (2000): Traité systématique de géométrie diophantienne
• LMFDB: Ressources modernes de bases de données en théorie des nombres

Résumé: Cet article apporte une contribution importante à la vérification computationnelle de la théorie de la hauteur des courbes elliptiques. Bien que l'innovation théorique soit limitée, sa méthode systématique et ses données expérimentales à grande échelle fournissent des ressources précieuses pour le développement du domaine. L'implémentation en libre accès de l'algorithme et le rapport expérimental détaillé confèrent aux résultats une très haute crédibilité et valeur pratique.