Nombre de points entiers sur les twists quadratiques de courbes elliptiques

Informations fondamentales

• ID de l'article: 2509.03274
• Titre: Number of integral points on quadratic twists of elliptic curves
• Auteur: Seokhyun Choi (KAIST)
• Classification: math.NT (Théorie des nombres)
• Date de publication: 12 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2509.03274v2

Résumé

Cet article étudie le problème des points entiers sur les twists quadratiques $E_D : y^2 = x^3+D^2Ax+D^3B$ de courbes elliptiques $E : y^2 = x^3+Ax+B$ définies sur le corps des rationnels $\mathbb{Q}$. Pour $D$ suffisamment grand, l'auteur démontre que le nombre de points entiers sur $E_D$ satisfait la majoration $\ll 4^r$, où $r$ désigne le rang de Mordell-Weil de $E_D$, et la constante implicite est absolue (indépendante de la courbe elliptique $E$).

Contexte et motivation de la recherche

Contexte du problème

1. Théorème de Siegel (1929): L'ensemble des points entiers $E(\mathbb{Z})$ sur une courbe elliptique est fini, mais ce résultat n'est pas effectif en raison de sa dépendance au théorème de Thue-Siegel-Roth.
2. Développement des bornes effectives:
   • Baker (1966): Première borne effective pour la hauteur des points entiers, mais extrêmement grande: $|x| \leq \exp((10^6\max\{|A|,|B|\})^{10^6})$
   • Conjecture de Lang: Il existe une constante absolue $C$ telle que $|E(\mathbb{Z})| \ll C^r$
3. Résultats existants:
   • Silverman (1987): Démontre la conjecture de Lang pour les courbes elliptiques avec ratio de Szpiro borné
   • Helfgott-Venkatesh (2006): Prouvent $|E(\mathbb{Z})| \ll C^{\omega(\Delta)}(\log|\Delta|)^2(1.34)^r$
   • Pour les familles de twists quadratiques: Gross-Silverman donnent $C \sim 10^9$, Chi-Lai-Tan l'améliorent à $C=25$, Chan l'améliorent à $C=3.8$ pour les courbes de nombres congruents

Motivation de la recherche

Cet article établit une meilleure constante $C=4$ pour les familles de twists quadratiques, ce qui constitue un progrès important dans ce domaine. Ce résultat vaut pour $D$ suffisamment grand, et la constante est absolue et effectivement calculable.

Contributions principales

1. Théorème principal (Théorème 1.1): Pour le twist quadratique $E_D$ d'une courbe elliptique $E : y^2 = x^3+Ax+B$, lorsque $D$ est suffisamment grand, on démontre que $|E_D(\mathbb{Z})| \ll 4^r$, où $r$ est le rang de $E_D$.
2. Innovation méthodologique: Combinaison des principes d'écart (gap principles) et des techniques d'approximation diophantienne, partitionnant l'ensemble des points entiers en quatre catégories (petits points, points moyens-petits, points moyens-grands, grands points) traitées séparément.
3. Améliorations techniques:
   • Utilisation de la théorie des codes sphériques (spherical codes) pour les petits et moyens points
   • Application du théorème de Roth quantitatif pour les grands points
   • Estimations précises de hauteur et analyse géométrique fine
4. Optimisation des constantes: Amélioration de la constante pour les familles de twists quadratiques de 25 à 4, augmentant significativement la précision de la borne.

Explication détaillée de la méthode

Stratégie générale

L'auteur partitionne $E_D(\mathbb{Z})$ en quatre sous-ensembles, selon l'intervalle de la hauteur canonique $\hat{h}(P)$:

1. Petits points: $E_D(\mathbb{Z})_{\text{small}} := \{P \in E_D(\mathbb{Z}) \mid \hat{h}(P) \leq 1.5\log D\}$
2. Points moyens-petits: $E_D(\mathbb{Z})_{\text{medium-small}} := \{P \in E_D(\mathbb{Z}) \mid 1.5\log D \leq \hat{h}(P) \leq 20\log D\}$
3. Points moyens-grands: $E_D(\mathbb{Z})_{\text{medium-large}} := \{P \in E_D(\mathbb{Z}) \mid 20\log D \leq \hat{h}(P) \leq 2^{200}\log D\}$
4. Grands points: $E_D(\mathbb{Z})_{\text{large}} := \{P \in E_D(\mathbb{Z}) \mid \hat{h}(P) \geq 2^{200}\log D\}$

