We apply Borcea–Voisin’s construction and give new examples of Calabi–Yau 4-folds
,
which admit an elliptic fibration onto a smooth 3-fold
, whose singular fibers
of type
lie above a
del Pezzo surface
.
These are relevant models for F-theory according to Beasley et al. (2009a,
2009b).
Moreover, we give the explicit equations of some of these Calabi–Yau 4-folds and
their fibrations.