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.

Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_{0}$ at level zero of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_{0}$. We show that if $(V,G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This implies in particular that the real symplectic quotient is graded Gorenstein. In case $K$ is a torus or $\operatorname{SU}_{2}$, we show that these results hold without the hypothesis that $(V,G)$ is $3$-large.