On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

Dit artikel onderzoekt de omgekeerde vraag van de torsiegroei van rationale elliptische krommen in kwadratische getallenlichamen en levert een expliciete relatie tussen de priemfactoren van de conductor van de kromme en die van de uitbreiding.

De kern

Ellipsen, Toeristen en De Sleutel tot de Deur: Een Verklaring van het Onderzoek

Stel je voor dat je een elliptische kromme hebt. In de wiskunde is dit geen echte kromme zoals een regenboog, maar een heel speciaal soort grafiek die een soort "club" vormt. De punten op deze grafiek zijn leden van die club.

Soms hebben deze clubs een torsie-groep. Dat klinkt ingewikkeld, maar denk er gewoon aan als een groepje leden die een speciale, korte rit kunnen maken. Als je ze een paar keer rond de club stuurt, komen ze precies terug op hun startpunt. Dit zijn de "torsie-punten".

Het Probleem: De Club uitbreiden
Normaal gesproken kijken wiskundigen naar een elliptische kromme die over de rationale getallen (de breuken en hele getallen) is gedefinieerd. Ze weten welke leden (torsie-punten) daar al zijn.

Nu doen de auteurs van dit artikel iets leuks: ze nemen die club en verplaatsen hem naar een kwadratisch getalveld. Dat klinkt als een andere taal, maar stel je het voor als een nieuwe locatie of een nieuwe dimensie waar de club naartoe reist.

Als je de club naar deze nieuwe locatie brengt, gebeurt er soms iets verrassends: er komen nieuwe leden bij! De torsie-groep "groeit". Er zijn nieuwe mensen die nu wel die korte rit kunnen maken, terwijl dat op de oude locatie niet lukte.

De Omgekeerde Vraag
Tot nu toe wisten wiskundigen: "Als we naar locatie X gaan, welke nieuwe leden komen er dan?"
De auteurs van dit paper stellen de vraag andersom: "We zien dat er nieuwe leden zijn gekomen. Kunnen we dan terugrekenen naar welke locatie we precies zijn geweest?"

Hun hoofdvraag is: Als de club groeit, wat zegt dat dan over de 'sleutel' (het getal $d$) die de deur naar die nieuwe locatie opent?

De Regels van de Groei (De Analogie van de Deur)
De auteurs ontdekken dat niet elke deur open kan gaan voor elke club. Er zijn strenge regels.

1. De "Sleutel" en de "Conductor":
   Elke elliptische kromme heeft een soort vingerafdruk of ID-nummer, genaamd de conductor. Dit vertelt ons waar de kromme "ruis" of "problemen" heeft (waar hij slecht gedrag vertoont).
   De nieuwe locatie wordt bepaald door een getal $d$. Als $d$ deelbaar is door een priemgetal (zoals 2, 3, 5, 7), dan "raakt" die locatie die priemgetallen aan.

2. De Grote Ontdekking:
   De auteurs zeggen: "Als je ziet dat de club groeit, dan moet de 'sleutel' ($d$) die je gebruikt hebt, bijna altijd een getal zijn dat ook op het ID-nummer (de conductor) van de club staat."

   • Voorbeeld: Stel je voor dat je een sleutel hebt met een gat voor het getal 5. Als je die sleutel gebruikt en de club groeit, dan moet het ID-nummer van de club ook een gat voor 5 hebben. Anders werkt het niet.
   • De Uitzondering (Het Magische Getal 3): Er is één uitzondering. Het getal 3 is een beetje een rebel. Soms kan de club groeien met een sleutel die een gat voor 3 heeft, zelfs als het ID-nummer van de club daar geen gat voor heeft. Dit is als een magische sleutel die een deur opent die normaal gesloten zou moeten blijven.

Hoe hebben ze dit ontdekt? (De Wiskundige Detectives)
De auteurs gebruiken een gereedschap dat Galois-representaties heet. Dat klinkt als sci-fi, maar het is eigenlijk een manier om te kijken naar symmetrieën.

• Stel je voor dat de torsie-punten een dansgroep zijn.
• De Galois-representatie is de choreograaf die bepaalt wie met wie mag dansen.
• Als je naar een nieuwe locatie gaat (een kwadratisch veld), verandert de choreografie.
• De auteurs kijken naar de inertiegroep. Dat is als een bouncer bij de deur van de danszaal.
  • Als de bouncer te streng is (te grote groep), kan niemand de deur uit om nieuwe leden te halen.
  • Ze bewijzen dat voor de getallen 5 en 7, de bouncer altijd te streng is, tenzij de club zelf al "problemen" had op die plek (dus als 5 of 7 op het ID-nummer staat).
  • Voor het getal 2 is het nog ingewikkelder. Ze moeten onderscheid maken tussen twee situaties:
    • De "Strikte" situatie: Er komt een heel nieuw lid bij dat niemand kent.
    • De "Gemengde" situatie: Er komt een lid bij, maar dit lid is eigenlijk het kind van een bestaand lid (het is een veelvoud van een bestaand punt).

