Difference between pair creation and anomaly matching: Nontrivial aspects of invertible symmetries and defects in $SU(N)$ models

技術要約：$SU(N)$ モデルにおけるペア生成とアノマリー・マッチングの相違

問題提起
本論文は、$SU(N)_K$ および $SU(N)_{K'}$ ヴェア・ズーム・ウィッテン（WZW）モデル間の、質量レスな繰返し群（RG）フローおよび共形インターフェースに対する制約を調査しており、特に破れていない $\mathbb{Z}_N$ 対称性の保持に焦点を当てている。スピン梯子（spin ladder）の研究やラグランジアン形式から導かれる「アノマリー・マッチング条件」は、このようなフローにおける確立された制約であるが、著者らは、トポロジカル量子場理論（TQFT）および単純電流（simple currents）の構造から生じる「ペアリング条件（pairing condition）」に関する理解にギャップがあることを指摘している。中心となる問題は、これら二つの条件の正確な関係を明らかにすること、および、アノマリー・マッチング条件のみが、対称性と欠陥（defect）の両方を保存する一貫したRGフローの存在を保証するのに十分であるかどうかを判断することである。

手法
著者らは、コンフォーマル場理論（CFT）とトポロジカル量子場理論（TQFT）の概念を組み合わせたフレームワークを用い、特に「折り畳みトリック（folding trick）」を利用して、RGによる簡約化を理論の相対的デリーニュ積（$SU(N)_K \boxtimes_{\mathbb{Z}_N} SU(N)_{K'}$）に関連付けている。

1. 対称性と欠陥の区別: 著者らは、対称性演算子（$Q_\alpha$）とトポロジカル欠陥（$D_a$）を厳密に区別している。これらは一般化された対称性のパラダイムにおいてしばしば標準的に扱われるが、著者らはそれらがRGフローの下で独立した変換則を持つことを分析している。
2. 単純電流の分析: 研究は $\mathbb{Z}_N$ 単純電流（$J$）とその共形次元（$h_J$）に焦点を当てている。著者らは、折り畳まれたモデルにおける（半）整数スピンの単純電流の存在条件を導出しており、これらはTQFTにおけるペア生成メカニズムに対応している。
3. 写像関係: 著者らは、紫外（UV）理論から赤外（IR）理論への対称性と欠陥のマッピングを特徴付けるために、整数パラメータ $R$ および $U$ を導入している：
   • 対称性の写像: $Q_J \to Q_{J'}^R$
   • 欠陥の写像: $D_J \to D_{J'}^U$
   • ここで、$R$ および $U$ は $N$ と互いに素な整数である（$\gcd(R, N) = \gcd(U, N) = 1$）。
4. 条件の導出: 単純電流の共形次元および真空に作用する欠陥の電荷保存を分析することにより、著者らはレベル $K$ および $K'$ に関する代数的な制約を導き出している。

主要な貢献と結果

1. 一般化されたペアリング条件:
   著者らは、折り畳まれた理論における単純電流が（半）整数共形スピンを持つという要求に基づき、一般化されたペアリング条件を導出した。これにより、以下の条件が得られる：
   $$K = \pm R^2 K' \pmod N$$
   ここで、$\pm$ の符号は、カイラル・カイラル（chiral-chiral）とカイラル・アンチカイラル（chiral-antichiral）の簡約を区別する。この条件は、$\mathbb{Z}_N$ 群の構造が、TQFTのペア生成メカニズムと適合するように保持されることを保証する。

2. 一般化されたアノマリー・マッチング条件:
   著者らは、標準的なアノマリー・マッチング条件（$\gcd(K, N) = \gcd(K', N)$ を要求するもの）を、写像パラメータ $R$ および $U$ を用いて再定式化した。彼らは、アノマリー・マッチングが電荷のマルチセットの等価性に相当することを示し、以下のより弱い条件を導いた：
   $$K = \pm R U K' \pmod N$$
   決定的なことに、この条件は $R \neq U$ を許容しており、これは対称性の写像と欠陥の写像が異なる可能性があることを意味している。

3. 対称性と欠陥の保存における本質的な不一致:
   主要な発見は、ペアリング条件（$R=U$）とアノマリー・マッチング条件（$R \neq U$ が許容される）が根本的に異なることである。

   • ペアリング条件: $\rho_Q = \rho_D$（対称性と欠陥の写像が同一であること）を要求する。これは、TQFTにおける対称性と欠陥の標準的な関係に根ざした「より強い」条件である。
   • アノマリー・マッチング: 電荷の集合が一致することのみを要求し、個々の欠陥から対称性への特定の写像は問わない。
   • 帰結: ペアリング条件を破るフロー（例：$SU(5)_2 \to SU(5)_1$）が存在する。これらのケースでは、対称性の保存は、互いに適合した形での欠陥の保存を意味しない。

4. ケーススタディ ($N=5, 7$):

   • $SU(5)$ モデル: $SU(5)_2 \to SU(5)_1$ の簡約は、アノマリー・マッチング条件を満たすが、整数 $R$ が $2 = \pm R^2 \pmod 5$ を満たすことがないため、ペアリング条件には失敗する。ここでは $R \neq U$（例：$R=1, U=2$）であり、対称性と欠陥の保存の不適合性を実証している。
   • $SU(7)$ モデル: $N=5$ とは異なり、$SU(7)$ モデルは 7 と互いに素な様々な $K, K'$ に対してペアリング構造を許容しており、この障害が特定の $N$ に固有であることを示している。

意義と主張
本論文は、ペアリング条件（対称性と欠陥を標準的に関連付ける条件）が保持されなければならないという「追加の仮定の下での」、破れていない $\mathbb{Z}_N$ 対称性を伴う質量レスなRGフローに対する「ノーゴー定理」を提供することを主張している。

• RGドメインウォールの洗練: 著者らは、RGドメインウォールのパラダイムが、ペアリング構造と最も自然に適合することを示唆している。彼らは、アノマリー・マッチング条件だけでは、一般化された対称性とRGフローの適合性を保証するには不十分であると論じている。
• 未解決の問い: 著者らは、アノマリー・マッチングを満たすがペアリング条件を破るフローを排除する決定的な議論は提供していないことを明示している。彼らは、そのようなフローが特定の格子モデル（例：$j_1-j_2$ ハイゼンベルク鎖）や摂動論的QFTにおいて存在する可能性を認め、アノマリー・マッチングに基づいて $SU(N)_2 \to SU(N)_1$ フローの存在が他で提案されていることにも言及している。
• 理論的含意: 本研究は、量子場理論における対称性演算子と欠陥の間の微妙かつ持続的な区別を浮き彫りにしており、「一般化された対称性」のパラダイムをRGフローに適用する際には、これらの構造を慎重に区別する必要があることを示唆している。著者らは、欠陥と対称性の対応（$\rho_Q = \rho_D$）が簡約の「標準的なクラス（canonical class）」を定義すると提案しており、このクラスの外側にあるフローは、さらなる数値的または組合せ論的な検証を要する未解決の問題として残されている。

要約すれば、本論文は、アノマリー・マッチングはRGフローの必要条件であるが、ペアリング条件（TQFTの単純電流構造から導かれる）は、対称性と欠陥の保存の適合性に対してより厳格な制約を課すものであり、以前はアノマリーの観点のみから有効と考えられていたフローにおける潜在的な不一致を明らかにしている。