MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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 n-dimensional closed smooth manifold, $\eta_{k}$ be the k-form on $M$, $X$ be the smooth vector field on $M$.Let $\eta=\eta_{0}+\eta_{1}+\cdots+\eta_{n-1}+\eta_{n}$ be a ($d-i_{X}$)-closed form, then we have $$i_{X}\eta_{n}=d\eta_{n-2},$$ the relation imply that $\eta_{n}$ is exact outside the set $M_{0}$ of zeros of the vector field $X$. How to get the result?

Edit: I read this result in the chapter 7 of "Heat Kernels and Dirac Operators", page 203. My question is why the relation imply that $\eta_{n}$ is exact outside the set $M_{0}$.

share|cite|improve this question
Could you provide more background on why you believe the result is true? – Oldřich Spáčil Jul 9 '13 at 17:48
Are you asking why $i_X\eta_n = d\eta_{n-2}$ is true, or why that relationship implies $\eta_n$ is exact outside $M_0$? – Michael Albanese Jul 10 '13 at 5:21
up vote 3 down vote accepted

If you can find a closed 1-form $\alpha\in \Omega^1(M\setminus Z(X))$ with $i_X\alpha=1$, then $\eta_n=\alpha\wedge i_X\eta_n = \alpha\wedge d\eta_{n-2}= -d(\alpha\wedge\eta_{n-2})$ is exact. Maybe, the source that you are reading has such $\alpha$.

share|cite|improve this answer

Your Answer


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.