NIM-representations of Tambara-Yamagami generalizations

This paper computes and classifies the irreducible non-negative integer matrix representations of two generalizations of the Tambara-Yamagami fusion ring, while also identifying the algebra objects associated with these representations.

The Gist

Imagine you are a master architect trying to build a city. But this isn't a city of bricks and mortar; it's a city made of rules for combining things.

In the world of mathematics and theoretical physics, there are special "cities" called Fusion Categories. Think of these as rulebooks for a game where you take two objects, smash them together, and see what new object pops out. Sometimes, you get a simple object back; sometimes, you get a whole crowd of them.

The authors of this paper are studying two specific, slightly upgraded versions of a famous rulebook called the Tambara-Yamagami (TY) category. The original TY rulebook is like a simple, well-known board game. It's famous because it helps physicists understand things like "anyons" (weird particles that exist in 2D worlds) and how they behave when they swap places.

However, the authors asked: "What if we tweak the rules just a little bit? What happens if we make the game slightly more complex?"

They looked at two specific ways to upgrade the rules (proposed by other mathematicians named Jordan-Larson and Galindo-Lentner-Möller). Their goal was to figure out how to build NIM-representations (a mouthful of a term) on these new rulebooks.

The Big Analogy: The "Party Planner" and the "Guest List"

To understand what they actually did, let's use a party analogy.

1. The Fusion Ring (The Rulebook)
Imagine a party where guests are the "objects."

• Invertible Guests: These are guests who, when they arrive, just swap seats with others. They don't change the vibe; they just move around. In the math, these are elements of a group (like a circle of friends passing a ball).
• Non-Invertible Guests: These are the "wildcards." When they arrive, they don't just swap seats; they might bring a whole new group of friends, or split the room into new clusters.

2. The NIM-Representation (The Party Layout)
A "NIM-rep" is essentially a blueprint for a valid party layout.

• You have a list of "seats" (the basis of your representation).
• You have to figure out: If Guest A (from the rulebook) sits next to Seat 1, who ends up in Seat 2?
• The rules are strict: If Guest A and Guest B sit together, the result must be predictable and consistent.
• Irreducible: This means the party is "connected." You can't split the party into two separate rooms where no one talks to the other. Everyone is part of one big, chaotic, but connected dance floor.

3. The Goal: Finding the "Algebra Objects" (The VIPs)
The authors wanted to find the Algebra Objects. In our party analogy, these are the VIPs or the "Hosts."

• If you find a valid party layout (a NIM-rep), you can look at the blueprint and say, "Ah! This specific arrangement of seats corresponds to a special Host."
• Finding these Hosts is crucial because they tell physicists how to build "defects" or "boundaries" in their physical models. It's like finding the secret entrance to a hidden room in the party.

What Did They Actually Do?

The paper is a massive classification project. The authors acted like detectives trying to solve a puzzle: "How many different ways can we arrange the seats for these upgraded rulebooks so that the party stays connected and follows the rules?"

They broke it down into two main cases (the two different rulebook upgrades):

Case 1: The Jordan-Larson Upgrade

• The Setup: Imagine the party has a main group of friends (a group $G$) and a few wildcards ($X_1, X_2, \dots$).
• The Discovery: They found that the number of "dance circles" (orbits) the wildcards can create is strictly limited. If the wildcard rule says "do this $p$ times," the party can only have a number of circles that divides $p$.
• The Result: They created a "menu" of all possible valid parties. If you pick a specific subgroup of friends (a specific clique), you can build a unique, valid party layout. They even figured out exactly how to identify the "Host" (Algebra Object) for each of these layouts.

Case 2: The Galindo-Lentner-Möller Upgrade

• The Setup: This is a bit more complex. The party has a group of friends, but the wildcards are organized in pairs (related to "halves" of the group).
• The Discovery: They found that the party can have at most two main dance circles. It's a very tight constraint!
  • Scenario A: Everyone is in one big circle.
  • Scenario B: The party is split into exactly two circles, and the wildcards force people to jump between them in a very specific, rhythmic pattern.
