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.

Defect relation for holomorphic maps from complex discs into projective varieties and hypersurfaces

Improvement of non-integrated defect relation for meromorphic maps from Kähler manifolds

A non-integrated hypersurface defect relation for meromorphic maps over complete Kähler manifolds into projective algebraic varieties

Modified defect relation for Gauss maps of minimal surfaces with hypersurfaces of projective varieties in the subgeneral position

Modified defect relation for Gauss maps of minimal surfaces with hypersurfaces of projective varieties in subgeneral position

Modified defect relation of Gauss maps on annular ends of minimal surfaces for hypersurfaces of projective varieties in subgeneral position

Entire holomorphic curves into $\mathbb{P}^n(\mathbb{C})$ intersecting $n+1$ general hypersurfaces

Second main theorem for holomorphic curves on annuli with arbitrary families of hypersurfaces

Values distribution of holomorphic curves on annuli into projective varieties with hypersurface targets

Some variants of the generalized Borel Theorem and applications

Second Main Theorems for Holomorphic Curves in the Projective Space with Slowly Moving Hypersurfaces

Degeneracy of holomorphic mappings into or avoiding Fermat type hypersurfaces

Second main theorem for holomorphic curves into algebraic varieties intersecting moving hypersurfaces targets

Second main theorems for meromorphic mappings and moving hyperplanes with truncated counting functions

Truncated second main theorem for non-Archimedean meromorphic maps

General form of second main theorem on generalized $p$-Parabolic manifolds for arbitrary closed subschemes

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

Nevanlinna theory on complete Kähler manifolds with non-negative Ricci curvature

Holomorphic mappings of maximal rank into projective spaces

Defect of irreducible plane curves with simple singularities