Modular invariants and NIM-reps

This paper introduces the encircling module to establish an isomorphism with NIM-reps for pivotal module categories over spherical fusion categories, thereby categorically generalizing BEK results, identifying diagonal modular invariant entries with NIM-rep multiplicities, and demonstrating that the $\mathcal{TM}$ construction recovers the full centre of Kong and Runkel.

The Gist

The Big Picture: Connecting Two Different Languages

Imagine you are trying to translate a complex story written in two different languages.

1. Language A (The Modular Invariant): This is like a "recipe book" for a physical system (specifically, a type of quantum physics called Conformal Field Theory). It tells you how different particles or states can mix together to create a stable, balanced universe. The most important part of this recipe is the diagonal list—a list of the "main ingredients" that appear in the final dish.
2. Language B (The NIM-Rep): This is a "rulebook" for how these particles interact with a boundary or a wall. It's a table of numbers (Non-negative Integer Matrix) that says, "If I have particle X and it hits the wall, it might turn into particle Y, Z, or W."

The Problem: For a long time, physicists noticed a spooky coincidence. The list of "main ingredients" in the recipe book (Language A) seemed to match the numbers in the interaction rulebook (Language B) perfectly. But no one could explain why they were the same using pure mathematics. They were proven to be the same using heavy physics tools, but the underlying mathematical "glue" was missing.

The Goal of This Paper: The authors want to build a bridge between these two languages using pure category theory (a branch of math that studies how things relate to each other). They want to prove that these two lists are not just coincidentally similar; they are actually the same thing viewed from different angles.

---

The Key Characters and Tools

To understand their proof, let's meet the cast of characters:

1. The Fusion Category (The "Particle Zoo")

Think of this as a zoo containing all the fundamental particles. These particles can "fuse" (merge) to create new ones. The rules of the zoo are strict: if you merge a lion and a tiger, you get a specific hybrid, not a random mix.

2. The Module Category (The "Boundary")

Imagine a wall surrounding the zoo. The "Module Category" describes what happens when particles from the zoo hit this wall. Do they bounce back? Do they disappear? Do they turn into something else? This is the "NIM-Rep" (the rulebook).

3. The Tube Category (The "Cylinder")

This is the authors' secret weapon. Imagine taking a piece of paper with a drawing of a particle interaction and rolling it into a tube (a cylinder).

• In the flat world, lines go from left to right.
• In the tube world, the lines wrap around the cylinder.
  This "Tube Category" is a magical lens. It allows the authors to look at the "wall interactions" (Module Category) and see them as a representation of the "particle zoo" (Fusion Algebra) wrapped around a cylinder.

4. The "Encircling Module" (The New Discovery)

The authors invented a new mathematical object called the Encircling Module.

• The Metaphor: Imagine a particle (a string) moving around a loop. The "Encircling Module" measures how the particle behaves when it is "encircled" by the rules of the system.
• The Twist: They proved that this "Encircling Module" is mathematically identical to the "NIM-Rep" (the wall interaction rulebook).

---

The Main Discovery: The "Diagonal" Connection

The paper's biggest "Aha!" moment is about the Diagonal Entries.

In the recipe book (Modular Invariant), there is a grid of numbers. The diagonal (top-left to bottom-right) tells you how many times a specific particle appears in the final stable state.

• Example: If the diagonal entry for "Particle A" is 3, it means "Particle A" appears 3 times in the final mix.

The authors proved that these diagonal numbers are exactly the same as the numbers in the NIM-Rep rulebook.

• Why is this cool? It means the "stability" of the universe (Modular Invariant) is directly determined by how particles interact with boundaries (NIM-Rep). You don't need to calculate the whole universe to know the stability; you just need to look at the boundary rules.

They call this a "Categorical Generalization." In plain English: They took a specific result known for simple cases (like the $su(2)$ model in physics) and proved it works for every possible mathematical system of this type, not just the ones physicists usually study.

---

The "Automatic" Bonus

