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

Conteggio di punti razionali su curve ellittiche e iperellittiche su campi di funzioni

Informazioni Fondamentali

  • ID Articolo: 2510.13292
  • Titolo: Counting rational points on elliptic and hyperelliptic curves over function fields
  • Autori: Jean Gillibert, Emmanuel Hallouin, Aaron Levin
  • Classificazione: math.NT (Teoria dei Numeri), math.AG (Geometria Algebrica)
  • Data di Pubblicazione: Ottobre 2025
  • Link dell'Articolo: https://arxiv.org/abs/2510.13292

Riassunto

Questo articolo combina tecniche di 2-discesa con il teorema di Riemann-Roch e il teorema di Bézout per fornire limitazioni superiori sul numero di punti razionali di altezza limitata su curve ellittiche e iperellittiche su campi di funzioni di caratteristica ≠2. Gli autori derivano inoltre limitazioni superiori sul numero di S-punti interi, dove S è un insieme finito di posizioni. Come principale applicazione, su campi finiti piccoli, l'articolo limita la 3-torsione dello Jacobiano di curve iperellittiche e la 2-torsione dello Jacobiano di curve cubiche. Questi limiti migliorano i limiti geometrici banali, le ingenue disuguaglianze del limite di Weil, e i recenti limiti superiori di Bhargava e altri sulla 2-torsione.

Contesto di Ricerca e Motivazione

  1. Problema Centrale: Studiare il problema del conteggio di punti razionali su curve ellittiche e iperellittiche su campi di funzioni, in particolare la stima del numero di punti razionali di altezza limitata e S-punti interi.
  2. Importanza del Problema:
    • Il conteggio di punti razionali è un problema fondamentale nella geometria aritmetica, strettamente correlato alla versione su campi di funzioni della congettura di Mordell
    • Per le curve ellittiche, questo è direttamente collegato allo studio della struttura del gruppo di Mordell-Weil
    • L'applicazione su campi finiti può limitare i sottogruppi di torsione dello Jacobiano, il che ha significato importante nella geometria algebrica e aritmetica
  3. Limitazioni dei Metodi Esistenti:
    • I limiti geometrici classici sono spesso troppo grossolani
    • Sebbene il limite di Weil sia preciso, in alcuni casi non è sufficientemente acuto
    • I limiti di torsione esistenti possono essere ulteriormente migliorati nel caso di campi finiti piccoli
  4. Motivazione della Ricerca: Ottenere limiti di conteggio più precisi attraverso metodi geometrici (principalmente l'analisi della mappa di 2-discesa) e applicarli alla stima della torsione dello Jacobiano su campi finiti.

Contributi Principali

  1. Stabilimento di nuovi limiti superiori per il conteggio di punti razionali: Per curve ellittiche e iperellittiche su campi di funzioni, fornisce limiti superiori espliciti sul numero di punti razionali di altezza limitata (Teorema 1.1)
  2. Derivazione di limiti di conteggio per S-punti interi: Utilizzando la versione su campi di funzioni del teorema abc, fornisce limiti superiori sull'altezza degli S-punti interi, ottenendo così stime sul numero di S-punti interi (Teorema 1.2)
  3. Miglioramento dei limiti di torsione dello Jacobiano su campi finiti:
    • Fornisce un limite di qg/2+γg/log⁡gq^{g/2+\gamma g/\log g} per la 3-torsione dello Jacobiano di curve iperellittiche (Teorema 1.3)
    • Fornisce un limite di (2q)g/3+γg/log⁡g(2q)^{g/3+\gamma g/\log g} per la 2-torsione dello Jacobiano di curve cubiche (Teorema 1.6)
  4. Fornisce un metodo geometrico indipendente dalla caratteristica: La tecnica principale si basa sul teorema di Riemann-Roch, applicabile a qualsiasi campo di caratteristica ≠2

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Studiare i punti razionali della curva iperellittica C:y2=f(x)C: y^2 = f(x) sul campo di funzioni k(B)k(B), dove ff è un polinomio monico separabile di grado dispari d≥3d \geq 3. Gli obiettivi principali sono stimare:

  • La dimensione dell'insieme di punti razionali di altezza ingenua limitata 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\}
  • La dimensione dell'insieme di S-punti interi C(RS)C(R_S)

Quadro Tecnico Centrale

Analisi della Mappa di 2-Discesa

Definizione della mappa di 2-discesa (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)

dove CfC_f è la curva definita da f(x)=0f(x) = 0, e Σ2\Sigma_2 è l'insieme di posizioni il cui ordine nel gruppo delle componenti connesse del modello di Néron è pari.

Osservazione Chiave: Il numero di punti razionali che si mappano nella stessa classe di coomologia è finito e controllabile.

Teorema di Conteggio Principale

Teorema 2.4 fornisce un limite superiore sul numero di punti che si mappano nella stessa classe: 2Ω(c,f,g)+max⁡{c,12(c+g)}+12^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1}

