Formal geometric quantisation for proper actions (Q331937)

If \(K\) is a compact, connected Lie group, with Lie algebra \(\mathfrak k\), \(\Lambda^K_+\) is the set of dominant integral weights of \(K\) with respect to a maximal torus and a choice of positive roots, and \(\pi^K_\lambda\) is the irreducible representation of \(K\) with highest weight \(\lambda\in\Lambda^K_+\), then \(R^{-\infty}(K)=\mathrm{Hom}(R(K),\mathbb Z)\) is the abelian group generated by the elements \([\pi^K_\lambda]^\ast\), where \(R(K)\) is the representation ring of \(K\). If \((N,\nu)\) is a prequantized symplectic manifold equipped with a Hamiltonian \(K\)-action and the momentum map \(\Phi^K:N\to\mathfrak k^\ast\) is proper, then the symplectic reduction \(N_\lambda\) of the action at \(\lambda/i\) is compact and it has a quantization \(Q(N_\lambda)\in\mathbb Z\). In [Lett. Math. Phys. 56, No. 1, 31--40 (2001; Zbl 1024.53051)], \textit{J. Weitsman} introduced the formal geometric quantisation \(Q^{-\infty}_K(N,\nu)\) of the action by \(K\) on \((N,\nu)\), as \(Q^{-\infty}_K(N,\nu)=\sum\limits_{\lambda\in\Lambda^K_+}Q(N_\lambda)[\pi^K_\lambda]^\ast\in R^{-\infty}(K)\). In [Ann. Inst. Fourier 59, No. 1, 199--238 (2009; Zbl 1163.53056)], \textit{P-É. Paradan} studied the functorial properties of the formal geometric quantization process defined on non-compact Hamiltonian manifolds endowed with a proper momentum map and proved that the formal geometric quantization is functorial with respect to Cartesian products and restrictions to subgroups. In this paper, the authors generalize the formal quantization and its functoriality properties with respect to restriction and Cartesian products to noncompact groups. They define formal geometric quantization for proper Hamiltonian actions by possibly noncompact groups on possibly noncompact prequantized symplectic manifolds. For manifolds of the form \(M=G\times_K N\), where \(N\) is a compact prequantizable Hamiltonian \(K\)-manifold, \(Q_G(M,\omega)=\sum\limits_{\lambda\in\Lambda^K_+}Q(M_{\lambda+\rho_c},\omega_{\lambda+\rho_c})[\lambda]\), where \([\lambda]\) is a certain generator of the \(K\)-theory group \(K_\ast(C^\ast_rG)\), \(\rho_c\) is half the sum of the compact positive roots, and \((M_{\lambda+\rho_c},\omega_{\lambda+\rho_c})\) is the symplectic reduction of the action at \((\lambda+\rho_c)/i\). For \(M=G\times_K N\), the authors define the geometric quantization of the action by \(G\) on \(M\) as \(Q_G(M,\omega)=\left((D-\mathrm{Ind}^G_K)^\ast\right)^{-1}\left(Q_K(N,\nu)\right)\in K^d(C^\ast_rG)\), where \(D-\mathrm{Ind}^G_K:R(K)\to K_d(C^\ast_rG)\) is the group isomorphism. The authors prove that quantization commutes with reduction, that is, \(Q_G(M,\omega)=Q_G^{-\infty}(M,\omega)\).