That there is no $C^1$ retraction from a compact, oriented manifold to its boundary is a common lemma in proving a weaker version of the Brouwer fixed point theorem. I recall seeing in class a simple proof of this using Stokes' theorem, but I'm unable to find a satisfactory proof online. From what I've found, the proofs start with a oriented k-manifold $M$ and a $k-1$-form $\omega$ such that $\int_{\partial M} \omega > 0.$ Then we assume we have a $C^1$ retraction $f: M \to \partial M$, and Stokes' theorem can be used to show that $$\int_{\partial M} \omega = \int_M f^*(d \omega) = 0$$ But I don't understand why the last equality holds, or if there is an error in what I'm finding.
Thank you in advance.
Since $f$ is a retraction, $f^*\omega\in\Omega^{n-1}(M)$ has the property that $f^*\omega|_{\partial M}=\omega$. Since $M$ is compact and oriented, you can apply Stoke's theorem to get $\int_{\partial M}\omega=\int_{\partial M}f^*\omega=\int_Md(f^*\omega)$. But $d(f^*\omega)=f^*(d\omega)$ and $d\omega=0$ since $\dim(\partial M)=n-1$.