Lie Groups, Calabi-Yau Threefolds, and F-Theory
Paul S. Aspinwall, Sheldon Katz, David R. Morrison
TL;DR
This paper develops a geometric framework to determine the gauge algebra and hypermultiplet spectrum of six-dimensional vacua in F-theory, starting from an elliptic Calabi–Yau threefold with a section and yielding a six-dimensional $N=(1,0)$ theory. It shows that the gauge content and massless matter follow from intersection theory, and that non-simply-laced algebras arise via monodromy on Kodaira fibers, with dual descriptions in M-theory and IIA via RR-field tuning. It provides explicit rules for counting hypermultiplets, including non-local contributions from monodromy and collisions, and illustrates with cases such as $sp(k)$, $f_4$, and $so(2k-1)$. Anomaly-cancellation constraints supply sharp numerical relations linking geometry to spectra and guide deformations/Higgsing that change the gauge algebra, resolving ambiguities in ${\mathfrak{su}}(2k+1)$ with ${\mathbb Z}_2$ monodromy.
Abstract
The F-theory vacuum constructed from an elliptic Calabi-Yau threefold with section yields an effective six-dimensional theory. The Lie algebra of the gauge sector of this theory and its representation on the space of massless hypermultiplets are shown to be determined by the intersection theory of the homology of the Calabi-Yau threefold. (Similar statements hold for M-theory and the type IIA string compactified on the threefold, where there is also a dependence on the expectation values of the Ramond-Ramond fields.) We describe general rules for computing the hypermultiplet spectrum of any F-theory vacuum, including vacua with non-simply-laced gauge groups. The case of monodromy acting on a curve of A_even singularities is shown to be particularly interesting and leads to some unexpected rules for how 2-branes are allowed to wrap certain 2-cycles. We also review the peculiar numerical predictions for the geometry of elliptic Calabi-Yau threefolds with section which arise from anomaly cancellation in six dimensions.
