Divisibility of the coefficients of modular polynomials

Sintesi Tecnica: Divisibilità dei Coefficienti dei Polinomi Modulari

Enunciato del Problema
Il saggio investiga le proprietà aritmetiche del classico polinomio modulare $\Phi_N(X, Y) \in \mathbb{Z}[X, Y]$, che si annulla per coppie di invarianti $j$ di curve ellittiche collegate da un isogenia ciclica di grado $N$. Sebbene i coefficienti di $\Phi_N(X, Y)$ siano noti per essere estremamente grandi, essi esibiscono una significativa divisibilità per piccoli numeri primi. Il problema centrale affrontato è l'instaurazione di cenni inferiori precisi sulle valutazioni $p$-adiche di questi coefficienti, in particolare quando il polinomio è traslato da moduli singolari (numeri algebrici $J$ corrispondenti a curve ellittiche con Moltiplicazione Complessa). Nello specifico, l'autore studia i coefficienti di $\Phi_N(X+J, Y+J)$ dove $J$ è un modulo singolare razionale, concentrandosi sul caso $J=0$ e altri valori in cui la curva ellittica sottostante presenta una riduzione supersingolare in un primo $p$.

Metodologia
L'autore impiega una combinazione di teoria della deformazione, formule esplicite di isogenia e tecniche di interpolazione polinomiale:

1. Teoria della Deformazione e Riduzione Supersingolare: La strategia centrale consiste nel costruire famiglie di curve ellittiche $E_k$ su un campo completo valorizzato $K$ che si riducano a una curva fissa $E$ modulo un'alta potenza dell'uniformizzatore $\pi$. In base alla Proposizione 3.6, utilizzando il teorema di lifting di Serre-Tate, l'autore costruisce infinitamente molte curve $E_k$ che sono pairwise non isomorfe modulo $\pi^{M+1}$ ma isomorfe modulo $\pi^M$. Ciò permette di controllare le valutazioni delle differenze nei $j$-invarianti, $v(j(E_k) - j(E_l))$.
2. Analisi della Valutazione delle Isogenie: Il saggio analizza la riduzione delle isogenie cicliche di grado $N$. Quando la curva ridotta è supersingolare, l'anello degli endomorfismi è un ordine massimale in un'algebra quaternionica. Il numero di isogenie cicliche che si riducono in endomorfismi, indicato con $C_J(N, \pi)$, è calcolato esplicitamente utilizzando serie theta associate a questi ordini quaternionici (Proposizione 2.3).
3. Interpolazione Polinomiale: Per trasferire i limiti di valutazione dai casi specifici di valutazione del polinomio ai suoi coefficienti, l'autore utilizza un lemma di interpolazione generalizzato (Lemma 3.3). Valutando $\Phi_N(X+J_1, Y+J_2)$ in punti $y_k = j(E_k) - J_2$ con valutazioni controllate, e applicando la simmetria delle radici, si derivano cenni inferiori sui coefficienti $a_{i,j}$ (Proposizione 3.4).
4. Formule Esplicite (Formule di Vélu): Per i casi specifici in cui la caratteristica residua $p$ è 2 o 3, l'autore utilizza le formule esplicite di Vélu per le isogenie al fine di calcolare direttamente la valutazione della differenza $j(E') - j(E)$. Ciò porta alla definizione di una costante $n_v$ (Teorema 3.2) che dipende da $N \pmod 4$ (per $p=2$) o $N \pmod 6$ (per $p=3$).

Contributi Chiave e Risultati

• Teorema 1.1 (Il Caso $J=0$): Il saggio stabilisce cenni inferiori per la valutazione $p$-adica $v_p(a_{i,j})$ dei coefficienti di $\Phi_N(X, Y)$ quando $N$ non è divisibile per $p$.

  • Per $p=2$ (se $2 \nmid N$): $v_2(a_{i,j}) \ge 15(\psi(N) - i - j)$.
  • Per $p=3$ (se $3 \nmid N$): $v_3(a_{i,j}) \ge 3(\psi(N) - i - j)$, con un limite più forte di $\lceil \frac{9}{2}(\psi(N) - i - j) \rceil$ se $N \equiv 1 \pmod 3$.
  • Per $p=5$ (se $5 \nmid N$): $v_5(a_{i,j}) \ge 3(\psi(N) - i - j)$.
  • Per $p \ge 11$ con $p \equiv 2 \pmod 3$: $v_p(a_{i,j}) \ge 3(C_0(N, p) - i - j)$, dove $C_0(N, p)$ è l'ordine di annullamento di $\Phi_N(X, 0)$ modulo $p$.
  • Questi risultati confermano e generalizzano le congetture di Wang [26].

• Teorema 1.2 (Moduli Singolari Generali): I risultati sono estesi a $\Phi_N(X+J, Y+J)$ dove $J$ è un modulo singolare razionale (corrispondente a una curva ellittica con CM da un ordine di numero di classe 1).

  • Il limite assume la forma $v_p(a_{i,j}) \ge n_p(C_J(N, p) - i - j)$.
  • La costante $n_p$ dipende dal numero primo $p$ e dal fatto che $p$ divida $J$ o $J-1728$. Ad esempio, se $p|J$ e $p=2$, $n_p=15$; se $p|J$ e $p=3$, $n_p=6$.
  • Il saggio fornisce una tabella di "valutazioni eccezionali" per specifici discriminanti (es. $D=-12, -27$) dove la formula generale per $n_p$ richiede un aggiustamento basato su $N \pmod 3$ o $N \pmod 6$.

• Ottimalità: L'autore osserva che i calcoli suggeriscono che i limiti derivati per $n_p$ siano ottimali, eccetto per i casi specifici $D=-12$ e $D=-27$, dove i valori reali sono congetturati essere leggermente superiori per certe classi di congruenza di $N$.

Significato e Applicazioni
Il saggio rivendica importanza nelle seguenti aree:

1. Teoria Numerica Computazionale: I risultati forniscono limiti più stretti sulla dimensione dei singoli coefficienti dei polinomi modulari. Ciò è direttamente applicabile agli algoritmi basati sul Teorema Cinese del Resto (CRT) per il calcolo di $\Phi_N(X, Y)$, potenzialmente riducendo il numero di primi necessari per la ricostruzione.
2. Archiviazione Dati: Memorizzando solo i fattori dei coefficienti non previsti da questi teoremi di divisibilità, è possibile ottenere risparmi significativi di spazio. L'autore cita una riduzione del 43% delle cifre decimali per $N=5$ e del 12% per $N=101$.
3. Verifica: Le condizioni di divisibilità fungono da "rapido controllo di coerenza" per i calcoli dei polinomi modulari per $N$ grandi.
4. Contesto Teorico: Il lavoro è inquadrato come una variazione sul tema delle differenze di moduli singolari avviato da Gross e Zagier, estendendo la comprensione di come la riduzione supersingolare influenzi l'aritmetica dei polinomi modulari.

L'autore dichiara esplicitamente che i risultati derivano dallo studio dei tipi di riduzione delle curve ellittiche e non propone nuovi algoritmi sperimentali o implicazioni future oltre alle immediate applicazioni computazionali e teoriche menzionate.