Type IIA on Spin(7) manifolds with fluxes

We initiate a systematic study of compactifications of type II string theory to two dimensions on Ricci-flat spaces with fluxes and sources. We derive universal constraints on such compactifications, and then develop type IIA compactifications on $\mathrm{Spin}(7)$-holonomy spaces with bulk fluxes whose tadpole is cancelled by $\mathrm{OF1}$-planes. We derive the resulting two-dimensional $\mathcal N=(1,1)$ supergravity for a toroidal $\mathrm{Spin}(7)$ orbifold, and we extend the metric and universal sectors geometrically to general compact $\mathrm{Spin}(7)$ manifolds. In candidate supersymmetric Minkowski vacua, all untwisted shape modes appear in the flux scalar potential and can in principle be classically stabilised. However, in an explicit toroidal orbifold example flux quantisation together with the tadpole bound may obstruct the existence of candidate vacua supported entirely within the untwisted sector. The string-frame volume in string units is bounded by $7χ/192$, so suppressing $α'$ corrections requires $\mathrm{Spin}(7)$ manifolds with large Euler characteristic.