On 7-adic Galois representations for elliptic curves over $\mathbb{Q}$

Dit artikel bewijst dat de modulaire kromme $X_{ns}^+(49)$ geen niet-CM rationale punten heeft door een correspondentie te leggen met de oplossing van een gegeneraliseerde Fermat-vergelijking, waarmee de volledige classificatie van 7-adische Galois-representaties voor elliptische krommen over $\mathbb{Q}$ wordt teruggebracht tot het vinden van rationale punten op één vlakke quartiek.

De kern

Stel je voor dat wiskundigen als detectives zijn die proberen een enorm mysterie op te lossen: het vinden van alle mogelijke "identiteitskaarten" van elliptische krommen.

In dit artikel, geschreven door Lorenzo Furio en Davide Lombardo, duiken ze diep in de wereld van de getaltheorie om een specifiek puzzelstukje op te lossen dat al decennia lang een doorn in het oog was van wiskundigen.

Hier is het verhaal, vertaald in alledaags Nederlands met wat creatieve vergelijkingen.

1. Het Grote Mysterie: De Identiteitskaarten

Stel je elliptische krommen voor als unieke, wiskundige wezens. Elke kromme heeft een "identiteitskaart" die vertelt hoe deze reageert op bepaalde wiskundige operaties (genoteerd als Galois-representaties).

De beroemde wiskundige Jean-Pierre Serre stelde jaren geleden een vraag: "Zijn er een paar vaste regels die voor alle deze krommen gelden, ongeacht hoe groot ze worden?"
De meeste wiskundigen denken van wel, maar om het te bewijzen, moeten we eerst alle mogelijke uitzonderingen vinden. Het is alsof je een lijst maakt van alle mogelijke auto's die op de weg mogen rijden, en je moet zeker weten dat er geen enkele "geheime" auto tussen zit die de regels negeert.

2. De Specifieke Uitdaging: De "7"

De auteurs focussen zich op één specifiek getal: 7.
In de wiskunde is het getal 7 een beetje als een lastige sleutel. Voor andere getallen (zoals 2, 3, 13, 17) hebben we de lijst met mogelijke "identiteitskaarten" al volledig. Maar voor 7 ontbreekt er nog een stukje.

Het probleem zit hem in een heel specifieke, complexe structuur die ze de "niet-gesplitste Cartan" noemen.

• De Analogie: Stel je voor dat je een slot hebt met 7 pinnen. Voor de meeste sloten weten we precies welke sleutels passen. Maar er is één heel rare, ingewikkelde sleutelvorm (de niet-gesplitste Cartan) waar we niet zeker van zijn of er nog geheime sleutels voor bestaan die we niet kennen.

Om dit op te lossen, moeten we kijken naar een wiskundig object genaamd een modulaire kromme (specifiek $X^+_{ns}(49)$).

• De Vergelijking: Deze kromme is als een gigantisch, 69-dimensionaal landschap. De wiskundigen willen weten: "Zitten er op dit landschap nog punten die niet tot de bekende 'CM'-familie behoren?" (CM staat voor Complex Multiplication, een soort van 'standaard' familie van krommen). Als er geen andere punten zijn, dan is het mysterie opgelost.

3. De Oplossing: Van Landschap naar Vergelijking

De auteurs doen iets briljants: ze veranderen het probleem van "een punt vinden op een ingewikkeld landschap" naar "een vergelijking oplossen".

Ze tonen aan dat elk punt op dit 69-dimensionale landschap overeenkomt met een oplossing voor een specifieke vergelijking:
$$a^2 + 28b^3 = 27c^7$$
Dit is een veralgemeende Fermat-vergelijking.

• De Analogie: Het is alsof ze zeggen: "In plaats van dat we door dat enorme, ingewikkelde landschap moeten lopen, kunnen we beter kijken naar een simpele vergelijking met getallen $a, b$ en $c$. Als we weten welke getallen hieraan voldoen, weten we automatisch welke punten op het landschap bestaan."

Ze lossen deze vergelijking op door een slimme truc te gebruiken die lijkt op de methode die gebruikt werd om de beroemde "Laatste Stelling van Fermat" te bewijzen. Ze koppelen elke oplossing aan een nieuwe elliptische kromme en kijken of die kromme een bestaand "wiskundig DNA" (modulair vorm) heeft.

4. Het Resultaat: Geen Vreemde Gasten

Na veel rekenwerk en het gebruik van supercomputers (met software genaamd MAGMA) komen ze tot een verrassend simpel resultaat:

De vergelijking heeft alleen maar oplossingen die al bekend waren (de CM-geval).
Er zijn geen "nieuwe", vreemde oplossingen.

• Wat betekent dit? Het betekent dat op dat 69-dimensionale landschap geen enkele "nieuwe" identiteitskaart te vinden is. Alle mogelijke kaarten voor het getal 7 zijn nu bekend (behalve één heel klein, speciaal geval dat ze nog moeten bewijzen, maar waar ze een sterke gok op doen).

