Equivariant indices of \(\operatorname{Spin}^c\)-Dirac operators for proper moment maps (Q2627838)

Let \(M\) be a possibly noncompact, connected, even-dimensional manifold on which a compact, connected Lie group \(K\) acts. Suppose that \(M\) has a \(K\)-equivariant Spinc-structure. An equivariant connection on the determinant line bundle naturally induces a map from \(M\) to the Lie algebra of \(K\). This is called a moment map and is defined via a formula due to Kostant. Assuming this moment map to be proper, we define an equivariant index of Spinc-Dirac operators in this setting. This generalizes, in the Spinc-case, an index of Dirac-type operators defined by \textit{M. Braverman} [\(K\)-Theory 27, No. 1, 61--101 (2002; Zbl 1020.58020)]. We show that the index has a multiplicativity property, which allows us to prove that it satisfies the quantization commutes with reduction principle. This result yields a geometric way to decompose the index into irreducible representations. It generalizes the main result by \textit{P.-É. Paradan} and \textit{M. Vergne} [C. R., Math., Acad. Sci. Paris 352, No. 9, 673--677 (2014; Zbl 1319.53045); ``Equivariant Dirac operators and differentiable geometric invariant theory'', Preprint, \url{arXiv:1411.7772}] from compact to noncompact manifolds. At the same time, it is an analogue in the more general Spinc-case of the results for symplectic manifolds by \textit{X. Ma} and \textit{W. Zhang} [Acta Math. 212, No. 1, 11--57 (2014; Zbl 1380.53102)] and \textit{P.-É. Paradan} [Pac. J. Math. 253, No. 1, 169--211 (2011; Zbl 1235.53093)].