Hyperelliptic curves mapping to abelian varieties and applications to Beilinson's conjecture for zero-cycles

El artículo describe una gran colección de curvas hiperelípticas no isomorfas que se mapean birracionalmente en una superficie abeliana isógena a un producto de curvas elípticas, utilizando estas curvas para establecer múltiples equivalencias racionales en el grupo de Chow de ciclos de dimensión cero y así avanzar hacia la conjetura de Beilinson para dicha dimensión.

Lo esencial

Imagina que las matemáticas son como un universo gigante lleno de formas geométricas. En este universo, hay dos tipos de "ciudadanos" muy importantes: las Curvas Hiperelípticas (que son como caminos curvos y complicados) y las Variedades Abelianas (que son como superficies o espacios muy ordenados y simétricos, donde puedes sumar puntos como si fueran números).

Los autores de este artículo, Evangelia Gazaki y Jonathan Love, han descubierto una forma brillante de conectar estos dos mundos para resolver un misterio matemático muy antiguo y difícil.

Aquí tienes la explicación de su trabajo, usando analogías sencillas:

1. El Gran Misterio: El Conjetura de Beilinson

Imagina que tienes una superficie mágica (llamada variedad abeliana) definida con números racionales (fracciones como 1/2, 3/4, etc.). Hay una regla secreta llamada Conjetura de Beilinson que dice algo muy específico:

"Si tomas dos puntos en esta superficie que están definidos con fracciones, y haces una operación matemática especial con ellos, el resultado debería ser 'cero' (es decir, deberían cancelarse mutuamente y desaparecer)."

Hasta ahora, nadie ha podido probar esto para superficies complejas. Es como intentar demostrar que dos personas que viven en diferentes casas siempre terminan en el mismo lugar si siguen un mapa muy complicado. Los matemáticos sabían que esto era cierto para superficies simples, pero para las complejas, el "mapa" estaba lleno de agujeros.

2. La Solución: Usar "Caminos Especiales" (Curvas Hiperelípticas)

Los autores dicen: "¡Espera! No intentemos resolver el problema directamente. En su lugar, construyamos caminos especiales que atraviesen nuestra superficie".

Estos caminos son las curvas hiperelípticas. Piensa en ellas como puentes o túneles que conectan puntos de la superficie. Lo genial de estos puentes es que tienen una propiedad de simetría: si cruzas el puente y te das la vuelta (una operación matemática llamada "negación"), el puente te devuelve al punto de partida pero invertido.

La analogía del espejo:
Imagina que tu superficie es un lago. Las curvas hiperelípticas son como barcos que navegan por el lago. Si el barco navega y luego se refleja en el espejo del agua (la operación de negación), el barco se ve igual pero invertido. Los autores descubrieron que si un punto en el lago puede ser alcanzado por uno de estos barcos especiales, entonces ese punto tiene una propiedad mágica: se cancela a sí mismo en la ecuación secreta de Beilinson.

3. El Truco Maestro: El "Jardín de Kummer"

Para encontrar estos barcos (curvas), los autores usaron un truco ingenioso. Imagina que tomas tu superficie (el lago) y la doblas por la mitad, creando un objeto llamado Superficie de Kummer.

• En este jardín doblado, hay 16 puntos especiales donde la superficie se arruga (singularidades).
• Si "desdoblas" o resuelves estas arrugas, obtienes un jardín lleno de caminos rectos (curvas racionales).
• La idea brillante es: Si puedes encontrar un camino recto en el jardín doblado (Kummer), puedes "desdoblarlo" de vuelta al lago original y te convertirá en uno de nuestros barcos especiales (curva hiperelíptica).

Es como si tuvieras un mapa de un laberinto (el jardín doblado) donde solo hay líneas rectas fáciles de seguir. Siguiendo esas líneas rectas, puedes reconstruir el laberinto original y encontrar los caminos secretos que necesitabas.

4. El Resultado: ¡Infinidad de Puentes!

El artículo demuestra que si tu superficie es como un producto de dos elipses (dos círculos estirados), puedes construir infinitos de estos puentes especiales.

• Pueden ser puentes de cualquier tamaño (genio matemático "g" muy alto).
• Son todos diferentes entre sí.
• Y lo más importante: Cada puente nuevo nos da una nueva ecuación que se cancela a cero.

Al tener infinitos puentes, los autores pueden demostrar que, para muchas superficies, la conjetura de Beilinson es cierta. Han encontrado suficientes "caminos de cancelación" para limpiar la ecuación.

