A trick to ensure positive Mordell-Weil rank

In dit korte artikel presenteren de auteurs een methode om te garanderen dat de Jacobiaanse variëteit van een gladde kromme een strikt positieve Mordell-Weil-rang heeft, mits er een rationale divisorklasse van graad 1 bestaat en er geen rationale niet-triviale 2-torsie of rationale theta-karakteristieken zijn.

De kern

Stel je voor dat je een heel ingewikkeld slot hebt, een Mordell-Weil slot. Dit slot zit op een magische schatkast (de Jacobi-variëteit van een wiskundige kromme). Wiskundigen willen weten of er een sleutel in zit die de kast opent en er een oneindig aantal nieuwe schatten uit haalt. Als er zo'n sleutel is, zeggen we dat het "rang" van het slot positief is.

Het probleem is: deze sleutels zijn vaak erg lastig te vinden. Je kunt urenlang zoeken naar een specifieke sleutel (een rationaal punt) die niet vastzit aan de kast, maar dat lukt niet altijd.

In dit korte, slimme artikelje van Thibaut Misme uit Trinity College Dublin, wordt een nieuwe "truc" gepresenteerd. Het is een manier om te weten dat er zeker een sleutel in zit, zonder dat je die sleutel eerst hoeft te vinden.

De Drie Deuren van de Kast

Stel je voor dat je voor de kast staat en je wilt weten of er een sleutel is. De auteur zegt: "Kijk niet naar de sleutel zelf, maar kijk naar wat er niet is."

Er zijn drie dingen die je kunt controleren. Als je twee van de volgende drie dingen niet vindt, dan is er gegarandeerd een sleutel:

1. De simpele sleutels (2-torsie): Dit zijn sleutels die je twee keer moet draaien om de kast te openen, maar die na twee keer draaien weer op hun plek zitten. Als er geen van deze simpele, rationele sleutels zijn...
2. De speciale sleutelvormen (Theta-karakteristieken): Dit zijn heel specifieke, rare sleutelvormen die alleen bestaan als de kast een bepaalde symmetrie heeft. Als er geen van deze rare vormen te vinden zijn...
3. Dan is er een echte, krachtige sleutel (Positieve rang): Als je geen simpele sleutels en geen rare vormen vindt, maar je weet wel dat de kast een basis heeft (een "rationele divisor van graad 1"), dan moet er een krachtige, oneindige sleutel in zitten.

Het is alsof je zegt: "Als er geen simpele sleutels hangen en er is geen speciale sleutelvorm te zien, dan moet er per definitie een magische sleutel in het slot zitten, ook al heb ik hem nog niet in mijn hand."

Hoe werkt de truc? (De Twee Bewijzen)

De auteur geeft twee manieren om dit te bewijzen, die we als twee verschillende metaforen kunnen zien:

1. De Balansschaal (Het eerste bewijs)
Stel je een balansschaal voor. Aan de ene kant heb je de "standaard" situatie. Aan de andere kant heb je een vreemde situatie die ontstaat door de simpele sleutels en de rare vormen weg te halen. Als die kant van de schaal leeg is (geen simpele sleutels, geen rare vormen), dan moet er aan de andere kant een zware last liggen om de balans te houden. Die zware last is de positieve rang. Als er niets is om de balans te verstoren, moet er iets groots zijn dat de schaal in evenwicht houdt.

2. De Dansende Groep (Het tweede bewijs)
Stel je voor dat de sleutels dansen op muziek van de Galois-groep (de muziek die de wiskunde regelt).

• Als er een "rationale theta-karakteristiek" is, dan dansen ze allemaal perfect synchroon met de muziek.
• Als er geen simpele sleutels zijn, dan dansen ze niet synchroon.
  De auteur toont aan dat als ze niet synchroon dansen (geen rare vorm) én er geen simpele sleutels zijn, er een "danspas" moet zijn die nooit stopt. Die danspas is de oneindige rang.

De Praktische Toepassing: De "Mascot" Machine

In de echte wereld (computers) is het lastig om te kijken of er rare vormen zijn. Maar de auteur heeft een nog slimmere truc bedacht voor de meeste gevallen:

