Heavenly elliptic curves over quadratic fields

Titel: Hemelse Elliptische Curven over Kwadratische Velden

Auteurs: Cam McLeeman en Christopher Rasmussen
Trefwoorden: Elliptische curven, Galois-voorstellingen, Complex vermenigvuldiging, S-integrale punten, Frobenius-sporen, Heaviness (Hemelse eigenschap).

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt een specifieke klasse van abelse variëteiten die "hemels" (heavenly) worden genoemd. Een abelse variëteit $A$ gedefinieerd over een getallenlichaam $K$ is hemels bij een priemgetal $\ell$ als de extensie $K(A[\ell^\infty])/K(\mu_{\ell^\infty})$ zowel pro-$\ell$ is als ongeramd is buiten $\ell$.

Deze concepten zijn ontstaan uit de studie van de pro-$\ell$ uiterlijke Galois-voorstelling die geassocieerd is met $\mathbb{P}^1_K \setminus \{0, 1, \infty\}$. De auteurs verwijzen naar een vraag van Ihara over de relatie tussen deze velden en de kern van de representatie.

De centrale vraag:
Er is reeds bewezen dat voor een vast kwadratisch veld $K$ het aantal $K$-isomorfieklassen van hemelse elliptische curven eindig is (zelfs als men over alle priemgetallen $\ell$ loopt). De auteurs stellen de omgekeerde vraag: Is het aantal isomorfieklassen eindig als we het priemgetal $\ell$ vasthouden, maar het definitieveld $K$ laten variëren over alle kwadratische velden?

Dit leidt tot drie hoofdcategorieën van onderzoek:

1. Eindigheidsresultaten: Bewijzen dat er slechts eindig veel klassen zijn voor vaste $\ell$ en variërende $K$.
2. Gedrag van Frobenius-sporen: Het analyseren van de relatie tussen hemelse curven en curven met complex vermenigvuldiging (CM).
3. Classificatie: Het volledig inventariseren van hemelse elliptische curven over kwadratische velden die complex vermenigvuldiging hebben en een irrationale $j$-invariante bezitten.

---

2. Methodologie

De auteurs combineren diepe theorieën uit de getaltheorie en algebraïsche meetkunde:

• Galois-voorstellingen en Tate-Oort getallen: Ze gebruiken de structuur van de $\ell$-torsie van hemelse curven. Voor een hemelse curve $E/K$ is de Galois-voorstelling $\rho_{E,\ell}$ op een specifieke manier beperkt (bovendriehoeks). Ze introduceren de Tate-Oort getallen $j_{l,r}$ die de relatie beschrijven tussen de cyclotomische karakteristiek en de fundamentele karakteristiek op de inertia-groep.
• De "Balanced" (Gebalanceerde) Eigenschap: Een cruciale conceptuele stap is het definiëren van een "gebalanceerde" curve. Een curve is gebalanceerd bij $\ell$ als de Tate-Oort getallen voldoen aan $j_{l,r} = e/2$ voor alle $r$, waarbij $e$ de index van semistabiele reductie is. Ze bewijzen dat voor voldoende grote $\ell$, hemelse curven noodzakelijk gebalanceerd moeten zijn.
• Siegel's Stelling en Levin's Generalisatie: Om eindigheidsresultaten te bewijzen, gebruiken ze een generalisatie van Siegel's stelling over $S$-integrale punten op krommen (door Levin). Ze relateren de zoektocht naar hemelse curven aan het vinden van punten op modulaire krommen $Y_1(\ell)$ die integraal zijn buiten een eindige verzameling priemgetallen.
• Complex Vermenigvuldiging (CM) en Hecke-karakters: Voor de classificatie van CM-curven maken ze gebruik van de theorie van Hecke-karakters en genus-theorie om de relatie tussen het definitieveld $K$, het CM-veld $L$, en de priem $\ell$ te analyseren.
• Computational Number Theory: Ze gebruiken software (SageMath en MAGMA) om specifieke gevallen te controleren, Weil-grenzen te testen en de volledige lijst van hemelse CM-curven te genereren.

---

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert drie hoofdresultaten:

Resultaat 1: Uniforme Eindigheid voor Vaste $\ell$

Stelling 1.1 & 1.2: Voor een vast priemgetal $\ell \geq 7$ zijn er slechts eindig veel $\mathbb{Q}$-isomorfieklassen van elliptische curven die over een kwadratisch veld gedefinieerd zijn en hemels zijn bij $\ell$.

