An official website of the United States government
A<sc>bstract</sc> Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized symmetries in two-dimensional QFT. Such symmetries are described by topological defect lines (TDLs) which obey fusion rules that are non-invertible in general. Despite this seemingly exotic feature, all well-known properties in gauging invertible symmetries carry over to this general setting, which greatly enhances both the scope and the power of gauging. This is established by formulating generalized gauging in terms of topological interfaces between QFTs, which explains the physical picture for the mathematical concept of algebra objects and associated module categories over fusion categories that encapsulate the algebraic properties of generalized symmetries and their gaugings. This perspective also provides simple physical derivations of well-known mathematical theorems in category theory from basic axiomatic properties of QFT in the presence of such interfaces. We discuss a bootstrap-type analysis to classify such topological interfaces and thus the possible generalized gaugings and demonstrate the procedure in concrete examples of fusion categories. Moreover we present a number of examples to illustrate generalized gauging and its properties in concrete conformal field theories (CFTs). In particular, we identify the generalized orbifold groupoid that captures the structure of fusion between topological interfaces (equivalently sequential gaugings) as well as a plethora of new self-dualities in CFTs under generalized gaugings.
more »
« less
This content will become publicly available on October 15, 2026
Noninvertible symmetries in the B model TFT
In this paper we explore noninvertible symmetries in general (not necessarily rational) SCFTs and their topological B-twists for Calabi-Yau manifolds. We begin with a detailed overview of defects in the topological B model. For trivial reasons, all defects in the topological B model are topological operators, and define (often noninvertible) symmetries of that topological field theory, but only a subset remain topological in the physical (i.e., untwisted) theory. For a generic target space Calabi-Yau X, we discuss geometric realizations of those defects, as simultaneously A- and B-twistable complex Lagrangian and complex coisotropic branes on X ×X, and discuss their fusion products. To be clear, the possible noninvertible symmetries in the B model are more general than can be described with fusion categories. That said, we do describe realizations of some Tambara-Yamagami categories in the B model for an elliptic curve target, and also argue that elliptic curves can not admit Fibonacci or Haagerup structures. We also discuss how decomposition is realized in this language.
more »
« less
- Award ID(s):
- 2152088
- PAR ID:
- 10644510
- Publisher / Repository:
- Elsevier
- Date Published:
- Journal Name:
- Journal of Geometry and Physics
- ISSN:
- 0393-0440
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We introduce a definition and framework for internal topological symmetries in quantum field theory, including “noninvertible symmetries” and “categorical symmetries”. We outline a calculus of topological defects which takes advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other symmetries. We treat quotients and quotient defects (often called “gauging” and “condensation defects”), finite electromagnetic duality, and duality defects, among other topics. We include an appendix on finite homotopy theories, which are often used to encode finite symmetries and for which computations can be carried out using methods of algebraic topology. Throughout we emphasize exposition and examples over a detailed technical treatment.more » « less
-
Generalized global symmetries, in particular non-invertible and categorical symmetries, have become a focal point in the recent study of quantum field theory (QFT). In this paper, we investigate aspects of symmetry topological field theories (SymTFTs) and anomalies of non-invertible symmetries for 2D QFTs from a string theory perspective. Our primary focus is on an infinite class of 2D QFTs engineered on D1-branes probing toric Calabi-Yau 4-fold singularities. We derive 3D SymTFTs from the topological sector of IIB supergravity and discuss the resulting 2D QFTs, which can be intrinsically relative or absolute. For intrinsically relative QFTs, we propose a sufficient condition for them to exist. For absolute QFTs, we show that they exhibit non-invertible symmetries with an elegant brane origin. Furthermore, we find that these non-invertible symmetries can suffer from anomalies, which we discuss from a top-down perspective. Explicit examples are provided, including theories for including theories for Y(p,k)(ℙ2), Y(2,0)(ℙ1×ℙ1), and ℂ4/ℤ4 geometries.more » « less
-
null (Ed.)We study the existence of special Lagrangian submanifolds of log Calabi–Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian and Yau. We prove that if X is a Tian–Yau manifold and if the compact Calabi–Yau manifold at infinity admits a single special Lagrangian, then X admits infinitely many disjoint special Lagrangians. In complex dimension 2, we prove that if Y is a del Pezzo surface or a rational elliptic surface and D is a smooth divisor in the linear system of K_Y with D^2=d, then X=Y/D admits a special Lagrangian torus fibration, as conjectured by Strominger–Yau–Zaslow and Auroux. In fact, we show that X admits twin special Lagrangian fibrations, confirming a prediction of Leung and Yau. In the special case that Y is a rational elliptic surface or Y=P^2, we identify the singular fibers for generic data, thereby confirming two conjectures of Auroux. Finally, we prove that after a hyper-Kähler rotation, X can be compactified to the complement of a Kodaira type I_d fiber appearing as a singular fiber in a rational elliptic surface.more » « less
-
A<sc>bstract</sc> In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions, extending our previous work. Specifically, in this work we discuss more general gauged noninvertible symmetries in which the noninvertible symmetry is not multiplicity free, and discuss the case of Rep(A4) in detail. We realize Rep(A4) gaugings for thec= 1 CFT at the exceptional point in the moduli space and find new self-duality under gauging a certain non-group algebra object, leading to a larger noninvertible symmetry Rep(SL(2, ℤ3)). We also discuss more general examples of decomposition in two-dimensional gauge theories with trivially-acting gauged noninvertible symmetries.more » « less
