ABSTRACT
We clarify the higher-dimensional origin of a class of dyonic gaugings of D=4 N=8 supergravity recently discovered, when the gauge group is chosen to be ISO(7). This dyonically gauged maximal supergravity arises from consistent truncation of massive IIA supergravity on S^6, and its magnetic coupling constant descends directly from the Romans mass. The critical points of the supergravity uplift to new four-dimensional anti-de Sitter space (AdS4) massive type IIA vacua. We identify the corresponding three-dimensional conformal field theory (CFT3) duals as super-Chern-Simons-matter theories with simple gauge group SU(N) and level k given by the Romans mass. In particular, we find a critical point that uplifts to the first explicit N=2 AdS4 massive IIA background. We compute its free energy and that of the candidate dual Chern-Simons theory by localization to a solvable matrix model, and find perfect agreement. This provides the first AdS4/CFT3 precision match in massive type IIA string theory.
