Formal geometric quantisation for proper actions
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)\).
- Formal geometric quantization
- Formal geometric quantization. II
- Functorial quantization and the Guillemin-Sternberg conjecture
- Geometric quantization and families of inner products
- Geometric quantization for proper actions
- Geometric quantization for proper moment maps
- Geometric quantization for proper moment maps: the Vergne conjecture
- scientific article; zbMATH DE number 705099 (Why is no real title available?)
- scientific article; zbMATH DE number 1557174 (Why is no real title available?)
- scientific article; zbMATH DE number 1790017 (Why is no real title available?)
- Index theorem for equivariant Dirac operators on noncompact manifolds
- Non-abelian symplectic cuts and the geometric quantization of noncompact manifolds
- Poisson geometry of discrete series orbits, and momentum convexity for noncompact group actions
- Proper group actions and symplectic stratified spaces
- Quantisation commutes with reduction at discrete series representations of semisimple groups
- Quantisation of presymplectic manifolds, \(K\)-theory and group representations
- Quantization commutes with reduction in the non-compact setting: the case of holomorphic discrete series
- Reduction of symplectic manifolds with symmetry
- Singular reduction and quantization
- The Connes-Kasparov conjecture for almost connected groups and for liner \(p\)-adic groups
- The Guillemin-Sternberg conjecture for noncompact groups and spaces
- The Künneth theorem and the universal coefficient theorem for Kasparov's generalized K-functor
- Formal geometric quantization
- Geometric quantization for proper moment maps
- Formal geometric quantization. III: Functoriality in the \(\mathrm{spin}^c\) setting
- Geometric quantization for proper moment maps: the Vergne conjecture
- Geometric quantization and families of inner products
- Geometric quantization for proper actions
- Quantisation of presymplectic manifolds, \(K\)-theory and group representations
- Non-abelian symplectic cuts and the geometric quantization of noncompact manifolds
- Formal geometric quantization. II
- Geometric quantization, reduction and decomposition of group representations
This page was built for publication: Formal geometric quantisation for proper actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q331937)