5. De Grootte van de Prestatie

Dit is een enorme stap voorwaarts.

• Vroeger: We wisten niet zeker of er nog geheime, onbekende patronen waren voor het getal 7.
• Nu: We weten dat als een elliptische kromme een bepaalde eigenschap heeft (die te maken heeft met het getal 7), die kromme vrijwel zeker een van de bekende types is.

De auteurs zeggen: "We hebben de deur naar het onbekende dichtgedaan, behalve voor één klein raamkozijn." Ze vermoeden dat zelfs dat laatste raamkozijn dicht zit, maar daarvoor hebben ze nog een laatste bewijs nodig (Conjecture 1.6).

Samenvatting in één zin

De auteurs hebben bewezen dat er voor het getal 7 geen verborgen, onbekende wiskundige structuren bestaan die we nog niet hebben ontdekt; alle mogelijke "identiteitskaarten" van elliptische krommen zijn nu in kaart gebracht, behalve misschien één heel klein detail dat ze bijna zeker weten.

Het is alsof ze een complete catalogus hebben gemaakt van alle mogelijke auto's die op de snelweg mogen, en ze hebben bewezen dat er geen enkele "spookauto" tussen zit die niemand kent.

Technische samenvatting

Hier is een gedetailleerd technisch samenvatting van het artikel "On 7-adic Galois representations for elliptic curves over Q" van Lorenzo Furio en Davide Lombardo, in het Nederlands.

1. Probleemstelling en Context

Het artikel richt zich op Mazurs Program B, een initiatief om alle elliptische krommen over $\mathbb{Q}$ te classificeren op basis van het beeld van hun $p$-adische Galois-representaties. Specifiek behandelen de auteurs het geval $p=7$.

• Achtergrond: Serre's stelling (1972) stelt dat voor elliptische krommen zonder complexe vermenigvuldiging (CM) de $p$-adische representatie $\rho_{E,p^\infty}$ voor bijna alle $p$ surjectief is op $GL_2(\mathbb{Z}_p)$. De classificatie van de mogelijke beelden voor kleine $p$ is echter nog niet voltooid.
• Huidige stand van zaken: De classificatie is compleet voor $p \in \{2, 3, 13, 17\}$. Voor andere $p$ is de grootste hindernis het begrijpen van krommen waarvan de mod-$p^n$ representaties zitten in de normalisator van een niet-gesplitste Cartan-subgroep ($C_{ns}^+(p^n)$).
• Specifiek doel: Het artikel probeert de classificatie voor $p=7$ te voltooien. Dit komt neer op het bepalen van de rationale punten op drie specifieke modulaire krommen:
  1. $X_{ns}^+(49)$ (genus 69).
  2. $X_{ns}^\#(49)$ (label 49.147.9.1, genus 9).
  3. $X_{sp}^\#(49)$ (label 49.196.9.1, genus 9).

De hoofduitdaging is de hoge genus van $X_{ns}^+(49)$, wat het gebruik van standaard methoden voor rationale punten bemoeilijkt.

2. Methodologie

De auteurs hanteren een geavanceerde strategie die elementen combineert uit de theorie van modulaire krommen, Diophantische vergelijkingen, modulaire vormen en de Chabauty-Coleman methode. De aanpak verloopt in zes hoofdstappen:

1. Reductie naar Diophantische vergelijkingen:

   • Ze tonen aan dat voor een elliptische kromme $E/\mathbb{Q}$ met beeld in $C_{ns}^+(49)$ (of de gerelateerde subgroepen), de $j$-invariant een specifieke vorm heeft: $j(E) = \frac{g(t)^3}{f(t)^7}$ met $t \in \mathbb{Q}$.
   • De eis dat de noemer van $j(E)$ een 49e macht is, leidt tot de vergelijking $f(x, y) = k \cdot z^7$, waarbij $f$ een homogeen polynoom is.
   • Via algebraïsche manipulaties (invarianten van kubische vormen) reduceren ze dit tot het vinden van primitieve geheeltallige oplossingen van de veralgemeende Fermat-vergelijking:
     $$a^2 + 28b^3 = 27c^7$$
     (en een variant $a^2 + 196b^3 = 27c^7$ voor de andere krommen).

2. Modulariteit en Level Lowering:

   • Aan elke oplossing $(a, b, c)$ wordt een elliptische kromme $E(a,b,c)$ over $\mathbb{Q}$ gekoppeld.
   • Door de modulariteitstheorema's en resultaten over "level lowering" (verlaging van het niveau), moet de mod-7 representatie van deze kromme voortkomen uit een van een eindig aantal modulaire vormen van gewicht 2 en niveau $N \in \{196, 392, 784\}$.
   • De auteurs filteren deze lijst van modulaire vormen door gebruik te maken van criteria zoals irreducibiliteit van de representatie, gedrag bij de inertia-groep bij 7, en het bestaan van isogenieën. Dit reduceert de lijst tot slechts drie relevante modulaire vormen (en hun kwadratische twisten).

