Exploring Non-Invertible Symmetries in Free Theories
Pierluigi Niro, Konstantinos Roumpedakis, Orr Sela
TL;DR
The paper develops a constructive framework to study non-invertible (codimension-one) topological defects in free quantum field theories, focusing on 4d Maxwell theory and the 2d free compact scalar. By requiring energy-momentum conservation across a defect, the authors derive that the most general linear mixing of $F$ and $\star F$ in Maxwell theory is an $SO(2)$ rotation with angle $\varphi$, and they construct defect Lagrangians that realize rational $\cos\varphi$ for rational bulk couplings $e^4$ and $\theta/\pi$, including a description in terms of two minimal TQFTs $\mathcal{A}^{q,p}$. They analyze how these defects act on Wilson and 't Hooft lines, showing the action is generically non-invertible even though the bulk operator map on $F$ and $\star F$ is invertible. In the 2d case, they find only four discrete maps for $d\phi$ and $\star d\phi$, with a $\mathcal{T}$-duality-like transformation realized for rational $R^2$, and the product with $\mathbb{Z}_2$, paralleling the Maxwell results. The work provides a concrete, Lagrangian-based route to non-invertible symmetries in free theories and suggests a path toward a general criterion for their existence, linking dualities, one-form symmetries, and defect fusion.
Abstract
Symmetries corresponding to local transformations of the fundamental fields that leave the action invariant give rise to (invertible) topological defects, which obey group-like fusion rules. One can construct more general (codimension-one) topological defects by specifying a map between gauge-invariant operators from one side of the defect and such operators on the other side. In this work, we apply such construction to Maxwell theory in four dimensions and to the free compact scalar theory in two dimensions. In the case of Maxwell theory, we show that a topological defect that mixes the field strength $F$ and its Hodge dual $\star F$ can be at most an $SO(2)$ rotation. For rational values of the bulk coupling and the $θ$-angle we find an explicit defect Lagrangian that realizes values of the $SO(2)$ angle $\varphi$ such that $\cos \varphi$ is also rational. We further determine the action of such defects on Wilson and 't Hooft lines and show that they are in general non-invertible. We repeat the analysis for the free compact scalar $φ$ in two dimensions. In this case we find only four discrete maps: the trivial one, a $Z_2$ map $dφ\rightarrow -dφ$, a $\mathcal{T}$-duality-like map $dφ\rightarrow i \star dφ$, and the product of the last two.
