On the classification of topological orders
arXiv:2003.06663 · doi:10.1007/s00220-022-04380-3
Abstract
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete -categories which are mildly dualizable and have trivial centre. Dualizability encodes the word "topological," and we take it as the definition of "(separable) multifusion -category"; triviality of the centre implements the physical principle of "remote detectability." We show that such -categorical algebras are Morita-invertible (in the appropriate higher Morita category), thereby identifying topological orders with anomalous fully-extended TQFTs. We identify centreless fusion -categories (i.e. multifusion -categories with indecomposable unit) with centreless braided fusion -categories. We then discuss the classification in low spacetime dimension, proving in particular that all - and -dimensional topological orders, with arbitrary symmetry enhancement, are suitably-generalized topological sigma models. These mathematical results confirm and extend a series of conjectures and proposals by X.G. Wen et al.
32 pages. Accepted version
References in corpus (4)
Cited by in corpus (78)
- Orbifold groupoids
- Non-Invertible Higher-Categorical Symmetries
- Universal Non-Invertible Symmetries
- Unifying Constructions of Non-Invertible Symmetries
- Non-Invertible Symmetry Webs
- Lecture Notes on Generalized Symmetries and Applications
- Non-invertible Symmetries and Higher Representation Theory I
- On lattice models of gapped phases with fusion category symmetries
- Decomposition, condensation defects, and fusion
- Fusion Category Symmetry II: Categoriosities at c = 1 and Beyond
- Generalized Charges, Part I: Invertible Symmetries and Higher Representations
- Classification of topological phases with finite internal symmetries in all dimensions
- Stiefel Liquids: Possible Non-Lagrangian Quantum Criticality from Intertwined Orders
- Anomalies of Non-Invertible Symmetries in (3+1)d
- Towards a classification of mixed-state topological orders in two dimensions
- Duality Defects in
- Minimal nondegenerate extensions
- Fusion Surface Models: 2+1d Lattice Models from Fusion 2-Categories
- A mathematical theory of gapless edges of 2d topological orders. Part II
- Higher-group symmetry in finite gauge theory and stabilizer codes
- Categories of quantum liquids I
- Topological holography, quantum criticality, and boundary states
- Symmetries and Anomalies of (1+1)d Theories: 2-groups and Symmetry Fractionalization
- Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases
- Fermionization of fusion category symmetries in 1+1 dimensions
- Tensor network approach to electromagnetic duality in (3+1)d topological gauge models
- One dimensional gapped quantum phases and enriched fusion categories
- TQFT, Symmetry Breaking, and Finite Gauge Theory in 3+1D
- Generalized Charges, Part II: Non-Invertible Symmetries and the Symmetry TFT
- Fusion 2-categories with no line operators are grouplike
- Non-invertible symmetries and boundaries in four dimensions
- Foliated-Exotic Duality in Fractonic BF Theories
- Composing topological domain walls and anyon mobility
- Gapped Phases in (2+1)d with Non-Invertible Symmetries: Part I
- Non-invertible topological defects in 4-dimensional pure lattice gauge theory
- (3+1)D topological orders with only a -charged particle
- Exactly solvable models for U(1) symmetry-enriched topological phases
- Topological Orders in (4+1)-Dimensions
- On weak Hopf symmetry and weak Hopf quantum double model
- Enriched string-net models and their excitations
- Extracting topological orders of generalized Pauli stabilizer codes in two dimensions
- Finite Semisimple Module 2-Categories
- Galois Orbits of TQFTs: Symmetries and Unitarity
- Categories of quantum liquids II
- Study of gapped phases of 4d gauge theories using temporal gauging of the 1-form symmetry
- String operators for Cheshire strings in topological phases
- Category of SET orders
- Fusion 3-Categories for Duality Defects
- Generalized toric codes on twisted tori for quantum error correction
- Twisted Partition Functions as Order Parameters
- The 2-Deligne Tensor Product
- Gauging Categorical Symmetries in 3d Topological Orders and Bulk Reconstruction
- Finite-temperature quantum topological order in three dimensions
- Weak Hopf non-invertible symmetry-protected topological spin liquid and lattice realization of (1+1)D symmetry topological field theory
- Fusion of one-dimensional gapped phases and their domain walls
- Non-invertible symmetries in finite-group gauge theory
- Local Modules in Braided Monoidal 2-Categories
- On the Dualizability of Fusion 2-Categories
- Dynamical abelian anyons with bound states and scattering states
- Generalized Landau Paradigm for quantum phases and phase transitions
- Weak Fusion 2-Categories
- Bosonization and Anomaly Indicators of (2+1)-D Fermionic Topological Orders
- String-Membrane-Nets from Higher-Form Gauging: An Alternate Route to -String Condensation
- Extension Theory and Fermionic Strongly Fusion 2-Categories (with an Appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)
- Remote detectability from entanglement bootstrap I: Kirby's torus trick
- Nested cobordisms, Cyl-objects and Temperley-Lieb algebras
- 2-Drinfel'd double symmetry of the 4d Kitaev model
- Subsystem Symmetry-Protected Topological Phases from Subsystem SymTFT of 2-Foliated Exotic Tensor Gauge Theory
- Local topological order and boundary algebras
- Boundary topological orders of (4+1)d fermionic SPT states
- Most two-dimensional bosonic topological orders forbid sign-problem-free quantum Monte Carlo: Nonpositive Gauss sum as an indicator
- Condensation Completion and Defects in 2+1D Topological Orders
- Fusion of Low-Entanglement Excitations in 2D Toric Code
- -categorical prefactorization algebras for superselection sectors and topological order
- Knots and entanglement
- Compact Semisimple Tensor 2-Categories are Morita Connected
- Topological Mathieu Moonshine
- Categorical computation