Generalised Symmetries, Anomalies, and Maximal Branches of 3d Chern-Simons Matter Theories

技術要約：3次元チャーン・サイモンズ・マター理論における一般化された対称性、アノマリー、および極大分岐

問題設定
本研究は、一般化されたグローバル対称性（具体的には1-フォーム対称性と0-フォーム対称性）、それらの't Hooftアノマリー、および3次元ユニタリ・チャーン・サイモンズ・マター（CSM）クィバー理論（$\mathcal{N} \ge 3$ 超対称性を持つ）の極大分岐の幾何学との相互作用を調査するものである。これらの理論の対称性代数はしばしば理解されているが、その大域的な形式、真の演算子と非真の演算子のスペクトル、および高次群構造（2-group）の具体的な実現は依然として微妙な問題である。さらに、1-フォーム対称性のゲージング（ゲージ化）がモジュライ空間（極大分岐）および対応する磁気クィバー記述に与える影響についても解明が必要である。本研究では、NS5ブレーンと$(1, \kappa)$ 5-ブレーンの間に懸架されたD3-ブレーンを用いたタイプIIBブレーン構成を通じて実現される、基本ハイパーマルチプレットを持たない線形ユニタリCSMクィバーに焦点を当てる。

手法
著者らは、場理論的解析とタイプIIBブレーン構成を組み合わせたデュアルなアプローチを採用している。

1. ブレーン・フェーズ（相）: 著者らは、Giveon–Kutasov（GK）双対性（またはHanany–Wittenブレーン生成）によって関連付けられた2つの補完的なフェーズを利用する。
   • 分解フェーズ (Factorised Phase): 連結された0-フォーム対称性の因子を孤立させ、モノポール電荷を顕在化させる。
   • 極大分岐フェーズ (Maximal Branch Phase): 特定の分岐のモジュライと残留するトポロジカル・セクターを孤立させ、「凍結された」D3-ブレーン・セグメントを明らかにする。
2. 対称性の抽出:
   • 1-フォーム対称性 ($\Gamma^{(1)}$): ウィルソン・ラインによるスクリーニング（$g = \gcd(k_i)$ を必要とする）および、$(p,q)$-ストリング格子と、利用可能な5-ブレーンに端を持つストリングとの商を解析することによって独立に決定される。
   • 生成元とアノマリー: 生成元は、分数的な中心Gukov–Witten欠陥として実現される。この欠陥の自己アノマリーおよび混合アノマリーは、この分数的なモノポール・エンドポイントを解析することで抽出される。具体的には、これらの分数モノポールを物質場でドレスしてゲージ不変な演算子を形成することに対する障害が、アノマリー・ラベルを決定する。
   • 0-フォームおよび2-group対称性: 整数モノポール演算子（真および非真）のセンター電荷を解析することにより、忠実な0-フォーム対称性群 $\mathcal{F}$ とその連結被覆 $\tilde{\mathcal{F}}$ を決定する。2-group構造の存在は、1-フォーム対称性のラインのエンドポイントが、その大域的な形式によって許容されない表現で $\mathcal{F}$ の中で変形するかどうかをチェックすることによって特定される（Postnikov類を用いてエンコードされる）。
3. 極大分岐の解析: アノマリーフリーな1-フォーム対称性の部分群をゲージングすることの影響を、"凍結された"D3-ブレーン・セグメントの行方を追跡することによって分析する。これらのセグメントは、赤外領域においてチャーン・サイモンズ・トポロジカル量子場理論（TQFT）へとフローする。

主要な貢献および結果

• 1-フォーム対称性と自己アノマリー:

  • 1-フォーム対称性群は $\Gamma^{(1)} = \mathbb{Z}_g^{(1)}$ （ここで $g = \gcd(\kappa_i)$）として確立される。
  • 自己アノマリー・ラベル $p$ は $p = \sum_i N_i k_i / g$ として導出される。
  • 最大のアノマリーフリー（ゲージ可能）な部分群は、$h = \gcd(g, p)$ である $\mathbb{Z}_h^{(1)}$ として特定される。$h=1$ であれば、対称性は完全にアノマリーフリーであるが、そうでなければ部分群が残る。

