Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $M$ be a Kähler manifold with fundamental form $\omega(X,Y) = h(JX, Y)$. I am trying to show that $\omega$ is harmonic. The Kähler condition implies that $\omega$ is closed with respect to $d$, so it suffices to show that $\delta \omega = *d*\omega = 0$. However, I have been unable to do so. Any suggestions?

share|cite|improve this question
up vote 5 down vote accepted

Choose a local orthonormal frame $X_1, Y_1, ..., X_m, Y_m$ such that $J(X_i) = Y_i$ and denote by $(\alpha_1, \beta_1, ..., \alpha_m, \beta_m)$ the dual frame ($\alpha_i = X_i^{\flat}, \beta_i = Y_i^{\flat})$. In such a frame, $\omega$ is given by $\omega = \sum \alpha_i \wedge \beta_i$. The orthonormal frame $(X_1, Y_1, ..., X_m, Y_m)$ is positively oriented and so $(\alpha_1, \beta_1, ..., \alpha_m, \beta_m)$ is positively oriented frame of covectors with respect the induced orientation on $T^{*}M$. Hence, it is easy to describe how the Hodge star acts on $k$-forms which are wedge products of members of the frame.

For $\alpha_i \wedge \beta_i$, we have $$ *(\alpha_i \wedge \beta_i) = \pm \alpha_1 \wedge \beta_1 \wedge \ldots \hat{\alpha_i} \wedge \hat{\beta_i} \ldots \wedge \alpha_m \wedge \beta_m, $$ where the sign is determined by orientation of the basis $$ (\alpha_i, \beta_i, \alpha_1, \beta_1, \ldots, \alpha_m, \beta_m). $$ Since this is also positively oriented, the sign is $+1$ and $$ *\omega = \sum \alpha_1 \wedge \beta_1 \wedge \ldots \hat{\alpha_i} \wedge \hat{\beta_i} \ldots \wedge \alpha_m \wedge \beta_m = \frac{1}{(m-1)!} \omega^{m-1}. $$

This immediately implies that $*\omega$ is closed and so $\omega$ is co-closed and harmonic.

share|cite|improve this answer

That the Kahler form is harmonic also follows from the identity $$ [L,\Delta_{d}] = 0, $$ where $L$ is the Lefschetz operator, and acts according to $L(\nu) := \nu \wedge \omega$, where $\nu$ is any form. This identity in turn follows from the Kahler identities. In fact, this identity shows that wedging any harmonic form with the Kahler form will again produce a harmonic form.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.