5. ¿Por qué es importante?

Antes de este trabajo, los matemáticos tenían muy pocas herramientas para probar esta conjetura en superficies complejas. Era como intentar arreglar un reloj suizo con un martillo.

Ahora, Gazaki y Love han creado una fábrica de herramientas. Han demostrado que:

1. Podemos construir infinitos puentes especiales.
2. Estos puentes nos permiten "borrar" errores matemáticos en la superficie.
3. Esto nos acerca muchísimo a probar que la Conjetura de Beilinson es verdadera, lo cual es un paso gigante en la teoría de números y la geometría.

En resumen:
Los autores tomaron un problema matemático imposible de resolver directamente y dijeron: "Construyamos infinitos puentes especiales que cruzan el problema. Al cruzar estos puentes, el problema se desvanece". Han demostrado que estos puentes existen en abundancia y que nos permiten entender mejor la estructura oculta de los números y las formas geométricas. ¡Es como encontrar un atajo infinito a través de un laberinto matemático!

Resumen técnico

Aquí tienes un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Curvas Hiperelípticas Mapeando a Variedades Abelianas y Aplicaciones a la Conjetura de Beilinson para Ciclos Cero

Autores: Evangelia Gazaki y Jonathan Love.

1. El Problema

El artículo aborda la Conjetura de Beilinson para variedades proyectivas suaves definidas sobre $\mathbb{Q}$. Específicamente, la conjetura predice que el núcleo del mapa de Albanese, denotado como $F^2(X)$, es trivial (es decir, igual a cero) para cualquier variedad $X/\mathbb{Q}$.

• Contexto: Para variedades sobre campos algebraicamente cerrados (como $\mathbb{C}$), este núcleo es enorme y no puede parametrizarse algebraicamente. Sin embargo, sobre $\mathbb{Q}$, se espera que sea cero.
• Desafío: Probar esto es extremadamente difícil. A la fecha, no se conoce ningún ejemplo de una superficie proyectiva suave con género geométrico positivo ($p_g(X) > 0$) que satisfaga la conjetura.
• Objetivo específico: El trabajo se centra en dos clases de superficies con $p_g > 0$: superficies abelianas y sus superficies de Kummer asociadas. El objetivo es demostrar que ciertos ciclos cero en el grupo de Chow $CH_0(A)$ son racionales equivalentes a cero, avanzando así hacia la prueba de la conjetura.

2. Metodología

Los autores desarrollan una estrategia que combina geometría algebraica, teoría de números y la teoría de curvas hiperelípticas:

• Puntos Hiperelípticos: Introducen el concepto de "punto hiperelíptico" en una superficie abeliana $A$. Un punto $a \in A$ es hiperelíptico si un múltiplo no nulo de $a$ está en la imagen de un morfismo $f: H \to A$, donde $H$ es una curva hiperelíptica y la negación en $A$ induce la involución hiperelíptica en $H$ (es decir, $f \circ \iota = -f$).
• Relaciones en el Núcleo de Albanese: Demuestran que si un punto es hiperelíptico, el ciclo cero asociado $z_{a,a} = [2a] - 2[a] + [0]$ se anula en el núcleo de Albanese $F^2(A)$. Utilizando la bilinealidad del mapa $(a,b) \mapsto z_{a,b}$, extienden este resultado para mostrar que si ciertos puntos generadores y sus combinaciones lineales son hiperelípticos, entonces todo el subgrupo generado por ellos tiene ciclos cero triviales.
• Construcción de Curvas (El "Receta"):
  1. Consideran la superficie de Kummer $K = \text{Kum}(E \times E')$ asociada a un producto de curvas elípticas.
  2. Dotan a $K$ de la estructura de una fibración elíptica (el lápiz de Inose).
  3. Utilizan el retículo de Mordell-Weil de esta fibración para generar infinitas secciones racionales (curvas racionales en $K$).
  4. Al tirar hacia atrás (pullback) estas secciones racionales a través del recubrimiento doble $E \times E' \to K$, obtienen curvas $C$ cuya normalización $H$ es una curva hiperelíptica que mapea biracionalmente a $A$.
• Análisis de Isogenias: Demuestran que esta construcción es robusta bajo isogenias. Si se reemplazan las curvas elípticas $E, E'$ por curvas isógenas, se generan nuevas familias de curvas hiperelípticas sin relaciones obvias entre sus imágenes.

3. Contribuciones Clave

• Teorema 1.2 (Generalización de Beauville-Voisin): Establecen que para una superficie abeliana $A$, si existen enteros $m, m'$ tales que $a, b$ y $ma + m'b$ son puntos hiperelípticos, entonces el ciclo cero $z_{c,d}$ se anula para cualquier $c, d$ en la envoltura divisible generada por $a$ y $b$. Esto reduce el problema de probar la trivialidad del núcleo de Albanese a encontrar un número finito de puntos hiperelípticos.
• Teorema 1.3 (Existencia Masiva de Curvas): Demuestran que si $A$ es isógena a un producto de curvas elípticas, existen infinitas curvas hiperelípticas no isomorfas de género $g$ (para infinitos valores de $g \ge 2$) que mapean biracionalmente a $A$. Además, estas curvas mantienen sus propiedades bajo cualquier isogenia de $A$.
• Progreso Computacional: Proporcionan un algoritmo para escribir explícitamente las ecuaciones de Weierstrass de estas curvas y los morfismos hacia $A$.
• Extensión a Dimensiones Superiores: Generalizan los resultados a variedades abelianas de dimensión $d \ge 3$, conectando la anulación de ciclos cero con la torsión en los grupos K de Somekawa simétricos.

4. Resultados Principales

• Generación de Relaciones: Utilizando la construcción basada en el lápiz de Inose, los autores generan una colección contable infinita de curvas hiperelípticas. Esto proporciona una fuente "inexplorada" de puntos hiperelípticos en $A(\mathbb{Q})$.
• Verificación de la Conjetura para Pares Específicos:
  • En el caso de superficies isógenas a $E \times E'$, la conjetura de Beilinson se reduce a encontrar un número finito de puntos hiperelípticos (específicamente $rank(E) \times rank(E')$ puntos).
  • Mediante cálculos computacionales (sección 3.6), los autores mejoran significativamente los resultados previos (Gazaki-Love 2024). Utilizando curvas de género 2, 6 y 10, y aplicando isogenias a las curvas elípticas base, logran verificar la finitud del grupo $F^2(E \times E')_{comp}$ para un número mucho mayor de pares de curvas elípticas sobre $\mathbb{Q}$.
  • Dato clave: Para pares de curvas de rango 1, el algoritmo actualizado prueba la finitud para 3282 de 4950 pares (frente a 2602 del método anterior). Para pares de rango 2, se añaden 226 pares adicionales probados.
• Cobertura de Puntos Racionales: Aunque es heurísticamente raro que curvas de género alto tengan puntos racionales, los autores encontraron muchos ejemplos donde curvas de género $\ge 6$ produjeron nuevas relaciones racionales sobre $\mathbb{Q}$, y casos donde solo las secciones de la fibración elíptica no eran suficientes, pero sí lo eran al aplicar isogenias a las curvas elípticas base.

5. Significado e Impacto

• Avance hacia la Conjetura de Beilinson: Este trabajo ofrece la primera evidencia sustancial y sistemática de que el núcleo de Albanese puede ser trivial para superficies con $p_g > 0$ sobre $\mathbb{Q}$. Proporciona un mecanismo constructivo (curvas hiperelípticas) para anular ciclos cero.
• Conexión con la Conjetura de Bogomolov: El método vincula la conjetura de Beilinson con la conjetura de Bogomolov (que afirma que los puntos racionales en superficies K3 están cubiertos por curvas racionales). Si la conjetura de Bogomolov es cierta para la superficie de Kummer, entonces la de Beilinson es cierta para la superficie abeliana asociada.
• Nuevas Herramientas Computacionales: La capacidad de generar explícitamente curvas de género alto y sus morfismos abre nuevas vías para la investigación computacional en teoría de números y geometría aritmética.
• Limitaciones y Futuro: Los autores notan que en dimensiones $\ge 3$, la variedad de Kummer no es necesariamente Calabi-Yau, lo que podría dificultar la existencia de suficientes curvas racionales para generar las relaciones necesarias. Sin embargo, sugieren que para Jacobianas de curvas hiperelípticas, el método podría ser aplicable.

En resumen, el artículo transforma un problema abstracto sobre la estructura de los grupos de Chow en un problema constructivo y computacional, demostrando que la abundancia de curvas hiperelípticas en superficies abelianas es la clave para desvanecer el núcleo de Albanese sobre los números racionales.