Condensation Completion and Defects in 2+1D Topological Orders

This paper reviews the condensation completion of modular tensor categories as a fusion 2-category describing defects in 2+1D topological orders, demonstrates its lattice realization in the Toric Code model, and applies the framework to explicitly enumerate defects and fusion rules for various topological orders while highlighting its broader applications in characterizing gapped boundaries and symmetry-protected phases.

The Gist

Imagine you are a detective trying to understand the hidden rules of a strange, magical world. In this world, particles don't just bump into each other; they can fuse, split, and braid around one another in ways that create entirely new types of matter. This is the world of Topological Order, a state of matter that exists in our universe but is usually hidden deep inside materials like superconductors.

This paper is a guidebook for detectives who want to map out the "defects" or "cracks" in this magical world. Specifically, it teaches us how to find and understand the walls (1D defects) and the dots (0D defects) that can exist inside these materials.

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Problem: The Map is Incomplete

Imagine you have a map of a city (the topological order) that only shows the buildings (the particles). You know how the buildings interact, but you don't know about the roads connecting them or the traffic lights at the intersections.

In physics, we have a great mathematical map for the particles (called a Modular Tensor Category). But this map is "incomplete." It's like having a list of all the numbers between 0 and 1, but missing the concept of "limits" or "infinity." To make the map truly useful and complete, we need to fill in the gaps.

The authors use a mathematical tool called Condensation Completion. Think of this as a "magic spell" that takes your incomplete map of particles and automatically generates the complete map of all possible walls and dots that can exist within that world.

2. The Magic Spell: Condensation Completion

How does this spell work? The paper uses a very clever analogy: Building a Wall out of Sand.

• The Particles (Sand): Imagine you have a bag of magical sand (particles).
• The Wall (Defect): If you pour this sand along a line and glue the grains together in a specific pattern, you create a solid wall.
• The Glue (Algebra): The "glue" that holds the sand together follows specific rules. In math, this is called a "separable algebra."

The paper says: If you take every possible way to glue these particles together to make a wall, you get a complete list of all possible walls.

Once you have the walls, you can ask: "What happens if I put two walls next to each other?" or "What happens if I put a dot on a wall?" The "Condensation Completion" algorithm answers these questions automatically, giving us a complete dictionary of how these defects interact.

3. The Case Studies: Testing the Spell

The authors tested their "magic spell" on four different magical worlds (Topological Orders) to see if it worked.

A. The Toric Code (The Classic Puzzle)

This is the simplest magical world, like a grid of coins.

• The Particles: There are four types: Empty (1), Electric charge (e), Magnetic charge (m), and a combo (f).
• The Discovery: The spell revealed there are 6 types of walls.
  • Some walls are like "rough" edges where the magnetic charge gets stuck.
  • Some are "smooth" edges where the electric charge gets stuck.
  • The Cool One: There is a special wall that acts like a mirror. If an electric particle (e) hits this wall, it bounces back as a magnetic particle (m), and vice versa. The paper shows exactly how to build this wall in a computer simulation.

B. The Three-Fermion World (The Party Mix)

In this world, three different particles (e, m, f) are all "fermions" (they hate being in the same place).

• The Discovery: This world has a hidden symmetry, like a group of three friends who can swap seats at a table in 6 different ways. The walls in this world correspond exactly to these 6 seat-swapping moves. The paper proves that the "walls" are just the physical manifestation of these swaps.

C. The Two-Layer Semion (The Double Helix)

Imagine two layers of a magical fabric stacked on top of each other.

• The Discovery: The only interesting wall here is one that swaps the two layers. If you cross this wall, the top layer becomes the bottom layer. The paper calculates exactly how particles behave when they cross this "layer-swapping" wall.

D. The Z4 World (The Clock)

This world is based on a clock with 4 hours.

• The Discovery: The walls here act like a switch. When a particle crosses the wall, it changes its "time" on the clock. The paper maps out exactly how these changes happen.

4. Why Should We Care? (The Real-World Impact)

You might ask, "Why do we need to know about these invisible walls?"

