An analogue of Demailly's inequality for strictly pseudoconvex CR manifolds (Q750989)

Let L be a Heisenberg line bundle on a compact \((2n+1)\)-dimensional Heisenberg manifold M. The author gives an expression involving local data for the limit as \(m\to \infty\), of \((4\pi t/m)^{n+1}\cdot trace(\exp (-t\square /m))\) on \(\Omega^{0,q}(M;L^ m).\) In defining Heisenberg structures, the author states that the most important examples of Heisenberg manifolds are strictly pseudo-convex hypersurfaces in \({\mathbb{C}}^{n+1}\). The restriction of a holomorphic vector bundle with Hermitian connection on \({\mathbb{C}}^{n+1}\) to the hypersurface is then an example of a Heisenberg bundle on the hypersurface. A Heisenberg manifold has a Cauchy-Riemann operator that generalizes the operator \({\bar \partial}_ b\), and this Cauchy-Riemann operator can be defined on \(\Omega^{0,*}(M;E)\) when E is a Heisenberg bundle. The Laplacian associated to the Cauchy-Riemann operator is denoted \(\square.\) As in an earlier paper [Commun. Math. Phys. 92, No.2, 163-178 (1983; Zbl 0543.58026)], the author proves his theorem by developing an extended pseudodifferential operator calculus. This time the basic calculus is that developed for CR manifolds by \textit{R. Beals}, \textit{P. C. Greiner} and \textit{N. K. Standon} [J. Differ. Geom. 20, No.2, 343-387 (1984; Zbl 0553.58029)] from the algebra of left-invariant operators on the Heisenberg group. A preprint by J.-M. Bismut suggested the author's analogue of the result of \textit{J.-P. Demailly} [Ann. Inst. Fourier 35, No.4, 189-229 (1985; Zbl 0565.58017)]. For a complex line bundle on a compact complex manifold M with \(\dim_ CM=n\), Demailly calculated the asymptotic dimension of the \({\bar \partial}\)-cohomology of \(L^ m\) as \(m\to \infty\). Observing that the dimension of the \({\bar \partial}\)-cohomology was bounded by the trace of the \({\bar \partial}\)-heat operator, Bismut recovered Demailly's result by using methods from probability theory to develop an expression for the limit, as \(m\to \infty\), of \((2\pi /m)^ n\) times the trace of the appropriate \({\bar \partial}\)-heat operator.