🔢 mathematics

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

Diese Arbeit bestimmt die asymptotische Anzahl, geordnet nach naiver Höhe, von Geschlecht-2-Kurven über den rationalen Zahlen, die ein monisches Weierstrass-Modell ungeraden Grades und eine Jacobische mit einem markierten rationalen 3-Torsionspunkt besitzen.

Ursprüngliche Autoren: Elvira Lupoian, Lazar Radicevic

Veröffentlicht 2026-07-13

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Elvira Lupoian, Lazar Radicevic

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, eine ganz bestimmte Art von unsichtbarem Schatz zu zählen: Genus-2-Kurven. In der Welt der Mathematik sind dies schicke, wellige Formen, die durch Gleichungen definiert sind. Aber wir suchen nicht irgendeine Form; wir jagen nach solchen, die zwei besondere „Superkräfte“ besitzen:

Sie müssen aus einer bestimmten Art von Gleichung bestehen (einem „monischen Weierstrass-Modell ungeraden Grades“).
Ihr verborgener „Jacobian“ (eine komplexe mathematische Maschine, die an der Kurve befestigt ist) muss einen spezifischen, markierten „3-Torsionspunkt“ haben. Man kann sich diesen Punkt wie einen geheimen Handschlag vorstellen, der sich genau dreimal wiederholt, bevor er auf Null zurückkehrt.

Die Autoren, Elvira Lupoian und Lazar Radičević, wollten wissen: Wenn wir all diese speziellen Kurven betrachten, wie viele sind es, während wir immer größer werden?

Die große Zählmaschine

Um diese Frage zu beantworten, mussten die Autoren eine massive, maßgeschneiderte Zählmaschine bauen. Normalerweise ist das Zählen dieser Formen so, als würde man versuchen, die Sandkörner an einem Strand zu zählen, an denen die Körner ständig ihre Größe und Form ändern. Das ist chaotisch.

Aber die Autoren entdeckten einen cleveren Trick. Sie fanden einen Weg, jede einzelne dieser speziellen Kurven in einen Satz von vier Zahlen zu übersetzen, die sie A, B, J und E nannten. Es ist, als würde man erkennen, dass jede einzigartige Schneeflocke durch nur vier spezifische Messwerte beschrieben werden kann.

Sie bauten einen riesigen, unsichtbaren Kasten (Mathematiker nennen dies einen „gewichteten projektiven Raum“), um diese vier Zahlen zu halten. Die Größe des Kastens wird durch eine Zahl namens X gesteuert, die wie eine Lupe wirkt. Wenn man am Regler von X dreht, um den Kasten größer zu machen, kann man mehr und mehr dieser Vierer-Zahlen-Sätze darin unterbringen.

Die große Entdeckung

Der Hauptbefund des Papers ist eine präzise Vorhersage darüber, wie viele Kurven in den Kasten passen, während X riesig wird.

Die Autoren bewiesen, dass die Anzahl dieser Kurven, die sie #Wmark(X) nennen, mit einer Rate von X¹⁰ wächst.

Das ist richtig: X hoch 10.

Wenn man die Größe der Lupe (X) verdoppelt, explodiert die Anzahl der Kurven nicht einfach nur, sondern steigt um den Faktor 1.024 (da $2^{10} = 1024$ ). Die Formel, die sie fanden, lautet:
#Wmark(X) = cX¹⁰ + o(X¹⁰)

Hierbei ist c eine spezifische, positive Zahl, die die Autoren berechnet haben. Sie setzt sich aus dem Volumen ihres speziellen Kastens und einigen „lokalen Dichtefaktoren“ (wie etwa wie gedrängt die Zahlen bei bestimmten Primzahlen wie 2 und 3 sind) zusammen. Der Term o(X¹⁰) ist eine mathematische Art zu sagen: „ein winziger, unbedeutender Restbetrag, der verschwindet, wenn die Zahlen riesig werden.“

Was sie ausschlossen haben

Die Autoren waren sehr sorgfältig darin, zu sagen, was ihre Methode nicht leistet.

