🔢 mathematics

Counting odd genus $2$ curves with a marked rational $3$-torsion point

Dit artikel stelt de asymptotische telling vast, geordend naar naïeve hoogte, van genus 2-curven over de rationale getallen die een monische Weierstrass-modellen van oneven graad bezitten en een Jacobiaan met een gemarkeerd rationaal 3-torsiepunt.

Oorspronkelijke auteurs: Elvira Lupoian, Lazar Radicevic

Gepubliceerd 2026-07-13

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Elvira Lupoian, Lazar Radicevic

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een detective bent die probeert een heel specifiek type onzichtbare schat te tellen: genus 2-curven. In de wereld van de wiskunde zijn dit chique, golvende vormen gedefinieerd door vergelijkingen. Maar we zijn niet zomaar vormen aan het tellen; we zoeken naar vormen die twee speciale "superkrachten" hebben:

Ze moeten gebouwd zijn uit een specifiek soort vergelijking (een "monische Weierstrass-model van oneven graad").
Hun verborgen "Jacobiaan" (een complex wiskundig mechanisme dat aan de curve is bevestigd) moet een specifieke, gemarkeerde "3-torsiepunt" hebben. Denk aan dit punt als een geheim handdrukje dat precies drie keer herhaalt voordat het terugkeert naar nul.

De auteurs, Elvira Lupoian en Lazar Radičević, wilden weten: Als we naar al deze speciale curven kijken, hoeveel zijn het er dan naarmate ze steeds groter worden?

De Grote Telmachine

Om dit te beantwoorden, moesten de auteurs een enorme, op maat gemaakte telmachine bouwen. Normaal gesproken is het tellen van deze vormen alsof je zandkorrels op een strand probeert te tellen waarbij de korrels steeds van grootte en vorm veranderen. Dat is een rommeltje.

Maar de auteurs ontdekten een slimme truc. Ze vonden een manier om elke van deze speciale curven te vertalen naar een set van vier getallen, die ze A, B, J en E noemden. Het is alsoalsof je beseft dat elke unieke sneeuwvlok beschreven kan worden door slechts vier specifieke metingen.

Ze bouwden een gigantische, onzichtbare doos (wiskundigen noemen dit een "gewogen projectieve ruimte") om deze vier getallen in te bewaren. De grootte van de doos wordt bepaald door een getal genaamd X, dat fungeert als een vergrootglas. Terwijl je aan de draaiknop van X draait om de doos groter te maken, kun je steeds meer van deze sets van vier getallen in de doos passen.

De Grote Ontdekking

De belangrijkste bevinding van het artikel is een precieze voorspelling van hoeveel curven er in de doos passen naarmate X enorm groot wordt.

De auteurs bewezen dat het aantal van deze curven, dat zij #Wmark(X) noemen, groeit met een snelheid van X¹⁰.

Dat klopt: X tot de macht 10.

Als je de grootte van je vergrootglas (X) verdubbelt, verdubbelt het aantal curven niet alleen; het explodeert met een factor van 1.024 (omdat $2^{10} = 1024$ ). De formule die ze vonden is:
#Wmark(X) = cX¹⁰ + o(X¹⁰)

Hier is c een specifiek, positief getal dat de auteurs hebben berekend. Het bestaat uit het volume van hun speciale doos en enkele "lokale dichtheidsfactoren" (zoals hoe druk de getallen zijn bij specifieke priemgetallen zoals 2 en 3). De term o(X¹⁰) is een wiskundige manier om te zeggen: "een klein, onbeduidend restbedrag dat verdwijnt naarmate de getallen enorm groot worden."

Wat Ze Hebben Uitgesloten

De auteurs waren zeer zorgvuldig in het aangeven wat hun methode niet doet.

Ze sloten expliciet de mogelijkheid uit dat dit slechts een gok of een simulatie is. Ze hebben niet simpelweg een computerprogramma gedraaid om een paar voorbeelden te tellen en het patroon te raden. Ze hebben de formule bewezen met behulp van diepe meetkunde en getaltheorie.
Ze verduidelijkten ook dat deze telling geldt voor curven met een gemarkeerd punt. Als je de markering vergeet en gewoon de curven telt, is het aantal ongeveer de helft zo groot (omdat het punt en zijn "negatieve" tweelingbroer hetzelfde lijken als je ze niet labelt).
Ze merkten op dat curven met een grotere groep 3-torsiepunten (specifiek een groep van orde 9) zo zeldzaam zijn dat ze praktisch onzichtbaar zijn in deze telling — ze zijn een "dunne deelverzameling" die de hoofdfunctie niet verandert.

Hoe Zeker Zijn Ze?

De auteurs zijn 100% zeker over de vorm van het antwoord. Ze zeiden niet "het lijkt op" of "we denken dat"; ze hebben bewezen dat het aantal curven exact het cX¹⁰-patroon volgt.

