Torsion points on $\rm{GL}_2$-type abelian varieties

Dit artikel onderzoekt de omgekeerde stelling van de injectie van rationale torsiepunten in de reductie modulo priemgetallen voor abelse variëteiten van GL₂-type en presenteert een conjecturale lijst van mogelijke torsieordes voor modulaire abelse variëteiten over ℚ met dimensie tot 5.

De kern

Stel je voor dat wiskundigen op zoek zijn naar een heel specifiek soort "geheime code" die verborgen zit in de structuur van complexe wiskundige objecten. Deze objecten heten abelse variëteiten. Voor de leek klinkt dat als een onbegrijpelijk woord, maar je kunt ze zien als een soort multidimensionale wolk van punten die zich op een heel specifieke manier gedragen.

De auteurs van dit artikel, Jessica en Nirvana, hebben een nieuwe manier gevonden om te voorspellen hoeveel "punten" in deze wolken een speciale, terugkerende eigenschap hebben. Ze noemen dit torsiepunten.

Hier is de uitleg in simpele taal, met behulp van analogieën:

1. De Grote Uitdaging: De Lokale vs. Wereldwijde Check

Stel je voor dat je een geheim genootschap wilt controleren. Je hebt twee manieren om te zien of iemand lid is:

• De wereldwijde check: Je vraagt direct aan de leider: "Wie zijn jullie leden?" (Dit is het vinden van de echte torsiepunten).
• De lokale check: Je kijkt naar de ledenlijst in elke afzonderlijke stad (elk getal $p$). Als je in bijna elke stad ziet dat er een lid is dat een bepaalde code draagt, denk je dan dat er ook een lid is dat die code in het hoofdkantoor draagt?

Voor simpele objecten (zoals elliptische curven, die 1-dimensionaal zijn) wisten wiskundigen dit al lang: als de lokale check in bijna elke stad positief is, dan is het antwoord op de wereldwijde check ook ja.

Maar voor de complexere, hogere-dimensionale objecten (zoals de GL2-type abelse variëteiten waar dit artikel over gaat) was het antwoord onbekend. Het was alsof je dacht: "Oké, in elke stad zien we een spook, maar betekent dat dat er echt een spook in het kasteel zit?"

2. De Oplossing: Een Nieuwe Lens

Jessica en Nirvana hebben bewezen dat voor hun specifieke soort objecten (de GL2-type variëteiten), het antwoord ja is.

Ze gebruiken een slimme truc. In plaats van rechtstreeks naar de leden te kijken, kijken ze naar de geluidsgolven die deze objecten maken (in de wiskunde: Galois-representaties).

• Stel je voor dat elk punt in de wolk een instrument is dat een toon produceert.
• Als je in bijna elke stad (bijna elk getal $p$) hoort dat de toon een bepaalde frequentie heeft (een deling door een getal $m$), dan kunnen ze bewijzen dat er in het hoofdobject ook een toon is die die frequentie heeft.

Ze hebben een formule bedacht die zegt: "Als je in bijna alle steden een bepaalde deling ziet, dan bestaat er een versie van dit object waar die deling echt bestaat."

3. De Praktijk: Een Voorspellende Lijst

Na dit bewijs te hebben geleverd, hebben ze een computerprogramma (in een systeem genaamd Magma) geschreven om dit in de praktijk toe te passen.

Ze hebben gekeken naar een specifieke groep van deze objecten die verbonden zijn met modulaire vormen (dit zijn heel speciale wiskundige patronen die vaak voorkomen in de getaltheorie). Ze hebben gekeken naar objecten met een "grootte" (dimensie) van 2 tot en met 5.

Wat hebben ze gevonden?
Ze hebben een voorspellende lijst gemaakt.

• Voor een object met grootte 2: De mogelijke aantallen torsiepunten zijn bijvoorbeeld 1, 2, 3, ..., 16, 18, 28, 44, 56.
• Voor een object met grootte 5: De lijst is korter en bevat specifieke getallen zoals 1, 2, 3, ..., 68.

Het is alsof ze een menukaart hebben gemaakt voor een restaurant dat nog niet volledig geopend is. Ze zeggen: "We weten zeker dat deze gerechten (de torsie-aantallen) op het menu kunnen staan, en we hebben al bewezen dat ze bestaan. Of er nog meer gerechten zijn, weten we nog niet, maar deze lijst is een zeer sterke kandidaat."

4. Waarom is dit belangrijk?

Vroeger was de lijst van mogelijke torsiepunten voor deze complexe objecten een raadsel. Nu hebben de auteurs:

1. Een wiskundig bewijs geleverd dat de lokale checks (in steden) leiden tot een wereldwijde conclusie.
2. Een concrete lijst gemaakt van wat er kan gebeuren.
3. Nieuwe voorbeelden gevonden die nog niet in de grote databases (zoals de LMFDB) stonden. Ze hebben bijvoorbeeld gevonden dat er een object is met precies 28 torsiepunten, iets dat eerder niet bekend was.

