MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a smooth affine symplectic variety $V$ with an action of a connected algebraic $G$. If $\mu$ is the moment map, the define the affine quotient to be :

$X = \mu^{-1}(0)// G = \text{Spec}\mathbb{C}[\mu^{-1}(0)]^{G}$

This is an algebraic Variety (may be singular).

The Hamiltonian reduction of $V$ is defined to be

$Y = \mu^{-1}(0)/ G$.

Q : When are these two notions same ?

share|cite|improve this question
Do you really want $G$ to be compact and algebraic? It seems to me that if so, your action is necessarily trivial: an orbit will be a compact subvariety of $V$ which then must be a point. – Jim Bryan Nov 23 '11 at 1:17
non necessarily compact, but connected G. I've edited the question accordingly. – J Verma Nov 23 '11 at 2:40
up vote 1 down vote accepted

We can assume that $G$ is affine, since an abelian variety must act trivially on any affine variety. The closed points of $X$ are exactly the closed $G$-orbits on $\mu^{-1}(0)$. On an affine variety, closed orbits can be distinguished by invariant global functions, and if one orbit is in the closure of another they will go to the same point in $X$.

Thus, $X$ and $Y$ are the same if all $G$-orbits on $\mu^{-1}(0)$ are closed.

share|cite|improve this answer
thanks for the answer. – J Verma Nov 23 '11 at 5:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.