Szegő kernel asymptotics and Morse inequalities on CR manifolds (Q431250)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Szegő kernel asymptotics and Morse inequalities on CR manifolds
scientific article

    Statements

    Szegő kernel asymptotics and Morse inequalities on CR manifolds (English)
    0 references
    0 references
    0 references
    26 June 2012
    0 references
    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.
    0 references
    0 references
    CR complex line bundle
    0 references
    Szegő kernel
    0 references
    holomorphic Morse inequality
    0 references
    0 references
    0 references