⚛️ high-energy theory

Decomposition in 2d non-invertible gaugings

This paper extends the decomposition conjecture to two-dimensional quantum field theories with gauged $\text{Rep}(H)$ symmetries involving Hopf algebras by explicitly computing partition functions and topological operators to verify the theory and formulate a generalized conjecture for non-group-associated Hopf algebras.

Original authors: Alonso Perez-Lona

Published 2026-02-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alonso Perez-Lona

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

Imagine you are trying to understand a complex machine, like a giant, magical clockwork toy. In the world of theoretical physics, this "toy" is a Quantum Field Theory (QFT)—a set of rules describing how particles and forces behave in our universe (specifically, in a two-dimensional world for this paper).

For a long time, physicists knew that if you have a machine with a specific kind of symmetry (like a spinning top that looks the same from every angle), and you "gauge" it (turn that symmetry into a rule that the machine must follow), something interesting happens. Sometimes, the machine doesn't just become one new, complex machine. Instead, it decomposes. It splits apart into several smaller, independent machines running side-by-side, each doing its own thing.

This paper, written by Alonso Perez-Lona, takes this idea of "splitting machines" and applies it to a much more mysterious and complex type of symmetry called non-invertible symmetry.

Here is a simple breakdown of what the paper does, using everyday analogies:

1. The Setup: The "Invisible" and the "Visible"

Imagine a theater play.

The Visible Actors (Vec(Γ)): These are the actors on stage that the audience can see and interact with. They move around, change the scene, and drive the plot. In physics, these are the "effective" symmetries.
The Invisible Stagehands (Rep(G)): These are the people backstage who are technically part of the production but never show up on stage. They do their job, but they don't change what the audience sees. In physics, these are "trivially-acting" symmetries.

In the old days, physicists only knew how to handle plays where the invisible stagehands were simple (like a group of identical twins). This paper asks: What happens if the invisible stagehands are complex, weird, and non-invertible? (Think of them not as twins, but as magical shapeshifters whose rules are defined by something called a Hopf Algebra).

2. The Big Question: Does the Play Split?

The central question of the paper is: If we take a play with these complex, magical stagehands and "gauge" the whole production (make the rules of the play strict), does the play split into multiple independent shows?

The author says YES.

Just like a complex knot might unravel into several smaller, simpler strings, this complex quantum theory unravels into a sum of simpler theories.

The Old Rule: If the invisible stagehands were simple, the play splits based on how the visible actors move around them.
The New Rule: Even if the invisible stagehands are magical and complex, the play still splits. The paper provides the mathematical "blueprint" for how to predict exactly what those smaller shows will look like.

3. The Magic Trick: The "Frobenius Algebra"

To prove this, the author has to build a specific mathematical tool called a Symmetric Special Frobenius Algebra.

The Analogy: Imagine you have a giant, messy pile of Lego bricks (the complex theory). You want to sort them into neat, separate boxes (the decomposed theories).
The "Frobenius Algebra" is the sorting machine.
The paper shows that this sorting machine is surprisingly simple. It turns out that the machine only cares about half of the Lego set (the "coalgebra" part). It doesn't care about the other half (the "algebra" part).
Why is this cool? It means that even though the underlying math is incredibly complex and weird, the way the theory splits is actually quite straightforward and predictable. The "messy" part of the magic doesn't affect the splitting process.

4. The Proof: Counting the Tickets

How do we know the play actually splits?

The Method: The author calculates the "partition function." In physics, this is like counting every possible way the actors can move on stage to see if the total number of possibilities matches the sum of the smaller shows.
The Result: The math checks out perfectly. The total number of "tickets" (states) for the big, complex play is exactly equal to the sum of the tickets for the smaller, split plays.
The Projectors: The author also builds "Topological Point Operators." Think of these as magic spotlights. If you shine one of these spotlights on the complex play, it instantly filters out all the noise and isolates just one of the smaller, independent shows. This proves that the split is real and physical, not just a mathematical trick.

5. The Bigger Picture: Generalizing the Rules

Finally, the paper looks at the most general case possible. What if the invisible stagehands aren't even groups or simple algebras, but something even stranger?

