Les Houches lectures on non-perturbative topological strings

Resumo Técnico: Lições de Les Houches sobre Strings Topológicas Não Perturbativas

Enunciado do Problema
A teoria de strings topológicas, embora forneça um modelo simplificado para a geometria enumerativa e dualidades de teoria de gauge, é tradicionalmente definida apenas por sua expansão perturbativa na constante de acoplamento de string $g_s$. Esta expansão, organizada pelo gênero $g$ da superfície de mundo (worldsheet), é conhecida por ser fatorialmente divergente ($F_g \sim (2g)!$), tornando a energia livre total mal definida como uma função de $g_s$. O problema central abordado nestas lições é duplo:

1. Estrutura Resurgente: Dada a série divergente perturbativa, pode-se extrair os efeitos não perturbativos (instantons) ocultos na série usando a teoria da resurgência?
2. Definição Não Perturbativa: Pode-se construir uma função bem definida, não perturbativa, cuja expansão assintótica reproduza a série perturbativa da string topológica, especificamente para strings topológicas em variedades de Calabi-Yau (CY) toricas?

Metodologia
As lições empregam uma combinação de geometria algébrica, teoria espectral e o arcabouço matemático da resurgência (pioneirismo de Jean Écalle). A abordagem é dividida em duas partes principais:

1. Análise Resurgente: O autor analisa a transformada de Borel da expansão de gênero da energia livre da string topológica. Ao estudar as singularidades no plano de Borel (raios de Stokes), as lições derivam a estrutura das trans-séries (expansões de multi-instanton). A análise depende fortemente do comportamento das energias livres próximo a pontos especiais no espaço de módulos, como o ponto do conifold e o limite de raio grande.
2. Correspondência Teoria de Strings Topológicas/Teoria Espectral (TS/ST): Para abordar a definição não perturbativa, as lições introduzem uma dualidade entre strings topológicas em variedades CY toricas e a teoria espectral de operadores de mecânica quântica. Isso envolve:
   • Quantizar a "curva espelho" (mirror curve) da variedade CY promovendo as coordenadas a operadores de Heisenberg.
   • Definir um operador de classe traço $\rho_X = O_X^{-1}$ associado à curva espelho.
   • Construir o determinante de Fredholm (determinante espectral) $\Xi_X(\kappa)$ e os traços espectrais fermiônicos $Z_X(N, \hbar)$ deste operador.
   • Investigar o limite 't Hooft ($N \to \infty, \hbar \to \infty$ com $N/\hbar$ fixo) dessas quantidades espectrais para recuperar a energia livre da string topológica.

Principais Contribuições e Resultados

• Estrutura Resurgente e Invariantes BPS:

  • As lições fornecem uma derivação da trans-série geral de multi-instanton para strings topológicas. As singularidades de Borel são identificadas como combinações lineares inteiras dos períodos da variedade CY.
  • Uma conjectura central (Conjectura 3.5) é apresentada: As constantes de Stokes associadas a essas singularidades são exatamente os invariantes BPS (ou de Donaldson–Thomas) da geometria CY subjacente.
  • Mostra-se que a estrutura resurgente exibe fenômenos de "troca de parede" (wall-crossing), onde o conjunto de singularidades e suas constantes de Stokes mudam descontinuamente conforme se move no espaço de módulos, espelhando o comportamento dos espectros BPS em teorias de gauge supersimétricas.
  • Cálculos específicos para o conifold resolvido e $\mathbb{P}^2$ local demonstram que as constantes de Stokes coincidem com os conhecidos invariantes de Gopakumar–Vafa e invariantes DT.

• A Correspondência TS/ST:

  • O autor propõe uma definição não perturbativa para strings topológicas em variedades CY toricas via teoria espectral de curvas espelhos quânticas.
  • Conjectura 4.4: Os traços espectrais fermiônicos $Z_X(N, \hbar)$ do operador da curva espelho quântica possuem uma expansão assintótica no limite 't Hooft que reproduz a energia livre da string topológica no frame do conifold ($F^c_g(\lambda)$).
  • Para o caso específico de $\mathbb{P}^2$ local, o núcleo do operador é construído explicitamente usando o dilogaritmo quântico de Faddeev. A representação de integral de matriz resultante do traço espectral é mostrada como sendo bem definida e convergente.
  • Testes numéricos confirmam que os autovalores do operador da curva espelho quântica e os zeros do determinante de Fredholm alinham-se com as previsões da energia livre da string topológica.

• Exemplos Explícitos:

  • Derivações detalhadas são fornecidas para o conifold resolvido e $\mathbb{P}^2$ local, incluindo o cálculo de singularidades de Borel, constantes de Stokes e a forma explícita dos operadores de curva espelho quântica.
  • As lições demonstram como os "padrões de pavão" (peacock patterns) de singularidades de Borel surgem no caso do conifold resolvido.

Significância e Alegações
O artigo afirma fornecer um arcabouço unificado conectando as divergências perturbativas da teoria de string aos efeitos não perturbativos via resurgência e teoria espectral.

• Unificação de Conceitos: O trabalho estabelece um elo concreto entre a estrutura resurgente de séries perturbativas (análise matemática) e invariantes BPS (dados físicos/geométricos), sugerindo que a completude não perturbativa da string está codificada no espectro BPS.
• Definição Não Perturbativa: A correspondência TS/ST oferece uma definição não perturbativa rigorosa para strings topológicas em CY toricas, contornando a falta de uma definição não perturbativa geral para a teoria de strings. Esta definição é fundamentada na teoria bem posta de operadores de classe traço.
• Geometria Emergente: As lições ilustram o conceito de "geometria quântica", onde a geometria contínua da variedade CY e suas correções de string emergem do espectro discreto de um modelo de mecânica quântica unidimensional no limite de grande $N$.
• Testabilidade: Diferente de muitas propostas não perturbativas em teoria de strings, as conjecturas apresentadas são explicitamente testáveis. O autor observa que verificações numéricas para $\mathbb{P}^2$ local e o conifold resolvido foram bem-sucedidas, e que a correspondência foi rigorosamente provada em limites específicos (ex: o limite 4d relacionado à teoria de Seiberg–Witten).

O autor mantém um tom modesto quanto à prova geral destas conjecturas, reconhecendo que, embora elas se sustentem em inúmeros casos testados e limites específicos, uma prova matemática rigorosa para variedades CY toricas gerais permanece como um problema em aberto. As lições servem como uma visão introdutória, enfatizando estudos de caso detalhados sobre construções gerais, e destacando a interação entre física matemática, geometria enumerativa e mecânica quântica.