Classification of 2D Fermionic Systems with a $\mathbb Z_2$ Flavor Symmetry

This paper classifies two-dimensional fermionic systems with a $\mathbb{Z}_2$ flavor symmetry and universal fermion-parity symmetry into 16 distinct superfusion categories, determined by solving super-pentagon equations and characterized by invariants that correspond to $\mathbb{Z}_8$ anomaly classes.

The Gist

Imagine you are a detective trying to understand the hidden rules of a mysterious, two-dimensional world made entirely of fermions. In physics, fermions are the "building block" particles of matter (like electrons), and they have a very strange personality: they hate being in the same place as each other (the Pauli Exclusion Principle).

In this paper, the authors are classifying the "social rules" or symmetries that govern how these particles interact when they are organized into a specific kind of mathematical structure called a Superfusion Category.

Here is the breakdown of their discovery, translated into everyday language:

1. The Setting: A World of "Topological Strings"

Think of this 2D world not as a flat sheet of paper, but as a fabric where you can draw invisible, magical strings called Topological Defect Lines (TDLs).

• These strings don't just sit there; they can move, cross, and merge.
• When two strings cross, they might fuse into a new string, or they might create a little "glitch" (a fermion) right at the intersection.
• The authors are studying a world with two specific types of these magical strings:
  1. The "Parity" String ($Z$): This is the universal rule of the universe. It represents the fact that fermions have a "parity" (like a left-handed vs. right-handed glove). It's always there, no matter what.
  2. The "Flavor" String ($W$): This is an extra rule the authors added. It's like a special flavor of ice cream added to the universe.

2. The Two Types of Magical Strings

The authors discovered that the "Flavor" string ($W$) can behave in two very different ways, like a chameleon changing its skin:

• Type A: The "M" (Matter) String: This is a "boring" string. When it crosses itself, it just splits into normal pieces. It's like a standard rope.
• Type B: The "Q" (Quantum) String: This is the wild one. When this string exists, it carries a tiny, one-dimensional Majorana fermion (a particle that is its own antiparticle) living on the string itself. Imagine a snake that has a tiny, glowing worm living inside its skin. This changes everything about how the string behaves when it crosses other things.

3. The Puzzle: The "Super-Pentagon"

To figure out the rules of this world, the authors had to solve a massive mathematical puzzle called the Super-Pentagon Equation.

• The Analogy: Imagine you have five friends standing in a circle. You want to know the rules for how they can swap places without tripping over each other.
• In a normal world, there are standard rules. But in this fermionic world, because of the "glitchy" nature of the particles, the rules are much stricter.
• The authors had to find every possible set of rules that doesn't lead to a logical contradiction (like a paradox where $1+1=3$).

4. The Big Discovery: The "Z8" Classification

After solving the puzzle, they found that there are exactly 16 distinct ways to organize these rules.

They realized these 16 ways can be grouped into a cycle of 8 (like the numbers on a clock, but only the odd/even ones matter here). They call this the $Z_8$ Classification.

• The Clock Analogy: Imagine the "Flavor" string ($W$) is a hand on a clock. Depending on where the hand points (1, 2, 3... up to 8), the rules of the universe change slightly.
  • If the hand points to an odd number (1, 3, 5, 7), the string is the "wild" Q-type (it has the worm living on it).
  • If the hand points to an even number (0, 2, 4, 6), the string is the "boring" M-type.
  • However, even among the "boring" ones, some have a secret "fermionic glitch" at their intersection points, making them distinct from others.

5. Real-World Examples: Stacking Majorana Fermions

The authors didn't just do math; they showed how to build these worlds in real physics.

• They used a stack of Majorana Fermions (a special type of particle).
• The Recipe:
  • If you stack 1, 3, 5, or 7 copies of these particles, you get the "wild" Q-type rules.
  • If you stack 2, 4, or 6 copies, you get the "boring" M-type rules.
  • If you stack 0 (or 8), you get the simplest, most stable version.

6. Why Does This Matter? (The "Soliton" Surprise)

The paper ends with a cool application. They looked at what happens when you "break" the symmetry in these systems (like stretching a rubber band until it snaps).

