Non-Abelian discrete gauge symmetries in 4d string models

We study the realization of non-Abelian discrete gauge symmetries in 4d field theory and string theory compactifications. The underlying structure generalizes the Abelian case, and follows from the interplay between gaugings of non-Abelian isometries of the scalar manifold and field identifications making axion-like fields periodic. We present several classes of string constructions realizing non-Abelian discrete gauge symmetries. In particular, compactifications with torsion homology classes, where non-Abelianity arises microscopically from the Hanany-Witten effect, or compactifications with non-Abelian discrete isometry groups, like twisted tori. We finally focus on the more interesting case of magnetized branes in toroidal compactifications and quotients thereof (and their heterotic and intersecting duals), in which the non-Abelian discrete gauge symmetries imply powerful selection rules for Yukawa couplings of charged matter fields. In particular, in MSSM-like models they correspond to discrete flavour symmetries constraining the quark and lepton mass matrices, as we show in specific examples.