Let be a positive holomorphic line bundle on a compact complex manifold of complex dimension , and use as the Kähler form. There is a constant independent of the positive integer such that, on smooth -valued -forms with ,
In particular, for sufficiently large , the Dolbeault Laplacian is bounded below by on every positive antiholomorphic degree.
To see the positive sign, identify these forms with -forms valued in , using the canonical bundle and its dual bundle. The Bochner-Kodaira-Nakano identity writes the quadratic form as a nonnegative derivative term plus the curvature commutator. The contribution acts by in bidegree ; the inverse-canonical contribution has uniformly bounded size on compact . This gives . Applying the curvature commutator directly in bidegree without this twist would give the wrong sign.[ref]
The estimate rules out nonzero harmonic forms in these degrees. The Dolbeault Hodge decomposition and Dolbeault theorem therefore imply for and sufficiently large . The additive constant matters for small powers; the linear spectral gap is an eventual statement.

Articles by others on the same topic (0)

There are currently no matching articles.