A finite 6d supergravity landscape from anomalies

TL;DR

This paper demonstrates that anomaly cancellation conditions in 6d supergravity theories impose a finite bound on the number of models, leading to a finite landscape of consistent theories with specific gauge groups.

Contribution

It introduces a linear programming approach to analyze anomaly constraints, establishing a universal bound on tensor multiplets and identifying the maximal gauge group configuration.

Findings

Finite bound on tensor multiplets T ≤ 3003.

Finiteness of consistent non-abelian models in 6d supergravity.

Identification of the maximal gauge group configuration saturating the bound.

Abstract

6d supergravities with non-abelian gauge group are subject to many consistency conditions. While the absence of local gauge and gravitational anomalies allows for infinitely many models, we show that those conditions stemming from the absence of both local and global anomalies together are strong enough to leave only finitely many consistent models. To do this we distill the consequences of anomaly cancellation into a high-dimensional linear program whose dual can be efficiently studied using standard techniques. We obtain a universal bound on the number of tensor multiplets $T \leq 11 \cdot 273 = 3003$ and show that this leads to a finite landscape of consistent non-abelian models. Interestingly, the model which saturates this bound has gauge group $[E_8 \times F_4 \times (G_2 \times \mathrm{SU}(2))^2]^{273}$, which bears a striking resemblance to the model which saturates the bound $T \leq 193$ for F-theory constructions.