Modularity from $q$-series

Sintesi Tecnica: Modularità dalle Serie q

Enunciato del Problema
Il lavoro affronta una sfida posta da G. E. Andrews, che a sua volta fa riferimento a un problema di L. Ehrenpreis: ideare un metodo diretto per dimostrare la modularità delle forme di somma delle serie $q$ senza fare affidamento su input modulari preesistenti (come la modularità della funzione $\eta$ di Dedekind, le funzioni theta di Jacobi o le serie di Eisenstein). Molte serie $q$ che emergono in combinatoria, teoria delle rappresentazioni e fisica esibiscono una modularità "misteriosa" che non è visibile dalle loro formule di somma. Il caso di prova principale per questa sfida è la coppia Rogers–Ramanujan, la cui modularità è classicamente nota tramite identità di prodotti infiniti ma priva di una dimostrazione derivata esclusivamente dalle loro definizioni in serie.

Metodologia
L'autore, Ken Ono, sviluppa un criterio per la modularità vettoriale basato interamente sull'algebra delle serie $q$, sui sistemi differenziali $q$-differenziali del primo ordine e sul prolungamento analitico. La metodologia procede attraverso i seguenti passaggi:

1. Sistemi Differenziali Locali: Il lavoro tratta un vettore di serie $q$ olomorfe, $f = (f_1, \dots, f_r)^T$, come soluzione di un sistema lineare del primo ordine sul semipiano superiore. Esaminando gli sviluppi locali ai vertici (specificamente $\infty$ e $0$), l'autore costruisce sistemi differenziali $q$-locali della forma $\theta_\gamma f^{(\gamma)} = A_\gamma(q_\gamma) f^{(\gamma)}$, dove $\theta = q \frac{d}{dq}$ e $A_\gamma$ è una matrice di funzioni meromorfe.
2. La Condizione "Buona": Un vettore $f$ è definito "buono" per un dato orbita finita $O$ se soddisfa tre condizioni:
   • Matrice Fondamentale Locale: In ogni vertice, esiste una matrice $\Phi$ formata da un numero finito di traslazioni di $f$ tramite $SL_2(\mathbb{Z})$ che è invertibile in un intorno punteggiato del vertice.
   • Regolarità: La matrice della derivata logaritmica $A = (\theta \Phi)\Phi^{-1}$ è meromorfa sul disco punteggiato, si estende olomorficamente al vertice e possiede una matrice esponenziale limite coniugata a una matrice diagonale di numeri razionali.
   • Chiusura al Prolungamento Finito: I sistemi locali sono chiusi rispetto al prolungamento analitico e agli spostamenti $T$ (traslazioni) a meno di trasformazioni di gauge costanti. Questo garantisce che le patch locali possano essere incollate insieme globalmente.
3. Incollamento e Monodromia: Utilizzando risultati standard dalla teoria delle equazioni differenziali lineari, il lavoro dimostra che se le condizioni "buone" sono soddisfatte, i sistemi locali si incollano per formare un sistema meromorfo globale. La monodromia di questo sistema globale produce una rappresentazione $\rho: SL_2(\mathbb{Z}) \to GL_r(\mathbb{C})$, certificando così che $f$ è una funzione modulare vettoriale.

Contributi e Risultati Chiave

• Teorema 2 (Modularità dalle Serie q): Questo è il risultato teorico centrale. Stabilisce un'equivalenza tra un vettore di serie $q$ che è una funzione modulare vettoriale debolmente olomorfa e il vettore che è "buono" per un dato orbita finita. Questo teorema fornisce un criterio puramente intrinseco, basato sulle serie $q$, per la modularità, indipendente dalle forme modulari esterne.
• Teorema 1 (Modularità Rogers–Ramanujan): Il lavoro applica il Teorema 2 alla coppia Rogers–Ramanujan $G(q)$ e $H(q)$.
  • Utilizza le ricorrenze finite classiche di Schur e i confronti di prodotti finiti di Andrews per derivare sistemi differenziali $q$-differenziali del primo ordine espliciti per le serie Rogers–Ramanujan ai vertici $\infty$ e $0$.
  • I coefficienti di questi sistemi sono espressi in termini di serie di Lambert. Crucialmente, la dimostrazione non assume che queste serie di Lambert siano serie di Eisenstein; utilizza solo le loro espansioni in $q$ e i sistemi differenziali risultanti.
  • L'autore verifica che la coppia Rogers–Ramanujan soddisfa le condizioni "buone", dimostrando così la loro modularità e derivando esplicitamente le matrici moltiplicatrici $\rho(T)$ e $\rho(S)$ senza invocare input modulari.
• Teorema 3: Questo teorema fornisce la conversiva costruttiva, mostrando che qualsiasi funzione modulare vettoriale debolmente olomorfa per un sottogruppo di congruenza soddisfa naturalmente le condizioni "buone", validando così l'equivalenza.
• Estensione alle Serie Andrews–Gordon: Il lavoro schizza l'applicazione di questo metodo alle serie $q$ di Andrews–Gordon (una generalizzazione di Rogers–Ramanujan). Osserva che le identità polinomiali finite nella letteratura Andrews–Gordon producono i sistemi differenziali necessari per certificare la modularità per queste famiglie di rango superiore.

Significato e Affermazioni
Il lavoro afferma di risolvere il problema Ehrenpreis-Andrews fornendo una "dimostrazione diretta" della modularità che si basa esclusivamente sulla struttura interna delle serie $q$ (ricorrenze algebriche e proprietà analitiche) piuttosto che sulla modularità di altre funzioni note.

• Natura Intrinseca: Il significato risiede nella rimozione dell'"input modulare". La dimostrazione per il caso Rogers–Ramanujan non utilizza le leggi di trasformazione di $\eta$ o delle funzioni theta, né si basa sul fatto che le serie di Lambert associate siano serie di Eisenstein di peso 2.
• Quadro Concettuale: Il lavoro riformula il rilevamento della modularità come un problema di prolungamento analitico e monodromia dei sistemi differenziali $q$-differenziali. Traccia un parallelo con la corrispondenza Lewis–Zagier tra funzioni periodiche e forme cuspidali di Maass, posizionando i sistemi differenziali $q$-differenziali come l'analogo $q$ delle equazioni delle funzioni periodiche.
• Relazione con la Congettura di Nahm: Il lavoro contrappone brevemente il suo approccio alla congettura di Nahm, che collega la modularità alla torsione nel gruppo di Bloch. L'autore ipotizza che la condizione "buona per $O$" offra una via diversa verso la modularità e suggerisce che chiarire la relazione tra la torsione del gruppo di Bloch e l'esistenza di dati orbita finiti sia una direzione aperta interessante, sebbene il lavoro non risolva tale relazione.

In sintesi, il lavoro offre un meccanismo rigoroso e autosufficiente per certificare la modularità di vettori di serie $q$ verificando un insieme finito di condizioni algebriche e analitiche ai vertici, dimostrando con successo questo aspetto sul fondamentale caso Rogers–Ramanujan.