Gauging Non-Invertible Symmetries: Topological Interfaces and Generalized Orbifold Groupoid in 2d QFT

This paper establishes a systematic framework for gauging non-invertible symmetries in two-dimensional quantum field theories by formulating the process through topological interfaces, thereby extending standard gauging properties to general fusion categories, deriving key mathematical theorems from physical axioms, and identifying new self-dualities and a generalized orbifold groupoid structure.

The Gist

Imagine the universe as a giant, complex video game. In this game, the rules are written by Symmetries.

For a long time, physicists thought symmetries were like standard "cheat codes." If you had a symmetry, you could flip a switch (like turning a coin from heads to tails), and the game would look exactly the same. You could also "undo" that switch perfectly. These are called invertible symmetries.

But recently, physicists discovered a new, weirder kind of cheat code: Non-Invertible Symmetries.

The Magic of "Non-Invertible"

Imagine a magic trick where you take a deck of cards, shuffle them in a specific way, and the deck looks different, but you can't simply "un-shuffle" it to get the original order back. Or think of it like mixing paint: if you mix red and blue to get purple, you can't easily separate them back into pure red and blue.

In the language of this paper, these symmetries are like Topological Defect Lines (TDLs). Think of these as invisible, magical strings running through the fabric of space.

• Normal Symmetry: You can pull the string, and it snaps back perfectly.
• Non-Invertible Symmetry: If you pull the string, it might split into two strings, or merge with another, or change its shape in a way that doesn't just reverse. It follows a complex set of rules called a Fusion Category.

The Big Idea: "Gauging"

The paper is about a powerful operation called Gauging.

The Analogy: Imagine you are a chef (the physicist) and you have a soup (the Quantum Field Theory).

• Normal Gauging: You decide to make the soup "symmetric" by adding a secret ingredient that makes every spoonful taste the same. You then remove the ingredient, but the flavor profile of the soup has changed permanently. You've created a new, distinct soup.
• Generalized Gauging (This Paper): Now, imagine your secret ingredient isn't just one thing, but a magical, shape-shifting creature that can split and merge. You decide to "gauging" this creature. You sprinkle it everywhere in the soup, let it do its weird splitting and merging, and then sum up all the possibilities.

The authors ask: Does this weird, shape-shifting ingredient still work like a normal one? Can we still predict what the new soup will taste like?

The Discovery: It Works!

The paper's main breakthrough is saying: "Yes, it works, and it's even more powerful than we thought!"

Even though these non-invertible symmetries are exotic and don't follow simple "undo" rules, the authors found a way to treat them using Topological Interfaces.

The Metaphor:
Think of two different universes (or two different soups) as two rooms.

• Normal Symmetry: You have a door between the rooms.
• Non-Invertible Symmetry: The door is made of a magical, stretchy membrane.
• The Interface: The authors realized that "gauging" is just like building a wall (an interface) between the two rooms. If you build this wall correctly, you can walk from Room A (the original theory) to Room B (the gauged theory) and back again.

This "wall" perspective allows them to use simple logic to solve incredibly complex math problems. They showed that:

1. You can still "undo" the process: Even with these weird symmetries, there is often a "dual" symmetry that turns the new soup back into the original one.
2. Self-Duality: Sometimes, if you apply this weird gauging, the soup tastes exactly the same as before, but the ingredients inside have rearranged themselves. It's like a mirror that shows you, but you look slightly different. The paper finds many new examples of this "self-duality" in famous theories like the Ising model.
3. The "Orbifold Groupoid": The authors mapped out a giant "roadmap" (a groupoid) showing how all these different theories connect. It's like a subway map where every station is a different version of the universe, and the tracks are the gauging operations. You can travel from one theory to another by "switching tracks" (gauging).

Why Does This Matter?

In the real world, we often can't calculate exactly how particles behave because the forces are too strong (like trying to calculate the exact path of every water molecule in a hurricane).

Symmetries are our "cheat codes" to bypass this.

