We compute a Hirzebruch-Riemann-Roch type formula for the invariant Riemann-Roch number of a quantizable Hamiltonian $S^1$-manifold $(M,\omega ,{ \mathcal J})$, allowing $0$ to be a singular value of the moment map ${ \mathcal J}:M\to {\mathbb R}$. Our formula represents an instance of the Guillemin-Sternberg principle, which states that quantization should commute with reduction. The conceptual novelty of our result is that the involved reduced system only depends on the symplectic data of M. To establish this, we derive a complete singular stationary phase expansion of the Witten integral without appealing to any kind of desingularization. As a consequence, our formula expresses the invariant Riemann-Roch number purely in terms of symplectic invariants of the singular symplectic quotient. In particular, it involves a new explicit symplectic invariant of the singularities.

We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly noncompact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to noncompact Hamiltonian torus manifolds to define geometric quantization from the viewpoint of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for abelian case. The other is a Danilov-type formula for toric case in the noncompact setting, which is a localization phenomenon of geometric quantization in the noncompact setting. The proofs are based on the localization of index to lattice points.