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

Este artigo descreve uma vasta coleção de curvas hiperelípticas não isomórficas que mapeiam birracionalmente para superfícies abelianas isogêneas a produtos de curvas elípticas, utilizando essas curvas para estabelecer múltiplas equivalências racionais no grupo de Chow de ciclos de dimensão zero e, assim, avançar na verificação da conjectura de Beilinson para tais ciclos.

O essencial

Imagine que você está explorando um universo geométrico invisível, onde as formas não são apenas linhas e curvas, mas objetos matemáticos complexos chamados Variedades Abelianas. Pense nelas como "super-espaços" com propriedades muito especiais, onde você pode somar pontos como se estivesse somando números, mas em dimensões que nossa mente tem dificuldade de visualizar.

O objetivo principal deste artigo é resolver um grande mistério matemático conhecido como a Conjectura de Beilinson.

O Grande Mistério: O "Vazio" Oculto

Para entender o mistério, imagine que você tem um mapa de um território (uma variedade matemática). Existem dois tipos de "pontos" nesse mapa:

1. Pontos que você pode ver e contar (como cidades em um mapa).
2. Pontos que são "fantasmas": eles parecem existir, mas na verdade são apenas ilusões criadas por como somamos os pontos.

A Conjectura de Beilinson diz algo muito simples, mas difícil de provar: "Em um mundo feito de números racionais (como frações), não existem esses pontos fantasmas." Ou seja, se você somar pontos de uma certa maneira e o resultado parecer zero, ele realmente é zero. Não há "truques" escondidos.

O problema é que, em outros mundos (como o dos números complexos), esses pontos fantasmas existem em quantidade infinita e são caóticos. Provar que eles não existem no mundo dos números racionais é como tentar provar que um castelo de cartas não vai cair, mesmo com o vento soprando forte.

A Solução: Curvas Hipersônicas (Hyperelliptic Curves)

Os autores, Evangelia Gazaki e Jonathan Love, decidiram atacar esse problema usando uma ferramenta muito específica: Curvas Hipersônicas.

Para fazer uma analogia simples:

• Imagine que a nossa "Super-Espaço" (a Variedade Abelianas) é um lago gigante.
• As Curvas Hipersônicas são como barcos muito especiais que navegam por esse lago.
• A mágica acontece quando esses barcos têm uma propriedade única: se você inverter o barco (como se ele fosse um reflexo no espelho), ele se transforma no seu próprio oposto matemático.

Os autores descobriram que, se você consegue encontrar muitos desses barcos navegando no lago, e se eles cobrem o lago de formas diferentes, você consegue provar que os "pontos fantasmas" (os erros de cálculo) na verdade não existem. Eles se cancelam mutuamente.

A Estratégia: O Jardim de Espelhos (Superfícies de Kummer)

Como encontrar tantos barcos assim? Os autores usaram um truque engenhoso envolvendo uma estrutura chamada Superfície de Kummer.

Imagine que a Superfície de Kummer é como um espelho gigante e deformado que reflete o nosso lago.

1. Eles olharam para esse espelho e viram que nele existem linhas retas (que são fáceis de encontrar).
2. Quando você "desdobra" o reflexo dessas linhas retas de volta para o lago original, elas se transformam nas nossas Curvas Hipersônicas.

É como se você tivesse um jardim de espelhos onde, ao olhar para uma linha reta, você vê uma serpente elegante se movendo. Ao estudar essas "serpentes" (as curvas), eles conseguiram provar que, em muitos casos, o lago está limpo de fantasmas.

O Que Eles Conseguiram?

1. Gerar infinitas curvas: Eles mostraram que, se o nosso lago for feito de duas "elipses" (formas ovais) conectadas, é possível criar infinitas curvas hipersônicas diferentes, cada uma com um tamanho (gênero) diferente. É como se eles tivessem uma fábrica que produz barcos de todos os tamanhos possíveis.
2. Provar o mistério para muitos casos: Usando essa fábrica de barcos, eles conseguiram provar a Conjectura de Beilinson para uma quantidade muito maior de casos do que era possível antes. Eles encontraram "provas" (relações matemáticas) que cancelam os pontos fantasmas em muitos exemplos específicos.
3. Um novo caminho: Eles mostram que, mesmo que não possamos provar o mistério para todos os casos de uma vez, podemos provar para muitos casos específicos, o que é um passo gigantesco para a matemática.

