Contributor info: Prof. Sakura Schäfer-Nameki

Lakshya Bhardwaj, Sakura Schäfer-Nameki

SciPost Phys. 16, 093 (2024) · published 4 April 2024 | Toggle abstract · pdf

$q$-charges describe the possible actions of a generalized symmetry on $q$-dimensional operators. In Part I of this series of papers, we describe $q$-charges for invertible symmetries; while the discussion of $q$-charges for non-invertible symmetries is the topic of Part II. We argue that $q$-charges of a standard global symmetry, also known as a 0-form symmetry, correspond to the so-called $(q+1)$-representations of the 0-form symmetry group, which are natural higher-categorical generalizations of the standard notion of representations of a group. This generalizes already our understanding of possible charges under a 0-form symmetry! Just like local operators form representations of the 0-form symmetry group, higher-dimensional extended operators form higher-representations. This statement has a straightforward generalization to other invertible symmetries: $q$-charges of higher-form and higher-group symmetries are $(q+1)$-representations of the corresponding higher-groups. There is a natural extension to higher-charges of non-genuine operators (i.e. operators that are attached to higher-dimensional operators), which will be shown to be intertwiners of higher-representations. This brings into play the higher-categorical structure of higher-representations. We also discuss higher-charges of twisted sector operators (i.e. operators that appear at the boundary of topological operators of one dimension higher), including operators that appear at the boundary of condensation defects.

Lakshya Bhardwaj, Mathew Bullimore, Andrea E. V. Ferrari, Sakura Schäfer-Nameki

SciPost Phys. 16, 087 (2024) · published 26 March 2024 | Toggle abstract · pdf

We propose the general idea that 't Hooft anomalies of generalized global symmetries can be understood in terms of the properties of solitonic defects, which generically are non-topological defects. The defining property of such defects is that they act as sources for background fields of generalized symmetries. 't Hooft anomalies arise when solitonic defects are charged under these generalized symmetries. We illustrate this idea for several kinds of anomalies in various spacetime dimensions. A systematic exploration is performed in 3d for 0-form, 1-form, and 2-group symmetries, whose 't Hooft anomalies are related to two special types of solitonic defects, namely vortex line defects and monopole operators. This analysis is supplemented with detailed computations of such anomalies in a large class of 3d gauge theories. Central to this computation is the determination of the gauge and 0-form charges of a variety of monopole operators: these involve standard gauge monopole operators, but also fractional gauge monopole operators, as well as monopole operators for 0-form symmetries. The charges of these monopole operators mainly receive contributions from Chern-Simons terms and fermions in the matter content. Along the way, we interpret the vanishing of the global gauge and ABJ anomalies, which are anomalies not captured by local anomaly polynomials, as the requirement that gauge monopole operators and mixed monopole operators for 0-form and gauge symmetries have non-fractional integer charges.

Lakshya Bhardwaj, Mathew Bullimore, Andrea E. V. Ferrari, Sakura Schäfer-Nameki

SciPost Phys. 16, 080 (2024) · published 20 March 2024 | Toggle abstract · pdf

We study generalized global symmetries and their 't Hooft anomalies in 3d $\mathcal{N}=4$ superconformal field theories (SCFTs). Following some general considerations, we focus on good quiver gauge theories, comprised of balanced unitary nodes and unbalanced unitary and special unitary nodes. While the global form of the Higgs branch symmetry group may be determined from the UV Lagrangian, the global form of Coulomb branch symmetry groups and associated mixed 't Hooft anomalies are more subtle due to potential symmetry enhancement in the IR. We describe how Coulomb branch symmetry groups and their mixed 't Hooft anomalies can be deduced from the UV Lagrangian by studying center charges of various types of monopole operators, providing a concrete and unambiguous way to implement 't Hooft anomaly matching. The final expression for the symmetry group and 't Hooft anomalies has a concise form that can be easily read off from the quiver data, specifically from the positions of the unbalanced and flavor nodes with respect to the positions of the balanced nodes. We provide consistency checks by applying our method to compute symmetry groups of 3d $\mathcal{N}=4$ theories corresponding to magnetic quivers of 4d Class S theories and 5d SCFTs. We are able to match these results against the flavor symmetry groups of the 4d and 5d theories computed using independent methods. Another strong consistency check is provided by comparing symmetry groups and anomalies of two theories related by 3d mirror symmetry.

