Superspace invariants and 3-point correlators in 3d $\mathcal{N}=3,4$ SCFTs

技術要約：3次元 $N=3, 4$ SCFTにおけるスーパースペース不変量と3点相関関数

問題の所在
本論文は、3次元の超共形場理論（SCFT）における、スピンを持つ超場演算子の3点相関関数の系統的な列挙に取り組んでいる。スピンを持つ演算子の場合は、共形対称性と超対称性の制約によって2点および3点関数は概ねスケーリング次元と演算子積展開（OPE）係数まで決定されるものの、運動学的問題は非自明なままである。具体的には、一般的な3点相関関数を記述するための、完全かつ最小な超共形不変構造の基底を構築しなければならない。先行研究では、$N=1$ および $N=2$ の理論についてはこの枠組みが確立されているが、$N=3$ および $N=4$ のケースは、その非アーベルなR対称性群（$SO(3)$および$SO(4)$）のために特有の課題を提示している。著者らは、これらの高次超対称性のケースへと既存のプログラムを拡張することを目指しており、保存電流（短縮条件）の解析、および非アーベルR対称性から生じる新たな不変構造の特定を含めている。

手法
著者らは、スーパースペース手法と補助的な偏極スピノル形式を組み合わせて用いている。

1. スーパースペース形式： 3次元 $N$ 拡張SCFTのためのPark-Osborn形式を利用し、スーパースペース座標 $z^A = \{x^\mu, \theta^a_\alpha\}$（ここで $\theta^a_\alpha$ はR対称性群 $SO(N)$の下で変換されるマヨラナスピノルである）において作業を行う。著者らは、超共形不変なビルディングブロックを構成するために、超回転不変間隔$\tilde{x}_{ij}$やR対称性の共変性を保証する$V$ 行列を含む、超反転変換を利用している。
2. 偏極スピノル： スピン $s$ を持つ演算子を扱うために、著者らは補助的な交換可能なスピノル $\lambda_\alpha$ を導入して、超場演算子の対称・無跡スピノル添字と縮約し、添字のない形式（$O_s(x, \theta, \lambda)$）にする。
3. 不変量の構成： 核心となる手法は、偏極スピノル $\lambda$ とグラスマン変数構造 $\Theta^a_i$ を、共変的なビルディングブロック（$X_{ij\pm}, \bar{x}_{ij}$）と縮約させることである。
   • ボゾンおよびフェルミオン不変量： 本論文では、先行研究（$N=1, 2$）で確立された既知のパリティ偶（even）およびパリティ奇（odd）のボゾン不変量（$P_i, Q_i, S_i$）およびフェルミオン不変量（$\bar{R}_i, R', T'$）を利用している。
   • 新たな $\epsilon$-不変量： 重要な手法上のステップとして、フェルミオン構造の自由なR対称性添字を、$SO(N)$の全反対称不変テンソル$\epsilon_{a_1 \dots a_N}$を用いて縮約することにより、新たな不変量を構成することが挙げられる。これは$N \ge 3$の場合にのみ可能である。著者らは、$N=3$（$\epsilon_{abc}$を使用）および$N=4$（$\epsilon_{abcd}$を使用）に対して$\epsilon$-不変量を系統的に列挙し、それらをパリティ（偶/奇）および偏極スピノル$\lambda$ に関する斉次性によって分類している。
4. 制約： 置換対称性（演算子の交換）および保存制約（短縮条件 $D_{\alpha_1} J^{\alpha_1 \dots \alpha_{2s}} = 0$）を課すことで、一般的な不変量のリストを、保存電流に許される特定の構造へと削減する。

主要な貢献と結果

1. 不変量の完全な列挙：

   • 本論文は、$N=3$ および $N=4$ の3次元SCFTにおける完全かつ最小な超共形不変量のリストを提供している。
   • $N=3$： 著者らは、$\lambda$-斉次性（例：$U_{100}, \tilde{U}_{300}$）によって分類された13個のパリティ偶および13個のパリティ奇の $\epsilon$-不変量を特定した。
   • $N=4$： 著者らは、22個のパリティ偶および21個のパリティ奇の $\epsilon$-不変量を特定した。特筆すべきは、低次の $N$ には見られない、一意な $\lambda$-フリーのパリティ偶 $\epsilon$-不変量 $U' \equiv \epsilon \Omega_1 \Omega_1$ が含まれている点である。
   • 著者らは、これらの不変量の間の非線形関係（例：2つのパリティ奇不変量の積はパリティ偶に還元される、あるいは特定の $\epsilon$-不変量の自乗が消滅するか $N=2$ の不変量の積に還元されるなど）を導出し、基底が最小であることを保証している。