Resumo em uma frase

Os autores construíram uma "fábrica" de formas geométricas especiais (curvas hipersônicas) que, ao navegarem por espaços matemáticos complexos, revelam que os erros de cálculo (pontos fantasmas) que imaginávamos existir, na verdade, desaparecem quando olhamos com atenção suficiente, dando um grande passo em direção a resolver um dos maiores enigmas da matemática moderna.

É como se eles tivessem encontrado a chave mestra para desbloquear a verdade oculta dentro de um cofre matemático, mostrando que, embora o cofre pareça cheio de coisas estranhas, ele está, na verdade, vazio.

Resumo técnico

Resumo Técnico: Curvas Hiperelípticas Mapeando para Variedades Abelianas e Aplicações à Conjectura de Beilinson

1. O Problema e o Contexto

O artigo aborda a Conjectura de Beilinson para ciclos de dimensão zero (zero-cycles) em variedades projetivas suaves definidas sobre o corpo dos números racionais ($\mathbb{Q}$).

• A Conjectura: Para uma variedade projetiva suave $X$ sobre $\mathbb{Q}$, o núcleo do mapa de Albanese, denotado por $F^2(X)$, deve ser zero. Isso implica que o mapa de Albanese é injetivo, ou seja, dois pontos racionais são racionalmente equivalentes se e somente se têm a mesma imagem no grupo de Albanese.
• O Desafio: Em corpos algebricamente fechados (como $\mathbb{C}$), o núcleo $F^2(X)$ é conhecido por ser "enorme" e não parametrizável por variedades algébricas (resultados de Mumford e Bloch). No entanto, sobre $\mathbb{Q}$, espera-se que seja trivial.
• Foco do Artigo: O trabalho foca em duas classes específicas de superfícies com gênero geométrico positivo ($p_g > 0$): superfícies abelianas ($A$) e suas superfícies de Kummer associadas ($K = \text{Kum}(A)$). O objetivo é provar que $F^2(A) = 0$ para certas superfícies abelianas, aproximando-se da conjectura de Beilinson.

2. Metodologia e Estrutura Teórica

Os autores desenvolvem uma abordagem baseada na construção de curvas hiperelípticas que mapeiam para a superfície abeliana, explorando a relação entre pontos racionais nessas curvas e a equivalência racional de ciclos.

A. Pontos Hiperelípticos e Relações em $F^2(A)$

• Definição: Um ponto $a \in A(k)$ é chamado de ponto hiperelíptico se um múltiplo não nulo de $a$ estiver na imagem de um morfismo $f: H \to A$, onde $H$ é uma curva hiperelíptica e a negação em $A$ induz a involução hiperelíptica em $H$ (ou seja, $f \circ \iota = -f$).
• Lema Chave: Se $a$ é um ponto hiperelíptico, então o ciclo zero $z_{a,a} = [2a] - 2[a] + [0]$ é zero no grupo de Chow $F^2(A)$.
• Bilinearidade: O mapa $(a, b) \mapsto z_{a,b} = [a+b] - [a] - [b] + [0]$ é bilinear e simétrico.
• Estratégia Principal: Para provar que $F^2(A) = 0$, basta mostrar que um conjunto finito de combinações lineares de geradores do grupo de Mordell-Weil são pontos hiperelípticos. Se $a, b$ e certas combinações lineares $ma + m'b$ são pontos hiperelípticos, então $z_{c,d} = 0$ para todos $c, d$ no fecho divisível do subgrupo gerado por $a$ e $b$.

B. Construção de Curvas via Superfícies de Kummer

