AdS4 solutions of massive IIA from dyonic ISO(7) supergravity

Explicit formulae are given for the consistent truncation of massive type IIA supergravity on the six-sphere to the SU(3)-invariant sector of D = 4 N = 8 supergravity with dyonic ISO(7) gauging. These formulae are then used to construct AdS(4) solutions of massive type IIA via uplift on S-6 of the critical points of the D = 4 supergravity with at least SU(3) symmetry. We find a new N = 1 solution with SU(3) symmetry, a new non-supersymmetric solution with SO(6) symmetry, and recover previously known solutions. We quantise the fluxes, calculate the gravitational free energies of the solutions and discuss the stability of the non-supersymmetric ones. Among these, a (previously known) G(2)-invariant solution is found to be stable.