3. Parametrisatie via Modulaire Krommen $X(7)$:

   • Elliptische krommen met een specifieke mod-7 representatie corresponderen met rationale punten op twists van de modulaire kromme $X(7)$.
   • $X(7)$ is isomorf met de Klein-kwartiek ($x^3y + y^3z + z^3x = 0$), een kromme van genus 3.
   • Het probleem wordt dus gereduceerd tot het bepalen van rationale punten op een eindig aantal twists van deze genus-3 krommen.

4. Bepaling van Rationale Punten (Chabauty-Coleman & Mordell-Weil):

   • Voor de twists die corresponderen met $X_{ns}^+(49)$, $X_{ns}^\#(49)$ en $X_{sp}^\#(49)$, berekenen de auteurs de Mordell-Weil groep van de Jacobiaanse variëteit.
   • Ze gebruiken de Mordell-Weil zeef (Mordell-Weil sieve) in combinatie met 2-descent om de rang en generatoren te bepalen.
   • Omdat de rang van de Jacobiaanse variëteit strikt kleiner is dan de genus van de kromme, kunnen ze de Chabauty-Coleman methode toepassen. Dit maakt het mogelijk om te bewijzen dat er geen andere rationale punten zijn dan de reeds bekende triviaal punten.

5. Computatie en Verificatie:

   • De berekeningen worden uitgevoerd met behulp van het softwarepakket MAGMA. De auteurs gebruiken effectieve versies van Coleman-integrals om de rationale punten in $p$-adische schijven te lokaliseren.

3. Belangrijkste Resultaten

• Hoofdstelling (Theorem 1.4): De modulaire kromme $X_{ns}^+(49)$ heeft precies 7 rationale punten, en al deze punten corresponderen met elliptische krommen met complexe vermenigvuldiging (CM).

  • Conclusie: Er bestaan geen niet-CM elliptische krommen over $\mathbb{Q}$ wier 7-adische Galois-representatie in de normalisator van een niet-gesplitste Cartan-subgroep zit (voor niveau 49).

• Corollary 1.5: Voor elke niet-CM elliptische kromme over $\mathbb{Q}$ is het beeld van de 7-adische representatie volledig bepaald door het beeld van de mod-49 representatie. Dit vereenvoudigt de classificatie aanzienlijk.

• Voorwaarde voor Volledige Classificatie (Conjecture 1.6 & Theorem 1.7):

  • Voor de andere twee krommen ($X_{ns}^\#(49)$ en $X_{sp}^\#(49)$) reduceert het probleem tot het vinden van rationale punten op een specifieke twist van de Klein-kwartiek, genaamd $C$ (gegeven door een quartische vergelijking).
  • De auteurs conjetureren dat deze kromme $C$ precies 4 rationale punten heeft. Als deze conjectuur waar is, is de volledige classificatie van 7-adische beelden voor $p=7$ voltooid.

• Veralgemeende Fermat-vergelijkingen:

  • Ze bepalen volledig de oplossingen van $a^2 + 28b^3 = 27c^7$ onder bepaalde arithmetische voorwaarden (Theorem 3.5).
  • Ze tonen aan dat onder de $abc$-vermoeden, voor voldoende grote $p$, de kromme $X_{ns}^+(7) \times_{X(1)} X_{ns}^+(p)$ alleen CM-punten heeft (Proposition 1.8).

4. Significatie en Impact

• Voltooiing van Mazurs Program B voor $p=7$: Hoewel de classificatie technisch gezien nog afhankelijk is van een conjectuur voor één specifieke kromme, is de grootste hindernis (de genus-69 kromme $X_{ns}^+(49)$) volledig opgelost. Dit is een mijlpaal in de studie van Galois-representaties.
• Methodologische Doorbraak: Het artikel demonstreert hoe men een probleem met een kromme van zeer hoge genus (69) kan oplossen door het te reduceren tot een probleem met krommen van lage genus (genus 3) via Diophantische vergelijkingen en modulaire vormen. Dit is een krachtige nieuwe aanpak die mogelijk ook voor andere $p$ toepasbaar is.
• Verbinding tussen Gebieden: Het werk verbindt diep de theorie van modulaire krommen, de theorie van Diophantische vergelijkingen (veralgemeende Fermat), en de effectieve berekening van rationale punten (Chabauty-Coleman).
• Toekomstperspectief: De resultaten leggen de basis voor een volledige lijst van mogelijke 7-adische beelden, wat essentieel is voor het begrijpen van de structuur van elliptische krommen over $\mathbb{Q}$ en voor verdere vooruitgang in Serre's uniformiteitsvraagstuk.

Kortom, dit artikel levert een cruciale stap voorwaarts in het classificeren van de Galois-representaties van elliptische krommen, met name door een complexe geometrisch probleem (rationale punten op een hoge genus kromme) te transformeren naar een beheersbaar rekenkundig probleem dat met moderne technieken kan worden opgelost.