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.
For a smooth projective algebraic curve , the normal bundle of its diagonal in is : on the diagonal the quotient of by the diagonal subbundle is identified with by taking the difference. The self-intersection formula therefore gives .
Articles by others on the same topic
There are currently no matching articles.