Linear quadratic Chabauty

Resumen Técnico: Chabauty Cuadrática Lineal

Planteamiento del Problema
El artículo aborda el cálculo de puntos íntegros $U(\mathbb{Z})$ (o $U(\mathcal{O}_K)$ sobre cuerpos numéricos) en curvas hiperelípticas $X: y^2 = f(x)$. Específicamente, se dirige a curvas de grado par $2g+2$ donde el coeficiente principal de $f$ es un cuadrado perfecto. Los autores operan bajo la condición estándar de Chabauty donde el rango de Mordell–Weil $r$ del jacobiano $J$ es igual al género $g$ (o satisface un límite generalizado sobre cuerpos numéricos).

Los métodos existentes para puntos íntegros, como el método de Chabauty cuadrática desarrollado por Balakrishnan, Besser y Müller [BBM16, BBM17], dependen de la construcción de una función analítica local no trivial $\rho$ cuyos valores en los puntos íntegros residen en un conjunto finito y computable. Sin embargo, estos enfoques existentes son técnicamente complejos, requiriendo herramientas tales como la teoría de Arakelov $p$-ádica, extensiones de alturas locales a divisores con soporte común, integrales de Coleman dobles e integrales con puntos base tangenciales. Además, se identifica el cálculo de integrales de Coleman dobles como el principal cuello de botella en términos de velocidad.

Metodología
Los autores introducen un método de "Chabauty Cuadrática Lineal" que simplifica la construcción de la función $\rho$ explotando la geometría específica de las curvas de grado par con coeficiente principal cuadrado.

1. Configuración Geométrica: Dado que el coeficiente principal de $f$ es un cuadrado, existe un divisor no trivial de grado 0 en $\mathbb{Q}$ soportado en los dos puntos en el infinito, denotados $\infty^-$ y $\infty^+$.
2. Linealización de la Altura: El método utiliza la altura global $p$-ádica $h$ (Coleman–Gross). Los autores observan que el funcional lineal $\lambda(a) = h(\infty^- - \infty^+, a)$ en el jacobiano puede expresarse como una combinación lineal de integrales de Coleman de diferenciales holomorfas $\omega_i = x^i dx/y$. Esto es posible porque el espacio de aplicaciones lineales $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ está generado por estas integrales cuando $r=g$.
3. Construcción de $\rho$: En lugar de usar integrales dobles, los autores definen la función $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ como:
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   donde $Q$ es un punto íntegro conocido, y $\alpha_i$ son coeficientes determinados por la relación lineal de la altura.
4. Restricción a Puntos Íntegros: Para un punto íntegro $P$, la relación de altura global implica:
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   Los autores analizan las alturas locales $h_q$ para $q \neq p$. Demuestran que para primos buenos, estas alturas se anulan, y para primos malos, toman valores en un conjunto finito y computable $T_q$ derivado de la teoría de intersección en un modelo regular de la curva. Así, $\rho(P)$ está restringido a un conjunto finito $T = \sum T_q$.
5. Generalización a Cuerpos Numéricos: El método se extiende a cuerpos numéricos $K$ de grado $d$. Mediante el uso de múltiples caracteres de clase de ideles continuos e independientes $\chi$, los autores generan $d - r_K$ ecuaciones adicionales (donde $r_K$ es el rango del grupo de unidades). Combinado con $r_K$ ecuaciones de restricción de escalar, esto produce un sistema de $d$ ecuaciones suficiente para delimitar los puntos íntegros bajo la condición $\text{rk}(J/K) \leq dg - r_K$.

Contribuciones Clave

• Simplificación: El método elimina la necesidad de integrales de Coleman dobles, puntos base tangenciales y la teoría de Arakelov $p$-ádica. Se basa únicamente en integrales de Coleman simples y cálculos de altura local estándar.
• Eficiencia: Al evitar las integrales dobles, el método es significativamente más rápido que las implementaciones previas de Chabauty cuadrática.
• Nueva Aplicabilidad: Proporciona un algoritmo práctico para curvas hiperelípticas de grado par con coeficientes principales cuadrados, un caso donde los métodos anteriores eran inaplicables o requerían maquinaria más compleja.
• Extensión a Cuerpos Numéricos: El artículo generaliza la técnica para computar puntos $\mathcal{O}_K$-íntegros, utilizando una combinación de relaciones lineales de restricción de escalar y alturas de clase de ideles asociadas a caracteres de clase de ideles.

Resultados y Ejemplos
Los autores proporcionan implementaciones explícitas y ejemplos:

• Sobre $\mathbb{Q}$: Computan los puntos íntegros en una curva de género 2 $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$. El método logra aislar con éxito los puntos íntegros, demostrando que el conjunto es completo.
• Sobre $\mathbb{Q}(\sqrt{7})$: Determinan los puntos $\mathcal{O}_K$-íntegros en una curva de género 2 definida sobre el cuerpo cuadrático real $K = \mathbb{Q}(\sqrt{7})$. Este ejemplo involucra un jacobiano de rango 3 y requiere la combinación del nuevo método de Chabauty cuadrática lineal con la criba de Mordell–Weil. Los autores señalan que ningún otro método conocido pudo manejar este ejemplo específico.

Significado y Reivindicaciones
El artículo afirma que este enfoque es "significativamente más simple y rápido" que todas las versiones existentes del método de Chabauty cuadrática. La principal significación reside en la reducción de la carga técnica: al restringir la altura $p$-ádica a una función lineal mediante el divisor en el infinito, los autores evitan los componentes más costosos computacionalmente e intrincados teóricamente del marco de trabajo anterior.

Los autores son modestos respecto al alcance, reconociendo que:

• El método requiere que el coeficiente principal de $f$ sea un cuadrado (o un cuadrado negativo).
• Para coeficientes principales no cuadrados, la extensión del método seguiría requiriendo las herramientas más complejas (integrales dobles, teoría de Arakelov) que este artículo pretende evitar.
• El conjunto resultante de puntos puede no siempre ser finito o igual al conjunto de puntos íntegros sin la ayuda de la criba de Mordell–Weil.
• El método está actualmente limitado a primos que se dividen completamente en el caso de cuerpos numéricos, aunque los resultados teóricos se mantienen más generalmente.

El trabajo se presenta como una mejora práctica para una clase específica pero importante de curvas, ofreciendo una herramienta más accesible y eficiente para computar puntos íntegros en el contexto del método Chabauty–Coleman.