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

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Título: ABC IMPLICA QUE LA FUNCIÓN TAU DE RAMANUJAN OMITE CASI TODOS LOS NÚMEROS PRIMOS

Autores: David Kurniadi Angdinata, Evan Chen, Chris Cummins, et al. (incluyendo a Ken Ono).
Fecha: 1 de abril de 2026 (Nota: El documento incluye una fecha futura y un contexto de investigación asistida por IA).

---

1. El Problema

El artículo aborda la distribución de los valores primos en la imagen de la función tau de Ramanujan, denotada como $\tau(n)$, que son los coeficientes de Fourier de la forma modular discriminante $\Delta(z)$ de peso 12.

• Conjetura de Lehmer: Postula que $\tau(n) \neq 0$ para todo $n \geq 1$.
• Conjetura Popular (Folklore): Sugiere que existen infinitos números primos que aparecen como valores absolutos de $\tau(n)$ (es decir, $|\tau(n)| = \ell$ para algún primo $\ell$).
• Trabajo Previo: Xiong demostró recientemente que el conjunto de tales primos tiene una densidad superior acotada por $2/11$ en ciertas clases de residuos módulo 23.
• Objetivo del Artículo: Determinar si, bajo la Conjetura abc de Masser y Oesterlé, la función $\tau(n)$ puede tomar valores primos con una frecuencia significativa o si, por el contrario, "omite" la casi totalidad de los números primos.

2. Metodología

La investigación combina teoría de números analítica, propiedades de formas modulares y una verificación formal automatizada.

A. Reducción a Curvas Hiperebólicas

Los autores utilizan relaciones de Hecke y la multiplicatividad de $\tau(n)$ para reducir el problema de encontrar primos en la imagen de $\tau$ al estudio de puntos enteros en curvas específicas:

1. Caso de exponentes pares: Se demuestra que si $|\tau(n)|$ es un primo impar, entonces $n$ debe ser una potencia de un primo par ($n=p^{2m}$).
2. Transformación a Curvas:
   • Para $m=1$ (exponente 2), la ecuación $\tau(p^2) = \pm \ell$ se transforma en puntos enteros en curvas hiperebólicas de la forma $y^2 = x^{11} \pm \ell$.
   • Para $m=2$ (exponente 4), se transforma en curvas de la forma $u^2 = 5x^{22} \pm 4\ell$.
3. Conteo de Puntos: El problema se reduce a estimar el número de primos $\ell \leq X$ para los cuales estas curvas tienen puntos enteros. Esto se expresa mediante funciones de conteo $E_2(X)$ y $E_4(X)$.

B. Aplicación de la Conjetura abc

El núcleo del argumento utiliza la Conjetura abc para acotar el número de soluciones enteras a estas ecuaciones diofánticas.

• Se reformulan las ecuaciones como $a + b = c$ donde $a, b, c$ son enteros coprimos relacionados con las potencias de primos y los valores de $\tau$.
• Aplicando la desigualdad $|c| \leq C_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$, los autores demuestran que el número de tales puntos enteros crece mucho más lentamente que lo que permitiría una distribución densa de primos.

C. Verificación Automatizada (AxiomProver)

Un aspecto distintivo de este trabajo es el uso de AxiomProver, un sistema de IA, para formalizar y verificar las pruebas en el asistente de pruebas Lean 4 (con la biblioteca Mathlib).

• Los autores proporcionaron al sistema las declaraciones informales y las hipótesis (Conjetura abc y resultados previos de Xiong).
• AxiomProver generó automáticamente las pruebas formales en Lean, las cuales luego fueron traducidas a la narrativa matemática estándar presentada en el artículo.

3. Contribuciones Clave

1. Nuevo Límite Superior: Bajo la Conjetura abc, se establece que el número de primos $\ell \leq X$ tales que $|\tau(n)| = \ell$ para algún $n$, denotado como $S(X)$, satisface:
   $$S(X) = O\left(\frac{X^{9/10} \log X}{1}\right)$$
   Esto mejora significativamente el límite anterior de densidad $2/11$.
2. Densidad Cero: Dado que la función de conteo de primos $\pi(X) \sim X/\log X$, el resultado implica que:
   $$\lim_{X \to \infty} \frac{S(X)}{\pi(X)} = 0$$
   Es decir, la función tau de Ramanujan omite un subconjunto de densidad 1 de los números primos.
3. Generalización: El resultado se extiende a los coeficientes de cualquier forma propia de Hecke normalizada con coeficientes enteros en $SL_2(\mathbb{Z})$.
4. Validación por IA: Demostración exitosa de que un sistema de IA puede derivar y formalizar pruebas matemáticas complejas que involucran conjeturas profundas como la abc.

4. Resultados Principales

• Teorema 1: Asumiendo la Conjetura abc, $S(X) = O(X^{9/10} \log X)$.
• Consecuencia: Aunque existen valores primos conocidos (ej. $\tau(2512)$ es un primo negativo gigante), estos son extremadamente raros en comparación con el conjunto total de primos.
• Heurística de Infinitud: A pesar de la densidad cero, los autores proponen una heurística basada en la Conjetura de Sato-Tate que sugiere que $S(X)$ sigue siendo infinito, pero con un orden de magnitud mucho menor:
  $$S(X) \asymp \frac{C X^{1/11}}{(\log X)^2}$$
  Esto indica que, aunque hay infinitos primos en la imagen, la densidad decrece tan rápido que la función "omite" casi todos los primos.

5. Significado e Impacto

• En Teoría de Números: El trabajo proporciona una comprensión más profunda de la estructura aritmética de las formas modulares, vinculando la distribución de sus valores con la Conjetura abc, una de las hipótesis más importantes de la teoría de números.
• En la Práctica Matemática: El artículo sirve como un hito en la investigación asistida por IA. Muestra que los sistemas de IA no solo pueden verificar pruebas, sino también generar nuevas demostraciones formales a partir de declaraciones naturales, actuando como un "motor" de descubrimiento matemático.
• Resolución Condicional: Resuelve condicionalmente la pregunta sobre la densidad de los valores primos de $\tau(n)$, desplazando el consenso de "densidad baja" a "densidad cero", lo que refuerza la idea de que los valores de $\tau(n)$ son muy restrictivos.

En resumen, el artículo demuestra que, bajo la Conjetura abc, la función tau de Ramanujan es extremadamente "pobre" en valores primos, omitiendo la inmensa mayoría de ellos, y valida este resultado mediante una colaboración innovadora entre matemáticos humanos y algoritmos de inteligencia artificial.