Hij zegt: "Kijk alleen naar de simpele sleutels (de 2-torsie)."
Als je een computerprogramma (genaamd Mascot) gebruikt om te kijken hoe de simpele sleutels met elkaar verbonden zijn, en je ziet dat ze allemaal door elkaar heen dansen (een "transitieve actie"), dan weet je het zeker:

• Er zijn geen simpele sleutels (want ze zijn allemaal verbonden).
• Er zijn ook geen rare vormen (want die zouden de dansgroep in tweeën splitsen).
• Conclusie: Er zit een krachtige sleutel in!

Dit is als het controleren van een groep mensen in een kamer. Als iedereen met iedereen praat en er is niemand die alleen staat, dan weet je dat er een sterke leider (de rang) moet zijn die de groep bij elkaar houdt, zelfs als je die leider niet direct kunt zien.

Voorbeelden uit het papier

1. Voorbeeld 1 (De perfecte dans): De auteur neemt een wiskundige kromme en laat zien dat de computer een heel lang, onbreekbaar polynoom (een soort code) produceert. Omdat deze code niet te breken is, weten we dat alle simpele sleutels met elkaar verbonden zijn. Dus: Er is een positieve rang!
2. Voorbeeld 2 (De gebroken dans): Bij een andere kromme ziet de computer dat de simpele sleutels in groepjes zitten (niet allemaal met elkaar verbonden). Dan is de simpele truc niet genoeg. Maar de auteur kijkt dan ook naar de "rare vormen" (theta-karakteristieken). Ook die zitten in groepjes. Omdat er noch simpele sleutels, noch rare vormen zijn die alleen staan, concludeert hij opnieuw: Er is een positieve rang!

Samenvatting voor de leek

Dit artikel is een handige "cheat code" voor wiskundigen.
Normaal gesproken is het heel moeilijk om te bewijzen dat een wiskundig object een oneindig aantal oplossingen heeft. Je moet dan een specifieke oplossing vinden.
Deze auteur zegt: "Nee, je hoeft die oplossing niet te vinden. Als je kunt bewijzen dat er geen simpele, voor de hand liggende oplossingen zijn én er geen speciale, rare vormen zijn, dan is het wiskundig onmogelijk dat er niets is. Er moet dan wel een grote, krachtige oplossing zijn."

Het is alsof je zegt: "Als er geen sleutels op de grond liggen en er is geen sleutelgat in de muur, dan moet er een geheime gang zijn die de kast opent."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "A trick to ensure positive Mordell-Weil rank" van Thibaut Misme, geschreven in het Nederlands.

Probleemstelling

Het bepalen van de Mordell-Weil rang van de Jacobiaanse variëteit $J$ van een gladde curve $C$ over een getallenlichaam $K$ is een fundamenteel maar vaak moeilijk probleem in de getaltheorie. De rang is strikt positief ($\text{rank}_K(J) \geq 1$) als er een niet-torsie rationeel punt op $J$ bestaat. Het expliciet vinden van zo'n punt is echter vaak computatief zeer intensief of theoretisch onmogelijk met standaardmethoden. De auteur adresseert de uitdaging om theoretisch en expliciet te garanderen dat de rang positief is zonder dat men eerst een specifieke niet-torsie punt hoeft te construeren.

Methodologie en Kernresultaten

De paper introduceert een methode die berust op de analyse van de actie van de Galois-groep $G_K$ op specifieke structuren geassocieerd met de curve: de 2-torsiepunten van de Jacobiaanse ($J[2]$) en de theta-karakteristieken van de curve.

Propositie 1: De Trichotomie
De kern van de paper is de volgende stelling: Laat $C$ een mooie curve zijn over een getallenlichaam $K$ met een $K$-rationele divisorklasse van graad 1 (bijvoorbeeld een rationeel punt). Dan geldt minstens één van de volgende drie stellingen:

1. De Mordell-Weil rang van $J$ is strikt positief ($\text{rank}_K(J) > 0$).
2. De groep van rationale 2-torsiepunten $J[2](K)$ is niet-triviaal.
3. Er bestaat een $K$-rationele theta-karakteristiek op de curve.

De bewijzen (zowel via de Picard-groep als via cohomologie en 2-Selmer-groepen) tonen aan dat als er geen rationale 2-torsie is en geen rationale theta-karakteristiek, de afgeleide elementen in de groep $J(K)/2J(K)$ niet-triviaal moeten zijn. Dit impliceert direct dat de rang $\geq 1$ is.