Ze gaven toe dat het berekenen van de exacte waarde van de constante c een flinke klus is. Het vereist veel zwaar werk met computeralgebra-systemen (ze gebruikten een programma genaamd MAGMA om de wiskunde te doen) om de exacte inhoud van hun doos en de dichtheid van de getallen te bepalen. Hoewel ze de formule voor c hebben gegeven, is het daadwerkelijk uitrekenen van het definitieve decimale getal beschreven als "tijdrovend", maar de existentie van het getal en de X¹⁰-groeisnelheid zijn solide, bewezen feiten.

Het "Waarom Het Er Toe Doet" (Zonder Jargon)

Waarom besteden ze zoveel tijd aan het tellen van deze onzichtbare, golvende vormen?
De auteurs leggen uit dat het tellen van deze curven lijkt op het oplossen van een puzzel over hoe getallen zich gedragen in complexe systemen. Hoewel we veel weten over eenvoudige curven (zoals cirkels of ellipsen), worden de regels veel vager voor deze "genus 2"-vormen.

Dit artikel is een doorbraak omdat het de eerste keer is dat iemand een exacte formule heeft gevonden voor het tellen van deze specifieke vormen wanneer de "kaart" van alle mogelijke vormen niet een eenvoudige lijn of curve is, maar een veel complexere, multidimensionale ruimte. Ze zijn erin geslaagd om een wilde, hoogdimensionale jungle te temmen en een precieze kaart te tekenen van hoe de bomen daar verdeeld zijn.

Kortom: Ze hebben een manier gevonden om een specifiek, zeldzaam type wiskundige vorm te tellen, bewezen dat de telling ongelooflijk snel groeit (als X¹⁰) en een precieze formule gegeven voor exact hoeveel het er zijn. Het is een overwinning voor de getaltheoretische meetkunde, waarbij een chaotische bende is omgezet in een schoon, voorspelbaar patroon.

Technische Samenvatting: Het tellen van genus 2-curves met een gemarkeerd rationeel 3-torsiepunt

Probleemstelling
Dit artikel behandelt het probleem van het tellen van genus 2-curves over de rationale getallen $\mathbb{Q}$ die een monisch Weierstrass-model van oneven graad toelaten en een Jacobiaan bezitten met een gemarkeerd rationeel 3-torsiepunt. De curves worden geordend door een "naïeve hoogte"-functie. Specifiek beschouwen de auteurs vierkante-vrije, minimale polynomen $f(x) = x^5 + a_3x^3 + a_2x^2 + a_1x + a_0 \in \mathbb{Z}[x]$ die de curve $C_f: y^2 = f(x)$ definiëren. De hoogte wordt gedefinieerd als $H(f) = \max\{|a_3|^{1/4}, |a_2|^{1/6}, |a_1|^{1/8}, |a_0|^{1/10}\}$ . Het doel is om het asymptotische gedrag te bepalen van het aantal paren $(f, T)$ , waarbij $T$ een niet-nul rationeel 3-torsiepunt is op de Jacobiaan $J_f$ , naarmate de hoogtegrens $X$ naar oneindig gaat.

Methodologie
De kern van de methodologie betreft een parametrisatie van de verzameling paren $(f, T)$ met behulp van gewogen homogene polynomen, wat het telprobleem reduceert tot het schatten van het aantal roosterpunten in een begrensde regio van een gewogen projectieve ruimte.

Parametrisatie: De auteurs vestigen een bijeenwerking tussen paren $(f, T)$ en tupels $P = (A, B, J, E)$ in een gewogen projectieve ruimte $\mathbb{P}(1, 2, 3, 4)$ . Dit wordt bereikt door het construeren van vier gewogen homogene polynomen $\Theta_0, \Theta_1, \Theta_2, \Theta_3 \in \mathbb{Z}[A, B, J, E]$ (met gewichten respectievelijk 4, 6, 8 en 10). Deze polynomen definiëren de coëfficiënten van de polynoom $f$ via de relatie:
$729f(x) = 729x^5 + \Theta_3(P)x^3 + \Theta_2(P)x^2 + \Theta_1(P)x + \Theta_0(P).$
Het gemarkeerde 3-torsiepunt $T$ wordt gerepresenteerd door een divisor die wordt afgesneden door functies bepaald door $P$ . Deze parametrisatie is afgeleid van de voorwaarde $G(x)^2 - A^2f(x) = H(x)^3$ , waarbij $G$ en $H$ polynomen zijn die gerelateerd zijn aan de divisor van het torsiepunt.
Geometrie van getallen: Het probleem wordt gereduceerd tot het tellen van integerpunten $P = (A, B, J, E)$ binnen een compacte regio $R(X)$ gedefinieerd door de hoogtevoorwaarde $H(F_P) \leq X$ . De regio $R(1)$ blijkt compact te zijn omdat de polynomen $\Theta_i$ geen gemeenschappelijke nulpunten hebben behalve de oorsprong.
Lokale voorwaarden en zeven:
- Integrale en minimale eigenschappen: De auteurs leiden noodzakelijke en voldoende congruentievoorwaarden af voor $P$ om te garanderen dat de resulterende polynoom $f$ gehele coëfficiënten heeft en minimaal is (d.w.z. niet door een priemfactor kan worden geschaald).
- Priemen $p \geq 5$ : Voor priemgetallen $p \geq 5$ is de voorwaarde voor een niet-minimale $f$ aangetoond gelijk te zijn aan $P$ dat in een specifieke sub-rooster ligt waar $p|A, p^2|B, p^3|J, p^4|E$ . De dichtheid van minimale punten bij deze priemgetallen is $1 - p^{-10}$ .
- Priemen 2 en 3: De voorwaarden voor $p=2$ en $p=3$ zijn complexer en worden behandeld via een eindige verzameling congruentievoorwaarden, die een lokale dichtheidconstante $\beta_{2,3}$ definiëren.
Asymptotisch tellen: Gebruikmakend van Davenport's Lipschitz-principe (geometrie van getallen), tellen de auteurs de roosterpunten in de geschaalde regio $R(X)$ . Ze passen een zeef toe om punten uit te sluiten die corresponderen met niet-minimale polynomen of gedegenereerde gevallen (waar de discriminant nul is of $A=0$ ).