• Dit wordt veralgemeend naar velden met graad $d$ over een basisveld $K_0$, mits $\ell > 2d + 1$.
• Bewijsidee: De auteurs construeren een injectieve afbeelding van de verzameling van deze curven naar de verzameling van $S$-integrale punten op de modulaire kromme $Y_1(\ell)$. Omdat het aantal zulke punten eindig is (volgens Levin's generalisatie van Siegel's stelling), volgt de eindigheid.

Resultaat 2: Gedrag van Frobenius-sporen en CM-analogie

Stelling 1.3: Voor een hemelse elliptische curve $E/K$ over een kwadratisch veld en een priem $p \nmid \ell$ met norm $p^f$:

• Als $p$ inert is in $K(\sqrt{-\ell})$, dan is $a_p(E) \equiv 0 \pmod \ell$.
• Als $p$ splitst in $K(\sqrt{-\ell})$, dan is $a_p(E)^2 \equiv 4p^f \pmod \ell$.
• Significantie: Dit gedrag is identiek aan dat van elliptische curven met complex vermenigvuldiging (CM). Dit ondersteunt de vermoeden (Conjecture A) dat elke hemelse curve over een kwadratisch veld voor grote $\ell$ noodzakelijk CM moet hebben.

Resultaat 3: Classificatie van Hemelse CM-curven

Stelling 1.4: De auteurs geven een volledige classificatie van elliptische curven over kwadratische velden die:

1. Complex vermenigvuldiging hebben.
2. Hemels zijn bij een priem $\ell$.
3. Een irrationale $j$-invariante hebben ($j(E) \notin \mathbb{Q}$).

• Ze bewijzen dat $\ell$ beperkt is tot de verzameling $\{2, 3, 7, 11, 23, 31, 47\}$.
• Ze leveren een complete lijst van deze curven (zie Tabel A.2 in het artikel), georganiseerd per isogenieklasse.
• Ze tonen aan dat elke curve in deze lijst inderdaad hemels is.

---

4. Verwante Vermoedens en Discussie

De auteurs formuleren drie gerelateerde vermoedens die door hun resultaten worden ondersteund:

• Vermoeden A: Voor $\ell > 19$ en een kwadratisch veld $K$, impliceert "hemels bij $\ell$" dat de curve complex vermenigvuldiging heeft.
• Vermoeden B: De verzameling paren $(\ell, K)$ waarvoor er een hemelse curve bestaat die niet over $\mathbb{Q}$ gedefinieerd is, is eindig.
• Vermoeden C: De verzameling van alle $\mathbb{Q}$-isomorfieklassen van hemelse elliptische curven over kwadratische velden is eindig.

De auteurs tonen aan dat Vermoeden A Vermoeden B impliceert, en dat Vermoeden B (in combinatie met de stelling van Faltings over goede reductie) Vermoeden C impliceert.

---

5. Betekenis en Conclusie

Dit artikel is een significante bijdrage aan de moderne getaltheorie en de studie van Galois-voorstellingen:

1. Unificatie: Het legt een sterke, tot nu toe onbekende parallel tussen "hemelse" curven (die gedefinieerd zijn via de structuur van de Galois-voorstelling) en curven met complex vermenigvuldiging (die gedefinieerd zijn via endomorfismen).
2. Eindigheidsbewijzen: Het biedt de eerste onvoorwaardelijke bewijzen voor de eindigheid van hemelse curven wanneer het definitieveld varieert, maar de priem $\ell$ vaststaat. Dit vult een gat in de literatuur waar eerder alleen resultaten waren voor vaste $K$.
3. Computational Exploratie: Door de volledige lijst van hemelse CM-curven te genereren, bieden de auteurs een waardevolle dataset voor verdere experimentele wiskunde en het testen van conjectures zoals die van Frey-Mazur.
4. Technische Innovatie: De toepassing van Levin's generalisatie van Siegel's stelling op modulaire krommen om eindigheidsresultaten voor elliptische curven te bewijzen, is een krachtige methodologische innovatie.

Kortom, het werk verduidelijkt de zeldzaamheid en structuur van hemelse elliptische curven en suggereert sterk dat deze objecten, net als CM-curven, uiterst zeldzaam zijn en een zeer specifieke algebraïsche structuur bezitten.