[论文解读] S-duality and the prepotential in N=2* theories (II): the non-simply laced algebras

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

Black Holes and Theoretical Physics参考文献 33被引用 15

一句话总结

该论文推导了非单连通李代数（B_r, C_r, F_4, G_2）的N=2⋆超对称 gauge 理论中预势的模块化异常方程，表明预势由同余子群 Γ₀(n_g) 的拟模形式递归确定。论文建立了 S-duality 关系，将 SO(2r+1) 映射到 Sp(2r)，并将 F₄/G₂ 映射到自身，通过瞬子微扰理论和Eisenstein 系数与θ常数的模形式性质，得到了精确结果。

ABSTRACT

We derive a modular anomaly equation satisfied by the prepotential of the N=2* supersymmetric theories with non-simply laced gauge algebras, including the classical B and C infinite series and the exceptional F4 and G2 cases. This equation determines the exact prepotential recursively in an expansion for small mass in terms of quasi-modular forms of the S-duality group. We also discuss the behaviour of these theories under S-duality and show that the prepotential of the SO(2r+1) theory is mapped to that of the Sp(2r) theory and viceversa, while the exceptional F4 and G2 theories are mapped into themselves (up to a rotation of the roots) in analogy with what happens for the N=4 supersymmetric theories. These results extend the analysis for the simply laced groups presented in a companion paper.

研究动机与目标

• 将模块化异常方程框架从单连通ADE代数扩展到非单连通规范群，包括 B_r, C_r, F_4 和 G_2。
• 推导非单连通代数的N=2⋆理论的预势，作为质量参数的递归展开，其系数由 Γ₀(n_g) 的拟模形式控制。
• 通过证明 SO(2r+1) 的预势在根系对偶下映射到 Sp(2r) 的预势，验证这些理论中的 S-duality，F₄/G₂ 则映射到自身。
• 利用等变局部化方法对经典 B_r 和 C_r 代数进行微观瞬子计算，从而与 S-duality 预测进行比较。
• 以模形式表达前几项质量展开系数的精确表达式，泰勒展开可得到完整的多瞬子修正。

提出的方法

• 利用 S-duality 下 E₂ 的异常变换性质，推导预势的模块化异常方程，从而得到质量展开系数的递推关系。
• 采用同余子群 Γ₀(n_g) 作为模群，其中 n_g 为长根与短根平方长度之比，系数表示为拟模形式。
• 对根格进行 S-duality 变换，表明长根与短根互换，从而导出对偶规范代数 g 与 g∨。
• 采用等变局部化技术计算 B_r 和 C_r 规范群的多瞬子修正，提供微观数据。
• 将预势系数用 Eisenstein 系数 E₂, E₄, E₆ 和 θ 常数表示，利用模形式的一致性要求，应用倍乘与三倍公式。
• 通过验证模块化异常方程在 τ → -1/τ, -1/2τ, -1/3τ 下 E₂, E₄, E₆ 的变换规律，确认 S-duality 的正确性。

实验结果

研究问题

• RQ1 模块化异常方程如何从单连通ADE代数推广到非单连通规范代数（如 B_r, C_r, F_4, G_2）？
• RQ2 同余子群 Γ₀(n_g) 在非单连通N=2⋆理论预势模结构中起什么作用？
• RQ3 S-duality 变换如何作用于非单连通代数的N=2⋆理论预势？对偶规范群之间的映射关系是什么？
• RQ4 是否能通过瞬子微扰理论系统计算预势系数，并将其表示为经典与例外非单连通代数的模形式？
• RQ5 Eisenstein 系数与 θ 常数的模变换性质在非单连通情形下在多大程度上保证与 S-duality 的一致性？

主要发现

• 非单连通代数（B_r, C_r, F_4, G_2）的N=2⋆理论预势满足模块化异常方程，该方程以 Γ₀(n_g) 的拟模形式递归确定所有质量展开系数。
• S-duality 变换将 SO(2r+1) 理论映射到 Sp(2r) 理论，反之亦然，且一者的预势与另一者预势的 Legendre 变换相关。
• 对于例外代数 F₄ 和 G₂，S-duality 作为根系的自同构作用，将每个理论映射到自身（仅根的排列）。
• 预势系数可精确表示为 Eisenstein 系数 E₂, E₄, E₆ 和 θ 常数的组合，B_r 与 C_r 系列的显式公式已导出。
• 通过 τ → 3τ 和 τ → 2τ 下 E₂, E₄, E₆ 的三倍与倍乘公式，验证了 S-duality 的一致性，尤其在 τ → -1/2τ 和 τ → -1/3τ 下。
• 模块形式的泰勒展开可得到完整的多瞬子修正序列，显式系数如 H₂(τ) 中的 24q, 24q², 96q³，以及 K₂(τ) 中的 12q, 36q², 12q³。