Consider the action of a complex reductive group on a complex projective variety X embedded in projective space. Geometric Invariant Theory allows us to construct a 'categorical' quotient of an open subset of X, called the semistable set. If in addition X is smooth then it is a symplectic manifold and in nice cases we can construct a moment map for the action and the Marsden-Weinstein reduction gives a symplectic quotient of the group action on an open subset of X. We will discuss both of these constructions and the relationship between the GIT quotient and the Marsden-Weinstein reduction. The quotients we have discussed provide a quotient for only an open subset of X and so we then go on to discuss how we can construct quotients of certain subvarieties contained in the complement of the semistable locus.
