Algebraic cycles and values of Green's functions -- Products of Elliptic Curves

Resumen Técnico: Ciclos Algebraicos y Valores de Funciones de Green: Productos de Curvas Elípticas

Planteamiento del Problema
El artículo aborda la conjetura de Gross-Zagier relativa a los valores de las "funciones de Green superiores" en puntos de Multiplicación Compleja (CM). Específicamente, Gross y Zagier conjeturaron que para una forma modular débilmente holomorfa $f$ de peso $-2j$, el valor de la función de Green superior asociada $G^f_{j+1}(z_1, z_2)$ en un par de puntos CM es el logaritmo de un número algebraico (salvo un factor de discriminante específico). Aunque esta conjetura ha sido probada recientemente como un teorema por Li [Li23] y Bruinier-Li-Yang [BLY25] mediante levantamientos de Borcherds y métodos automórficos, este artículo busca establecer el resultado a través de un marco motivico distinto. Los autores pretenden relacionar la algebraicidad de estos valores con la existencia de "ciclos motivicos" específicos en la familia universal de productos de curvas elípticas.

Metodología
El artículo emplea un enfoque de dos vertientes que combina la geometría algebraica (específicamente la teoría de la cohomología motivica y los reguladores) con la aritmética de curvas modulares.

1. Construcción de Ciclos Motivicos:

   • Los autores trabajan dentro de la familia universal de productos de curvas elípticas con estructura de nivel 2 completa, denotada como $A \to X(2) \times X(2)$.
   • Se centran en la superficie K3 de Kummer asociada, $\tilde{K}_{A_\eta}$, obtenida mediante el soplado de los nodos de la superficie de Kummer de la fibra genérica.
   • Utilizando la geometría enumerativa de curvas racionales en $\mathbb{P}^1 \times \mathbb{P}^1$, construyen elementos explícitos en el grupo de cohomología motivica $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$.
   • La construcción se basa en la deformación de la gráfica de una isogenia $\phi: E_1 \to E_2$ de grado impar $n$. Esta gráfica, al proyectarse a la superficie de Kummer y posteriormente a $\mathbb{P}^1 \times \mathbb{P}^1$, produce una curva racional de bidegrado $(n, 1)$.
   • Mediante el análisis de la intersección de estas curvas con las líneas de ramificación del mapa de Kummer, los autores definen un ciclo $\xi$ soportado en la fibra genérica. Demuestran que este ciclo es indecomposable (es decir, no pertenece a la imagen del mapa producto de la cohomología de peso inferior) mediante el cálculo de su regulador "no arquimediano" (el mapa de frontera en la secuencia de localización). Se demuestra que la frontera está soportada en correspondencias de Hecke $T_n$, tomando específicamente la forma de la diferencia entre los cierres de las gráficas de $\phi$ y $-\phi$.

2. Cálculo del Regulador y Algebraicidad:

   • Los autores calculan el regulador arquimediano de estos ciclos construidos contra una forma específica $(j, j)$, $\eta^j_{z_1, z_2}$, en la fibra sobre un par de puntos $(z_1, z_2)$.
   • Establecen un vínculo entre este regulador y las funciones de Green superiores $G_{j+1}$. Se demuestra que el emparejamiento del regulador es proporcional a una combinación lineal de las funciones de Green evaluadas en los puntos.
   • Cuando $(z_1, z_2)$ son puntos CM con el mismo discriminante, la forma $\eta^j_{z_1, z_2}$ está representada por un ciclo algebraico (un ciclo CM).
   • Debido a la compatibilidad del regulador con el emparejamiento de intersección en la cohomología motivica, el valor del regulador en estos puntos CM se reduce al logaritmo del valor absoluto de una función racional evaluada en los puntos de intersección del ciclo motivico y el ciclo CM. Dado que todos los datos están definidos sobre $\overline{\mathbb{Q}}$, el resultado es el logaritmo de un número algebraico.

Contribuciones Clave y Resultados

• Construcción Explícita de Ciclos Indecomponibles: El artículo proporciona una construcción explícita de ciclos motivicos indecomponibles en $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$ para la familia universal de productos de curvas elípticas. Estos ciclos se construyen mediante la geometría enumerativa de curvas racionales en $\mathbb{P}^1 \times \mathbb{P}^1$ y se demuestra que sus fronteras están soportadas en correspondencias de Hecke.
• Prueba de la Algebraicidad para Puntos CM de Mismo Discriminante: Los autores demuestran que para dos puntos CM $z_1, z_2$ con el mismo discriminante $D$, el valor de la función de Green superior de grado 2, $G_2(z_1, T_n z_2)$ (donde $T_n$ es una correspondencia de Hecke), es el logaritmo de un número algebraico.
  • Teorema 1.4 / Teorema 6.2: $2Dn G_2(z_1, T_n z_2) = \log |\alpha|$ para algún $\alpha \in \overline{\mathbb{Q}}$.
  • Esto recupera un resultado probado originalmente por Viazovska [Via15] para el caso de mismos discriminantes, pero mediante un enfoque motivico en lugar de levantamientos de Borcherds.
• Generalización a Discriminantes Mixtos (Condicional): El artículo señala que, si bien el enfoque motivico maneja naturalmente los casos de mismo discriminante (donde el ciclo CM existe en la fibra), sugiere un camino hacia los casos de discriminantes mixtos mediante emparejamientos de Arakelov, aunque esto no se resuelve completamente en el presente trabajo.
• Vínculo entre Ciclos Motivicos y Levantamientos de Borcherds: El artículo propone un diccionario conjectural (Conjetura 1.5 y Conjetura 7.1) que vincula las formas modulares débilmente holomorfas con los ciclos motivicos. Sugiere que el regulador de un ciclo motivico $\xi_f$ asociado a una forma modular coincide con el levantamiento de Borcherds $\Phi(f)$ de dicha forma. Esto proporciona una "interpretación motivica" de las formas modulares débilmente holomorfas.

Significancia
El artículo reclama su significancia principalmente al establecer un puente entre dos enfoques previamente distintos de la conjetura de Gross-Zagier:

1. El Enfoque Motivico: Siguiendo a Zhang [Zha97] y Mellit [Mel08], que vincula las funciones de Green con los reguladores de ciclos algebraicos.
2. El Enfoque Automórfico: Siguiendo a Li, Bruinier y Yang, que vincula las funciones de Green con los levantamientos de Borcherds.

Al construir ciclos explícitos y calcular sus reguladores, los autores demuestran que la algebraicidad de los valores de las funciones de Green es una consecuencia directa de la existencia de estos ciclos motivicos. El trabajo sugiere que el "complejo modular" (un subcomplejo de la cohomología motivica generado por ciclos especiales) contiene los elementos necesarios para explicar la algebraicidad de las funciones de Green automórficas. El artículo posiciona este hallazgo como un paso hacia una comprensión unificada donde la "función de Green motivica" (regulador de un ciclo) y la "función de Green automórfica" (levantamiento de Borcherds) se identifican.

Los autores mantienen la modestia respecto al alcance, señalando que sus resultados explícitos cubren actualmente el caso de productos de curvas elípticas y puntos CM con el mismo discriminante. Reconocen que el caso general (distintos discriminantes) y las dimensiones superiores (por ejemplo, $G_3$) requieren un mayor desarrollo, lo cual delinean como direcciones para trabajos futuros (por ejemplo, en artículos complementarios [Sre22], [Sre26]).