• The Result: Again, they listed every single way to build these two-circled parties. They determined exactly which "Hosts" (Algebra Objects) appear in each scenario.

Why Should You Care? (The "So What?")

You might ask, "Who cares about party layouts in math?"

1. Physics Connection: These rulebooks describe the behavior of Topological Phases of Matter. Think of materials that conduct electricity on their surface but are insulators inside, or quantum computers that are protected from errors by the very shape of space.
2. The "Toy Model" Value: The original Tambara-Yamagami categories are like the "Hello World" of these complex physics problems. They are simple enough to solve but complex enough to show interesting behavior.
3. The Next Step: By solving the "upgraded" versions, the authors are giving physicists a new set of tools. They are saying, "Here is the map for the next level of complexity. If you want to build a quantum computer or understand a new type of particle, here are the valid blueprints you can use."

Summary in One Sentence

The authors took two slightly more complicated versions of a famous mathematical rulebook for particle physics, figured out every single way to arrange a "connected party" on those rules, and identified the special "Hosts" that make those arrangements possible, providing a new toolkit for understanding the quantum universe.

Technical Summary

1. Problem Statement

The paper addresses the classification of Non-Negative Integer Matrix representations (NIM-reps) for two specific generalizations of the Tambara-Yamagami (TY) fusion ring.

• Context: TY categories are fundamental examples of non-pointed fusion categories, defined by a finite abelian group $A$, a bicharacter $\chi$, and a sign $\tau$. They play a crucial role in topological quantum field theory (TQFT) and conformal field theory (CFT).
• The Gap: While NIM-reps for standard TY categories are well-understood (classifying boundary conditions in CFT and algebra objects in the category), the behavior of these representations under generalizations of the TY fusion rules was not fully classified.
• Specific Targets: The authors focus on two distinct generalizations:
  1. Jordan-Larson ($R_{p,G}$): A $\mathbb{Z}_p$-graded extension where the invertible elements form a group $G$ of square order, and there are $p-1$ non-invertible simple objects.
  2. Galindo-Lentner-Möller ($GLM(\Gamma, \delta)$): A $\mathbb{Z}_2$-crossed extension involving an abelian group $\Gamma$ of even order and a specific element $\delta \in \Gamma/2\Gamma$.

The primary goal is to classify the irreducible NIM-reps for these rings and identify the associated algebra objects, which correspond to module categories over the underlying fusion categories.

2. Methodology

The authors employ a combination of combinatorial graph theory, group representation theory, and fusion ring axioms.

• NIM-Graphs and Orbit Graphs:
  • They utilize standard NIM-graphs where nodes represent basis elements of the NIM-rep and edges represent the action of fusion ring elements.
  • Key Innovation: They introduce the NIM-orbit graph. This tool contracts the action of the invertible group elements ($G$ or $\Gamma$) into single vertices representing orbits. This isolates the combinatorial structure generated by the non-invertible elements, significantly simplifying the classification arguments.
• Orbit Analysis:
  • They analyze the action of the non-invertible generators on the set of group orbits.
  • For $R_{p,G}$, they prove that the non-invertible element $X_1$ acts as a permutation on the set of $G$-orbits. Irreducibility forces this permutation to be a single cycle.
  • For $GLM(\Gamma, \delta)$, they analyze the action on $\Gamma$-orbits and further refine this to $2\Gamma$-orbits (subgroups of index 2). They utilize the rigidity condition of the NIM-rep to derive constraints on the multiplicities of transitions between orbits.
• Algebra Object Detection:
  • Using the correspondence between admissible NIM-reps and algebra objects (via internal Hom spaces), they detect algebra objects by identifying self-loops in the NIM-graphs.
  • They derive explicit formulas for the algebra objects based on the stabilizer subgroups and the permutation actions found during classification.

