Faber's socle intersection numbers via Gromov--Witten theory of elliptic curve

1. Il Problema

L'obiettivo principale del lavoro è fornire una nuova dimostrazione della formula di Faber per i numeri di intersezione nello "socle" (il sottospazio di dimensione massima) dell'anello tautilogico del moduli spazio delle curve stabili $\mathcal{M}_{g,n}$.

La formula in questione, originariamente congetturata da Faber nel 1999, esprime l'integrale di prodotti di classi $\psi$ e $\lambda$ su $\mathcal{M}_{g,n}$ in termini di numeri di Bernoulli. Nello specifico, per $d_1, \dots, d_n \ge 0$ tali che $\sum d_i = g - 2 + n$, la formula è:
$$\int_{\mathcal{M}_{g,n}} \lambda_g \lambda_{g-1} \prod_{i=1}^n \psi_i^{d_i} = (-1)^{g-1} \frac{B_{2g} (2g - 3 + n)!}{2^{2g-1} (2g)!} \prod_{i=1}^n \frac{1}{(2d_i - 1)!!}$$
Sebbene esistano già cinque dimostrazioni distinte basate su idee geometriche e combinatorie diverse (vincoli di Virasoro, formule di Mumford, cicli di ramificazione doppia, relazioni a spin intero e mezzo spin), gli autori mirano a introdurre un approccio completamente nuovo. Questo nuovo metodo non solo riprova il risultato, ma rivela una nuova relazione tautilogica derivante dalla teoria di Gromov-Witten delle curve ellittiche, con implicazioni per i sistemi integrabili quantistici.

2. Metodologia

La metodologia si basa su un'interazione profonda tra la teoria di Gromov-Witten (GW) delle curve ellittiche e la geometria algebrica dei moduli spazi. I passaggi chiave sono:

• Teoria di Gromov-Witten delle Curve Ellittiche: Gli autori utilizzano i risultati recenti di Oberdieck e Pixton [OP18, OP23] riguardanti le classi coomologiche $c_{g,m}(p^{\otimes m})$ associate alla teoria GW della curva ellittica. In questo contesto, tutti i campi primari sono classi di punti sulla curva target.
• Equazione di Anomalia Olografica: Viene sfruttata l'equazione di anomalia olografica per calcolare le classi $c_{g,m}(p^{\otimes m}) \lambda_{g-1}$. Oberdieck e Pixton hanno dimostrato che queste classi sono legate alle forme modulari quasi-olomorfe (in particolare alle serie di Eisenstein $G_{2g}$) tramite l'operatore $q\partial_q$.
• Espansione in Grafi Stabili: Viene utilizzata una formula esplicita per $c_{g,m}(p^{\otimes m})$ come somma su grafi stabili. Gli autori si concentrano su una sottofamiglia specifica di grafi: i grafi "a collana" (necklace) o "ruota" (wheels), che consistono in $m$ vertici collegati in un unico ciclo.
• Cicli di Ramificazione Doppia (DR): I vertici dei grafi vengono decorati con cicli di ramificazione doppia $DR_{g(v_i)}(0, 1, -1)$ e classi $\lambda$. Viene introdotta un'orientazione sui grafi a collana per gestire le simmetrie e i pesi di "bacio" (kissing weights).
• Calcolo Asintotico e Limiti: Per calcolare i coefficienti della somma sui grafi, gli autori utilizzano una tecnica di limite ($p \to 1$) che coinvolge la funzione di Weierstrass spostata $\wp_\tau(z)$, collegando la somma discreta sui pesi a sviluppi asintotici di funzioni modulari.
• Relazioni Ricorsive per i Cicli DR: Per intersecare la nuova relazione tautilogica con le classi $\psi$, viene derivata una formula generale per gli integrali su $\mathcal{M}_{g,3}$ contenenti cicli DR e classi $\lambda_g \psi_g^1$, utilizzando relazioni ricorsive note (simili a quelle usate per le coperture ammissibili).

3. Contributi Chiave

