Holomorphic Morse inequalities in singular reduction (Q1271371): Difference between revisions

Let \((M,\omega)\) be a closed symplectic manifold and \(J\) an almost complex structure on \(TM\). Suppose that \((M,\omega,J)\) is Kähler. Let \(G\) be a compact connected Lie group with Lie algebra \({\mathfrak g}\), which acts holomorphically on \(M\). Let \(L\) be a Hermitian line bundle over \(M\) with connection \(\nabla^L\) such that \(i(\nabla^L)^2/2\pi=\omega\). Let \(\mu: M\rightarrow{\mathfrak g}^*\) be the corresponding moment map. For \(a\in{\mathfrak g}^*\) denote by \({\mathcal O}_a \subset{\mathfrak g}^*\) the co-adjoint orbit of \(a\), by \(M_{G,a}=\mu^{-1}( {\mathcal O}_a)/G\), and by \(L_{G,a}\) the induced line bundle on \(M_{G,a}\) from \(L\). The authors prove Morse-type inequalities in the case that \(a\in{\mathfrak g}^*\) is allowed to be a singular value of \(\mu\) of a certain kind. Namely, they prove the following Theorem. Let \((M,\omega,J)\) be as above and \(\mu^{-1} (0)\not=\emptyset\). There exists an open neighborhood \(O\) of \(0\) in \({\mathfrak g} ^*\) such that for any regular value \(a\in O\) of \(\mu\) with \(\mu^{-1}(a) \not=\emptyset\), the following Morse-type inequality for Dolbeault cohomologies holds for any integer \(p\) (\(V^G\) denoting the \(G\)-invariant part of \(V):\) \[ \dim H^{0,p}(M,L)^G-\dim H^{0,p-1}(M,L)^G+\ldots+ (-1)^p\dim H^{0,0}(M,L)^G \] \[ \leq\dim H^{0,p}(M_{G,a},L_{G,a})-\dim H^{0,p-1}( M_{G,a},L_{G,a})+\ldots+(-1)^p\dim H^{0,0}(M_{G,a},L_{G,a}). \]