Birch e Swinnerton-Dyer: o mistério das soluções racionais nas curvas elípticas

Uma equação pode ter soluções que desenhamos facilmente e, ao mesmo tempo, esconder uma pergunta aritmética difícil: quais dessas soluções usam apenas frações? A conjectura de Birch e Swinnerton-Dyer, frequentemente chamada BSD, procura uma maneira de relacionar os pontos racionais de curvas elípticas a uma função construída a partir de informações sobre a curva.

Um número racional é uma razão de inteiros, como 1/2, −7/3 ou 5. Por isso, um ponto racional tem as duas coordenadas desse tipo. A questão não é apenas enxergar a curva como uma linha contínua: muitos pontos visíveis no gráfico real têm coordenadas que não são racionais.

Uma curva elíptica não é uma elipse

Um modelo usual, sobre os racionais, tem a forma y² = x³ + ax + b, com coeficientes racionais e uma condição que evita singularidades. Seu nome tem uma origem histórica ligada a integrais; não descreve o formato oval de uma elipse. Para a estrutura matemática completa, também se inclui um ponto no infinito.

Considere y² = x³ − x. Os pares (−1,0), (0,0) e (1,0) satisfazem a equação. Você pode conferir isso substituindo cada x e observando que o lado direito vale zero. Encontrar esses exemplos é fácil; caracterizar todos os pontos racionais de uma curva arbitrária é uma tarefa muito mais exigente.

O gráfico da equação mostra uma linha contínua sobre os números reais. A pergunta sobre frações seleciona pontos dentro dela. Não devemos contar pixels de uma imagem para deduzir quantos pontos racionais existem, nem concluir que uma longa lista já é completa.

Por que os pontos podem ser somados

Existe uma operação geométrica que combina pontos de uma curva elíptica. No modelo usual, uma reta que passa por dois pontos encontra um terceiro, e uma reflexão fornece sua soma, com regras apropriadas para os casos especiais. Essa operação organiza os pontos em um grupo; o ponto no infinito funciona como elemento neutro.

O teorema de Mordell, de 1922, diz que os pontos racionais de uma curva elíptica sobre os racionais são gerados por uma quantidade finita de elementos. Isso não afirma que só existem finitos pontos. Repetir somas de um gerador de ordem infinita pode produzir infinitos pontos diferentes.

O posto conta quantos geradores independentes de ordem infinita são necessários. Há também uma parte de torção, formada pelos elementos que retornam ao neutro depois de um número finito de somas. Posto zero significa que só essa parte finita permanece; posto positivo significa que existem infinitos pontos racionais.

Uma analogia para entender o posto

Imagine que você pode se deslocar numa grade repetindo comandos. Se um único comando gera todos os deslocamentos permitidos, há uma direção independente. Se dois comandos independentes são necessários, há duas. A analogia ajuda a separar “quantos movimentos existem” de “quantos movimentos básicos os geram”. No grupo da curva, a operação é a soma de pontos, e não andar numa grade desenhada.

A função L: pistas locais sobre uma pergunta global

Birch e Swinnerton-Dyer investigaram a contagem de pontos quando a aritmética é feita módulo diferentes números primos. Trabalhar módulo p significa tratar números pelo resto da divisão por p. Isso cria ambientes finitos nos quais é possível contar soluções. As contagens alimentam a construção da função L associada à curva.

“Local” e “global” têm um significado especial aqui. Informações obtidas módulo primos oferecem pistas locais; a descrição de todos os pontos racionais é uma questão global. A conjectura prevê que o comportamento analítico da função L reúne essas pistas de um modo capaz de revelar o posto.

O que significa a ordem de um zero

Uma função pode chegar a zero de maneiras diferentes. Perto de zero, f(t) = t tem um zero de ordem um, enquanto g(t) = t² tem um zero de ordem dois. Esse exemplo elementar ilustra o número de fatores de anulação. Na conjectura, observamos a função L perto de s = 1, e não essas duas funções simples.

A previsão é que a ordem de anulação coincida com o posto: se L(E,1) não é zero, o posto seria zero; se há um zero simples, seria um; e assim por diante. A versão refinada acrescenta uma fórmula para o primeiro coeficiente não nulo e outras quantidades aritméticas. Saber apenas se o valor é zero não contém toda essa informação.

A história: computadores ajudaram a formular a conjectura

No começo dos anos 1960, Bryan Birch e Peter Swinnerton-Dyer usaram cálculos computacionais para investigar curvas e identificar padrões. O computador EDSAC 2, em Cambridge, faz parte dessa história. Seus artigos “Notes on Elliptic Curves”, de 1963 e 1965, documentam o caminho entre experimentação e conjectura.

O que já foi demonstrado

Há resultados profundos em casos de posto analítico zero e um, ligados aos trabalhos de Benedict Gross, Don Zagier e Victor Kolyvagin. Posto analítico é o nome dado à ordem de anulação da função L em s = 1, que a conjectura identifica com o posto dos pontos racionais. Também existem demonstrações de partes da fórmula refinada sob hipóteses específicas. O teorema de Jetchev, Skinner e Wan para curvas de posto analítico um é um exemplo dessa precisão: explicita condições sobre a curva e os primos considerados.

Bhargava, Skinner e Zhang demonstraram que mais de 66% das curvas elípticas sobre os racionais, no sentido assintótico e ordenadas por altura, satisfazem a conjectura do posto. “Altura” é uma medida aritmética do tamanho da curva; “assintótico” indica que a proporção é considerada à medida que o limite de altura cresce. Não se trata de uma amostra informal nem de uma garantia para qualquer curva escolhida.

Um resultado de maioria deixa casos fora de seu alcance. Uma prova geral precisaria cobrir todas as curvas admitidas pelo enunciado; por isso, o avanço estatístico não encerra o problema.

O que uma solução mudaria na ciência

Uma prova consolidaria a ponte entre uma estrutura algébrica — os pontos racionais — e uma estrutura analítica — a função L. Como interpretação do impacto, permitiria usar essa relação demonstrada em novas investigações de equações e retirar condições de resultados que dependem dela.

Não seria automaticamente um algoritmo rápido para listar todos os pontos: em posto positivo, essa lista é infinita. Calcular geradores ou certificar o posto de uma curva concreta também exige métodos e controles computacionais próprios. A força da conjectura é prever uma igualdade estrutural, não prometer uma saída finita para toda pergunta aritmética.

Isso quebraria a criptografia de curvas elípticas?

A criptografia padronizada pelo NIST utiliza curvas sobre campos finitos, com um número finito de pontos. Sua segurança depende de tarefas específicas, como o logaritmo discreto nesse grupo. BSD, no enunciado discutido aqui, trata dos pontos racionais e do comportamento da função L. A conexão entre as áreas não torna as perguntas equivalentes.

Uma demonstração de BSD não constitui, sozinha, um ataque a essas chaves. Eventuais consequências tecnológicas precisariam de resultados adicionais. A transformação científica direta seria compreender por que informações colhidas em muitos ambientes finitos revelam uma característica global das soluções racionais.

Problemas do MilênioCiênciaMatemáticaCurvas elípticasTeoria dos númerosCriptografia