[论文解读] Mocking the u-plane integral

Georgios Korpas, Jan Manschot+2 more|arXiv (Cornell University)|Oct 29, 2019

Black Holes and Theoretical Physics参考文献 51被引用 6

一句话总结

该论文表明，在 b₁=0、b₂⁺=1 的四维流形上，N=2 SU(2) 规范理论中的 u 平面积分可通过点可观测量的模拟模形式和曲面可观测量的 Appell-Lerch 和高效计算。通过变换至有效耦合 τ 并应用斯托克斯定理，积分简化为在奇点处的边界贡献，揭示了指数可观测量的真空期望值是 fugacity 的整函数。

ABSTRACT

The u-plane integral is the contribution of the Coulomb branch to correlation functions of N=2 gauge theory on a compact four-manifold. We consider the u-plane integral for correlators of point and surface observables of topologically twisted theories with gauge group SU(2), for an arbitrary four-manifold with (b1,b2+)=(0,1). The u-plane contribution equals the full correlator in the absence of Seiberg-Witten contributions at strong coupling, and coincides with the mathematically defined Donaldson invariants in such cases. We demonstrate that the u-plane correlators are efficiently determined using mock modular forms for point observables, and Appell-Lerch sums for surface observables. We use these results to discuss the asymptotic behavior of correlators as function of the number of observables. Our findings suggest that the vev of exponentiated point and surface observables is an entire function of the fugacities.

研究动机与目标

• 计算在 b₁=0、b₂⁺=1 的紧致四维流形上，N=2 SU(2) 规范理论中相关函数的 u 平面贡献。
• 建立一种通用方法，用于评估超出如有理曲面或可化曲面等特殊情况的 u 平面积分。
• 将 u 平面相关函数与模拟模形式及 Appell-Lerch 和联系起来，为任意四维流形提供统一框架。
• 证明指数点可观测量和曲面可观测量的真空期望值是 fugacity 变量的整函数。

提出的方法

• 将 u 平面积分从 u 变换为有效耦合 τ，将积分区域映射至模群基本域 H/Γ⁰(4)。
• 将被积函数表示为全微分形式 dτ ∧ dτ̄ ∂τ̄(du/dτ H_O)，从而可应用斯托克斯定理。
• 将 u 平面积分约化为在 u = ∞、+1、-1 三个奇点邻域上的边界积分。
• 证明 H_O(τ, τ̄) 具有良好的模性质，使其可表示为点可观测量的模拟模形式。
• 对于曲面可观测量，通过雅可比形式的非全纯完成，推导出其积分表达式为 Appell-Lerch 和。
• 利用不定 theta 函数的墙穿跃公式，将结果推广至一般度量。

实验结果

研究问题

• RQ1 如何系统地计算通用四维流形（b₂⁺=1 且 b₁=0）上的 u 平面积分，超越已知的有理曲面或可化曲面等特殊情况？
• RQ2 u 平面相关函数的模结构是什么？它与模拟模形式及 Appell-Lerch 和有何关系？
• RQ3 指数点可观测量和曲面可观测量的真空期望值是否在 fugacity 变量中为整函数？
• RQ4 u 平面贡献如何与一般 b₂⁺=1 四维流形的唐纳森不变量相关联？
• RQ5 是否可通过适当的变量变换，利用斯托克斯定理将 u 平面积分约化为边界项？

主要发现

• 通过斯托克斯定理，u 平面积分约化为在三个奇点 u = ∞、+1、-1 邻域上的边界积分之和。
• 对于点可观测量，u 平面相关函数以模拟模形式表示，即非全纯模形式的全纯部分。
• 对于曲面可观测量，相关函数以 Appell-Lerch 和表示，其源于雅可比形式的非全纯完成。
• 指数点可观测量和曲面可观测量的真空期望值是 fugacity 的整函数，因奇点被模性质所抵消。
• 该结果对一般度量成立，因模结构确保了在对偶变换下的一致性，即使度量破坏了对称性。
• 与唐纳森不变量的联系得以确立：当无 Seiberg-Witten 贡献时，u 平面贡献等于完整相关函数，与 b₂⁺=1 流形的数学定义中唐纳森不变量一致。