2025-11-24T17:16:18.050515

On the open TS/ST correspondence

François, Grassi
The topological string/spectral theory correspondence establishes a precise, non-perturbative duality between topological strings on local Calabi-Yau threefolds and the spectral theory of quantized mirror curves. While this duality has been rigorously formulated for the closed topological string sector, the open string sector remains less understood. Building on the results of [1-3], we make further progress in this direction by constructing entire, off-shell eigenfunctions for the quantized mirror curve from open topological string partition functions. We focus on local $\mathbb{F}_0$, whose mirror curve corresponds to the Baxter equation of the two-particle, relativistic Toda lattice. We then study the standard and dual four-dimensional limits, where the quantum mirror curve for local $\mathbb{F}_0$ degenerates into the modified Mathieu and McCoy-Tracy-Wu operators, respectively. In these limits, our framework provides a way to construct entire, off-shell eigenfunctions for the difference equations associated with these operators. Furthermore, we find a simple relation between the on-shell eigenfunctions of the modified Mathieu and McCoy-Tracy-Wu operators, leading to a functional relation between the operators themselves.
academic

Sobre la correspondencia abierta TS/ST

Información Básica

  • ID del Artículo: 2503.21762
  • Título: Sobre la correspondencia abierta TS/ST
  • Autores: Matijn François (Université de Genève), Alba Grassi (CERN)
  • Clasificación: hep-th math-ph math.MP math.SP
  • Fecha de Publicación: 2025 (Preparado para envío a Communications in Mathematical Physics)
  • Enlace del Artículo: https://arxiv.org/abs/2503.21762

Resumen

La correspondencia de teoría de cuerdas topológica/teoría espectral (TS/ST) establece una dualidad exacta no-perturbativa entre cuerdas topológicas en variedades locales de Calabi-Yau tridimensionales y la teoría espectral de curvas espejo cuantizadas. Aunque esta dualidad ha sido formulada rigurosamente en el sector de cuerdas cerradas, la comprensión del sector de cuerdas abiertas sigue siendo limitada. En este trabajo, basándose en las referencias 1-3, se avanza en esta dirección mediante la construcción de funciones propias fuera de la capa de la curva espejo cuantizada como funciones enteras a partir de la función de partición de cuerdas topológicas abiertas. La investigación se enfoca en la geometría local F0\mathbb{F}_0, cuya curva espejo corresponde a la ecuación de Baxter del retículo relativista de Toda de dos partículas. Posteriormente se estudian los límites cuadridimensionales estándar y dual, donde la curva espejo cuántica de la geometría local F0\mathbb{F}_0 degenera respectivamente en el operador de Mathieu modificado y el operador de McCoy-Tracy-Wu. En estos límites, el marco proporciona un método para construir funciones propias fuera de la capa como funciones enteras de ecuaciones en diferencias asociadas a estos operadores. Además, se descubre una relación simple entre las funciones propias en la capa del operador de Mathieu modificado y McCoy-Tracy-Wu, lo que conduce a relaciones funcionales entre los operadores.

Contexto de Investigación y Motivación

Contexto del Problema

La correspondencia de teoría de cuerdas topológica/teoría espectral (TS/ST) es un puente importante que conecta la teoría de cuerdas topológica y los sistemas cuánticos integrables. El núcleo de esta correspondencia es establecer una relación exacta entre la función de partición de cuerdas topológicas en variedades locales de Calabi-Yau tridimensionales y las propiedades espectrales de curvas espejo cuantizadas.

Problemas Clave

  1. Sector de cuerdas cerradas resuelto: La correspondencia TS/ST en el sector de cuerdas cerradas ha sido formulada rigurosamente, estableciendo la relación entre el determinante espectral y el gran potencial de la cuerda topológica: det(1+κρ)=kZeJ(μ+i2πk,ξ,)\det(1 + \kappa\rho) = \sum_{k\in\mathbb{Z}} e^{J(\mu+i2\pi k,\xi,\hbar)}
  2. Sector de cuerdas abiertas por perfeccionar: La relación de correspondencia en el sector de cuerdas abiertas sigue siendo incompleta, particularmente carece de una formulación no-perturbativa independiente del fondo.
  3. Desafío en la construcción de funciones propias: Es necesario construir funciones propias que satisfagan ecuaciones en diferencias y posean las propiedades analíticas correctas.

