A note on Virasoro constriants for products

Titolo: Una nota sulle restrizioni di Virasoro per prodotti

Autore: Hsian-Hua Tseng

---

1. Il Problema: La Congettura di Virasoro per Varietà Prodotto

Il paper affronta un problema fondamentale nella teoria di Gromov-Witten (GW), noto come Congettura di Virasoro. Questa congettura postula che il potenziale totale discendente $D_W$ di una varietà proiettiva liscia $W$ soddisfi un'infinità di equazioni differenziali:
$$L^W_m D_W = 0, \quad \forall m \geq -1$$
dove $L^W_m$ sono operatori differenziali specifici (operatori di Virasoro) legati alla struttura della teoria.

Il problema centrale trattato è la seguente questione naturale (Problema 1.1):

La congettura di Virasoro vale per una varietà prodotto $X \times Y$ se e solo se vale per entrambe le varietà componenti $X$ e $Y$?

Nonostante la naturalezza del problema, i progressi sono stati limitati. Le prove esistenti si basano su due approcci principali:

1. Curve non singolari (approccio di [13]).
2. Teorie con coomologia quantistica semi-semplice (approccio di Givental [9]).

L'obiettivo del paper è fornire un risultato parziale ma significativo per il Problema 1.1, specificamente nel caso in cui uno dei fattori abbia una coomologia quantistica semi-semplice.

---

2. Metodologia e Strumenti Teorici

L'autore utilizza l'approccio sviluppato da Givental e Teleman, esteso successivamente per i fasci torici, per analizzare la struttura delle teorie di coomologia di campo (CohFT). La metodologia si articola nei seguenti punti chiave:

A. Teoria di Coomologia di Campo (CohFT) e Azione R-matrice

Il paper si basa sulla classificazione di Givental-Teleman per le CohFT semi-semplici.

• Se la coomologia quantistica di una varietà $Y$ è semi-semplice, la sua teoria GW può essere ricostruita a partire dalla sua parte topologica $\omega$ (grado 0) tramite l'azione di un elemento di un gruppo di loop, rappresentato da una matrice $R(z)$.
• L'azione è definita come $\Omega = R \cdot \omega$, dove $R(z)$ è una serie formale di potenze in $z$ con coefficienti in $\text{End}(V)$ che soddisfa una condizione simplettica.

B. Formula di Prodotto per Invarianti GW

Si utilizza la formula di prodotto per gli invarianti di Gromov-Witten ([3]), che stabilisce una relazione diretta tra la teoria di un prodotto $X \times Y$ e le teorie dei fattori.

• Se la teoria di $Y$ è semi-semplice, essa può essere decomposta in una somma di teorie di rango 1 tramite una base di idempotenti.
• L'autore dimostra che la teoria GW del prodotto $X \times Y$ (con opportuni shift) può essere espressa come l'azione di un elemento di gruppo di loop specifico, $R = \text{Id} \otimes R_Y$, sulla teoria prodotto delle parti topologiche.

C. Covarianza del Gruppo di Loop

Il cuore della dimostrazione risiede nell'analisi di come gli operatori di Virasoro si comportano sotto l'azione del gruppo di loop. L'obiettivo è mostrare che l'elemento di gruppo di loop che collega la teoria del prodotto alla teoria dei fattori preserva la graduazione (grading) e commuta in modo controllato con gli operatori di Virasoro.

---

3. Risultati Principali

Il risultato centrale è il Teorema 1.2:

Teorema: Supponiamo che la coomologia quantistica di $Y$ sia semi-semplice in un certo punto. Allora le restrizioni di Virasoro valgono per $X \times Y$ se e solo se valgono per $X$.

Punti chiave della dimostrazione (Sezione 3.4):

1. Decomposizione del Potenziale: Viene derivata una formula esplicita per il potenziale discendente totale $D_{X \times Y}$ in termini del potenziale $D_X$ e dell'azione di un operatore di quantizzazione derivato da $R_Y$.
   $$D_{X \times Y} \approx \widehat{(S_{X \times Y})^{-1}} \widehat{R} \prod_i \widehat{S_X} D_X$$
2. Analisi degli Operatori: Si dimostra che gli operatori di Virasoro $L^m_{X \times Y}$, quando coniugati attraverso gli operatori di trasformazione (matrici fondamentali $S$ e $R$) che appaiono nella formula del potenziale, si trasformano in:
   $$L^m_{X \times Y} \mapsto L^m_{X \times \{N \text{ punti}\}}$$
   dove $N = \text{rank}(H^*(Y))$.
3. Preservazione della Graduazione: È cruciale che l'elemento del gruppo di loop coinvolto preservi la graduazione. Poiché la teoria di $Y$ è semi-semplice, la sua parte topologica corrisponde a una teoria su un insieme di $N$ punti (spazio zero-dimensionale).
4. Conclusione: Poiché la congettura di Virasoro è nota per essere vera per spazi di punti (o più in generale, per teorie topologiche triviali in questo contesto), la validità delle restrizioni per $X \times Y$ dipende esclusivamente dalla validità delle restrizioni per $X$. Il fattore $Y$, essendo semi-semplice, non introduce ostacoli alla congettura.

---

4. Contributi Chiave

1. Riduzione del Problema: Il paper risolve parzialmente il Problema 1.1, riducendo la verifica della congettura per un prodotto complesso alla verifica su un singolo fattore, a patto che l'altro fattore abbia una struttura semi-semplice.
2. Estensione della Classificazione di Givental: L'autore applica con successo la classificazione di Givental-Teleman (originariamente per CohFT semi-semplici) al contesto dei prodotti di varietà, derivando formule esplicite per il potenziale discendente.
3. Generalizzazione agli Orbifold: Nel Remark 3.5, l'autore osserva che l'argomento può essere esteso alla teoria di Gromov-Witten degli orbifold, dato che la classificazione di Givental-Teleman e le formule di prodotto sono valide anche in quel contesto.

---

5. Significato e Implicazioni

• Progresso su un Problema Aperto: La congettura di Virasoro è un problema aperto dagli anni '90. Questo lavoro fornisce un passo avanti significativo, offrendo una classe ampia di varietà (prodotti con un fattore semi-semplice) per cui la congettura è equivalente a quella di un fattore più semplice.
• Struttura della Teoria GW: Il risultato sottolinea la profonda connessione tra la struttura algebrica della coomologia quantistica (semi-semplicità) e le simmetrie differenziali (restrizioni di Virasoro) della teoria.
• Strumento Computazionale: La formula derivata per il potenziale $D_{X \times Y}$ (Eq. 3.8) offre un metodo computazionale potente per calcolare potenziali di varietà prodotto partendo da fattori noti, sfruttando l'azione del gruppo di loop.

In sintesi, il paper di Tseng utilizza la potenza della classificazione di Givental per dimostrare che, in presenza di semi-semplicità, la complessità aggiuntiva introdotta dal prodotto di una varietà non altera la validità delle restrizioni di Virasoro, purché queste valgano per l'altro fattore.