Classifying bases for 6D F-theory models

We classify six-dimensional F-theory compactifications in terms of simple features of the divisor structure of the base surface of the elliptic fibration. This structure controls the minimal spectrum of the theory. We determine all irreducible configurations of divisors ("clusters") that are required to carry nonabelian gauge group factors based on the intersections of the divisors with one another and with the canonical class of the base. All 6D F-theory models are built from combinations of these irreducible configurations. Physically, this geometric structure characterizes the gauge algebra and matter that can remain in a 6D theory after maximal Higgsing. These results suggest that all 6D supergravity theories realized in F-theory have a maximally Higgsed phase in which the gauge algebra is built out of summands of the types su(3), so(8), f_4, e_6, e_8, e_7, (g_2 + su(2)), and su(2) + so(7) + su(2), with minimal matter content charged only under the last three types of summands, corresponding to the non-Higgsable cluster types identified through F-theory geometry. Although we have identified all such geometric clusters, we have not proven that there cannot be an obstruction to Higgsing to the minimal gauge and matter configuration for any possible F-theory model. We also identify bounds on the number of tensor fields allowed in a theory with any fixed gauge algebra; we use this to bound the size of the gauge group (or algebra) in a simple class of F-theory bases.