Computing Defects Associated to Bounded Domain Wall Structures: The $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$ Case
Preprint
Abstract
A domain wall structure consists of a planar graph with faces labeled by fusion categories/topological phases. Edges are labeled by bimodules/domain walls. When the vertices are labeled by point defects we get a compound defect. We present an algorithm, called the domain wall structure algorithm, for computing the compound defect. We apply this algorithm to show that the \emph{bimodule associator}, related to the $O_3$ obstruction of [Etingof et al., Quantum Topol. 1, 209 (2010), arXiv:0909.3140], is trivial for all domain walls of $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. In the language of this paper, the ground states of the Levin-Wen model are compound defects. We use this to define a generalization of the Levin-Wen model with domain walls and point defects. The domain wall structure algorithm can be used to compute the ground states of these generalized Levin-Wen type models.
Keywords
All Related Versions
This publication has 42 references indexed in Scilit:
- Domain Walls in Topological Phases and the Brauer–Picard Ring for ${{\rm Vec} (\mathbb{Z}/p\mathbb{Z})}$Communications in Mathematical Physics, 2019
- On generalized symmetries and structure of modular categoriesScience China Mathematics, 2019
- Gapped boundaries, group cohomology and fault-tolerant logical gatesAnnals of Physics, 2017
- Monoidal Categories and Topological Field Theory2017
- On Gauging Symmetry of Modular CategoriesCommunications in Mathematical Physics, 2016
- Pivotal Tricategories and a Categorification of Inner-Product ModulesAlgebras and Representation Theory, 2015
- On the Brauer Groups of Symmetries of Abelian Dijkgraaf–Witten TheoriesCommunications in Mathematical Physics, 2015
- Bicategories for Boundary Conditions and for Surface Defects in 3-d TFTCommunications in Mathematical Physics, 2013
- Models for Gapped Boundaries and Domain WallsCommunications in Mathematical Physics, 2012
- Symmetry, Representations, and Invariants2009