3
$\begingroup$

Let $\omega $ be a $1$-form on $M$. For $f:M\to \mathbb R$, and $X\in \mathfrak{X}(M)$, Does the following true?

$f. i_X \omega = i_{f.x}\omega$

According to me proof is the following: Please point out the mistake in the following and if possible please make comment on above expression. Thanks.

For $p\in M$, we have $$f.i_X\omega|_p= f(p). \omega_p(X_p)= \omega(f(p)X_p)= i_{fX}\omega|_p$$

$\endgroup$
  • $\begingroup$ When the hyphen in "$1$-form" is INSIDE the $\TeX$ tags, then it looks like a minus sign instead of a hyphen, thus: $1-$ form. (I fixed it.) $\endgroup$ – Michael Hardy Sep 10 '12 at 17:25
  • $\begingroup$ thanks.... i will take care in future.. $\endgroup$ – Junu Sep 10 '12 at 20:23
5
$\begingroup$

The fact is true and your proof is true (although you should add a $p$ subscript after $\omega$ in the third equality of your proof).

You have used the $\mathbb{R}$-linearity of $\omega_p$, which is an element of the real vector space $T^\star_pM$, but you could have also used the $\mathcal{C}^\infty(M)$-linearity of $\omega$, which is an element of the $\mathcal{C}^\infty(M)$-module of sections of $T^\star M$ (the cotangent bundle). You have a $1$-form $\omega$ so applying to it the interior product (insertion operator) yields the smooth function $\omega(X)$: $$i_X\omega=\omega(X)$$ (there is only one slot to fill since we have a $1$-form). Now $i_{fX}\omega=\omega(fX)$ and remember that a differential form is $\mathcal{C}^\infty(M)$-multilinear alternate so you can take out the $f$ which yields: $$i_{fX}\omega=\omega(fX)=f\omega(X)=f\cdot i_X\omega$$.

$\endgroup$
  • $\begingroup$ @Junu: You are welcome :) $\endgroup$ – Benjamin Sep 10 '12 at 15:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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