⚛️ high-energy theory

Symmetries, anomalies, and dualities of two-dimensional Non-Linear Sigma Models

This paper analyzes the global symmetry structures, including group-like and non-invertible symmetries, as well as their 't Hooft anomalies and self-dualities, in two-dimensional Non-Linear Sigma Models with Wess-Zumino terms by relating these properties to the topology of the target space and the effects of discrete gauging.

Original authors: Guillermo Arias-Tamargo, Maxwell L. Velásquez Cotini Hutt

Published 2026-01-29

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Guillermo Arias-Tamargo, Maxwell L. Velásquez Cotini Hutt

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A Dance of Symmetries

Imagine a physical theory as a dance floor. In this paper, the authors are studying a specific type of dance floor called a Non-Linear Sigma Model (NLSM). Think of this as a stage where particles (the dancers) move around on a curved surface (the target space).

Usually, these dance floors have "symmetries." A symmetry is like a rule that says, "If you rotate the whole room or shift the dancers by a certain amount, the dance looks exactly the same."

The authors are investigating two main things:

The Rules of the Dance: What are the symmetries of this specific dance floor? Are they smooth and continuous (like turning a dial), or are they "pixelated" and discrete (like stepping on a grid)?
The "Glitch" (Anomalies): Sometimes, you try to change the rules of the dance (gauge the symmetry), and the universe throws a "glitch" at you. This is called an anomaly. It means the symmetry breaks when you try to make it a local rule.

The paper's main goal is to figure out how these symmetries and glitches behave when the dance floor has a special "Wess-Zumino" term. Think of this term as a magnetic wind blowing through the dance floor that twists the dancers' paths.

The Two Main Dancers: Isometry and Dual Isometry

The authors identify two main types of symmetries in this system, which they call Isometry and Dual Isometry.

The Isometry Symmetry (The "Slide"):
Imagine the dance floor is a cylinder (like a toilet paper roll). You can slide the dancers up and down the cylinder. If the "magnetic wind" (the Wess-Zumino term) doesn't interfere, you can slide them smoothly forever. This is a continuous symmetry (like a U(1) group).
- The Twist: If the magnetic wind is strong and twisted in a specific way, you can't slide them smoothly anymore. You can only slide them by specific "steps." This turns the continuous symmetry into a discrete symmetry (like a Z group).
The Dual Isometry Symmetry (The "Wrap"):
Now, imagine the dancers can also wrap around the cylinder. In simple physics, this is called "winding." However, in these complex dance floors, the "winding" isn't just about the shape of the floor; it's about a hidden partner symmetry that appears when you look at the dance floor through a "mirror" (a process called T-duality).
- The authors call this the Dual Isometry. It's like the "shadow" of the slide symmetry. If the slide symmetry is a smooth dial, the dual symmetry might be a pixelated grid, and vice versa.

The "Glitch" (Anomalies)

The paper explains that these two symmetries often have a Mixed Anomaly.

The Analogy:
Imagine two people trying to hold a heavy box together.

Person A (Isometry) tries to lift it.
Person B (Dual Isometry) tries to push it.
If they try to do their jobs at the same time, the box starts shaking uncontrollably. They can't both be "perfect" at the same time.

In physics terms, you cannot have a theory where both symmetries are perfectly preserved simultaneously without a "glitch." The paper calculates exactly how strong this glitch is. It turns out the size of the glitch depends entirely on the topology (the shape) of the dance floor and the strength of the "magnetic wind."

Continuous Symmetry: If the symmetry is smooth, there is a "pure" glitch (anomaly) that prevents you from making it a local rule unless the floor is shaped in a very specific, simple way.
Discrete Symmetry: If the symmetry is pixelated (discrete), the "pure" glitch disappears, but the mixed glitch between the two symmetries remains.

The Magic Trick: Self-Duality and Non-Invertible Defects

The most exciting part of the paper is about Non-Invertible Symmetries.

The Analogy:
Imagine a magic trick where you take a deck of cards, cut it in half, swap the halves, and put them back together. Usually, you can just swap them back to get the original deck. That's a normal symmetry.
But sometimes, the swap is so weird that you cannot swap them back to get the original deck. You can only go forward. This is a Non-Invertible Symmetry. It's like a one-way door.

The authors show that these non-invertible symmetries exist in these complex dance floors under specific conditions.

