show/hide this revision's text 2 added 2 characters in body

Given a smooth affine symplectic variety $V$ with an action of a compact 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 ?

show/hide this revision's text 1

Hamiltonian Reduction and Affine quotient

Given a smooth affine symplectic variety $V$ with an action of a compact 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 ?