2025-11-12T08:04:09.503033

Counting rational points on elliptic and hyperelliptic curves over function fields

Gillibert, Hallouin, Levin
Combining $2$-descent techniques with Riemann-Roch and Bézout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We deduce an upper bound on the number of $S$-integral points, where $S$ is a finite set of places. As a primary application, over small finite fields we bound the $3$-torsion of Jacobians of hyperelliptic curves and the $2$-torsion of Jacobians of trigonal curves. In this setting, these bounds improve on both the trivial geometric bound and the naive inequality coming from the Weil bound, as well as recent upper bounds on $2$-torsion in the work of Bhargava et al.
academic

Zählung rationaler Punkte auf elliptischen und hyperelliptischen Kurven über Funktionenkörpern

Grundinformationen

  • Paper-ID: 2510.13292
  • Titel: Counting rational points on elliptic and hyperelliptic curves over function fields
  • Autoren: Jean Gillibert, Emmanuel Hallouin, Aaron Levin
  • Klassifizierung: math.NT (Zahlentheorie), math.AG (Algebraische Geometrie)
  • Veröffentlichungszeitpunkt: Oktober 2025
  • Paper-Link: https://arxiv.org/abs/2510.13292

Zusammenfassung

In diesem Artikel werden 2-Abstiegs-Techniken mit dem Riemann-Roch-Theorem und dem Satz von Bézout kombiniert, um obere Schranken für die Anzahl rationaler Punkte beschränkter Höhe auf elliptischen und hyperelliptischen Kurven über Funktionenkörpern mit Charakteristik ≠ 2 zu erhalten. Die Autoren leiten ferner obere Schranken für die Anzahl von S-ganzen Punkten her, wobei S eine endliche Stellenmenge ist. Als Hauptanwendung werden auf kleinen endlichen Körpern die 3-Torsion der Jacobischen von hyperelliptischen Kurven und die 2-Torsion der Jacobischen von kubischen Kurven begrenzt. Diese Schranken verbessern die trivialen geometrischen Grenzen, naive Ungleichungen der Weil-Schranke sowie die neuesten oberen Grenzen von Bhargava et al. zur 2-Torsion.

Forschungshintergrund und Motivation

  1. Kernproblem: Untersuchung des Zählungsproblems rationaler Punkte auf elliptischen und hyperelliptischen Kurven über Funktionenkörpern, insbesondere die Schätzung der Anzahl rationaler Punkte beschränkter Höhe und S-ganzer Punkte.
  2. Bedeutung des Problems:
    • Die Zählung rationaler Punkte ist ein fundamentales Problem in der arithmetischen Geometrie und steht in enger Beziehung zur Funktionenkörper-Version der Mordell-Vermutung
    • Für elliptische Kurven ist dies direkt mit der Strukturforschung der Mordell-Weil-Gruppe verbunden
    • Die Anwendung auf endliche Körper ermöglicht die Begrenzung der Torsionsuntergruppen der Jacobischen, was in der algebraischen und arithmetischen Geometrie von großer Bedeutung ist
  3. Einschränkungen bestehender Methoden:
    • Klassische geometrische Schranken sind oft zu grob
    • Obwohl die Weil-Schranke präzise ist, ist sie in bestimmten Fällen nicht scharf genug
    • Bestehende Torsionsgrenzen können im Fall kleiner endlicher Körper weiter verbessert werden
  4. Forschungsmotivation: Durch geometrische Methoden (hauptsächlich Analyse von 2-Abstiegs-Abbildungen) präzisere Zählungsschranken erhalten und diese auf die Torsionsschätzung der Jacobischen über endlichen Körpern anwenden.