In previous work, the authors had to assume a specific condition (a "dimension condition") to make their math work. It was like saying, "This bridge works, provided the ground is flat."

In this paper, they proved that if the boundary (Module Category) is "indecomposable" (meaning it's one solid piece and not a patchwork of smaller pieces), the ground is automatically flat.

• The Metaphor: You don't need to check if the bridge is safe; if the bridge is built as one solid unit, the math guarantees it holds up. This removes a huge assumption from their previous work, making the theory much stronger and more universal.

---

The "Full Centre" Connection

Finally, the paper connects their new "Tube" construction to a famous existing concept called the Full Centre (developed by Kong and Runkel).

• The Metaphor: Imagine you have a new invention (the Tube construction). You realize it's actually the same thing as a famous, award-winning invention (the Full Centre) that everyone already uses, just described in a slightly different way.
• The Result: This connects their new math to the established literature, showing that their "Tube" method is a powerful new way to look at old, trusted concepts. It confirms that their new method produces "Cardy Algebras," which are the mathematical structures physicists need to describe consistent physical theories.

Summary

1. The Mystery: Two different mathematical lists (one about stability, one about boundaries) always matched up, but no one knew why.
2. The Solution: The authors built a "Tube" lens and a new "Encircling" tool.
3. The Proof: They showed that the "Encircling" tool is the same as the "Boundary" tool. Therefore, the "Stability" list must be the same as the "Boundary" list.
4. The Impact: They proved this works for all systems (not just special cases) and showed that their method is automatically consistent without needing extra assumptions. They also linked their work to the "Full Centre," a major concept in modern math physics.

In short, they found the hidden mathematical DNA that connects how a system stays stable with how it interacts with its edges.

Technical Summary

1. Problem Statement

The paper addresses a fundamental relationship in Conformal Field Theory (CFT) and tensor category theory: the connection between modular invariant partition functions and Non-negative Integer Matrix representations (NIM-reps).

• Context: In the classification of modular invariants for $su(2)$ and $su(n)$ WZW models, an ADE pattern emerges where the diagonal entries of the modular invariant matrix ($Z_{mm}$) correspond to the multiplicities of eigenvalues in the adjacency matrices of ADE Dynkin diagrams (which define the NIM-reps).
• The Gap: While this relationship was previously established using operator algebra techniques (specifically by Boeckenhauer, Evans, and Kawahigashi in [BEK99b]), a general, purely categorical proof was lacking.
• Specific Goal: To establish a general categorical framework that identifies the "diagonal part" of a modular invariant (realized as a representation of the tube category) with the corresponding NIM-rep, without relying on operator algebras. Additionally, the authors aim to remove specific dimension assumptions required in their previous work [Har21] and connect their construction to the "full centre" construction of Kong and Runkel.

2. Methodology and Framework

The authors work within the framework of spherical fusion categories and modular tensor categories (MTCs) over an algebraically closed field $K$ of characteristic zero.

• Tube Category ($T\mathcal{C}$): They utilize the tube category, where objects are those of $\mathcal{C}$ and morphisms are diagrams on a cylinder. Representations of $T\mathcal{C}$ (denoted $RT\mathcal{C}$) are equivalent to the Drinfeld centre $Z(\mathcal{C})$.
• The $T\mathcal{M}$ Construction: They consider a module category $\mathcal{M}$ over $\mathcal{C}$ and construct a representation $T\mathcal{M}$ of the tube category. This representation encodes the modular invariant partition function.
• Pivotal Structure: A crucial innovation is the introduction of a pivotal module category. They define a condition where the pivotal structure of the fusion category $\mathcal{C}$ induces a pivotal structure on the module category $\mathcal{M}$.
• The Encircling Module ($E$): They define a new module over the fusion algebra $\mathcal{F}$, called the encircling module, constructed using the natural isomorphisms of the pivotal structure (graphically depicted as "encircling" an object).

3. Key Contributions and Results

A. Isomorphism between Encircling Module and NIM-rep

The central theoretical result is Theorem 2.7, which proves that for a finite pivotal module category $\mathcal{M}$, the encircling module $E$ is isomorphic to the NIM-rep $N$ as a module over the fusion algebra $\mathcal{F}$.

• Mechanism: The proof relies on comparing two pivotal structures on the image of the module category. By analyzing the scalars $\mu_{ij}$ arising from the difference between the induced pivotal structure and the standard one, the authors show these scalars form a coboundary (Lemma 2.5). This allows the construction of an explicit isomorphism $\Phi: E \to N$.
• Significance: This provides a purely categorical explanation for why the spectrum of the NIM-rep matches the diagonal entries of the modular invariant.

B. Identification of Diagonal Entries (Corollary 5.2)

By applying the isomorphism $E \cong N$ to the specific representation $T\mathcal{M}$, the authors prove Corollary 5.2:

• The "diagonal part" of the representation $T\mathcal{M}$ (specifically the object $T\mathcal{M}(1)$) is isomorphic to the NIM-rep $N$ as an $\mathcal{F}$-module.
• Consequently, the diagonal entries of the modular invariant matrix, $Z_{I I^\vee} = \dim T\mathcal{M}^{I^\vee}_I$, are exactly the multiplicities of the eigenvalues $\lambda_I$ in the NIM-rep.
• This generalizes the results of [BEK99b] from operator algebras to the categorical setting.

C. Resolution of the Dimension Condition (Section 6)

In previous work [Har21], the construction of a modular invariant required the assumption that the quantum dimension of the representation equals the global dimension of the category ($d(T\mathcal{M}) = d(\mathcal{C})$).

• Result: Using the orthogonality of the spectrum of the fusion algebra and the isomorphism $E \cong N$, the authors derive a formula for the dimension: $d(T\mathcal{M}) = \dim(T\mathcal{M}^1_1) \cdot d(\mathcal{C})$.
• Implication: For an indecomposable module category, $\dim(T\mathcal{M}^1_1) = 1$. Therefore, the dimension condition is automatically satisfied for indecomposable pivotal module categories. This removes the need for the dimension assumption as a separate hypothesis (Corollary 6.5).

D. Connection to the Full Centre (Section 7)

The authors connect their $T\mathcal{M}$ construction to the "full centre" construction of Davydov, Kong, and Runkel.

• Theorem 7.2: Under the equivalence $RT\mathcal{C} \simeq Z(\mathcal{C})$, the representation $T\mathcal{M}$ coincides with the full centre $Z(A)$ of an algebra object $A$ in $\mathcal{C}$, where $\mathcal{M}$ is the category of $A$-modules.
• Cardy Algebra: This establishes that the triple $(A, T\mathcal{M}, i_A)$ forms a Cardy $\mathcal{C}$-algebra, linking the physical concept of boundary conditions to the algebraic structure of Frobenius algebras in the Drinfeld centre.

4. Significance

1. Unification: The paper unifies the physical concept of modular invariants with the algebraic concept of NIM-reps through the lens of pivotal module categories, providing a rigorous categorical foundation for phenomena previously observed only in specific cases or via operator algebras.
2. Generalization: It generalizes the ADE classification results to arbitrary modular tensor categories, showing that the relationship between diagonal modular invariants and NIM-rep spectra is a universal feature of pivotal module categories.
3. Technical Advancement: By proving that the dimension condition is automatic for indecomposable categories, the paper simplifies the criteria for constructing modular invariants, making the $T\mathcal{M}$ construction more robust and applicable.
4. Bridge to Literature: It explicitly bridges the gap between the tube category approach (used in [Har21]) and the full centre approach (used in [KR09]), demonstrating that they describe the same underlying algebraic structure (Cardy algebras).

In summary, King and Hardiman provide a comprehensive categorical framework that explains the spectral properties of modular invariants, proves the automatic satisfaction of dimension constraints for indecomposable systems, and identifies these structures with the full centre of algebra objects in the Drinfeld centre.