[论文解读] S-duality and the prepotential in N=2* theories (I): the ADE algebras

M. Billó, M. Frau+3 more|arXiv (Cornell University)|Jul 28, 2015

Black Holes and Theoretical Physics参考文献 50被引用 12

一句话总结

该论文利用 S-对偶性和模异常方程，推导了具有 ADE 规范群的 $χ=2^\star$ 超对称 gauge 理论的预势。通过要求 S-对偶性在预势上作用为傅里叶变换，作者以递归方式计算了多重瞬子修正项，其表达为 $\mathrm{SL}(2,\mathbb{Z})$ 的拟模形式，将结果从 A 和 D 系列扩展至微观瞬子微积分不可用的例外群 $E_6$、$E_7$ 和 $E_8$。

ABSTRACT

The prepotential of N=2* supersymmetric theories with unitary gauge groups in an Omega-background satisfies a modular anomaly equation that can be recursively solved order by order in an expansion for small mass. By requiring that S-duality acts on the prepotential as a Fourier transform we generalise this result to N=2* theories with gauge algebras of the D and E type and show that their prepotentials can be written in terms of quasi-modular forms of SL(2,Z). The results are checked against microscopic multi-instanton calculus based on localization for the A and D series and reproduce the known 1-instanton prepotential of the pure N=2 theories for any gauge group of ADE type. Our results can also be used to obtain the multi-instanton terms in the exceptional theories for which the microscopic instanton calculus and the ADHM construction are not available.

研究动机与目标

• 将 $\mathcal{N}=2^\star$ 理论的预势计算从 A 和 D 系列推广至包含例外 ADE 规范群的范围。
• 推导在 S-对偶性下预势的模异常方程，确保其与 S-对偶性在预势上作为傅里叶变换的作用一致。
• 为任意单连通规范群提供一种递归方法，以 $\mathrm{SL}(2,\mathbb{Z})$ 的拟模形式表达所有多重瞬子修正项。
• 利用局部化技术，将该方法与 $A_r$ 和 $D_r$ 代数的微观瞬子微积分进行对比，验证其正确性。
• 将预势计算的适用范围扩展至 $E_6$、$E_7$ 和 $E_8$ 等例外群，这些群的 ADHM 构造不可用。

提出的方法

• 从要求 S-对偶性在预势上作用为傅里叶变换出发，推导模异常方程，通过递归关系关联质量展开的系数。
• 利用递归关系按质量展开的阶次逐项计算预势系数 $f_n$，将其表达为埃斯滕斯坦级数和根系结构的函数。
• 定义算子 $\mathcal{D} = m^2 q \frac{d}{dq} = \frac{m^2}{2\pi i} \frac{d}{d\tau}$，以组织涉及模形式多重 $q$-导数的项。
• 将预势表示为 $\mathcal{A}_{(n)}$ 系数的和，每个 $\mathcal{A}_{(n)}$ 是权为 $2n$ 的模形式，乘以根格系和 $C_{k;\dots}$。
• 利用等变局部化技术，将结果与 $A_r$ 和 $D_r$ 代数的微观瞬子微积分进行对比，确认在单瞬子层次上结果一致。
• 利用根格系和之间的恒等式（例如在第6级）简化表达式，确保多瞬子展开的一致性。

实验结果

研究问题

• RQ1 当微观瞬子微积分不可用时，如何计算具有例外 ADE 规范群的 $\mathcal{N}=2^\star$ 理论的预势？
• RQ2 在 $\mathcal{N}=2^\star$ 理论中，编码 S-对偶性不变性的预势的模异常方程的精确形式是什么？
• RQ3 预势质量展开中的系数 $f_n$ 如何与模形式和根系结构相关联？
• RQ4 预势的递归结构能否从 S-对偶性和模性质中系统地推导出来？
• RQ5 算子 $\mathcal{D} = m^2 q \frac{d}{dq}$ 在组织多瞬子贡献中的作用是什么？

主要发现

• 具有 ADE 规范群的 $\mathcal{N}=2^\star$ 理论的预势完全由来自 S-对偶性的递归模异常方程确定。
• 质量展开中的系数 $f_n$ 以 $\mathrm{SL}(2,\mathbb{Z})$ 的拟模形式表达，其中 $\mathcal{A}_{(n)}$ 是权为 $2n$ 的模形式。
• 对于所有 ADE 规范群（包括 $E_6$、$E_7$ 和 $E_8$），纯 $\mathcal{N}=2$ 理论的单瞬子预势被正确重现。
• 预势的结构允许通过算子 $\mathcal{D}$ 进行紧凑重写，各项可表示为 $\sum_{\ell} \frac{1}{(\ell)!} \mathcal{D}^{\ell} \mathcal{A}_{(1)} \cdot C_{2;1^\ell}$，确保 $q$-系数中 $-E_2/24$ 的形式被保留。
• 与通过局部化方法得到的微观瞬子微积分对比，该方法成功重现了 $A_r$ 和 $D_r$ 代数的已知结果。
• 该论文为 $E_6$、$E_7$ 和 $E_8$ 等例外群提供了系统化的多瞬子修正计算框架，这些群的 ADHM 构造不可用。