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 I5 lie above a del Pezzo surface dP ⊂ V. 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.