In mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of the x- and y-axes in a plane, which should be one. The complexity enters when calculating intersections at points of tangency, and intersections which are not just points, but have higher dimension. For example, if a plane is tangent to a surface along a line, the intersection number along the line should be at least two. These questions are discussed systematically in intersection theory.
Definition for Riemann surfaces
Let X be a Riemann surface. Then the intersection number of two closed curves on X has a simple definition in terms of an integral. For every closed curve c on X (i.e., smooth function c : S 1 → X {\displaystyle c:S^{1}\to X} ), we can associate a differential form η c {\displaystyle \eta _{c}} of compact support, the Poincaré dual of c, with the property that integrals along c can be calculated by integrals over X:
∫ c α = − ∬ X α ∧ η c = ( α , ∗ η c ) {\displaystyle \int _{c}\alpha =-\iint _{X}\alpha \wedge \eta _{c}=(\alpha ,*\eta _{c})} , for every closed (1-)differential α {\displaystyle \alpha } on X, where ∧ {\displaystyle \wedge } is the wedge product of differentials, and ∗ {\displaystyle *} is the Hodge star. Then the intersection number of two closed curves, a and b, on X is defined as
a ⋅ b := ∬ X η a ∧ η b = ( η a , − ∗ η b ) = − ∫ b η a {\displaystyle a\cdot b:=\iint _{X}\eta _{a}\wedge \eta _{b}=(\eta _{a},-*\eta _{b})=-\int _{b}\eta _{a}} . The η c {\displaystyle \eta _{c}} have an intuitive definition as follows. They are a sort of dirac delta along the curve c, accomplished by taking the differential of a unit step function that drops from 1 to 0 across c. More formally, we begin by defining for a simple closed curve c on X, a function fc by letting Ω {\displaystyle \Omega } be a small strip around c in the shape of an annulus. Name the left and right parts of Ω ∖ c {\displaystyle \Omega \setminus c} as Ω + {\displaystyle \Omega ^{+}} and Ω − {\displaystyle \Omega ^{-}} . Then take a smaller sub-strip around c, Ω 0 {\displaystyle \Omega _{0}} , with left and right parts Ω 0 − {\displaystyle \Omega _{0}^{-}} and Ω 0 + {\displaystyle \Omega _{0}^{+}} . Then define fc by
… excerpt ends here. Continue reading the full article.
