Non-supersymmetric F-theory compactifications on Spin(7) manifolds

We propose a novel approach to obtain four-dimensional effective actions coupled to supersymmetry-breaking boundaries by considering F-theory on manifolds with special holonomy Spin(7). To perform such studies we suggest that a duality relating M-theory on a certain class of Spin(7) manifolds with F-theory on the same manifolds times an interval exists. The Spin(7) geometries under consideration are constructed as quotients of elliptically fibered Calabi-Yau fourfolds by an anti-holomorphic and isometric involution. The three-dimensional minimally supersymmetric effective action of M-theory on a general Spin(7) manifold with fluxes is determined and specialized to the aforementioned geometries. This effective theory is compared with an interval Kaluza-Klein reduction of a non-supersymmetric four-dimensional theory with definite boundary conditions for all fields. Using this strategy a minimal set of couplings of the four-dimensional low-energy effective actions is obtained in terms of the Spin(7) geometric data. We also discuss briefly the string interpretation in the Type IIB weak coupling limit.