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.

Classification of punctures on complete flat surfaces

Moduli space theory for complete, constant Q-curvature metrics on finitely punctured spheres

Flat surfaces and stability structures

On punctured locally compact spaces

Puncture repair on metric measure spaces

Classification of flat pencils of foliations on compact complex surfaces

On the classification of singular flat structures on surfaces

Extendability of Conformal Structures on Punctured Surfaces

Cluster Categories for Marked Surfaces: Punctured Case

Dynamics on Markov surfaces: classification of stationary measures

Geometric normal subgroups in mapping class groups of punctured surfaces

A Classification of Fundamental Group Elements Representing simple closed curves on the punctured Klein Bottle

The Complete Classification of a Class of Conformally Flat Lorentzian Hypersurfaces in ℝ14

The cluster category of a surface with punctures via group actions

Geometric filling curves on punctured surfaces

The Complete Classification Of A Class Of Conformally Flat Lorentzian Hypersurfaces In R-1(4)

Noncrossing partitions of a marked surface

On the resolution of kinks of curves on punctured surfaces

Llarull's theorem on punctured sphere with L^∞ metric

Large-Scale Geometry of Pure Mapping Class Groups of Infinite-Type Surfaces

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