We report on the construction of four dimensional gauged supergravity models
that can be interpreted as type IIB orientifold compactification in presence of
3-form fluxes and D3--branes. We mainly address our attention to the symplectic
embedding of the U-duality group of the theory and the consequent choice of the
gauge group, whose four dimensional killing vectors are the remnant of the ten
dimensional fluxes. We briefly discuss the structure of the scalar potential
arising from the gauging and the properties of the killing vectors in order to
preserve some amount of supersymmetry.Comment: LaTeX, iopart class, 9 pages, Contribution to the proceedings of the
workshop of the RTN Network "The quantum structure of space-time and the
geometric nature of fundamental interactions",Copenhagen, September 2003 2nd
version, references adde