Abstract: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 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 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 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 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.

Codimension-two Defects and Argyres-Douglas Theories from Outer-Automorphism Twist in 6D (2,0) Theories

Classification of Argyres-Douglas Theories from M5 Branes

On Twisted $A_{2n}$ Class-S Theories

Argyres-Douglas Matter and S-duality. Part II

Defect two-point functions in 6d (2,0) theories

General Argyres-Douglas Theory

Two Dimensional (0,2) Theories and Resolved $A_n$ singularities

Even More On Twisted $A_{2n}$ Class-S Theories

Tinkertoys for the $E_6$ Theory

The Branes Behind Generalized Symmetry Operators

Non-invertible defects on the worldsheet

Top Down Approach to Topological Duality Defects

Tinkertoys for the Twisted $E_6$ Theory

Intermediate Defect Groups, Polarization Pairs, and Non-invertible Duality Defects

Relative Defects in Relative Theories: Trapped Higher-Form Symmetries and Irregular Punctures in Class S

Geometric Engineering, Mirror Symmetry and 6 D 1 0 → 4 D N = 2 $$ 6{\mathrm{d}}_{\left(1,0\right)}\to 4{\mathrm{d}}_{\left(\mathcal{n}=2\right)} $$

Holographic Weyl Anomalies for 4d Defects in 6d SCFTs

Non-Invertible Surface Defects in 2+1d QFTs from Half Spacetime Gauging

A geometrical description of untwisted Dijkgraaf-Witten TQFT with defects

Two-dimensional Anomaly, Orbifolding, and Boundary States