Conclusie in Gewone Taal
Dit paper is als een detectiveverhaal in de wiskunde.
De auteurs hebben een lijst gemaakt van alle mogelijke scenario's waarin een elliptische kromme "nieuwe vrienden" maakt als hij naar een kwadratisch getalveld verhuist.

Hun belangrijkste boodschap is: Als je ziet dat een elliptische kromme groeit, dan is de kans enorm groot dat het getal dat de nieuwe locatie definieert, ook een factor is van de "probleemlocaties" (de conductor) van de kromme zelf.

De enige uitzondering is het getal 3, dat soms een magische sleutel is die werkt zonder dat de kromme daar al een probleem had. Maar voor alle andere getallen (zoals 2, 5, 7) geldt de regel: Geen groei zonder gedeelde "probleemfactoren".

Dit helpt wiskundigen om te voorspellen waar ze moeten zoeken naar elliptische krommen met specifieke eigenschappen, en het maakt het mysterie van deze getallen een stuk minder mysterieus.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Torsion Growth in Quadratic Number Fields for Elliptic Curves Defined over the Rationals" van Arias-De-Reyna, Pineda-Martín en Tornero, geschreven in het Nederlands.

Titel: Over de Groei van Torsie in Kwadratische Getallenlichamen voor Elliptische Curven Gedefinieerd over de Rationaals

1. Probleemstelling

Het artikel onderzoekt het gedrag van de torsie-ondergroep $E_{tors}(K)$ van een elliptische kromme $E$ gedefinieerd over de rationale getallen $\mathbb{Q}$, wanneer men overgaat naar een kwadratisch getallenlichaam $K = \mathbb{Q}(\sqrt{d})$.

Hoewel bekend is welke torsiegroepen kunnen ontstaan vanuit een gegeven $E_{tors}(\mathbb{Q})$ (zoals vastgelegd in eerdere werken zoals [3]), is de omgekeerde vraag minder goed onderzocht: Als we weten dat de torsie groeit bij een base change naar een kwadratisch lichaam $K$, wat kunnen we dan concluderen over de eigenschappen van het veld $K$ en de kromme $E$?

Specifiek richten de auteurs zich op de relatie tussen de priemfactoren van het discriminantgetal $d$ van het veld $K$ en de conductor $N_E$ van de elliptische kromme. De centrale vraag is: Als een priem $p$ de discriminant $d$ deelt (en dus ramificeert in $K$), moet $p$ dan ook de conductor $N_E$ delen?

2. Methodologie

De auteurs gebruiken een combinatie van de volgende wiskundige technieken:

• Galois-voorstellingen: Ze analyseren de mod-$\ell$ Galois-voorstelling $\rho_{E,\ell}: G_{\mathbb{Q}} \to \text{Aut}(E[\ell]) \simeq \text{GL}_2(\mathbb{F}_\ell)$. De structuur van de ondergroepen van $\text{GL}_2(\mathbb{F}_\ell)$ geeft inzicht in welke velduitbreidingen nodig zijn om torsiepunten te definiëren.
• Ramificatietheorie: Gebruikmakend van het criterium van Neron-Ogg-Shafarevich, analyseren ze welke priemgetallen kunnen ramificeren in de velduitbreiding $\mathbb{Q}(E[\ell])/\mathbb{Q}$.
• Valuatie-theorie en Minimale Modellen: Voor het geval $\ell=2$ en $\ell=3$ gebruiken ze expliciete berekeningen met Weierstrass-vergelijkingen, Tate-normale vormen en 2-adische en 3-adische waarden ($v_2, v_3$) om tegenstrijdigheden af te leiden onder de aanname van goede reductie.
• Groepentheorie: Ze bestuderen de subgroepen van $\text{GL}_2(\mathbb{F}_5)$ en $\text{GL}_2(\mathbb{F}_7)$ (gebaseerd op classificaties van Sutherland en Zywina) om te bepalen of er index-2 ondergroepen bestaan die een niet-triviaal punt fixeren.

De analyse wordt opgesplitst per priemgetal $\ell \in \{2, 3, 5, 7\}$, aangezien dit de enige priemgetallen zijn die de orde van een nieuw torsiepunt kunnen delen bij een kwadratische uitbreiding.

3. Belangrijkste Resultaten

A. Het geval $\ell = 2$
Dit is het meest complexe geval, waarbij onderscheid wordt gemaakt tussen de "strikte" en de "gemengde" situatie:

• Strikte situatie: Een nieuw punt van orde 2 verschijnt zonder dat een veelvoud ervan in $\mathbb{Q}$ ligt.
• Gemengde situatie: Een nieuw punt $P$ verschijnt waarbij $2P \in E(\mathbb{Q})$(bijv. groei van$C_4$naar$C_8$).
• Hoofdstelling (Theorema 2): Als $E/\mathbb{Q}$ een elliptische kromme is en $K=\mathbb{Q}(\sqrt{d})$ een kwadratisch veld waarbij de torsie groeit, en als $2 \mid d$, dan heeft$E$**slechte reductie** bij 2 (d.w.z.$2 \mid N_E$).
  • Dit wordt bewezen voor zowel de strikte als de gemengde gevallen (orde 4, 8 en 16) door aan te tonen dat de aanname van goede reductie leidt tot contradicties in de 2-adische waarden van de coëfficiënten van de kromme.