1. Building Better Computers: These topological materials are the leading candidates for Quantum Computers. To build a quantum computer, we need to move information around without it getting corrupted. These "walls" are the roads we can use to move information safely.
2. Classifying the Universe: Just as biologists classify animals into families, physicists want to classify all possible states of matter. This paper provides a universal recipe (the algorithm) to classify any 2D topological material, no matter how weird it is.
3. The "Folding" Trick: The paper also reveals a cool trick: If you take a material and "fold" it in half, the edge where it folds becomes a boundary. The math used to find the walls inside the material is the exact same math used to find the boundaries of the folded material. It connects two different problems into one solution.

Summary

Think of this paper as a Universal Translator.

• Input: A list of particles and how they dance together.
• Process: The "Condensation Completion" spell (the math).
• Output: A complete instruction manual for every possible wall, every possible dot, and how they all fuse together.

The authors didn't just write the spell; they showed us how to use it to build specific walls in a computer model, proving that these abstract mathematical ideas can actually be realized in the physical world. It's a bridge between pure math and the future of quantum technology.

Technical Summary

1. Problem Statement

The paper addresses the systematic classification and characterization of topological defects in $(2+1)$-dimensional topological orders. While the particle-like excitations (codimension-2 defects) in a topological order are well-described by Modular Tensor Categories (MTCs), the description of higher-codimension defects (codimension-1 domain walls, codimension-2 point defects on walls, and instantons) has historically relied on specific lattice models or ad-hoc constructions.

The core problem is to provide a universal, model-independent mathematical framework that determines the fusion $(n-1)$-category of codimension-1 and higher defects solely from the braided fusion $(n-2)$-category of codimension-2 defects. Specifically, the authors aim to construct the condensation completion of a modular tensor category $\mathcal{C}$ to yield a fusion 2-category $\Sigma\mathcal{C}$, which fully encodes the algebraic structure of all gapped domain walls and point-like defects within the topological order.

2. Methodology

The authors employ higher category theory, specifically the concept of condensation completion (introduced by Gaiotto and Johnson-Freyd), to solve this problem.

• Mathematical Framework:

  • They define $\Sigma\mathcal{C} \equiv \text{Kar}(\mathcal{B}\mathcal{C})$, where $\mathcal{B}\mathcal{C}$ is the delooping of the MTC $\mathcal{C}$ (viewed as a monoidal 2-category with a single object).
  • Objects in $\Sigma\mathcal{C}$ correspond to separable algebras in $\mathcal{C}$. Physically, these represent 1D gapped domain walls.
  • 1-Morphisms correspond to bimodules over these algebras. Physically, these represent 0D point-like defects located at the junction of two domain walls.
  • 2-Morphisms correspond to bimodule maps, representing instantons (tunneling events between defects).
  • The tensor product in $\Sigma\mathcal{C}$ (induced by the braiding of $\mathcal{C}$) describes the fusion of domain walls.
  • The relative tensor product of bimodules describes the fusion of point defects along a wall.

