Harmonic orthogonality criterion for ddbar exactness

ID: harmonic-orthogonality-criterion-for-ddbar-exactness

If is a -closed -form on a compact Kähler manifold, then is ddbar lemma exact if and only if it is orthogonal to every harmonic differential form of type . The forward implication follows by integration by parts. For the reverse implication, Dolbeault Hodge decomposition first makes -exact, and the ddbar lemma then makes it -exact.

New to topics? Read the docs here!