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

Sur la correspondance TS/ST ouverte

Informations de base

  • ID de l'article: 2503.21762
  • Titre: Sur la correspondance TS/ST ouverte
  • Auteurs: Matijn François (Université de Genève), Alba Grassi (CERN)
  • Classification: hep-th math-ph math.MP math.SP
  • Date de publication: 2025 (préparation pour soumission à Communications in Mathematical Physics)
  • Lien de l'article: https://arxiv.org/abs/2503.21762

Résumé

La correspondance topologique cordes/théorie spectrale établit une dualité non-perturbative exacte entre les cordes topologiques sur les variétés de Calabi-Yau locales tridimensionnelles et la théorie spectrale des courbes miroir quantifiées. Bien que cette dualité ait été formulée rigoureusement dans le secteur des cordes fermées, la compréhension du secteur des cordes ouvertes reste limitée. Cet article progresse dans cette direction en construisant, sur la base des références 1-3, des fonctions propres hors-couche entières de la courbe miroir quantifiée à partir de la fonction de partition des cordes topologiques ouvertes. L'étude se concentre sur le cas local F0\mathbb{F}_0, dont la courbe miroir correspond à l'équation de Baxter du réseau de Toda relativiste à deux particules. Nous étudions ensuite les limites quadridimensionnelles standard et duale, où la courbe miroir quantifiée du cas local F0\mathbb{F}_0 dégénère respectivement en l'opérateur de Mathieu modifié et l'opérateur de McCoy-Tracy-Wu. Dans ces limites, le cadre fournit une méthode pour construire les fonctions propres hors-couche entières des équations aux différences associées à ces opérateurs. De plus, nous découvrons une relation simple entre les fonctions propres sur-couche des opérateurs de Mathieu modifié et McCoy-Tracy-Wu, conduisant à une relation fonctionnelle entre les opérateurs.

Contexte et motivation de la recherche

Contexte du problème

La correspondance topologique cordes/théorie spectrale (TS/ST) est un pont important reliant la théorie des cordes topologiques et les systèmes quantiques intégrables. Le cœur de cette correspondance est d'établir une relation exacte entre la fonction de partition des cordes topologiques sur les variétés de Calabi-Yau locales tridimensionnelles et les propriétés spectrales des courbes miroir quantifiées.

Questions clés

  1. Secteur des cordes fermées résolu: La correspondance TS/ST a été formulée rigoureusement dans le secteur des cordes fermées, établissant la relation entre le déterminant spectral et le grand potentiel topologique des cordes: det(1+κρ)=kZeJ(μ+i2πk,ξ,)\det(1 + \kappa\rho) = \sum_{k\in\mathbb{Z}} e^{J(\mu+i2\pi k,\xi,\hbar)}
  2. Secteur des cordes ouvertes à perfectionner: La relation de correspondance dans le secteur des cordes ouvertes reste incomplète, en particulier manquant d'une formulation non-perturbative indépendante du fond.
  3. Défi de la construction des fonctions propres: Il est nécessaire de construire des fonctions propres qui satisfont à la fois l'équation aux différences et possèdent les propriétés analytiques correctes.

Motivation de la recherche

  • Perfectionner la théorie du secteur des cordes ouvertes de la correspondance TS/ST
  • Construire des fonctions propres hors-couche entières
  • Établir des relations fonctionnelles entre différents opérateurs quantiques
  • Fournir de nouvelles méthodes de résolution pour les systèmes quantiques intégrables