• 大域的形式と2-group:

  • 忠実な0-フォーム対称性群 $\mathcal{F}$ とその被覆 $\tilde{\mathcal{F}}$ は、$\mathcal{N}=4$ および $\mathcal{N}=3$ の両方のケースについて明示的に決定される。
  • $\mathcal{N}=4$ の場合: 1-フォーム対称性の生成元のエンドポイント（ドレスされたモノポール）が、$\mathcal{F}$ の非アーベル因子において、その大域的な形式では許容されない表現で変形する場合に、非自明な2-group構造が生じる。これは、CSノードにおけるプローブ・モノポールのセンター電荷が非自明である場合に起こる。
  • $\mathcal{N}=3$ の場合: 0-フォーム対称性は、すべての極大分岐からの因子を含む。プローブ・モノポールが非自明なセンター電荷を持つ場合、非自明な2-groupはすべての非アーベル因子を同時に含む可能性がある。
  • アノマリーの相殺: 検討された線形ユニタリ理論において、1-フォーム対称性と非アーベル0-フォーム因子の間の混合't Hooftアノマリーは相殺されることが判明した。これは、クィバー・ノードのバランス条件と、正しいUV-to-IR対称性マッピングに起因する。混合アノマリーは、アーベル0-フォーム因子との間でのみ存在する。

• 極大分岐と凍結されたTQFT:

  • 極大分岐が1-フォーム対称性のゲージングの影響を受けるかどうかの直接的な判定基準が確立された。ある分岐が影響を受けるのは、以下の条件を満たす場合のみである：
    1. その分岐フェーズに、他の分岐に沿って自由に動けるD3モジュライが含まれていない。
    2. 非自明な凍結TQFTが存在しない（すなわち、異なるタイプの5-ブレーンの間の凍結されたD3セグメントが存在しない）。
  • 凍結されたD3が存在する場合、それらはエニオン的ウィルソン・ラインを持つCS-TQFTへとフローする。1-フォーム生成元は、シグマモデル・ボルテックスとこれらのエニオン的ラインの対角結合となる。エニオン的ラインはエンドポイントを持たないため、1-フォーム生成元は極大分岐に端を持つことができず、ゲージングによって新しい演算子が生成されることを防ぐ。
  • 影響を受ける分岐への制約: ブレーン移動の議論により、与えられた理論において同時に影響を受ける極大分岐は、高々2つであることが示された。

• 磁気クィバーの拡張:

  • 1-フォーム・ゲージングの影響を受ける分岐に対しては、標準的な磁気クィバー記述では不十分である。著者らは、非単純連結（non-simply laced）のエッジを含む拡張を提案する。
  • 具体的には、$(1, \kappa_i)$ 5-ブレーンのスタックは、$\kappa_i$ 個の非単純連結エッジを介して接続された単一のフレーバー・ノードとして表される。
  • この拡張は、1-フォーム対称性 $\mathbb{Z}_g^{(1)}$ および、1-フォーム対称性と極大分岐のアイソメトリ（等長変換）の間の混合't Hooftアノマリーを正確に再現する。

意義および主張
本論文は、線形ユニタリ $\mathcal{N} \ge 3$ CSM理論の対称性データと極大分岐の幾何学に関する統一的な扱いを提供することを主張している。

• 1-フォーム対称性、そのアノマリー、およびモジュライ空間の幾何学との間の具体的な辞書を確立し、特に凍結されたTQFTセクターの存在とゲージングの障害を結びつけた。
• モノポール演算子をプローブとして用いることで、0-フォーム対称性の大域的形式と2-groupの構造を解決し、真の演算子と非真の演算子を区別した。
• 1-フォーム対称性と極大分岐のアイソメトリとの間のアノマリーを考慮するために、磁気クィバー形式への特定の修正（非単純連結エッジ）を導入した。
• 結果はラグランジアン理論から導出されているが、ブレーンに基づく議論は、可能な範囲で非ラグランジアン $\mathcal{N}=3$ 理論にも拡張されており、明示的なエンドポイント演算子なしでは自己アノマリーや2-group構造の決定に限界があることも述べている。

本研究は新しい実験的応用を提案するものではなく、特に3d-3d対応やブレーン工学の文脈において、超対称ゲージ理論における真空構造と対称性の実現に関する理論的理解を深めることを目的としている。