Singular reduction and quantization (Q1292709)

An object of the work is a compact prequantizable symplectic manifold, on which Hamiltonian dynamics are generated by the action of a compact Lie group. A known theorem about the ``quantization commuting with reduction'' states that a part of the equivariant index of the manifold, which is invariant under the action of the Lie group, is equal to the Riemann-Roch number of the symplectic quotient of the manifold, provided that the quotient is nonsingular. In the paper, the theorem is extended to the case when the quotient is singular, whose coefficients take values in certain complex line bundles. The latter ones include a trivial line bundle, the Riemann-Roch number of which is called in the paper an arithmetic genus of the quotient, and a prequantum line bundle, whose Riemann-Roch number is identified with the quantization dimension of the quotient. Generally, the Riemann-Roch number for the singular quotient is defined by means of a \textit{partial desingularization}, which may leave a part of the singularity unresolved. An important issue is whether the final result for the Riemann-Roch index is independent of the particular way of the desingularization. Only a partial answer to this question is obtained in the work: a particular way of the desingularization adopted in this paper yields the same result as an alternative desingularization technique proposed in an earlier work. Multiplicities for the equivariant index of a dual to the prequantum bundle are also computed in the paper by means of similar methods. Furthermore, it is shown that the arithmetic genus of the Hamiltonian manifold is invariant under the symplectic reduction.