Symplectic implosion (Q1611028): Difference between revisions

The authors introduce a process which they call symplectic implosion, and they prove that quantization commutes with implosion. Let \(M\) be a symplectic manifold with a Hamiltonian action of a compact connected Lie group \(K\) having moment map \(\Phi:M\to k^*\). The imploded cross-section \(M_{\text{impl}}\) of \(M\) is then \(\Phi^{-1} (t^*_+)\sim\) where \(t^*_+\) is a closed fundamental Weyl chamber in the dual of the Lie algebra \(t\) of a maximal torus \(T\) of \(K\), and if \(x,y\in \Phi^{-1} (t^*_+)\) then \(x\sim y\) if and only if \(x=ky\) for some \(k\) in the commutator subgroup \([K_{\Phi(x)}, K_{\Phi (x)}]\) of the stabilizer \(K_{\Phi(x)}\) of \(\Phi(x)\) under the coadjoint action of \(K\). The imploded cross-section is a stratified symplectic space with locally conical singularities and a residual action of \(T\). The moment map \(\Phi:M\to k^*\) induces a map from \(M_{\text{impl}}\) to \(t^*_+\) which is called the imploded moment map and whose image is the moment polytope \(\varphi(M) \cap t^*_+\) of \(M\). Moreover the symplectic reduction \(\Phi^{-1}(\lambda)/K_\lambda\) at any \(\lambda\in t^*_+\) of \(M\) by the action of \(K\) is symplectomorphic to the reduction at \(\lambda\) of \(M_{\text{impl}}\) by the action of \(T\). The authors prove that quantization commutes with implosion in the following sense. If \(L\) is an equivariant prequantum line bundle on \(M\) then there is an induced imploded prequantum line bundle \(L_{\text{impl}}\) (whose restriction to each stratum in \(M_{\text{impl}}\) is a prequantum orbibundle) and the quantization \(RR (M_{\text{impl}}, L_{\text{impl}})\) is defined to be the \(T\)-equivariant Riemann-Roch number of a suitable partial desingularization \((\overline M_{\text{impl}}, \overline L_{\text{impl}})\). It is proved that \(RR(M_{\text{impl}}, L_{\text{impl}}\)) is isomorphic as a virtual \(T\)-module to the space of highest weight vectors in \(RR(M,L)\).