Non-Abelian Thirring model at large $N$

技术摘要：大 $N$ 下的非阿贝尔锡特林模型

问题陈述
本文研究了由伴随表示二次卡西米尔常数 $c_G$ 相对于能级 $k$ 很大（$c_G \gg k$）时，由电流的双线性类经典边际算子变形的、关于半单李群 $G$ 的能级为 $k$ 的非阿贝尔玻色化锡特林模型。主要目标是探索在 $c_G \gg k$ 极限下的行为。对于像 $SU(N)$这样的群，这对应于大$N$极限。虽然该模型在半经典机制（$c_G/k \ll 1$）下通过有效作用量和$\lambda$-变形已被充分理解，但在$c_G \gg k$ 极限下的行为仍有待深入探索。此前关于费米子非阿贝尔锡特林模型的研究中，Dashen 和 Frishman 暗示存在一个阶数为 $1/c_G$ 的额外临界点。相反，Destri 和 de Vega 则发现不存在这样的临界点。本研究旨在通过摄动方法，利用玻色化变体来解决这一分歧，重点寻找阶数为 $k/c_G$（或等价于 $1/N$）的非平凡不动点。

方法论
作者在 Wess-Zumino-Witten (WZW) 固定点（$\lambda=0$）附近采用共形摄动理论。由于适用于 $c_G/k \ll 1$ 机制的有效作用量在此处并不适用，因此本研究完全依赖于图解展开。

1. 't Hooft 极限： 作者定义了一个有效 't Hooft 耦合 $\tilde{\lambda} = \frac{c_G}{k}\lambda$。他们在保持 $\tilde{\lambda}$ 固定且当 $c_G \to \infty$ 及 $k \to \infty$ 时进行关于 $\tilde{\lambda}$ 的摄动展开。在此极限下，仅保留 $c_G/k$ 的领先阶项。
2. 相关函数： 研究计算了以下算子的二点相关函数：
   • 驱动复合算子 $O(z, \bar{z}) = J^a(z)\bar{J}^a(\bar{z})$。
   • 电流算子 $J^a(z)$ 和 $\bar{J}^a(\bar{z})$。
     计算过程一直进行到三圈（关于 $\lambda$ 的三次项）阶。
3. 正则化与积分： 计算利用了涉及紫外截止 $\epsilon$ 和红外截止 $R$ 的特定正则化方案。作者使用一套复积分工具（通过格林定理和斯托克斯定理导出）来评估多圈图。李代数的结构常数通过伴随表示中的迹恒等式进行收缩。
4. 重整化： 从相关函数的发散部分（特别是包含 $\ln(\epsilon^2/|z_{12}|^2)$ 的对数项）中，作者提取了重整化常数（$Z$ 因子）。这些因子被用于确定反常维度和 $\beta$-函数。

核心贡献与结果

• 复合算子相关函数 ($OO$)：
  作者计算了直到三圈阶的 $OO$相关函数。在$c_G/k$展开中的领先项给出了关于$\tilde{\lambda}$ 的级数：
  $$\langle O(z_1)O(z_2) \rangle \propto \frac{1}{|z_{12}|^4} \left( 1 - 2\tilde{\lambda} \ln \frac{\epsilon^2}{|z_{12}|^2} + \frac{5}{2}\tilde{\lambda}^2 \ln^2 \frac{\epsilon^2}{|z_{12}|^2} - \frac{5}{2}\tilde{\lambda}^3 \ln^3 \frac{\epsilon^2}{|z_{12}|^2} \right)$$
  由此，复合算子的反常维度被发现直到三次阶是线性精确的：$\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$。

• 电流相关函数 ($JJ$和$J\bar{J}$)：
  计算了 $JJ$和$J\bar{J}$ 相关函数的三圈修正。

  • 对于 $JJ$ 相关函数，电流算子的反常维度为：
    $$\gamma_J = \frac{k}{c_G} (\tilde{\lambda}^2 + \tilde{\lambda}^3 + O(\tilde{\lambda}^4))$$
    在严格的 't Hooft 极限（$c_G \to \infty$）下，领先阶的反常维度消失。
  • 对于 $J\bar{J}$ 相关函数，分析了接触项以提取耦合的重整化。

• $\beta$-函数与不动点：
  利用从电流和复合算子数据中导出的重整化群方程，确定了关于 't Hooft 耦合 $\tilde{\lambda}$ 的 $\beta$-函数。

  • 结果在四次阶内是二次精确的：
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • 作者明确指出，在所计算的摄动机制内（直到 $\tilde{\lambda}$ 的四次阶），不存在额外的临界点（阶数为 $k/c_G$ 或 $1/N$）。唯一的不动点是 $\tilde{\lambda} = 0$ 处的紫外固定点。

意义与主张
本文声称其发现与 Destri 和 de Vega 关于费米子非阿贝尔锡特林模型的研究结果一致，后者发现不存在额外的固定点。这直接反驳了 Dashen 和 Frishman 关于存在一个阶数为 $1/c_G$ 的额外固定点的说法。

作者认为，$\lambda = \pm 1$ 这些点（对应于非阿贝尔 T-对偶和伪对偶模型）是半经典极限（$c_G/k \ll 1$）下的产物，在该极限下有效作用量才有效。在大的 $N$（$c_G \gg k$）机制下，这些点并不代表重整化群流的非平凡固定点。这项工作表明，在此极限下 $\beta$-函数会截断为一个简单的二次形式，这意味着其 RG 流结构比此前假设存在中间固定点的观点更为简单。

未来方向
论文建议扩展这些结果，以证明在 $c_G \gg 1$ 极限下 $\beta$-函数和反常维度的全阶精确截断。此外，作者还提议计算三点函数，以推导算符乘积展开 (OPE) 以及大 $N$ 下的底层对称性代数，并研究左、右能级不等（$k_L \neq k_R$）的模型。