Radial homotopy operator ($H\alpha ={\int }_0^1{\rho }_t^{\ast }({\iota }_R\alpha )dt/t$)

On a star-shaped domain, let ${\rho }_t(x)=tx$ and $R=\sum x_j{\partial }_{x_j}$. On positive-degree differential forms, $H\alpha ={\int }_0^1{\rho }_t^{\ast }({\iota }_R\alpha )dt/t$ satisfies $dH+Hd=\mathrm{id}-{\rho }_0^{\ast }$. It gives a primitive of every closed positive-degree form. On a star-shaped domain in a complex vector space, contraction with the two type components of $R$ shows that $H$ sends type $(p,q)$ into $(p-1,q)\oplus (p,q-1)$. There is no primitive assertion for a nonzero constant function.

On a fiberwise star-shaped neighborhood, let $H_s$ scale fibers by $s$ and let $E$ be the radial vector field. For a closed differential form $\delta$ with zero pullback to the zero section, the homotopy primitive $\eta ={\int }_0^1{s}^{-1}{H}_s^{\ast }({\iota }_E\delta )ds$ satisfies $d\eta =\delta$. For a two-form, it vanishes as an ambient covector along that section, providing the fixed-submanifold condition in the relative Moser theorem.