3. Key Contributions and Results

A. Jordan-Larson Generalization ($R_{p,G}$)

• Orbit Count Constraint: The number of $G$-orbits ($m$) in any irreducible NIM-rep must be a divisor of $p$ (Theorem 3.8).
• Classification (Theorem 3.10): Irreducible NIM-reps with $m$ orbits are parametrized by a sequence of subgroups $H_1, \dots, H_m \subset G$ satisfying a square-integrality condition:
  $$\frac{|H_i| |H_{\sigma^k(i)}|}{|G|} \in \mathbb{Z}_{\geq 0} \quad \text{is a perfect square}$$
  where $\sigma$ is the cyclic permutation of orbits induced by $X_1$.
• Isomorphism: Two such representations are isomorphic if and only if their sequences of subgroups are conjugate up to a permutation of the orbit indices (Theorem 3.13).
• Algebra Objects: They prove all irreducible NIM-reps are admissible. The associated algebra objects are sums of group elements in the stabilizer subgroups plus specific multiples of non-invertible elements determined by the self-loop multiplicities (Proposition 3.19).

B. Galindo-Lentner-Möller Generalization ($GLM(\Gamma, \delta)$)

• Orbit Count Constraint: An irreducible NIM-rep has at most two $\Gamma$-orbits (Theorem 4.7).
• Single Orbit Case (Theorem 4.12):
  • Parametrized by a subgroup $H \subset \Gamma$ such that $\sqrt{|2\Gamma|}$ divides $|H \cap 2\Gamma|$.
  • Requires a choice of a permutation $\tau_0$ on the $2\Gamma$-orbits satisfying specific commutation and order relations with the group action (Proposition 4.10).
• Two Orbit Case (Theorem 4.23):
  • Parametrized by a pair of subgroups $(H_1, H_2)$ and a permutation $\tau_0$ acting on the union of $2\Gamma$-orbits.
  • Constraints:
    1. Either $\delta \in H_1 \cap H_2$ or $\delta \notin H_1 \cup H_2$.
    2. The number of $2\Gamma$-orbits in each $\Gamma$-orbit must be equal.
    3. A square-integrality condition involving the sizes of intersections with $2\Gamma$.
  • The permutation $\tau_0$ must have no fixed points and its cycle structure depends on whether $\delta$ is in the intersection of the stabilizers (order 2 cycles) or outside the union (order 4 cycles).
• Algebra Objects:
  • Single Orbit: The algebra object includes a sum over the subgroup $H$ and a sum over non-invertible elements $X_g$ where the permutation $\sigma_g$ maps the orbit back to itself via $\tau_0^{-1}$.
  • Two Orbits: The algebra objects are purely group-like (sums over $H_1$ and $H_2$) because the non-invertible elements do not fix any orbits (Proposition 4.30).

4. Significance

• Structural Insight: The results highlight a deep connection between the grading of a fusion category (e.g., $\mathbb{Z}_p$ or $\mathbb{Z}_2$) and the number of orbits permitted in an irreducible NIM-rep. Specifically, the number of orbits is constrained by the order of the grading group.
• Classification of Module Categories: Since algebra objects classify module categories, this work provides the first step toward a complete classification of module categories over these generalized fusion categories.
• Physical Applications: The classification of NIM-reps is equivalent to solving Cardy's equation in boundary rational conformal field theory. These results provide the necessary data to construct boundary conditions for TQFTs and CFTs associated with these generalized fusion rules.
• Methodological Tool: The introduction of the NIM-orbit graph offers a robust combinatorial framework for studying fusion rings with non-trivial invertible components, potentially applicable to other near-group or graded fusion categories.

In summary, the paper successfully extends the known classification of Tambara-Yamagami NIM-reps to two broader families, providing explicit parametrizations, isomorphism criteria, and the corresponding algebraic structures, thereby bridging abstract category theory with concrete models in mathematical physics.