On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

Resumo Técnico: Identificação de Curvas Elípticas que Admitem Infinitas Torções que Satisfazem o BSD

Enunciado do Problema
A conjectura de Birch e Swinnerton-Dyer (BSD) permanece como um dos centrais problemas em aberto na teoria dos números. Embora progressos probabilísticos significativos tenham sido feitos em relação ao posto médio de curvas elípticas (estabelecendo que pelo menos 66% satisfazem a parte do posto da conjectura), esses resultados não identificam curvas específicas onde a conjectura completa se mantém. Historamente, famílias infinitas explícitas de curvas que satisfazem a conjectura BSD completa eram conhecidas primariamente para curvas com Multiplicação Complexa (CM). Para curvas não-CM, o cenário foi expandido pelo trabalho de Burungale–Skinner–Tian–Wan, que provou a existência de famílias infinitas de torções quadráticas de curvas elípticas não-CM satisfazendo a conjectura BSD completa. No entanto, o trabalho deles forneceu apenas uma lista explícita limitada (condutor até 150) e não detalhou o procedimento algorítmico explícito ou a implementação necessária para verificar as condições locais necessárias para identificar tais curvas.

Metodologia
Os autores preenchem a lacuna entre a existência teórica e a computação explícita ao traduzir as condições teóricas estabelecidas por Burungale–Skinner–Tian–Wan em algoritmos executáveis. A metodologia procede em duas etapas principais:

1. Filtragem Algorítmica (Algoritmo 1): Os autores codificam as hipóteses necessárias para que a parte-$p$ da conjectura BSD seja válida para torções quadráticas de posto 0.

   • Primos Ímpares ($p > 2$): Eles utilizam resultados de Skinner–Urban, Zhang e Burungale–Skinner–Tian–Wan para verificar a parte-$p$. Isso envolve verificar condições sobre a representação de Galois $\rho_{E,p}$, a existência de primos ramificados específicos e o comportamento da curva em primos supersingulares.
   • O Primo 2: Eles sintetizam resultados de [5] e [22] para estabelecer condições para a parte-2 da conjectura BSD. Isso requer verificar se o posto é 0, verificar a constante de Manin, e analisar a estrutura de 2-torção $E(\mathbb{Q})[2]$ e o sinal do discriminante. Condições específicas são verificadas para casos onde $E(\mathbb{Q})[2] \cong \mathbb{Z}/2\mathbb{Z}$ versus $E(\mathbb{Q})[2] = 0$.
   • Implementação: Essas verificações são implementadas em SageMath e aplicadas a todo o banco de dados LMFDB de curvas elípticas com condutor $N < 500.000$.

2. Verificação de Torção (Algoritmo 2): Para curvas que passam no filtro inicial, os autores implementam um segundo algoritmo para identificar torções quadráticas específicas $E_d$ (dentro do intervalo $[-1000, 1000]$) que satisfazem a conjectura BSD completa. Isso envolve a verificação de condições locais no parâmetro de torção $d$, tais como a ausência de quadrados (square-freeness), condições de congruência módulo 4 ou 8, e o comportamento de decomposição de primos em campos numéricos específicos.

Principais Contribuições

• Realização Algorítmica Explícita: A principal contribuição é a tradução das provas de existência não-construtivas de Burungale–Skinner–Tian–Wan em algoritmos explícitos e executáveis (Algoritmo 1 e Algoritmo 2).
• Identificação de Banco de Dados Extenso: Aplicando esses algoritmos ao LMFDB, os autores identificam 36.687 curvas elípticas com condutor $N < 500.000$ que admitem incondicionalmente infinitas torções quadráticas satisfazendo a forte conjectura BSD. Isso representa aproximadamente 0,1% de todas as curvas nesse intervalo.
• Refinamento de Listas Existentes: Os autores esclarecem e refinam a lista de curvas até o condutor 150 apresentada em [4, Exemplo 1]. Eles demonstram que quatro curvas listadas anteriormente (62a1, 66b1, 105a1, 141c1) não satisfazem atualmente os critérios incondicionais devido à ausência de teoremas aplicáveis para suas estruturas específicas de 2-torção e à inaplicabilidade dos resultados de [5] (devido à ordem de anulação do valor-$L$).
• Análise Estatística do Grupo de Shafarevich–Tate: Utilizando o novo conjunto de dados onde $|\text{Ш}(E_d)|$ é conhecido incondicionalmente, os autores testam a conjectura de Radziwiłł e Soundararajan a respeito da distribuição Gaussiana de $\log(|\text{Ш}(E_d)|/\sqrt{|d|})$.

Resultos

• Geração de Conjunto de Dados: Os autores produziram um conjunto de dados de curvas elípticas e suas torções específicas onde a conjectura BSD completa é válida incondicionalmente. Este conjunto de dados é único porque a ordem do grupo de Shafarevich–Tate é derivada sem assumir a conjectura BSD (visto que a conjectura é provada para essas famílias específicas).
• Verificação de Radziwiłł–Soundararajan (Caso Genérico): Para torções genéricas de uma curva representativa (46a1) com número de raiz +1, a distribuição dos valores normalizados converge para uma distribuição Gaussiana padrão $N(0,1)$, consistente com a conjectura, embora uma assimetria de amostra finita seja observada.
• Observação de Viés Sistemático (Subfamília que Satisfaz o BSD): Ao restringir a análise para a subfamília específica de torções que satisfazem a conjectura BSD completa (denotada por $D_{BSD}$), a distribuição desvia-se significativamente da previsão genérica. Os autores observam um viés positivo sistemático e um deslocamento para uma forma bimodal.
  • Causa do Viés: Este desvio é atribuído às rígidas restrições aritméticas que definem $D_{BSD}$ (por exemplo, $d$ deve ser positivo, $d \equiv 1 \pmod 8$, e os fatores primos devem se decompor de formas específicas). Essas restrições forçam as torções a residirem em campos quadráticos reais com comportamentos de decomposição específicos, alterando a densidade de primos e o modelo probabilístico subjacente em comparação ao caso genérico.

Significância e Alegações
O artigo afirma fornecer a primeira identificação em larga escala e incondicional de curvas elípticas não-CM que admitem famílias infinitas de torções que satisfazem o BSD. Ao mover-se da existência probabilística para a enumeração explícita, os autores criam um conjunto de dados único para o estudo do grupo de Shafarevich–Tate.

A significância das descobertas estatísticas reside na observação de que, embora a conjectura de Radziwiłł–Soundararajan seja válida para famílias genéricas, ela requer modificação (especificamente em relação à média e variância) quando aplicada a famílias definidas por condições aritméticas locais estritas. Os autores observam que isso não invalida a conjectura, mas destaca sua sensibilidade a restrições de subfamília. Eles sugerem que, com mais dados, a distribuição para a família restrita ainda pode se aproximar de uma forma Gaussiana, embora com parâmetros diferentes, o que justifica investigações futuras.

O trabalho é apoiado por um repositório de código público construído sobre a infraestrutura do LMFDB, permitindo a reprodução da identificação dessas curvas e a verificação das alegações estatísticas.