Contributions principales

  1. Construction de la correspondance TS/ST complète des cordes ouvertes pour le cas local F0\mathbb{F}_0, donnant une expression explicite des fonctions propres: ψ(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. Preuve de la propriété de fonction entière des fonctions propres: Même hors-couche, les fonctions propres construites sont des fonctions entières sur le plan complexe en xx.
  3. Établissement des relations d'opérateurs dans les limites quadridimensionnelles:
    • Limite quadridimensionnelle standard: la courbe miroir quantifiée dégénère en l'opérateur de Mathieu modifié
    • Limite quadridimensionnelle duale: dégénère en l'opérateur de McCoy-Tracy-Wu
    • Découverte d'une relation simple entre les fonctions propres des deux opérateurs
  4. Fourniture d'une représentation en modèle matriciel: Par transformation canonique, les fonctions propres sont exprimées sous la forme d'un modèle matriciel O(2).

Explication détaillée des méthodes

Définition de la tâche

Construire les fonctions propres de la courbe miroir quantifiée du cas local F0\mathbb{F}_0, correspondant à l'opérateur: 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

L'équation propre est: ψ(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

Architecture de la méthode principale

1. Construction du grand potentiel des cordes topologiques

Définition du grand potentiel complet: J(x,μ,ξ,)=J(μ,ξ,)+Jopen(x,μ,ξ,)J(x,\mu,\xi,\hbar) = J(\mu,\xi,\hbar) + J^{\text{open}}(x,\mu,\xi,\hbar)

où la partie des cordes fermées comprend:

  • Contribution des applications constantes A(ξ,)A(\xi,\hbar)
  • Partie polynomiale Jp(μ,ξ,)J_p(\mu,\xi,\hbar)
  • Partie à une boucle J1loop(μ,ξ,)J_{1-\text{loop}}(\mu,\xi,\hbar)
  • Partie instantonique Jinst(μ,ξ,)J_{\text{inst}}(\mu,\xi,\hbar)

La partie des cordes ouvertes comprend:

  • Partie polynomiale: 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
  • Partie à une boucle: impliquant la fonction quantique de Faddeev dilogarithme
  • Partie instantonique: combinaison des phases NS et GV

2. Découverte de la structure de symétrie

L'observation clé est que la fonction propre possède une structure symétrique à deux termes: ψ(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)

Cette structure assure:

  • L'annulation mutuelle des pôles
  • La préservation de la propriété de fonction entière
  • Le comportement asymptotique correct

3. Transformation de coordonnées du modèle matriciel

Par la transformation: 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

le problème est transformé en forme de modèle matriciel, et la fonction propre peut être exprimée comme: ψ(x,κ)=RdqU(x,q)Ξ(q,κ)\psi(x,\kappa) = \int_{\mathbb{R}} dq\, U(x,q)\Xi(q,\kappa)

U(x,q)U(x,q) est le noyau de transformation unitaire et Ξ(q,κ)\Xi(q,\kappa) est donné par le modèle matriciel O(2).

Points d'innovation technique

  1. Complétude non-perturbative: Par une combinaison spéciale des phases NS et GV, les pôles de chacune sont éliminés, obtenant une fonction bien définie pour tous les R>0\hbar\in\mathbb{R}_{>0}.
  2. Propriété de fonction entière: La conception minutieuse de la structure à deux termes assure que même si les termes individuels ont des pôles, la somme reste une fonction entière.
  3. Indépendance du fond: La sommation sur kk lisse tous les points singuliers de l'espace de modules des cordes fermées, et la sommation sur σ\sigma (structure à deux termes) lisse les singularités de l'espace de modules des cordes ouvertes.

Configuration expérimentale

Méthodes de vérification numérique

  1. Résolution numérique du problème spectral: Diagonalisation de l'opérateur de courbe miroir quantifiée dans la base de l'oscillateur harmonique
  2. Comparaison des fonctions propres: Comparaison de la construction analytique avec les résultats numériques
  3. Tests de convergence: Vérification de la convergence du développement instantonique

Configuration des paramètres

  • Test de différentes valeurs de ξR\xi \in \mathbb{R}
  • Considération du cas rationnel πQ>0\hbar \in \pi\mathbb{Q}_{>0}
  • Vérification du cas générique R>0\hbar \in \mathbb{R}_{>0}

Vérification analytique

  • Utilisation des propriétés quasi-périodiques de la fonction quantique de Faddeev dilogarithme
  • Application du théorème des résidus pour le calcul d'intégrales
  • Vérification de la satisfaction de l'équation aux différences

Résultats expérimentaux

Résultats numériques principaux

  1. Concordance haute précision: Les fonctions propres analytiques correspondent parfaitement aux résultats numériques dans la précision testée
  2. Vérification de fonction entière: Confirmation numérique que la fonction construite n'a pas de pôles dans le plan complexe
  3. Confirmation de convergence: La série instantonique présente des propriétés de convergence compacte

Analyse de cas spécifiques

L'article fournit des images détaillées pour plusieurs combinaisons de paramètres:

  • ξ=16/53,=8π/3\xi = -16/53, \hbar = 8\pi/3: Illustration des fonctions propres sur-couche et hors-couche
  • ξ=ln(3)/3,=2π/3\xi = -\ln(3)/3, \hbar = 2\pi/3: Vérification du cas \hbar rationnel
  • Tests systématiques de diverses combinaisons de ξ\xi et \hbar

Vérification des limites quadridimensionnelles

  1. Limite quadridimensionnelle standard: Récupération réussie des fonctions propres connues de l'opérateur de Mathieu modifié
  2. Limite quadridimensionnelle duale: Cohérence avec les résultats de l'opérateur de McCoy-Tracy-Wu
  3. Relations d'opérateurs: Vérification numérique de l'équivalence des fonctions propres des deux opérateurs

Travaux connexes

Développement de la correspondance TS/ST

  • Grassi-Hatsuda-Mariño (2016): Établissement de la correspondance TS/ST des cordes fermées
  • Mariño-Zakany (2017,2019): Recherche préliminaire du secteur des cordes ouvertes, concentrée sur le point auto-dual
  • François-Grassi (2024): Recherche du noyau de Painlevé et des défauts de surface en couplage fort

Systèmes quantiques intégrables

  • Réseau de Toda relativiste: Correspondance avec l'équation de Baxter du cas à deux particules
  • Système elliptique de Ruijsenaars-Schneider: Cadre de système intégrable plus général
  • Système intégrable de clusters: Connexion géométrique avec les courbes miroir

Théorie de jauge quadridimensionnelle

  • Correspondance AGT: Connexion entre la théorie de jauge 4D et la théorie conforme des champs
  • Fonction de partition de Nekrasov: Calcul exact des phases NS et GV
  • Défauts de surface: Interaction des systèmes 2d/4d

Conclusions et discussions

Conclusions principales

  1. Correspondance TS/ST complète des cordes ouvertes: Établissement d'une relation de correspondance non-perturbative complète pour la géométrie locale F0\mathbb{F}_0
  2. Fonctions propres entières: Construction de fonctions propres qui conservent la propriété de fonction entière même hors-couche
  3. Relations entre opérateurs: Découverte de connexions profondes entre les opérateurs de Mathieu modifié et de McCoy-Tracy-Wu

Limitations

  1. Spécificité géométrique: Les résultats actuels sont spécifiques à la géométrie locale F0\mathbb{F}_0
  2. Signification géométrique du deuxième terme: L'interprétation géométrique du deuxième terme dans la structure à deux termes reste peu claire
  3. Preuve mathématique rigoureuse: Les propriétés clés telles que la propriété de fonction entière manquent de preuve mathématique complète

Directions futures

  1. Généralisation à d'autres géométries: Extension à toutes les variétés de Calabi-Yau toriques tridimensionnelles
  2. Analyse par théorie de récurrence: Compréhension des effets non-perturbatifs du point de vue de la théorie de récurrence
  3. Fonctions τ q-isomonodromiques: Exploration des connexions avec la déformation quantique isomonodromique
  4. Dualité fibre-base: Étude de l'invariance sous l'échange tBtFt_B \leftrightarrow t_F

Évaluation approfondie

Avantages

  1. Complétude théorique: Première formulation complète de la correspondance TS/ST des cordes ouvertes pour le cas local F0\mathbb{F}_0
  2. Innovation technique: La découverte de la structure symétrique à deux termes est une percée technique importante
  3. Vérification multiple: Vérification sous plusieurs angles: analytique, numérique, limites quadridimensionnelles
  4. Connexions profondes: Révélation de connexions inattendues entre différents opérateurs quantiques

Insuffisances

  1. Limitation géométrique: L'universalité de la méthode reste à vérifier
  2. Preuve incomplète: Certaines propriétés clés manquent de preuve rigoureuse
  3. Complexité computationnelle: Les calculs réels impliquent des fonctions spéciales complexes

Impact

  1. Contribution théorique: Fourniture de nouveaux outils pour la théorie des cordes topologiques et les systèmes quantiques intégrables
  2. Signification méthodologique: La méthode de complétude non-perturbative a une applicabilité générale
  3. Impact interdisciplinaire: Connexion entre la théorie des cordes, la physique mathématique et les systèmes intégrables

Scénarios d'application

  • Résolution exacte des systèmes quantiques intégrables
  • Recherche non-perturbative de la théorie des cordes topologiques
  • Étude des relations de correspondance entre la théorie de jauge 4D et les systèmes 2D
  • Théorie des fonctions spéciales et polynômes orthogonaux

Références

Cet article cite 105 références pertinentes, couvrant les travaux importants dans plusieurs domaines tels que la théorie des cordes topologiques, les systèmes quantiques intégrables et la physique mathématique, en particulier les contributions fondatrices de Mariño, Grassi, Kashaev et autres dans la correspondance TS/ST.