A. Nuova Relazione Tautilogica (Proposizione 2.1)

Il contributo teorico principale è l'identificazione di una nuova relazione nella coomologia $H^*(\mathcal{M}_{g,m})$. La relazione afferma che una somma pesata su grafi a collana orientati, dove i vertici sono decorati da cicli di ramificazione doppia e classi $\lambda$, è uguale a una combinazione specifica di classi $\psi$ e $\lambda$ su $\mathcal{M}_{g,m}$:
$$\frac{1}{(m-1)!} \sum_{\Gamma \in \vec{\mathcal{N}}} (b_{\Gamma,g})_* \left( \bigotimes_{i=1}^m DR_{g(v_i)}(0, 1, -1) \lambda_{g(v_i)} \right) = \frac{2 \cdot (2g)!}{(-1)^{g-1} B_{2g} (2g - 2 + m)!} \lambda_g \lambda_{g-1} \prod_{i=1}^m \psi_i \sum_{i=1}^m \frac{1}{\psi_i}$$
Questa relazione emerge direttamente dal confronto tra il calcolo tramite l'equazione di anomalia olografica e il calcolo tramite l'espansione in grafi della teoria GW.

B. Nuova Dimostrazione della Formula di Faber

Utilizzando la nuova relazione tautilogica sopra citata e intersecandola con opportune classi $\psi$, gli autori riescono a derivare la formula di Faber per i numeri di intersezione nello socle. Questo dimostra che la struttura della teoria GW delle curve ellittiche codifica direttamente le relazioni fondamentali nell'anello tautilogico di $\mathcal{M}_g$.

C. Calcolo di Integrali con Cicli DR

Viene fornito un calcolo esplicito (Proposizione 3.1) per gli integrali di $\lambda_g \psi_g^1$ contro cicli di ramificazione doppia su $\mathcal{M}_{g,3}$, risolvendo una ricorsione che collega questi integrali a quelli su $\mathcal{M}_{g-1,3}$ e $\mathcal{M}_{g,2}$. Questo risultato è cruciale per chiudere il calcolo dei coefficienti nella nuova dimostrazione.

4. Risultati

1. Conferma della Formula di Faber: La formula classica per i numeri di intersezione nello socle è stata riprovata con successo utilizzando un framework completamente diverso (GW delle curve ellittiche).
2. Identificazione di una Struttura Nascosta: È stata rivelata una relazione tautilogica specifica sui grafi a collana che collega i cicli DR alle classi $\lambda$ e $\psi$.
3. Connessione con Sistemi Integrabili: Gli autori sottolineano che questa nuova relazione e le tecniche sviluppate sono strumenti essenziali per l'analisi dei sistemi integrabili quantistici di Buryak-Rossi, suggerendo un ponte più profondo tra la teoria GW, la teoria dei moduli e i sistemi integrabili.

5. Significato

Il significato di questo lavoro risiede nella sua capacità di unificare aree apparentemente distinte della matematica:

• Nuova Prospettiva Geometrica: Dimostra che le proprietà combinatorie dell'anello tautilogico di $\mathcal{M}_g$ possono essere derivate dalla teoria di Gromov-Witten di una curva target semplice (ellittica), offrendo una nuova lente attraverso cui osservare la geometria dei moduli spazi.
• Potere Computazionale: Introduce tecniche di calcolo (limiti di funzioni modulari, pesi di bacio su grafi) che potrebbero essere applicate ad altri problemi di intersezione in geometria algebrica.
• Implicazioni Future: La menzione specifica dei sistemi integrabili di Buryak-Rossi indica che questa "nuova relazione tautilogica" non è solo un risultato isolato, ma un tassello fondamentale per comprendere la struttura algebrica sottostante ai sistemi integrabili associati ai moduli spazi delle curve.

In sintesi, il paper non si limita a riprovare un teorema noto, ma espande l'arsenale degli strumenti disponibili per lo studio dell'anello tautilogico, collegandolo direttamente alla teoria delle forme modulari e alla teoria di Gromov-Witten.