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

Zur offenen TS/ST-Korrespondenz

Grundlegende Informationen

  • Papier-ID: 2503.21762
  • Titel: Zur offenen TS/ST-Korrespondenz
  • Autoren: Matijn François (Université de Genève), Alba Grassi (CERN)
  • Klassifizierung: hep-th math-ph math.MP math.SP
  • Veröffentlichungszeitpunkt: 2025 (zur Einreichung bei Communications in Mathematical Physics vorbereitet)
  • Papierlink: https://arxiv.org/abs/2503.21762

Zusammenfassung

Die Topologische-Stringtheorie/Spektraltheorie-Korrespondenz (TS/ST) etabliert eine exakte nichtperturbative Dualität zwischen topologischen Strings auf lokalen Calabi-Yau-Dreifaltigkeiten und der Spektraltheorie quantisierter Spiegelkurven. Während diese Dualität im geschlossenen Stringsektor streng formuliert wurde, bleibt das Verständnis des offenen Stringsektors begrenzt. Aufbauend auf den Arbeiten 1-3 erzielen wir Fortschritte in dieser Richtung durch die Konstruktion von ganzen Funktionen Off-Shell-Eigenfunktionen quantisierter Spiegelkurven aus offenen topologischen Stringpartitionsfunktionen. Die Forschung konzentriert sich auf lokales F0\mathbb{F}_0, dessen Spiegelkurve der Baxter-Gleichung des zweiteiligen relativistischen Toda-Gitters entspricht. Anschließend untersuchen wir die Standard- und Dual-Vier-Dimensionen-Grenzwerte, in denen die quantisierte Spiegelkurve von lokalem F0\mathbb{F}_0 jeweils zu dem modifizierten Mathieu-Operator und dem McCoy-Tracy-Wu-Operator degeneriert. In diesen Grenzwerten bietet der Rahmen eine Methode zur Konstruktion ganzer Funktionen Off-Shell-Eigenfunktionen der mit diesen Operatoren verbundenen Differenzengleichungen. Darüber hinaus entdecken wir eine einfache Beziehung zwischen On-Shell-Eigenfunktionen der modifizierten Mathieu- und McCoy-Tracy-Wu-Operatoren, was zu einer funktionalen Beziehung zwischen den Operatoren führt.

Forschungshintergrund und Motivation

Problemhintergrund

Die Topologische-Stringtheorie/Spektraltheorie-Korrespondenz (TS/ST) ist eine wichtige Brücke, die die topologische Stringtheorie und quantenintegrable Systeme verbindet. Der Kern dieser Korrespondenz besteht darin, eine exakte Beziehung zwischen der Partitionsfunktion topologischer Strings auf lokalen Calabi-Yau-Dreifaltigkeiten und den Spektraleigenschaften quantisierter Spiegelkurven herzustellen.

Schlüsselfragen

  1. Geschlossener Stringsektor gelöst: Die TS/ST-Korrespondenz wurde im geschlossenen Stringsektor streng formuliert und etabliert die Beziehung zwischen der Spektraldeterminante und dem topologischen String-Grand-Potential: det(1+κρ)=kZeJ(μ+i2πk,ξ,)\det(1 + \kappa\rho) = \sum_{k\in\mathbb{Z}} e^{J(\mu+i2\pi k,\xi,\hbar)}
  2. Offener Stringsektor zu verbessern: Die Korrespondenzbeziehung im offenen Stringsektor bleibt unvollständig, insbesondere fehlt eine hintergrundunabhängige nichtperturbative Formulierung.
  3. Herausforderung der Eigenfunktionskonstruktion: Es ist notwendig, Eigenfunktionen zu konstruieren, die sowohl die Differenzengleichung erfüllen als auch die korrekten analytischen Eigenschaften besitzen.

Forschungsmotivation

  • Verbesserung der Theorie des offenen Stringsektors der TS/ST-Korrespondenz
  • Konstruktion ganzer Funktionen Off-Shell-Eigenfunktionen
  • Etablierung funktionaler Beziehungen zwischen verschiedenen Quantenoperatoren
  • Bereitstellung neuer Lösungsmethoden für quantenintegrable Systeme

