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

Conteo de puntos racionales en curvas elípticas e hiperelípticas sobre cuerpos de funciones

Información Básica

  • ID del artículo: 2510.13292
  • Título: Counting rational points on elliptic and hyperelliptic curves over function fields
  • Autores: Jean Gillibert, Emmanuel Hallouin, Aaron Levin
  • Clasificación: math.NT (Teoría de Números), math.AG (Geometría Algebraica)
  • Fecha de publicación: Octubre de 2025
  • Enlace del artículo: https://arxiv.org/abs/2510.13292

Resumen

Este artículo combina técnicas de 2-descenso con el teorema de Riemann-Roch y el teorema de Bézout para establecer cotas superiores en el número de puntos racionales de altura acotada en curvas elípticas e hiperelípticas sobre cuerpos de funciones de característica ≠ 2. Los autores derivan además cotas superiores para el número de puntos S-enteros, donde S es un conjunto finito de lugares. Como aplicación principal, en cuerpos finitos pequeños, este trabajo acota la 3-torsión de Jacobianas de curvas hiperelípticas y la 2-torsión de Jacobianas de curvas cúbicas. Estas cotas mejoran las cotas geométricas triviales, las desigualdades ingenuas de la cota de Weil, así como las cotas superiores recientes de Bhargava et al. sobre la 2-torsión.

Antecedentes y Motivación de la Investigación

  1. Problema central: Estudiar el problema del conteo de puntos racionales en curvas elípticas e hiperelípticas sobre cuerpos de funciones, en particular la estimación del número de puntos racionales de altura acotada y puntos S-enteros.
  2. Importancia del problema:
    • El conteo de puntos racionales es un problema fundamental en geometría aritmética, estrechamente relacionado con la versión de cuerpos de funciones de la conjetura de Mordell
    • Para curvas elípticas, esto se relaciona directamente con el estudio de la estructura del grupo de Mordell-Weil
    • Las aplicaciones en cuerpos finitos permiten acotar subgrupos de torsión de Jacobianas, lo que tiene importancia significativa en geometría algebraica y geometría aritmética
  3. Limitaciones de métodos existentes:
    • Las cotas geométricas clásicas suelen ser demasiado groseras
    • Aunque la cota de Weil es precisa, en ciertos casos no es suficientemente afilada
    • Los límites de torsión existentes pueden mejorarse en el caso de cuerpos finitos pequeños
  4. Motivación de la investigación: Obtener cotas de conteo más precisas mediante métodos geométricos (principalmente análisis de mapeos de 2-descenso) y aplicarlas a la estimación de torsión de Jacobianas en cuerpos finitos.

Contribuciones Principales

  1. Establecimiento de nuevas cotas superiores para conteo de puntos racionales: Para curvas elípticas e hiperelípticas sobre cuerpos de funciones, se proporcionan cotas superiores explícitas para el número de puntos racionales de altura acotada (Teorema 1.1)
  2. Derivación de cotas de conteo para puntos S-enteros: Utilizando la versión de cuerpos de funciones del teorema abc, se proporcionan cotas superiores para la altura de puntos S-enteros y, por lo tanto, estimaciones del número de puntos S-enteros (Teorema 1.2)
  3. Mejora de cotas de torsión de Jacobianas en cuerpos finitos:
    • Se proporciona una cota de qg/2+γg/log⁡gq^{g/2+\gamma g/\log g} para la 3-torsión de Jacobianas de curvas hiperelípticas (Teorema 1.3)
    • Se proporciona una cota de (2q)g/3+γg/log⁡g(2q)^{g/3+\gamma g/\log g} para la 2-torsión de Jacobianas de curvas cúbicas (Teorema 1.6)
  4. Provisión de un método geométrico independiente de la característica: La técnica principal se basa en el teorema de Riemann-Roch, aplicable a cualquier cuerpo de característica ≠ 2

Explicación Detallada de Métodos

Definición de la Tarea

Se estudian puntos racionales de la curva hiperelíptica C:y2=f(x)C: y^2 = f(x) sobre el cuerpo de funciones k(B)k(B), donde ff es un polinomio mónico separable de grado impar d≥3d \geq 3. Los objetivos principales son estimar:

  • El tamaño del conjunto de puntos racionales de altura ingenua acotada 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\}
  • El tamaño del conjunto de puntos S-enteros C(RS)C(R_S)

Marco Técnico Principal

Análisis del Mapeo de 2-Descenso

Definición del mapeo de 2-descenso (Lema 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)

donde CfC_f es la curva definida por f(x)=0f(x) = 0, y Σ2\Sigma_2 es el conjunto de lugares donde el grupo de componentes conexas del modelo de Néron tiene orden par.

Observación clave: El número de puntos racionales que se aplican a la misma clase de cohomología es finito y controlable.

Teorema de Conteo Principal

Teorema 2.4 proporciona una cota superior para el número de puntos que se aplican a la misma clase: 2Ω(c,f,g)+max⁡{c,12(c+g)}+12^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1}

donde Ω(c,f,g)\Omega(c,f,g) se define como:

undefined