physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
Traditionally, a global symmetry is defined as invariance (e.g. of a physical system) under a group action. This definition is well-suited for physical systems such as in classical mechanics, where symmetries appear as symplectomorphisms leaving a Hamiltonian invariant.
However, many systems of interest depart, or generalize, from this setting in two different ways: as a classical field theory, or as a quantum system (or as both, as a quantum field theory). A natural question to ask is what happens to the mathematical objects realizing the notion of symmetry when these generalizations are considered. The former case leads to the vertical categorification of groups to $n$-groups, as observed in higher prequantum geometry. The latter case leads to a ring (or algebra) structure. The concept of generalized global symmetries is thought to be the appropriate notion of symmetry when both of these generalizations take place at the same time.
The terminology generalized global symmetry for such a situation is due to Gaiotto, Kapustin, Seiberg & Willett (2014). As described therein (at a very in-formal level) classical symmetries (described by a group) that survive the quantization process are thought to become “operators” that can be “inserted” (namely into the integrand of a path integral, though this step and its details are left implicit) along submanifolds (of spacetime) of non-negative codimension. These operators are supposed to be “topological”, in the sense that they should only depend on the homology class of said submanifold. GKSW14 propose to regard any quantum operator with the topological property as a symmetry of the quantum system even if they do not have inverses. It is in this sense that the concept of symmetry is regarded as being generalized.
As emphasized by Freed, Hopkins, Teleman & Lurie (2009), and again in Freed, Moore & Teleman (2022), such phenomena should be controlled by higher algebra. Of course this is not quite a new observation, ideas broadly in this direction date back to Roberts (1979). Concretly, “non-invertible symmetry insertions” are at least close to what elsewhere has long been known as defects in QFT which have routinely been described via higher categorical algebra, cf. Fuchs, Runkel & Schweigert (2004); Fröhlich, Fuchs, Runkel & Schweigert (2007); Lurie (2009) §4.3; Davydov, Runkel & Kong (2011); Fuchs, Schweigert & Valentino (2013). The terms “defects” and “topological operator insertions” are actually often used interchangeably in the Physics literature. Indeed, many of the techniques used to deal with these generalized symmetries come from the literature on defects. A notable example is the gauging procedure of defects in two-dimensional QFT as originally described in Fuchs, Runkel & Schweigert (2002), and directly recasted in the language of generalized symmetries in e.g. Bhardwaj and Tachikawa (2017).
The upshot is that just as groups correctly describe the symmetries of classical mechanics, higher algebra is thought to describe the “generalized global symmetries” of a quantum field theory.
In this sense, the concept may be better understood as higher quantum symmetries (even though the name “quantum symmetries” is already used in the Physics literature for a “dual” symmetry that arises after gauging a symmetry, originating in Vafa (1989)).
A significant part of the current Physics literature on the topic restricts to the study of finite generalized symmetries, thus avoiding questions regarding the smoothness of the corresponding higher algebra (in contrast with the situation of higher groups, by which one really means a smooth infinity-groupoid). In such a case, the concrete mathematical objects of study are bare fusion category (and their vertical categorifications as in e.g. Decoppet and Yu (2023)). These fusion categories are argued to contain information about the quantum operators and their fusion rules but also about any present 't Hooft anomaly, all (somehow) encoded in the topological quantum field theory defined through the Turaev-Viro model and their would-be higher generalizations. Unfortunately, not only these expectations but even fundamental questions such as precisely how a smooth higher algebra acts on a quantum field theory (beyond the slogan of a symmetry operator inserted on a codimension $d$ submanifold acts on quantum operators supported on dimension $d-1$ submanifolds) are still not fully understood. An accurate description of such an action of a smooth higher algebra should in particular describe how the group action of the quantomorphism group on the prequantum circle n-bundle becomes this after motivic quantization. In this picture, the action of a higher group makes sense since the prequantum n-bundle also has a higher structure. In this sense, the action of a higher algebra should be defined on an object which has both a higher and a linear structure. This is the case for higher vector bundles such as 2-vector bundles or, in much greater generality, an n-vector bundle over some E-∞ ring.
In Freed, Moore and Teleman (2022), the authors describe a proposal to make mathematical sense of the heuristics of generalized symmetries. The approach is based on the presentation of Quantum Field Theory as extended functorial field theory, and relies on the idea that any QFT $T$ defines a topological field theory $Sym(T)$ defined by the generalized symmetries of $T$, called the Symmetry TFT and that, in turn, $T$ can be recovered from $Sym(T)$ via manipulations on its boundary.
The main concept is that of a quiche, which is a pair $(\sigma,\rho)$ where $\sigma$ is a fully extended $(n+1)$-dimensional TFT, and $\rho$ is a $\sigma$-“module” (where the concept of module is defined only in analogy with a domain wall between TFT’s). Then the statement that an $n$-dimensional QFT $T$ has $\sigma=Sym(T)$ as its symmetry theory consists of another pair $(\tilde{T},\theta)$ where $\tilde{T}$ is a $\sigma$-module and $\theta$ is an “isomorphism”
where $\rho\otimes_{\sigma}\tilde{T}$ is schematically understood as placing $\sigma$ on a spacetime $X^n\times [0,1]$ with $\rho$ on one end and $\tilde{T}$ on the other, such that collapsing the slab gives $T$ on $X^n$.
Some remarks about this proposal are in order. First, the kind of symmetries that are usually dealt with here are of finite character (related to a homotopy type with finite homotopy groups as explained in Appendix A). This allows to avoid discussions regarding smoothness of categories. However, as highlighted in (Kang & Kang (2023)), overlooking this fact has led to some inaccurate conclusions obtained from applying techniques that in reality are valid only in the discrete setting but not in the smooth setting. Work aiming towards addressing this issue is in (Gripaios, Randal-Williams, and Tooby-Smith (2023)). Second, some statements (which are not necessarily minor points) are still only schematic. This includes the isomorphism $\theta$ mentioned. This is partly due to the following assertion: “Recall that the cobordism hypothesis enables a calculus of such functors (FTFT’s) in terms of duality data inside the codomain category C. Turning to nontopological theories, a similar calculus is not in place and is a subject of wide interest.“ (FMT22, p. 10). In particular, the work of Grady and Pavlov (2021) on the geometric cobordism hypothesis has clear relevance to these two remarks.
Early discussion of “generalized global symmetries” under the name of defects, in 2d conformal field theory (via the FRS theorem on rational 2d CFT):
Jürgen Fuchs, Ingo Runkel, Christoph Schweigert, TFT construction of RCFT correlators I: Partition functions, Nucl. Phys. B 646 (2002) 353-497 [arXiv:hep-th/0204148, doi:10.1016/S0550-3213(02)00744-7]
Jürg Fröhlich, Jürgen Fuchs, Ingo Runkel, Christoph Schweigert, Kramers-Wannier duality from conformal defects, Phys. Rev. Lett. 93 (2004) 070601 [doi:10.1103/PhysRevLett.93.070601, arXiv:cond-mat/0404051]
Jürg Fröhlich, Jürgen Fuchs, Ingo Runkel, Christoph Schweigert, Duality and defects in rational conformal field theory, Nucl. Phys. B 763 (2007) 354-430 [arXiv:hep-th/0607247, doi:10.1016/j.nuclphysb.2006.11.017]
The terminology “categorical (symmetry)-groups” for 2-groups goes back to the origin of the subject in
Early appearance of the terminology “categorified symmetries” is in:
The terminology of generalized global symmetries is due to:
Survey of the “field”:
Further suggestion for mathematical formalization of what GKSW14 had in mind (purely at the quantum level, with caveats):
rooted in
See also:
Cumrun Vafa, Quantum Symmetries of String Vacua (1989) [doi:10.1142/S0217732389001842]
Lakshya Bhardwaj, Yuji Tachikawa. On finite symmetries and their gauging in two dimensions, J. High Energ. Phys. 2018 189 (2018) [arXiv:1704.02330, doi:10.1007/JHEP03(2018)189]
Daniel Grady, Dmitri Pavlov, The geometric cobordism hypothesis [arXiv:2111.01095]
Pavel Putrov, Juven Wang, Categorical Symmetry of the Standard Model from Gravitational Anomaly [arXiv:2302.14862]
Masaki Okada, Yuji Tachikawa. Non-invertible symmetries act locally by quantum operations (2024). (arXiv:2403.20062).
In the context of fusion 2-categories:
Thibault Decoppet, Matthew Yu, Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories (2023) [arXiv:2306.08117]
Wenjie Xi, Tian Lan, Longye Wang, Chenjie Wang, Wei-Qiang Chen, On a class of fusion 2-category symmetry: condensation completion of braided fusion category [arXiv:2312.15947]
In the context of factorization algebras, see
in particular Section 6 therein.
Work in the direction of smooth generalized symmetries:
Notes on a more proper treatment of smooth 2-groups in the present context is in:
On the extension of this notion to fermionic symmetries see e.g.
Further activity:
Last revised on May 5, 2024 at 19:19:45. See the history of this page for a list of all contributions to it.