Kernbeiträge

  1. Etablierung neuer Zählungsschranken für rationale Punkte: Für elliptische und hyperelliptische Kurven über Funktionenkörpern werden explizite obere Schranken für die Anzahl rationaler Punkte beschränkter Höhe gegeben (Theorem 1.1)
  2. Herleitung von Zählungsschranken für S-ganze Punkte: Unter Verwendung der Funktionenkörper-Version des abc-Theorems werden obere Schranken für die Höhe S-ganzer Punkte und damit Schätzungen für die Anzahl S-ganzer Punkte erhalten (Theorem 1.2)
  3. Verbesserung der Torsionsgrenzen der Jacobischen über endlichen Körpern:
    • Für die 3-Torsion der Jacobischen hyperelliptischer Kurven wird eine Schranke von qg/2+γg/log⁡gq^{g/2+\gamma g/\log g} gegeben (Theorem 1.3)
    • Für die 2-Torsion der Jacobischen kubischer Kurven wird eine Schranke von (2q)g/3+γg/log⁡g(2q)^{g/3+\gamma g/\log g} gegeben (Theorem 1.6)
  4. Bereitstellung einer charakteristik-unabhängigen geometrischen Methode: Die Haupttechniken basieren auf dem Riemann-Roch-Theorem und sind auf beliebige Körper mit Charakteristik ≠ 2 anwendbar

Methodische Erläuterung

Aufgabendefinition

Untersuchung hyperelliptischer Kurven C:y2=f(x)C: y^2 = f(x) über dem Funktionenkörper k(B)k(B), wobei ff ein normiertes separables Polynom ungeraden Grades d≥3d \geq 3 ist. Die Hauptziele sind die Schätzung von:

  • Der Größe der Menge rationaler Punkte beschränkter naiver Höhe C(k(B))≤c:={(x0,y0)∈C(k(B))∣deg⁡x0≤c}C(k(B))_{\leq c} := \{(x_0, y_0) \in C(k(B)) | \deg x_0 \leq c\}
  • Der Größe der Menge S-ganzer Punkte C(RS)C(R_S)

Kernmethodisches Gerüst

Analyse der 2-Abstiegs-Abbildung

Definition der 2-Abstiegs-Abbildung (Lemma 2.3): δ:C(k(B))→H1(Cf∖π−1(Σ2),μ2)\delta: C(k(B)) \to H^1(C_f \setminus \pi^{-1}(\Sigma_2), \mu_2)

wobei CfC_f die durch f(x)=0f(x) = 0 definierte Kurve ist und Σ2\Sigma_2 die Stellenmenge ist, an denen die Komponenten der Néron-Modellgruppe gerade Ordnung haben.

Schlüsselbeobachtung: Die Anzahl rationaler Punkte, die auf dieselbe Kohomologieklasse abgebildet werden, ist endlich und kontrollierbar.

Hauptzählungstheorem

Theorem 2.4 gibt eine obere Schranke für die Anzahl der Punkte in derselben Klasse: 2Ω(c,f,g)+max⁡{c,12(c+g)}+12^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1}

wobei Ω(c,f,g)\Omega(c,f,g) definiert ist als:

