-
The Classification of Fusion 2-Categories
Authors:
Thibault D. Décoppet,
Peter Huston,
Theo Johnson-Freyd,
Dmitri Nikshych,
David Penneys,
Julia Plavnik,
David Reutter,
Matthew Yu
Abstract:
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion…
▽ More
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.
△ Less
Submitted 8 November, 2024;
originally announced November 2024.
-
Enriched string-net models and their excitations
Authors:
David Green,
Peter Huston,
Kyle Kawagoe,
David Penneys,
Anup Poudel,
Sean Sanford
Abstract:
Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC $\mathcal{A}$ representing the Witt class of an anomaly, the article [arXiv:2208.14018] gave a commuting projector model associated to an $\mathcal{A}$-enriched unitary fusion category $\mathcal{X}$ on a 2D boun…
▽ More
Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC $\mathcal{A}$ representing the Witt class of an anomaly, the article [arXiv:2208.14018] gave a commuting projector model associated to an $\mathcal{A}$-enriched unitary fusion category $\mathcal{X}$ on a 2D boundary of the 3D Walker-Wang model associated to $\mathcal{A}$. That article claimed that the boundary excitations were given by the enriched center/Müger centralizer $Z^\mathcal{A}(\mathcal{X})$ of $\mathcal{A}$ in $Z(\mathcal{X})$.
In this article, we give a rigorous treatment of this 2D boundary model, and we verify this assertion using topological quantum field theory (TQFT) techniques, including skein modules and a certain semisimple algebra whose representation category describes boundary excitations. We also use TQFT techniques to show the 3D bulk point excitations of the Walker-Wang bulk are given by the Müger center $Z_2(\mathcal{A})$, and we construct bulk-to-boundary hopping operators $Z_2(\mathcal{A})\to Z^{\mathcal{A}}(\mathcal{X})$ reflecting how the UMTC of boundary excitations $Z^{\mathcal{A}}(\mathcal{X})$ is symmetric-braided enriched in $Z_2(\mathcal{A})$.
This article also includes a self-contained comprehensive review of the Levin-Wen string net model from a unitary tensor category viewpoint, as opposed to the skeletal $6j$ symbol viewpoint.
△ Less
Submitted 19 March, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
A lattice model for condensation in Levin-Wen systems
Authors:
Jessica Christian,
David Green,
Peter Huston,
David Penneys
Abstract:
Levin-Wen string-net models provide a construction of (2+1)D topologically ordered phases of matter with anyonic localized excitations described by the {Drinfeld} center of a unitary fusion category. Anyon condensation is a mechanism for phase transitions between (2+1)D topologically ordered phases. We construct an extension of Levin-Wen models in which tuning a parameter implements anyon condensa…
▽ More
Levin-Wen string-net models provide a construction of (2+1)D topologically ordered phases of matter with anyonic localized excitations described by the {Drinfeld} center of a unitary fusion category. Anyon condensation is a mechanism for phase transitions between (2+1)D topologically ordered phases. We construct an extension of Levin-Wen models in which tuning a parameter implements anyon condensation. We also describe the classification of anyons in Levin-Wen models via representation theory of the tube algebra, and use a variant of the tube algebra to classify low-energy localized excitations in the condensed phase.
△ Less
Submitted 14 March, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Unitary braided-enriched monoidal categories
Authors:
Zachary Dell,
Peter Huston,
David Penneys
Abstract:
Braided-enriched monoidal categories were introduced in work of Morrison-Penneys, where they were characterized using braided central functors. Recent work of Kong-Yuan-Zhang-Zheng and Dell extended this characterization to an equivalence of 2-categories. Since their introduction, braided-enriched fusion categories have been used to describe certain phenomena in topologically ordered systems in th…
▽ More
Braided-enriched monoidal categories were introduced in work of Morrison-Penneys, where they were characterized using braided central functors. Recent work of Kong-Yuan-Zhang-Zheng and Dell extended this characterization to an equivalence of 2-categories. Since their introduction, braided-enriched fusion categories have been used to describe certain phenomena in topologically ordered systems in theoretical condensed matter physics. While these systems are unitary, there was previously no general notion of unitarity for enriched categories in the literature. We supply the notion of unitarity for enriched categories and braided enriched monoidal categories and extend the above 2-equivalence to the unitary setting.
△ Less
Submitted 1 September, 2022; v1 submitted 31 August, 2022;
originally announced August 2022.
-
Composing topological domain walls and anyon mobility
Authors:
Peter Huston,
Fiona Burnell,
Corey Jones,
David Penneys
Abstract:
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local…
▽ More
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
The module embedding theorem via towers of algebras
Authors:
Desmond Coles,
Peter Huston,
David Penneys,
Srivatsa Srinivas
Abstract:
Jones and Penneys showed that a finite depth subfactor planar algebra embeds in the bipartite graph planar algebra of its principal graph, via a Markov towers of algebras approach. We relate several equivalent perspectives on the notion of module over a subfactor planar algebra, and show that a Markov tower is equivalent to a module over the Temperley-Lieb-Jones planar algebra. As a corollary, we…
▽ More
Jones and Penneys showed that a finite depth subfactor planar algebra embeds in the bipartite graph planar algebra of its principal graph, via a Markov towers of algebras approach. We relate several equivalent perspectives on the notion of module over a subfactor planar algebra, and show that a Markov tower is equivalent to a module over the Temperley-Lieb-Jones planar algebra. As a corollary, we obtain a classification of semisimple pivotal C* modules over Temperley-Lieb-Jones in terms of pointed graphs with a Frobenius-Perron vertex weighting. We then generalize the Markov towers of algebras approach to show that a finite depth subfactor planar algebra embeds in the bipartite graph planar algebra of the fusion graph of any of its cyclic modules.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
An experimental investigation of Neumann's conjecture
Authors:
Stephen Gilles,
Peter Huston
Abstract:
We use a large census of hyperbolic 3-manifolds to experimentally investigate a conjecture of Neumann regarding the Bloch Group. We present an augmented census including, for feasible invariant trace fields, explicit manifolds (associated to that field) that appear to generate the Bloch group of that field. We also make use of Ptolemy coordinates to compute "exotic volumes" of representations, and…
▽ More
We use a large census of hyperbolic 3-manifolds to experimentally investigate a conjecture of Neumann regarding the Bloch Group. We present an augmented census including, for feasible invariant trace fields, explicit manifolds (associated to that field) that appear to generate the Bloch group of that field. We also make use of Ptolemy coordinates to compute "exotic volumes" of representations, and attempt to realize these volumes as linear combinations of generator volumes. We thus present a large body of empirical support for Neumann's conjecture.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