Motivación de la Investigación

  • Perfeccionar la teoría del sector de cuerdas abiertas de la correspondencia TS/ST
  • Construir funciones propias fuera de la capa como funciones enteras
  • Establecer relaciones funcionales entre diferentes operadores cuánticos
  • Proporcionar nuevos métodos de resolución para sistemas cuánticos integrables

Contribuciones Principales

  1. Se construyó la correspondencia completa abierta TS/ST para la geometría local F0\mathbb{F}_0, proporcionando expresiones explícitas para las funciones propias: ψ(x,κ)=kZ(eJ(x,μ+i2πk,ξ,)+eiπ22+πx+J(xiπ,μ+iπ+i2πk,ξ,))\psi(x,\kappa) = \sum_{k\in\mathbb{Z}}\left(e^{J(x,\mu+i2\pi k,\xi,\hbar)} + e^{i\frac{\pi^2}{2\hbar}+\frac{\pi x}{\hbar}+J(-x-i\pi,\mu+i\pi+i2\pi k,\xi,\hbar)}\right)
  2. Se demostró la propiedad de función entera de las funciones propias: Incluso fuera de la capa, las funciones propias construidas son funciones enteras en el plano complejo xx.
  3. Se establecieron relaciones de operadores en el límite cuadridimensional:
    • Límite cuadridimensional estándar: la curva espejo cuántica degenera en el operador de Mathieu modificado
    • Límite cuadridimensional dual: degenera en el operador de McCoy-Tracy-Wu
    • Se descubre una relación simple entre las funciones propias de ambos operadores
  4. Se proporcionó una representación de modelo de matriz: Mediante una transformación canónica, la función propia se representa en la forma del modelo de matriz O(2).

Explicación Detallada de Métodos

Definición de la Tarea

Construir la función propia de la curva espejo cuántica de la geometría local F0\mathbb{F}_0, correspondiente al operador: O=ey^+ey^+e2ξ(ex^+ex^),[x^,y^]=iO = e^{\hat{y}} + e^{-\hat{y}} + e^{2\xi}(e^{\hat{x}} + e^{-\hat{x}}), \quad [\hat{x},\hat{y}] = i\hbar

La ecuación de valores propios es: ψ(x+i,κ)+ψ(xi,κ)+2e2ξcosh(x)ψ(x,κ)+κψ(x,κ)=0\psi(x+i\hbar,\kappa) + \psi(x-i\hbar,\kappa) + 2e^{2\xi}\cosh(x)\psi(x,\kappa) + \kappa\psi(x,\kappa) = 0

Arquitectura del Método Principal

1. Construcción del Gran Potencial de Cuerda Topológica

Se define el gran potencial completo: J(x,μ,ξ,)=J(μ,ξ,)+Jopen(x,μ,ξ,)J(x,\mu,\xi,\hbar) = J(\mu,\xi,\hbar) + J^{\text{open}}(x,\mu,\xi,\hbar)

donde la parte de cuerda cerrada incluye:

  • Contribución de mapeos constantes A(ξ,)A(\xi,\hbar)
  • Parte polinomial Jp(μ,ξ,)J_p(\mu,\xi,\hbar)
  • Parte de un bucle J1loop(μ,ξ,)J_{1-\text{loop}}(\mu,\xi,\hbar)
  • Parte instantónica Jinst(μ,ξ,)J_{\text{inst}}(\mu,\xi,\hbar)

La parte de cuerda abierta incluye:

  • Parte polinomial: Jpopen(x,ξ,)=i2ξxix22+12(2π1)xJ^{\text{open}}_p(x,\xi,\hbar) = -\frac{i}{\hbar}2\xi x - \frac{i}{\hbar}\frac{x^2}{2} + \frac{1}{2}\left(\frac{2\pi}{\hbar}-1\right)x
  • Parte de un bucle: involucra la función cuántica de Faddeev dilogaritmo
  • Parte instantónica: combinación de fases NS y GV

2. Descubrimiento de Estructura de Simetría

