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

Dit artikel bewijst dat het aantal rationale punten op een elliptische kromme wiens x-coördinaten een positief deel van een $d$-dimensionale gegeneraliseerde rekenkundige progressie vormen, begrensd is door een functie van de Mordell-Weil-rang, waarbij de bewijsvoering gebruikmaakt van gap-principes en sferische codes.

De kern

Titel: De Onmogelijke Dans van Getallen op Elliptische Krommen

Stel je voor dat je twee heel verschillende werelden hebt die proberen met elkaar te praten. De ene wereld is de wiskunde van de elliptische krommen (een soort complexe, gebogen lijnen waar getallen op kunnen 'zitten'). De andere wereld is de wiskunde van patronen, zoals rijen getallen die netjes op elkaar volgen (zoals 2, 4, 6, 8...).

Deze paper, geschreven door Seokhyun Choi, onderzoekt wat er gebeurt als je probeert punten van de eerste wereld (de elliptische kromme) in de tweede wereld (de strakke patronen) te proppen. Het antwoord is verrassend: het lukt bijna niet.

Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen:

1. Het Probleem: Twee verschillende dansstijlen

Stel je een elliptische kromme voor als een gigantisch, onvoorspelbaar trampolinepark. De punten die erop liggen (de rationale punten) gedragen zich alsof ze een eigen dansstijl hebben. Ze kunnen overal zijn, maar ze volgen een heel specifieke, ingewikkelde regel (de "groepswet").

Aan de andere kant heb je een streng georganiseerde stoelrij (een rekenkundige rij). Hier zitten de stoelen op exact gelijke afstand van elkaar: 1, 2, 3, 4...

De vraag die Choi stelt is: "Hoeveel mensen kunnen er op die trampoline staan, als we eisen dat hun positie precies in zo'n strakke stoelrij past?"

2. De Hoofdconclusie: Er is een limiet

Choi bewijst dat er een harde limiet is. Als je een grote verzameling punten op de elliptische kromme hebt, en hun coördinaten (hun "x-positie") vormen een strak patroon (zoals een rij getallen met gelijke tussenpozen), dan kan die verzameling niet oneindig groot zijn.

De grootte van deze verzameling hangt af van de "complexiteit" van de kromme (de rang, laten we dat noemen de grootte van het trampolinepark).

• De regel: Hoe meer punten je wilt hebben in zo'n strak patroon, hoe groter je trampolinepark moet zijn. Maar zelfs dan is er een maximum. Je kunt niet oneindig veel mensen in een strakke rij op een trampoline proppen zonder dat ze elkaar verstoren.

3. Hoe werkt het? De "Afstandswet"

Waarom lukt dit niet? Choi gebruikt een slimme combinatie van twee ideeën:

• De "Ruimte-afstand" (Gap Principles):
  Stel je voor dat de punten op de trampoline niet zomaar waar mogen staan. Als ze allemaal ongeveer even "hoog" springen (een wiskundig concept genaamd hoogte), dan moeten ze ver genoeg uit elkaar zitten. Ze kunnen niet te dicht bij elkaar staan, alsof er een onzichtbare kracht is die ze uit elkaar duwt.

  • Vergelijking: Het is alsof je mensen op een ijsbaan zet. Als ze allemaal even hard rennen, moeten ze een veilige afstand houden om niet te botsen. Als je ze te dicht bij elkaar probeert te zetten in een strakke rij, botsen ze.

• De "Bollen-pakking" (Spherical Codes):
  Choi kijkt naar hoe deze punten zich in de ruimte verdelen. Omdat ze een bepaalde afstand moeten houden, kunnen er maar een beperkt aantal in een bepaalde hoek passen.

  • Vergelijking: Denk aan het proberen te vullen van een bol met kleine ballen. Je kunt er maar een bepaald aantal in kwijt voordat ze tegen elkaar aan duwen. De "strakke rij" (het rekenkundige patroon) probeert de ballen in een lijn te dwingen, maar de natuurwetten van de trampoline (de elliptische kromme) dwingen ze juist om in een willekeurige, gespreide vorm te zitten. Deze twee eisen botsen met elkaar.

4. Het Resultaat: Een "Rigiditeit"

Het woord "rigiditeit" in de titel betekent stijfheid.
De paper laat zien dat de structuur van de elliptische kromme zo stijf is, dat hij niet kan buigen om in een strak rekenkundig patroon te passen.

