Les Houches lectures on non-perturbative topological strings

Resumen Técnico: Lecciones de Les Houches sobre Cuerdas Topológicas No Perturbativas

Planteamiento del Problema
La teoría de cuerdas topológicas, si bien proporciona un modelo simplificado para la geometría enumerativa y las dualidades de la teoría de gauge, está definida tradicionalmente solo por su expansión perturbativa en la constante de acoplamiento de cuerda $g_s$. Esta expansión, organizada por el género $g$ de la superficie de mundo (worldsheet), es conocida por ser factorialmente divergente ($F_g \sim (2g)!$), lo que hace que la energía libre total sea una función mal definida de $g_s$. El problema central abordado en estas lecciones es doble:

1. Estructura Resurgente: Dada la divergente serie perturbativa, ¿es posible extraer los efectos no perturbativos (instantones) ocultos dentro de la serie utilizando la teoría de la resurgencia?
2. Definición No Perturbativa: ¿Se puede construir una función no perturbativa bien definida cuya expansión asintótica reproduzca la serie perturbativa de la cuerda topológica, específicamente para cuerdas topológicas en variedades de Calabi–Yau (CY) tóricas?

Metodología
Las lecciones emplean una combinación de geometría algebraica, teoría espectral y el marco matemático de la resurgencia (iniciado por Jean Écalle). El enfoque se divide en dos partes principales:

1. Análisis de Resurgencia: El autor analiza la transformada de Borel de la expansión de género de la energía libre de la cuerda topológica. Al estudiar las singularidades de la transformación de Borel (rayos de Stokes), las lecciones derivan la estructura de las trans-series (expansiones de multi-instantones). El análisis se apoya fuertemente en el comportamiento de las energías libres cerca de puntos especiales en el espacio de módulos, tales como el punto de conifold y el límite de radio grande.
2. Correspondencia Cuerda Topológica/Teoría Espectral (TS/ST): Para abordar la definición no perturbativa, las lecciones introducen una dualidad entre las cuerdas topológicas en variedades CY tóricas y la teoría espectral de operadores de mecánica cuántica. Esto implica:
   • Cuantizar la "curva espejo" (mirror curve) de la variedad CY promoviendo las coordenadas a operadores de Heisenberg.
   • Definir un operador de clase traza $\rho_X = O_X^{-1}$ asociado a la curva espejo.
   • Construir el determinante de Fredholm (determinante espectral) $\Xi_X(\kappa)$ y las trazas espectrales fermiónicas $Z_X(N, \hbar)$ de este operador.
   • Investigar el límite de 't Hooft ($N \to \infty, \hbar \to \infty$ con $N/\hbar$ fijo) de estas cantidades espectrales para recuperar la energía libre de la cuerda topológica.

Contribuciones Clave y Resultados

• Estructura Resurgetne e Invariantes BPS:

  • Las lecciones proporcionan una derivación de la trans-series general de multi-instantones para las cuerdas topológicas. Las singularidades de Borel se identifican como combinaciones lineales enteras de los periodos de la variedad CY.
  • Se presenta una conjetura central (Conjetura 3.5): Las constantes de Stokes asociadas a estas singularidades son exactamente los invariantes BPS (o de Donaldson–Thomas) de la geometría CY subyacente.
  • Se muestra que la estructura de resurgencia exhibe fenómenos de "wall-crossing" (cruce de muros), donde el conjunto de singularidades y sus constantes de Stokes cambian discontinuamente al moverse en el espacio de módulos, reflejando el comportamiento de los espectros BPS en teorías de gauge supersimétricas.
  • Cálculos específicos para el conifold resuelto y $\mathbb{P}^2$ local demuestran que las constantes de Stokes coinciden con los invariantes de Gopakumar–Vafa y los invariantes DT conocidos.

• La Correspondencia TS/ST:

  • El autor propone una definición no perturbativa para las cuerdas topológicas en variedades CY tóricas a través de la teoría espectral de curvas espejo cuánticas.
  • Conjetura 4.4: Las trazas espectrales fermiónicas $Z_X(N, \hbar)$ del operador de la curva espejo cuántica poseen una expansión asintótica en el límite de 't Hooft que reproduce la energía libre de la cuerda topológica en el marco de conifold ($F^c_g(\lambda)$).
  • Para el caso específico de $\mathbb{P}^2$ local, el núcleo del operador se construye explícitamente usando el dilogaritmo cuántico de Faddeev. La representación resultante de la integral de matriz de la traza espectral se muestra como bien definida y convergente.
  • Pruebas numéricas confirman que los autovalores del operador de la curva espejo cuántica y los ceros del determinante de Fredholm se alinean con las predicciones de la energía libre de la cuerda topológica.

• Ejemplos Explícitos:

  • Se proporcionan derivaciones detalladas para el conifold resuelto y $\mathbb{P}^2$ local, incluyendo el cálculo de singularidades de Borel, constantes de Stokes y la forma explícita de los operadores de la curva espejo cuántica.
  • Las lecciones demuestran cómo surgen los "patrones de pavo real" (peacock patterns) de las singularidades de Borel en el caso del conifold resuelto.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco unificado que conecta las divergencias perturbativas de la teoría de cuerdas con la física no perturbativa mediante la resurgencia y la teoría espectral.

• Unificación de Conceptos: El trabajo establece un vínculo concreto entre la estructura de resurgencia de las series perturbativas (análisis matemático) y los invariantes BPS (datos físicos/geométricos), sugiriendo que la completitud no perturbativa de la cuerda está codificada en el espectro BPS.
• Definición No Perturbativa: La correspondencia TS/ST ofrece una definición no perturbativa rigurosa para las cuerdas topológicas en CY tóricas, eludiendo la falta de una definición no perturbativa general para la teoría de cuerdas. Esta definición está fundamentada en la teoría espectral bien planteada de operadores de clase traza.
• Geometría Emergente: Las lecciones ilustran el concepto de "geometría cuántica", donde la geometría continua de la variedad CY y sus correcciones de cuerda emergen del espectro discreto de un modelo de mecánica cuántica unidimensional en el límite de $N$ grande.
• Testeabilidad: A diferencia de muchas propuestas no perturbativas en la teoría de cuerdas, las conjeturas presentadas son explícitamente testeables. El autor señala que las comprobaciones numéricas para $\mathbb{P}^2$ local y el conifold resuelto han sido exitosas, y que la correspondencia se ha probado rigurosamente en límites específicos (por ejemplo, el límite 4d relacionado con la teoría de Seiberg–Witten).

El autor mantiene un tono modesto respecto a la prueba general de estas conjeturas, reconociendo que, aunque se cumplen en numerosos casos probados y límites específicos, una prueba matemática rigurosa para variedades CY tóricas generales sigue siendo un problema abierto. Las lecciones sirven como una visión introductoria, enfatizando los estudios de casos detallados sobre las construcciones generales, y resaltando la interacción entre la física matemática, la geometría enumerativa y la mecánica cuántica.