• Before this paper, we only had cheat codes for simple, reversible symmetries.
• Now, we have cheat codes for these complex, non-reversible ones.

This means physicists can now:

• Predict the behavior of exotic materials.
• Understand the "destiny" of the universe (how it evolves over time) in ways that were previously impossible.
• Discover hidden connections between theories that looked completely unrelated.

Summary in One Sentence

This paper teaches us how to use a new, magical type of "shape-shifting" symmetry to transform one universe into another, proving that even the weirdest, most complex rules of physics can be mapped out, understood, and reversed using the simple concept of building "walls" between different realities.

Technical Summary

1. Problem Statement

The paper addresses the challenge of systematically understanding gauging (promoting a global symmetry to a local gauge symmetry) for non-invertible symmetries in two-dimensional Quantum Field Theory (2d QFT).

• Context: While gauging ordinary invertible symmetries (discrete groups) is well-understood (leading to orbifolds and quantum symmetries), non-invertible symmetries are described by Topological Defect Lines (TDLs) that obey fusion rules forming a fusion category rather than a group.
• The Gap: Existing mathematical frameworks (fusion categories, module categories) describe these symmetries, but a clear physical picture connecting these abstract algebraic structures to QFT operations (like gauging, duality, and RG flows) was lacking. Specifically, it was unclear how to generalize concepts like "orbifolding," "self-duality," and the "orbifold groupoid" to the non-invertible setting.
• Goal: To formulate a systematic physical framework for gauging non-invertible symmetries, derive the associated algebraic structures from QFT axioms, and classify the resulting theories and dualities.

2. Methodology

The authors employ a physical approach based on Topological Interfaces to bridge the gap between QFT and category theory.

• Topological Interfaces as Gauging: Instead of viewing gauging purely as a sum over gauge fields, the authors formulate it as the insertion of a topological interface between the original theory $T$ and the gauged theory $T/A$.
  • Half-Gauging: Gauging a symmetry on a submanifold (e.g., half the spacetime) creates a topological interface $I_{T|T/A}$.
  • Algebra Objects: The fusion of an interface with its orientation reversal ($I_{T|T/A} \otimes I_{T/A|T}$) yields a non-simple TDL $A$ in the original theory. This $A$ is identified as a symmetric separable special Frobenius algebra object in the fusion category $\mathcal{C}$.
• Module Categories: The set of all topological interfaces between $T$ and $T/A$ forms a module category over the fusion category $\mathcal{C}$. The authors use this correspondence to classify possible gaugings.
• Bootstrap Analysis: They utilize consistency conditions (pentagon equations, NIM-reps) to constrain the possible module categories and algebra objects without relying on pre-existing mathematical classifications.
• Sequential Gauging & Groupoids: By fusing interfaces sequentially, they construct a Generalized Orbifold Groupoid (the Brauer-Picard groupoid), which tracks the equivalence classes of theories connected by gauging.

3. Key Contributions

A. Physical Formulation of Generalized Gauging

The paper establishes that gauging a non-invertible symmetry $\mathcal{C}$ corresponds to selecting a haploid algebra object $A \in \mathcal{C}$.

• The gauged theory $T/A$ is constructed by decorating observables in $T$ with a fine mesh of $A$-lines.
• Self-Duality: A theory $T$ is self-dual under gauging $A$ if and only if there exists a duality TDL $N$ such that $N \otimes N = A$. This generalizes the Kramers-Wannier duality of the Ising model.
• Morita Equivalence: Different algebra objects $A$ and $B$ that lead to physically equivalent gauged theories are Morita equivalent. This equivalence is captured by the existence of an invertible bimodule category (an interface) between them.

B. The Generalized Orbifold Groupoid

The authors define a Generalized Orbifold Groupoid (a sub-groupoid of the Brauer-Picard groupoid) where:

• Nodes: Fusion categories related by gauging (Morita equivalent categories).
• Edges: Invertible bimodule categories (topological interfaces) representing the gauging process.
• This structure predicts the fate of sequential gauging (e.g., gauging $A$ then $B$) and identifies when different gauging sequences lead to the same theory.