La observación clave es que la función propia posee una estructura simétrica de dos términos: ψ(x,κ)=ω(x,κ)+exp(iπ22+πx)ω(xiπ,κ)\psi(x,\kappa) = \omega(x,\kappa) + \exp\left(\frac{i\pi^2}{2\hbar} + \frac{\pi x}{\hbar}\right)\omega(-x-i\pi,-\kappa)

Esta estructura asegura:

  • La cancelación mutua de polos
  • La preservación de la propiedad de función entera
  • El comportamiento asintótico correcto

3. Transformación de Coordenadas del Modelo de Matriz

Mediante la transformación: x=12(q+p)+ξ,y=12(q+p)+ξx = \frac{1}{\sqrt{2}}(q+p) + \xi, \quad y = \frac{1}{\sqrt{2}}(-q+p) + \xi

se transforma el problema a la forma de modelo de matriz, y la función propia puede expresarse como: ψ(x,κ)=RdqU(x,q)Ξ(q,κ)\psi(x,\kappa) = \int_{\mathbb{R}} dq\, U(x,q)\Xi(q,\kappa)

donde U(x,q)U(x,q) es el núcleo de transformación unitaria y Ξ(q,κ)\Xi(q,\kappa) está dado por el modelo de matriz O(2).

Puntos de Innovación Técnica

  1. Completación no-perturbativa: Mediante una combinación especial de fases NS y GV, se eliminan los polos de cada una, obteniendo funciones bien definidas para todo R>0\hbar\in\mathbb{R}_{>0}.
  2. Propiedad de función entera: El diseño cuidadoso de la estructura de dos términos asegura que aunque los términos individuales tengan polos, la suma sigue siendo una función entera.
  3. Independencia del fondo: La suma sobre kk suaviza todos los puntos singulares del espacio de módulos de cuerdas cerradas, mientras que la suma sobre σ\sigma (estructura de dos términos) suaviza los puntos singulares del espacio de módulos de cuerdas abiertas.

Configuración Experimental

Métodos de Verificación Numérica

  1. Resolución numérica del problema espectral: Diagonalización del operador de curva espejo cuántica en la base del oscilador armónico
  2. Comparación de funciones propias: Comparación de la construcción analítica con resultados numéricos
  3. Pruebas de convergencia: Verificación de la convergencia de la expansión instantónica

Configuración de Parámetros

  • Prueba de diferentes valores de ξR\xi \in \mathbb{R}
  • Consideración de casos racionales πQ>0\hbar \in \pi\mathbb{Q}_{>0}
  • Verificación del caso general R>0\hbar \in \mathbb{R}_{>0}

Verificación Analítica

  • Utilización de propiedades cuasi-periódicas del dilogaritmo cuántico de Faddeev
  • Aplicación del teorema de residuos para cálculo de integrales
  • Verificación de la satisfacción de ecuaciones en diferencias

Resultados Experimentales

Resultados Numéricos Principales

  1. Coincidencia de alta precisión: Las funciones propias analíticas coinciden completamente con los resultados numéricos dentro de la precisión de prueba
  2. Verificación de función entera: Se confirma numéricamente que la función construida no tiene polos en el plano complejo
  3. Confirmación de convergencia: La serie instantónica muestra propiedades de convergencia compacta

Análisis de Casos Específicos

El artículo proporciona imágenes detalladas de múltiples combinaciones de parámetros:

  • ξ=16/53,=8π/3\xi = -16/53, \hbar = 8\pi/3: Muestra funciones propias en la capa y fuera de la capa
  • ξ=ln(3)/3,=2π/3\xi = -\ln(3)/3, \hbar = 2\pi/3: Verifica el caso de \hbar racional
  • Pruebas sistemáticas de varias combinaciones de ξ\xi y \hbar

Verificación del Límite Cuadridimensional

  1. Límite cuadridimensional estándar: Se recuperan exitosamente las funciones propias conocidas del operador de Mathieu modificado
  2. Límite cuadridimensional dual: Los resultados coinciden con el operador de McCoy-Tracy-Wu
  3. Relación de operadores: Se verifica numéricamente la equivalencia de las funciones propias de ambos operadores

Trabajos Relacionados