Lakshya Bhardwaj, Lea E. Bottini, Sakura Schäfer-Nameki, Apoorv Tiwari

SciPost Phys. 15, 160 (2023) · published 13 October 2023 | Toggle abstract · pdf

Non-invertible symmetries have by now seen numerous constructions in higher dimensional Quantum Field Theories (QFT). In this paper we provide an in depth study of gauging 0-form symmetries in the presence of non-invertible symmetries. The starting point of our analysis is a theory with $G$ 0-form symmetry, and we propose a description of sequential partial gaugings of sub-symmetries. The gauging implements the theta-symmetry defects of the companion paper [SciPost Phys. 15, 122 (2023)]. The resulting network of symmetry structures related by this gauging will be called a non-invertible symmetry web. Our formulation makes direct contact with fusion 2-categories, and we uncover numerous interesting structures such as symmetry fractionalization in this categorical setting. The complete symmetry web is derived for several groups $G$, and we propose extensions to higher dimensions. The highlight of this analysis is the complete categorical symmetry web, including non-invertible symmetries, for 3d pure gauge theories with orthogonal gauge groups and its extension to arbitrary dimensions.

Lakshya Bhardwaj, Sakura Schäfer-Nameki, Apoorv Tiwari

SciPost Phys. 15, 122 (2023) · published 28 September 2023 | Toggle abstract · pdf

In the past year several constructions of non-invertible symmetries in Quantum Field Theory in $d≥3$ have appeared. In this paper we provide a unified perspective on these constructions. Central to this framework are so-called theta defects, which generalize the notion of theta-angles, and allow the construction of universal and non-universal topological symmetry defects. We complement this physical analysis by proposing a mathematical framework (based on higher-fusion categories) that converts the physical construction of non-invertible symmetries into a concrete computational scheme.

Lakshya Bhardwaj, Lea E. Bottini, Sakura Schäfer-Nameki, Apoorv Tiwari

SciPost Phys. 14, 007 (2023) · published 26 January 2023 | Toggle abstract · pdf

We sketch a procedure to capture general non-invertible symmetries of a $d$-dimensional quantum field theory in the data of a higher-category, which captures the local properties of topological defects associated to the symmetries. We also discuss fusions of topological defects, which involve condensations/gaugings of higher-categorical symmetries localized on the worldvolumes of topological defects. Recently some fusions of topological defects were discussed in the literature where the dimension of topological defects seems to jump under fusion. This is not possible in the standard description of higher-categories. We explain that the dimension-changing fusions are understood as higher-morphisms of the higher-category describing the symmetry. We also discuss how a 0-form sub-symmetry of a higher-categorical symmetry can be gauged and describe the higher-categorical symmetry of the theory obtained after gauging. This provides a procedure for constructing non-invertible higher-categorical symmetries starting from invertible higher-form or higher-group symmetries and gauging a 0-form symmetry. We illustrate this procedure by constructing non-invertible 2-categorical symmetries in 4d gauge theories and non-invertible 3-categorical symmetries in 5d and 6d theories. We check some of the results obtained using our approach against the results obtained using a recently proposed approach based on 't Hooft anomalies.

Michele Del Zotto, Iñaki García Etxebarria, Sakura Schäfer-Nameki

SciPost Phys. 13, 105 (2022) · published 8 November 2022 | Toggle abstract · pdf