Sie haben explizit ausgeschlossen, dass dies nur eine Vermutung oder eine Simulation ist. Sie haben nicht einfach ein Computerprogramm laufen lassen, um ein paar Beispiele zu zählen und ein Muster zu raten. Sie haben die Formel unter Verwendung tiefer Geometrie und Zahlentheorie bewiesen.
Sie haben auch klargestellt, dass dieser Zählvorgang für Kurven mit einem markierten Punkt gilt. Wenn man die Markierung vergisst und einfach nur die Kurven zählt, ist die Zahl etwa halb so groß (da der Punkt und sein „negativer Zwilling“ identisch aussehen, wenn man sie nicht beschriftet).
Sie merkten an, dass Kurven mit einer größeren 3-Torsionsgruppe (speziell einer Gruppe der Ordnung 9) so selten sind, dass sie in diesem Zählvorgang praktisch unsichtbar sind – sie sind eine „dünne Teilmenge“, die die Hauptformel nicht verändert.

Wie sicher sind sie sich?

Die Autoren sind sich über die Gestalt der Antwort zu 100 % sicher. Sie sagten nicht „es sieht so aus“ oder „wir glauben“. Sie haben bewiesen, dass die Anzahl der Kurven exakt dem cX¹⁰-Muster folgt.

Sie gaben zwar zu, dass das Berechnen des exakten Wertes von c eine etwas mühsame Angelegenheit ist. Es erfordert viel Schwerstarbeit mit Computer-Algebra-Systemen (sie verwendeten das Programm MAGMA für die Mathematik), um das exakte Volumen ihres Kastens und die Dichte der Zahlen zu bestimmen. Während sie die Formel für c lieferten, ist das eigentliche Ausrechnen der finalen Dezimalzahl als „mühsam“ beschrieben worden, aber die Existenz der Zahl und die X¹⁰-Wachstumsrate sind solide, bewiesene Fakten.

Das „Warum es wichtig ist“ (ohne den Jargon)

Warum verbringt man so viel Zeit damit, diese unsichtbaren, welligen Formen zu zählen?
Die Autoren erklären, dass das Zählen dieser Kurven wie das Lösen eines Puzzles darüber ist, wie Zahlen in komplexen Systemen sich verhalten. Während wir viel über einfache Kurven (wie Kreise oder Ellipsen) wissen, werden die Regeln für diese „Genus-2“-Formen viel unschärfer.

Dieses Paper ist ein Durchbruch, weil es das erste Mal ist, dass jemand eine exakte Formel für das Zählen dieser spezifischen Formen gefunden hat, wenn die „Landkarte“ aller möglichen Formen nicht nur eine einfache Linie oder Kurve ist, sondern ein viel komplizierterer, mehrdimensionaler Raum. Es ist ihnen gelungen, einen wilden, hochdimensionalen Dschungel zu bändigen und eine präzise Karte zu zeichnen, wie die Bäume dort verteilt sind.

Kurz gesagt: Sie haben einen Weg gefunden, eine spezifische, seltene Art mathematischer Formen zu zählen, bewiesen, dass die Anzahl unglaublich schnell wächst (wie X¹⁰), und eine präzise Formel dafür geliefert, wie viele es genau sind. Es ist ein Sieg für die Geometrie der Zahlen, der ein chaotisches Durcheinander in ein klares, vorhersagbares Muster verwandelt hat.

Technisches Resümee: Zählen von Genus-2-Kurven mit ungeradem Geschlecht und einem markierten rationalen 3-Torsionspunkt

