Abstract:We propose the representation principle to study physical systems with a given symmetry. In the context of symmetry enriched topological orders, we give the appropriate representation category, the category of SET orders, which include SPT orders and symmetry breaking orders as special cases. For fusion n-category symmetries, we show that the category of SET orders encodes almost all information about the interplay between symmetry and topological orders, in a natural and canonical way. These information include defects and boundaries of SET orders, symmetry charges, explicit and spontaneous symmetry breaking, stacking of SET orders, gauging of generalized symmetry, as well as quantum currents (SymTFT or symmetry TO). We also provide a detailed categorical algorithm to compute the generalized gauging. In particular, we proved that gauging is always reversible, as a special type of Morita-equivalence. The explicit data for ungauging, the inverse to gauging, is given.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study physical systems with given symmetries and proposes a representation principle to describe these systems. Specifically, the authors focus on the study of Symmetry Enriched Topological (SET) order. They propose an appropriate representation category, namely the category of SET order, which includes Symmetry Protected Trivial orders (SPT orders) and symmetry - breaking order as special cases.
### Main contributions
1. **Representation principle**:
- A simple representation principle is proposed, that is, physical systems with given symmetries form a representation category.
- This principle is widely accepted in the study of the symmetries of mathematical structures, but only partial results are often obtained in physical applications. The authors point out that this is mainly due to the incompleteness of the representation category.
2. **Category of SET order**:
- For topologically ordered phases with finite generalized symmetries, an appropriate representation category is proposed.
- It is proved that this representation category contains almost all information about the interaction between symmetry and topological order, including defects and boundaries, symmetric charges, explicit and spontaneous symmetry breaking, stacking of SET orders, gauge transformation of generalized symmetries, and quantum fluxes (SymTFT or symmetric TO).
3. **Gauge transformation algorithm**:
- A detailed categorical algorithm for calculating generalized gauge transformations is provided.
- It is proved that gauge transformations are always invertible and are a special type of Morita equivalence.
- Specific data for the inverse process of gauge transformation (i.e., un - gauging) are given.
### Mathematical tools
- **Higher - order linear algebra**:
- Higher - order linear algebra is used to deal with "finite - dimensional" higher - order vector spaces, that is, Karoubi - complete (or condensed - complete) higher - order linear categories, which are dualizable.
- The concepts of Karoubi - completion or condensation - completion are introduced, which are completions for all topological observables.
- **Category theory**:
- Concepts and techniques in category theory, such as relative tensor product, relative center, etc., are used to deal with problems in higher - order categories.
### Physical background
- **Analogy between Newtonian mechanics and SET order**:
- Force and mass in Newtonian mechanics are analogized to symmetry and topological order in SET order, respectively, and acceleration is analogized to the category of SET order.
- The importance of the representation principle in the study of SET order is emphasized.
### Conclusion
By introducing the representation principle and an appropriate representation category, this paper provides a comprehensive framework for studying Symmetry Enriched Topological order. This framework not only covers SPT order and symmetry - breaking order, but also provides a detailed algorithm for gauge transformation and proves the invertibility of gauge transformation. These results provide new perspectives and tools for understanding the interaction between symmetry and topological order.