SciPost Submission Page
Dualities between 2+1d fusion surface models from braided fusion categories
by Luisa Eck
This is not the latest submitted version.
Submission summary
| Authors (as registered SciPost users): | Luisa Eck |
| Submission information | |
|---|---|
| Preprint Link: | https://arxiv.org/abs/2501.14722v2 (pdf) |
| Date submitted: | April 18, 2025, 6:08 p.m. |
| Submitted by: | Luisa Eck |
| Submitted to: | SciPost Physics |
| Ontological classification | |
|---|---|
| Academic field: | Physics |
| Specialties: |
|
| Approach: | Theoretical |
Abstract
Fusion surface models generalize the concept of anyon chains to 2+1 dimensions, utilizing fusion 2-categories as their input. We investigate bond-algebraic dualities in these systems and show that distinct module tensor categories $\mathcal{M}$ over the same braided fusion category $\mathcal{B}$ give rise to dual lattice models. This extends the 1+1d result that dualities in anyon chains are classified by module categories over fusion categories. We analyze two concrete examples: (i) a $\text{Rep}(S_3)$ model with a constrained Hilbert space, dual to the spin-$\tfrac{1}{2}$ XXZ model on the honeycomb lattice, and (ii) a bilayer Kitaev honeycomb model, dual to a spin-$\tfrac{1}{2}$ model with XXZ and Ising interactions. Unlike regular $\mathcal{M}=\mathcal{B}$ fusion surface models, which conserve only 1-form symmetries, models constructed from $\mathcal{M} \neq \mathcal{B}$ can exhibit both 1-form and 0-form symmetries, including non-invertible ones.
Author indications on fulfilling journal expectations
- Provide a novel and synergetic link between different research areas.
- Open a new pathway in an existing or a new research direction, with clear potential for multi-pronged follow-up work
- Detail a groundbreaking theoretical/experimental/computational discovery
- Present a breakthrough on a previously-identified and long-standing research stumbling block
Current status:
Reports on this Submission
Strengths
1- Clear exposition of relevant background material, accessible to non-experts 2- Explicit examples to showcase the general theory, supplemented with numerical results 3- Allows the systematic construction of lattice models exhibiting chiral topological order
Weaknesses
1- In principle, the results in this work follow from the established general theory for dualities of models with fusion 2-categorical symmetries, although making these general statements concrete is a non-trivial exercise.
Report
In some sense, these results are a straightforward generalization of the (1+1)d story, and in this sense they come as expected. Nevertheless, I think it is still a valuable addition to the literature as the (expected) theoretical results are applied to explicit models, which are then explored using numerical methods. In particular, the capability of this framework for producing chiral topologically ordered lattice Hamiltonians provides an interesting playground for benchmarking numerical methods such as PEPS, for which chiral topological phases pose particular difficulties.
For these reasons, I think this paper is suitable for publication in Scipost Physics. Below, I list a few questions and comments that maybe be helpful in further improving the manuscript.
Requested changes
1- In (1+1)d, the duality operators are labelled by module functors between the relevant module categories that define the dual models, and as a quantum circuit they are linear depth, compatible with the fact that they change the phase of the states on which they act. Can one say anything about the depth of the duality operators in the (2+1)d setting? Similarly, the action of the duality operators on the phase of a model (which I suppose in (2+1)d is labelled by a module 2-category) can be understood via composotion of module functors, does the same hold here?
2- Using these module tensor categories, can one construct the internal Hom to obtain a higher dimensional generalisation of a special symmetric Frobenius algebra? In (1+1)d, these special symmetric Frobenius algebras provide the RG fixed point Hamiltonians associated to the phase determined by the module category used to construct the internal Hom, and one can obtain phase transitions by interpolating between these fixed point Hamiltonians. The (2+1)d version of this could shed some light on the possible phase transitions in these models.
Recommendation
Publish (meets expectations and criteria for this Journal)
Strengths
The models studied constructed in this work seem interesting particularly owing to the possibility of chiral topological order.
Weaknesses
In fact, the full symmetry category even for the regular module category has not been discussed (see questions below).
Report
Requested changes
1. Could the discussion in Sec. 6 be expanded by deriving the symmetry structure on some simple dual models? It would be very useful to connect the abstract math discsussion in the section to concrete lattice realization of operators.
2. The models built from B as input should have the full 2-category Mod B as defects. This includes all condensations. How are these implemented on the Inamura Ohmori model (with a choice of M being the regular module category)?
3. Similar to the above question, the B based Inamura Ohmori model with M as regular module category potentially hosts invertible G symmetries that involve various data (action on anyons, symmetry fractionalization etc.) as described by Barkeshli et al . How do we realize symmetry operators in the Inamura Ohmori model with non-trivial fractionalization class and relatedly how does one gauge such symmetries by changing M?
4. In Sec. 4.2, similar to the Kitaev model, could one deform phase B to a chiral topological order by a time reversal breaking perturbation. Is there some intuition about what this topological order might be?
Recommendation
Ask for minor revision
Author: Luisa Eck on 2025-10-10 [id 5914]
(in reply to Report 1 on 2025-08-04)The comment author discloses that the following generative AI tools have been used in the preparation of this comment:
I used ChatGPT 5 for language polishing and organizational edits; all analyses and conclusions are my own.
I thank the reviewer for the constructive feedback and insightful questions. Regarding the requested changes:
- Thank you for the suggestion. I have expanded the two brief examples at the end of Section 6 into a dedicated subsection with two more examples, one based on $\mathcal{B}=\text{Rep}(S_3)$ and $M=\text{Vec}(\mathbb{Z}_3)$ and another one with $\mathcal{B}=su(3)_1$ and $\mathcal{M}=TY(\mathbb{Z}_3)$. In general, determining the symmetry fusion 2-category from $\mathcal{M}$ and $\mathcal{B}$ is a challenging mathematical task and outside the scope of this paper; the aim here is to present concrete 2+1D models that fit into this extended fusion surface model framework and are related by dualities.
- The condensation defects correspond to hexagonal nets whose edges are labeled by the algebra object; this is now stated explicitly in Eq. (31) and the preceding paragraph. Their action is computed by fusing the net into the 2+1D fusion tree and evaluating with the F- and R-symbols.
- Taking the braided fusion category $\mathcal{B}$ and the regular module category as input to the fusion surface model construction does not guarantee global 0-form symmetries (beyond those realized as condensation defects of 1-form symmetries), though they can exist accidentally or emerge at low energies. To build 0-form symmetries in from the start, one could instead choose a different $\mathcal{B}$-module category or begin with a fusion 2-category that is not connected. In particular, $G$ symmetry-enriched string-nets can be regarded as fusion surface models constructed from a $G$-graded fusion category regarded as a separable algebra over the fusion 2-category 2Vec$_G$, as explained in Section 5.3 in Inamura & Ohmori. The symmetry fractionalization class will be determined by the input data in this case. Gauging these models amounts to specifying a module 2-category of the input fusion 2-category, which has been explored in more detail in https://arxiv.org/pdf/2506.09177. I have clarified the connection to symmetry-enriched topological order in the Conclusions.
- In Section 4.2 I take $\mathcal{B}=\text{Rep}(S_3)$ with the symmetric braiding to realize the duality to the XXZ model. Since all braiding phases are real, the Hamiltonian and any perturbations compatible with the fusion surface construction are real and time-reversal invariant, so I do not expect chiral topological order. I have added this clarification to Section 4.2. In contrast, if one uses $\mathcal{B}=\text{Rep}(S_3)$ with a non-degenerate braiding, the complex R-symbols generally lead to a fusion surface Hamiltonian that breaks time reversal (analogous to the $\mathbb{Z}_3$ Kitaev honeycomb model), making it a candidate for chiral topological order. Because the underlying $\text{Rep}(S_3)$ anyon chain is described by the c=1 free boson orbifold CFT at criticality, I would then expect chiral edge modes with $c=1$; a definite identification would require numerical simulations.

Author: Luisa Eck on 2025-10-10 [id 5915]
(in reply to Report 2 on 2025-09-16)The comment author discloses that the following generative AI tools have been used in the preparation of this comment:
I used ChatGPT 5 for language polishing and organizational edits only; all analyses and conclusions are my own.
I thank the reviewer for their thoughtful questions.