Problemstellung
Diese Arbeit befasst sich mit dem Problem des Zählens von Genus-2-Kurven über den rationalen Zahlen $\mathbb{Q}$ , die ein monisches Weierstrass-Modell ungeraden Grades besitzen und eine Jacobiansche Varietät mit einem markierten rationalen 3-Torsionspunkt aufweisen. Die Kurven werden durch eine „naive Höhe“-Funktion geordnet. Konkret betrachten die Autoren quadratfreie, minimale Polynome $f(x) = x^5 + a_3x^3 + a_2x^2 + a_1x + a_0 \in \mathbb{Z}[x]$ , welche die Kurve $C_f: y^2 = f(x)$ definieren. Die Höhe ist definiert als $H(f) = \max\{|a_3|^{1/4}, |a_2|^{1/6}, |a_1|^{1/8}, |a_0|^{1/10}\}$ . Das Ziel ist es, das asymptotische Verhalten der Anzahl der Paare $(f, T)$ zu bestimmen, wobei $T$ ein nicht-null folgender rationaler 3-Torsionspunkt auf der Jacobianschen Varietät $J_f$ ist, wenn die Höhenschranke $X$ gegen Unendlich geht.

Methodik
Der Kern der Methodik besteht in einer Parametrisierung der Menge der Paare $(f, T)$ mittels gewichteter homogener Polynome, wodurch das Zählproblem auf die Schätzung der Anzahl von Gitterpunkten in einer beschränkten Region eines gewichteten projektiven Raums reduziert wird.

Parametrisierung: Die Autoren etablieren eine Bijektion zwischen den Paaren $(f, T)$ und Tupeln $P = (A, B, J, E)$ in einem gewichteten projektiven Raum $\mathbb{P}(1, 2, 3, 4)$ . Dies wird durch die Konstruktion von vier gewichteten homogenen Polynomen $\Theta_0, \Theta_1, \Theta_2, \Theta_3 \in \mathbb{Z}[A, B, J, E]$ (mit Gewichten 4, 6, 8 und 10) erreicht. Diese Polynome definieren die Koeffizienten des Polynoms $f$ über die Relation:
$729f(x) = 729x^5 + \Theta_3(P)x^3 + \Theta_2(P)x^2 + \Theta_1(P)x + \Theta_0(P).$
Der markierte 3-Torsionspunkt $T$ wird durch einen Divisor repräsentiert, der durch Funktionen bestimmt wird, die von $P$ abhängen. Diese Parametrisierung leitet sich aus der Bedingung $G(x)^2 - A^2f(x) = H(x)^3$ ab, wobei $G$ und $H$ Polynome sind, die mit dem Divisor des Torsionspunktes zusammenhängen.
Geometrie der Zahlen: Das Problem wird auf das Zählen von ganzzahligen Punkten $P = (A, B, J, E)$ innerhalb einer kompakten Region $R(X)$ reduziert, die durch die Höhenbedingung $H(F_P) \leq X$ definiert ist. Die Region $R(1)$ erweist sich als kompakt, da die Polynome $\Theta_i$ keine gemeinsamen Nullstellen außer dem Ursprung besitzen.
Lokale Bedingungen und Sieben:
- Integrale und Minimalität: Die Autoren leiten notwendige und hinreichende Kongruenzbedingungen auf $P$ ab, um sicherzustellen, dass das resultierende Polynom $f$ ganzzahlige Koeffizienten besitzt und minimal ist (d. h. nicht durch eine Primzahl herunterskaliert werden kann).
- Primzahlen $p \geq 5$ : Für Primzahlen $p \geq 5$ ist die Bedingung für ein nicht-minimales $f$ äquivalent dazu, dass $P$ in einem spezifischen Untergitter liegt, in dem $p|A, p^2|B, p^3|J, p^4|E$ gilt. Die Dichte der minimalen Punkte bei diesen Primzahlen ist $1 - p^{-10}$ .
- Primzahlen 2 und 3: Die Bedingungen für $p=2$ und $p=3$ sind komplexer und werden über eine endliche Menge von Kongruenzbedingungen behandelt, die eine lokale Dichtekonstante $\beta_{2,3}$ definieren.
Asymptotisches Zählen: Unter Verwendung von Davenports Lipschitz-Prinzip (Geometrie der Zahlen) zählen die Autoren die Gitterpunkte in der skalierten Region $R(X)$ . Sie wenden ein Sieb an, um Punkte auszuschließen, die nicht-minimalen Polynomen oder degenerierten Fällen (bei denen die Diskriminante verschwindet oder $A=0$ ) entsprechen.

