Skip to main content
2 of 2
added 10 characters in body; edited title
Michael Albanese
  • 19.4k
  • 9
  • 87
  • 161

Does the Kähler form $\omega$ satisfy $d^*\omega=0$?

Let $X$ be a compact Kähler manifold with Kähler form $\omega$, then from Kodaira & Spencer's paper on deformations III, p.75, the authors state that the Kähler form satisfies the Laplace equation $\Delta\omega=0$.

As we know, $\Delta\omega=0\Leftrightarrow d\omega=0,d^*\omega=0$. By definition, every Kähler form satisfies $d\omega=0$, but it is not obvious why $d^*\omega$ should also be 0. Actually, from Kodaira & Morrow's book Complex Manifolds p.115, they have a proof of $\Delta\omega=0$ by showing $\bar\partial\omega=0$ and $\bar\partial^*\omega=0$, then it's a result of the famous Kähler identities $\Delta=2\Delta_{\bar\partial}$, but their proof seems too complicated as it involves covariant differentiation. Does anybody have a simple reason why $d^*\omega$ should be $0$, i.e. $\omega\in \ker\Delta$?

Tom
  • 471
  • 4
  • 19