Matter Coupled F(4) Supergravity and the AdS6/CFT5 Correspondence

F(4) supergravity, the gauge theory of the exceptional six-dimensional Anti-de Sitter superalgebra, is coupled to an arbitrary number of vector multiplets whose scalar components parametrize the quaternionic manifold SO(4,n)/SO(4)xSO(n). By gauging the compact subgroup SU(2)dxcG, where SU(2)d is the diagonal subgroup of SO(4) approx.= SU(2)LxSU(2)R (the R-symmetry group of six-dimensional Poincare supergravity) and cG is a compact group such that dim/G = n, we compute the scalar potential which, besides the gauge coupling constants, also depends in non trivial way on the parameter m associated to a massive 2-form Bμ/ν of the gravitational multiplet. The potential admits an AdS background for g=3m, as the pure F(4)-supergravity. We compute the scalar squared masses (which are all negative) and retrieve the results dictated by AdS6/CFT5 correspondence from the conformal dimensions of boundary operators. The boundary F(4) superconformal fields are realized in terms of a singleton superfield (hypermultiplet) in harmonic superspace with flag manifold SU(2)/U(1)=S2. We analyze the spectrum of short representations in terms of superconformal primaries and predict general features of the K-K spectrum of massive type IIA supergravity compactified on warped AdS6xS4. (author)