C. Dimensional Constraints and Classification

The paper derives simple dimensional constraints (Frobenius-Perron eigenvectors) for NIM-reps (Non-negative Integer Matrix representations) to classify module categories.

• They show that the total quantum dimension is preserved under Morita equivalence: $\dim(\mathcal{C}) = \dim(\mathcal{C}^*_A)$.
• This allows for a "bootstrap" classification of algebra objects and module categories based solely on fusion rules and quantum dimensions.

4. Key Results

A. Classification in $\text{Rep}(H_8)$ and $\text{Rep}(D_8)$

The authors explicitly classify all possible gaugings for two specific fusion categories, $\text{Rep}(H_8)$ and $\text{Rep}(D_8)$, which are Tambara-Yamagami (TY) categories associated with $Z_2 \times Z_2$.

• $\text{Rep}(H_8)$: Found 8 algebra objects falling into 6 Morita equivalence classes. The generalized orbifold groupoid is $Z_2^3$.
• $\text{Rep}(D_8)$: Found 12 algebra objects (11 Morita classes). The groupoid structure is richer, with the Brauer-Picard group being $S_4$.
• These results were derived using the physical interface bootstrap, recovering and extending known mathematical classifications.

B. Infinite Non-Invertible Self-Duality in Ising$_2$ CFT

Applied to the Ising$_2$ CFT (tensor product of two Ising models, $c=1$):

• The theory possesses an infinite family of non-invertible symmetries arising from the $c=1$ orbifold branch.
• Result: The authors identify infinitely many non-invertible self-dualities. Gauging specific algebra objects (constructed from continuous families of TDLs $L_{\theta, \phi}$) maps the Ising$_2$ CFT to itself.
• This explains the self-duality of the theory under gauging the entire $D_8$ invertible symmetry and extends it to non-abelian, non-invertible cases.

C. Generalized Gauging in Irrational CFTs

The framework is applied to irrational CFTs (e.g., $c=1$ compact boson at generic radii).

• Despite the lack of a finite chiral algebra, the topological interface formalism holds.
• The generalized orbifold groupoid connects different points on the $c=1$ moduli space (circular and orbifold branches), showing that seemingly distinct irrational CFTs are related by non-invertible gauging.

D. Binary Algebras and WZW Models

The authors introduce Binary Algebras ($A = 1 \oplus L_i$) as a simple class of non-invertible gauging.

• They derive necessary and sufficient conditions on F-symbols for such algebras to exist.
• Application: Applied to the $SU(2)_{10}$ WZW CFT. They identify three binary algebras corresponding to the $A_{11}$, $D_7$, and $E_6$ modular invariants.
• Novelty: They explicitly construct the dual algebra object in the gauged theory (e.g., gauging $E_6$ leads to a Spin(5)$_1$ theory; the reverse gauging requires a specific binary algebra in the dual category), demonstrating the reversibility of non-invertible gauging.

5. Significance

• Unification: The paper unifies the physical concepts of orbifolding, duality defects, and RG flows under the rigorous mathematical framework of fusion categories and module categories, providing a "dictionary" between physics and category theory.
• Predictive Power: The bootstrap method allows for the classification of gaugings and the discovery of new TDLs (including infinite families in $c=1$ theories) without prior knowledge of the full symmetry category.
• New Dualities: It reveals a vast landscape of non-invertible self-dualities in familiar CFTs, suggesting that many theories previously thought to be distinct are actually connected via generalized gauging.
• Foundation for Higher Dimensions: While focused on 2d, the physical picture of interfaces and algebra objects provides a template for understanding generalized symmetries and gauging in higher dimensions, where mathematical tools are less developed.

In summary, this work establishes that gauging non-invertible symmetries is a well-defined, systematic operation governed by the algebraic structure of topological interfaces, leading to a rich "orbifold groupoid" that connects diverse quantum field theories.