The author proposes a new conjecture: Even in these wild, unknown territories, the theory will still split.
The rule is: The theory splits based on the "orbits" (groups of similar items) of the invisible symmetries, and each split-off piece gets its own specific "twist" (called discrete torsion).

Summary

In a nutshell:
This paper takes a known rule about how complex physical theories can split into simpler ones and proves that the rule works even when the symmetries involved are weird, non-invertible, and mathematically messy.

The Metaphor: It's like discovering that no matter how complicated the engine of a car is, if you pull a specific lever (gauging the symmetry), the car will always fall apart into a predictable set of smaller, working engines.
The Takeaway: The universe is more orderly than it looks. Even in the most complex, "non-invertible" scenarios, there is a hidden structure that allows us to break big problems down into smaller, manageable pieces.

The author has essentially handed physicists a new map for navigating the "wild west" of non-invertible symmetries, showing them exactly where the hidden doors are that lead to simpler universes.

1. Problem Statement

The paper addresses the phenomenon of decomposition in two-dimensional quantum field theories (QFTs). Decomposition refers to the splitting of a single theory with a global symmetry into a disjoint sum of independent theories (universes), typically occurring when a subgroup of the symmetry acts trivially.

While decomposition is well-understood for theories with invertible symmetries (finite groups), the behavior of decomposition in the presence of non-invertible symmetries remains less explored. In 2d, non-invertible symmetries are described by (multi-)fusion categories. The specific problem tackled is:

How does a 2d theory $T$ with a gauged non-invertible symmetry $\text{Rep}(H)$ (where $H$ is a finite-dimensional semisimple Hopf algebra) decompose if it contains a trivially-acting sub-symmetry $\text{Rep}(G)$ ?
Specifically, the paper focuses on Hopf algebra abelian extensions, where the symmetry fits into an exact sequence of fusion categories:
$\text{Rep}(G) \to \text{Rep}(H) \to \text{Vec}(\Gamma)$
Here, $\text{Rep}(G)$ acts trivially, and $\text{Vec}(\Gamma)$ represents the remaining effective symmetry.

2. Methodology

The author employs a combination of algebraic topology, category theory, and explicit path-integral computations:

