Geometric quantization for proper actions (Q2637909)

The main purpose of this paper is to generalize the Guillemin-Sternberg geometric quantization conjecture [\textit{V. Guillemin} and \textit{S. Sternberg}, Invent. Math. 67, 515--538 (1982; Zbl 0503.58018)] to the case of non-compact spaces and group actions. For this purpose, a \(G\)-invariant index is generalized to the non-compact case and the main result, which might be thought of as a ``quantization commutes with reduction'' result, solves a conjecture of \textit{P. Hochs} and \textit{N. P. Landsman} [J. K-Theory 1, No.~3, 473--533 (2008; Zbl 1159.19004)]. Ulrich Bunke presents in an Appendix the \(KK\)-theoretic interpretation of the index introduced by the authors.