Corollarium 2 en 3: Vereenvoudiging via Galois-actie
De auteur verfijnt dit resultaat tot een praktisch toepasbaar criterium dat zich richt op de transitiviteit van de Galois-actie:

• Corollarium 2: Als de Galois-actie op de niet-triviale 2-torsiepunten ($J[2] \setminus \{0\}$) transitief is, dan is de rang $\geq 1$.
  • Redenering: Transitiviteit impliceert dat er geen rationale 2-torsie is. Bovendien impliceert het dat er geen rationale theta-karakteristiek kan zijn (tenzij de genus 1 is, wat hier uitgesloten wordt voor $g > 1$), omdat de actie op theta-karakteristieken anders zou moeten splitsen in even en oneven klassen.
• Corollarium 3 (Computationeel): Laat $\chi(y)$ het polynoom zijn dat de étale algebra van de Galois-set $J[2] \setminus \{0\}$ beschrijft. Als $\chi(y)$ irreducibel is over $K$, dan is $\text{rank}_K(J) \geq 1$.

Computationele Implementatie

De methode is ontworpen voor praktische toepassing:

• Het algoritme van Mascot wordt gebruikt om de étale algebra van de 2-torsie te berekenen voor curven over $\mathbb{Q}$.
• Dit resulteert in een polynoom $\chi(y)$.
• De gebruiker hoeft alleen te controleren of $\chi(y)$ irreducibel is. Als dit zo is, is de rang gegarandeerd positief.
• Voor het geval de actie niet-transitief is (dus $\chi$ is reducibel), biedt de paper een alternatieve route: het controleren van de Galois-acties op de verzamelingen van even en oneven theta-karakteristieken. Als er noch rationale 2-torsie noch rationale theta-karakteristieken zijn (geen rationale punten in de Galois-oriënten), blijft de rang $\geq 1$.

Resultaten en Voorbeelden

De paper illustreert de methode met twee voorbeelden van gladde vlakke quartici over $\mathbb{Q}$:

1. Voorbeeld 1 (Transitieve actie):

   • Voor een specifieke quartic $C_1$ levert het Mascot-algoritme een polynoom $\chi_1(x)$ van graad 63 op.
   • Deze polynoom is irreducibel.
   • Conclusie: De actie is transitief, dus $\text{rank}_{\mathbb{Q}}(J_1) \geq 1$.

2. Voorbeeld 2 (Niet-transitieve actie):

   • Voor een andere quartic $C_2$ is de polynoom voor de 2-torsie reducibel (de actie is niet-transitief), wat betekent dat Corollarium 3 niet direct toepasbaar is.
   • De auteurs analyseren echter de Galois-oriënten voor de verzamelingen van oneven ($\Delta_{Odd}$) en even ($\Delta_{Even}$) theta-karakteristieken.
   • De analyse toont aan dat er noch rationale niet-triviale 2-torsiepunten noch rationale theta-karakteristieken bestaan.
   • Conclusie: Op basis van Propositie 1 volgt ook hier dat $\text{rank}_{\mathbb{Q}}(J_2) \geq 1$.

Significantie

De bijdrage van dit paper is tweeledig:

1. Theoretisch: Het biedt een elegante "trick" om de positieve rang van Jacobiaanse variëteiten te garanderen door het uitsluiten van specifieke triviaaliteiten (rationale 2-torsie en theta-karakteristieken), in plaats van het zoeken naar een generator.
2. Praktisch/Computationeel: Het biedt een efficiënt algoritme dat voortbouwt op bestaande tools (zoals Mascot). In plaats van zware 2-descent-berekeningen of het zoeken naar punten, volstaat het om de irreducibiliteit van een polynoom te controleren. Dit is een krachtige methode om de rang van een Jacobiaanse te certificeer, vooral in combinatie met bovenste grenzen die via andere methoden zijn bepaald, waardoor men de rang exact kan vaststellen (bijv. als de rang $\leq 1$ is bewezen en nu $\geq 1$).

De methode is algemeen toepasbaar voor curven van genus $g > 1$ met een rationele divisorklasse van graad 1, en vormt een waardevol instrument in de moderne getaltheorie voor het bestuderen van de arithmetiek van algebraïsche curven.