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.
논문 ID : 2503.21762제목 : On the open TS/ST correspondence저자 : Matijn François (Université de Genève), Alba Grassi (CERN)분류 : hep-th math-ph math.MP math.SP발표 시간 : 2025년 (Communications in Mathematical Physics에 투고 예정)논문 링크 : https://arxiv.org/abs/2503.21762 위상 현/스펙트럼 이론 대응(TS/ST correspondence)은 국소 Calabi-Yau 삼중곡면 위의 위상 현과 양자화된 거울 곡선의 스펙트럼 이론 사이의 정확한 비섭동 쌍대성을 확립한다. 이 쌍대성이 닫힌 현 부채꼴에서는 엄격하게 표현되었지만, 열린 현 부채꼴에 대한 이해는 여전히 제한적이다. 본 논문은 문헌 1-3 을 기반으로 열린 위상 현 배분함수로부터 양자화된 거울 곡선의 정수함수 비껍질 고유함수를 구성함으로써 이 방향에서 진전을 이룬다. 연구는 국소 F 0 \mathbb{F}_0 F 0 에 초점을 맞추며, 그 거울 곡선은 쌍입자 상대론적 Toda 격자의 Baxter 방정식에 대응된다. 이후 표준 및 쌍대 4차원 극한을 연구하며, 국소 F 0 \mathbb{F}_0 F 0 의 양자 거울 곡선은 각각 수정된 Mathieu 연산자와 McCoy-Tracy-Wu 연산자로 축퇴된다. 이러한 극한에서 본 프레임워크는 이들 연산자와 관련된 차분방정식의 정수함수 비껍질 고유함수를 구성하는 방법을 제공한다. 더욱이, 수정된 Mathieu 및 McCoy-Tracy-Wu 연산자의 껍질 고유함수 사이의 단순한 관계를 발견하여 연산자 간의 함수 관계식을 도출한다.
위상 현/스펙트럼 이론(TS/ST) 대응은 위상 현 이론과 양자 가적분 체계를 연결하는 중요한 다리이다. 이 대응의 핵심은 국소 Calabi-Yau 삼중곡면 위의 위상 현 배분함수와 양자화된 거울 곡선의 스펙트럼 성질 사이의 정확한 관계를 확립하는 것이다.
닫힌 현 부채꼴 해결됨 : TS/ST 대응이 닫힌 현 부채꼴에서 엄격하게 표현되어 스펙트럼 행렬식과 위상 현 grand potential 사이의 관계를 확립했다:
det ( 1 + κ ρ ) = ∑ k ∈ Z e J ( μ + i 2 π k , ξ , ℏ ) \det(1 + \kappa\rho) = \sum_{k\in\mathbb{Z}} e^{J(\mu+i2\pi k,\xi,\hbar)} det ( 1 + κ ρ ) = ∑ k ∈ Z e J ( μ + i 2 πk , ξ , ℏ ) 열린 현 부채꼴 미완성 : 열린 현 부채꼴의 대응 관계는 여전히 불완전하며, 특히 배경 무관의 비섭동 표현이 부족하다.고유함수 구성의 도전 : 차분방정식을 만족하면서 동시에 올바른 해석적 성질을 갖는 고유함수를 구성해야 한다.TS/ST 대응의 열린 현 부채꼴 이론 완성 정수함수의 비껍질 고유함수 구성 서로 다른 양자 연산자 간의 함수 관계 확립 양자 가적분 체계에 대한 새로운 해법 제공 국소 F 0 \mathbb{F}_0 F 0 의 완전한 열린 현 TS/ST 대응 구성 , 고유함수의 명시적 표현식 제시:
ψ ( x , κ ) = ∑ k ∈ Z ( e J ( x , μ + i 2 π k , ξ , ℏ ) + e i π 2 2 ℏ + π x ℏ + J ( − x − i π , μ + i π + i 2 π 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) ψ ( x , κ ) = ∑ k ∈ Z ( e J ( x , μ + i 2 πk , ξ , ℏ ) + e i 2ℏ π 2 + ℏ π x + J ( − x − iπ , μ + iπ + i 2 πk , ξ , ℏ ) ) 고유함수의 정수함수 성질 증명 : 비껍질 경우에도 구성된 고유함수는 복소 x x x 평면에서 정수함수이다.4차원 극한에서의 연산자 관계 확립 :표준 4차원 극한: 양자 거울 곡선이 수정된 Mathieu 연산자로 축퇴 쌍대 4차원 극한: McCoy-Tracy-Wu 연산자로 축퇴 두 연산자의 고유함수 간 단순 관계 발견 행렬 모델 표현 제공 : 정준 변환을 통해 고유함수를 O(2) 행렬 모델 형태로 표현.국소 F 0 \mathbb{F}_0 F 0 양자 거울 곡선의 고유함수를 구성하며, 해당 곡선은 다음 연산자에 대응된다:
O = e y ^ + e − y ^ + e 2 ξ ( e x ^ + e − x ^ ) , [ x ^ , y ^ ] = i ℏ O = e^{\hat{y}} + e^{-\hat{y}} + e^{2\xi}(e^{\hat{x}} + e^{-\hat{x}}), \quad [\hat{x},\hat{y}] = i\hbar O = e y ^ + e − y ^ + e 2 ξ ( e x ^ + e − x ^ ) , [ x ^ , y ^ ] = i ℏ
고유방정식은:
ψ ( x + i ℏ , κ ) + ψ ( x − i ℏ , κ ) + 2 e 2 ξ 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 ψ ( x + i ℏ , κ ) + ψ ( x − i ℏ , κ ) + 2 e 2 ξ cosh ( x ) ψ ( x , κ ) + κ ψ ( x , κ ) = 0
완전한 grand potential을 정의:
J ( x , μ , ξ , ℏ ) = J ( μ , ξ , ℏ ) + J open ( x , μ , ξ , ℏ ) J(x,\mu,\xi,\hbar) = J(\mu,\xi,\hbar) + J^{\text{open}}(x,\mu,\xi,\hbar) J ( x , μ , ξ , ℏ ) = J ( μ , ξ , ℏ ) + J open ( x , μ , ξ , ℏ )
여기서 닫힌 현 부분은 다음을 포함:
상수 사상 기여 A ( ξ , ℏ ) A(\xi,\hbar) A ( ξ , ℏ ) 다항식 부분 J p ( μ , ξ , ℏ ) J_p(\mu,\xi,\hbar) J p ( μ , ξ , ℏ ) 한 루프 부분 J 1 − loop ( μ , ξ , ℏ ) J_{1-\text{loop}}(\mu,\xi,\hbar) J 1 − loop ( μ , ξ , ℏ ) 순간자 부분 J inst ( μ , ξ , ℏ ) J_{\text{inst}}(\mu,\xi,\hbar) J inst ( μ , ξ , ℏ ) 열린 현 부분은 다음을 포함:
다항식 부분: J p open ( x , ξ , ℏ ) = − i ℏ 2 ξ x − i ℏ x 2 2 + 1 2 ( 2 π ℏ − 1 ) x J^{\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 J p open ( x , ξ , ℏ ) = − ℏ i 2 ξ x − ℏ i 2 x 2 + 2 1 ( ℏ 2 π − 1 ) x 한 루프 부분: Faddeev 양자 이중 대수 함수 포함 순간자 부분: NS 및 GV 위상의 조합 핵심 관찰은 고유함수가 두 항의 대칭 구조를 갖는다는 것:
ψ ( x , κ ) = ω ( x , κ ) + exp ( i π 2 2 ℏ + π x ℏ ) ω ( − x − i π , − κ ) \psi(x,\kappa) = \omega(x,\kappa) + \exp\left(\frac{i\pi^2}{2\hbar} + \frac{\pi x}{\hbar}\right)\omega(-x-i\pi,-\kappa) ψ ( x , κ ) = ω ( x , κ ) + exp ( 2ℏ i π 2 + ℏ π x ) ω ( − x − iπ , − κ )
이 구조는 다음을 보장:
극점의 상호 소거 정수함수 성질의 유지 올바른 점근 거동 변환을 통해:
x = 1 2 ( q + p ) + ξ , y = 1 2 ( − q + p ) + ξ x = \frac{1}{\sqrt{2}}(q+p) + \xi, \quad y = \frac{1}{\sqrt{2}}(-q+p) + \xi x = 2 1 ( q + p ) + ξ , y = 2 1 ( − q + p ) + ξ
문제를 행렬 모델 형태로 변환하며, 고유함수는 다음과 같이 표현 가능:
ψ ( x , κ ) = ∫ R d q U ( x , q ) Ξ ( q , κ ) \psi(x,\kappa) = \int_{\mathbb{R}} dq\, U(x,q)\Xi(q,\kappa) ψ ( x , κ ) = ∫ R d q U ( x , q ) Ξ ( q , κ )
여기서 U ( x , q ) U(x,q) U ( x , q ) 는 유니터리 변환 핵이고, Ξ ( q , κ ) \Xi(q,\kappa) Ξ ( q , κ ) 는 O(2) 행렬 모델로부터 주어진다.
비섭동 완성 : 특수한 NS 및 GV 위상 조합을 통해 각각의 극점을 소거하여 모든 ℏ ∈ R > 0 \hbar\in\mathbb{R}_{>0} ℏ ∈ R > 0 에서 잘 정의된 함수를 얻는다.정수함수 성질 : 두 항 구조의 정교한 설계는 개별 항이 극점을 가지더라도 합이 정수함수임을 보장한다.배경 무관성 : k k k 에 대한 합은 닫힌 현 모듈라이 공간의 모든 특이점을 매끄럽게 하고, σ \sigma σ 에 대한 합(두 항 구조)은 열린 현 모듈라이 공간의 특이점을 매끄럽게 한다.스펙트럼 문제 수치 해법 : 조화 진동자 기저에서 양자 거울 곡선 연산자 대각화고유함수 비교 : 해석적 구성과 수치 결과 비교수렴성 테스트 : 순간자 전개의 수렴성 검증서로 다른 ξ ∈ R \xi \in \mathbb{R} ξ ∈ R 값 테스트 ℏ ∈ π Q > 0 \hbar \in \pi\mathbb{Q}_{>0} ℏ ∈ π Q > 0 의 유리 경우 고려일반적인 ℏ ∈ R > 0 \hbar \in \mathbb{R}_{>0} ℏ ∈ R > 0 경우 검증 Faddeev 양자 이중 대수의 준주기성 활용 유수 정리를 이용한 적분 계산 차분방정식 만족 검증 고정밀 일치 : 해석적 고유함수와 수치 결과가 테스트 정밀도 내에서 완전히 일치정수함수 검증 : 구성된 함수가 복소 평면에서 극점이 없음을 수치적으로 확인수렴성 확인 : 순간자 급수가 컴팩트 수렴 성질을 나타냄논문은 여러 매개변수 조합의 상세 그래프를 제공:
ξ = − 16 / 53 , ℏ = 8 π / 3 \xi = -16/53, \hbar = 8\pi/3 ξ = − 16/53 , ℏ = 8 π /3 : 껍질 및 비껍질 고유함수 표시ξ = − ln ( 3 ) / 3 , ℏ = 2 π / 3 \xi = -\ln(3)/3, \hbar = 2\pi/3 ξ = − ln ( 3 ) /3 , ℏ = 2 π /3 : 유리 ℏ \hbar ℏ 경우 검증다양한 ξ \xi ξ 및 ℏ \hbar ℏ 조합의 체계적 테스트 표준 4차원 극한 : 수정된 Mathieu 연산자의 알려진 고유함수 성공적 복원쌍대 4차원 극한 : McCoy-Tracy-Wu 연산자 결과와 일치연산자 관계 : 두 연산자의 고유함수 동등성 수치 검증Grassi-Hatsuda-Mariño (2016) : 닫힌 현 TS/ST 대응 확립Mariño-Zakany (2017,2019) : 열린 현 부채꼴 초기 연구, 자기쌍대점 집중François-Grassi (2024) : Painlevé 핵과 표면 결함의 강 결합 연구상대론적 Toda 격자 : 쌍입자 경우의 Baxter 방정식 대응타원 Ruijsenaars-Schneider 체계 : 더 일반적인 가적분 체계 프레임워크클러스터 가적분 체계 : 거울 곡선과의 기하학적 연결AGT 대응 : 4D 게이지 이론과 공형장론 연결Nekrasov 배분함수 : NS 및 GV 위상의 정확한 계산표면 결함 : 2d/4d 체계의 상호작용완전한 열린 현 TS/ST 대응 : 국소 F 0 \mathbb{F}_0 F 0 에 대한 완전한 비섭동 대응 관계 확립정수함수 고유함수 : 비껍질에서도 정수함수 성질을 유지하는 고유함수 구성연산자 간 관계 : 수정된 Mathieu 및 McCoy-Tracy-Wu 연산자의 심층적 연결 발견기하학적 특수성 : 현재 결과는 국소 F 0 \mathbb{F}_0 F 0 기하학에 특정적두 번째 항의 기하학적 의미 : 두 항 구조의 두 번째 항의 기하학적 해석이 여전히 불명확엄격한 수학적 증명 : 정수함수 성질 등 핵심 성질의 완전한 수학적 증명 부족다른 기하학으로의 확장 : 모든 환면 Calabi-Yau 삼중곡면으로 확대재귀 이론 분석 : 재귀 이론 관점에서 비섭동 효과 이해q-등단조 τ 함수 : 양자 등단조 변형과의 연결 탐색섬유-밑 쌍대성 : t B ↔ t F t_B \leftrightarrow t_F t B ↔ t F 교환 하에서의 불변성 연구이론적 완전성 : 국소 F 0 \mathbb{F}_0 F 0 의 완전한 열린 현 TS/ST 대응을 처음으로 제시기술적 혁신 : 두 항 대칭 구조의 발견은 중요한 기술적 돌파구다중 검증 : 해석적, 수치적, 4차원 극한 등 다각도 검증심층적 연결 : 서로 다른 양자 연산자 간의 예상치 못한 연결 규명기하학적 제한 : 방법의 보편성 검증 필요증명 불완전 : 일부 핵심 성질의 엄격한 증명 부족계산 복잡성 : 실제 계산이 복잡한 특수함수 포함이론적 기여 : 위상 현 이론과 양자 가적분 체계에 새로운 도구 제공방법론적 의의 : 비섭동 완성 방법의 광범위한 적용 가능성학제 간 영향 : 현 이론, 수학물리, 가적분 체계 등 다중 분야 연결양자 가적분 체계의 정확한 해법 위상 현 이론의 비섭동 연구 4D 게이지 이론과 2D 체계의 대응 관계 연구 특수함수 및 직교 다항식 이론 본 논문은 105편의 관련 문헌을 인용하며, 위상 현 이론, 양자 가적분 체계, 수학물리 등 다양한 분야의 중요한 연구를 포함하고 있으며, 특히 Mariño, Grassi, Kashaev 등이 TS/ST 대응에서 이룬 개척적 기여를 중점적으로 다룬다.