Higher symmetries of 5D orbifold SCFTs

We determine the higher symmetries of 5D SCFTs engineered from M-theory on a ${\mathbb{C}}^3/\mathrm{\Gamma }$ background for $\mathrm{\Gamma }$ a finite subgroup of $SU(3)$. This resolves a longstanding question as to how to extract this data when the resulting singularity is nontoric (when $\mathrm{\Gamma }$ is non-Abelian) and/or not isolated (when the action of $\mathrm{\Gamma }$ has fixed loci). The Bogomol’nyi-Prasad-Sommerfield (BPS) states of the theory are encoded in a 1D quiver quantum mechanics gauge theory which determines the possible 1-form and 2-form symmetries. We also show that this same data can also be extracted by a direct computation of the corresponding defect group associated with the orbifold singularity. Both methods agree, and these computations do not rely on the existence of a resolution of the singularity. We also observe that when the geometry faithfully captures the global 0-form symmetry, the abelianization of $\mathrm{\Gamma }$ detects a 2-group structure (when present). As such, this establishes that all of this data is indeed intrinsic to the superconformal fixed point rather than being an emergent property of an IR gauge theory phase.

Figure 1

Left: the orbifold quiver for the ${\mathbb{C}}^3/{\mathbb{Z}}_6$ theory generated by $g=\frac{1}{6}(1,2,3)$. Right: the orbifold quiver for the ${\mathbb{C}}^3/{\mathbb{Z}}_{12}$ theory generated by $g=\frac{1}{12}(1,2,9)$.

Figure 2

The orbifold quiver for the ${\mathbb{C}}^3/D_{5,3}$ theory.

Figure 3

The quiver for the ${\mathbb{C}}^3/T_3$ orbifold theory.

Figure 4

Left: the BPS quiver corresponding to the orbifold group $T_5$; Right: the BPS quiver corresponding to the orbifold group $T_7$. Notice that we can recognize a box product-like structure in the quiver with an affine ${\widehat{E}}_6$ structure.

Figure 5

Left: the BPS quiver corresponding to the orbifold group $O_5$; Right: the BPS quiver corresponding to the orbifold group $O_7$. Notice that we can recognize a box product-like structure in the quiver with an affine ${\widehat{E}}_7$ structure.