The calculation of Yukawa couplings in F-theory GUTs is developed. The method is applied to the top and bottom Yukawa couplings in an SU(5) model of fermion masses based on family symmetries coming from the SU(5)_perp factor in the underlying E(8) th
eory. The remaining Yukawa couplings involving the light quark generations are determined by the Froggatt Nielsen non-renormalisable terms generated by heavy messenger states. We extend the calculation of Yukawa couplings to include massive states and estimate the full up and down quark mass matrices in the SU(5) model. We discuss the new features of the resulting structure compared to what is usually assumed for Abelian family symmetry models and show how the model can give a realistic quark mass matrix structure. We extend the analysis to the neutrino sector masses and mixing where we find that tri-bi-maximal mixing is readily accommodated. Finally we discuss mechanisms for splitting the degeneracy between the charged leptons and the down quarks and the doublet triplet splitting in the Higgs sector.
We discuss F-theory SU(5) GUTs in which some or all of the quark and lepton families are assigned to different curves and family symmetry enforces a leading order rank one structure of the Yukawa matrices. We consider two possibilities for the suppre
ssion of baryon and lepton number violation. The first is based on Flipped SU(5) with gauge group SU(5)times U(1)_chi times SU(4)_{perp} in which U(1)_{chi} plays the role of a generalised matter parity. We present an example which, after imposing a Z_2 monodromy, has a U(1)_{perp}^2 family symmetry. Even in the absence of flux, spontaneous breaking of the family symmetry leads to viable quark, charged lepton and neutrino masses and mixing. The second possibility has an R-parity associated with the symmetry of the underlying compactification manifold and the flux. We construct an example of a model with viable masses and mixing angles based on the gauge group SU(5)times SU(5)_{perp} with a U(1)_{perp}^3 family symmetry after imposing a Z_2 monodromy.