B. Het geval $\ell = 3$
Dit geval is uniek omdat er uitzonderingen zijn.

• Het is bekend dat $3 \mid d$niet altijd impliceert dat$3 \mid N_E$. Een voorbeeld is kromme 19.a2, die goede reductie bij 3 heeft, maar torsie groeit van$C_1$naar$C_3$over$\mathbb{Q}(\sqrt{-3})$.
• Propositie 7: Als de torsie groeit van triviaal naar $C_9$, dan moet $E$ slechte reductie hebben bij 3.
• Propositie 8: Als $3 \mid d$,$E$goede reductie heeft bij 3, en er een nieuw punt van orde 3 verschijnt, dan is de nieuwe torsiegroep precies$E_{tors}(K) = E_{tors}(\mathbb{Q}) \times C_3$. Dit betekent dat er geen "onverwachte" groei is (zoals naar$C_9$of$C_{12}$) zonder slechte reductie.

C. Het geval $\ell = 5$ en $\ell = 7$

• Theorema 3: Als $p \in \{5, 7\}$ ramificeert in $K$ (d.w.z. $p \mid d$) en de torsie groeit, dan heeft $E$ noodzakelijkerwijs slechte reductie bij $p$ ($p \mid N_E$).
• De auteurs geven een nieuw bewijs voor dit resultaat door de inertia-groepen van $\text{GL}_2(\mathbb{F}_5)$ en $\text{GL}_2(\mathbb{F}_7)$ te analyseren. Ze tonen aan dat voor deze priemgetallen de inertia-groep te groot is om een index-2 ondergroep te hebben die een niet-triviaal punt fixeert, tenzij de kromme additieve reductie heeft.

D. Versterkte Hoofdstelling (Theorema 4)
De auteurs bewijzen een sterkere stelling die verder gaat dan eerdere resultaten:

• Als er een punt $P \in E(K)[\ell] \setminus E(\mathbb{Q})$ bestaat met $\ell \geq 3$ priem:
  1. Voor elke priem $p \neq \ell$ die ramificeert in $K$, heeft $E$ additieve reductie bij $p$ (d.w.z. $p^2 \mid N_E$).
  2. Als $p = \ell > 3$ ramificeert in $K$, heeft $E$ additieve reductie bij $p$ (d.w.z. $p^2 \mid N_E$).

E. Samenvattende Stelling (Theorema 5)
Voor een elliptische kromme $E/\mathbb{Q}$ en een kwadratisch veld $K=\mathbb{Q}(\sqrt{d})$ met torsiegroei geldt:
Als een priem $p$ deelt $d$, dan geldt: ofwel $p \mid N_E$ ofwel $p = 3$.
Dit betekent dat voor alle priemgetallen $p > 3$, de enige manier waarop torsie kan groeien over een kwadratisch veld dat ramificeert bij $p$, is als de kromme slechte reductie heeft bij $p$. Het geval $p=3$ is de enige uitzondering waar torsiegroei kan optreden zonder dat $3$de conductor deelt (mits de groei beperkt is tot$C_3$).

4. Betekenis en Bijdrage

• Inverse Probleem Oplossing: Het artikel biedt een eerste expliciete relatie tussen de invariants van de kromme (conductor) en de eigenschappen van het veld (discriminant) bij torsiegroei. Het beantwoordt de vraag welke priemgetallen in $d$ "toegestaan" zijn.
• Technische Innovatie: Het gebruik van mod-$\ell$ Galois-voorstellingen en een gedetailleerde analyse van de inertia-groepen voor $p=5,7$ biedt een alternatief en versterkt bewijs voor bekende resultaten, en leidt tot de nieuwe stelling over additieve reductie (Theorema 4).
• Nuancering van het Geval $\ell=3$: Het werk verduidelijkt de uitzonderlijke rol van de priem 3. Het toont aan dat terwijl torsiegroei bij 3 mogelijk is zonder slechte reductie, dit strikt beperkt is tot specifieke scenario's (zoals $C_3$ groei), en dat grotere groei (zoals $C_9$) wel slechte reductie vereist.
• Toekomstige Richting: De auteurs benadrukken dat dit een eerste stap is in het "zeven" (filteren) van geschikte kwadratische uitbreidingen. Het doel is om in de toekomst een volledige classificatie te geven van de mogelijke velden $K$ op basis van de invariants van $E$.

Kortom, het artikel levert een fundamentele bijdrage aan het begrip van hoe de arithmetiek van elliptische krommen interacteert met kwadratische velduitbreidingen, met name door de noodzaak van slechte reductie voor de meeste priemgetallen bij torsiegroei te kwantificeren.