• A metodologia central para gerar esses pontos hiperelípticos envolve a Superfície de Kummer $K = \text{Kum}(E \times E')$, associada a um produto de curvas elípticas.
• Fibrado Elíptico: A superfície de Kummer é equipada com uma estrutura de fibrado elíptico (o "pincel de Inose").
• Seções de Mordell-Weil: Utilizando a adição no reticulado de Mordell-Weil de $K$, os autores produzem infinitas curvas racionais em $K$.
• Pullback (Puxada): Ao puxar essas curvas racionais de volta para o produto $E \times E'$ através do quociente por negação, obtém-se curvas $C$. A normalização de $C$ resulta em uma curva hiperelíptica $H$ que mapeia compativelmente para $A$.

3. Contribuições e Resultados Principais

Teorema 1.2 (e Teorema 2.6): Relações de Equivalência Racional

• Estabelece que, se pontos $a, b$ e uma combinação linear $ma + m'b$ são pontos hiperelípticos, então o ciclo zero $z_{c,d}$ desaparece no núcleo de Albanese para quaisquer $c, d$ no fecho divisível gerado por $a$ e $b$.
• Isso reduz o problema de provar a conjectura de Beilinson para uma superfície abeliana a encontrar um número finito de pontos hiperelípticos, mesmo que o posto de Mordell-Weil seja arbitrariamente grande.

Teorema 1.3 (e Teorema 3.2): Abundância de Curvas Hiperelípticas

• Construção: Para uma superfície abeliana $A$ isogena a um produto de curvas elípticas $E \times E'$, os autores constroem uma coleção infinita e não isomorfa de curvas hiperelípticas de gênero $g$ (para infinitos inteiros $g \ge 2$) mapeando biracionalmente em $A$.
• Propriedades: As curvas são construídas de forma explícita (equações de Weierstrass podem ser escritas algoritmicamente). A construção permite obter curvas de gênero arbitrariamente grande.
• Generalidade: O resultado vale para infinitas classes de isogenia, garantindo que não há relações óbvias entre as imagens das diferentes curvas.

Avanços Computacionais e Verificação da Conjectura (Seção 3.6)

• Os autores aplicam sua teoria para verificar a conjectura de Beilinson para pares de curvas elípticas $E, E'$ sobre $\mathbb{Q}$.
• Melhoria sobre Trabalhos Anteriores: Em comparação com o trabalho anterior dos autores ([GL24]), que usava apenas curvas de gênero 2, a nova metodologia utiliza curvas de gênero 6, 10 e superiores, além de explorar isogenias entre as curvas elípticas.
• Resultados Numéricos:
  • Aumentaram significativamente o número de pares $(E, E')$ para os quais se pode provar que o subgrupo $F^2(E \times E')_{\text{comp}}$ é finito (e portanto, trivial sob certas condições).
  • Mesmo em casos onde o posto de Mordell-Weil é alto ($>1$), a nova abordagem encontrou relações suficientes para anular os ciclos zero, algo que curvas de gênero baixo não conseguiam fazer.
  • Demonstraram que, ao substituir curvas elípticas por curvas isogênicas, é possível gerar relações adicionais necessárias para a prova.

Extensão para Dimensões Superiores (Seção 4)

• Os autores generalizam os resultados para variedades abelianas de dimensão $d \ge 3$.
• Utilizam a filtragem de Pontryagin e grupos K de Somekawa para mostrar que, se o grupo simétrico $S_2(k; A)$ for de torção, então $F^2(A) = 0$.
• Limitação: Reconhecem que, para dimensões $\ge 3$, a variedade de Kummer geralmente não é Calabi-Yau e pode não conter curvas racionais suficientes para gerar todas as curvas hiperelípticas necessárias, exceto em casos especiais (como Jacobianas de curvas hiperelípticas).

4. Significado e Impacto

1. Progresso na Conjectura de Beilinson: O artigo fornece a primeira evidência concreta e generalizada de que o núcleo de Albanese pode ser trivial para superfícies abelianas sobre $\mathbb{Q}$ com $p_g > 0$, um caso que era considerado "fora de alcance" até então.
2. Nova Conexão Geométrica: Estabelece uma ponte profunda entre a geometria das superfícies de Kummer (fibrados elípticos, seções de Mordell-Weil) e a teoria de ciclos zero em variedades abelianas.
3. Método Construtivo: Oferece um método algorítmico e explícito para gerar curvas hiperelípticas de alto gênero e suas equações, permitindo testes computacionais robustos.
4. Redução do Problema: Transforma um problema infinito (provar que todos os ciclos zero são triviais) em um problema finito (encontrar um conjunto específico de pontos hiperelípticos), tornando a conjectura tratável computacionalmente para classes específicas de variedades.

Em suma, o trabalho demonstra que a existência abundante de curvas hiperelípticas em superfícies abelianas isogênicas a produtos de curvas elípticas fornece as relações de equivalência racional necessárias para anular o núcleo de Albanese, oferecendo um caminho promissor para a validação da Conjectura de Beilinson.