A full $p^{4r}$ supercongruence tower for a level-three symmetric-cube hypergeometric sequence

Sintesi Tecnica: Una torre di supercongruenze completa $p^{4r}$ per una sequenza ipergeometrica di tipo cubo simmetrico di livello tre

Enunciato del Problema
Il saggio affronta le proprietà aritmetiche dei coefficienti $A_n$ nell'espansione del cubo di una specifica serie ipergeometrica:
$$\left[ {}_2F_1\left(\frac{1}{3}, \frac{1}{3}; 1; 27z\right) \right]^3 = \sum_{n \ge 0} A_n z^n.$$
Sebbene la sequenza $A_n$ e la sua parametrizzazione modulare sulla curva modulare $X_0(3)$ fossero già note (nello specifico tramite il lavoro di Moy), il saggio mira a stabilire una "torre di supercongruenze completa per potenze di primo ordine" ($p^{4r}$). Nello specifico, mira a dimostrare che per ogni primo $p \ge 5$ e interi $m, r \ge 1$, i coefficienti soddisfano la congruenza:
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
Risultati precedenti avevano stabilito questa congruenza solo per il caso $r=1$ (modulo $p^4$) o per congruenze ordinarie modulo $p^r$. La sfida consiste nell'estendere il modulo da $p^4$ a $p^{4r}$ per tutte le potenze di primo $r \ge 1$.

Metodologia
La dimostrazione è interamente modulare e si basa sulla teoria delle forme modulari, degli operatori di Hecke e della geometria della curva $X_0(3)$. La metodologia procede attraverso i seguenti passaggi:

1. Parametrizzazione Modulare: L'autore definisce $B_n = (-1)^n A_n$ e realizza la funzione generatrice $\sum B_n t^n$ come una forma modulare $\Theta(\tau) = \eta(\tau)^9 / \eta(3\tau)^3$ su $X_0(3)$, dove $t(\tau) = \eta(3\tau)^{12} / \eta(\tau)^{12}$ è un Hauptmodul.
2. Derivata Logaritmica e Serie di Eisenstein: La derivata logaritmica della funzione generatrice, indicata con $C(q)$, viene identificata come la serie di Eisenstein $3E_{5, \chi_0, \chi_3}$ di peso 5 e carattere $\chi_3$.
3. Estrazione dei Coefficienti: Utilizzando la formula di Lagrange–Buermann, i coefficienti $B_m$ sono espressi come il termine costante (coefficiente di $q^0$) della serie di Laurent $C(q)/t(q)^m$.
4. Analisi del Difetto: Per dimostrare la congruenza, l'autore analizza il "difetto" tra i termini a diverse potenze di primo. Invece di iterare un operatore di Cartier a singolo primo, il saggio introduce un difetto di Cartier sparso $F_{m,s}$ e un corrispondente sollevamento di Hecke modulare $G_{m,s}$.
   • Il difetto è definito come $F_{m,s} = \Lambda_p^{s+1} f_{mp^{s+1}} - \Lambda_p^s f_{mp^s}$, dove $f_N = C/t^N$ e $\Lambda_p$ è l'operatore di Cartier.
   • Il sollevamento modulare è $G_{m,s} = T_{p^{s+1}} f_{mp^{s+1}} - T_{p^s} f_{mp^s}$, dove $T_{p^k}$ sono gli operatori di Hecke per potenze di primo.
5. Argomento Induttivo sugli Strati di Hecke: La dimostrazione procede per induzione sulla potenza di primo $s$. L'idea centrale è dimostrare che $G_{m,s}$ è divisibile per $p^{4(s+1)}$.
   • Espansione di Hecke: La Proposizione 5.1 fornisce un'espansione esplicita di $T_{p^a}$ in termini di $\Lambda_p$ e $V_p$ (l'operatore di Frobenius), mostrando che $G_{m,s}$ differisce dal difetto di Cartier sparso $F_{m,s}$ per termini divisibili per alte potenze di $p$, assumendo l'ipotesi induttiva.
   • Analisi dello Spazio Modulare: La forma $G_{m,s}$ viene mostrata appartenere allo spazio delle forme modulari debolmente ologomorfe $M_5^!(\Gamma_0(3), \chi_3)$, che è spaziato da $\{C, tC\}$.
   • Involuzione di Fricke: Un passaggio cruciale consiste nell'applicare l'involuzione di Fricke $W_3$. L'autore dimostra che $G_{m,s}|W_3$ ha un alto ordine di annullamento al culmine $\infty$ (specificamente $\ge m+1$). Ciò forza i coefficienti della "parte principale" di $G_{m,s}$ (i coefficienti di $C/t^j$ per $j < m$ e il termine $tC$) a annullarsi esattamente, mentre si dimostra che i coefficienti rimanenti sono divisibili per $p^{4(s+1)}$ tramite l'ipotesi induttiva.

Contributi Chiave

• Estensione della Profondità del Modulo: Il contributo primario è l'estensione della profondità del modulo della supercongruenza da $p^4$ (il caso di profondità uno dimostrato in un lavoro precedente dell'autore) a $p^{4r}$ per ogni $r \ge 1$.
• Difetti di Hecke per Potenze di Primo: Il saggio sostituisce il "difetto di Hecke a singolo primo" utilizzato nella letteratura precedente con un "difetto per potenze di primo". Ciò permette di iterare la dimostrazione della congruenza per potenze di primo arbitrarie.
• Difetti di Cartier Sparsi: L'introduzione del difetto di Cartier sparso $F_{m,s}$ funge da ponte tra le forme modulari e i coefficienti aritmetici, isolando i termini specifici che controllano la congruenza.
• Annullamento Esatto tramite l'Involuzione di Fricke: La dimostrazione utilizza l'involuzione di Fricke sullo spazio bidimensionale $M_5(\Gamma_0(3), \chi_3)$ per eliminare esattamente i termini di basso ordine, una tecnica che rafforza il risultato oltre quanto le sole congruenze differenziali formali potrebbero ottenere.

Risultati
Il saggio dimostra il Teorema 1.1: Per ogni primo $p \ge 5$ e tutti gli interi $m, r \ge 1$,
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
Questo risultato conferma che la sequenza $A_n$ soddisfa una "torre di supercongruenze $p^{4r}$ completa". La dimostrazione stabilisce che la differenza tra i coefficienti agli indici $mp^r$ e $mp^{r-1}$ è divisibile per $p^{4r}$.

Significato e Rivendicazioni
Il saggio dichiara esplicitamente che la sequenza $A_n$, la parametrizzazione modulare che coinvolge gli s-quotienti di $\eta$ e le congruenze ordinarie di livello $p^r$ erano già state registrate da Moy. La novità di questo lavoro è strettamente la stretta del modulo preservando la profondità.

• L'autore afferma che il framework ordinario di Moy produce congruenze modulo $p^r$, ma la precisione aggiuntiva di $p^{4r}$ non è prodotta dalle sole congruenze differenziali formali.
• Il risultato è ottenuto recuperando la precisione extra $p^{3r}$ attraverso la combinazione di espansioni di Hecke per potenze di primo e il calo dell'ordine di Fricke.
• Il saggio non rivendica nuove applicazioni o proposte sperimentali; il suo significato è puramente teorico, contribuendo al "dizionario di livello tre" delle supercongruenze fornendo una torre completa per questa specifica sequenza ipergeometrica di cubo simmetrico.