Geometric quantization for proper moment maps: the Vergne conjecture

We establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a noncompact symplectic manifold with proper moment map.