Belangrijkste bijdragen en resultaten
Het hoofdbestek is Theorem 1.1, die een exacte asymptotische formule biedt voor het aantal van dergelijke curves:
$\#W_{mark}(X) = cX^{10} + o(X^{10})$
waarbij $c$ een positieve, effectief berekenbare constante is gegeven door:
$c = \text{Vol}(R(1)) \cdot \beta_{2,3} \cdot \prod_{p \geq 5} (1 - p^{-10}).$
Hierbij is $\text{Vol}(R(1))$ het volume van de compacte regio gedefinieerd door de hoogtefunctie, en $\beta_{2,3}$ de lokale dichtheid bij de priemgetallen 2 en 3.

Het artikel biedt ook Proposition 1.2, die expliciet de gewogen homogene polynomen $\Theta_i$ construeert die de familie van genus 2-curves met een gemarkeerd 3-torsiepunt parametriseert. Deze parametrisatie is een significante technische prestatie, aangezien het de moduli-ruimte van dergelijke curves compactificeert in een gewogen projectieve ruimte $\mathbb{P}(1, 2, 3, 4)$ op een manier die de rationale afbeelding uitbreidt tot een morfisme, waardoor de toepassing van roosterpunt-tellingstechnieken mogelijk wordt.

Betekenis en claims
De auteurs stellen dat dit werk de eerste is die een exacte asymptotische formule bepaalt voor het aantal curves met een voorgeschreven level-structuur in een setting waar de moduli-variëteit geen curve is (specifiek een driedimensionale variëteit in dit geval).

Vergelijking met eerder werk: Hoewel het tellen van elliptische curves met level-structuren (bijv. torsiepunten of isogenieën) goed gevestigd is (verwijzend naar werken van Harron, Snowden, Boggess-Sankar, etc.), is het uitbreiden van deze resultaten naar curves met een hogere genus moeilijk. Eerder werk door Chan, Loughred en Rome toonde aan dat bijna alle oneven hyperelliptische curves Jacobiaanse bezitten zonder een voorgeschreven level-structuur, maar leverde geen asymptotische telling voor diegene die dat wel hebben.
Methodologische innovatie: Het artikel benadrukt de moeilijkheid van het compactificeren van de moduli-ruimte voor hogere-dimensionale variëteiten. In tegenstelling tot het geval van de elliptische curve (waar de modulaire curve een curve is en rationale afbeeldingen automatisch uitbreiden tot morfismen), moesten de auteurs een "ad-hoc" compactificatie naar $\mathbb{P}(1, 2, 3, 4)$ construeren om te garanderen dat de afbeelding naar het Weierstrass-model basispunt-vrij is.
Reikwijdte: Het resultaat is specificaat van toepassing op curves met een gemarkeerd rationeel Weierstrass-punt (in het oneindige) en een gemarkeerd rationeel 3-torsiepunt. De auteurs merken in Remark 5.4 op dat het tellen van curves met een ongemarkeerd 3-torsiepunt (het vergeten van het specifieke punt $T$ ) een telling van $c/2 X^{10}$ zou opleveren, aangezien de rationale 3-torsie-subgroep doorgaans van orde 3 is (gegenereerd door $T$ en $-T$ ), behalve voor een dunne verzameling curves met een subgroep van orde 9.

Het artikel stelt geen experimentele toepassingen of toekomstige vermoedens voor buiten het specifieke telprobleem, en behoudt een focus op de arithmetische geometrie van de moduli-ruimte en de expliciete constructie van de parametrisatie.