Calabi–Yau 4-folds of Borcea–Voisin type from F-theory

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