• Als je een grote groep punten hebt die in een strak patroon zitten (bijvoorbeeld een rij getallen met gelijke tussenpozen), dan is de kans dat ze allemaal op die specifieke elliptische kromme liggen, extreem klein.
• Als ze er toch liggen, dan is het aantal punten beperkt tot een getal dat afhangt van de "grootte" van de kromme.

5. Waarom is dit belangrijk?

Dit is niet alleen een leuk wiskundig raadsel. Het helpt ons begrijpen hoe getallen zich gedragen in de natuur van de wiskunde.

• Het zegt ons dat willekeur en orde in de getallenwereld vaak met elkaar in conflict zijn.
• Het helpt bij het oplossen van andere problemen, zoals het vinden van punten met specifieke eigenschappen (bijvoorbeeld punten die "kleine sommen" vormen).

Samenvatting in één zin:

Je kunt niet oneindig veel punten op een elliptische kromme vinden die netjes in een strakke rij staan; de "dans" van de kromme dwingt ze om uit elkaar te gaan, en dat breekt het strakke patroon.

De auteur toont aan dat er een fundamentele wet bestaat: Hoe strakker het patroon, hoe minder punten er passen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Additive Rigidity for x-coordinates of Rational Points on Elliptic Curves" van Seokhyun Choi, geschreven in het Nederlands.

Titel: Additieve rigiditeit voor x-coördinaten van rationale punten op elliptische krommen

Auteur: Seokhyun Choi
Datum: 6 maart 2026 (voorgesteld)
Vakgebied: Getaltheorie (11G05), Additieve Combinatoriek

---

1. Probleemstelling en Context

Het artikel onderzoekt de interactie tussen twee fundamenteel verschillende algebraïsche structuren die voorkomen in de studie van rationale punten op elliptische krommen:

1. De groepsstructuur van de Mordell-Weil groep $E(\mathbb{Q})$, die een eindig gegenereerde abelse groep is.
2. De additieve structuur van de rationale getallen $\mathbb{Q}$ zelf, die rijk is aan gestructureerde subsets zoals rekenkundige progressies.

Een klassiek probleem, geformuleerd door Bremner (Conjecture 1.1), stelt dat de lengte van een rekenkundige progressie gevormd door de x-coördinaten van rationale punten op een elliptische kromme $E$ met rang $r$, begrensd moet zijn door een constante maal $r$ (d.w.z. $N \leq A \cdot r$).

Choi breidt dit probleem uit. In plaats van alleen te kijken naar rekenkundige progressies (1-dimensionale structuren), onderzoekt hij hoe rationale punten zich gedragen binnen veralgemeende rekenkundige progressies (GAP's) van hogere dimensie $d$. De centrale vraag is: Hoe groot kan een verzameling rationale punten zijn als hun x-coördinaten een positieve fractie vormen van een d-dimensionale GAP in $\mathbb{Q}$?

2. Methodologie

De bewijstechniek combineert diepe resultaten uit de Diophantische meetkunde met methoden uit de additieve combinatoriek en de meetkunde van getallenroosters. De aanpak verloopt in de volgende fasen:

A. Meetkunde van het Mordell-Weil-rooster

De auteur gebruikt het Mordell-Weil-theorema, dat stelt dat $E(\mathbb{Q}) \cong E(\mathbb{Q})_{tors} \oplus \mathbb{Z}^r$. De canonieke hoogte $\hat{h}$ geeft de vrije deelgroep de structuur van een euklidisch rooster van dimensie $r$.

• Rationale punten worden geïnterpreteerd als roosterpunten in $\mathbb{R}^r$.
• Punten met vergelijkbare canonieke hoogten moeten een minimale hoek van elkaar hebben in dit rooster (gap principles).
• Dit probleem reduceert tot het tellen van het maximale aantal punten met een minimale hoek op een sfeer, wat bekend staat als het probleem van sferische codes (spherical codes).

B. Gap Principles (Gatenprincipes)

Het artikel ontwikkelt nieuwe versies van gap principles (gebaseerd op werk van Helfgott en Venkatesh) die specifiek zijn aangepast voor rationale punten en additieve configuraties.

• Deze principes stellen dat rationale punten met vergelijkbare hoogten en specifieke arithmetische eigenschappen (gerelateerd aan de noemers van hun x-coördinaten) niet te dicht bij elkaar in het Mordell-Weil-rooster kunnen liggen.
• Er wordt onderscheid gemaakt tussen punten met kleine x-coördinaten en grote x-coördinaten, waarbij verschillende hoogte-schattingen (Lemma 3.2 en 3.3) worden gebruikt om de hoekafstand $\theta_{P,Q}$ te begrenzen.

C. Extractielemma's voor Veralgemeende Rekenkundige Progressies

Een cruciale technische stap is het bewijzen dat als een subset een positieve fractie ($\rho$) van een GAP inneemt, er een grote onderverzameling bestaat waarvan de elementen voldoen aan een "primitiviteitsvoorwaarde" (gerelateerd aan de grootste gemene deler van de teller en noemer).

• Lemma 4.1 en 4.4: Deze lemma's tonen aan dat producten van ggd's langs een GAP niet onafhankelijk kunnen groeien.
• Corollary 4.5: Dit lemma garandeert dat men een subset kan "extraheren" van de rationale punten die voldoet aan de voorwaarden om de gap principles toe te passen, zelfs in hoge dimensies.

D. Combinatie met Freiman's Stelling

Door de resultaten te combineren met Freiman's stelling uit de additieve combinatoriek (die stelt dat verzamelingen met kleine somsets structuur hebben die lijkt op een GAP), worden beperkingen afgeleid voor verzamelingen met kleine verdubbeling of kleine somsets.

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.2)

