Almost all primes are partially regular

Sintesi Tecnica: "Quasi tutti i numeri primi sono parzialmente regolari"

Enunciato del Problema
Il saggio affronta la distribuzione delle irregolarità nell'aritmetica dei campi ciclotomici. Per un numero primo dispari $p$, sia $K_p = \mathbb{Q}(\zeta_p)$ il campo ciclotomico $p$-esimo e $Cl(K_p)$ il suo gruppo di classi degli ideali. Un numero primo $p$ è classicamente definito regolare se $p$ non divide il numero di classi $|Cl(K_p)|$, una condizione equivalente al fatto che $p$ non divida il numeratore di alcun numero di Bernoulli $B_{2k}$ per $2 \le 2k \le p-3$. Sebbene si sappia che esistono numeri primi irregolari (Jensen), la loro densità è congetturata essere approssimativamente $1 - e^{-1/2}$.

Gli autori investigano una nozione più debole denominata regolarità parziale. Un numero primo dispari $p$ è definito $m$-regolare se $p \nmid \text{num}(B_{2k})$ per tutti gli interi pari $2k$ nell'intervallo $2 \le 2k \le \min(m, p-3)$. La questione centrale è se un sottoinsieme di densità "uno" di numeri primi soddisfi la regolarità parziale per un intervallo specifico $M_\alpha(p)$ che cresce con $p$, ovvero $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ per $\alpha > 1/2$.

Metodologia
La dimostrazione del teorema principale si basa su tecniche di teoria analitica dei numeri riguardanti la crescita dei numeratori dei numeri di Bernoulli e la distribuzione dei divisori primi. La metodologia procede come segue:

1. Riduzione a un Intervallo Uniforme: Gli autori definiscono un limite uniforme $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ per i numeri primi $p \le X$. Dimostrano che se un numero primo $p \le X$ non è $M_\alpha(p)$-regolare, deve anche non essere $m_X$-regolare (per $X$ sufficientemente grande).
2. Limitazione dei Numeri Primi Irregolari: Utilizzando il Lemma 2.1, il numero di numeri primi $p \le X$ che non sono $m_X$-regolari è limitato da $\omega_{pf}(P_{m_X})$, dove $P_{m_X}$ è il prodotto dei numeratori dei numeri di Bernoulli $B_{2k}$ per $1 \le k \le m_X$ e $\omega_{pf}(n)$ indica il numero di fattori primi distinti di $n$.
3. Stima dei Numeratori di Bernoulli: Gli autori derivano un limite superiore per $\log |P_m|$ utilizzando la formula di Eulero per $\zeta(2k)$ e il teorema di von Staudt–Clausen. Stabiliscono che $\log P_m \le C_2 m^2 \log m$.
4. Conteggio dei Fattori Primi: Applicando il Teorema dei Numeri Primi e le proprietà della funzione primoriale, limitano $\omega_{pf}(P_{m_X})$ tramite $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$.
5. Analisi Asintotica: Combinando queste stime, il conteggio dei numeri primi non regolari è mostrato essere limitato da $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$. Poiché $\alpha > 1/2$, l'esponente $2\alpha > 1$, garantendo che la densità dei numeri primi non regolari tenda a zero quando $X \to \infty$.

Contributi Chiave e Risultati
Il saggio stabilisce il seguente risultato principale:

• Teorema 1.1: Per ogni $\alpha > 1/2$ fissato, l'insieme dei numeri primi $p$ che non sono $M_\alpha(p)$-regolari ha densità asintotica zero. Nello specifico, il numero di tali numeri primi fino a $X$ è limitato da $C_\alpha \frac{X}{(\log X)^{2\alpha}}$. Gli autori notano che la costante $C_\alpha$ può essere scelta indipendentemente da $\alpha$ (specificamente $C_\alpha = 10$).

Corollari e Implicazioni
Il saggio deriva diverse conseguenze significative da questo risultato di regolarità parziale:

1. Teorema Parziale di Vandiver (Corollario 1.4): Combinando il Teorema 1.1 con il Teorema di Herbrand–Ribet (che collega gli eigenspazi dispari del gruppo di classi ai numeri di Bernoulli) e il Principio di Riflessione di Leopoldt (che collega gli eigenspazi pari e dispari), gli autori dimostrano che per un insieme di densità uno, gli eigenspazi pari $A_p(\omega^{2k})$ della parte $p$ del gruppo di classi si annullano per tutti i $2k \le M_\alpha(p)$. Ciò fornisce una verifica parziale della Congettura di Kummer–Vandiver.
2. Non-annullamento delle Funzioni $L$ $p$-adiche (Corollario 1.5): Attraverso la Congettura Principale di Iwasawa (Mazur–Wiles), l'annullamento degli eigenspazi algebrici implica che le associate funzioni $L$ $p$-adiche di Kubota–Leopoldt $L_p(s, \omega^{2k})$ sono unità nell'algebra di Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$. Di conseguenza, per quasi tutti i numeri primi, queste funzioni non hanno zeri in $\mathbb{Z}_p$.
3. Congruenze e K-Teoria (Corollario 1.7): Il risultato implica che per quasi tutti i numeri primi:
   • Si verificano specifiche congruenze di somme di potenze coinvolgenti i numeri di Bernoulli modulo $p^2$.
   • Non vi sono congruenze tra forme Hecke eigenform cuspidali normalizzate di livello 1 e peso $2k$ e serie di Eisenstein modulo $p$ per pesi piccoli.
   • I gruppi K algebrici $K_{4k-2}(\mathbb{Z})$ non hanno $p$-torsione per questi pesi.

Significatività e Verifica
Il saggio evidenzia due aspetti primari della sua significatività:

1. Risultato Matematico: Fornisce una prova rigorosa che "quasi tutti" i numeri primi soddisfano una forma forte di regolarità parziale, estendendo la comprensione della distribuzione dei numeri primi irregolari e offrendo una risoluzione parziale della Congettura di Vandiver in un intervallo specifico.
2. Formalizzazione e AI: Il saggio funge da caso di studio per AxiomProver, uno strumento di IA in fase di sviluppo. Gli autori dichiarano che il Teorema 1.1 è stato dimostrato e pienamente formalizzato in Lean/Mathlib (versione 4.26.0) da AxiomProver partendo esclusivamente da un'enunciazione in linguaggio naturale della congettura, senza assistenza umana nella generazione della prova. Gli autori umani hanno poi ricostruito l'esposizione narrativa basandosi sulla prova formale. Il codice e gli artefatti sono pubblicamente disponibili nel repository AxiomMath.

Gli autori sottolineano che l'IA non ha riprovato teoremi esterni profondi (come Herbrand–Ribet o la Congettura Principale) ma ha derivato autonomamente la specifica stima analitica richiesta per il Teorema 1.1, inclusa una derivazione indipendente di un limite relativo al teorema di von Staudt–Clausen.