Outils techniques

1. Estimations de hauteur (Lemmes 3.1-3.4)

Établissement de la relation entre la hauteur canonique $\hat{h}$ et la hauteur de Weil $h$:

• Pour $P \in E_D(\mathbb{Q})$: $c_1 \leq \hat{h}(P) - h(P) \leq c_2$
• Pour $P \in E_D(\mathbb{Q})$ (via l'isomorphisme $\phi_D: E_D \to \bar{E}_D$):
  • Cas général: $c_1 - \log D \leq \hat{h}(P) - h(P) \leq c_2 + \log D$
  • Lorsque $x(P) > D$: $c_1 - \log D \leq \hat{h}(P) - h(P) \leq c_2$

2. Principe d'écart (Gap Principle, Lemme 3.9)

Pour les points entiers $P, Q \in E_D(\mathbb{Z})$ satisfaisant $MD \leq x(P) < x(Q)$: $h(P+Q) \leq h(P) + 2h(Q) + 2.9$

Cette inégalité est centrale dans l'analyse ultérieure, servant à contrôler la "distance" entre les points.

3. Théorie des codes sphériques (Section 4)

Sur $E_D(\mathbb{Q}) \otimes_{\mathbb{Z}} \mathbb{R} \cong \mathbb{R}^r$, la hauteur canonique induit une structure de produit scalaire. On définit l'angle entre deux points $P, Q$: $\cos\theta_{P,Q} := \frac{\hat{h}(P+Q) - \hat{h}(P) - \hat{h}(Q)}{2\sqrt{\hat{h}(P)\hat{h}(Q)}}$

Si un ensemble de points satisfait $\cos\theta_{P,Q} \leq \cos\theta_0$, ils forment un code sphérique, avec un nombre d'éléments au plus $A(r, \theta_0)$.

Utilisation de deux bornes:

• Borne de Kabatiansky-Levenshtein ($0 < \theta < \pi/2$): $A(r,\theta) \ll \left[\exp\left(\frac{1+\sin\theta}{2\sin\theta}\log\frac{1+\sin\theta}{2\sin\theta} - \frac{1-\sin\theta}{2\sin\theta}\log\frac{1-\sin\theta}{2\sin\theta} + 0.001\right)\right]^r$
• Borne simple ($\theta > \pi/2$): $A(r,\theta) \ll 1$

Traitement de chaque catégorie de points

Petits points (Proposition 5.1)

• Décomposition de $E_D(\mathbb{Z})_{\text{small}}$ en classes latérales de $4E_D(\mathbb{Q})$
• Pour chaque classe latérale $S(R)$, on démontre que deux points distincts $P_1, P_2 \in S(R)$ satisfont: $\cos\theta_{P_1,P_2} \leq -\frac{1}{6} < 0$
• Par la borne de code sphérique pour $\theta > \pi/2$, on obtient $|S(R)| \ll 1$
• Le nombre de classes latérales est au plus $4^{r+1}$, d'où $|E_D(\mathbb{Z})_{\text{small}}| \ll 4^r$

Points moyens-petits (Proposition 6.3)

• Subdivision supplémentaire en $MS_n := \{P \mid (n-0.5)\log D \leq \hat{h}(P) \leq (n+0.5)\log D\}$, $2 \leq n \leq 20$
• Considération uniquement des points avec $y(P) > 0$ (notés $MS_n^+$)
• Utilisation du Lemme 6.1: lorsque $x(P) \leq MD$, on a $\hat{h}(P) < 1.5\log D$ (exclus)
• Pour $P, Q \in MS_n^+$, application du principe d'écart et analyse optimisée du Lemme 6.2, démontrant: $\cos\theta_{P,Q} \leq \max\left\{\frac{n+1.6}{2\sqrt{n^2-0.25}}, 1-\frac{n-1.6}{2(n+0.5)}\right\}$
• Application de la borne de Kabatiansky-Levenshtein donnant $|MS_n^+| \ll 4^r$

Points moyens-grands (Proposition 7.2)

• Subdivision en $ML_n := \{P \mid 20 \cdot (1.1)^{n-1}\log D \leq \hat{h}(P) \leq 20 \cdot (1.1)^n\log D\}$, $1 \leq n \leq 50$
• Pour $P, Q \in ML_n^+$ satisfaisant $\max\{\hat{h}(Q)/\hat{h}(P), \hat{h}(P)/\hat{h}(Q)\} \leq 1.1$
• Le Lemme 7.1 démontre: $\cos\theta_{P,Q} \leq 0.63$
• Application de la théorie des codes sphériques donnant $|ML_n^+| \ll (1.55)^r \ll 4^r$

Grands points (Proposition 10.4)

Cas le plus complexe, traité en deux étapes:

Étape 1: Décomposition en classes latérales de $3E_D(\mathbb{Q})$ notées $L(R)$, subdivisées en:

• $L(R)^* := \{P \in L(R) \mid \hat{h}(P) \leq 10^{50}\hat{h}(R)\}$
• $L(R)^{**} := \{P \in L(R) \mid \hat{h}(P) > 10^{50}\hat{h}(R)\}$

Pour $L(R)^*$, traitement similaire aux points moyens-grands, subdivision en 700 sous-intervalles (ratio 1.01), utilisation du Lemme 10.1 démontrant $\cos\theta_{P,Q} \leq 0.504$, donnant $|L(R)^*| \ll (1.33)^r$.

Étape 2: Pour $L(R)^{**}$, utilisation de l'approximation diophantienne:

• Écriture $P = 3Q + R$, choix de $S \in \frac{1}{3}R$ minimisant $|x(Q) - x(S)|$
• Lemme clé (Lemme 8.2): Lorsque $h(P) > 1000h(R)$ et $h(P) > 2000\log D$: $\frac{\log|x(Q) - x(S)|}{h(Q)} < -2.75$ Cela signifie que $x(Q)$ est une approximation rationnelle du nombre algébrique $x(S)$, avec exposant d'approximation $> 2.75 > 2$
• Application du théorème de Roth quantitatif (Evertse, Théorème 9.1): Pour un nombre algébrique $\alpha$ de degré $\leq 9$, le nombre de rationnels $\beta$ satisfaisant l'exposant d'approximation $> 2.75$ est au plus: $225 \cdot 0.75^{-3} \log(18) \log(0.75^{-1}\log(18)) \ll 1$
• Par conséquent $|L(R)^{**}| \ll 1$

Combinaison des deux étapes: $|L(R)| \ll (1.33)^r$, nombre de classes latérales $\leq 3^r$, d'où $|E_D(\mathbb{Z})_{\text{large}}| \ll (3.99)^r \leq 4^r$.

Points d'innovation technique

1. Subdivision fine des intervalles: Par des divisions à l'échelle logarithmique (1.5, 20, $2^{200}$ et ratios internes 1.1, 1.01), établissement de principes d'écart plus serrés dans chaque intervalle.
2. Analyse géométrique: Utilisation des relations géométriques des coordonnées $x$ (Lemmes 3.6-3.8), estimation précise des changements de coordonnées après addition de points, crucial pour établir le principe d'écart.
3. Techniques d'optimisation: Le Lemme 6.2 fournit une analyse de la valeur maximale d'une fonction binaire sur un domaine rectangulaire, utilisée pour optimiser le calcul des bornes d'angle.
4. Application fine de l'approximation diophantienne: Par construction de tiers-points et estimation du discriminant (Lemme 8.1), transformation du problème des grands points en problème d'approximation diophantienne effectif.

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques, sans expériences numériques. Tous les résultats sont des démonstrations mathématiques rigoureuses.

Vérification computationnelle

L'appendice B fournit des tableaux numériques des valeurs de $\cos\theta$ et des bornes de codes sphériques $E(\theta)$ correspondant à chaque valeur de $n$ dans la Proposition 6.3, par exemple:

• $n=2$: $\cos\theta = 0.9295$, $E(\theta) = 3.603$
• $n=10$: $\cos\theta = 0.6000$, $E(\theta) = 1.482$
• $n=20$: $\cos\theta = 0.5512$, $E(\theta) = 1.397$

Ces valeurs numériques valident l'efficacité de la borne théorique $\ll 4^r$.

Résultats expérimentaux

Résultat principal

Théorème 1.1: Pour le twist quadratique $E_D: y^2 = x^3 + D^2Ax + D^3B$, lorsque $D$ est suffisamment grand: $|E_D(\mathbb{Z})| \ll 4^r$ où la constante implicite est absolue (indépendante de $A, B$) et effectivement calculable.

Comparaison avec les résultats existants

Cet article améliore la constante pour les familles générales de twists quadratiques à un niveau proche du résultat de Chan pour les courbes spéciales, ce qui constitue un progrès significatif.

Vérification des détails techniques

Les démonstrations de chaque proposition donnent des constantes explicites:

• Proposition 5.1: $|E_D(\mathbb{Z})_{\text{small}}| \ll 4^r$
• Proposition 6.3: $|E_D(\mathbb{Z})_{\text{medium-small}}| \ll 4^r$
• Proposition 7.2: $|E_D(\mathbb{Z})_{\text{medium-large}}| \ll (1.55)^r \ll 4^r$
• Proposition 10.4: $|E_D(\mathbb{Z})_{\text{large}}| \ll (3.99)^r \leq 4^r$

La constante finale 4 est principalement déterminée par l'analyse des grands points: $(1.33)^r \times 3^r = (3.99)^r$.

Travaux connexes

Évolution historique

1. Théorie classique:
   • Siegel (1929): Finitude des points entiers (non-effective)
   • Baker (1966): Première borne effective (très grande)
   • Lang (années 1970): Formulation de la conjecture $|E(\mathbb{Z})| \ll C^r$
2. Courbes elliptiques générales:
   • Silverman (1987): Cas du ratio de Szpiro borné
   • Hindry-Silverman (1988): Méthode de hauteur canonique
   • Helfgott-Venkatesh (2006): $C = 1.34$ (avec facteur logarithmique)
3. Familles de twists quadratiques:
   • Silverman (1987): Établissement du cadre fondamental
   • Gross-Silverman (1995): $C \sim 10^9$
   • Helfgott (2004): Introduction du principe d'écart
   • Chi-Lai-Tan (2005): $C = 25$
   • Alpoge (2014): Étude des bornes moyennes
   • Chan (2022): Courbes de nombres congruents $C = 3.8$

Innovation de cet article

Comparé aux travaux antérieurs:

• Méthodologie: Combinaison systématique du principe d'écart, de la théorie des codes sphériques et du théorème de Roth quantitatif
• Finesse technique: Amélioration significative des constantes par subdivision multi-niveaux et estimations géométriques précises
• Universalité: Applicable à tous les twists quadratiques, non limité aux courbes spéciales

Conclusion et discussion

Conclusions principales

Cet article démontre que pour les twists quadratiques $E_D$ de courbes elliptiques, lorsque $D$ est suffisamment grand, le nombre de points entiers satisfait $|E_D(\mathbb{Z})| \ll 4^r$, où la constante 4 est absolue et effectivement calculable. C'est l'un des meilleurs résultats connus pour la conjecture de Lang sur les familles de twists quadratiques.

Limitations

1. Condition "suffisamment grand": Le théorème requiert $D \geq D_0$, où $D_0$ dépend de $A, B$. Bien que théoriquement $D_0$ soit calculable, l'article ne fournit pas de valeur explicite.
2. Caractère absolu de la constante: Bien que la constante 4 soit indépendante de $E$, la constante multiplicative implicite dans $\ll$ peut être grande, nécessitant des estimations plus précises pour les applications pratiques.
3. Courbes elliptiques générales: Cet article traite uniquement les familles de twists quadratiques; pour les courbes elliptiques générales (cas non-twist), la constante optimale de la conjecture de Lang reste inconnue.
4. Cas de petit $D$: Pour $D$ borné, la méthode de cet article ne s'applique pas, nécessitant d'autres techniques (comme la méthode de Baker).

Directions futures

1. Amélioration supplémentaire de la constante: Peut-on réduire 4 à une valeur plus proche de l'optimum théorique (possiblement proche de 3 ou moins)?
2. Effectivité: Fournir une borne explicite pour $D_0$, rendant le résultat applicable aux calculs pratiques.
3. Généralisation à d'autres twists: Extension de la méthode aux twists cubiques, quartiques et plus généralement aux twists d'ordre supérieur.
4. Connexion avec la conjecture BSD: Exploration des relations entre le nombre de points entiers et les invariants arithmétiques (fonction L, groupe de Tate-Shafarevich, etc.).
5. Bornes moyennes: Étude du comportement moyen du nombre de points entiers sur tous les twists quadratiques (direction du travail d'Alpoge).

Évaluation approfondie

Avantages

1. Progrès théorique important: L'amélioration de la constante pour les familles de twists quadratiques de 25 à 4 constitue une percée significative dans ce domaine, se rapprochant du résultat spécialisé 3.8 pour les courbes de nombres congruents.
2. Systématicité de la méthode:
   • Stratégie de décomposition en quatre niveaux claire et rationnelle
   • Utilisation des outils les plus appropriés pour chaque niveau (codes sphériques, approximation diophantienne)
   • Combinaison technique élégante et efficace
3. Profondeur technique:
   • Application fine du principe d'écart (Lemme 3.9 et ses corollaires)
   • Précision de l'analyse géométrique (estimations de coordonnées des Lemmes 3.6-3.8)
   • Construction ingénieuse de l'approximation diophantienne (technique des tiers-points du Lemme 8.2)
4. Rigueur de la démonstration: Tous les calculs sont détaillés, les appendices fournissent une vérification complète des inégalités clés (Appendices A, B).
5. Clarté de la présentation:
   • Structure hiérarchique bien organisée
   • Numérotation systématique des lemmes
   • Explications suffisantes des idées clés

Insuffisances

1. Limitations de calculabilité:
   • La borne explicite pour "$D$ suffisamment grand" n'est pas clarifiée
   • La taille de la constante implicite n'est pas discutée
   • Applicabilité pratique limitée
2. Optimalité inconnue de la constante:
   • Existe-t-il un $E_D$ de rang $r$ tel que $|E_D(\mathbb{Z})| \sim 4^r$?
   • Quelle est la constante théoriquement optimale?
   • Comparaison avec le 1.34 de Helfgott-Venkatesh (bien qu'avec facteur logarithmique)
3. Limitations techniques:
   • La méthode dépend fortement de la structure spéciale des twists quadratiques
   • Généralisation aux courbes elliptiques générales difficile
   • Inapplicable aux petites valeurs de $D$
4. Absence de vérification numérique: Bien que théorique, l'article manque d'exemples concrets validant l'efficacité de la borne théorique.

Portée et impact

1. Signification théorique:
   • Avancement de la recherche sur la conjecture de Lang
   • Fourniture de nouveaux outils techniques pour les problèmes de points entiers
   • Potentiel d'inspiration pour l'étude d'autres équations diophantiennes
2. Contribution méthodologique:
   • Application systématique de codes sphériques + principe d'écart
   • Stratégie de décomposition multi-échelle
   • Utilisation effective du théorème de Roth quantitatif
3. Recherches ultérieures:
   • Possibilité d'optimisation supplémentaire de la constante
   • Modèle méthodologique pour d'autres familles de twists
   • Connexions avec d'autres problèmes en géométrie arithmétique
4. Reproductibilité: Démonstration entièrement théorique, forte reproductibilité, mais implémentation numérique nécessite travail supplémentaire.

Domaines d'application

1. Recherche théorique:
   • Théorie arithmétique des courbes elliptiques
   • Géométrie diophantienne
   • Théorie de la hauteur
2. Applications potentielles:
   • Sélection de paramètres de courbes elliptiques en cryptographie
   • Problème des nombres congruents
   • Fondements théoriques des algorithmes de recherche de points rationnels
3. Valeur pédagogique: Illustration de la synthèse de plusieurs techniques modernes en théorie des nombres, appropriée comme étude de cas pour des cours avancés.

Références bibliographiques (références clés)

1. 21 Siegel (1929): Travail fondateur sur la finitude des points entiers
2. 16,17 Lang (années 1970-1980): Formulation de la conjecture de Lang
3. 22 Silverman (1987): Théorème de Siegel quantitatif, établissement de la méthode de hauteur
4. 12 Helfgott (2004): Introduction du principe d'écart
5. 14 Helfgott-Venkatesh (2006): Résultat avec $C=1.34$
6. 5 Chi-Lai-Tan (2005): Résultat optimal précédent avec $C=25$
7. 4 Chan (2022): Courbes de nombres congruents avec $C=3.8$
8. 9 Evertse (2010): Théorème de Roth quantitatif
9. 15 Kabatiansky-Levenshtein (1978): Borne pour codes sphériques

Évaluation générale: Cet article est un travail de haute qualité en théorie des nombres, réalisant un progrès substantiel dans l'étude de la conjecture de Lang. La méthode est systématique, la démonstration rigoureuse, et les résultats significatifs. Bien qu'il y ait encore de la place pour amélioration en termes de calculabilité et d'optimalité de la constante, il représente le niveau optimal actuel pour ce problème. Il possède une valeur théorique importante et une signification méthodologique pour la recherche sur la théorie des points entiers sur les courbes elliptiques.