On the $(\text{Fib} \boxtimes \text{Fib}) \rtimes S_2$ fusion category

This pedagogical paper calculates the essential ingredients, including irreducible representations, lasso maps, and a 22-by-22 modular S matrix, to enable a modular conformal bootstrap analysis of non-rational Virasoro CFTs with $(\text{Fib} \boxtimes \text{Fib}) \rtimes S_2$ categorical symmetry, while highlighting the unique features arising from non-invertible symmetries.

The Gist

Here is an explanation of the paper "On the (Fib ⊠Fib) ⋊S2 fusion category" using simple language, analogies, and metaphors.

The Big Picture: Searching for a "Ghost" Universe

Imagine physicists are trying to find a new type of universe. We know about "Rational" universes (like the standard models of particle physics) which are like LEGO sets: they are built from a finite, manageable number of specific blocks, and you can predict exactly how they fit together.

But the authors suspect there are "Non-Rational" universes out there. These are like muddy swamps or infinite fractals: they have a continuous, messy spectrum of possibilities that are incredibly hard to map. The problem? We have very little evidence these swamps actually exist.

This paper is a construction manual for a specific, very complex "swamp." The authors aren't building the universe itself yet; they are building the blueprint (the mathematical rules) needed to prove such a universe could exist and to test it later.

The Ingredients: The "Golden" Blocks

To build this blueprint, they use a specific type of building block called Fib (short for Fibonacci).

• The Analogy: Imagine a magical string that can either be "nothing" (empty space) or a "golden knot."
• The Rule: If you tie two golden knots together, they don't just make a bigger knot. They magically split into either "nothing" OR a single "golden knot."
• The Magic Number: The size (or weight) of this golden knot is the Golden Ratio ($\phi \approx 1.618$). This is the same number found in sunflowers and nautilus shells, but here it dictates how energy and particles behave.

The Construction: Mixing and Swapping

The paper focuses on a category called (Fib ⊠Fib) ⋊S2. Let's break that scary name down into a kitchen recipe:

1. Fib ⊠Fib (The Double Batch): Imagine you have two separate kitchens. In Kitchen A, you have your golden knots. In Kitchen B, you also have golden knots. You are now working with two sets of these magical strings at the same time.
2. ⋊S2 (The Swap Chef): Now, imagine a chef who can walk between the two kitchens. This chef has a special power: they can swap the contents of Kitchen A with Kitchen B.
   • If you have a red knot in A and a green knot in B, the chef can swap them so you have green in A and red in B.
   • This "swapping" symmetry is the S2 part.

The result is a massive, complex system where you have two sets of golden knots that can interact, but they can also be swapped around by an invisible hand.

The Challenge: The "Lasso" Maps

In a normal LEGO set, if you put two blocks together, you know exactly what you get. But in this "swamp" universe, things are weird because the symmetry is non-invertible.

• The Metaphor: Imagine a Lasso. In a normal world, if you throw a lasso around a cow and pull, you get the cow. If you throw it again, you get the cow again.
• The Weirdness: In this paper's universe, throwing a lasso might do something strange. It might pull the cow, but it might also change the cow into a horse, or it might pull nothing at all (a "kernel").
• The Paper's Job: The authors spent the paper calculating exactly how these lassos work. They asked: "If I throw a lasso around this specific combination of golden knots and swaps, what happens? Does it pull a state? Does it vanish? Does it turn into a different state?"

They mapped out 22 different "rooms" (Hilbert spaces) in this universe. Some rooms are empty, some are full, and some are connected by these magical lassos.

The Master Key: The Modular S Matrix

The ultimate goal of this paper is to produce a 22-by-22 grid of numbers called the Modular S Matrix.

• The Analogy: Imagine you have a map of a city with 22 different neighborhoods. The "S Matrix" is a universal translator.
  • If you look at the city from the North (one perspective), you see the neighborhoods in a certain order.
  • If you rotate the city 90 degrees (a "Modular Transformation"), the view changes completely.
  • The S Matrix tells you exactly how to translate the view from the North to the view from the East. It says, "The neighborhood you saw as 'Room 1' from the North is actually 'Room 15' from the East."

