3
$\begingroup$

Let $G$ be a compact Lie group and $B$ be a closed smooth $G$-manifold. If we have two smooth oriented $G$-vector bundles: $$E\longrightarrow B$$ and $$F\longrightarrow B$$ then is there exists an equivariant version of Whitney product formula $$e_{G}(E\oplus F)=e_{G}(E)\wedge e_{G}(F)?$$ Where $e_{G}(E)$ represents the equivariant Euler class.

$\endgroup$
3
$\begingroup$

I believe the answer is yes. For a $G$-manifold $X$, let $X_G$ denote its Borel mixing space. Recall that $$H_G^*(X)=H^*(X_G).$$

Now, note that $E_G$, $F_G$, and $(E\oplus F)_G$ are the total spaces of vector bundles over $B_G$. Also, $$(E\oplus F)_G\cong E_G\oplus F_G$$ as vector bundles over $B_G$. (I am confident this is true, but it is worth checking.) Computing equivariant Euler classes, we obtain $$e_G(E\oplus F)=e((E\oplus F)_G)$$ $$=e(E_G\oplus F_G)$$ $$=e(E_G)e(F_G)$$ $$=e_G(E)e_G(F).$$

I hope this helps.

$\endgroup$
  • $\begingroup$ Could you elaborate on the step $e(E_G\oplus F_G)=e(E_g)e(F_G)$? $\endgroup$ – Michael Dec 22 '13 at 16:21
  • $\begingroup$ Sure. I used the non-equivariant version of the Whitney product formula. I am taking the ordinary Euler class of a Whitney sum of vector bundles over $B_G$. This equals the product of the Euler classes of the bundles in $H^*(B_G)=H_G^*(B)$. $\endgroup$ – Peter Crooks Dec 22 '13 at 17:49
  • $\begingroup$ That's what confused me. I thought Whitney product formula worked only mod $Z_2$, for Stieffel-Whitney classes, not for Euler class. $\endgroup$ – Michael Dec 22 '13 at 20:05
  • $\begingroup$ It also works for Euler classes. A reference is Theorem 6.6 of Basic Bundle Theory and K-Cohomology Invariants, by Husemoller. $\endgroup$ – Peter Crooks Dec 22 '13 at 21:09
  • 1
    $\begingroup$ @Zhang Yang, have I answered your question, or were you seeking a different kind of answer? $\endgroup$ – Peter Crooks Dec 24 '13 at 16:05

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.