I will discuss the appearance of discrete gauge symmetries in four-dimensional compactifications of F-theory. From the geometry perspective these appear as multi-sections of genus-one fibrations in Calabi-Yau fourfolds, while from the field theory perspective they arise from Higgsing a U(1) symmetry to a remnant discrete one. I will present a detailed map between these two perspectives. Finally, I will show how to implement such symmetries in realistic model building based on SU(5) GUTs.
