[论文解读] Plethystics and instantons on ALE spaces

Yui Noma, Toshio Nakatsu+1 more|ArXiv.org|Nov 29, 2006

Black Holes and Theoretical Physics参考文献 11被引用 10

一句话总结

本文通过使用plethystic指数，将$υ=2$ $U(1)$规范理论在$χ^{2}/K_{k}$上的变形分区函数进行引入，将分区函数表达为$PE(h_k(t_1,t_2))$，其中$h_k$编码了在群 orbifold 上的全纯函数。该变形引入了第五维的周长$R$，在$R\to 0$极限下恢复原始分区函数，并通过对称积几何将瞬子计数与BPS算符计数联系起来。

ABSTRACT

We present an expression of a deformed partition function for N=2 U(1) gauge theory on C^2/Z_k by using plethystic exponentials.

研究动机与目标

• 通过引入第五维周长$R$，推导$\mathcal{N}=2$ $U(1)$规范理论在$\mathbb{C}^2/\mathbb{Z}_k$上的变形分区函数。
• 将变形分区函数用plethystic指数表达，将其与对称积几何中BPS算符的计数联系起来。
• 通过引入变形参数$R$并将其与精炼拓扑顶点技术关联，推广先前关于瞬子分区函数的结果。
• 建立变形分区函数与全纯函数生成函数$h_k(t_1,t_2)$的plethystic指数之间的精确对应关系，该函数定义在$\mathbb{C}^2/\mathbb{Z}_k$上。

提出的方法

• 通过引入$t_1 = e^{\epsilon_1 R}$，$t_2 = e^{\epsilon_2 R}$，和$\nu = (R\Lambda)^2$，将第五维周长$R$嵌入理论中，从而对原始瞬子分区函数进行变形。
• 利用杨图的$k$-核心与$k$-商分解，将对分拆的求和限制在具有平凡$k$-核心的分拆上，以确保与群 orbifold 几何的一致性。
• 定义生成函数$h_k(t_1,t_2) = \frac{1 - t_1^k t_2^k}{(1 - t_1^k)(1 - t_2^k)(1 - t_1 t_2)}$，该函数计数了具有$U(1)$荷的$\mathbb{C}^2/\mathbb{Z}_k$上的全纯函数。
• 对$h_k(t_1,t_2)$应用plethystic指数$PE(f) = \exp\left(\sum_{n=1}^\infty \frac{\nu^n}{n} f(t_1^n, t_2^n)\right)$，从而得到完整的变形分区函数。
• 通过在$\nu$的泰勒展开中匹配到$\nu^2$阶的系数（$k=3$时），验证了恒等式$Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$，确认了其一致性。

实验结果

研究问题

• RQ1 如何通过第五维周长$R$对$\mathcal{N}=2$ $U(1)$瞬子分区函数在$\mathbb{C}^2/\mathbb{Z}_k$上进行变形？
• RQ2 plethystic指数在将变形分区函数表达为群 orbifold 上全纯函数计数时起到什么作用？
• RQ3 变形分区函数在$R \to 0$极限下如何还原为原始分区函数？
• RQ4 生成函数$h_k(t_1,t_2)$能否被解释为在具有$U(1)$荷的对称积$S^N(\mathbb{C}^2)$中BPS算符的计数？
• RQ5 通过系数匹配验证，恒等式$Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$是否在高阶项也成立？

主要发现

• 在$\mathcal{N}=2$ $U(1)$规范理论于$\mathbb{C}^2/\mathbb{Z}_k$上的变形分区函数可精确表达为$h_k(t_1,t_2)$的plethystic指数，即$Z = PE(h_k(t_1,t_2))$，从而提供了一种紧凑且代数化的形式。
• 生成函数$h_k(t_1,t_2)$编码了$\mathbb{C}^2/\mathbb{Z}_k$上全纯函数的$U(1)$加权计数，其生成元$X,Y,Z$的荷分别为$(k,0), (0,k), (1,1)$，且满足$XY = Z^k$，确认了其几何一致性。
• 当$k=3$时，变形分区函数中$\nu^2$阶的系数与$\frac{1}{2}h_3(t_1^2,t_2^2) + \frac{1}{2}(h_3(t_1,t_2))^2$完全匹配，验证了在$\nu^2$阶下plethystic指数恒等式的正确性。
• $R \to 0$的极限下，恢复了原始分区函数$Z(\epsilon_1,\epsilon_2;\Lambda,k)$，确认了与文献中已有结果的一致性。
• 表达式$PE(h_k(t_1,t_2)) = \prod_{\substack{m,n=0 \\ m \equiv n \mod k}}^\infty \frac{1}{1 - \nu t_1^m t_2^n}$提供了变形分区函数的显式对称且无限乘积形式。
• 该方法建立了$\mathcal{N}=2$规范理论在ALE空间上的瞬子计数与通过对称积群 orbifold 中BPS算符计数之间的直接联系，借助plethystic指数实现。