• The N=2 Case (The "Double" World): When they broke the symmetry, they found that the resulting "soliton" (a stable knot in the field) had a fractional fermion number.
  • Analogy: Imagine cutting a chocolate bar. Usually, you get half a bar. But here, they found a piece of chocolate that is half a particle. It's a "half-electron." This is a weird, exotic state of matter.
• The N=1 Case (The "Single" World): In a slightly different setup, they found that even though the string was "wild" (Q-type), the resulting knots had whole numbers of particles. The "wildness" canceled out perfectly.

Summary

In short, this paper is a rulebook for a 2D universe made of fermions.

1. They identified two types of "strings" (boring vs. wild).
2. They solved the math to find there are exactly 16 valid rulebooks (grouped into 8 types).
3. They showed how to build these rulebooks by stacking different numbers of particles.
4. They proved that these rules predict the existence of exotic particles with "half-integer" charges, which could be crucial for understanding future quantum materials or quantum computers.

It's like finding the periodic table for the "social behavior" of particles in a 2D world.

Technical Summary

1. Problem Statement

The paper addresses the classification of two-dimensional (2D) fermionic quantum field theories (QFTs) and Conformal Field Theories (CFTs) that possess two specific symmetries:

1. Universal Fermion Parity ($Z$): The intrinsic $\mathbb{Z}_2$ symmetry generated by the operator $(-1)^F$, implemented by a topological defect line (TDL) denoted as $Z$.
2. Additional Flavor Symmetry ($W$): An external global $\mathbb{Z}_2$ symmetry, implemented by a TDL denoted as $W$.

The core challenge is to classify the superfusion categories that describe the fusion and braiding properties of these TDLs. Unlike bosonic systems described by ordinary fusion categories, fermionic systems require superfusion categories to account for:

• m-type defects: Standard topological lines.
• q-type defects: Lines that support 1D Majorana fermion modes along the defect.
• Fermion parity grading: The distinction between bosonic and fermionic operators.

The authors aim to solve the super-pentagon equations (the consistency conditions for fusion associativity) for the fusion ring generated by $\{I, Z, W, WZ\}$ and determine the distinct consistent categories.

2. Methodology

The authors employ a combination of algebraic topology, category theory, and CFT realization techniques:

• Algebraic Classification:

  • They define the fusion ring based on the interaction between the fermion parity line $Z$ and the flavor line $W$.
  • They distinguish between m-type and q-type symmetries for $W$ based on the fusion rule $W^2$.
  • They solve the super-pentagon equations to find consistent $F$-symbols (associators).
  • They utilize the spin cobordism group $\Omega^{Spin}_2(B\mathbb{Z}_2) \cong \mathbb{Z}_8$ to classify the possible $\mathbb{Z}_2$ lines.

• Constraint Analysis:

  • Anomaly Constraints: They enforce that the fermion parity line $Z$ must be non-anomalous ($\nu_Z = 0$).
  • Commutation Constraints: They analyze the commutation between $Z$ and $W$, specifically how the 1D Majorana mode on a q-type $W$ line transforms when crossing the $Z$ line. This leads to a constraint on the spin selection rules: $\nu_W + \nu_{WZ} \equiv 0, 4 \pmod 8$.
  • Parity Symmetry: They impose invariance under spatial parity ($P: x \to -x$), which further restricts the solutions by requiring the set of TDLs to be closed under parity duality.

• Physical Realization:

  • They construct explicit realizations of these categories using $\nu$ copies of 2D Majorana fermions.
  • They compute defect partition functions and defect Hilbert spaces to match the theoretical spin selection rules ($s = \nu/16 \pmod{1/2}$) with the algebraic solutions.

• Application to Gapped Phases:

  • They apply the classification to relevant deformations of minimal models (N=1 and N=2) to study the behavior of solitons and fractional fermion numbers in gapped systems.

3. Key Contributions and Results

A. Classification of Superfusion Categories

The paper identifies 16 consistent superfusion categories describing 2D fermionic systems with a $\mathbb{Z}_2$ flavor symmetry. These are labeled by three invariants $(\nu_W, \nu_Z, \nu_{WZ}) \in \mathbb{Z}_8^3$, representing the anomaly classes of the symmetries generated by $W$, $Z$, and $WZ$.

