4d Maxwell on the Edge: Global Aspects of Boundary Conditions and Duality

技術要約：境界における4次元マックスウェル理論：境界条件のグローバルな側面と双対性

問題設定
本論文は、4次元マックスウェル理論における境界条件の分類とグローバルな性質を扱っており、これは自由理論（free theory）においてさえ困難な課題である。局所的な境界条件（電場強度に対する制約）はよく理解されているが、グローバルな構造、特に拡張された演算子（ウィルソン線および't Hooft線）の振る舞いや、それに伴う境界付近での一般化された対称性の性質については、体系的な探求が十分になされていない。著者らは、一連の整合的な境界条件の全空間を特徴付け、「自由な（free）」境界条件（純粋にトポロジカルなエッジモードのみを含むもの）と、「共形な（conformal）」境界条件（相互作用する3次元CFTと結合するもの）を区別することを目的としている。中心的な目標は、バルクの双対性（SL(2, Z)およびスケーリング）が、これらの境界条件に対してどのように作用し、ライン演算子の運命や境界1形式対称性の生成にどのように関わるかを理解することである。

手法
著者らは、直接的なラグランジアン解析、トポロジカル場理論（TQFT）による記述、および対称性トポロジカル場理論（SymTFT）の枠組みを組み合わせた多角的なアプローチを採用している。

1. トポロジカル・エッジモード記述: 自由な境界条件は、バルクの光子と結合した3次元アベリアン・トポロジカル場理論としてモデル化される。境界作用は整数 $(p, v, k)$ によってパラメータ化され、これらが電場強度の局所的な制約およびホロノミーのグローバルな制約を決定する。
2. トポロジカル・インターフェース: 異なる結合を持つバルク・マックスウェル理論を分離する、明示的な3次元トポロジカル・インターフェースを構成する。これらには以下が含まれる：
   • 双対性インターフェース: バルクの $U(1)_e \times U(1)_m$ 1形式対称性の離散部分群をゲージ化することにより、SL(2, Z) 変換を実装する。
   • スケーリング・インターフェース: 結合のスケーリング（$e^2 \to \frac{N^2}{M^2}e^2$）を実装するために、$Z_N \times Z_M$ 部分群をゲージ化する。
   • 凝縮欠陥（Condensation Defects）: インターフェースの合成を分析することで、非可換欠陥（non-invertible defects）と、それが端端可能なライン（endable lines）のスペクトルに与える影響を理解する。
3. SymTFT 枠組み: 結果は、コーナーを持つスラブ多様体上の5次元SymTFTを用いて回収され、統一される。5次元バルクは非コンパクトなBF理論（$b \wedge dc$）である。物理的な4次元境界とトポロジカルな4次元境界がスラブの面上に導入され、3次元トポロジカル・インターフェースがコーナーとして機能する。このセットアップは、バルクの結合 $\tau$ と境界データ $(P, Q, \tilde{r})$ を幾何学的に符号化する。
4. 弱結合極限: 共形境界条件の振る舞いは、$e \to 0$ の極限で分析される。このときバルクはデカップルし、結果として得られる局所的な3次元CFTの構造が明らかになる。

主要な貢献と結果

• 自由な境界条件の分類: 著者らは、不等価な自由境界条件が、$\gcd(P, Q)=1$ を満たす3つの整数 $(P, Q, \tilde{r})$ によって特徴付けられることを確立した。
  • $P$ と $Q$ は局所的な境界条件 $P(\frac{i}{e^2} *F - \frac{\theta}{2\pi}F) + QF = 0$ を決定する。
  • $\tilde{r}$ はグローバルな構造を決定する：それは、どのダイオン・ライン $(W_Q H_P)^{\tilde{r}m}$ が境界上で自明になるかを指定する。自明化された対称性に対して電荷を持たないが自明にはならないラインは、トポロジカルなラインとなり、$\mathbb{Z}_{\tilde{r}}$ 1形式境界対称性を生成する。
• トポロジカル・インターフェースの作用:
  • SL(2, Z) 双対性: 双対性インターフェースを境界条件に融合させると、$(P, Q)$ はダブルレットに対する標準的な SL(2, Z) 作用に従って変換されるが、$\tilde{r}$ は不変である。これは、SL(2, Z) 双対性が境界条件のグローバルな構造（自明化されたラインの集合）を保存することを裏付けている。
  • スケーリングおよび SL(2, Q): 結合のスケーリング（$Z_N \times Z_M$ をゲージ化）を実装するインターフェースは、$(P, Q)$ を変換し、$\tilde{r}$ を変更する。双対性とスケーリングのインターフェースの複合作用は、バルクの複素結合 $\tau$ に対する SL(2, $\mathbb{Q}$) 作用を生成する。純粋な SL(2, Z) とは異なり、これらの操作はグローバルな構造（$\tilde{r}$ の値）を変更することができ、実質的に端端可能なラインの集合を変化させる。
  • 凝縮欠陥: スケーリング・インターフェースの合成は、非可換な凝縮欠陥をもたらす。これらの欠陥は、ライン演算子を自明化、あるいは非自明化させ、端端可能なラインのスペクトルを変化させる。
• 共形境界条件: 3次元CFTがバルクと結合する場合、トポロジカルな結合は、境界の荷を持つ演算子のうち、どの部分集合がバルクと結合するかを選択する。弱結合極限 ($e \to 0$) において、境界理論はトポロジカルな操作（ゲージ化、チャーン・サイモンズ項の追加）によって修正された局所的な3次元CFTへと還元される。これは、トポロジカルな操作と非トポロジカルな操作の両方を取り入れた、3次元CFTに対する SL(2, Z) 作用の洗練された一般化を提供している。
• SymTFT による統一: コーナーを持つ5次元SymTFTは、$(P, Q, \tilde{r})$ データを正常に再現する。トポロジカル境界条件 $B_{4d', \text{top}}$ の選択がバルク結合 $\tau'$ を決定し、3次元トポロジカル・インターフェースの選択（SL(2, $\mathbb{Q}$) 行列によってパラメータ化される）が、物理側における具体的な境界条件 $(P, Q, \tilde{r})$ を決定する。これは、境界データに対する SL(2, $\mathbb{Q}$) 作用の幾何学的な導出を提供している。
• 非コンパクト・エッジモード: 本論文では、非コンパクトな $\mathbb{R}$ 値のエッジモードを含む境界条件についても簡潔に議論している。これらは、無理数係数を持つ境界条件をもたらし、一般にトポロジカルなライン演算子の欠如（1形式対称性の不在）や連続スペクトルをもたらし、2次元におけるフリーダン（Friedan）境界条件に似た潜在的な病理を示唆している。

意義
本論文は、マックスウェル理論の境界に関するグローバルな側面について、包括的かつ合理的な理解を提供すると主張している。どのウィルソン-'t Hooftラインが自明になるか、あるいはトポロジカルになるかを特定することで、著者らは境界1形式対称性の出現を明確にしている。双対性とスケーリングの操作を SL(2, $\mathbb{Q}$) 作用へと統合し、その作用がコーナーを持つ5次元SymTFTから導出可能であることを示したことは、境界条件を分析するための強力な幾何学的ツールを提供する。この枠組みは、3次元CFTに対する既知の SL(2, Z) 作用を、非トポロジカルな操作を含む形へと一般化し、双対性変換の下での拡張演算子の運命を系統的に回復する方法を提供する。本研究は、境界を持つゲージ理論におけるグローバル構造を研究するための典型的な例であり、AdS/CFTや平坦空間の観測量の正則化への関連性も持ち合わせている。