Contributor info: Prof. Sakura Schäfer-Nameki

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.