This matrix is the Rosetta Stone for this theoretical universe. Without it, you cannot do the "Conformal Bootstrap" (a high-tech method of solving physics equations) to see if this universe is stable or if it makes sense.

Why Does This Matter?

1. Lowering the Barrier: The authors wrote this paper like a textbook. They didn't just give the answer; they explained how to get there. They are teaching other physicists how to handle these complex "swamp" universes, which are much harder than standard LEGO universes.
2. The Hunt for New Physics: They hope that by using this blueprint, numerical computers can eventually find a real physical theory that fits these rules. If they do, it would prove that these "Non-Rational" universes exist, solving a major mystery in theoretical physics.
3. The "Swamp" is Real: They suspect that if you take two simple "Golden Chain" systems and couple them together, nature might naturally settle into this complex, non-rational state.

Summary in One Sentence

This paper is a detailed instruction manual for a complex, magical system made of two sets of "Golden Knots" that can swap places, providing the necessary mathematical tools (the "Lasso" rules and the "Translation Map") to prove that a strange, new type of universe might actually exist.

Technical Summary

Here is a detailed technical summary of the paper "On the (Fib ⊠Fib) ⋊S2 fusion category" by Maddalena Ferragatta and Balt C. van Rees.

1. Problem Statement and Motivation

The primary motivation of this work is to investigate the potential existence of non-rational Virasoro Conformal Field Theories (CFTs) in two dimensions. Unlike rational CFTs (which have a finite number of primary fields and are solvable), non-rational CFTs with central charge $c > 1$ and no conserved currents beyond the Virasoro algebra are notoriously difficult to solve.

Recent numerical studies of coupled Fibonacci anyon chains suggest the existence of fixed points at non-integer central charges (e.g., $c \approx 1.77$ for $n=2$ chains). These systems are believed to possess a large non-invertible categorical symmetry, specifically the fusion category $(\text{Fib} \boxtimes \text{Fib}) \rtimes S_2$. This category arises from the Deligne product of two Fibonacci categories ($\text{Fib} \boxtimes \text{Fib}$) combined with a permutation symmetry ($S_2$) that swaps the two copies.

To perform a modular conformal bootstrap analysis on these theories (a non-perturbative method to constrain CFT data), one requires the modular $S$ and $T$ matrices associated with the symmetry category. However, calculating these matrices for non-invertible symmetries is significantly more complex than for standard finite groups due to the intricate structure of lasso maps and intertwiners between different twisted sectors. This paper aims to provide these necessary ingredients explicitly.

2. Methodology

The authors employ a systematic approach based on the representation theory of fusion categories and their associated tube algebras.

• Review of Basics: The paper begins by reviewing the Fibonacci ($\text{Fib}$) category, defining its simple objects ($1, \tau$), fusion rules ($\tau \times \tau = 1 + \tau$), and quantum dimensions ($d_\tau = \xi = \frac{1+\sqrt{5}}{2}$).
• Tube Algebra and Hilbert Spaces: They construct the tube algebra for the category. The elements of this algebra correspond to networks of topological lines on a cylinder (lasso maps). The irreducible representations of the tube algebra correspond to the distinct sectors of the theory (twisted Hilbert spaces).
• Construction of $(\text{Fib} \boxtimes \text{Fib}) \rtimes S_2$:
  • They define the simple objects of the product category as pairs $(i, j, a)$, where $i, j \in \{1, \tau\}$ and $a \in S_2$. This yields 8 simple objects ($c_1$ through $c_8$).
  • They derive the fusion rules, F-symbols, and duals for the semidirect product, handling the action of the permutation group $S_2$ on the Fibonacci lines.
• Minimal Central Idempotents: For each of the 8 twisted Hilbert spaces (generated by inserting a simple line vertically on the cylinder), the authors solve the tube algebra to find the minimal central idempotents. These projectors decompose the Hilbert spaces into irreducible representations (irreps).
• Lasso Maps and Intertwiners: A crucial step involves analyzing lasso maps ($L_{s \leftarrow i}^{jk}$) that connect different Hilbert spaces. The authors determine which projectors in different sectors are isomorphic (i.e., have identical spectra) and which are related by non-trivial intertwiners. This reduces the total number of independent sectors.
• Modular Matrices: Using the completeness of the decomposition and the transformation properties of the partition functions under modular $S$ and $T$ transformations, they construct the full modular matrices.

