SciPost Submission Page
Fusion Surface Models: 2+1d Lattice Models from Fusion 2-Categories
by Kansei Inamura, Kantaro Ohmori
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users): | Kansei Inamura · Kantaro Ohmori |
Submission information | |
---|---|
Preprint Link: | scipost_202402_00032v1 (pdf) |
Date accepted: | 2024-05-07 |
Date submitted: | 2024-02-22 07:08 |
Submitted by: | Inamura, Kansei |
Submitted to: | SciPost Physics Core |
Ontological classification | |
---|---|
Academic field: | Physics |
Specialties: |
|
Approach: | Theoretical |
Abstract
We construct (2+1)-dimensional lattice systems, which we call fusion surface models. These models have finite non-invertible symmetries described by general fusion 2-categories. Our method can be applied to build microscopic models with, for example, anomalous or non-anomalous one-form symmetries, 2-group symmetries, or non-invertible one-form symmetries that capture non-abelian anyon statistics. The construction of these models generalizes the construction of the 1+1d anyon chains formalized by Aasen, Fendley, and Mong. Along with the fusion surface models, we also obtain the corresponding three-dimensional classical statistical models, which are 3d analogues of the 2d Aasen-Fendley-Mong height models. In the construction, the "symmetry TFTs" for fusion 2-category symmetries play an important role.
List of changes
Please see the replies below for a detailed list of changes.
Published as SciPost Phys. 16, 143 (2024)
Reports on this Submission
Report #1 by Anonymous (Referee 4) on 2024-3-3 (Invited Report)
- Cite as: Anonymous, Report on arXiv:scipost_202402_00032v1, delivered 2024-03-03, doi: 10.21468/SciPost.Report.8652
Report
Regarding item 6 of Report 1, it is not true in general that a "Δ-separable Frobenius algebra in a pivotal fusion category is automatically symmetric". For example, the cited reference by Fuchs-Runkel-Schweigert proves symmetry under the additional assumptions "sovereign" and "haploid". The symmetry condition can be thought of as a compatibility condition between the ambient structure of and on adjoints (here: pivotality) and the underlying condensation monad. Such compatibilities also appear in higher dimensions and constitute the main difference between condensation monads and orbifold data.