Szegő kernel asymptotics and Morse inequalities on CR manifolds (Q431250): Difference between revisions

The authors establish analogues of Demailly's holomorphic Morse inequalities in the case of CR manifolds of hypersurface type. They consider an abstract compact CR manifold \(X\), of CR-dimension \(n-1\) and CR-codimension \(1\). It satisfies condition \(Y(q)\) at a point \(p_0\) if its Levi form \(\mathcal{L}_{p_0}\) at \(p_0\) has at least \(\max\{q+1,n-q\}\) eigenvalues of the same sign, or at least \(\min\{q+1,n-q\}\) pairs of eigenvalues with opposite signs. Given a CR complex line bundle \(L@>>>X\), denote by \(H^q_b(X,L^k)\) the \(q\)-th cohomology group of the tangential Cauchy-Riemann complex on \(X\), with coefficients in \(L^k\). When condition \(Y(q)\) is satisfied on \(X\), the group \(H^q_b(X,L^k)\) is finite dimensional and isomorphic to the kernel of a suitable hypoelliptic Laplacian \({\square}^{(q)}_{b,k}\), for which a Szegő kernel function \(\Pi^{(q)}_k\) can be constructed, whose integral over \(X\) yields the dimension of \(H^q_b(X,L^k)\). After defining an analogue \(M^\phi_p\) of the Chern curvature for \(L\), the authors associate to each \(x\in{X}\) the set \(\mathbb{R}_{\phi(x),q}\) of real \(s\) for which the quadratic form \(M^\phi_x+s\mathcal{L}_x\) has exactly \(q\) negative and \(n-1-q\) positive eigenvalues and obtain in this way a function \[ x @>>> f_q(x)=(2\pi)^{-n}\int_{\mathbb{R}_{\phi(x),q}}|\det(M^\phi_x+s\mathcal{L}_x)|ds\;\in\overline{\mathbb{R}} \] on \(X\). With this preparation, they prove that \[ \limsup_{k\to\infty}k^{-n}\Pi^{(q)}_k(x)\leq f_q(x)\quad\text{and}\quad \text{dim}\,H^q_b(X,L^k)\leq{k}^n\int_Xf_q(x)dv_X(x)+o(k^n). \] Moreover, when \(Y(j)\) holds for \(0\leq{j}\leq{q}\), they also get the strong Morse inequality \[ {\sum}_{j=0}^q\text{dim}\,H^q_b(X,L^k)\leq k^n{\sum}_{j=0}^q(-1)^{q-j}\int_Xf_j(x)dv_X(x)+o(k^n). \] The paper contains further interesting applications and examples.