 Radial homotopy operator

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.