Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 21 1 Solution Created 2026-10-03 Updated 2026-10-14
Put , and let be inclusion. The transverse intersection theorem makes a smooth submanifold without boundary, withIt is compact because it is a closed subset of either compact input submanifold.
Write . On , consider the bundle mapIts kernel is , and it is onto because at every intersection point. Thus the normal bundle of a transverse intersection has the actual bundle isomorphismTransfer the direct-sum complex structure through this isomorphism. This supplies a complex structure on the normal bundle itself, not merely after stabilization.
Geometrically, multiply the two classes by forming their external product in and pulling it back along the diagonal . The transversality hypothesis is precisely what makes the inverse image of under the submanifold . The normal bundle of this inverse image is the direct sum just calculated. Multiplication of the corresponding Thom classes agrees with the Thom class of this direct sum, so the complex cobordism product represented by transverse intersections isIf the inputs have complex normal ranks , the product has degree . If they are disjoint, the representative is empty and the product is zero.