Wesentliche Beiträge und Ergebnisse
Das Hauptergebnis ist Theorem 1.1, welches eine exakte asymptotische Formel für die Anzahl dieser Kurven liefert:
$\#W_{mark}(X) = cX^{10} + o(X^{10})$
wobei $c$ eine positive, effektiv berechenbare Konstante ist, gegeben durch:
$c = \text{Vol}(R(1)) \cdot \beta_{2,3} \cdot \prod_{p \geq 5} (1 - p^{-10}).$
Hierbei ist $\text{Vol}(R(1))$ das Volumen der kompakten Region, die durch die Höhenfunktion definiert ist, und $\beta_{2,3}$ ist die lokale Dichte bei den Primzahlen 2 und 3.

Die Arbeit liefert zudem Proposition 1.2, welche explizit die gewichteten homogenen Polynome $\Theta_i$ konstruiert, die die Familie der Genus-2-Kurven mit einem markierten 3-Torsionspunkt parametrisieren. Diese Parametrisierung stellt eine bedeutende technische Leistung dar, da sie den Modulirraum solcher Kurven in einen gewichteten projektiven Raum $\mathbb{P}(1, 2, 3, 4)$ kompaktifiziert, in einer Weise, die die rationale Abbildung zu einem Morphismus erweitert, was die Anwendung von Gitterpunktzählungstechniken ermöglicht.

Bedeutung und Behauptungen
Die Autoren behaupten, dass diese Arbeit die erste ist, die eine exakte asymptotische Formel für die Anzahl von Kurven mit einer vorgegebenen Level-Struktur in einem Setting bestimmt, in dem die Modulvarietät keine Kurve ist (speziell eine dreidimensionale Varietät in diesem Fall).

Vergleich mit bisheriger Arbeit: Während das Zählen von elliptischen Kurven mit Level-Strukturen (z. B. Torsionspunkten oder Isogenien) gut etabliert ist (unter Verweis auf Arbeiten von Harron, Snowden, Boggess-Sankar, etc.), ist die Erweiterung dieser Ergebnisse auf Kurven höheren Geschlechts schwierig. Vorherige Arbeiten von Chan, Loughran und Rome zeigten, dass fast alle ungeraden hyperelliptischen Kurven Jacobians besitzen, die keine vorgegebene Level-Struktur aufweisen, lieferten jedoch keine asymptotische Zählung für jene, die dies doch tun.
Methodische Innovation: Die Arbeit hebt die Schwierigkeit hervor, den Modulirraum für höherdimensionale Varietäten zu kompaktifizieren. Im Gegensatz zum Fall der elliptischen Kurve (wo die modulare Kurve eine Kurve ist und rationale Abbildungen automatisch zu Morphismen erweitert werden) mussten die Autoren eine „ad-hoc“ Kompaktifizierung zu $\mathbb{P}(1, 2, 3, 4)$ konstruieren, um sicherzustellen, dass die Abbildung auf das Weierstrass-Modell basispunktfrei ist.
Geltungsbereich: Das Ergebnis gilt spezifisch für Kurven mit einem markierten rationalen Weierstrass-Punkt (im Unendlichen) und einem markierten rationalen 3-Torsionspunkt. Die Autoren merken in Bemerkung 5.4 an, dass das Zählen von Kurven mit einem unmarkierten 3-Torsionspunkt (das Vergessen des spezifischen Punktes $T$ ) eine Anzahl von $c/2 X^{10}$ ergeben würde, da die rationale 3-Torsions-Untergruppe typischerweise die Ordnung 3 hat (erzeugt durch $T$ und $-T$ ), ausgenommen eine dünne Menge von Kurven mit einer Untergruppe der Ordnung 9.

Die Arbeit schlägt keine experimentellen Anwendungen oder zukünftigen Vermutungen vor, die über das spezifische Zählproblem hinausgehen, und konzentriert sich stattdessen auf die arithmetische Geometrie des Modulirraums und die explizite Konstruktion der Parametrisierung.