Additive Rigidity for $x$-Coordinates of Rational Points on Elliptic Curves

Cet article démontre que le nombre de points rationnels sur une courbe elliptique dont les coordonnées $x$ appartiennent à une progression arithmétique généralisée est borné par une fonction du rang de Mordell-Weil, en combinant des principes d'écart pour les hauteurs canoniques avec des bornes sur les codes sphériques.

L'essentiel

🎨 Titre : La Danse Contrainte des Points sur une Courbe

Imaginez que vous avez deux mondes très différents qui tentent de danser ensemble.

1. Le Monde de la Courbe (Les Points Rationnels) :
   Imaginez une forme géométrique complexe, une courbe elliptique, dessinée sur une feuille de papier. Sur cette courbe, il y a des points spéciaux appelés "points rationnels". Ces points ont une règle de danse très stricte : ils obéissent à une loi de groupe (comme des joueurs d'échecs qui suivent des règles précises pour se déplacer). Si vous prenez deux points et que vous les "additionnez" selon cette règle, vous obtenez un troisième point sur la même courbe. C'est un monde de structure géométrique rigide.

2. Le Monde des Nombres (La Droite Numérique) :
   Maintenant, imaginez une ligne droite infinie avec tous les nombres rationnels (les fractions). Sur cette ligne, les nombres peuvent s'aligner de manière très simple et prévisible, comme des soldats en rangée ou des perles sur un collier. C'est ce qu'on appelle une progression arithmétique (ex: 2, 4, 6, 8...). C'est un monde de structure additive simple.

🚫 Le Conflit : Quand les deux mondes se rencontrent

La question que pose l'auteur est la suivante : Est-il possible que les points de la courbe (monde 1) s'alignent parfaitement selon les règles de la ligne droite (monde 2) ?

Plus précisément, si on regarde les coordonnées "x" (la position horizontale) de plusieurs points sur la courbe, peuvent-ils former une longue file droite, comme 1, 2, 3, 4, 5... ?

La réponse de l'article est un grand NON.

L'auteur prouve qu'il y a une rigidité fondamentale. La courbe elliptique refuse de laisser ses points s'aligner trop facilement. Si vous essayez de forcer un grand nombre de points à s'aligner dans une structure additive (comme une progression arithmétique), la courbe vous dit : "Non, vous ne pouvez pas en avoir autant !"

🔍 L'Analogie du "Tapis de Gymnastique" et des "Gymnastes"

Pour comprendre pourquoi, imaginons la courbe elliptique comme un tapis de gymnastique géant (le réseau de Mordell-Weil).

• Les points rationnels sont des gymnastes qui se tiennent debout sur ce tapis.
• La hauteur d'un point (son "canonical height") correspond à la distance du gymnaste par rapport au centre du tapis.
• La règle de la courbe dit que si deux gymnastes ont une hauteur similaire, ils ne peuvent pas se tenir trop près l'un de l'autre. Ils doivent garder une certaine distance, comme s'ils devaient éviter de se cogner. C'est ce qu'on appelle un principe de "fente" (gap principle).

Maintenant, imaginez que vous voulez placer ces gymnastes de manière à ce que leurs positions horizontales (leurs coordonnées x) forment une ligne parfaite (une progression arithmétique).

• Le problème : Pour former une ligne parfaite sur le papier, les gymnastes devraient être très serrés les uns contre les autres dans certaines directions.
• La conséquence : Mais la règle du tapis (la géométrie de la courbe) leur interdit de se rapprocher trop s'ils ont une certaine taille.
• Le résultat : Vous ne pouvez pas avoir une foule immense de gymnastes qui respectent à la fois la règle de la ligne droite ET la règle du tapis. Plus la ligne est longue, plus la courbe devient "tendue" et finit par rejeter les points excédentaires.

📐 Le Résultat Principal (Le Théorème)

L'auteur généralise cette idée. Il ne parle pas seulement de lignes droites simples, mais de structures plus complexes appelées "progressions arithmétiques généralisées" (des grilles multidimensionnelles).

Il démontre que :

Si vous prenez un ensemble de points sur une courbe elliptique et que leurs coordonnées "x" occupent une grande partie d'une de ces grilles, alors le nombre total de points est limité.

Ce nombre limite dépend de la "complexité" de la courbe (son rang, noté r). Plus la courbe est complexe (plus r est grand), plus vous pouvez avoir de points, mais il y a toujours une barrière. Vous ne pouvez pas avoir une infinité de points qui s'alignent ainsi.

🌟 Pourquoi est-ce important ?

C'est comme si vous découvriez une loi de la nature disant : "L'ordre parfait (les nombres alignés) et la complexité géométrique (la courbe) ne peuvent pas coexister en grand nombre."

Cela a des conséquences fascinantes :

1. Restriction des motifs : On ne peut pas trouver de longues suites de points rationnels dont les coordonnées "x" forment des suites mathématiques trop régulières.
2. Outils pour les mathématiciens : Cela permet de prouver que certaines configurations de nombres sont impossibles, ce qui aide à résoudre d'autres énigmes en théorie des nombres.

💡 En résumé

Imaginez que vous essayez de faire s'aligner des étoiles (les points) sur une toile d'araignée (la courbe) pour former une ligne droite parfaite. L'auteur nous dit que la toile d'araignée est si élastique et réactive que si vous essayez de mettre trop d'étoiles dans une ligne, la toile va se tendre et en éjecter certaines. Il y a une résistance fondamentale de la géométrie des courbes elliptiques contre l'alignement trop parfait des nombres.

C'est une preuve élégante que l'ordre simple (l'addition) et la structure complexe (la géométrie des courbes) sont, en quelque sorte, des ennemis naturels lorsqu'il s'agit de créer de grandes foules ordonnées.

Résumé technique

Voici un résumé technique détaillé du papier « Additive Rigidity for x-Coordinates of Rational Points on Elliptic Curves » de Seokhyun Choi, rédigé en français.

1. Problématique et Contexte

Le papier s'inscrit à l'intersection de la théorie des nombres (points rationnels sur les courbes elliptiques) et de la combinatoire additive. Le problème central est de comprendre l'interaction entre deux structures additives distinctes :

1. La structure de groupe abélien fini du groupe de Mordell-Weil $E(\mathbb{Q})$ d'une courbe elliptique définie sur $\mathbb{Q}$.
2. La structure additive naturelle de l'ensemble des nombres rationnels $\mathbb{Q}$.

Plus spécifiquement, l'auteur étudie les motifs additifs parmi les coordonnées $x$ des points rationnels. Une question classique, formulée par Bremner (Conjecture 1.1), demande si la longueur d'une progression arithmétique formée par les coordonnées $x$ de points rationnels est bornée par une constante dépendant uniquement du rang $r$ de la courbe.

L'objectif de ce travail est de généraliser cette conjecture au-delà des progressions arithmétiques simples (dimension 1) pour englober des progressions arithmétiques généralisées (GAP) de dimension $d$, et d'investiguer comment les points rationnels peuvent se distribuer dans des ensembles possédant une forte structure additive.

2. Méthodologie

La preuve repose sur une tension fondamentale entre la géométrie du réseau de Mordell-Weil et la structure additive des coordonnées $x$. La méthodologie se décompose en plusieurs étapes clés :

A. Géométrie du Réseau de Mordell-Weil et Codes Sphériques

L'auteur utilise le théorème de Mordell-Weil ($E(\mathbb{Q}) \cong E(\mathbb{Q})_{tors} \oplus \mathbb{Z}^r$) et la hauteur canonique $\hat{h}$ pour identifier la partie libre de $E(\mathbb{Q})$ avec un réseau euclidien de dimension $r$.

• Les points rationnels sont vus comme des vecteurs dans cet espace.
• Le principe clé est que des ensembles de points ayant des hauteurs canoniques comparables doivent être séparés angulairement dans ce réseau.
• Cette séparation angulaire est quantifiée en utilisant des bornes pour les codes sphériques (théorèmes de Kabatjanskiĭ-Levenšteĭn et de Conway-Sloane), qui limitent le nombre de vecteurs unitaires pouvant exister avec un angle minimal donné.

B. Principes de Gaps (Gap Principles)

Pour établir cette séparation angulaire, l'auteur développe des inégalités diophantiennes (principes de gaps) basées sur les travaux de Helfgott et Venkatesh.

• Ces principes affirment que si deux points rationnels $P$ et $Q$ ont des coordonnées $x$ proches (dans un sens additif) et des hauteurs comparables, alors l'angle entre eux dans le réseau de Mordell-Weil est borné inférieurement, sauf si des dégénérescences arithmétiques se produisent.
• L'analyse est divisée en deux régimes selon la taille des coordonnées $x$ :
  • Petites coordonnées : $|x| \le 2X^{1/6}$ (où $X$ est un paramètre de hauteur global lié au discriminant).
  • Grandes coordonnées : $x \ge X^{1/6}$.
• Des estimations explicites de la hauteur de Weil et de la hauteur canonique sont utilisées pour relier la taille des dénominateurs communs des coordonnées $x$ à l'angle entre les points.

C. Lemme d'Extraction et Combinatoire Additive

Un défi majeur est de gérer la nature rationnelle des progressions arithmétiques généralisées (GAP).

• L'auteur établit un lemme d'extraction (Section 4) montrant que si un sous-ensemble dense d'une GAP contient une proportion positive de points, alors une proportion positive de ces points satisfait une condition de « primitivité » (le PGCD du numérateur et du dénominateur commun est petit par rapport au dénominateur).
• Ce résultat permet d'appliquer les principes de gaps (qui nécessitent cette condition de primitivité) à un sous-ensemble suffisamment grand de la configuration initiale.
• La preuve combine ensuite ces résultats avec le théorème de Freiman de la combinatoire additive, qui stipule que tout ensemble à petite somme (petit doublement) est contenu dans une GAP de dimension bornée.

3. Résultats Principaux

Théorème Principal (Théorème 1.2)

Soit $E/\mathbb{Q}$ une courbe elliptique de rang de Mordell-Weil $r$. Soit $d \ge 1$ un entier et $\rho > 0$. Il existe une constante $A(E, d, \rho) > 0$ telle que :
Si un sous-ensemble fini $P \subseteq E(\mathbb{Q})$ vérifie :

1. L'ensemble de ses coordonnées $x$, noté $x(P)$, est contenu dans une progression arithmétique généralisée (GAP) de dimension $d$.
2. La densité relative est positive : $|x(P)| \ge \rho |G|$ (où $G$ est la GAP).

Alors, le nombre de points est borné par :
$$|P| \le A(E, d, \rho)^r$$

Condition d'indépendance de la courbe : En supposant la Conjecture de Lang (Conjecture 1.4) sur les bornes inférieures des hauteurs canoniques, la constante $A$ ne dépend que de $d$ et $\rho$, et non de la courbe spécifique $E$.

Conséquences et Applications

• Généralisation de la conjecture de Bremner : Le cas $d=1, \rho=1$ correspond aux progressions arithmétiques classiques, confirmant la conjecture de Bremner sous réserve de la conjecture de Lang.
• Corollaire 1.3 (Petites sommes) : Si l'ensemble des coordonnées $x$ a un petit doublement additif ($|S+S| \le K|S|$), alors $|P|$ est borné par $A(E, K)^r$.
• Corollaire 8.7 (Énergie additive) : Les grands ensembles de points rationnels ne peuvent pas avoir une énergie additive élevée (trop de solutions à $x_1 + x_2 = x_3 + x_4$).

4. Contributions Clés

1. Rigidité Additive : Le papier démontre une « rigidité » fondamentale : la structure additive de $\mathbb{Q}$ (via les GAP) est incompatible avec la géométrie du réseau de Mordell-Weil. Les points rationnels ne peuvent pas s'accumuler dans des structures additives de basse dimension sans que leur nombre ne soit exponentiellement borné par le rang.
2. Technique Unifiée : L'approche combine de manière novatrice des outils de géométrie des nombres (hauteurs, réseaux), d'analyse diophantienne (principes de gaps) et de combinatoire additive (théorème de Freiman, codes sphériques).
3. Gestion des Coordonnées Rationnelles : La résolution du problème des dénominateurs communs dans les GAP via le lemme d'extraction (Lemmes 4.1 à 4.5) est une contribution technique majeure permettant de passer des structures additives rationnelles aux contraintes géométriques sur les hauteurs.

5. Signification et Impact

Ce travail apporte une réponse profonde à la question de la distribution des points rationnels sur les courbes elliptiques. Il montre que, même si le groupe de Mordell-Weil est infini, la répartition de ses points dans l'espace affine (via les coordonnées $x$) est extrêmement contrainte par la géométrie sous-jacente.

• Théorique : Il établit un lien rigoureux entre la théorie des courbes elliptiques et la combinatoire additive, suggérant que les ensembles de points rationnels ne peuvent pas imiter les structures additives denses des entiers ou des rationnels.
• Pratique : Sous l'hypothèse de la conjecture de Lang (qui est largement acceptée et prouvée pour certaines familles de courbes), ces résultats fournissent des bornes uniformes pour le nombre de points dans des configurations additives, ce qui a des implications pour les problèmes de points entiers et de progressions arithmétiques sur les courbes elliptiques.

En résumé, Choi prouve que la « géométrie » de la courbe elliptique impose une limite stricte à la « structure additive » que ses points rationnels peuvent former, rendant impossible la présence de grands ensembles de points dans des progressions arithmétiques généralisées de faible dimension.