Anomaly Cancelation in Field Theory and F-theory on a Circle
Thomas W. Grimm, Andreas Kapfer
TL;DR
The paper develops a unified framework linking four- and six-dimensional gauge anomalies to circle-reduced Kaluza-Klein theories, using higher-dimensional large gauge transformations to identify symmetry maps on the Coulomb branch that reproduce anomaly cancellation via one-loop Chern-Simons terms. It shows that in 4D Abelian and non-Abelian cases these maps form a $\mathbb{Z}^{\text{rank}}$ group, while in 6D the analogous structure yields the full anomaly constraints through weight-sum identities and Green-Schwarz data. By leveraging M-/F-theory duality, the authors assign geometric meanings to these transformations as zero-section and zero-node choices in elliptically fibered Calabi–Yau manifolds, proving the general absence of Abelian and non-Abelian anomalies in the considered F-theory geometries. Overall, the work provides a general, geometry-linked mechanism by which higher-dimensional anomaly cancellation is reflected in lower-dimensional CS terms and in the symmetry structure of F-theory compactifications.
Abstract
We study the manifestation of local gauge anomalies of four- and six-dimensional field theories in the lower-dimensional Kaluza-Klein theory obtained after circle compactification. We identify a convenient set of transformations acting on the whole tower of massless and massive states and investigate their action on the low-energy effective theories in the Coulomb branch. The maps employ higher-dimensional large gauge transformations and precisely yield the anomaly cancelation conditions when acting on the one-loop induced Chern-Simons terms in the three- and five-dimensional effective theory. The arising symmetries are argued to play a key role in the study of the M-theory to F-theory limit on Calabi-Yau manifolds. For example, using the fact that all fully resolved F-theory geometries inducing multiple Abelian gauge groups or non-Abelian groups admit a certain set of symmetries, we are able to generally show the cancelation of pure Abelian or pure non-Abelian anomalies in these models.
