Sigma models are maps from a domain to a target space T. The geometry of the target space is determined by the dimension of the domain and symmetries of the model. When it has isometries that can be gauged, the quotient space, i.e., the space of orbits under the isometries, supports a new sigma model. The target space geometry of the new model is the quotient of the T by the isometry group. This is first described for a bosonic sigma model and it is pointed out that we need to understand supersymmetric sigma models, their isometries and gauging as well as the quotient in order to apply the scheme to models with extended supersymmetry. We then look at these issues. The final goal is to construct new hyperkahler geometries from hyperkähler geometries with isometries, so making sure that the quotient construction preserves the symmetries etc. Ulf Lindstrom is Leverhulme Visiting Professor at Imperial College.