Kernbeiträge

  1. Konstruktion der vollständigen offenen TS/ST-Korrespondenz für lokales F0\mathbb{F}_0 mit expliziter Darstellung der Eigenfunktionen: ψ(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. Beweis der Ganzen-Funktionen-Eigenschaft der Eigenfunktionen: Auch im Off-Shell-Fall sind die konstruierten Eigenfunktionen ganze Funktionen in der komplexen xx-Ebene.
  3. Etablierung von Operatorbeziehungen im Vier-Dimensionen-Grenzwert:
    • Standard-Vier-Dimensionen-Grenzwert: Quantisierte Spiegelkurve degeneriert zum modifizierten Mathieu-Operator
    • Dual-Vier-Dimensionen-Grenzwert: Degeneriert zum McCoy-Tracy-Wu-Operator
    • Entdeckung einfacher Beziehungen zwischen Eigenfunktionen beider Operatoren
  4. Bereitstellung einer Matrixmodelldarstellung: Durch kanonische Transformation wird die Eigenfunktion als Form des O(2)-Matrixmodells dargestellt.

Methodische Erläuterung

Aufgabendefinition

Konstruktion der Eigenfunktionen der quantisierten Spiegelkurve von lokalem F0\mathbb{F}_0, die dem Operator entspricht: 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

Die Eigenwertgleichung lautet: ψ(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

Architektur der Kernmethode

1. Konstruktion des topologischen String-Grand-Potentials

Definition des vollständigen Grand-Potentials: J(x,μ,ξ,)=J(μ,ξ,)+Joffen(x,μ,ξ,)J(x,\mu,\xi,\hbar) = J(\mu,\xi,\hbar) + J^{\text{offen}}(x,\mu,\xi,\hbar)

wobei der geschlossene Stringteil umfasst:

  • Beitrag konstanter Abbildungen A(ξ,)A(\xi,\hbar)
  • Polynomialteil Jp(μ,ξ,)J_p(\mu,\xi,\hbar)
  • Einschleifenteil J1Schleife(μ,ξ,)J_{1-\text{Schleife}}(\mu,\xi,\hbar)
  • Instantonenteil JInstanton(μ,ξ,)J_{\text{Instanton}}(\mu,\xi,\hbar)

Der offene Stringteil umfasst:

  • Polynomialteil: Jpoffen(x,ξ,)=i2ξxix22+12(2π1)xJ^{\text{offen}}_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
  • Einschleifenteil: Beteiligung der Faddeev-Quantendoppellogarithmusfunktion
  • Instantonenteil: Kombination von NS- und GV-Phasen

2. Entdeckung der Symmetriestruktur

Die Schlüsselbeobachtung ist, dass die Eigenfunktion eine zweitertige Symmetriestruktur besitzt: ψ(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)

Diese Struktur gewährleistet:

  • Gegenseitige Aufhebung von Polen
  • Beibehaltung der Ganzen-Funktionen-Eigenschaft
  • Korrektes asymptotisches Verhalten

3. Koordinatentransformation des Matrixmodells

Durch die 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

wird das Problem in die Matrixmodellform transformiert, und die Eigenfunktion kann dargestellt werden als: ψ(x,κ)=RdqU(x,q)Ξ(q,κ)\psi(x,\kappa) = \int_{\mathbb{R}} dq\, U(x,q)\Xi(q,\kappa)

wobei U(x,q)U(x,q) der unitäre Transformationskern ist und Ξ(q,κ)\Xi(q,\kappa) vom O(2)-Matrixmodell gegeben wird.

Technische Innovationspunkte

  1. Nichtperturbative Vervollständigung: Durch spezielle Kombination von NS- und GV-Phasen werden die Pole jeder Phase eliminiert, was zu einer auf allen R>0\hbar\in\mathbb{R}_{>0} wohldefinierten Funktion führt.
  2. Ganzen-Funktionen-Eigenschaft: Die sorgfältig gestaltete zweitertige Struktur gewährleistet, dass auch wenn einzelne Terme Pole haben, die Summe dennoch eine ganze Funktion ist.
  3. Hintergrundunabhängigkeit: Die Summation über kk glättet alle Singularitäten des geschlossenen Stringmoduli-Raums, die Summation über σ\sigma (zweitertige Struktur) glättet die Singularitäten des offenen Stringmoduli-Raums.

Experimentelle Einrichtung

Numerische Verifikationsmethoden

  1. Numerische Lösung des Spektralproblems: Diagonalisierung des Quantenspiegelkurven-Operators in der harmonischen Oszillator-Basis
  2. Eigenfunktionsvergleich: Vergleich der analytischen Konstruktion mit numerischen Ergebnissen
  3. Konvergenztests: Verifikation der Konvergenz der Instantonenentwicklung

Parametereinstellung

  • Test verschiedener ξR\xi \in \mathbb{R} Werte
  • Betrachtung rationaler Fälle πQ>0\hbar \in \pi\mathbb{Q}_{>0}
  • Verifikation des allgemeinen Falls R>0\hbar \in \mathbb{R}_{>0}

Analytische Verifikation

  • Nutzung der Quasi-Periodizitätseigenschaften der Faddeev-Quantendoppellogarithmusfunktion
  • Anwendung des Residuensatzes zur Integralberechnung
  • Verifikation der Erfüllung der Differenzengleichung

Experimentelle Ergebnisse

Hauptnumerische Ergebnisse

  1. Hochpräzisions-Übereinstimmung: Analytische Eigenfunktionen stimmen mit numerischen Ergebnissen in der Testgenauigkeit vollständig überein
  2. Ganzen-Funktionen-Verifikation: Numerische Bestätigung, dass die konstruierte Funktion keine Pole in der komplexen Ebene hat
  3. Konvergenzbestätigung: Die Instantonenreihe zeigt kompakte Konvergenzeigenschaften

Detaillierte Fallanalyse

Das Papier bietet detaillierte Abbildungen für mehrere Parameterkombinationen:

  • ξ=16/53,=8π/3\xi = -16/53, \hbar = 8\pi/3: Darstellung von On-Shell- und Off-Shell-Eigenfunktionen
  • ξ=ln(3)/3,=2π/3\xi = -\ln(3)/3, \hbar = 2\pi/3: Verifikation des rationalen \hbar-Falls
  • Systematische Tests verschiedener ξ\xi- und \hbar-Kombinationen

Verifikation des Vier-Dimensionen-Grenzwerts

  1. Standard-Vier-Dimensionen-Grenzwert: Erfolgreiche Wiederherstellung bekannter Eigenfunktionen des modifizierten Mathieu-Operators
  2. Dual-Vier-Dimensionen-Grenzwert: Übereinstimmung mit McCoy-Tracy-Wu-Operator-Ergebnissen
  3. Operatorbeziehung: Numerische Verifikation der Äquivalenz der Eigenfunktionen beider Operatoren

Verwandte Arbeiten

Entwicklung der TS/ST-Korrespondenz

  • Grassi-Hatsuda-Mariño (2016): Etablierung der geschlossenen TS/ST-Korrespondenz
  • Mariño-Zakany (2017,2019): Erste Forschungen zum offenen Stringsektor, konzentriert auf selbstduale Punkte
  • François-Grassi (2024): Painlevé-Kern und Starkkopplungsforschung von Oberflächendefekten

Quantenintegrable Systeme

  • Relativistisches Toda-Gitter: Entsprechung zur Baxter-Gleichung des zweiteiligen Falls
  • Elliptisches Ruijsenaars-Schneider-System: Allgemeinerer integrabler Systemrahmen
  • Cluster-Integrable Systeme: Geometrische Verbindung mit Spiegelkurven

Vierdimensionale Eichtheorie

  • AGT-Korrespondenz: Verbindung von 4D-Eichtheorie und konformer Feldtheorie
  • Nekrasov-Partitionsfunktion: Exakte Berechnung von NS- und GV-Phasen
  • Oberflächendefekte: Wechselwirkung von 2d/4d-Systemen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Vollständige offene TS/ST-Korrespondenz: Etablierung einer vollständigen nichtperturvativen Korrespondenzbeziehung für lokales F0\mathbb{F}_0
  2. Ganze Funktionen Eigenfunktionen: Konstruktion von Eigenfunktionen, die auch im Off-Shell-Fall die Ganzen-Funktionen-Eigenschaft bewahren
  3. Beziehungen zwischen Operatoren: Entdeckung tieferer Verbindungen zwischen modifizierten Mathieu- und McCoy-Tracy-Wu-Operatoren

Einschränkungen

  1. Geometriespezifität: Aktuelle Ergebnisse sind spezifisch für die lokale F0\mathbb{F}_0-Geometrie
  2. Geometrische Bedeutung des zweiten Terms: Die geometrische Interpretation des zweiten Terms in der zweitertige Struktur bleibt unklar
  3. Strenge mathematische Beweise: Wichtige Eigenschaften wie die Ganzen-Funktionen-Eigenschaft fehlen vollständige mathematische Beweise

Zukünftige Richtungen

  1. Verallgemeinerung auf andere Geometrien: Erweiterung auf alle torischen Calabi-Yau-Dreifaltigkeiten
  2. Analyse aus Rekurrenztheorie: Verständnis nichtperturvativer Effekte aus der Perspektive der Rekurrenztheorie
  3. q-Äquimonodromiτ-Funktionen: Erkundung von Verbindungen mit quantenäquimonodromischen Deformationen
  4. Faser-Basis-Dualität: Untersuchung der Invarianz unter tBtFt_B \leftrightarrow t_F Austausch

Tiefgreifende Bewertung

Stärken

  1. Theoretische Vollständigkeit: Erste vollständige offene TS/ST-Korrespondenz für lokales F0\mathbb{F}_0
  2. Technische Innovation: Die Entdeckung der zweitertige Symmetriestruktur ist ein wichtiger technischer Durchbruch
  3. Mehrfache Verifikation: Analytische, numerische und Vier-Dimensionen-Grenzwert-Verifikation aus mehreren Perspektiven
  4. Tiefe Verbindungen: Enthüllung unerwarteter Verbindungen zwischen verschiedenen Quantenoperatoren

Mängel

  1. Geometrische Einschränkung: Die Universalität der Methode muss noch überprüft werden
  2. Unvollständige Beweise: Einige Schlüsseleigenschaften fehlen strenge Beweise
  3. Rechenkomplexität: Die praktische Berechnung beinhaltet komplexe spezielle Funktionen

Einfluss

  1. Theoretischer Beitrag: Bereitstellung neuer Werkzeuge für topologische Stringtheorie und quantenintegrable Systeme
  2. Methodologische Bedeutung: Die nichtperturbative Vervollständigungsmethode hat breite Anwendbarkeit
  3. Interdisziplinärer Einfluss: Verbindung von Stringtheorie, mathematischer Physik und integrablen Systemen in mehreren Bereichen

Anwendungsszenarien

  • Exakte Lösung quantenintegrabler Systeme
  • Nichtperturbative Forschung der topologischen Stringtheorie
  • Untersuchung von Korrespondenzbeziehungen zwischen 4D-Eichtheorie und 2D-Systemen
  • Theorie spezieller Funktionen und orthogonaler Polynome

Referenzen

Dieses Papier zitiert 105 verwandte Referenzen, die wichtige Arbeiten in mehreren Bereichen wie topologischer Stringtheorie, quantenintegrablen Systemen und mathematischer Physik abdecken, insbesondere die bahnbrechenden Beiträge von Mariño, Grassi, Kashaev und anderen zur TS/ST-Korrespondenz.