Desarrollo de la Correspondencia TS/ST

  • Grassi-Hatsuda-Mariño (2016): Establecimiento de la correspondencia TS/ST de cuerdas cerradas
  • Mariño-Zakany (2017,2019): Investigación inicial del sector de cuerdas abiertas, enfocada en puntos auto-duales
  • François-Grassi (2024): Investigación de acoplamiento fuerte del núcleo de Painlevé y defectos de superficie

Sistemas Cuánticos Integrables

  • Retículo relativista de Toda: Correspondencia con la ecuación de Baxter del caso de dos partículas
  • Sistema elíptico de Ruijsenaars-Schneider: Marco de sistema integrable más general
  • Sistema integrable de conglomerados: Conexión geométrica con curvas espejo

Teoría de Gauge Cuadridimensional

  • Correspondencia AGT: Conexión entre teoría de gauge 4D y teoría conforme de campos
  • Función de partición de Nekrasov: Cálculo exacto de fases NS y GV
  • Defectos de superficie: Interacción de sistemas 2d/4d

Conclusiones y Discusión

Conclusiones Principales

  1. Correspondencia abierta TS/ST completa: Se establece una relación de correspondencia no-perturbativa completa para la geometría local F0\mathbb{F}_0
  2. Funciones propias como funciones enteras: Se construyen funciones propias que mantienen la propiedad de función entera incluso fuera de la capa
  3. Relaciones entre operadores: Se descubren conexiones profundas entre los operadores de Mathieu modificado y McCoy-Tracy-Wu

Limitaciones

  1. Especificidad geométrica: Los resultados actuales son específicos de la geometría local F0\mathbb{F}_0
  2. Significado geométrico del segundo término: La interpretación geométrica del segundo término en la estructura de dos términos sigue siendo poco clara
  3. Pruebas matemáticas rigurosas: Propiedades clave como la propiedad de función entera carecen de pruebas matemáticas completas

Direcciones Futuras

  1. Generalización a otras geometrías: Extensión a todas las variedades de Calabi-Yau tridimensionales toroidales
  2. Análisis de teoría de recurrencia: Comprensión de efectos no-perturbativos desde la perspectiva de la teoría de recurrencia
  3. Funciones τ q-isomonódromas: Exploración de conexiones con deformaciones cuánticas isomonódromas
  4. Dualidad fibra-base: Investigación de invariancia bajo intercambio tBtFt_B \leftrightarrow t_F

Evaluación Profunda

Fortalezas

  1. Completitud teórica: Primera presentación de la correspondencia abierta TS/ST completa para la geometría local F0\mathbb{F}_0
  2. Innovación técnica: El descubrimiento de la estructura simétrica de dos términos es un avance técnico importante
  3. Verificación múltiple: Verificación desde múltiples perspectivas: analítica, numérica y límites cuadridimensionales
  4. Conexiones profundas: Se revelan conexiones inesperadas entre diferentes operadores cuánticos

Insuficiencias

  1. Limitaciones geométricas: La universalidad del método requiere verificación
  2. Pruebas incompletas: Ciertas propiedades clave carecen de pruebas rigurosas
  3. Complejidad computacional: El cálculo real involucra funciones especiales complejas

Impacto

  1. Contribución teórica: Proporciona nuevas herramientas para la teoría de cuerdas topológica y sistemas cuánticos integrables
  2. Significado metodológico: El método de completación no-perturbativa tiene amplia aplicabilidad
  3. Impacto interdisciplinario: Conecta múltiples campos: teoría de cuerdas, física matemática y sistemas integrables

Escenarios de Aplicación

  • Resolución exacta de sistemas cuánticos integrables
  • Investigación no-perturbativa de teoría de cuerdas topológica
  • Investigación de relaciones de correspondencia entre teoría de gauge 4D y sistemas 2D
  • Teoría de funciones especiales y polinomios ortogonales

Referencias Bibliográficas

Este artículo cita 105 referencias relacionadas, abarcando trabajos importantes en múltiples campos incluyendo teoría de cuerdas topológica, sistemas cuánticos integrables, física matemática, en particular las contribuciones pioneras de Mariño, Grassi, Kashaev y otros en la correspondencia TS/ST.