Samenvattend

Stel je voor dat je een enorme, ingewikkelde machine bouwt. Je wilt weten hoeveel onderdelen er precies in zitten die een bepaalde cyclus doorlopen.
Jessica en Nirvana hebben een nieuwe wet ontdekt die zegt: "Als je in bijna elke kamer van de fabriek ziet dat er een onderdeel ronddraait, dan zit er zeker een in de centrale machine."
Daarna hebben ze een lijst gemaakt van alle mogelijke aantallen rondende onderdelen voor machines van verschillende maten. Dit helpt wiskundigen om beter te begrijpen hoe deze complexe structuren in het universum van de getallen werken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "Torsion Points on GL2-type Abelian Varieties" van Jessica Alessandrì en Nirvana Coppola, in het Nederlands.

Titel: Torsiepunten op Abelse Variëteiten van GL2-type

Auteurs: Jessica Alessandrì en Nirvana Coppola
Datum: 10 maart 2026 (voorgesteld)

---

1. Probleemstelling en Achtergrond

Het paper behandelt een fundamenteel probleem in de getaltheorie en de meetkunde van abelse variëteiten: de relatie tussen de rationele torsie van een abelse variëteit $A$ gedefinieerd over een getallenlichaam $K$, en de reductie van deze variëteit modulo priemgetallen.

• Bekend feit: Voor een abelse variëteit $A/K$ injecteert de groep van rationale torsiepunten $Tors(A)(K)$ in de groep van punten op de reductie $\tilde{A}(\mathbb{F}_p)$ voor elke voldoende grote priem $p$ van goede reductie. Hieruit volgt dat de orde van de torsiegroep een deler is van de grootte van de reductiegroep $N(p) = |\tilde{A}(\mathbb{F}_p)|$.
• De omgekeerde vraag (Lang/Katz): Als $N(p) \equiv 0 \pmod m$ geldt voor een dichtheid 1 verzameling van priemgetallen, bestaat er dan een aan $A$ isogeen abelse variëteit $A'$ zodanig dat $|Tors(A')(K)| \equiv 0 \pmod m$?
  • Voor elliptische krommen ($g=1$) gaf Katz (1981) een positief antwoord.
  • Voor abelse oppervlakken ($g=2$) gaf Katz een zwakker positief antwoord (dezelfde priemdelers).
  • Voor hogere dimensies ($g \ge 3$) bestaan er tegenvoorbeelden, zelfs voor de zwakke versie.

Het doel van dit paper is om deze vraag te onderzoeken voor abelse variëteiten van GL2-type, ongeacht de dimensie, en een lijst van mogelijke torsieordes te construeren voor modulaire abelse variëteiten over $\mathbb{Q}$.

2. Methodologie

De auteurs gebruiken een combinatie van Galois-representaties, theorie van lattices en computationele algebra.

• GL2-type Variëteiten: Een abelse variëteit $A$ van dimensie $g$ is van GL2-type als er een getallenlichaam $F$ van graad $g$ bestaat dat inbedt in $\text{End}_K(A) \otimes \mathbb{Q}$. Dit impliceert dat de $\ell$-adische Galois-representatie $\rho_\ell$ ontbindt in een stelsel van 2-dimensionale representaties $\rho_\lambda$ met waarden in $GL_2(F_\lambda)$, waarbij $\lambda$ een priem is van $F$ boven $\ell$.
• Herformulering via Galois-representaties: Het probleem wordt vertaald naar de taal van Galois-representaties. De voorwaarde dat $N(p) \equiv 0 \pmod m$ voor een dichtheid 1 verzameling van priemgetallen, komt overeen met de congruentie $\det(1 - \rho_\lambda(\text{Frob}_p)) \equiv 0 \pmod{\lambda^n}$ voor een grote verzameling $p$.
• Toepassing van een stelling van Katz en Lang: De auteurs maken gebruik van een stelling (Theorema 3.1) die stelt dat als $\det(1-g) \equiv 0 \pmod{\pi^n}$ voor alle $g$ in een compacte groep $G \subset \text{Aut}(V)$ (waarbij $V$ een 2-dimensionale ruimte is), dan bestaat er een basis waarin de groep elementen een specifieke subgroep van $GL_2(\mathcal{O}_L)$ vormen.
• Constructie van Isogenieën: Door deze stelling toe te passen op de $\lambda$-adische representaties, bewijzen de auteurs dat er een $G_K$-stabiel rooster $L' \subset L$ bestaat zodanig dat de quotiëntgroep $L/L'$ een orde heeft die een macht is van $\ell$, en waarop de Galois-groep triviaal werkt. Dit correspondeert met de aanwezigheid van rationale torsiepunten op een aan $A$ isogeen variëteit $A'$.
• Computationele Implementatie: Voor het specifieke geval van modulaire abelse variëteiten over $\mathbb{Q}$ (geassocieerd met nieuwe vormen van gewicht 2), hebben de auteurs algoritmen geschreven in Magma. Ze berekenen de grootste gemene deler (g.g.d.) van de waarden $N(p)$ over een bereik van priemgetallen en vergelijken dit met de theoretisch voorspelde torsieordes.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorema 3.2 en Corollary 3.3)

