Les Houches lectures on non-perturbative topological strings

Sintesi Tecnica: Lezioni di Les Houches sulle Stringhe Topologiche Non-Perturbative

Problema
La teoria delle stringhe topologiche, pur fornendo un modello semplificato per la geometria enumerativa e le dualità della teoria di gauge, è tradizionalmente definita solo dalla sua espansione perturbativa nella costante di accoppiamento della stringa $g_s$. Tale espansione, organizzata per genere $g$ della superficie di mondo (worldsheet), è nota per essere fattorialmente divergente ($F_g \sim (2g)!$), rendendo la energia libera totale mal definita come funzione di $g_s$. Il problema centrale affrontato in queste lezioni è duplice:

1. Struttura Resurrente: Data la serie divergente perturbativa, è possibile estrarre gli effetti non-perturbativi (istantoni) nascosti nella serie utilizzando la teoria della risorgenza (resurgence)?
2. Definizione Non-Perturbativa: È possibile costruire una funzione non-perturbativa ben definita la cui espansione asintotica riproduca la serie perturbativa della stringa topologica, specificamente per le stringhe topologiche su varietà Calabi-Yau (CY) toriche?

Metodologia
Le lezioni impiegano una combinazione di geometria algebrica, teoria spettrale e il quadro matematico della risorgenza (pionieristica di Jean Écalle). L'approccio è diviso in due parti principali:

1. Analisi della Risorgenza: L'autore analizza la trasformata di Borel dell'espansione in genere dell'energia libera della stringa topologica. Studiando le singolarità della trasformata di Borel nel piano di Borel (raggi di Stokes), le lezioni derivano la struttura delle trans-serie (espansioni multi-istantoniche). L'analisi si basa pesantemente sul comportamento delle energie libere in prossimità di punti speciali dello spazio dei moduli, come il punto di conifold e il limite di grande raggio.
2. Corrispondenza Stringa Topologica/Teoria Spettrale (TS/ST): Per affrontare la definizione non-perturbativa, le lezioni introducono una dualità tra le stringhe topologiche su varietà CY toriche e la teoria spettrale di operatori di meccanica quantistica. Ciò comporta:
   • La quantizzazione della "curva speculare" (mirror curve) della varietà CY promuovendo le coordinate a operatori di Heisenberg.
   • La definizione di un operatore di classe traccia $\rho_X = O_X^{-1}$ associato alla curva speculare.
   • La costruzione del determinante di Fredholm (determinante spettrale) $\Xi_X(\kappa)$ e delle tracce spettrali fermioniche $Z_X(N, \hbar)$ di questo operatore.
   • L'indagine del limite di 't Hooft ($N \to \infty, \hbar \to \infty$ con $N/\hbar$ fisso) di queste quantità spettrali per recuperare l'energia libera della stringa topologica.

Contributi Chiave e Risultati

• Struttura Resurrente e Invarianti BPS:

  • Le lezioni forniscono una derivazione della trans-serie multi-istantonica generale per le stringhe topologiche. Le singolarità di Borel sono identificate come combinazioni lineari intere dei periodi della varietà CY.
  • Una congettura centrale (Congettura 3.5) viene presentata: le costanti di Stokes associate a queste singolarità sono esattamente gli invarianti BPS (o di Donaldson-Thomas) della geometria CY sottostante.
  • La struttura ricorrente mostra fenomeni di "wall-crossing", dove l'insieme delle singolarità e le loro costanti di Stokes cambiano discontinuamente al muoversi nello spazio dei moduli, rispecchiando il comportamento degli spettri BPS nelle teorie di gauge supersimmetriche.
  • Calcoli specifici per il conifold risolto e la $\mathbb{P}^2$ locale dimostrano che le costanti di Stokes corrispondono agli invarianti di Gopakumar-Vafa e di DT noti.

• La Corrispondenza TS/ST:

  • L'autore propone una definizione non-perturbativa per le stringhe topologiche su varietà CY toriche tramite la teoria spettrale di curve speculari quantistiche.
  • Congettura 4.4: Le tracce spettrali fermioniche $Z_X(N, \hbar)$ dell'operatore della curva speculare quantistica possiedono un'espansione asintotica nel limite di 't Hooft che riproduce l'energia libera della stringa topologica nel frame del conifold ($F^c_g(\lambda)$).
  • Per il caso specifico della $\mathbb{P}^2$ locale, il kernel dell'operatore è costruito esplicitamente usando il dilogaritmo quantistico di Faddeev. La risultante rappresentazione tramite integrale di matrice della traccia spettrale è mostrata essere ben definita e convergente.
  • Test numerici confermano che gli autovalori dell'operatore della curva speculare quantistica e gli zeri del determinante di Fredholm si allineano con le previsioni dell'energia libera della stringa topologica.

• Esempi Espliciti:

  • Sono fornite derivazioni dettagliate per il conifold risolto e la $\mathbb{P}^2$ locale, inclusi il calcolo delle singolarità di Borel, delle costanti di Stokes e della forma esplicita degli operatori della curva speculare quantistica.
  • Le lezioni dimostrano come i "pattern a pavone" (peacock patterns) delle singolarità di Borel emergano nel caso del conifold risolto.

Significatività e Rivendicazioni
L'articolo sostiene di fornire un quadro unificato che connette le divergenze perturbative della teoria delle stringhe alla fisica non-perturbativa tramite la risorgenza e la teoria spettrale.

• Unificazione di Concetti: Il lavoro stabilisce un legame concreto tra la struttura ricorrente delle serie perturbative (analisi matematica) e gli invarianti BPS (dati fisici/geometrici), suggerendo che il completamento non-perturbativo della stringa sia codificato nello spettro BPS.
• Definizione Non-Perturbativa: La corrispondenza TS/ST offre una definizione non-perturbativa rigorosa per le stringhe topologiche su CY toriche, aggirando la mancanza di una definizione non-perturbativa generale per la teoria delle stringhe. Questa definizione è fondata sulla ben posta teoria spettrale degli operatori di classe traccia.
• Geometria Emergente: Le lezioni illustrano il concetto di "geometria quantistica", dove la geometria continua della varietà CY e le sue correzioni stringhe emergono dallo spettro discreto di un modello di meccanica quantistica monodimensionale nel limite di grande $N$.
• Verificabilità: A differenza di molte proposte non-perturbative nella teoria delle stringhe, le congetture presentate sono esplicitamente testabili. L'autore nota che i controlli numerici per la $\mathbb{P}^2$ locale e il conifold risolto sono stati esitosi, e la corrispondenza è stata rigorosamente provata in specifici limiti (ad esempio, il limite 4d relativo alla teoria di Seiberg-Witten).

L'autore mantiene un tono modesto riguardo alla prova generale di queste congetture, riconoscendo che, sebbene esse siano valide in numerosi casi testati e limiti specifici, una prova matematica rigorosa per le generiche varietà CY toriche rimane un problema aperto. Le lezioni servono come panoramica introduttiva, enfatizzando i casi di studio dettagliati rispetto alle costruzioni generali, e mettendo in luce l'interazione tra fisica matematica, geometria enumerativa e meccanica quantistica.