ABC implies that Ramanujan's tau function misses almost all primes

1. O Problema e o Contexto

O artigo aborda uma questão fundamental na teoria dos números: a distribuição dos valores primos na imagem da função $\tau(n)$ de Ramanujan.

• A Função $\tau(n)$: Definida pelos coeficientes de Fourier da forma modular discriminante $\Delta(z) = q \prod_{n=1}^\infty (1-q^n)^{24} = \sum_{n=1}^\infty \tau(n)q^n$.
• Conjecturas Relacionadas:
  • Conjectura de Lehmer: $\tau(n) \neq 0$ para todo $n \ge 1$.
  • Conjectura Popular (Folklore): A função $\tau(n)$ assume valores primos (em valor absoluto) infinitas vezes.
• Estado Atual: Xiong (2024) demonstrou que o conjunto de primos que aparecem como valores de $|\tau(n)|$ tem densidade no máximo $2/11$ entre todos os primos. O objetivo deste artigo é melhorar drasticamente esse limite superior, assumindo a Conjectura abc.

2. Metodologia

A prova combina ferramentas analíticas da teoria dos números, propriedades de formas modulares e a Conjectura abc.

A. Redução a Curvas Hiperelípticas

Os autores utilizam relações de Hecke e a paridade de $\tau(n)$ (que é ímpar se e somente se $n$ for um quadrado ímpar) para restringir a busca de valores primos.

• Se $|\tau(n)| = \ell$ (um primo ímpar), então $n$ deve ser uma potência de primo.
• O problema é decomposto em casos baseados no expoente da potência de primo:
  • Caso $k \ge 3$: Já tratado por Xiong, onde a densidade é limitada por $O(X^{9/10})$.
  • Caso $k = 1$ e $k = 2$: Estes casos levam a equações diofantinas específicas que podem ser mapeadas para curvas hiperelípticas:
    1. Para $n=p^2$: $\tau(p^2) = \tau(p)^2 - p^{11} = \pm \ell \implies y^2 = x^{11} \pm \ell$.
    2. Para $n=p^4$: $\tau(p^4) = \dots \implies u^2 = 5x^{22} \pm 4\ell$.

B. Aplicação da Conjectura abc

O núcleo da prova reside em limitar o número de pontos inteiros nessas curvas hiperelípticas.

• Definição: Seja $S(X)$ o número de primos $\ell \le X$ tais que $|\tau(n)| = \ell$ para algum $n$.
• Estratégia: Os autores definem funções de erro $E_2(X)$ e $E_4(X)$ que contam pontos inteiros $(x, y)$ e $(x, u)$ nas curvas acima com certas restrições de magnitude.
• Uso da Conjectura abc: A conjectura afirma que para inteiros coprimos $a+b=c$, temos $|c| \le C_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$.
  • Aplicando isso às equações $y^2 - x^{11} = k$ e $u^2 - 5x^{22} = k$, os autores derivam limites superiores para $x$ (e consequentemente para o número de soluções).
  • Eles provam que, sob a Conjectura abc, o número de tais pontos cresce muito mais lentamente do que o esperado, especificamente $E_2(X) \ll X^{4/9+\eta}$ e $E_4(X) \ll X^{1/5+\eta}$.

3. Resultados Principais

Teorema Principal (Teorema 1)

Assumindo a Conjectura abc, o número de primos $\ell \le X$ que aparecem como valores absolutos de $\tau(n)$ satisfaz:
$$S(X) = O\left( \frac{X^{9/10}}{\log X} \right)$$
(Nota: O artigo original apresenta o termo $O(X^{9/10} \log X)$ no resumo, mas a prova detalhada mostra que o termo dominante é $X^{9/10} \log X$ somado a termos menores, resultando na densidade zero).

Implicação Direta:
Como o Teorema dos Números Primos diz que $\pi(X) \sim X/\log X$, a razão $S(X)/\pi(X)$ tende a zero quando $X \to \infty$.

Conclusão: Sob a Conjectura abc, a função $\tau(n)$ perde quase todos os primos (ou seja, o conjunto de primos na imagem de $\tau$ tem densidade zero).

Heurística para Infinitude (Seção 4)

Apesar de provar que a densidade é zero, os autores argumentam heuristicamente que $S(X)$ ainda deve ser infinito.

• Utilizando a Conjectura de Sato-Tate (sobre a distribuição dos ângulos de Frobenius), eles estimam que:
  $$S(X) \asymp \frac{X^{1/11}}{(\log X)^2}$$
• Isso sugere que, embora os primos sejam extremamente raros (muito mais raros do que a densidade $2/11$ sugerida anteriormente), eles ainda ocorrem infinitas vezes.

4. Contribuições Chave

1. Melhoria de Limite Superior: Redução drástica do limite superior conhecido para a densidade de primos na imagem de $\tau(n)$, de $2/11$ para 0 (assumindo abc).
2. Técnica Analítica: Desenvolvimento de estimativas analíticas precisas para o número de pontos inteiros em curvas hiperelípticas específicas ($y^2 = x^{11} \pm \ell$ e $u^2 = 5x^{22} \pm 4\ell$) usando a Conjectura abc.
3. Generalização: O resultado se aplica não apenas a $\tau(n)$, mas a coeficientes de qualquer forma de cusp normalizada de peso 12 em $SL_2(\mathbb{Z})$ com coeficientes inteiros.
4. Validação via IA: O artigo destaca que as estimativas analíticas principais (Lemmas 4 e 5) foram formalizadas e provadas automaticamente usando o assistente de IA AxiomProver no ambiente Lean/Mathlib, demonstrando um novo paradigma na verificação de provas matemáticas complexas.

5. Significado e Impacto

• Teoria dos Números: O trabalho fornece uma visão mais profunda sobre a "escassez" de valores primos em formas modulares, conectando a Conjectura abc (uma das conjecturas mais profundas da aritmética) com a estrutura de valores de formas modulares.
• Metodologia Computacional: O artigo serve como um caso de estudo pioneiro na colaboração entre matemáticos humanos e IAs para a formalização de provas. O fato de o AxiomProter ter gerado a prova formal em Lean a partir de declarações em linguagem natural valida o potencial da IA para auxiliar em pesquisas matemáticas de ponta, especialmente em tarefas de verificação rigorosa.
• Resolução Parcial: Embora não prove que existem infinitos primos na imagem (o que permaneceria uma conjectura), o trabalho estabelece que, se a Conjectura abc for verdadeira, esses primos são tão esparsos que a função "falha" em cobrir a vasta maioria dos números primos.

Em resumo, o artigo demonstra que, sob a Conjectura abc, a função $\tau(n)$ de Ramanujan é extremamente ineficiente em gerar números primos, gerando apenas uma fração negligenciável deles, embora provavelmente gere infinitos.