[论文解读] Relations between Stokes constants of unrefined and Nekrasov-Shatashvili topological strings

Jie Gu|arXiv (Cornell University)|Jul 5, 2023

Quantum, superfluid, helium dynamics被引用 9

一句话总结

该论文证明，在非紧致Calabi–Yau三维流形上，通过 blowup 方程和再现理论，未精炼的拓扑弦自由能的 Stokes 常数与 Nekrasov–Shatishvili (NS) 自由能的 Stokes 常数（最多符号不同）一致，并将其与 BPS 不变量联系起来。

ABSTRACT

In this paper we demonstrate that the Stokes constants of unrefined free energies and the Stokes constants of Nekrasov-Shatashvili free energies of topological string on a non-compact Calabi-Yau threefold are identical, possibly up to a sign, for any Borel singularity which is not associated to a compact two-cycle that intersects only with non-compact four-cycles. Since the Stokes constants of Nekrasov-Shatashvili free energies are conjectured to coincide with those of quantum periods and therefore have the interpretation of BPS invariants, our results give strong support that the Stokes constants of unrefined free energies may also be identified with BPS invariants.

研究动机与目标

• 通过再现性理解拓扑弦理论中的非携带项修正的动力源泉。
• 将未精炼自由能的 Stokes 常数与 NS 自由能的 Stokes 常数以及 BPS 不变量联系起来。
• 利用 refined/拓扑弦 blowup 方程建立兼容性与框架无关性的见解。
• 在非紧致 Calabi–Yau 场景中，将 Stokes 常数与 BPS 状态计数联系起来。

提出的方法

• 回顾发散 Gevrey-1 序列的再现框架，并定义 Borel–Laplace 重和化与 Stokes 自同构。
• 总结未精炼与 NS 拓扑弦自由能及其 Borel 奇点的已知再现结构。
• 在大半径框架下引入并扩展 refined 拓扑弦的 blowup 方程。
• 推导通过 blowup 方程将未精炼自由能与 NS 自由能联系起来的关键兼容性公式。
• 论证利用跨框架的即时子数据传播，Stokes 常数 S_A^{top} 与 S_A^{NS 仅相差一个符号。

实验结果

研究问题

• RQ1 未精炼拓扑弦自由能的 Stokes 常数是否在相关 Borel 奇点处与 NS 自由能的 Stokes 常数一致（符号可差）？
• RQ2 在 refined 拓扑弦中 blowup 方程是否可用来非扰动地将未精炼与 NS 自由能联系起来？
• RQ3 这些 Stokes 常数如何在非紧致 Calabi–Yau 场景中与 BPS 不变性相关？
• RQ4 这些关系是否在所有相关的 A/B 周期选择和不同框架下成立？
• RQ5 以量子周期与 BPS 状态计数来解释这些 Stokes 常数的意义为何？

主要发现

• 未精炼自由能的 Stokes 常数在与 NS 自由能的 Stokes 常数（除非涉及与紧致两胞相交的紧凁四胞的 Borel 奇点时，可能带符号差）一致。
• NS 的 Stokes 常数 S_A^{NS} 与 BPS 不变量联系在一起，具有整数性、框架无关性等性质。
• refined 拓扑弦的 blowup 方程提供一种机制（兼容性公式）使未精炼和 NS 自由能非扰动地联系起来。
• 该关系支持在非紧致 Calabi–Yau 几何中将未精炼 Stokes 常数与 BPS 不变量（包括 D4–D2–D0 结合态）等价。
• 关于 Stokes 常数及其与量子周期之联系，以及它们与量子周期和 BPS 状态计数之间的联系， NS 的结果为提出的等价性（符号可变）提供了支撑。