Quantum Field Theories engineered in M-theory can have 2-group symmetries, mixing 0-form and 1-form symmetry backgrounds in non-trivial ways. In this paper we develop methods for determining the 2-group structure from the boundary geometry of the M-theory background. We illustrate these methods in the case of 5d theories arising from M-theory on ordinary and generalised toric Calabi-Yau cones, including cases in which the resulting theory is non-Lagrangian. Our results confirm and elucidate previous results on 2-groups from geometric engineering.

Lakshya Bhardwaj, Simone Giacomelli, Max Hübner, Sakura Schäfer-Nameki

SciPost Phys. 13, 101 (2022) · published 26 October 2022 | Toggle abstract · pdf

A relative theory is a boundary condition of a higher-dimensional topological quantum field theory (TQFT), and carries a non-trivial defect group formed by mutually non-local defects living in the relative theory. Prime examples are $6d$ $\mathcal{N}=(2,0)$ theories that are boundary conditions of $7d$ TQFTs, with the defect group arising from surface defects. In this paper, we study codimension-two defects in $6d$ $\mathcal{N}=(2,0)$ theories, and find that the line defects living inside these codimension-two defects are mutually non-local and hence also form a defect group. Thus, codimension-two defects in a $6d$ $\mathcal{N}=(2,0)$ theory are relative defects living inside a relative theory. These relative defects provide boundary conditions for topological defects of the $7d$ bulk TQFT. A codimension-two defect carrying a non-trivial defect group acts as an irregular puncture when used in the construction of $4d$ $\mathcal{N}=2$ Class S theories. The defect group associated to such an irregular puncture provides extra "trapped" contributions to the 1-form symmetries of the resulting Class S theories. We determine the defect groups associated to large classes of both conformal and non-conformal irregular punctures. Along the way, we discover many new classes of irregular punctures. A key role in the analysis of defect groups is played by two different geometric descriptions of the punctures in Type IIB string theory: one provided by isolated hypersurface singularities in Calabi-Yau threefolds, and the other provided by ALE fibrations with monodromies.

Max Hübner, David R. Morrison, Sakura Schäfer-Nameki, Yi-Nan Wang

SciPost Phys. 13, 030 (2022) · published 19 August 2022 | Toggle abstract · pdf

We realize higher-form symmetries in F-theory compactifications on non-compact elliptically fibered Calabi-Yau manifolds. Central to this endeavour is the topology of the boundary of the non-compact elliptic fibration, as well as the explicit construction of relative 2-cycles in terms of Lefschetz thimbles. We apply the analysis to a variety of elliptic fibrations, including geometries where the discriminant of the elliptic fibration intersects the boundary. We provide a concrete realization of the 1-form symmetry group by constructing the associated charged line operator from the elliptic fibration. As an application we compute the symmetry topological field theories in the case of elliptic three-folds, which correspond to mixed anomalies in 5d and 6d theories.

Fabio Apruzzi, Sakura Schäfer-Nameki, Lakshya Bhardwaj, Jihwan Oh

SciPost Phys. 13, 024 (2022) · published 17 August 2022 | Toggle abstract · pdf

2-group symmetries arise when 1-form symmetries and 0-form symmetries of a theory mix with each other under group multiplication. We discover the existence of 2-group symmetries in 5d N=1 abelian gauge theories arising on the (non-extended) Coulomb branch of 5d superconformal field theories (SCFTs), leading us to argue that the UV 5d SCFT itself admits a 2-group symmetry. Furthermore, our analysis determines the global forms of the 0-form flavor symmetry groups of 5d SCFTs, irrespective of whether or not the 5d SCFT admits a 1-form symmetry. As a concrete application of our method, we analyze 2-group symmetries of all 5d SCFTs, which reduce in the IR, after performing mass deformations, to 5d N=1 non-abelian gauge theories with simple, simply connected gauge groups. For rank-1 Seiberg theories, we check that our predictions for the flavor symmetry groups match with the superconformal and ray indices available in the literature. We also comment on the mixed 't Hooft anomaly between 1-form and 0-form symmetries arising in 5d N=1 non-abelian gauge theories and its relation to the 2-groups.

