F-theory

F-theory is formally a 12-dimensional non-perturbative limit of the 10-dimensional type IIB string theory (when compactifying F-theory on a torus or more generally on an elliptically fibred manifold one arrives at type IIB string theory). The research on F-theory models so far has focused on local properties of non-compact CY 4-folds which give rise to a set of gauge fields. It is now interesting to study the construction of realistic models with compact CY 4-folds and ask how phenomenological constraints can be translated into the geometric properties of the CY.