Laat $E/\mathbb{Q}$ een elliptische kromme zijn met Mordell-Weil rang $r$. Laat $d \geq 1$ een geheel getal zijn en $\rho > 0$. Dan bestaat er een constante $A(E, d, \rho) > 0$ zodanig dat voor elke eindige subset $P \subseteq E(\mathbb{Q})$:

1. De verzameling x-coördinaten $x(P)$ bevat is in een $d$-dimensionale veralgemeende rekenkundige progressie $G$.
2. $|x(P)| \geq \rho |G|$ (een positieve fractie van de progressie).

Geldt dan:
$$|P| \leq A(E, d, \rho) \cdot r$$

Belangrijke nuancering: Als Lang's conjecture (Conjecture 1.4) waar is, dan hangt de constante $A(E, d, \rho)$ alleen af van $d$ en $\rho$, en niet van de specifieke kromme $E$. Dit zou betekenen dat de bound uniform is voor families van krommen.

Corollaria en Toepassingen

• Corollary 1.3 (Kleine somsets): Als de somset $S+S$ van de x-coördinaten $S$ klein is ($|S+S| \leq K|S|$), dan is $|P| \leq A(E, K) \cdot r$.
• Corollary 8.1: Als de x-coördinaten zelf een $d$-dimensionale GAP vormen, is de grootte begrensd door $A(E, d) \cdot r$.
• Corollary 8.7 (Additieve energie): Grote verzamelingen rationale punten kunnen geen hoge additieve energie hebben (d.w.z. ze kunnen niet veel oplossingen hebben voor $x(P_1) + x(P_2) = x(P_3) + x(P_4)$).

4. Significatie en Impact

1. Bevestiging van Rigiditeit: Het artikel toont aan dat de additieve structuur van $\mathbb{Q}$ en de groepstructuur van $E(\mathbb{Q})$ fundamenteel incompatibel zijn. Rationale punten op elliptische krommen kunnen niet "dicht" ophopen in additief gestructureerde sets zoals GAP's, tenzij de verzameling klein is in verhouding tot de rang.
2. Veralgemening van Bremner's Vermoeden: Het resultaat generaliseert Bremner's conjectuur over rekenkundige progressies ($d=1$) naar veralgemeende rekenkundige progressies van willekeurige dimensie.
3. Technische Innovatie: De paper introduceert een krachtige methode om gap principles toe te passen op rationale punten met specifieke noemer-eigenschappen, wat een brug slaat tussen Diophantische meetkunde en additieve combinatoriek.
4. Rol van Lang's Conjecture: Het werk benadrukt de centrale rol van Lang's conjecture over canonieke hoogten. Als deze conjecture waar is, worden de resultaten "uniform" (onafhankelijk van de kromme), wat een sterkere vorm van rigiditeit impliceert.

Conclusie

Seokhyun Choi bewijst dat de x-coördinaten van rationale punten op een elliptische kromme een sterke "additieve rigiditeit" vertonen. Ze kunnen geen grote subsets vormen binnen veralgemeende rekenkundige progressies. De maximale grootte van zo'n verzameling wordt lineair begrensd door de rang van de kromme. Dit resultaat biedt nieuwe inzichten in de verdeling van rationale punten en biedt een robuust raamwerk voor het bestuderen van Diophantische vergelijkingen met additieve restricties.