De auteurs bewijzen een positief antwoord op de "zwakkere" versie van Katz's vraag voor alle abelse variëteiten van GL2-type over een getallenlichaam $K$, ongeacht de dimensie.

• Stelling: Laat $A$ een abelse variëteit van GL2-type zijn. Laat $\Sigma$ de verzameling zijn van priemgetallen van goede reductie met een absolute ramificatie-index kleiner dan $p-1$. Dan delen de twee getallen:
  1. $\sup_{A' \sim_K A} |Tors(A')(K)|$ (de maximale orde van rationale torsie binnen de isogenieklasse)
  2. $\gcd_{p \in \Sigma} N(p)$ (de g.g.d. van de aantallen punten op de reductie)
     precies dezelfde priemgetallen.
• Precieze relatie: Voor elke rationale priem $\ell$ van goede reductie geldt:
  $$v_\ell\left(\sup |Tors(A')(K)|\right) \leq v_\ell\left(\gcd N(p)\right)$$
  Als bovendien $\ell$ totaal inert is in het veld $F$, dan is de ongelijkheid een gelijkheid.

Dit betekent dat de "lokale" informatie (aantal punten modulo $p$) de "globale" informatie (rationele torsie) volledig bepaalt wat betreft de delers, binnen de klasse van GL2-type variëteiten.

Toepassing op Modulaire Variëteiten over $\mathbb{Q}$

De auteurs specialiseren hun resultaten naar modulaire abelse variëteiten $A_f$ geassocieerd met nieuwe vormen $f$.

• Ze classificeren de mogelijke torsieordes voor simpele GL2-type variëteiten met dimensie $g \leq 5$.
• Ze identificeren dat voor $g=2, 3, 4$ de voorspelde torsieordes (gebaseerd op de theorie) exact overeenkomen met de berekende g.g.d. van $N(p)$ tot niveau 500.
• Voor $g=5$ wordt een uitzondering gevonden (niveau 399, label 399.2.a.f) waarbij de voorspelde orde (36) verschilt van de berekende g.g.d. (72), wat suggereert dat de theorie niet altijd exact gelijk is aan de g.g.d. voor hogere dimensies, maar wel de juiste priemdelers vastlegt.

Conjecturen (4.4 en 4.5)

Op basis van computationele data (tot niveau 500) presenteren de auteurs lijsten met mogelijke torsieordes en delende priemgetallen:

• Conjecture 4.4: Lijst van mogelijke waarden voor $|Tors(A)(\mathbb{Q})|$ voor $g=2, 3, 4, 5$. Bijvoorbeeld voor $g=2$ zijn de mogelijke orden onder meer 1, 2, ..., 16, 18, 19, 20, 21, 22, 24, 28, 44, 56.
• Conjecture 4.5: Lijst van mogelijke priemgetallen $\ell$ die de orde van een rationale torsiepunt kunnen delen, afhankelijk van de dimensie $g$.
  • Voor $g=2$: $\ell \in \{2, 3, 5, 7, 11, 13, 19\}$.
  • Voor $g=4$: $\ell$ kan grotere priemgetallen aannemen, zoals 73.

4. Betekenis en Impact

• Verduidelijking van het Local-Global Principe: Het paper levert een krachtig bewijs dat het local-global principe voor torsiepunten geldt voor de klasse van GL2-type variëteiten, een significant resultaat dat de theorie van Katz voor elliptische krommen uitbreidt naar hogere dimensies onder specifieke structurele beperkingen.
• Computationele Database: De auteurs vullen de bestaande databases (zoals LMFDB) aan. Ze tonen aan dat er abelse oppervlakken bestaan met torsieordes die niet in de huidige databases voorkomen (bijvoorbeeld een oppervlak met torsie 28 geassocieerd met niveau 39).
• Praktische Toepassing: De geïmplementeerde code in Magma biedt een methode om voor modulaire vormen de maximale mogelijke rationale torsie te voorspellen, wat nuttig is voor het classificeren van abelse variëteiten en het zoeken naar specifieke voorbeelden in de getaltheorie.
• Verband met Serre's Vermoedens: De resultaten versterken het inzicht in de relatie tussen modulaire vormen en de torsie van de geassocieerde abelse variëteiten, een centraal thema in de moderne getaltheorie.

Kortom, dit werk biedt een theoretisch kader en een computationeel instrument om de torsie van een belangrijke klasse van abelse variëteiten te begrijpen en te classificeren, waarbij het een brug slaat tussen lokale reductie-eigenschappen en globale rationaliteit.