The Condition: The "magnetic wind" and the shape of the floor must be perfectly balanced. Specifically, the "curvature" of the floor's shape must match the "curvature" of the magnetic wind in a precise mathematical ratio.
The Result: When this balance is hit, the theory has a Self-Duality. This means if you perform a specific "half-swap" (gauge a discrete subgroup), the theory looks exactly the same as before, but with a special "defect" (a boundary line) left behind.

Why the Symmetry Structure Survives

You might ask: "If we swap the rules (gauge the symmetry), shouldn't the symmetries change?"

The authors prove that no, the symmetry structure stays the same.

The Analogy:
Imagine you have a puzzle with two pieces: a "Slide" piece and a "Wrap" piece. They are connected by a spring (the anomaly).

If you try to lock the "Slide" piece in place (gauge it), the spring pulls the "Wrap" piece.
Usually, this would break the puzzle.
But in this specific theory, because of the way the "magnetic wind" and the floor shape are connected, the "Wrap" piece automatically rearranges itself to fill the gap left by the "Slide" piece.

The paper uses advanced math (exact sequences and group extensions) to show that the "Slide" and "Wrap" pieces trade places perfectly. The total number of rules and the nature of the glitches remain identical before and after the swap. This is why the theory is "self-dual"—it looks the same from the outside, even though the internal rules have been shuffled.

Summary

The Subject: A complex 2D physics model with a "magnetic wind" (Wess-Zumino term).
The Discovery: The model has two main symmetries (Isometry and Dual Isometry) that are linked by a "glitch" (anomaly).
The Shape Matters: Whether these symmetries are smooth (continuous) or stepped (discrete) depends on the shape of the universe (target space) and the wind.
The Magic: Under specific conditions, the theory allows for a "one-way" symmetry (non-invertible).
The Conclusion: Even when you perform this "one-way" swap, the overall structure of the symmetries and their glitches remains perfectly preserved, thanks to a deep mathematical balance between the shape of space and the magnetic wind.

Title: Symmetries, anomalies, and dualities of two-dimensional Non-Linear Sigma Models
Authors: Guillermo Arias-Tamargo, Maxwell L. Velásquez Cotini Hutt
Source: arXiv:2508.16721v2 [hep-th]

Problem Statement

The paper addresses the behavior of global symmetry structures in two-dimensional Non-Linear Sigma Models (NLSMs) with Wess-Zumino (WZ) terms under discrete gauging. While non-invertible symmetries (associated with topological defects) have been extensively studied in the context of the free compact boson, their generalization to broader classes of NLSMs requires a deeper understanding of how global symmetries and their 't Hooft anomalies are preserved when the theory undergoes self-duality via discrete gauging.

Specifically, the authors investigate how the global symmetry structure—comprising an "isometry symmetry" (generalizing momentum) and a "dual isometry symmetry" (generalizing winding)—is affected when a discrete subgroup of the isometry symmetry is gauged in half-space. The central question is whether the symmetry structure remains invariant under this operation, a condition necessary for the existence of non-invertible self-duality defects.

Methodology

The authors employ a geometric and topological approach based on the "doubled torus construction" and T-duality:

Geometric Setup: They consider NLSMs where the target space $M$ is a circle bundle over a base $N$ , generated by a Killing vector $k$ . The theory includes a metric $g$ and a closed 3-form $H$ .
Symmetry Classification: The nature of the isometry symmetry (continuous $U(1)$ or discrete $\mathbb{Z}_\kappa$ ) is determined by the cohomology of the contraction $\iota_k H$ . If $\iota_k H$ is exact, the symmetry is $U(1)$ ; if not, it is generically discrete.
Anomaly Analysis: The authors compute 't Hooft anomalies by attempting to gauge the symmetries. They distinguish between:
- Pure anomalies: Obstructions to gauging a single symmetry, calculated via anomaly inflow actions involving Chern-Simons terms.
- Mixed anomalies: Obstructions to gauging the isometry and dual isometry symmetries simultaneously.
Doubled Torus Construction: To analyze T-duality and the dual isometry symmetry, they lift the theory to a larger target space $\hat{M}$ (a $T^2$ bundle over $N$ ). This space possesses two commuting isometries. Reducing $\hat{M}$ by gauge-fixing one coordinate yields the original NLSM, while reducing by the other yields the T-dual NLSM.
Discrete Gauging: They apply the half-space gauging procedure to discrete subgroups of the isometry symmetry, utilizing the doubled torus framework to track how the topology (specifically the curvature forms $F$ and $\tilde{F}$ ) and the symmetry groups transform.

