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

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

Let $X$ be a compact Kähler manifold with a Kähler form $\omega$, then from Kodaira&Spencer'sKodaira & 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'sKodaira & Morrow's book 《complex manifolds》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 which involveas it involves covariant differentiation, does. Does anybody hashave a simple reason why $d^*\omega$ should be 0 or $\omega\in ker\Delta$$0$, i.e. $\omega\in \ker\Delta$?

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

Let $X$ be a compact Kähler manifold with a 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 which involve covariant differentiation, does anybody has a simple reason why $d^*\omega$ should be 0 or $\omega\in ker\Delta$?

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$?

Source Link
Tom
  • 471
  • 4
  • 19

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

Let $X$ be a compact Kähler manifold with a 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 which involve covariant differentiation, does anybody has a simple reason why $d^*\omega$ should be 0 or $\omega\in ker\Delta$?