Non-Abelian Thirring model at large $N$

技術要約：大 $N$ 極限における非可換 Thirring モデル

問題設定
本論文は、レベル $k$ の半単純リー群 $G$ に対する、電流の二次の双線形である古典的にマージナルな演算子によって変形された、非可換ボゾン化 Thirring モデルを調査している。主な目的は、群の随伴表現における二次カシミール $c_G$ がレベル $k$ に対して大きい（$c_G \gg k$）領域を探索することである。これは、$SU(N)$のような群における大$N$ 極限に対応する。

このモデルは、有効作用や $\lambda$ 変形を用いた半古典的領域（$c_G/k \ll 1$）ではよく理解されているが、$c_G \gg k$ 極限における振る舞いはあまり探索されていない。Dashen と Frishman によるフェルミオン的非可換 Thirring モデルの研究は、$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$ を定義する。$c_G \to \infty$ かつ $k \to \infty$ の下で $\tilde{\lambda}$ を固定したまま、$\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})$
     計算は、3ループ（$\lambda$ の3次オーダー）まで行われる。
3. 正則化と積分: 計算には、UV カットオフ $\epsilon$ と IR カットオフ $R$ を含む特定の正則化スキームを用いている。著者らは、多重ループ図形を評価するために、グリーン（Green）の定理およびストークス（Stokes）の定理から導出された複素積分のツールキットを使用している。リー代数の構造定数は、随伴表現におけるトレース恒等式を用いて縮約される。
4. 繰り込み: 相関関数（特に $\ln(\epsilon^2/|z_{12}|^2)$ を含む対数項）の発散部分から、繰り込み定数（$Z$ 因子）を抽出する。これらは、アノマリー次元および $\beta$ 関数を決定するために使用される。

主要な貢献と結果

• 複合演算子の相関関数 ($OO$):
  著者らは $OO$相関関数を3ループまで計算した。$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)$$
  ここから、複合演算子のアノマリー次元は、3次オーダーまで線形に正確であることが判明した：$\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$。

• 電流相関関数 ($JJ$および$J\bar{J}$):
  $JJ$および$J\bar{J}$ 相関関数の3ループ補正が計算された。

  • $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$ 関数が決定された。

  • 結果は、4次オーダーまで2次的に正確である：
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • 著者らは、計算された摂動領域内（$\tilde{\lambda}$ の4次オーダーまで）において、追加の臨界点（$k/c_G$ または $1/N$ 次の）は存在しないことを明示している。唯一の固定点は、$\tilde{\lambda} = 0$ における UV 固定点である。

意義と主張
本論文の知見は、追加の固定点が存在しないとした Destri と de Vega のフェルミオン的非可換 Thirring モデルの結果と一致すると主張している。これは、 $1/c_G$ 次の追加の固定点の存在を主張した Dashen と Frishman の主張に直接矛盾するものである。

著者らは、$\lambda = \pm 1$ という点（非可換 T 双対および擬双対モデルに対応する）は、有効作用が有効な半古典的極限（$c_G/k \ll 1$）におけるアーティファクトであると論じている。大 $N$（$c_G \gg k$）領域において、これらの点は繰り込み群の流れにおける非自明な固定点を表さない。本研究は、$\beta$ 関数が単純な2次形式に截断されることを示唆しており、これは中間的な固定点の存在を仮定していた従来の仮説よりも単純な RG フロー構造を示唆している。

今後の方向性
本論文は、$c_G \gg 1$ 極限において $\beta$ 関数とアノマリー次元がすべての $\tilde{\lambda}$ の次数に対して正確に截断されることを証明するために、これらの結果を拡張することを提案している。また、大 $N$ における演算子積展開（OPE）および基礎となる対称代数を導出するために3点関数を計算すること、ならびに左右のレベルが異なる（$k_L \neq k_R$）モデルを調査することも提案している。