1
$\begingroup$

Let $E$ and $F$ be two vector bundles over a manifold $M$. Consider the Whitney sum $$E\oplus F\longrightarrow M.$$

We have projections $\pi_E:E\oplus F\longrightarrow E$ and $\pi_F:E\oplus F\longrightarrow F$. Is it true that $$\textrm{pr}_E^*\wedge \textrm{pr}_F^*: \Omega^p(E)\otimes \Omega^q(F)\longrightarrow \Omega^{p+q}(E\oplus F),$$ is an isomorphism of $C^\infty(M)$-modules? The map $\textrm{pr}_E^*\wedge \textrm{pr}_F^*$ is of course given by:

$$\omega_E\otimes \omega_F\longmapsto \textrm{pr}_E^*\omega_E\wedge \textrm{pr}_F^*\omega_F,$$ where $\textrm{pr}_E^*:\Omega^p(E)\longrightarrow \Omega^p(E\oplus F)$ and $\textrm{pr}_F^*:\Omega^q(F)\longrightarrow \Omega^q(E\oplus F)$ are the induce maps on forms.

Thanks.

Obs: I just messed everything up. I know that $$\Omega^k(E\oplus F)\simeq \bigoplus_{p+q=k}\Omega^p(E)\otimes \Omega^q(F),$$ so I'll rewrite the question later.

$\endgroup$
1
  • 1
    $\begingroup$ Certainly not! A $(p+q)$-form on $E\oplus F$ could be the wedge product of (the pullback of) a $2$-form on $E$ with (the pullback of) a $(p+q-2)$-form on $F$ ... or, indeed, a sum of various combinations. $\endgroup$ – Ted Shifrin Jan 5 '18 at 21:17
4
$\begingroup$

No, because for $M$ a point and $E,F$ of dimension $e,f$ an isomorphism would imply $$ \binom{e}{p}\cdot \binom{f}{q}\stackrel {\operatorname {sic}}{=}\binom{e+f}{p+q} \quad (\operatorname {HORROR OF HORRORS }!)$$

$\endgroup$
1
$\begingroup$

Take $E$ and $F$ to be trivial line bundles and consider the situation over one point. Then your question reduces to: Given a vector space $V$, is the wedge product an isomorphism $\Lambda^k V \otimes \Lambda^l V \rightarrow \Lambda^{k+l} V$? Certainly not, because of the bilinearity of $\wedge$, the map is not even injective ($ \lambda x \wedge y = x\wedge \lambda y$). And in general it is not surjective as well.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.