Integration of forms on product manifolds

992 Views Asked by At

Let $M$ be a compact, connected and oriented smooth manifold of dimension $m$ and let $\pi_1,\pi_2:M\times M\rightarrow M$ be the projections to each factor. Given $\alpha\in H^m(M;\mathbb{R})$, I would like to compute $$ \int_{M\times M}\pi_1^*\alpha\smile\pi_2^*\alpha $$ in terms of $\int_M\alpha$.

My approach is as follows: $$ \int_{M\times M}\pi_1^*\alpha\smile\pi_2^*\alpha=\int_M\alpha\smile\pi_1^!\pi_2^*\alpha=\pi_1^!\pi_2^*\alpha\int_M\alpha, $$ where $\pi_1^!$ denotes integration along the fibre and hence $\pi_1^!\pi_2^*\alpha\in H^0(M;\mathbb{R})\simeq\mathbb{R}$ can be thought as a number. Now let $\iota:F_p\hookrightarrow M\times M$ be the inclusion of the fibre over a point $p\in M$ under the projection $\pi_1$. Then $\pi_1^!\pi_2^*\alpha=\int_{F_p}\iota^*\pi_2^*\alpha=\int_M\alpha$, where the second equality follows from the fact that $\pi_2\circ\iota$ is a diffeomorphism between $F_p$ and $M$.

In conclusion I got $$ \int_{M\times M}\pi_1^*\alpha\smile\pi_2^*\alpha=\left(\int_M\alpha\right)^2. $$

Everything looks correct to me, but I'll appreciate a double check.