Consistency of the AdS(7) x S-4 reduction and the origin of self-duality in odd dimensions

We discuss the full nonlinear Kaluza-Klein (KK) reduction of the original f ormulation of d = 11 supergravity on AdS(7) x S-4 to gauged maximal (N = 4) supergravity in 7 dimensions. We derive the full nonlinear embedding of th e d = 7 fields in the d = 11 fields (" the ansatz") and check the consisten cy of the ansatz by deriving the d = 7 supersymmetry laws from the d = 11 t ransformation laws in the various sectors. The ansatz itself is nonpolynomi al but the final d = 7 results are polynomial, The correct cl = 7 scalar po tential is obtained. For most of our results the explicit form of the matri x U connecting the d = 7 gravitino to the Killing spinor is not needed, but we derive the equation which U has to satisfy and present the general solu tion. Requiring that the expression delta F = d delta A in d = 11 can be wr itten as delta d(fields in d = 7), we find the ansatz for the 4-form F. It satisfies the Bianchi identities. The corresponding ansatz for the S-form A modifies the geometrical proposal by Freed et al, by including d = 7 scala r fields. A first order formulation for A in d = 11 is needed to obtain the d = 7 supersymmetry laws and the action for the nonabelian selfdual antisy mmetric tensor field S-alpha beta gamma,S-A. Therefore selfduality in odd d imensions originates from a first order formalism in higher dimensions. (C) 2000 Elsevier Science B.V. All rights reserved.