Fabio Apruzzi, Lakshya Bhardwaj, Dewi S. W. Gould, Sakura Schäfer-Nameki

SciPost Phys. 12, 098 (2022) · published 18 March 2022 | Toggle abstract · pdf

We uncover 2-group symmetries in 6d superconformal field theories. These symmetries arise when the discrete 1-form symmetry and continuous flavor symmetry group of a theory mix with each other. We classify all 6d superconformal field theories with such 2-group symmetries. The approach taken in 6d is applicable more generally, with minor modifications to include dimension specific operators (such as instantons in 5d and monopoles in 3d), and we provide a discussion of the dimension-independent aspects of the analysis. We include an ancillary mathematica code for computing 2-group symmetries, once the dimension specific input is provided. We also discuss a mixed 't Hooft anomaly between discrete 0-form and 1-form symmetries in 6d.

Lakshya Bhardwaj, Max Hübner, Sakura Schäfer-Nameki

SciPost Phys. 12, 040 (2022) · published 26 January 2022 | Toggle abstract · pdf

We study confinement in 4d N=1 theories obtained by deforming 4d N=2 theories of Class S. We argue that confinement in a vacuum of the N=1 theory is encoded in the 1-cycles of the associated N=1 curve. This curve is the spectral cover associated to a generalized Hitchin system describing the profiles of two Higgs fields over the Riemann surface upon which the 6d (2,0) theory is compactified. Using our method, we reproduce the expected properties of confinement in various classic examples, such as 4d N=1 pure Super-Yang-Mills theory and the Cachazo-Seiberg-Witten setup. More generally, this work can be viewed as providing tools for probing confinement in non-Lagrangian N=1 theories, which we illustrate by constructing an infinite class of non-Lagrangian N=1 theories that contain confining vacua. The simplest model in this class is an N=1 deformation of the N=2 theory obtained by gauging $SU(3)^3$ flavor symmetry of the $E_6$ Minahan-Nemeschansky theory.

Lakshya Bhardwaj, Max Hübner, Sakura Schäfer-Nameki

SciPost Phys. 11, 096 (2021) · published 24 November 2021 | Toggle abstract · pdf

We determine the 1-form symmetry group for any 4d N = 2 class S theory constructed by compactifying a 6d N=(2,0) SCFT on a Riemann surface with arbitrary regular untwisted and twisted punctures. The 6d theory has a group of mutually non-local dimension-2 surface operators, modulo screening. Compactifying these surface operators leads to a group of mutually non-local line operators in 4d, modulo screening and flavor charges. Complete specification of a 4d theory arising from such a compactification requires a choice of a maximal subgroup of mutually local line operators, and the 1-form symmetry group of the chosen 4d theory is identified as the Pontryagin dual of this maximal subgroup. We also comment on how to generalize our results to compactifications involving irregular punctures. Finally, to complement the analysis from 6d, we derive the 1-form symmetry from a Type IIB realization of class S theories.

Marieke van Beest, Sebastjan Cizel, Sakura Schäfer-Nameki, James Sparks

SciPost Phys. 9, 029 (2020) · published 1 September 2020 | Toggle abstract · pdf

We study the holographic dual to $c$-extremization for 2d $(0,2)$ superconformal field theories (SCFTs) that have an AdS$_3$ dual realized in Type IIB with varying axio-dilaton, i.e. F-theory. M/F-duality implies that such AdS$_3$ solutions can be mapped to AdS$_2$ solutions in M-theory, which are holographically dual to superconformal quantum mechanics (SCQM), obtained by dimensional reduction of the 2d SCFTs. We analyze the corresponding map between holographic $c$-extremization in F-theory and $\mathcal{I}$-extremization in M-theory, where in general the latter receives corrections relative to the F-theory result.