Self-intersection number
ID: self-intersection-number
Let be a compact, oriented, boundaryless embedded submanifold of dimension in an oriented smooth manifold of dimension . Its self-intersection number is the signed intersection number of with a small transverse push-off. A transverse section of a fiber bundle of the normal bundle gives that push-off; its signed zeros show thatThe Euler class makes the answer independent of the chosen transverse section of a fiber bundle.[ref]
Characteristic Classes by John Milnor and James D. Stasheff. Chapter 11, Theorem 11.3: restriction of the dual class to the submanifold is the normal Euler class
A line in the Complex projective plane has square . A fiber in has square zero because it has a disjoint homologous push-off. The exceptional divisor of a blowup of a smooth algebraic surface has square . For noncompact embedded submanifolds or embedded submanifolds with boundary, an integer requires additional support or boundary data; the unrestricted signed-count definition does not apply.
New to topics? Read the docs here!