The context is Guillemin and Pollack, Chapter 4.6, Cohomology with Forms.
Let $U$ be an open subset of $\mathbf{R}^k$ and let $\omega$ be a $p$-form on $\mathbf{R} \times U$, represented as $$ \omega = \sum_I f_I(t, x) dt \wedge dx_I + \sum_J g_J(t, x) dx_J. $$ Define an operator $P$ sending $p$-forms on $\mathbf{R} \times U$ to $(p-1)$-forms on $\mathbf{R} \times U$ by $$P \omega = \sum_I \left( \int_0^t f_I(s, x) ds \right) dx_I. $$
Lemma. Let $X$ be a $k$-dimensional manifold, $\pi \colon \mathbf{R} \times X \to X$ the natural projection, and $i_a \colon X \to \mathbf{R} \times X$ the embedding $x \mapsto (a, x)$ for any fixed $a \in \mathbf{R}$. Then locally, $$ dP\omega + Pd\omega = \omega - \pi^* i_a^* \omega. $$
Question. As stated, is this formula true only for $a = 0$?
Letting $\omega$ be locally represented as above, the authors note that $$ \pi^* i_a^* \omega = \sum_J g_J(a, x) dx_J $$ and my calculations verify this. However, I am calculating $$dP \omega = \sum_{i, I} \left( \int_0^t \frac{\partial}{\partial x_i} f_I(s, x)ds \right) dx_i \wedge dx_I + \sum_I f_I(t, x) dt \wedge dx_I $$ and $$ Pd\omega = -\sum_{i, I} \left( \int_0^t \frac{\partial}{\partial x_i} f_I(s, x)ds \right) dx_i \wedge dx_I + \sum_J \left( g_J(t, x) - g_J(0, x) \right) dx_j$$ hence $$dP \omega + P d\omega = \omega - \sum_J g_J(0, x) dx_J = \omega - \pi^* i_0^* \omega. $$
Assuming this calculation is correct, if I am not mistaking the lemma can be remedied by letting the operator $P$ vary with $a$ as well, i.e. $$P_a \omega = \sum_I \left( \int_a^t f_I(t, x) \right) dx_I$$ so that
$$dP_a \omega + P_a d\omega = \omega - \pi^* i_a^* \omega. $$
Do my calculations check out? Is this what Guillemin and Pollack probably intended?
Many thanks.
I believe I am correct. It doesn't matter all that much that $P$ is actually parametrized by $a$. The point is that for each $a$ this provides a homotopy of chain maps between $\text{id}^\#$ and $\pi^\# i_a^\#$, which is the essential lemma in this context.