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

1. Il Problema

Il lavoro si concentra sulla funzione tau di Ramanujan, $\tau(n)$, definita come i coefficienti di Fourier della forma modulare discriminante $\Delta(z)$ di peso 12:
$$\Delta(z) = q \prod_{n \ge 1} (1-q^n)^{24} = \sum_{n \ge 1} \tau(n) q^n$$
dove $q = e^{2\pi i z}$.

Il contesto storico e matematico include:

• Congettura di Lehmer: $\tau(n) \neq 0$ per ogni $n \ge 1$.
• Congettura Folklore: L'immagine di $\tau$ contiene infiniti numeri primi (a meno del segno).
• Risultati Precedenti: Xiong ha dimostrato recentemente che l'insieme dei primi $p$ tali che $|\tau(n)| = p$ ha densità al massimo $2/11$ rispetto all'insieme di tutti i primi.

L'obiettivo di questo articolo è determinare quanto sia "sottile" (thin) l'insieme dei valori primi assunti da $\tau(n)$, assumendo la Congettura abc di Masser e Oesterlé.

2. Metodologia

Gli autori combinano strumenti di teoria dei numeri analitica, teoria delle forme modulari e geometria aritmetica, con un approccio innovativo di formalizzazione automatica.

A. Riduzione a Curve Iperellittiche

Il cuore della dimostrazione risiede nel collegare l'equazione $|\tau(n)| = \ell$ (dove $\ell$ è un primo) all'esistenza di punti interi su curve iperellittiche specifiche.

1. Parità e Struttura: Si utilizza il fatto che $\tau(n)$ è dispari se e solo se $n$ è un quadrato dispari. Di conseguenza, se $|\tau(n)|$ è un primo dispari, $n$ deve essere della forma $p^{2m}$.
2. Relazioni di Hecke: Attraverso le relazioni di ricorrenza di Hecke e i limiti di Deligne, l'equazione $\tau(p^{2m}) = \pm \ell$ viene trasformata in equazioni di curve iperellittiche.
   • Per $m=1$ (caso $n=p^2$): Si ottiene la curva $y^2 = x^{11} \pm \ell$.
   • Per $m=2$ (caso $n=p^4$): Si ottiene la curva $u^2 = 5x^{22} \pm 4\ell$.
3. Stime Analitiche: Il problema viene ridotto a contare il numero di punti interi $(x, y)$ su queste curve che soddisfano condizioni di dimensione specifiche (es. $x > X^{2/11}$ e $|x^{11} - y^2| \le X$).

B. Applicazione della Congettura abc

Gli autori applicano la Congettura abc per limitare il numero di soluzioni intere a queste equazioni.

• La congettura afferma che per ogni $\epsilon > 0$, esiste una costante $C_\epsilon$ tale che per interi coprimi $a, b, c$ con $a+b=c$, vale $|c| \le C_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$.
• Applicando questa disuguaglianza alle equazioni derivate dalle curve iperellittiche, gli autori dimostrano che il numero di tali punti interi cresce molto più lentamente di quanto previsto da stime naive, portando a un limite superiore molto stretto per il numero di primi nell'immagine di $\tau$.

C. Formalizzazione Automatica (AxiomProver)

Un aspetto distintivo del lavoro è l'uso di AxiomProver, un sistema di intelligenza artificiale.

• Gli autori hanno fornito a AxiomProver le dichiarazioni informali del problema e i risultati necessari dalla letteratura (inclusa la Proposizione 5.4 di Xiong).
• Il sistema ha autonomamente generato e formalizzato le dimostrazioni in Lean 4 (versione 4.26.0) utilizzando la libreria Mathlib.
• Questo processo ha verificato automaticamente la correttezza logica delle stime analitiche prima che gli autori scrivessero la versione umana del documento.

3. Risultati Chiave

Teorema Principale (Teorema 1)

Assumendo la Congettura abc, gli autori dimostrano che il numero di primi $\ell \le X$ tali che $|\tau(n)| = \ell$ per qualche $n$, indicato con $S(X)$, soddisfa il limite superiore:
$$S(X) = O\left( X^{9/10} \log X \right)$$

Implicazioni

1. Densità Zero: Poiché il numero totale di primi $\le X$ è $\pi(X) \sim X/\log X$, il rapporto $S(X)/\pi(X)$ tende a zero.
   $$\lim_{X \to \infty} \frac{S(X)}{\pi(X)} = 0$$
   Questo implica che la funzione tau di Ramanujan "manca" (non assume) quasi tutti i numeri primi. L'insieme dei primi nell'immagine di $\tau$ ha densità 1 nell'insieme dei primi mancanti.
2. Miglioramento rispetto a Xiong: Il risultato migliora il limite superiore di densità di Xiong da $2/11$ a una densità asintoticamente nulla.

Stima Euristiche (Sezione 4)

Nonostante il risultato negativo sulla densità, gli autori offrono un'argomentazione euristica (basata sulla Congettura di Sato-Tate) suggerendo che $S(X)$ sia comunque infinito, ma estremamente rado. La stima predetta è:
$$S(X) \asymp \frac{X^{1/11}}{(\log X)^2}$$
Ciò significa che i primi nell'immagine di $\tau$ esistono, ma sono estremamente scarsi.

4. Contributi e Significato

• Avanzamento Teorico: Il lavoro risolve parzialmente la questione della distribuzione dei valori primi della funzione tau, dimostrando che, sotto l'ipotesi della Congettura abc, questi valori sono eccezionali.
• Metodologia Ibrida AI-Umana: Questo è uno dei primi esempi significativi in cui un sistema di IA (AxiomProver) non solo assiste, ma genera autonomamente la parte centrale della dimostrazione (le stime analitiche) e la formalizza in un assistente di prova (Lean). Dimostra la fattibilità dell'uso dell'IA per la verifica rigorosa di risultati complessi in teoria dei numeri.
• Generalizzazione: Il Teorema 1 e la metodologia si applicano non solo a $\tau(n)$, ma a qualsiasi forma modulare cuspidale normalizzata di peso intero su $SL_2(\mathbb{Z})$ con coefficienti interi.
• Riduzione Geometrica: La trasformazione del problema aritmetico in un problema di conteggio di punti su curve iperellittiche, gestito tramite la congettura abc, rappresenta un approccio elegante e potente che potrebbe essere applicato ad altri problemi simili.

In sintesi, il documento stabilisce che, assumendo la Congettura abc, la funzione tau di Ramanujan non è "suriettiva" sui primi, mancandone la stragrande maggioranza, pur lasciando aperta la possibilità (supportata da euristiche) che ne contenga infiniti, sebbene in modo estremamente sparso. La dimostrazione è stata validata con successo tramite formalizzazione automatica in Lean.