Take the 2-minute tour ×

Reading a paper I had the need to complete a proof, and come up with a certain argument(see below). My question is: could I reduce it to a special case of some theorem? I ask this question in order to give a correct reference, instead of my trivial ad hoc argument.

I had to prove that:

For completeness, I sketch also the trivial proof:
Let $\eta$ be a primitive of $\omega$, and $\mu_i\in C^{\infty}(M,\mathbb{R})$ be defined by $\mu_i=\int_0^1(\textrm{Fl}_t^{\zeta_{e_i}})^*(\zeta_{e_i}\lrcorner\eta)dt$.
By H.Cartan's formula and the theorem on Lie derivative we get $d\mu_i=\int_0^1\frac{d}{dt}((\textrm{Fl}_t^{\zeta_{e_i}})^*\eta)dt-\int_0^1(\textrm{Fl}_t^{\zeta_{e_i}})^*(\zeta_{e_i}\lrcorner\omega)dt$.
The first integral is identically zero for periodicity.

share|improve this question
This is a old question of yours, but you might want to look at this post: math.stackexchange.com/questions/610450/… –  Romero Solha May 17 '14 at 1:33

Your Answer



Browse other questions tagged or ask your own question.