2. 3点相関関数の構造：

   • 著者らは、これらの不変量を適用して、様々なスピンを持つ演算子の組み合わせ（$O_s O_{s'} O_{s''}$）に対するテンソル構造を列挙している。
   • 一般（非保存）演算子： 本論文では、パリティ偶およびパリティ奇の寄与を区別しながら、一般的なスピンを持つ演算子に対して許容される構造をリストアップしている。
   • 保存演算子： 保存制約を課すことで、保存電流における独立なOPE係数の数を決定している。
     • $N=3$ 保存相関関数： 結果は、保存された3点関数が1つのパリティ偶および1つのパリティ奇の構造によって固定されることを示している。これは、$N=3$ 理論における超電流に関する先行研究の結果と一致している。
     • $N=4$ 保存相関関数： $N=4$ において、新たな結果が見出された。保存された相関関数は、2つのパリティ偶構造と1つのパリティ奇構造を許容する。
       • 最初のパリティ偶構造は、すべての $N=4$ SCFTに存在する。
       • 第2のパリティ偶構造は、$\epsilon$-不変量に由来する。著者らは、この構造をミラー対称性の破れに関連付けている。$N=4$ 理論において、R対称性 $SO(4) \cong SU(2)_L \times SU(2)_R$ は、$SU(2)_L$ と $SU(2)_R$ を交換する $\mathbb{Z}_2$ ミラー写像を許容する。$\epsilon$-不変量構造は、この非対称性のスーパースペースにおけるリフトである。すなわち、それはミラー対称的でない理論においてのみ非ゼロとなる。これにより、自由ハイパーマルチプレット（ミラー対称的である）が最初の構造のみを満たす理由が説明される。

3. 特定の相関関数の制約：

   • 本論文は、様々なスピンの組み合わせ（例：$\langle J_1 J_1 O_0 \rangle, \langle J_2 J_2 O_0 \rangle$）に対する具体的な制約を詳述している。
   • $N=3$ の場合、半整数スピンを含む保存された相関関数は、しばしば消失するか、単一の構造に固定される。
   • $N=4$ の場合、パリティ奇セクターは、特定のスピンの組み合わせに対して保存条件を課すとしばしば消失する（スピンの三角不等式と一致する）一方で、パリティ偶セクターは上述の2つの独立な構造を保持する。

意義と主張
本論文は、3次元SCFTにおける $N=1$ から $N=4$ までのスピンを持つ相関関数の系統的な列挙を完了したと主張している。主な意義は以下の通りである：

• 非アーベルR対称性の取り扱い： $N=3$ および $N=4$ 理論の非アーベルR対称性を成功裏に組み込み、これは $N \le 2$ には見られない新たな $\epsilon$-不変量を導入している。
• ミラー対称性の破れ： $N=4$ 保存相関関数における第2のパリティ偶構造を精密に運動学的に特徴付け、それをミラー対称性の破れのシグネチャーとして特定した。これは、ミラー対称的な $N=4$ 理論と非ミラー対称的な $N=4$ 理論の間の差異に対する構造的な説明を提供している。
• ブートストラップへの基礎： 列挙された構造は、超共形ブロックを構築するための必須の要素であり、これらは3次元 $N=3$ および $N=4$ 理論における超共形ブートストラップ・プログラムに不可欠である。
• GPY形式の拡張： 本研究は、不変量を列挙するGiombi-Prakash-Yin (GPY) プログラムをより高い超対称性へと拡張しており、$N \le 2$ の結果が堅牢である一方で、$N \ge 3$ の景観は反対称なR対称性テンソルの存在により質的に異なることを確認している。

著者らは、スーパースペース手法は3次元の $N > 4$ に対してはそれほど有用ではないと考えており、今後の方向性として、これらの相関関数の生成関数の構築、これらの結果の超共形ブートストラップへの適用、および4次元 $N \ge 2$ SCFTへの潜在的な拡張を提案している。