• Physical Realization:

  • The authors demonstrate how to realize these abstract algebraic structures on a lattice. By creating free anyons along a line and turning on specific local interactions (derived from the algebra's multiplication and comultiplication), they construct gapped domain walls.
  • They explicitly construct Hamiltonians for the Toric Code model to realize "rough-rough" walls ($1 \oplus e$) and "e-m exchange" walls ($1 \oplus f$).

• Algorithmic Approach:

  • For pointed braided fusion categories (e.g., $\text{Vec}^\omega_G$), they utilize the classification of separable algebras by pairs $(H, \psi)$, where $H$ is a subgroup and $\psi$ is a 2-cocycle.
  • They provide algorithms to compute:
    1. Simple objects (algebras) in $\Sigma\mathcal{C}$.
    2. Simple bimodules (0D defects) via decomposition of free modules.
    3. Fusion rules via relative tensor products and Morita equivalence.

3. Key Contributions

1. Systematic Construction of $\Sigma\mathcal{C}$: The paper provides a concrete, workable model for the condensation completion of MTCs, translating abstract categorical data into explicit fusion rules for domain walls and point defects.
2. Lattice Realization: It bridges the gap between abstract category theory and microscopic lattice models by showing how to deform Hamiltonians to create specific domain walls (e.g., the zigzag wall in Toric Code that exchanges $e$ and $m$ anyons).
3. Comprehensive Classification: The authors explicitly enumerate the 1D and 0D defects and their fusion rules for four distinct topological orders:
   • Toric Code ($\mathbb{Z}_2 \times \mathbb{Z}_2$ fusion, non-chiral).
   • 3F Topological Order ($\mathbb{Z}_2 \times \mathbb{Z}_2$ fusion, chiral, three fermions).
   • Two-layer Semion (Chiral, $\mathbb{Z}_2 \times \mathbb{Z}_2$ fusion).
   • $\mathbb{Z}_4$ Topological Order (Chiral, $\mathbb{Z}_4$ fusion).
4. Identification of Symmetries: They identify the group of invertible domain walls in the 3F order as the permutation group $S_3$, linking the algebraic structure of defects to the symmetry of the underlying anyon types.
5. Applications to Boundaries and SETs: The paper extends the utility of condensation completion to:
   • Finding all gapped boundaries of a topological order stacked with its time-reversal conjugate ($\mathcal{C} \boxtimes \bar{\mathcal{C}}$).
   • Classifying Symmetry Enriched Topological (SET) phases via the condensation completion of symmetry charge categories.

4. Key Results

• Toric Code:

  • Identified 6 separable algebras (domain walls): $1$, $1\oplus e$, $1\oplus m$, $1\oplus f$, $1\oplus e \oplus m \oplus f$, and the twisted version $(1\oplus e \oplus m \oplus f)_\psi$.
  • Determined that the $1\oplus f$ wall is the unique invertible wall (corresponding to the $e$-$m$ exchange symmetry).
  • Calculated the fusion of point defects on these walls, showing they form $\mathbb{Z}_2 \times \mathbb{Z}_2$ fusion rules on the $1\oplus e$, $1\oplus m$, and $1\oplus f$ walls.

• 3F Order:

  • Despite having the same underlying fusion category as Toric Code, the different braiding statistics lead to different defect structures.
  • The 6 domain walls correspond to the 6 elements of the $S_3$ permutation group acting on the three fermions ($e, m, f$).
  • The fusion of domain walls follows the $S_3$ group multiplication table.

• Two-layer Semion:

  • Found only 2 separable algebras: $1$ and $1\oplus \psi$ (where $\psi$ is a fermion).
  • The non-trivial wall $1\oplus \psi$ is invertible, and fusing it with itself yields the trivial wall ($1\oplus \psi \square 1\oplus \psi \sim_M 1$), representing the exchange of the two semion layers.

• $\mathbb{Z}_4$ Order:

  • Identified 2 separable algebras: $1$ and $1\oplus \sigma_2$ (where $\sigma_2$ is an emergent fermion).
  • The wall $1\oplus \sigma_2$ is invertible and exchanges $\sigma_1$ and $\sigma_3$.

• Gapped Boundaries:

  • Demonstrated a one-to-one correspondence between 1D defects in $\mathcal{C}$ and gapped boundaries of $\mathcal{C} \boxtimes \bar{\mathcal{C}}$.
  • Explicitly computed the Lagrangian algebras (boundaries) for the double Toric Code, double 3F, and double Semion orders.

5. Significance

• Mathematical Completeness: The paper argues that condensation completion is the physical analog of Cauchy completion in analysis. Just as real numbers are required for rigorous calculus, the fusion 2-category $\Sigma\mathcal{C}$ provides the mathematically complete structure necessary to rigorously define limits, functorial constructions, and semi-simplicity in topological phases.
• Universal Classification: It moves beyond model-specific studies (like string-net models) to a universal algebraic description. Any topological order defined by an MTC can have its full defect structure derived without needing a specific lattice realization.
• Symmetry and Phases: The framework unifies the treatment of topological defects and symmetry-enriched phases. It shows that symmetry-enriched topological orders can be classified via the condensation completion of symmetry charge categories.
• Future Directions: The work lays the groundwork for studying higher-dimensional topological orders ($n+1$D) and non-invertible symmetries, providing the necessary algebraic tools to handle complex defect networks and phase transitions in condensed matter systems.