Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have some questionss about the construction of the complex bordism ring MU and would appreciate every answer:

  1. I have read that the multiplication in MU is given by the tensor product of vector bundles $BU(n) \times BU(m) \rightarrow BU(n+m)$. How does this tensor product yield us a map $MU(n) \wedge MU(m) \rightarrow MU(n+m) $, I do not get how we can go from $BU$ to $MU$?

  2. What is the unit for the multiplication on MU?

I would be happy, if you could give me an answer.

share|cite|improve this question
To complement/summarize Tyler's answer: $MU$ is the Thom spectrum of the universal (0-dimensional virtual) complex vector bundle over $BU$, and its product map is induced from the map $BU \times BU \rightarrow BU$ guaranteed by the external tensor product with itself of the universal bundle. (But this only works up to homotopy. Presumably you could use the $E_\infty$-structure on $BU$ to tighten things up...) – Aaron Mazel-Gee Jul 18 '12 at 9:26

The multiplication is actually induced by direct sum, or equivalently by block sum of matrices $U(n) \times U(m) \to U(n+m)$. (Tensor product lands in $U(nm)$.)

One definition of $MU(n)$ is as follows. Over $BU(n)$ we have a universal bundle $EU(n) \times \mathbb{C}^n / U(n)$, and the Thom space is obtained by taking the one-point compactification in each fiber and then identifying all the new points.

From this point of view, there is a natural map $$ EU(n) \times \mathbb{C}^n \times EU(m) \times \mathbb{C}^m \to EU(n+m) \times \mathbb{C}^{n+m} $$ that uses block sum on $EU$ and collects together the vector space factors. The map you're looking for comes from taking this map, passing to the quotient by the action of the unitary groups, and then adding this extra point on both sides (which turns the cartesian product into a smash product).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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