[论文解读] From quantum curves to topological string partition functions

Ioana Coman, Elli Pomoni+1 more|arXiv (Cornell University)|Jan 1, 2018

Algebraic Geometry and Number Theory被引用 2

一句话总结

本文建立了局部 Calabi-Yau 三流形（类 Σ）的拓扑弦划分函数与由量子曲线导出的等单变体 tau 函数之间的直接对应关系——这些微分方程通过量化解这些流形的定义方程获得。通过求解与量子曲线相关的黎曼-希尔伯特问题，并在扩展的凯勒模空间的各个区域中对 tau 函数进行归一化，作者推导出广义 theta 系列类型的级数展开，精确再现了每个区域中的拓扑弦划分函数，从而以非微扰、基于可积结构的方式表征了这些划分函数。

ABSTRACT

This paper describes the reconstruction of the topological string partition function for certain local Calabi-Yau (CY) manifolds from the quantum curve, an ordinary differential equation obtained by quantising their defining equations. Quantum curves are characterised as solutions to a Riemann-Hilbert problem. The isomonodromic tau-functions associated to these Riemann-Hilbert problems admit a family of natural normalisations labelled by the chambers in the extended Kähler moduli space of the local CY under consideration. The corresponding isomonodromic tau-functions admit a series expansion of generalised theta series type from which one can extract the topological string partition functions for each chamber.

研究动机与目标

• 为由带极点的黎曼曲面几何构造的类 Σ 局部 Calabi-Yau 三流形的拓扑弦划分函数提供非微扰表征。
• 通过等单变体变形与 tau 函数，将量子曲线（由局部 CY 流形的定义方程量化解获得）与拓扑弦理论相连接。
• 证明在扩展的凯勒模空间中，经区域归一化的等单变体 tau 函数可产生与拓扑弦划分函数等价的级数展开。
• 通过黎曼-希尔伯特问题的分解与自由费米子共形块，实现这些划分函数作为广义 theta 系列的实现。

提出的方法

• 求解与量子曲线相关的黎曼-希尔伯特问题，该问题编码了局部 CY 流形的谱数据。
• 从量子曲线的单值性数据构造等单变体 tau 函数，并以扩展的凯勒模空间中的区域为标签进行自然归一化。
• 通过 Sato-Segal-Wilson 构造，将量子曲线的 D-模映射到自由费米子 Fock 状态，将共形块实现为 tau 函数。
• 通过将黎曼-希尔伯特问题分解为与退化谱网络相关的更简单组件，推导出 tau 函数的分解展开。
• 利用费米子矩阵元恒等式与行列式表示，将分解后的 tau 函数重写为广义 theta 系列。
• 通过与拓扑顶点计算的一致性验证，并在四极点球面情形下展示其一致性。

实验结果

研究问题

• RQ1 如何从其量子曲线重构类 Σ 局部 Calabi-Yau 三流形上的拓扑弦划分函数？
• RQ2 扩展的凯勒模空间在标记等单变体 tau 函数的不同归一化中起到什么作用？
• RQ3 黎曼-希尔伯特问题的分解结构如何与拓扑弦划分函数的分解相关联？
• RQ4 等单变体 tau 函数能否表示为广义 theta 系列？若是，其背后的数学结构是什么？
• RQ5 该构造与拓扑顶点形式主义的现有结果相比如何？

主要发现

• 在扩展的凯勒模空间的每个区域中归一化的与量子曲线相关的等单变体 tau 函数，产生一种广义 theta 系列类型的级数展开，其与该区域的拓扑弦划分函数完全匹配。
• 四极点球面（C₀,₄）的划分函数通过该方法显式重构，并与拓扑顶点计算结果一致。
• 该构造在 Fock 空间中建立了黎曼-希尔伯特问题解与自由费米子共形块之间的精确对应，其中 tau 函数被实现为费米子算符的矩阵元。
• 将黎曼-希尔伯特问题分解为谱网络组件，导致 tau 函数被分解为更简单块的乘积，从而实现了 theta 系列展开的推导。
• 通过结合同构与迹类算子的分块矩阵分解，严格证明了 tau 函数的行列式表示 ⟨f∗_B, f_A⟩。
• 该方法为所有模空间区域中的拓扑弦划分函数提供了非微扰、基于可积结构的定义。