nLab generalized global symmetry

Redirected from "higher form symmetry".

Contents

Context

Physics

Idea
Freed-Moore-Teleman quiche
Related concepts
References

Idea

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) and Bhardwaj et al. 2024 based on Johnson-Freyd 2020). 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.

Freed-Moore-Teleman quiche

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”

\theta: \rho\otimes_{\sigma}\tilde{T} \cong T

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.

Related concepts

References

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

Alexandru Solian, Coherence in categorical groups, Communications in Algebra 9 10 (1980) 1039-1057 [doi:10.1080/00927878108822631]

Early appearance of the terminology “categorified symmetries” is in:

Urs Schreiber, Zoran Škoda, Categorified symmetries, 5th Summer School of Modern Mathematical Physics, SFIN XXII Series A1 (2009) 397-424 [arXiv:1004.2472, inspire:851901]

The terminology of generalized global symmetries is due to:

Davide Gaiotto, Anton Kapustin, Nathan Seiberg, Brian Willett, Generalized Global Symmetries J. High Energ. Phys. 2015 172 (2015) [arXiv:1412.5148, doi:10.1007/JHEP02(2015)172]

Survey of the “field”:

Clay Cordova, Thomas T. Dumitrescu, Kenneth Intriligator, Shu-Heng Shao, Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond [arXiv:2205.09545]

Further suggestion for mathematical formalization of what GKSW14 had in mind (purely at the quantum level, with caveats):

Daniel Freed, Gregory Moore, Constantin Teleman, Topological symmetry in quantum field theory (2022) [arXiv:2209.07471]

rooted in

Daniel Freed, Mike Hopkins, Constantin Teleman, Jacob Lurie, Topological Quantum Field Theories from Compact Lie Groups, in: A celebration of the mathematical legacy of Raoul Bott, AMS (2010) [arXiv:0905.0731, ISBN:978-0-8218-4777-0]

Gauging of generalized global symmetries of TQFTs:

Nils Carqueville, Ingo Runkel, Gregor Schaumann, Orbifolds of $n$ -dimensional defect TQFTs, Geom. Topol. 23 (2019) 781-864 lbrack;arXiv:1705.06085, doi:10.2140/gt.2019.23.781]
Nils Carqueville, Ingo Runkel, Orbifold completion of defect bicategories, (arXiv:1210.6363)
Nils Carqueville, Orbifolds of topological quantum field theories, in: Encyclopedia of Mathematical Physics 2nd ed [arXiv:2307.16674]