\max\{d(c+g) + h_B(f) - g_f, \frac{1}{2}(d(c+g) + h_B(f))\} & \text{wenn }C_f\text{ irreduzibel} \\ d(c+g) + h_B(f) + \omega(f) - 1 & \text{sonst} \end{cases}$$ #### Technische Innovationen 1. **Geometrische Zählungsmethode**: Verwendung von Zählungen von Funktionen in linearen Systemen, wobei die Dimension durch das Riemann-Roch-Theorem kontrolliert wird 2. **Anwendung des Satzes von Bézout**: Analyse des Schnitts zweier algebraischer Varietäten im projektiven Raum zur Erhaltung einer oberen Schranke für die Anzahl irreduzibler Komponenten 3. **Optimierung für Spezialfälle**: - Verbesserung für den Fall, dass die Basiskurve $\mathbb{P}^1$ ist und $f$ Koeffizienten in $k[t]$ hat (Proposition 2.7) - Verfeinerung für kubische Kurven unter Verwendung der Maroni-Invariante (Theorem 3.7) ### Höhenschranken für S-ganze Punkte **Theorem 3.1** verwendet das abc-Theorem zur Angabe von Höhenschranken für S-ganze Punkte: - Charakteristik 0: $\deg x_0 \leq 4(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ - Charakteristik $p > d$: $\deg x_0 \leq 6\rho(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ wobei $\rho$ der Inseparabilitätsgrad ist, der die arithmetischen Eigenschaften der Kurve widerspiegelt. ## Experimentelle Einrichtung ### Theoretisches Verifikationsgerüst Da es sich um reine mathematische Theoriearbeit handelt, gibt es keine "Experimente" im traditionellen Sinne, aber die Autoren verifizieren die Theorie auf folgende Weise: 1. **Konkrete Anwendungsverifikation**: Anwendung abstrakter Schranken auf die Torsionsschätzung der Jacobischen über endlichen Körpern 2. **Vergleich mit bekannten Ergebnissen**: Vergleich mit Weil-Schranken, geometrischen Schranken sowie Ergebnissen von Bhargava et al. 3. **Analyse von Spezialfällen**: Angabe präziserer Schranken für konkrete Fälle wie elliptische Kurven $y^2 = x^3 + B(t)$ ### Parametereinstellung - **Größe des endlichen Körpers**: $q = p^r$, wobei $p \geq 5$ - **Genus der Kurve**: Hauptsächlich Betrachtung von $g > 4$ zur Anwendung der Maroni-Theorie - **Höhenschranken**: $c$ wird typischerweise als geeigneter Wert gewählt, der mit Kurveninvarianten zusammenhängt ## Hauptergebnisse ### Ergebnisse der Kerntheoreme **Theorem 1.1** (Hauptzählungsschranke): Für hyperelliptische Kurven $C: y^2 = f(x)$ erfüllt die Anzahl rationaler Punkte beschränkter Höhe: $$|C(k(B))_{\leq c}| \leq 2^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1+\text{rk}_{\mathbb{Z}} LN(J)+\dim_{\mathbb{F}_2} LN(J)[2]}$$ **Theorem 1.3** (3-Torsionsschranke): Für hyperelliptische Kurven $X$ vom Genus $g$ über dem endlichen Körper $\mathbb{F}_q$: $$|\text{Jac}(X)(\mathbb{F}_q)[3]| \leq q^{g/2+\gamma g/\log g}$$ **Theorem 1.6** (2-Torsionsschranke): Für kubische Kurven $X$: $$|\text{Jac}(X)(\mathbb{F}_q)[2]| \leq (2q)^{g/3+\gamma g/\log g}$$ ### Analyse der Verbesserungseffekte 1. **Im Vergleich zu trivialen Schranken**: Wenn $q < 81$, verbessert die 3-Torsionsschranke asymptotisch die triviale Schranke $3^{2g}$ 2. **Im Vergleich zur Weil-Schranke**: Verbesserung der Schranke $(√q+1)^{2g}$ 3. **Im Vergleich zu Bhargava et al.**: Asymptotische Verbesserung ihrer 2-Torsionsschranke für kubische Kurven ### Konkrete numerische Beispiele - Wenn $q < 9$ und $q \not\equiv 1 \pmod{3}$, wird die durch Galois-Invarianz gegebene Schranke $3^g$ verbessert - Wenn $q < 32$, wird für kubische Kurven die triviale 2-Torsionsschranke $2^{2g}$ verbessert ## Analyse der technischen Tiefe ### Anwendung der Maroni-Invariante Für kubische Kurven $C$ erfüllt die Maroni-Invariante $m$: $$\frac{g-4}{3} \leq m \leq \frac{g-2}{2}$$ **Corollary 3.5** verwendet diese Invariante zur Angabe präziser Schranken für die Dimension linearer Systeme: $$h^0(D) \leq \max\left\{\min\left\{m + \deg D + 2 - g, \frac{2(\deg D - 1) - g}{3} + 2\right\}, 1\right\}$$ ### Rolle des Inseparabilitätsgrades Im Fall positiver Charakteristik ist der Inseparabilitätsgrad $\rho$ definiert als: $$\rho := \inf\left\{\text{ideg}_K\left(\frac{e_k - e_1}{e_2 - e_1}\right) | k = 3,\ldots,d\right\}$$ Diese Größe kontrolliert das Verhalten der Kurve unter Körpererweiterungen und beeinflusst direkt die Höhenschranken für S-ganze Punkte. ## Verwandte Arbeiten ### Historischer Hintergrund 1. **Funktionenkörper-Version der Mordell-Vermutung**: Von Manin, Grauert und anderen in den 1960er Jahren gelöst 2. **Höhentheorie**: Von Silverman et al. entwickelte Höhentheorie für elliptische Kurven 3. **Zählung ganzer Punkte**: Klassische Arbeiten von Hindry-Silverman, Pacheco und anderen ### Relative Vorteile dieses Artikels 1. **Allgemeinheit der Methode**: Anwendbar auf beliebige Körper mit Charakteristik ≠ 2, ohne Annahme algebraischer Abgeschlossenheit 2. **Explizite Schranken**: Angabe konkreter Exponenten, die leicht anwendbar sind 3. **Geometrische Methode**: Hauptsächlich basierend auf dem Riemann-Roch-Theorem, vermeidung komplexer arithmetischer Analysen ## Schlussfolgerung und Diskussion ### Hauptschlussfolgerungen 1. Etablierung einer geometrischen Methode zur Zählung rationaler Punkte auf hyperelliptischen Kurven über Funktionenkörpern 2. Signifikante Verbesserung der Torsionsgrenzen der Jacobischen im Fall kleiner endlicher Körper 3. Bereitstellung einer systematischen Methode vom Zählen rationaler Punkte zur Torsionsschätzung ### Einschränkungen 1. **Charakteristikbeschränkung**: Die Methode ist nicht auf Charakteristik 2 anwendbar 2. **Asymptotische Natur**: Die Schranken verbessern sich hauptsächlich asymptotisch; für kleines Genus können sie nicht scharf genug sein 3. **Geometrische Annahmen**: Erfordert technische Annahmen wie algebraische Abgeschlossenheit des Basisfeldes ### Zukünftige Richtungen 1. **Erweiterung auf Charakteristik 2**: Notwendigkeit, flache Kohomologie durch étale Kohomologie zu ersetzen 2. **Höhere Torsion**: Erweiterung auf den allgemeinen Fall von p-Torsion 3. **Zahlenfeld-Analogie**: Anwendung der Methode auf analoge Probleme über Zahlenkörpern ## Tiefgreifende Bewertung ### Stärken 1. **Technische Innovation**: Geschickte Kombination von Methoden der algebraischen Geometrie (Riemann-Roch) und Zahlentheorie (2-Abstieg) 2. **Präzision der Ergebnisse**: Angabe expliziter Exponentialschranken mit praktischem Anwendungswert 3. **Theoretische Vollständigkeit**: Von abstrakter Zählung bis zu konkreten Anwendungen ein vollständiges theoretisches System 4. **Klare Darstellung**: Strenge Argumentation mit ausreichenden technischen Details ### Schwächen 1. **Anwendungsbereich**: Der Ausschluss von Charakteristik 2 begrenzt die Allgemeinheit der Methode 2. **Abhängigkeiten**: Einige Ergebnisse hängen von tiefgreifenden Theoremen wie Brumers Rank-Schranken ab 3. **Optimierungsspielraum**: Einige Schranken könnten möglicherweise weiter verbessert werden ### Einfluss 1. **Theoretischer Beitrag**: Bereitstellung neuer Werkzeuge für die arithmetische Forschung an Kurven über Funktionenkörpern 2. **Anwendungswert**: Potenzielle Anwendungen in Kryptographie, Codierungstheorie und anderen Bereichen 3. **Methodologie**: Demonstration der Kraft geometrischer Methoden bei zahlentheoretischen Problemen ### Anwendungsszenarien 1. **Theoretische Forschung**: Interdisziplinäre Forschung zwischen algebraischer Geometrie und Zahlentheorie 2. **Rechnerische Anwendungen**: Algorithmen, die Schätzungen von Kurveneigenschaften über endlichen Körpern benötigen 3. **Weitere Verallgemeinerungen**: Methodische Anleitung für verwandte Probleme ## Literaturverzeichnis Der Artikel zitiert 32 wichtige Literaturquellen, einschließlich: - Klassische Arbeiten von Brumer zum Rang elliptischer Kurven - Bahnbrechende Forschung von Hindry-Silverman zu ganzen Punkten - Neueste Ergebnisse von Bhargava et al. zur Torsion - Klassische Theorie von Maroni zu kubischen Kurven Diese Literaturquellen bilden eine solide Grundlage für die Forschung dieses Artikels und spiegeln das tiefe Verständnis der Autoren für die Entwicklung des Feldes wider.