Parity of the partition function in quadratic progressions

Sintesi Tecnica: Parità della Funzione di Partizione nelle Progressioni Quadratiche

Enunciato del Problema
La parità della funzione di partizione $p(n)$, che conta il numero di modi per scrivere un intero positivo $n$ come somma di interi positivi, rimane un problema ostinatamente aperto nella teoria delle partizioni. Sebbene le congruenze di Ramanujan abbiano stabilito regolarità modulo 5, 7 e 11, la distribuzione di $p(n)$ modulo 2 è scarsamente compresa. La congettura di Parkin–Shanks postula che $p(n)$ sia pari e dispari con densità naturale $1/2$, ma i limiti incondizionati rimangono deboli.

Un caso specifico di questa difficoltà riguarda la restrizione dell'argomento di $p(n)$ a progressioni quadratiche. Nel 2010, il primo autore ha congetturato che per ogni intero privo di quadrati $D > 1$ con $D \equiv 23 \pmod{24}$, la sequenza
$$p\left(\frac{Dm^2 + 1}{24}\right)$$
contenga infiniti termini pari e infiniti termini dispari al variare di $m$ tra gli interi positivi coprimi con 6. Prima di questo lavoro, non si sapeva essenzialmente nulla per polinomi di grado $\ge 2$.

Metodologia e Idee Chiave
Gli autori risolvono questa congettura introducendo un quadro geometrico che connette l'aritmetica della funzione di partizione alla geometria delle curve modulari e dei punti CM. La metodologia procede attraverso tre fasi principali:

1. Funzioni Mock Theta e Prodotti di Borcherds:
   Gli autori utilizzano il fatto che la funzione mock theta di terzo ordine di Ramanujan $f(q)$ codifica $p(n)$ modulo 4. Nello specifico, la funzione generatrice $P(q) = \sum p(n)q^n$ soddisfa $P(q) \equiv f(q) \pmod 4$. Costruiscono una forma modulare meromorfa di peso 0, $\Psi_D$, per $\Gamma_0(6)$, utilizzando il lifting di Borcherds torcuto di Bruinier e del primo autore. Il divisore di $\Psi_D$ consiste in due pacchetti di punti CM su $X_0(6)$ con discriminante $-D$. La derivata logaritmica di questo prodotto, denotata $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$, è una differenziale meromorfa di peso 2.

2. Analisi Geometrica in Caratteristica 2:
   L'innovazione centrale è l'analisi di $\omega_D$ in caratteristica 2. Gli autori stabiliscono che:

• I due pacchetti di punti CM nel divisore di $\Psi_D$ condividono una "2-orientazione" comune (nello specifico, i loro sottogruppi di livello di ordine 2 corrispondono allo stesso primo $\mathfrak{p}_2$ sopra 2 nel campo CM $K = \mathbb{Q}(\sqrt{-D})$).
• A causa della rigidità dei sollevamenti canonici (teoria di Serre–Tate), i distinti punti CM con questa orientazione comune rimangono distinti dopo la riduzione modulo 2.
• I residui di $\omega_D$ in questi punti CM sono unità 2-adiche. Di conseguenza, i poli semplici di $\omega_D$ sopravvivono alla riduzione modulo 2 sulla componente ordinaria $C_\infty$ della fibra speciale di $X_0(6)$.

3. Confronto con le Serie di Eisenstein:
   L'espansione in serie di Fourier di $\omega_D$ in un cuspide $\infty$ è una serie di Lambert che codifica le parità dei valori di partizione in questione. Gli autori confrontano questa espansione con una serie di Eisenstein olomorfa di peso 2 $E_D$ costruita per corrispondere allo scenario "tutti dispari".

• Se tutti i valori di partizione fossero pari, la riduzione di $\omega_D$ vanirebbe identicamente, contraddicendo la sopravvivenza dei poli CM.
• Se tutti i valori di partizione fossero dispari, la riduzione di $\omega_D$ sarebbe congruente alla riduzione di $E_D$. Tuttavia, $E_D$ è olomorfa (regolare) nei punti CM, mentre la riduzione di $\omega_D$ mantiene poli semplici in essi. Questa contraddizione esclude la parità dispari costante.

Risultati Chiave
Il saggio dimostra quanto segue:

• Teorema 1: Per ogni intero privo di quadrati $D > 1$ con $D \equiv 23 \pmod{24}$, i valori di $p\left(\frac{Dm^2 + 1}{24}\right)$ per $(m, 6)=1$ includono infiniti termini pari e infiniti termini dispari.

  • Inoltre, il saggio fornisce limiti effettivi per la prima occorrenza di ciascuna parità in termini del numero di classe $h(-D)$:
    $$m_{\text{dispari}} \le 12h(-D) + 2$$
    $$m_{\text{pari}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$$

• Teorema 2: Viene stabilito un criterio di non costanza generalizzato per le sequenze derivanti da prodotti di Borcherds torcuti generalizzati. Questo teorema isola gli input geometrici necessari (integralità della differenziale, esistenza di poli CM semplici con residui unitari, ed esistenza di una forma modulare olomorfa corrispondente) richiesti per dimostrare che una sequenza non è costante modulo 2.

Significato e Rivendicazioni
Il saggio sostiene di risolvere una specifica congettura di lunga data riguardante la parità della funzione di partizione nelle progressioni quadratiche, un caso per il quale i metodi precedenti non avevano prodotto alcun risultato. Il significato risiede nella natura "geometrica" della dimostrazione:

• Essa rincasella un problema combinatorio sui coefficienti di partizione in un problema sul comportamento dei poli delle differenziali modulari in caratteristica 2.
• Dimostra che la "sopravvivenza" dei poli CM sotto riduzione modulo 2, combinata con l'unicità dei sollevamenti canonici, fornisce un meccanismo robusto per escludere schemi di parità costanti.
• Gli autori osservano che, mentre l'argomento geometrico (Teorema 2) stabilisce la non costanza (ovvero esclude "tutti pari" o "tutti dispari"), il passaggio da "una occorrenza" a "infiniti" si basa su separati risultati di propagazione aritmetica che coinvolgono le algebre di Hecke e le rappresentazioni di Galois (specificamente, la nilpotenza locale di certi operatori di Hecke); pertanto, il saggio non afferma che il metodo geometrico da solo fornisca l'infinitudine per dati di Borcherds generali, ma piuttosto che fornisce il passaggio cruciale di non costanza che, combinato con i noti teoremi di propagazione aritmetica, produce il risultato completo.

Le identità algebriche alla base della dimostrazione sono state formalizzate e verificate in Lean da AxiomProver, garantendo la correttezza dei complessi calcoli combinatori e delle forme modulari.