3. Key Contributions and Results

A. Classification of Simple Objects and Hilbert Spaces

The category $(\text{Fib} \boxtimes \text{Fib}) \rtimes S_2$ contains 8 simple objects:

• $c_1 = (1, 1, 1)$ (Identity)
• $c_2 = (1, 1, p)$ (Permutation line)
• $c_3 = (\tau, 1, 1)$, $c_5 = (1, \tau, 1)$ (Single $\tau$ lines)
• $c_4 = (\tau, 1, p)$, $c_6 = (1, \tau, p)$ (Mixed $\tau$ and permutation)
• $c_7 = (\tau, \tau, 1)$, $c_8 = (\tau, \tau, p)$ (Double $\tau$ lines)

The authors explicitly calculate the minimal central idempotents for the tube algebra in each of the 8 twisted sectors.

• Untwisted Sector ($c_1$): Contains 5 irreps (four 1D, one 2D).
• Twisted Sectors: The analysis reveals a rich structure of 1D and 2D representations across the $c_2$ through $c_8$ sectors. For instance, the $c_7$ sector (two $\tau$ lines) contains both 1D and 2D representations arising from the mixing of the two Fibonacci copies under the permutation.

B. Reduction of Independent Sectors

Initially, the analysis of the tube algebra across all sectors yields 52 irreducible representations. However, the authors demonstrate that many of these are not independent due to the existence of isomorphisms (invertible lasso maps) between different Hilbert spaces.

• By identifying the kernels and co-kernels of the lasso maps, they show that the 52 representations collapse into 22 independent sectors.
• This number (22) matches the number of simple objects in the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of the fusion category, confirming the consistency of their construction.

C. The Modular S and T Matrices

The paper presents the explicit 22 $\times$ 22 modular T and S matrices for the theory.

• T Matrix: Diagonal, with entries determined by the spins (conformal weights modulo 1) of the operators in each sector. The spins include fractional values such as $0, \pm 2/5, \pm 4/5, \pm 1/5$, etc.
• S Matrix: A complex matrix involving the golden ratio $\xi$ and the total quantum dimension $D = 1 + \xi^2$. The matrix is presented in a block-structured format, encoding the fusion rules and the intertwiner structure of the non-invertible symmetry.

D. Pedagogical Framework

The paper serves as a detailed tutorial on:

1. How to construct semidirect products of fusion categories.
2. How to compute representations of the tube algebra for non-invertible symmetries.
3. How to handle the subtleties of lasso maps that intertwine sectors of different dimensions (e.g., mapping a 2D irrep to two 1D irreps).

4. Significance and Impact

• Enabling Numerical Bootstrap: The primary significance is providing the "input data" required for the modular conformal bootstrap to search for non-rational Virasoro CFTs with this specific symmetry. Without the explicit S-matrix, such a search is impossible.
• Understanding Non-Invertible Symmetries: The work highlights the complexity introduced by non-invertible symmetries compared to standard group symmetries. Specifically, it demonstrates how the Drinfeld center structure emerges from the tube algebra and how lasso maps create non-trivial relations between partition functions (e.g., $Z_{\text{2D}} = 2 Z_{\text{1D}}$).
• Benchmark for Future Work: The authors note that the complexity of this example exceeds standard introductory cases (like Ising or single Fib). It serves as a benchmark for developing automated software (similar to GAP for groups) to handle fusion category computations, a need emphasized by the authors.
• Connection to Physical Models: The results are directly applicable to the study of coupled anyon chains and potential RG flows in 2D, offering a rigorous mathematical framework to test hypotheses about the existence of non-rational fixed points at specific central charges.

In conclusion, this paper bridges the gap between abstract category theory and practical CFT analysis, providing the essential modular data required to probe the landscape of non-rational 2D quantum field theories with non-invertible symmetries.