Almost all primes are partially regular

Resumo Técnico: "Quase Todos os Primos São Parcialmente Regulares"

Enunciado do Problema
O artigo aborda a distribuição de irregularidades na aritmética de corpos ciclotômicos. Para um primo ímpar $p$, seja $K_p = \mathbb{Q}(\zeta_p)$ o corpo ciclotômico $p$-ésimo e $Cl(K_p)$ seu grupo de classes de ideais. Um primo $p$ é classicamente definido como regular se $p$ não divide o número de classe $|Cl(K_p)|$, uma condição equivalente a $p$ não dividir o numerador de qualquer número de Bernoulli $B_{2k}$ para $2 \le 2k \le p-3$. Embora se saiba que existem primos irregulares (Jensen), sua densidade é conjecturada como aproximadamente $1 - e^{-1/2}$.

Os autores investigam uma noção mais fraca denominada regularidade parcial. Um primo ímpar $p$ é definido como $m$-regular se $p \nmid \text{num}(B_{2k})$ para todos os inteiros pares $2k$ no intervalo $2 \le 2k \le \min(m, p-3)$. A questão central é se um subconjunto de densidade um de primos satisfaz a regularidade parcial para um intervalo específico $M_\alpha(p)$ que cresce com $p$, especificamente $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ para $\alpha > 1/2$.

Metodologia
A prova do teorema principal baseia-se em técnicas de teoria analítica dos números envolvendo o crescimento dos numeradores dos números de Bernoulli e a distribuição de divisores primos. A metodologia procede da seguinte forma:

1. Redução a um Intervalo Uniforme: Os autores definem um limite uniforme $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ para primos $p \le X$. Eles mostram que, se um primo $p \le X$ falha em ser $M_\alpha(p)$-regular, ele também deve falhar em ser $m_X$-regular (para $X$ suficientemente grande).
2. Limitação de Primos Irregulares: Usando o Lema 2.1, o número de primos $p \le X$ que não são $m_X$-regulares é limitado por $\omega_{pf}(P_{m_X})$, onde $P_{m_X}$ é o produto dos numeradores dos números de Bernoulli $B_{2k}$ para $1 \le k \le m_X$, e $\omega_{pf}(n)$ denota o número de fatores primos distintos de $n$.
3. Estimativa de Numeradores de Bernoulli: Os autores derivam um limite superior para $\log |P_m|$ usando a fórmula de Euler para $\zeta(2k)$ e o teorema de von Staudt–Clausen. Eles estabelecem que $\log P_m \le C_2 m^2 \log m$.
4. Contagem de Fatores Primos: Aplicando o Teorema do Número Primo e propriedades da função primorial, eles limitam $\omega_{pf}(P_{m_X})$ por $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$.
5. Análise Assintótica: Combinando essas estimativas, mostra-se que a contagem de primos não-regulares é limitada por $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$. Como $\alpha > 1/2$, o expoente $2\alpha > 1$, garantindo que a densidade de primos não-regulares tenda a zero quando $X \to \infty$.

Principais Contribuições e Resultados
O artigo estabelece o seguinte resultado principal:

• Teorema 1.1: Para qualquer $\alpha > 1/2$ fixo, o conjunto de primos $p$ que não são $M_\alpha(p)$-regulares tem densidade assintótica zero. Especificamente, o número de tais primos até $X$ é limitado por $C_\alpha \frac{X}{(\log X)^{2\alpha}}$. Os autores observam que a constante $C_\alpha$ pode ser escolhida independentemente de $\alpha$ (especificamente $C_\alpha = 10$).

Corolários e Implicações
O artigo deriva várias consequências significativas deste resultado de regularidade parcial:

1. Teorema de Vandiver Parcial (Corolário 1.4): Combinando o Teorema 1.1 com o Teorema de Herbrand–Ribet (que liga os autoespaços ímpares do grupo de classes a números de Bernoulli) e o Princípio de Reflexão de Leopoldt (que liga os autoespaços pares e ímpares), os autores provam que, para um conjunto de densidade um de primos, os autoespaços pares $A_p(\omega^{2k})$ da parte-$p$ do grupo de classes desaparecem para todo $2k \le M_\alpha(p)$. Isso fornece uma verificação parcial da Conjectura de Kummer–Vandiver.
2. Não-vanishing de Funções $L$ $p$-ádicas (Corolário 1.5): Via a Conjectura Principal de Iwasawa (Mazur–Wiles), o desaparecimento dos autoespaços algébricos implica que as funções $L$ $p$-ádicas de Kubota–Leopoldt associadas $L_p(s, \omega^{2k})$ são unidades na álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$. Consequentemente, para quase todos os primos, essas funções não possuem zeros em $\mathbb{Z}_p$.
3. Congruências e Teoria K (Corolário 1.7): O resultado implica que, para quase todos os primos:
   • Congruências específicas de somas de potências envolvendo números de Bernoulli ocorrem módulo $p^2$.
   • Não existem congruências entre formas Hecke eigenformas cuspidais normalizadas de nível 1 e peso $2k$ e séries de Eisenstein módulo $p$ para pesos pequenos.
   • Os grupos K algébricos $K_{4k-2}(\mathbb{Z})$ não possuem $p$-torsão para esses pesos.

Significância e Verificação
O artigo destaca dois aspectos principais de sua significância:

1. Resultado Matemático: Ele fornece uma prova rigorosa de que "quase todos" os primos satisfazem uma forma forte de regularidade parcial, estendendo a compreensão da distribuição dos primos irregulares e ofereる uma resolução parcial da Conjectura de Vandiver em um intervalo específico.
2. Formalização e IA: O artigo serve como um estudo de caso para o AxiomProver, uma ferramenta de IA em desenvolvimento. Os autores afirmam que o Teorema 1.1 foi provado e totalmente formalizado em Lean/Mathlib (versão 4.26.0) pelo AxiomProver partindo unicamente de uma afirmação em linguagem natural da conjectura, sem assistência humana na geração da prova. Os autores humanos então reconstruíram a exposição narrativa baseada na prova formal. O código e os artefatos estão disponíveis publicamente no repositório AxiomMath.

Os autores enfatizam que a IA não reprovou teoremas externos profundos (como Herbrand–Ribet ou a Conjectura Principal), mas derivou autonomamente a estimativa analítica específica necessária para o Teorema 1.1, incluindo uma derivação independente de um limite relacionado ao teorema de von Staudt–Clausen.