Enhanced Gauge Symmetry in Type II and F-Theory Compactifications: Dynkin Diagrams from Polyhedra
Eugene Perevalov, Harald Skarke
TL;DR
The paper develops a systematic toric-method framework to extract enhanced gauge symmetries in Type II and F-theory compactifications by reading Dynkin diagrams directly from reflexive polyhedra $Δ^*$ describing Calabi–Yau manifolds. It clarifies how ADE singularities and Kodaira fiber degenerations are encoded in the intersection patterns of toric divisors, and shows how monodromy produces non-simply laced groups, with explicit top constructions for elliptic $K3$ surfaces and CY threefolds. The approach yields concrete correspondence between polyhedral data, Picard lattices, and gauge algebras (e.g., $SU(3)$, $SO(10)$, $E_6$–$E_8$, as well as $SO(2n+1)$, $Sp(n)$, $F_4$, $G_2$ in non-simply laced cases) and extends to higher-dimensional F-theory compactifications, offering a practical toolkit for model-building and dualities. The work highlights both the power and limitations of toric reads, noting potential corrections and the need for further exploration in cases beyond the toric-reducible surface picture.
Abstract
We explain the observation by Candelas and Font that the Dynkin diagrams of nonabelian gauge groups occurring in type IIA and F-theory can be read off from the polyhedron $Δ^*$ that provides the toric description of the Calabi-Yau manifold used for compacification. We show how the intersection pattern of toric divisors corresponding to the degeneration of elliptic fibers follows the ADE classification of singularities and the Kodaira classification of degenerations. We treat in detail the cases of elliptic K3 surfaces and K3 fibered threefolds where the fiber is again elliptic. We also explain how even the occurrence of monodromy and non-simply laced groups in the latter case is visible in the toric picture. These methods also work in the fourfold case.