Mathematical Framework: The paper utilizes the theory of exact sequences of fusion categories and Hopf algebras. It specifically focuses on abelian extensions of Hopf algebras ( $C\Gamma \to H \to CG$ ), which are classified by matched pairs of groups and 2-cocycles.
Frobenius Algebra Construction: To gauge the symmetry $\text{Rep}(H)$ , the author constructs a symmetric special Frobenius algebra $(A, \mu, \Delta)$ in the category $\text{Rep}(H)$ . This algebra is derived from the fiber functor that reconstructs the Hopf algebra $H$ .
Partition Function Computation: The primary consistency check involves explicitly computing the genus-1 (torus) partition function of the gauged theory. The author transfers the gaugeable algebra from $\text{Rep}(H)$ to the simpler category $\text{Vec}(\Gamma)$ (where associators are trivial) and computes the partition function as a sum over twisted sectors.
Topological Operators: The paper constructs Topological Point Operators (TPOs) and projection operators. These operators are linear combinations of TPOs that are invariant under the action of the effective symmetry, serving as the physical mechanism that enforces the decomposition into distinct universes.
Generalization: Drawing from the specific results of abelian extensions, the author formulates a general conjecture for arbitrary Hopf algebra extensions ( $\text{Rep}(H'') \to \text{Rep}(H) \to \text{Rep}(H')$ ) using action tensor functors and orbit-stabilizer theory in the context of representation categories.

3. Key Contributions

A. Extension of the Decomposition Conjecture

The paper proposes a generalization of the decomposition conjecture (originally for finite groups) to non-invertible symmetries defined by Hopf algebras.

Specific Case (Abelian Extensions): For a sequence $\text{Rep}(G) \to \text{Rep}(H) \to \text{Vec}(\Gamma)$ , the gauged theory decomposes as:
$[T/\text{Rep}(H)] = \bigoplus_{[x] \in G/\Gamma} [T/K_x]^{\omega_x}$
where the sum runs over the orbits of $G$ under the action of $\Gamma$ , $K_x$ is the stabilizer subgroup of the orbit, and $\omega_x$ is a discrete torsion 2-cocycle.
General Case: For a general sequence $\text{Rep}(H'') \to \text{Rep}(H) \to \text{Rep}(H')$ , the decomposition is conjectured to be a sum over orbits of the irreducible representations of the dual Hopf algebra $(H'')^*$ under the action of $\text{Rep}(H')$ .

B. Independence from Algebra Structure

A crucial technical finding is that the discrete torsion (the specific choice of the Frobenius algebra structure) required for the decomposition depends only on the coalgebra extension data (the 2-cocycle $\tau$ and the action $\triangleright$ ) of the Hopf algebra $H$ .

The algebra extension data (the 2-cocycle $\sigma$ and the action $\triangleleft$ ) cancels out during the construction of the gaugeable algebra's comultiplication.
This explains why the decomposition formula for non-invertible symmetries closely mirrors the group-theoretic case, despite the increased complexity of the fusion category.

C. Explicit Construction of Projectors

The paper provides an explicit construction of the projection operators $\Pi_{[x]}$ that enforce the decomposition.

These operators are constructed as sums of basis elements in the dual Hopf algebra $H^*$ corresponding to the orbits of the trivially-acting sector.
They satisfy orthogonality ( $\Pi_{[x]}\Pi_{[y]} = \delta_{[x],[y]}\Pi_{[x]}$ ) and completeness ( $\sum \Pi_{[x]} = 1$ ), effectively splitting the Hilbert space into superselection sectors.

4. Key Results

Partition Function Verification: The author explicitly computes the torus partition function for the gauged abelian extension. The result matches the predicted decomposition:
$Z_{\text{gauged}} = \sum_{[x] \in G/\Gamma} Z_{K_x, \tau_x}$
where $Z_{K_x, \tau_x}$ is the partition function of the orbifold by the stabilizer $K_x$ with discrete torsion $\tau_x$ .
Recovery of Known Cases:
- Group-like case: When $H$ is a group algebra, the result recovers the standard decomposition for finite groups with trivially-acting normal subgroups.
- Kac-Paljutkin Algebra: The paper applies the formalism to the Kac-Paljutkin algebra $H_8$ (the smallest non-commutative, non-cocommutative semisimple Hopf algebra). It demonstrates that gauging $\text{Rep}(H_8)$ with a trivially-acting $\mathbb{Z}_2$ splits the theory into two $\mathbb{Z}_2 \times \mathbb{Z}_2$ orbifolds: one with trivial discrete torsion and one with non-trivial discrete torsion.
General Conjecture Formulation: Section 7 outlines a rigorous framework for the general case using action tensor functors $\rho: \text{Comod}((H')^*) \to \text{End}(\text{Rep}((H'')^*))$ . This defines "orbits" of irreducible representations and "stabilizer" subcategories, providing a recipe to determine the resulting universes and their gaugeable algebras for any Hopf extension.

5. Significance

Bridging Invertible and Non-Invertible Symmetries: The paper successfully extends the well-established decomposition conjecture from finite groups to the broader class of non-invertible symmetries, demonstrating that the underlying mechanism (orbit-stabilizer decomposition with discrete torsion) is robust across different symmetry structures.
Simplification of Non-Invertible Gauging: By showing that the decomposition is independent of the algebra structure of the Hopf algebra, the paper simplifies the analysis of complex non-invertible gaugings. It suggests that one can often ignore the algebraic extension data when predicting the decomposition structure, focusing instead on the coalgebraic data.
Physical Interpretation of TPOs: The explicit construction of projection operators provides a concrete physical picture of how decomposition occurs in non-invertible theories, linking abstract category theory (TPOs and fusion rules) to the splitting of the theory into disjoint universes.
Foundation for Future Work: The general conjecture and the construction of action functors lay the groundwork for studying decomposition in even more general settings, such as those involving quasi-Hopf algebras or fusion categories without fiber functors, and potentially in higher dimensions.

In summary, this paper provides a rigorous mathematical and physical verification that decomposition in 2d QFTs is a universal feature of theories with trivially-acting symmetries, extending from groups to the rich landscape of non-invertible Hopf algebra symmetries.