Projective bundle relation in complex cobordism (source code)

= Projective bundle relation in complex cobordism
{title2=$x^n-p^*c_1(E)x^{n-1}+\cdots+(-1)^np^*c_n(E)=0$}

The relation uses $x=c_1(S)$ for the tautological line on the projectivization of $E$. It follows from the rank of the complementary bundle and Whitney multiplication. The alternating signs are ring subtraction; they do not assert that the <First Chern class> of a dual line is the additive negative in <complex cobordism>, where duality uses the formal-group inverse.

// Target: geometry-and-topology.bigb