Proof. [03Z0]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
The discriminant locus is the image of the singular locus under the moment map. We shall focus on . The holomorphic moment coordinate depends only on and the action, so as before and vanishes on . The symplectic moment coordinates are defined by , and are normalised to be zero at . In particular since the Hamiltonian vector field vanishes on , the moment must be the constant zero on . Furthermore on by considering the weight of the remaining action at the fixed point, so the image of is contained in . The infinite volume condition and the formula
ensure that stretches to infinity, so is the image of . Likewise the image of is and the image of is . ∎