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

Resumo Técnico: Ciclos Algébricos e Valores de Funções de Green: Produtos de Curvas Elípticas

Enunciado do Problema
O artigo aborda a conjectura de Gross-Zagier relativa aos valores de "funções de Green superiores" em pontos de Multiplicação Complexa (CM). Especificamente, Gross e Zagier conjecturaram que, para uma forma modular fracamente holomorfa $f$ de peso $-2j$, o valor da função de Green superior associada $G^f_{j+1}(z_1, z_2)$ em um par de pontos CM é o logaritmo de um número algébrico (até um fator de discriminante específico). Embora esta conjectura tenha sido recentemente provada como um teorema por Li [Li23] e Bruinier-Li-Yang [BLY25] utilizando levantamentos de Borcherds e métodos automórficos, este artigo busca estabelecer o resultado através de um arcabouço motivico distinto. Os autores visam relacionar a álgebra desses valores à existência de "ciclos motivicos" específicos na família universal de produtos de curvas elípticas.

Metodologia
O artigo emprega uma abordagem de duas frentes combinando geometria algébrica (especificamente a teoria da cohomologia motivica e reguladores) com a aritmética de curvas modulares.

1. Construção de Ciclos Motivicos:

   • Os autores trabalham dentro da família universal de produtos de curvas elípticas com estrutura de nível 2 completa, denotada por $A \to X(2) \times X(2)$.
   • Eles focam na superfície K3 Kummer associada, $\tilde{K}_{A_\eta}$, obtida pelo blow-up dos nós da superfície de Kummer da fibra genérica.
   • Utilizando a geometria enumerativa de curvas racionais em $\mathbb{P}^1 \times \mathbb{P}^1$, eles constroem elementos explícitos no grupo de cohomologia motivica $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$.
   • A construção baseia-se na deformação do gráfico de um isogenia $\phi: E_1 \to E_2$ de grau ímpar $n$. Este gráfico, quando projetado para a superfície de Kummer e, posteriormente, para $\mathbb{P}^1 \times \mathbb{P}^1$, resulta em uma curva racional de bidegree $(n, 1)$.
   • Ao analisar a interseção dessas curvas com as linhas de ramificação do mapa de Kummer, os autores definem um ciclo $\xi$ suportado na fibra genérica. Eles provam que este ciclo é indecomponível (ou seja, não está na imagem do mapa de produto de cohomologias de peso inferior) ao computar seu regulador "não arquimediano" (o mapa de fronteira na sequência de localização). A fronteira é mostrada como sendo suportada em correspondências de Hecke $T_n$, assumindo especificamente a forma da diferença entre os fechamentos dos gráficos de $\phi$ e $-\phi$.

2. Computação do Regulador e Álgebra:

   • Os autores computam o regulador arquimediano destes ciclos contra uma forma $(j, j)$ específica $\eta^j_{z_1, z_2}$ na fibra sobre um par de pontos $(z_1, z_2)$.
   • Eles estabelecem um vínculo entre este regulador e as funções de Green superiores $G_{j+1}$. A relação de pairing do regulador é mostrada como sendo proporcional a uma combinação linear de funções de Green avaliadas nos pontos.
   • Quando $(z_1, z_2)$ são pontos CM com o mesmo discriminante, a forma $\eta^j_{z_1, z_2}$ é representada por um ciclo algébrico (um ciclo CM).
   • Pela compatibilidade do regulador com o pairing de interseção na cohomologia motivica, o valor do regulador nestes pontos CM reduz-se ao logaritmo do valor absoluto de uma função racional avaliada nos pontos de interseção do ciclo motivico e do ciclo CM. Como todos os dados são definidos sobre $\overline{\mathbb{Q}}$, o resultado é o logaritmo de um número algébrico.

Principais Contribuições e Resultados

• Construção Explícita de Ciclos Indecomponíveis: O artigo fornece uma construção explícita de ciclos motivicos indecomponíveis em $H^3_M(\tilde{K}_{A_\eta}, \mathbb{Q}(2))$ para a família universal de produtos de curvas elípticas. Estes ciclos são construídos via geometria enumerativa de curvas racionais em $\mathbb{P}^1 \times \mathbb{P}^1$ e são mostrados como tendo fronteiras suportadas em correspondências de Hecke.
• Prova da Álgebra para Pontos CM de Mesmo Discriminante: Os autores provam que, para dois pontos CM $z_1, z_2$ com o mesmo discriminante $D$, o valor da função de Green superior de grau 2 $G_2(z_1, T_n z_2)$ (onde $T_n$ é uma correspondência de Hecke) é o logaritmo de um número algébrico.
  • Teorema 1.4 / Teorema 6.2: $2Dn G_2(z_1, T_n z_2) = \log |\alpha|$ para algum $\alpha \in \overline{\mathbb{Q}}$.
  • Isto recupera um resultado originalmente provado por Viazovska [Via15] para o caso de mesmos discriminantes, porém através de uma abordagem motivica em vez de levantamentos de Borcherds.
• Generalização para Discriminantes Mistos (Condicional): O artigo observa que, embora a abordagem motivica lide naturalmente com casos de mesmo discriminante (onde o ciclo CM existe na fibra), ela sugere um caminho para casos de discriminantes mistos via pairings de Arakelov, embora isso não esteja totalmente resolvido no presente trabalho.
• Elo entre Ciclos Motivicos e Levantamentos de Borcherds: O artigo propõe um dicionário conjectural (Conjectura 1.5 e Conjectura 7.1) ligando formas modulares fracamente holomorfas a ciclos motivicos. Sugere-se que o regulador de um ciclo motivico $\xi_f$ associado a uma forma modular $f$ coincide com o levantamento de Borcherds $\Phi(f)$ dessa forma. Isto fornece uma "interpretação motivica" para formas modulares fracamente holomorfas.

Significância
O artigo afirma sua significância principalmente ao estabelecer uma ponte entre duas abordagens anteriormente distintas da conjectura de Gross-Zagier:

1. A Abordagem Motivica: Seguindo Zhang [Zha97] e Mellit [Mel08], que liga funções de Green a reguladores de ciclos algébricos.
2. A Abordagem Automórfica: Seguindo Li, Bruinier e Yang, que liga funções de Green a levantamentos de Borcherds.

Ao construir ciclos explícitos e computar seus reguladores, os autores demonstram que a álgebra dos valores das funções de Green é uma consequência direta da existência destes ciclos motivicos. O trabalho sugere que o "complexo modular" (um subcomplexo da cohomologia motivica gerado por ciclos especiais) contém os elementos necessários para explicar a álgebra das funções de Green automórficas. O artigo posiciona-se como um passo em direção a uma compreensão unificada onde a "função de Green motivica" (regulador de um ciclo) e a "função de Green automórfica" (levantamento de Borcherds) são identificadas.

Os autores permanecem modestos quanto ao escopo, notando que seus resultados explícitos cobrem atualmente o caso de produtos de curvas elípticas e pontos CM com o mesmo discriminante. Eles reconhecem que o caso geral (discriminantes diferentes) e dimensões superiores (ex: $G_3$) requerem mais desenvolvimento, o que delineiam como direções para trabalhos futuros (ex: em artigos companheiros [Sre22], [Sre26]).