Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

技術要約：二次元非線形シグマモデルにおける非可逆対称性

問題設定
本論文は、ウィッツェン・ゾマーフェルト（WZ）項を持つ二次元非線形シグマモデル（NLSM）における非可逆対称性の構成について扱っている。半空間ゲージング（half-space gauging）を通じて、トポロジカルな欠陥によって生成される非可逆対称性は、共形場理論（CFT）、特に自由なコンパクトボソンにおいては十分に研究されてきた。しかし、非自明な1サイクルや共形不変性を欠く一般的なNLSMにおいて、それらが存在するかどうか、またどのように具体的に構成されるかという問いは、未解決のままであった。著者らは、自己双対欠陥（離散的なゲージングとその後の双対変換によって不変となる理論から生じるもの）の既知の構成を、広範なクラスのWZ項を持つNLSMへと一般化し、そのような欠陥が存在するための正確な条件を特定することを目的としている。

手法
著者らは「半空間ゲージング」という手法を用いている。これは、グローバルな対称性を時空多様体の片側（$\Gamma_+$）においてのみゲージングし、もう片側（$\Gamma_-$）ではゲージングしない手法である。これら二つの領域の境界（インターフェース $\gamma$）は、もし$\Gamma_+$上のゲージングされた理論が元の理論の$\Gamma_-$と双対であるならば、トポロジカルな欠陥となる。

手法は以下の技術的なステップを経て進行する：

1. 倍加されたゲージングNLSM（Doubled Gauged NLSM）： 著者らは、NLSMのT双対性の「倍加された」定式化を利用している。彼らは、ゲージングされた作用にラグランジュ未定乗数場を導入することで構築された、$N$を底空間とする$T^{2d}$束であるターゲット空間$\hat{M}$を導入する。これにより、非自明な束（bundle）や$H$-フラックスといった大域的なトポロジカルな障害を透明に扱う、T双対性の幾何学的な導出が可能となる。
2. 離散ゲージング： 連続的な等長変換群全体をゲージングする代わりに、著者らは$\prod Z_{p(m)} \subset U(1)^d$という離散部分群をゲージングする。これは、平坦なゲージ場の$Z_p$ホロノミーを強制するために、倍加された作用におけるラグランジュ未定乗数項を修正することによって実装される。
3. 境界解析： 半空間分割によって導入されるワールドシートの境界 $\gamma$ を扱うことは、極めて重要な技術的要素である。著者らは、境界を持つ多様体上でのWZ項のゲージ不変性を維持するために必要な境界項を注意深く分析している。彼らは、$\Gamma_+$におけるゲージングの手順が、$\gamma$ 上に局在する特定のトポロジカル・トポロジカル量子場理論（TQFT）として機能する、特定のトポロジカルな境界項を生成することを証明している。
4. 自己双対条件： ゲージ場を積分除去することにより、著者らはゲージングされた理論の有効作用を導出する。次に、ゲージングされた理論の計量と$H$-フラックスが、座標の再定義を除いて元の理論の$\Gamma_-$と一致するという条件を課すことで、当該のインターフェースが単一の理論内におけるトポロジカルな欠陥となるためのパラメータを特定する。

主要な貢献と結果
本論文は、広範なクラスのNLSMにおける非可逆欠陥の存在を確立し、その構成のための明示的な公式を提供している：

• 一般化された自己双対条件： 著者らは、$U(1)^d$等長変換を持つNLSMが非可逆欠陥を宿すための必要十分条件を導出している。これらの条件は、元のモデルのトポロジカルなデータと、ゲージングされたモデルとの関係を記述する：
  • トポロジカルな制約： 元の理論と双対な理論のチェルン類（$F^m$）および$H$-類（$\tilde{F}^m$）は、$p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$を満たさなければならない。これは、トポロジカルなデータの交換、およびゲージングされた部分群の次数によるスケーリングを意味する。
  • モジュライの制約： 一般化された計量モジュライ $E_{mn}$ は、$E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$ を満たさなければならない。これは、コンパクトボソンの自己双対半径の条件を任意のターゲット空間へと一般化したものである。
• 境界TQFTの役割： この構成は、欠陥の非可逆性が、欠陥の軌跡 $\gamma$ 上に存在する1次元のBF型TQFTに由来することを開示している。このTQFTの作用は $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$ である。この項は、インターフェースを横切る正しい運動方程式を保証し、欠陥のタンバラ・ヤマガミ（Tambara-Yamagami）融合則（$TY(Z_p)$）を規定する。
• 例： 著者らは、いくつかのターゲット空間に対してこれらの欠陥を明示的に構成している：
  • 球面およびレンズ空間： $S^3$（ホップファイブレーションとして見た場合）およびレンズ空間は、半径、$H$-フラックス、およびゲージングパラメータ $p$ の間に特定の関係が満たされる場合に、このような欠陥を宿すことを示している。
  • ニルフォールド（Nilfolds）： 非自明な1サイクルを持たないにもかかわらず、非ゼロの$H$-フラックスを持つニル多様体（$T^2$上の非自明な$S^1$束）が、これらの欠折を宿し得ることを実証している。
  • WZWモデル： 極めて重要な結果は、Wess-Zumino-Witten（WZW）モデルへの適用である。著者らは、等長変換の$Z_p$部分群をゲージングするための自己双対条件が、モデルが共形であるために必要な量子化条件（具体的にはWZWモデルのレベル $\kappa$）と正確に一致することを見出した。その結果、$SU(N)_\kappa$ WZWモデルは $TY(Z_\kappa)$ 融合を持つ非可逆欠陥を有する。著者らは、$\kappa > 2$ の場合、これらの欠陥は一般にVerlindeライン（完全なカイラル代数と可換ではない）にはならないことも指摘している。

意義と主張
本論文は、理論が共形であることや有理的であることを必要としない、NLSMにおける非可逆対称性の体系的かつ微視的な導出を提供していると主張している。

• 普遍性： この構成は、ターゲット空間が非自明な1サイクル（ワインディングモード）を持つか、あるいは理論が共形であるかに関わらず、自由に行動する等長変換を持つあらゆるNLSMに適用される。
• 微視的な起源： 本研究は、非可逆な融合則が、半空間ゲージングの手順から自然に生じる、欠陥に局在した特定のトポロジカル項（BF理論）に由来することを強調している。
• WZWとの関連： すべてのレベルにおけるWZWモデルにおける非可逆欠陥の特定は、離散ゲージング構成と結合の共形量子化を直接結びつける驚くべき結果として提示されている。
• 限界： 著者らは、欠陥を構成してはいるものの、局所演算子（オーダー/ディスオーダー演算子）に対するこれらの対称性の明示的な作用や、ワード恒等式への影響については、さらなる探求が必要であることを謙虚に述べている。また、この構成には、等長変換が固定点を持たずに作用する必要があるという技術的な制約があり、これは偶数次元の球面のような幾何学を除外することを認めている。

総じて、本論文は、非可逆対称性の枠組みを、単純な自由理論から、相互作用のあるトポロジカルに非自明なNLSMへと拡張し、T双対性と離散ゲージングがいかにしてこれらのエキゾチックな対称性を生成するかについての統一的な幾何学的記述を提供している。