Flat Gauging of Continuous (Non-invertible) Symmetries and Non-compact BF SymTFT for Compact Boson

技術要約：連続的（非可逆的）対称性のフラット・ゲージングと、コンパクト・ボソンに対する非コンパクトBF SymTFT

問題提起
本論文は、二次元共形場理論（CFT）における「フラット・ゲージング（flat gauging）」（または連続的オービフォルディング）の操作について扱っている。標準的な動的ゲージングとは異なり、フラット・ゲージングはゲージ場の全空間を積分するのではなく、平坦なゲージ場構成（トポロジカルな欠陥ネットワーク）のみを足し合わせるものである。これは有限群についてはよく理解されているが、連続的な対称性、特に連続的な非可逆対称性への適用には微妙な差異が存在する。具体的には、平坦な接続のモジュライ空間上の分関数は、不連続であったり、ゼロ測度の軌跡（例えば対称性の固定点）を有していたりする場合があり、これらは本質的な物理データを保持している。モジュライ空間に対するナイーブな積分は、これらの寄与を破棄してしまうリスクがあり、誤ったゲージド理論を導く可能性がある。著者らは、運動量（$U(1)_M$）と巻き付き（$U(1)_W$）の相互作用、およびそれらの混合アノマリーと非コンパクト極限の関係に焦点を当て、主要な実験場として二次元コンパクト・ボソンを用いてこれらの問題を調査している。

手法
著者らは、明示的なトーラス分関数の計算、頂点演算子の解析、および対称性トポロジカル場理論（SymTFT）の形式を組み合わせて用いている。

1. 背景場を伴う分関数： 一般的な平坦な $U(1)_M \times U(1)_W$ 背景場を伴うコンパクト・ボソンのトーラス分関数を構成する。彼らは、これらの対称性の間の混合't Hooftアノマリーを明示的に考慮し、分関数がモジュライ空間上の単一値関数ではなく、ライン束の切断（section）であることを示す。
2. フラット・ゲージングの手順： 対称性背景のホロノミーを積分することによってフラット・ゲージングを行う。アノマリーに対処するため、被積分関数を単一値にするための特定の局所的なカウンターターム（トポロジカルな位相）を導入する。
3. 頂点演算子のマッチング： ゲージドされた理論の性質を確認するために、頂点演算子のスペクトルとそれらの演算子積展開（OPE）を分析し、既知の非コンパクト・ボソン代数と比較する。
4. SymTFTの定式化： 結果を3次元SymTFTの観点から解釈する。バルク理論は、$\mathbb{R}$ 値のゲージ場を持つ非コンパクトBF理論として特定される。異なる物理的理論（様々な半径のコンパクト・ボソン、非コンパクト・ボソン）は、このバルク理論の異なるトポロジカルな境界条件（ラグランジアン代数）として実現される。
5. オービフォルド分岐の解析： オービフォルド分岐（反射対称性 $\mathbb{Z}_2$ のゲージング）への拡張を行う。ここでは連続的な対称性が非可逆対称性となる。有限な非可逆ゲージングと連続極限を比較し、ゼロ測度の固定軌跡から生じる不一致を浮き彫りにする。

主要な貢献と結果

• フラット・ゲージングによる非コンパクト化： 著者らは、コンパクト・ボソンの運動量 $U(1)_M$ または巻き付き $U(1)_W$ の対称性をフラット・ゲージングすることが、理論を非コンパクト化することを実証している。

  • $U(1)_W$ 背景場の存在下で $U(1)_M$ をフラット・ゲージングすると、その双対である離散的 $\mathbb{Z}$ 対称性（$U(1)_M$ のフーリエ・パートナー）が、残された $U(1)_W$ 背景と結合する。混合アノマリーにより、これらは単一の非コンパクト $\mathbb{R}_W$ 対称性背景へと結合する。
  • 得られる分関数は、非コンパクト自由ボソンのものと一致する。頂点演算子は、離散的な巻き付き格子が連続的な運動量スペクトルに置き換わっていることを裏付けている。
  • これにより、連続対称性のフラット・ゲージングがコンパクト理論を非コンパクト理論へと変容させ、その双対対称性が非コンパクト場の並進対称性となる精密なメカニズムが確立される。

