Elliptic blowup equations for 6d SCFTs. IV: Matters (Q2082946)

This lengthy, ambitious, and technical yet fruitful work might be viewed mainly as providing a novel, sweeping classification of the elliptic genera of six dimensional superconformal field theories in very broad (and perhaps near total) generality (stopping short of treating what might be viewed as a minority of 6D SCFT cases featuring certain technical exemptions from the existant precursor 6D SCFT classifications). In particular, the authors construct the elliptic genus equations for all so-called ``atom'' building block theories previously featured in the so-called ``atomic classification of 6D SCFTs' (by \textit{J. J. Heckman} et al. [Fortschr. Phys. 63, No. 7--8, 468--530 (2015; Zbl 1338.81326)]). The authors then extend their results through the atomic classification glueing rules to treat those 6D SCFTs comprising the bulk of the landscape. The authors here also compute blowup equations for the relevant underlying geometries (featuring more than one negative self-intersection curve in the base in their F-theory description). This work stops short of a full 6D SCFT elliptic genera classification (perhaps) only due to what might be viewed as technicalities in 6D SCFT classification in those relatively rare instances where the theories lack a properly understood geometric description via F-theory, e.g., for frozen 6D SCFTs, or, relatedly, in other cases treating SCFT features that were not fully tackled in the ``atomic classification'', e.g., in the relatively rare cases where corresponding geometric constraints on CY geometry are (sometimes subtly) strictly tighter than constraints on the paired Calabi-Yau threefold geometry coming from gauge and mixed anomaly cancellation derived hypermultiplet counting rules (that underpin the ``atomic'' results). The authors also check in some generality that their methods are consistent with known corresponding results in analogous special 2D, 4D, and 5D SCFT cases, as well as proving a number of other robust classification results for certain CY BPS invariants and certain paired topological relations between CY fourfolds and their CY threefold subvarieties.