It makes no sense that this Lemma – on the Thom space of the universal line bundle being weakly homotopy equivalent to the base space – is hidden within this entry here.

Therefore I will (later today) give this lemma its own stand-alone page:

This will also make room to spell out a less sketchy proof of it.

]]>added brief pointer to the universal finite-rank orientation on MΩΩSU(n), from Hopkins’s thesis

]]>fixed another typo

(in a formula inside a proof, a universal bundle $E U(n)$ should have been its base space $B U(n)$).

]]>fixed a typo

(the complex numbers appeared as “$\mathbb{B}$” a few lines in a row, apparently copy-and-pasted onwards)

]]>