Quantisation commutes with reduction at discrete series representations of semisimple groups (Q843226)

In this paper the author generalizes Guillemin and Steinberg's ``quantization commutes with reduction'' conjecture to cocompact Hamiltonian actions by semisimple Lie groups. The compact case of this conjecture has been proved earlier by several authors, the original version was proved by \textit{V. Guillemin} and \textit{S. Sternberg} [Invent. Math. 67, 515--538 (1982; Zbl 0503.58018)]. The version of this conjecture generalized in the paper under review was proved by \textit{P.-E. Paradan} [Ann. Sci. Éc. Norm. Supér. (4) 36, No. 5, 805--845 (2003; Zbl 1091.53059)]. This version is the following. Let \(K\) be a compact Lie group acting in Hamiltonian fashion on a compact symplectic manifold \((M, \omega)\) with abelian stabilizers. Suppose that the cohomology class \([\omega]+\frac{1}{2} c_1(TM, J)\) is integral for some \(K\)-equivariant almost complex structure \(J\) on \(M\). Then \[ K-\text{index}\, D_M=\bigoplus_{\mu\in\Lambda_+}{\text{index}}\,D_{M_{\mu+\rho}} V_{\mu}, \tag{\(*\)} \] where \(D_M\) is a \(\text{Spin}^c\)-Dirac operator on \(M\), \(\Lambda_+\) is the set of dominant integral weights relative to a choice of maximal torus and positive roots, \(\rho\) is half the sum of the positive roots, \(V_\mu\) is the irreducible \(K\)-module with highest weight \(\mu\), and \((M_{\mu+\rho}, \omega_{\mu+\rho})\) is the symplectic reduction of \((M, \omega)\) at \(-i(\mu+\rho)\). In the paper under review, the equality \((*)\) is generalized to discrete series representations of semisimple Lie groups. The generalized statement is proved in cases where the image of the momentum map in question lies in the set of elements of \(\mathfrak g^*\) with compact stabilizers. This assumption is equivalent to the assumption that \(M=G\times_K N\), where \(K\) is a maximal compact subgroup of \(G\) and \(N\) is a compact Hamiltonian \(K\)-manifold.