Anomaly cancellation for two $U(1)$ factors

Abstract

We show that solving the abelian part of the local anomaly cancellation conditions for a 4-d gauge theory whose gauge Lie algebra has an abelian summand with rank $K \geq 1$ is equivalent to the problem in algebraic/arithmetic geometry of finding $(K-1)$-dimensional projective linear subspaces of a cubic hypersurface over the rational numbers, where the cubic is determined by the data of the semisimple summand and the representation thereof carried by the Weyl fermions. We then use this reformulation to solve a variety of examples with rank 2. The simplest non-trivial example from physics, namely gauge Lie group $U(1)^2$ and six fermions, nevertheless has a rich (and well-studied) geometry: it corresponds to the Fano variety of lines in the Segre cubic primal threefold. This is a surface with 15 irreducible components that are planes (which correspond to lines lying in the 15 planes in the Segre cubic primal and which give rise to non-chiral fermions) and 6 components that are split del Pezzo surfaces of degree 5 (which give rise to chiral fermions). These components are all rational varieties, enabling all solutions to the anomaly cancellation conditions to be parametrized and their collective properties (e.g. their topology and asymptotic distribution) to be described.