dove Ω(c,f,g)\Omega(c,f,g) è definito come:

\max\{d(c+g) + h_B(f) - g_f, \frac{1}{2}(d(c+g) + h_B(f))\} & \text{se }C_f\text{ è irriducibile} \\ d(c+g) + h_B(f) + \omega(f) - 1 & \text{altrimenti} \end{cases}$$ #### Punti di Innovazione Tecnica 1. **Metodo di Conteggio Geometrico**: Utilizza il conteggio di funzioni nei sistemi lineari, controllando la dimensione attraverso il teorema di Riemann-Roch 2. **Applicazione del Teorema di Bézout**: Analizza l'intersezione di due varietà algebriche nello spazio proiettivo, ottenendo limiti superiori sul numero di componenti irriducibili 3. **Ottimizzazione di Casi Speciali**: - Miglioramenti quando la curva di base è $\mathbb{P}^1$ e i coefficienti di $f$ sono in $k[t]$ (Proposizione 2.7) - Raffinamento per il caso di curve cubiche utilizzando l'invariante di Maroni (Teorema 3.7) ### Limiti di Altezza per S-Punti Interi **Teorema 3.1** utilizza il teorema abc per fornire limiti superiori sull'altezza degli S-punti interi: - Caso caratteristica 0: $\deg x_0 \leq 4(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ - Caso caratteristica $p > d$: $\deg x_0 \leq 6\rho(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ dove $\rho$ è il grado di inseparabilità, che riflette le proprietà aritmetiche della curva. ## Configurazione Sperimentale ### Quadro di Verifica Teorica Poiché questo è un lavoro teorico di matematica pura, non ci sono "esperimenti" nel senso tradizionale, ma gli autori verificano la teoria nei seguenti modi: 1. **Verifica di Applicazioni Concrete**: Applica i limiti astratti alla stima della torsione dello Jacobiano su campi finiti 2. **Confronto con Risultati Noti**: Confronta con il limite di Weil, limiti geometrici e risultati di Bhargava e altri 3. **Analisi di Casi Speciali**: Fornisce limiti più precisi per casi concreti come curve ellittiche $y^2 = x^3 + B(t)$ ### Impostazione dei Parametri - **Dimensione del Campo Finito**: $q = p^r$, dove $p \geq 5$ - **Genere della Curva**: Principalmente considera il caso $g > 4$ per applicare la teoria di Maroni - **Limiti di Altezza**: $c$ è tipicamente scelto come valore appropriato correlato agli invarianti della curva ## Risultati Principali ### Risultati dei Teoremi Centrali **Teorema 1.1** (Limite di Conteggio Principale): Per la curva iperellittica $C: y^2 = f(x)$, il numero di punti razionali di altezza limitata soddisfa: $$|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]}$$ **Teorema 1.3** (Limite di 3-Torsione): Per una curva iperellittica di genere $g$ su campo finito $\mathbb{F}_q$: $$|\text{Jac}(X)(\mathbb{F}_q)[3]| \leq q^{g/2+\gamma g/\log g}$$ **Teorema 1.6** (Limite di 2-Torsione): Per una curva cubica $X$: $$|\text{Jac}(X)(\mathbb{F}_q)[2]| \leq (2q)^{g/3+\gamma g/\log g}$$ ### Analisi dell'Effetto di Miglioramento 1. **Rispetto ai Limiti Banali**: Quando $q < 81$, il limite di 3-torsione migliora asintoticamente il limite banale $3^{2g}$ 2. **Rispetto al Limite di Weil**: Migliora il limite $(√q+1)^{2g}$ 3. **Rispetto a Bhargava e altri**: Nel caso di curve cubiche, migliora asintoticamente il loro limite di 2-torsione ### Esempi Numerici Concreti - Quando $q < 9$ e $q \not\equiv 1 \pmod{3}$, migliora il limite $3^g$ dato dall'invarianza di Galois - Quando $q < 32$, migliora il limite banale $2^{2g}$ per la 2-torsione di curve cubiche ## Analisi della Profondità Tecnica ### Applicazione dell'Invariante di Maroni Per una curva cubica $C$, l'invariante di Maroni $m$ soddisfa: $$\frac{g-4}{3} \leq m \leq \frac{g-2}{2}$$ **Corollario 3.5** utilizza questo invariante per fornire limiti esatti sulla dimensione dei sistemi lineari: $$h^0(D) \leq \max\left\{\min\left\{m + \deg D + 2 - g, \frac{2(\deg D - 1) - g}{3} + 2\right\}, 1\right\}$$ ### Ruolo del Grado di Inseparabilità In caratteristica positiva, il grado di inseparabilità $\rho$ è definito come: $$\rho := \inf\left\{\text{ideg}_K\left(\frac{e_k - e_1}{e_2 - e_1}\right) | k = 3,\ldots,d\right\}$$ Questa quantità controlla il comportamento della curva sotto estensioni del campo di base, influenzando direttamente i limiti di altezza degli S-punti interi. ## Lavori Correlati ### Contesto Storico 1. **Versione su Campi di Funzioni della Congettura di Mordell**: Risolta da Manin, Grauert e altri negli anni '60 2. **Teoria dell'Altezza**: Teoria dell'altezza su curve ellittiche sviluppata da Silverman e altri 3. **Conteggio di Punti Interi**: Lavori classici di Hindry-Silverman, Pacheco e altri ### Vantaggi Relativi di Questo Articolo 1. **Generalità del Metodo**: Applicabile a qualsiasi campo di caratteristica ≠2, senza necessità di ipotesi di chiusura algebrica 2. **Limiti Espliciti**: Fornisce esponenti concreti, facilitando le applicazioni 3. **Metodo Geometrico**: Basato principalmente su Riemann-Roch, evita analisi aritmetiche complesse ## Conclusioni e Discussione ### Conclusioni Principali 1. Stabilisce un metodo geometrico per il conteggio di punti razionali su curve iperellittiche su campi di funzioni 2. Migliora significativamente i limiti di torsione dello Jacobiano nel caso di campi finiti piccoli 3. Fornisce un metodo sistematico dal conteggio di punti razionali alla stima della torsione ### Limitazioni 1. **Restrizione di Caratteristica**: Il metodo non è applicabile in caratteristica 2 2. **Proprietà Asintotiche**: I limiti migliorano principalmente in senso asintotico, potendo non essere sufficientemente acuti per genere piccolo 3. **Ipotesi Geometriche**: Richiede ipotesi tecniche come la chiusura algebrica del campo di base ### Direzioni Future 1. **Estensione a Caratteristica 2**: Necessita di sostituire la coomologia étale con coomologia piatta 2. **Torsione Superiore**: Estensione al caso generale di p-torsione 3. **Analogo su Campi Numerici**: Applicazione del metodo a problemi analoghi su campi numerici ## Valutazione Approfondita ### Punti di Forza 1. **Innovazione Tecnica**: Combina abilmente metodi della geometria algebrica (Riemann-Roch) e della teoria dei numeri (2-discesa) 2. **Risultati Precisi**: Fornisce limiti espliciti con esponenti concreti, di valore pratico 3. **Teoria Completa**: Forma un sistema teorico completo dall'astrazione al conteggio alle applicazioni concrete 4. **Esposizione Chiara**: Argomentazioni rigorose con dettagli tecnici sufficienti ### Insufficienze 1. **Ambito di Applicabilità**: L'esclusione della caratteristica 2 limita la generalità del metodo 2. **Dipendenze**: Alcuni risultati dipendono da teoremi profondi come i limiti di rank di Brumer 3. **Spazio di Ottimizzazione**: Alcuni limiti potrebbero ammettere ulteriori miglioramenti ### Impatto 1. **Contributo Teorico**: Fornisce nuovi strumenti per la ricerca aritmetica su curve su campi di funzioni 2. **Valore Applicativo**: Potenziali applicazioni in crittografia, teoria dei codici e altri campi 3. **Metodologia**: Dimostra la potenza dei metodi geometrici nei problemi di teoria dei numeri ### Scenari di Applicabilità 1. **Ricerca Teorica**: Ricerca interdisciplinare tra geometria algebrica e teoria dei numeri 2. **Applicazioni Computazionali**: Algoritmi che necessitano di stimare proprietà di curve su campi finiti 3. **Generalizzazioni Ulteriori**: Fornisce guida metodologica per problemi correlati ## Bibliografia L'articolo cita 32 importanti riferimenti bibliografici, inclusi: - Lavori classici di Brumer sul rank di curve ellittiche - Ricerca pioneristico di Hindry-Silverman su punti interi - Risultati recenti di Bhargava e altri sulla torsione - Teoria classica di Maroni su curve cubiche Questi riferimenti costituiscono una base solida per la ricerca dell'articolo, riflettendo la profonda comprensione dell'autore dello sviluppo del campo.