Consistent SO(6) Reduction Of Type IIB Supergravity on S⁵

Type IIB supergravity can be consistently truncated to the metric and the self-dual 5-form. We obtain the complete non-linear Kaluza-Klein S^5 reduction Ansatz for this theory, giving rise to gravity coupled to the fifteen Yang-Mills gauge fields of SO(6) and the twenty scalars of the coset SL(6,R)/SO(6). This provides a consistent embedding of this subsector of N=8, D=5 gauged supergravity in type IIB in D=10. We demonstrate that the self-duality of the 5-form plays a crucial role in the consistency of the reduction. We also discuss certain necessary conditions for a theory of gravity and an antisymmetric tensor in an arbitrary dimension D to admit a consistent sphere reduction, keeping all the massless fields. We find that it is only possible for D=11, with a 4-form field, and D=10, with a 5-form. Furthermore, in D=11 the full bosonic structure of eleven-dimensional supergravity is required, while in D=10 the 5-form must be self-dual. It is remarkable that just from the consistency requirement alone one would discover D=11 and type IIB supergravities, and that D=11 is an upper bound on the dimension.