Key Contributions and Results

1. Classification of Isometry and Dual Isometry Symmetries
The paper establishes that the global symmetries of NLSMs with WZ terms are not simply products of $U(1)$ factors but depend on the topology of the target space and the WZ flux:

Isometry Symmetry: Associated with the Killing vector $k$ . It is $U(1)$ if $\iota_k H$ is exact on $M$ ; otherwise, it is a discrete $\mathbb{Z}_\kappa$ symmetry, where $\kappa$ is determined by the periods of $\iota_k H$ .
Dual Isometry Symmetry: Associated with the T-dual geometry. It is determined by the exactness of the curvature form $F$ on the T-dual target space. Like the isometry symmetry, it can be continuous ( $U(1)$ ) or discrete ( $\mathbb{Z}_{\tilde{\kappa}}$ ).
Winding vs. Dual Isometry: The authors clarify that the "winding" symmetry is not always associated with the fundamental group $\pi_1(M)$ . Instead, the true dual symmetry is an isometry of the T-dual target space, which may not have a simple geometric interpretation as winding in the original frame.

2. Anomaly Structure
The authors derive the conditions for pure and mixed 't Hooft anomalies:

Pure Anomalies: A continuous $U(1)$ isometry symmetry has a pure 't Hooft anomaly if the target space bundle is non-trivial and the coefficient $\iota_k v$ (where $v$ is the potential for $\iota_k H$ ) is non-zero. Discrete symmetries generally do not possess pure 't Hooft anomalies in this context.
Mixed Anomalies: There is always a mixed 't Hooft anomaly between the isometry and dual isometry symmetries. The anomaly inflow action is given by:
$S_{inflow} = -\frac{p}{2\pi} \int_V C \wedge dC - \frac{\tilde{p}}{2\pi} \int_V \tilde{C} \wedge d\tilde{C} - \frac{1}{2\pi} \int_V C \wedge d\tilde{C}$
where $p$ and $\tilde{p}$ are integers characterizing the non-anomalous subgroups.

3. Preservation of Symmetry under Discrete Gauging
The core result concerns the self-duality of NLSMs under discrete gauging. The authors demonstrate that for a theory to admit a non-invertible defect (self-duality), specific topological constraints must be met:

The curvatures of the two $U(1)$ bundles describing the NLSM must satisfy $\tilde{F} = pF$ and the radius parameter must satisfy $G = p/2\pi$ .
Under these conditions, the discrete gauging of a $\mathbb{Z}_p$ subgroup of the isometry symmetry maps the theory to itself.
Crucially, the authors show that the global symmetry structure is left invariant by this gauging. This invariance relies on the interplay between group extensions and mixed anomalies. Specifically, the mixed anomaly ensures that the dual symmetry is non-trivially extended by the gauged subgroup, and the group extension structure ensures the residual symmetry matches the original structure.

4. Mathematical Framework
The paper utilizes short exact sequences of groups and the Bockstein homomorphism to describe how the symmetry groups transform. They show that the two short exact sequences describing the symmetry extensions before and after gauging are exchanged by the duality, and the self-duality conditions ensure these sequences are identical, preserving the symmetry structure.

Significance and Claims

The paper claims to provide a comprehensive framework for understanding non-invertible symmetries in general NLSMs, extending previous results limited to the free compact boson.

Generalization: It generalizes the mechanism of non-invertible self-duality defects to a large class of NLSMs with WZ terms, identifying the precise topological and geometric constraints required for such defects to exist.
Resolution of Symmetry Paradox: It resolves the apparent contradiction where gauging a subgroup seems to alter the global symmetry group (e.g., $U(1) \to U(1)/\mathbb{Z}_p \times \mathbb{Z}_p$ ). The authors demonstrate that due to mixed anomalies and non-trivial group extensions, the full symmetry structure remains isomorphic to the original, allowing for self-duality.
Geometric Interpretation: It offers a geometric characterization of global symmetries and their anomalies in terms of the curvature 2-forms of the $U(1)$ bundles defining the target space topology.

The work does not propose new experimental applications but rather establishes the theoretical consistency conditions for the existence of non-invertible symmetries in two-dimensional quantum field theories with specific topological terms.