Local Modules in Braided Monoidal 2-Categories
arXiv:2307.02843 · doi:10.1063/5.0172042
Abstract
Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter.
arXiv commentComments welcome!
References in corpus (23)
- Fault-tolerant quantum computation by anyons
- On the classification of topological orders
- The Classification of Two-Dimensional Extended Topological Field Theories
- On -induction, chiral generators and modular invariants for subfactors
- Symmetry Protected Topological phases and Generalized Cohomology
- Fusion 2-categories and a state-sum invariant for 4-manifolds
- Hopf symmetry breaking and confinement in (2+1)-dimensional gauge theory
- Braided fusion categories, gravitational anomalies, and the mathematical framework for topological orders in any dimensions
- Broken quantum symmetry and confinement phases in planar physics
- Classification of topological phases with finite internal symmetries in all dimensions
- The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten Theory
- Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers
- Minimal nondegenerate extensions
- Modular categories and orbifold models
- Gauging Noninvertible Defects: A 2-Categorical Perspective
- The balanced tensor product of module categories
- On dualizable objects in monoidal bicategories, framed surfaces and the Cobordism Hypothesis
- Rigid and Separable Algebras in Fusion 2-Categories
- String Condensations in 3+1D and Lagrangian Algebras
- Gapped boundaries of (3+1)d topological orders
- Multifusion Categories and Finite Semisimple 2-Categories
- The Morita Theory of Fusion 2-Categories
- Finite Semisimple Module 2-Categories