• **自己双対半径における $SO(3)$ゲージング：** 自己双対半径 ($r = 1/\sqrt{2}$) において、コンパクト・ボソンは拡張された$(SU(2)_L \times SU(2)_R)/\mathbb{Z}_2$対称性を持つ$\widehat{su}(2)_1$ WZWモデルと等価である。著者らは、対角 $SO(3)$ 部分群のフラット・ゲージングを再検討する。

  • 計算を、ねじれセクター（twisted sector）と、ねじれなしセクター（untwsted sector）に分離する。
  • ねじれセクターの寄与は、オービフォルドされた非コンパクト・ボソン ($\mathbb{R}/\mathbb{Z}_2$) に似ているが、全理論はアンツルトセクターのために異なる。
  • 得られる理論は、標準的な $c=1$ のモジュライ空間（円およびオービフォルド理論）の外側に位置しており、フラット・ゲージングが真に新しいCFT（Runkel-Watts および Roggenkamp-Wendland の極限に関連するもの）を生成し得ることを裏付けている。

• オービフォルド分岐における連続的非可逆対称性： オービフォルド分岐上では、連続的な $U(1)$ 対称性は連続的な族の非可逆欠陥となる。

  • 著者らは、一般的な非可逆欠陥ネットワークに対する分関数を構成する。
  • 彼らは決定的な微妙な差異を特定した：有限な和を連続的な積分に置き換えるナイーブな連続積分は、ゼロ測度の固定軌跡（例：$\mathbb{R}/\mathbb{Z}_2$ における原点）からの寄与を破棄してしまう。
  • 操作の順序が重要であることを示す：まず $U(1)_M$ をゲージングしてから反射 $\mathbb{Z}_2$ を行うと、正しい非コンパクト・オービフォルド分関数（単一の固定点を持つ）が得られる。しかし、オービフォルド分岐から出発して、連続的な非可可逆対称性をナイーブに積分すると、固定点の振動子寄与を欠いた誤った結果が得られる。
  • 著者らは、ゼロ測度の軌跡を扱うためのパラメータ $\kappa$ を用いた正則化スキームを提案し、異なる $\kappa$ の値が異なる物理的極限（有限ゲージング vs 非コンパクト・オービフォルド）を再現することに注意を向けている。これにより、連続的な測度の本質的な定義は未解決の問いとして残されている。

• SymTFTによる記述： 著者らは、$D$ 個のコンパクト・ボソンに対するSymTFTを、$\mathbb{R}$ 値のゲージ場を持つ非コンパクトBF理論として定式化する。

  • ターゲット空間の幾何学（計量 $G_{IJ}$ および Bフィールド $B_{IJ}$）は、バルクBF理論のラグランジアン代数（トポロジカルな境界条件）の選択にエンコードされている。
  • トポロジカルな境界状態（幾何学をエンコードする）と物理的な境界状態の重なりが、ナライン（Narain）分関数を再現する。
  • これらの境界状態のパラメータ化における冗長性は、ナライン・モジュライ空間および $O(D, D; \mathbb{Z})$ T-双対性の作用を自然に導き出す。
  • 非コンパクト化は、連続的なライン演算子の族を凝縮させるようにトポロジカルな境界条件を変更することとして解釈される。

意義
本論文は、連続的対称性のフラット・ゲージングを理解するための厳密な枠組みを提供し、混合アノマリーがいかにしてコンパクトから非コンパクトへの転移を駆動するかを明らかにしている。また、フラット・ゲージングは単なる有限ゲージングの極限ではなく、標準的なモジュライ空間の外側にある新しいCFTを生成し得る独自の操作であることを強調している。重要な貢献は、連続的な非可逆ゲージングにおける「ゼロ測度の問題」を特定したことであり、固定点に関連する物理的データがナイーブな連続極限において失われ得ることを示したことである。最後に、本研究は、幾何学的データがトポロジカルな境界条件にエンコードされるという、非コンパクトBF SymTFTの枠組みの中で、コンパクト・ボソンのモジュライ空間、T-双対性、および非コンパクト化の記述を統一している。