Heavenly elliptic curves over quadratic fields

1. Introdução e Definição do Problema

O artigo investiga uma classe especial de variedades abelianas, denominadas "celestiais" (heavenly), definidas sobre corpos de números.

• Definição: Uma variedade abeliana $A$ definida sobre um corpo de números $K$ é dita celestial em $\ell$ se a extensão $K(A[\ell^\infty])$ (o corpo gerado pelos pontos de torção $\ell$-ádica de $A$) estiver contida no campo $\mathfrak{H}(K, \ell)$.
  • $\mathfrak{H}(K, \ell)$ é definido como a extensão pro-$\ell$ máxima de $K(\mu_{\ell^\infty})$ que é não ramificada fora de $\ell$.
• Contexto: Este conceito surge no estudo de representações de Galois externas pro-$\ell$ associadas a $P^1_K \setminus \{0, 1, \infty\}$ e relaciona-se com uma questão aberta de Ihara sobre o núcleo dessa representação.
• O Problema: Sabe-se que, para um corpo quadrático fixo $K$, o número de classes de isomorfismo de curvas elípticas celestiais é finito (mesmo variando sobre todos os primos $\ell$). O problema central deste trabalho é inverter essa lógica: Para um primo fixo $\ell$, existe um número finito de classes de isomorfismo de curvas elípticas celestiais quando se varia sobre todos os corpos quadráticos $K$?

2. Metodologia

Os autores empregam uma combinação de teoria algébrica de números, geometria aritmética e análise computacional:

1. Teorema de Siegel Generalizado (Levin): Para provar resultados de finitude, os autores utilizam o teorema de Levin sobre pontos $S$-inteiros em curvas. Eles mapeiam curvas elípticas celestiais para pontos inteiros em curvas modulares $Y_1(\ell)$, demonstrando que, sob certas condições de grau e tamanho do primo, o conjunto de tais pontos é finito.
2. Análise de Representações de Galois e Números de Tate-Oort:
   • Eles analisam a estrutura da torção $\ell$-ádica de curvas celestiais.
   • Introduzem o conceito de curvas "balanceadas" (balanced): uma curva é balanceada em $\ell$ se os números de Tate-Oort associados à sua redução semiestável satisfazem uma condição de simetria específica ($j_{l,r} = e/2$).
   • Demonstram que, para primos suficientemente grandes, curvas celestiais devem ser balanceadas.
3. Comparação com Curvas de Multiplicação Complexa (CM):
   • Estabelecem uma forte analogia entre o comportamento do traço de Frobenius de curvas celestiais e o de curvas com Multiplicação Complexa (CM).
   • Utilizam a teoria de caracteres de Hecke e a teoria de gênero para caracterizar quando uma curva com CM é celestial.
4. Verificação Computacional:
   • Utilizam os softwares SageMath e MAGMA para realizar buscas exaustivas sobre curvas com CM definidas sobre corpos quadráticos, verificando as condições de celestialidade e gerando listas completas de exemplos.

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas principais e várias conjecturas apoiadas por evidências:

A. Resultados de Finitude (Teoremas 1.1 e 1.2)

• Teorema 1.1: Para um primo fixo $\ell \ge 7$, o conjunto de curvas elípticas definidas sobre algum corpo quadrático que são celestiais em $\ell$ representa apenas um número finito de classes de isomorfismo sobre $\mathbb{Q}$.
• Teorema 1.2 (Generalização): Este resultado se estende para corpos de definição de grau limitado sobre um corpo base $K_0$, desde que $\ell > 2d + 1$.
• Significado: Isso responde afirmativamente à pergunta de finitude quando o corpo varia, mas o primo é fixo (o oposto do resultado conhecido de finitude para corpo fixo).

B. Comportamento do Traço de Frobenius (Teorema 1.3)

Os autores provam que curvas celestiais sobre corpos quadráticos exibem um comportamento de traço de Frobenius ($a_p$) idêntico ao de curvas com CM:

• Se um primo $p$ é inerte em $K(\sqrt{-\ell})$, então $a_p(E) \equiv 0 \pmod \ell$.
• Se $p$ se divide em $K(\sqrt{-\ell})$, então $a_p(E)^2 \equiv 4p^f \pmod \ell$.
• Conjectura A: Baseado nisso, os autores conjecturam que, para $\ell > 19$, toda curva elíptica celestial sobre um corpo quadrático possui Multiplicação Complexa (CM).

C. Classificação de Curvas Celestiais com CM (Teorema 1.4)

• Os autores determinam a lista completa de curvas elípticas definidas sobre corpos quadráticos que possuem CM, têm $j$-invariante irracional e são celestiais em algum primo $\ell$.
• Resultado: Existem apenas um número finito de tais curvas. A lista completa é fornecida nos Apêndices (Tabelas A.1 e A.2), cobrindo primos $\ell \in \{2, 3, 7, 11, 23, 31, 47\}$.
• Eles mostram que curvas com CM podem ser celestiais em no máximo dois primos distintos (e.g., $\ell=2$ e $\ell=3$), e que curvas com CM definidas sobre corpos reais não podem ter boa redução em todos os lugares.

D. Conjecturas de Finitude Global

O trabalho formula três conjecturas inter-relacionadas sobre a finitude global das classes de isomorfismo de curvas celestiais:

• Conjectura B: O conjunto de pares $(\ell, K)$ para os quais existe uma curva celestial não definida sobre $\mathbb{Q}$ é finito.
• Conjectura C: O conjunto de classes de isomorfismo sobre $\mathbb{Q}$ de curvas celestiais (variando $K$ e $\ell$) é finito.
• Os autores mostram que a Conjectura A (todas as curvas celestiais grandes têm CM) implicaria a Conjectura B, e que B implica C.

4. Significado e Impacto

1. Conexão Profunda entre Estruturas: O trabalho revela uma ligação surpreendente entre curvas elípticas "celestiais" (definidas por propriedades de ramificação de Galois) e curvas com Multiplicação Complexa (definidas por propriedades endomorfas). A semelhança nos traços de Frobenius sugere que a condição de ser "celestial" força a curva a ter uma estrutura aritmética muito rígida, semelhante à do CM.
2. Limites Uniformes: Estabelece limites explícitos para os primos $\ell$ e graus de corpos onde tais curvas podem existir, contribuindo para a compreensão da conjectura de Shafarevich generalizada.
3. Classificação Completa: A lista fornecida no apêndice é um recurso valioso para a comunidade de teoria dos números, catalogando explicitamente todas as curvas com CM e $j$-invariante irracional que satisfazem essa condição aritmética forte.
4. Métodos Híbridos: O artigo serve como um modelo de como combinar teoremas de finitude clássicos (Siegel/Levin) com análise de representações de Galois modernas e verificação computacional para resolver problemas de finitude em geometria aritmética.

Em resumo, o artigo avança significativamente a compreensão das curvas elípticas com propriedades de ramificação restritas, propondo que, exceto por casos pequenos e específicos, tais curvas devem possuir Multiplicação Complexa, e fornecendo uma classificação completa desse fenômeno sobre corpos quadráticos.