Singular unitarity in “quantization commutes with reduction”

Let M$M$ be a connected compact quantizable Kähler manifold equipped with a Hamiltonian action of a connected compact Lie group G$G$. Let M//G=?⁻¹(0)/G=_M0$M//G={?}^{-1}\left(0\right)/G=M_0$ be the symplectic quotient at value 0 of the moment map ?$?$. The space _M0$M_0$ may in general not be smooth. It is known that, as vector spaces, there is a natural isomorphism between the quantum Hilbert space over _M0$M_0$ and the G$G$-invariant subspace of the quantum Hilbert space over M$M$. In this paper, without any regularity assumption on the quotient _M0$M_0$, we discuss the relation between the inner products of these two quantum Hilbert spaces under the above natural isomorphism; we establish asymptotic unitarity to leading order in Planck’s constant of a modified map of the above isomorphism under a “metaplectic correction” of the two quantum Hilbert spaces.