The classification depends on the type of the flavor symmetry $W$:

1. q-type Flavor Symmetry ($W$ is q-type):

   • Fusion rule: $W^2 = (1_b + 1_f)I$.
   • Corresponds to $\nu_W \in \{1, 3, 5, 7\}$.
   • The 1D Majorana mode on $W$ acquires a minus sign when crossing $Z$.
   • Result: 8 solutions satisfying the parity constraint $\nu_W + \nu_{WZ} \equiv 0 \pmod 8$.

2. m-type Flavor Symmetry ($W$ is m-type):

   • Case 1 (Bosonic Junction): $W^2 = 1_b I$. Corresponds to $\nu_W \in \{0, 4\}$.
     • Result: 4 solutions.
   • Case 2 (Fermionic Junction): $W^2 = 1_f I$ (the 3-way junction is fermionic). Corresponds to $\nu_W \in \{2, 6\}$.
     • Result: 4 solutions.

Total: 8 (q-type) + 4 (m-type bosonic) + 4 (m-type fermionic) = 16 distinct categories.

B. Spin Selection Rules and Constraints

The authors derive specific constraints on the parameters:

• Non-anomalous Fermion Parity: $\nu_Z = 0$.
• Majorana Commutation: For q-type $W$, the condition that the Majorana mode picks up a sign crossing $Z$ implies $\nu_W + \nu_{WZ} \equiv 0, 4 \pmod 8$.
• Parity Invariance: Requiring the theory to be parity-invariant restricts the solutions further to $\nu_W + \nu_{WZ} \equiv 0 \pmod 8$.

C. Explicit Realizations with Majorana Fermions

The paper provides a physical dictionary between the abstract invariants and $\nu$ copies of Majorana fermions:

• q-type ($\nu$ odd): $\nu = 1, 3, 5, 7$. The flavor line $W = (-1)^{F_L}$ is q-type.
• m-type ($\nu$ even):
  • $\nu = 0, 4$: $W$ is m-type with a bosonic junction.
  • $\nu = 2, 6$: $W$ is m-type with a fermionic junction (due to the condensation of a fermionic line in the bosonized dual).

D. Application to Minimal Models and Solitons

The authors apply these results to deformed minimal models:

1. N=2 Minimal Model ($A_2$):

   • Deformed by a relevant operator, the system becomes gapped with two vacua.
   • The flavor symmetry $W$ is spontaneously broken.
   • Result: The soliton states (domain walls) carry fractional fermion number ($F = \pm 1/2$). This arises from a mixed 't Hooft anomaly between $W$ and $(-1)^F$.

2. N=1 Minimal Model ($A_2$):

   • The flavor line $W$ is q-type.
   • Result: The soliton states are at least two-fold degenerate (due to the Majorana zero mode on the q-type line). Crucially, the authors prove that no mixed anomaly exists between $W$ and $(-1)^F$ in this case. Consequently, the soliton states have well-defined integer fermion numbers, distinguishing them from the N=2 case.

4. Significance

• Mathematical Rigor: The work provides a complete classification of superfusion categories for 2D fermionic systems with a $\mathbb{Z}_2$ flavor symmetry, resolving the super-pentagon equations and identifying 16 distinct phases.
• Physical Insight: It clarifies the relationship between the algebraic properties of TDLs (q-type vs. m-type, junction types) and physical observables like spin selection rules and anomaly classes.
• Soliton Physics: The application to gapped phases demonstrates how 't Hooft anomalies in the UV CFT dictate the fractionalization of quantum numbers (fermion number) in the IR solitonic states. The distinction between N=1 and N=2 cases highlights the subtle role of q-type defects in protecting integer fermion numbers.
• Duality: The paper establishes a concrete link between the Kramers-Wannier duality line in the bosonic Ising model and the q-type TDLs in the fermionized Ising model, providing a new perspective on fermionization.

In summary, this paper bridges abstract category theory and concrete 2D quantum field theory, offering a robust framework for understanding symmetry-protected topological phases and soliton physics in fermionic systems.