Almost all primes are partially regular

Resumen Técnico: "Casi todos los primos son parcialmente regulares"

Planteamiento del Problema
El artículo aborda la distribución de las irregularidades en la aritmética de los cuerpos cíclotómicos. Para un primo impar $p$, sea $K_p = \mathbb{Q}(\zeta_p)$ el cuerpo cíclotico $p$-ésimo y $Cl(K_p)$ su grupo de clases de ideales. Un primo $p$ se define clásicamente como regular si $p$ no divide el número de clase $|Cl(K_p)|$, una condición equivalente a que $p$ no divida al numerador de ningún número de Bernoulli $B_{2k}$ para $2 \le 2k \le p-3$. Aunque se sabe que existen primos irregulares (Jensen), su densidad es conjeturada aproximadamente como $1 - e^{-1/2}$.

Los autores investigan una noción más débil denominada regularidad parcial. Un primo impar $p$ se define como $m$-regular si $p \nmid \text{num}(B_{2k})$ para todos los enteros pares $2k$ en el rango $2 \le 2k \le \min(m, p-3)$. La cuestión central es si un subconjunto de densidad "uno" de los primos satisface la regularidad parcial para un rango específico $M_\alpha(p)$ que crece con $p$, específicamente $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ para $\alpha > 1/2$.

Metodología
La demostración de su teorema principal se basa en técnicas de la teoría analítica de números relacionadas con el crecimiento de los numeradores de los números de Bernoulli y la distribución de los divisores primos. La metodología procede de la siguiente manera:

1. Reducción a un Rango Uniforme: Los autores definen un límite uniforme $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ para los primos $p \le X$. Demuestran que si un primo $p \le X$ no es $M_\alpha(p)$-regular, entonces también debe fallar en ser $m_X$-regular (para $X$ suficientemente grande).
2. Acotación de Primos Irregulares: Utilizando el Lema 2.1, el número de primos $p \le X$ que no son $m_X$-regulares está acotado por $\omega_{pf}(P_{m_X})$, donde $P_{m_X}$ es el producto de los numeradores de los números de Bernoulli $B_{2k}$ para $1 \le k \le m_X$ y $\omega_{pf}(n)$ denota el número de factores primos distintos de $n$.
3. Estimación de Numeradores de Bernoulli: Los autores derivan una cota superior para $\log |P_m|$ utilizando la fórmula de Euler para $\zeta(2k)$ y el teorema de von Staudt–Clausen. Establecen que $\log P_m \le C_2 m^2 \log m$.
4. Conteo de Factores Primos: Aplicando el Teorema de los Números Primos y las propiedades de la función primorial, acotan $\omega_{pf}(P_{m_X})$ mediante $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$.
5. Análisis Asintótico: Combinando estas estimaciones, se muestra que el conteo de primos no regulares está acotado por $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$. Dado que $\alpha > 1/2$, el exponente $2\alpha > 1$, lo que asegura que la densidad de los primos no regulares tiende a cero cuando $X \to \infty$.

Contribuciones Clave y Resultados
El artículo establece el siguiente resultado principal:

• Teorema 1.1: Para cualquier $\alpha > 1/2$ fijo, el conjunto de primos $p$ que no son $M_\alpha(p)$-regulares tiene densidad asintótica cero. Específicamente, el número de tales primos hasta $X$ está acotado por $C_\alpha \frac{X}{(\log X)^{2\alpha}}$. Los autores señalan que la constante $C_\alpha$ puede elegirse independientemente de $\alpha$ (específicamente $C_\alpha = 10$).

Corolarios e Implicaciones
El artículo deriva varias consecuencias significativas de este resultado de regularidad parcial:

1. Teorema de Vandiver Parcial (Corolario 1.4): Al combinar el Teorema 1.1 con el Teorema de Herbrand–Ribet (que vincula los subespacios propios impares del grupo de clases con los números de Bernoulli) y el Principio de Reflexión de Leopoldt (que vincula los subespacios propios pares y de los impares), los autores demuestran que para un conjunto de densidad uno, los subespacios propios pares $A_p(\omega^{2k})$ de la parte $p$ del grupo de clases se anulan para todo $2k \le M_\alpha(p)$. Esto proporciona una verificación parcial de la Conjetura de Kummer–Vandiver.
2. No anulación de Funciones $L$ $p$-ádicas (Corolario 1.5): A través de la Conjetura Principal de Iwasawa (Mazur–Wiles), la anulación de los subespacios algebraicos implica que las funciones $L$ $p$-ádicas de Kubota–Leopoldt asociadas $L_p(s, \omega^{2k})$ son unidades en el álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$. En consecuencia, para casi todos los primos, estas funciones no tienen ceros en $\mathbb{Z}_p$.
3. Congruencias y Teoría K (Corolario 1.7): El resultado implica que para casi todos los primos:
   • Se cumplen congruencias de sumas de potencias específicas que involucran números de Bernoulli módulo $p^2$.
   • No existen congruencias entre formas Hecke eigenformas cuspidales normalizadas de nivel 1 y peso $2k$ y series de Eisenstein módulo $p$ para pesos pequeños.
   • Los grupos K algebraicos $K_{4k-2}(\mathbb{Z})$ no tienen torsión $p$ para estos pesos.

Significancia y Verificación
El artículo destaca dos aspectos principales de su significancia:

1. Resultado Matemático: Proporciona una prueba rigurosa de que "casi todos" los primos satisfacen una forma fuerte de regularidad parcial, extendiendo la comprensión de la distribución de los primos irregulares y ofreciendo una resolución parcial a la Conjetura de Vandiver en un rango específico.
2. Formalización e IA: El artículo sirve como un caso de estudio para AxiomProver, una herramienta de IA en desarrollo. Los autores afirman que el Teorema 1.1 fue probado y totalmente formalizado en Lean/Mathlib (versión 4.26.0) por AxiomProver partiendo únicamente de una declaración en lenguaje natural de la conjetura, sin asistencia humana en la generación de la prueba. Los autores humanos reconstruyeron la exposición narrativa basada en la prueba formal. El código y los artefactos están disponibles públicamente en el repositorio AxiomMath.

Los autores enfatizan que la IA no reprobó teoremas externos profundos (como Herbrand–Ribet o la Conjetura Principal), sino que derivó autónomamente la estimación analítica específica requerida para el Teorema 1.1, incluyendo una derivación independiente de una cota relacionada con el teorema de von Staudt–Clausen.