Congruences for traces of singular moduli and Hurwitz - Kronecker class numbers

1. Problema e Contesto

Il lavoro si concentra sulle congruenze per le tracce dei moduli singolari, indicati come $B(D, d)$. Questi numeri interi, introdotti e studiati da Zagier nel 1998, rappresentano un ponte fondamentale tra la teoria dei numeri e la teoria delle forme modulari:

• Sono le tracce (o valori) di una funzione modulare (l'invariante $j$) su punti di ordine finito (moduli singolari).
• Sono i coefficienti di Fourier di forme modulari di peso $3/2$.

Il problema centrale affrontato è la comprensione delle congruenze che questi numeri soddisfano rispetto a potenze di numeri primi $p$. In particolare, l'autore indaga come le proprietà di non-annullamento dei valori centrali delle funzioni $L$ associate a curve ellittiche (congetture di Birch e Swinnerton-Dyer) si relazionino a congruenze tra le tracce dei moduli singolari e i numeri di classe di Hurwitz-Kronecker $H(d)$.

Mentre risultati precedenti (come quelli di Ahlgren-Ono, Edixhoven e Bruinier-Ono) avevano stabilito congruenze per certi primi e discriminanti, spesso mancava una spiegazione unificata o una quantificazione precisa della velocità di convergenza per primi piccoli (es. $p=3, 5, 7, 11, 13$).

2. Metodologia

L'approccio di Guerzhoy si distingue per l'uso di una prospettiva basata sulle forme modulari di peso semi-intero e l'azione iterata dell'operatore $U$ (operatore di Atkin-Lehner o operatore di traccia).

I pilastri metodologici includono:

1. Spazio di Kohnen e Sottospazi: L'autore lavora nello spazio delle forme modulari di peso $3/2$ su $\Gamma_0(4)$ che soddisfano la condizione "plus" di Kohnen. Introduce una suddivisione di questo spazio in sottospazi $\mathfrak{M}^+$ e $\mathfrak{M}^-$ basati sul simbolo di Legendre $\left(\frac{-n}{p}\right)$.
2. Operatore $U$ e Limiti $p$-adici: Lo studio si basa sull'azione ripetuta dell'operatore $U_p$ (che mappa $\sum a(n)q^n$ a $\sum a(pn)q^n$) sulle forme modulari $g_D$ (generatrici delle tracce $B(D, d)$). L'autore dimostra l'esistenza di limiti $p$-adici di queste forme sotto l'azione iterata di $U^{2n}$.
3. Serie di Eisenstein Modificate: Viene costruita una serie di Eisenstein di peso $3/2$, denotata $\tilde{H}$, su $\Gamma_0(4p)$. Questa serie è una modifica della serie di Eisenstein non olomorfa di Zagier, costruita in modo da essere una forma modulare olomorfa che appartiene al sottospazio $\mathfrak{M}^-$ e soddisfa $\tilde{H}|U^2 = \tilde{H}$. I suoi coefficienti sono combinazioni lineari dei numeri di classe $H(d)$.
4. Teoria delle Forme Modulari Sovraconvergenti: La dimostrazione dei teoremi principali fa ricorso alla teoria delle forme modulari di peso semi-intero sovraconvergenti sviluppata da Ramsey. Questo permette di analizzare lo spettro dell'operatore $U$ su spazi di Banach e di determinare la velocità di convergenza dei limiti.

3. Contributi Chiave e Risultati Principali

Il paper presenta tre teoremi fondamentali che generalizzano e quantificano risultati noti:

Teorema 1: Congruenze per la curva $X_0(11)$

Per il primo $p=11$, l'autore stabilisce una relazione diretta tra l'annullamento del valore centrale $L(E_{-d}, 1)$ (dove $E \simeq X_0(11)$) e le tracce dei moduli singolari.

• Se $\left(\frac{-d}{11}\right) = -1$ e $L(E_{-d}, 1) = 0$, allora:
  $$H(d) \equiv 6 B(d) \pmod{11}$$
  Dove $B(d) = B(1, d)$.
• Più in generale, viene mostrato che $L(E_{-d}, 1) = 0$ se e solo se il limite $p$-adico delle tracce è proporzionale al coefficiente della serie di Eisenstein modificata $\tilde{H}$.

Teorema 2: Esistenza e Struttura dei Limiti $p$-adici

Questo è il risultato generale che unifica le congruenze. Per un primo $p \ge 3$ e un discriminante $D$, il limite $p$-adico:
$$\tilde{g}_D = \lim_{n \to \infty} (-1)^n \epsilon^{(\epsilon+1)/2} g_D | U^{2n}$$
esiste.

• Se $D$ non è un quadrato perfetto e $\epsilon \neq 0$, il limite appartiene allo spazio delle forme cuspidali $S_p^\epsilon$.
• Se $D$ è un quadrato perfetto, il limite è legato alla serie di Eisenstein $\tilde{H}$ e appartiene a $S_p^-$.
• Questo teorema spiega perché, in certi casi, le congruenze coinvolgono i numeri di classe (quando il limite è non nullo e legato a $\tilde{H}$) e in altri casi sono zero.

Teorema 3: Quantificazione della Velocità di Convergenza

Il paper fornisce una spiegazione quantitativa per le osservazioni numeriche riguardanti la "maggiore velocità di convergenza" per piccoli primi.

• Viene definito un intero $s$ (dipendente da $p$: $s=3$ per $p=3$, $s=2$ per $p=5,7,11$, $s=1$ per $p=13$).
• Si dimostra che l'ordine $p$-adico della differenza tra la forma iterata e il suo limite cresce linearmente:
  $$\text{ord}_p(\tilde{g}_D - g_D | U^{2n}) = O(sn)$$
• Questo spiega, ad esempio, perché per $p=3$ si osservano congruenze modulo $3^{3n+3}$ invece di semplici potenze di 3, risolvendo una domanda aperta di Ken Ono.

4. Significato e Impatto

1. Unificazione Teorica: Il lavoro offre un quadro unificato per comprendere congruenze apparentemente disparate (quelle di tipo Ahlgren-Ono e quelle di tipo Bruinier-Ono) come conseguenze dell'azione dell'operatore $U$ su forme modulari di peso $3/2$ e della loro proiezione sui sottospazi di Kohnen.
2. Nuova Prospettiva sulle Congruenze: Sposta il focus dalla combinatoria delle operatori di Hecke o dalla teoria geometrica dei moduli (approcci precedenti) all'analisi $p$-adica delle forme modulari, permettendo di trattare casi che i metodi precedenti non generalizzavano facilmente.
3. Connessione con le Curve Ellittiche: Fornisce una spiegazione tecnica precisa per le congruenze tra le tracce dei moduli singolari e i numeri di classe nel contesto dell'annullamento dei valori $L$ per curve ellittiche di conduttore piccolo (es. 11), collegando direttamente la teoria delle forme modulari di peso $3/2$ alla congettura di Birch e Swinnerton-Dyer.
4. Risposta a Domande Aperte: Risponde alla richiesta di Ken Ono di spiegare perché i moduli di congruenza per piccoli primi sono più grandi del previsto, quantificando esattamente il tasso di convergenza attraverso lo spettro dell'operatore $U$ nello spazio delle forme sovraconvergenti.

In sintesi, Guerzhoy dimostra che le congruenze per le tracce dei moduli singolari non sono fenomeni isolati, ma emergono naturalmente dalla struttura degli spazi di forme modulari di peso $3/2$ sotto l'azione $p$-adica, fornendo strumenti potenti per calcolare e prevedere tali congruenze per una vasta gamma di primi e discriminanti.