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

Technical Summary: Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

Problem Statement
The paper addresses the construction of non-invertible symmetries in two-dimensional Non-Linear Sigma Models (NLSMs) with Wess-Zumino (WZ) terms. While non-invertible symmetries generated by topological defects have been well-studied in Conformal Field Theories (CFTs) and specifically for the free compact boson via half-space gauging, their existence and explicit construction in general NLSMs—particularly those lacking non-trivial 1-cycles or conformal invariance—remained an open question. The authors aim to generalize the known construction of self-duality defects (which arise when a theory is invariant under a discrete gauging followed by a duality transformation) to a broad class of NLSMs with WZ terms, identifying the precise conditions under which such defects exist.

Methodology
The authors employ a "half-space gauging" procedure, a technique where a global symmetry is gauged in only one half of the spacetime manifold ($\Gamma_+$), while the other half ($\Gamma_-$) remains ungauged. The interface ($\gamma$) between these regions becomes a topological defect if the gauged theory on $\Gamma_+$ is dual to the original theory on $\Gamma_-$.

The methodology proceeds through several technical steps:

1. Doubled Gauged NLSM: The authors utilize the "doubled" formulation of T-duality for NLSMs. They introduce a target space $\hat{M}$ which is a $T^{2d}$ bundle over the base space $N$, constructed by adding Lagrange multiplier fields to the gauged action. This allows for a geometric derivation of T-duality that handles global topological obstructions (such as non-trivial bundles and $H$-flux) transparently.
2. Discrete Gauging: Instead of gauging the full continuous isometry group, the authors gauge a discrete subgroup $\prod Z_{p(m)} \subset U(1)^d$. This is implemented by modifying the Lagrange multiplier term in the doubled action to enforce flat gauge fields with $Z_p$ holonomies.
3. Boundary Analysis: A crucial technical component involves handling the worldsheet boundary $\gamma$ introduced by the half-space split. The authors carefully analyze the boundary terms required to maintain gauge invariance of the WZ term on a manifold with boundary. They demonstrate that the gauging procedure on $\Gamma_+$ generates a specific topological boundary term localized on $\gamma$, which acts as a Topological Quantum Field Theory (TQFT).
4. Self-Duality Conditions: By integrating out the gauge fields, the authors derive the effective action for the gauged theory. They then impose conditions such that the metric and $H$-flux of the gauged theory on $\Gamma_+$ match those of the original theory on $\Gamma_-$ (up to coordinate redefinitions), thereby identifying the parameters for which the interface is a topological defect within a single theory.

Key Contributions and Results
The paper establishes the existence of non-invertible defects in a wide class of NLSMs and provides explicit formulas for their construction:

• Generalized Self-Duality Conditions: The authors derive the necessary and sufficient conditions for an NLSM with a $U(1)^d$ isometry to host a non-invertible defect. These conditions relate the topological data of the original model to the gauged model:
  • Topological Constraint: The Chern classes ($F^m$) and $H$-classes ($\tilde{F}^m$) of the original and dual theories must satisfy $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. This implies an exchange and scaling of topological data by the order of the gauged subgroup.
  • Moduli Constraint: The generalized metric moduli $E_{mn}$ must satisfy $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. This generalizes the self-dual radius condition of the compact boson to arbitrary target spaces.
• Role of the Boundary TQFT: The construction reveals that the non-invertibility of the defect arises from a 1-dimensional BF-type TQFT living on the defect locus $\gamma$. The action of this TQFT is $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. This term ensures the correct equations of motion across the interface and dictates the Tambara-Yamagami fusion rules ($TY(Z_p)$) of the defect.
• Examples: The authors explicitly construct these defects for several target spaces:
  • Spheres and Lens Spaces: They show that $S^3$ (viewed as a Hopf fibration) and Lens spaces admit such defects when specific relations between the radius, $H$-flux, and the gauging parameter $p$ are met.
  • Nilfolds: They demonstrate that nilmanifolds (non-trivial $S^1$ bundles over $T^2$) with non-zero $H$-flux can host these defects, even though they lack non-contractible 1-cycles.
  • WZW Models: A significant result is the application to Wess-Zumino-Witten (WZW) models. The authors find that the self-duality conditions for gauging a $Z_p$ subgroup of the isometry symmetry coincide precisely with the quantization condition required for the model to be conformal (specifically, the level $\kappa$ of the WZW model). Consequently, $SU(N)_\kappa$ WZW models possess non-invertible defects with $TY(Z_\kappa)$ fusion. The authors note that for $\kappa > 2$, these defects are generally not Verlinde lines (they do not commute with the full chiral algebra).

Significance and Claims
The paper claims to provide a systematic, microscopic derivation of non-invertible symmetries in NLSMs that does not rely on the theory being conformal or rational.

• Generality: The construction applies to any NLSM with a freely acting isometry, regardless of whether the target space has non-trivial 1-cycles (winding modes) or whether the theory is conformal.
• Microscopic Origin: The work highlights that the non-invertible fusion rules originate from a specific topological term (the BF theory) localized on the defect, which arises naturally from the boundary terms in the half-space gauging procedure.
• WZW Connection: The identification of non-invertible defects in WZW models at all levels is presented as a surprising result, linking the discrete gauging construction directly to the conformal quantization of the coupling.
• Limitations: The authors modestly note that while they construct the defects, the explicit action of these symmetries on local operators (order/disorder operators) and their implications for Ward identities remain to be fully explored. They also acknowledge that the construction requires the isometry to act without fixed points, a technical constraint that excludes certain geometries like even-dimensional spheres.

In summary, the paper extends the framework of non-invertible symmetries from simple free theories to interacting, topologically non-trivial NLSMs, providing a unified geometric picture of how T-duality and discrete gauging generate these exotic symmetries.