William Fulton in
Intersection Theory (1984) writes ... if and are subvarieties of a non-singular variety , the intersection product should be an equivalence class of algebraic cycles closely related to the geometry of how , and are situated in . Two extreme cases have been most familiar. If the intersection is
proper, i.e. , then is a linear combination of the irreducible components of , with coefficients the intersection multiplicities. At the other extreme, if is a non-singular subvariety, the self-intersection formula says that is represented by the top
Chern class of the
normal bundle of in . To give a definition, in the general case, of the
intersection multiplicity was the major concern of
André Weil's 1946 book
Foundations of Algebraic Geometry. Work in the 1920s of
B. L. van der Waerden had already addressed the question; in the
Italian school of algebraic geometry the ideas were well known, but foundational questions were not addressed in the same spirit.
Moving cycles A well-working machinery of intersecting
algebraic cycles and requires more than taking just the set-theoretic intersection of the cycles in question. If the two cycles are in "good position" then the
intersection product, denoted , should consist of the set-theoretic intersection of the two subvarieties. However cycles may be in bad position, e.g. two parallel lines in the plane, or a plane containing a line (intersecting in 3-space). In both cases the intersection should be a point, because, again, if one cycle is moved, this would be the intersection. The intersection of two cycles and is called
proper if the
codimension of the (set-theoretic) intersection is the sum of the codimensions of and , respectively, i.e. the "expected" value. Therefore, the concept of
moving cycles using appropriate
equivalence relations on algebraic cycles is used. The equivalence must be broad enough that given any two cycles and , there are equivalent cycles and such that the intersection is proper. Of course, on the other hand, for a second equivalent and , needs to be equivalent to . For the purposes of intersection theory,
rational equivalence is the most important one. Briefly, two -dimensional cycles on a variety are rationally equivalent if there is a rational function on a -dimensional subvariety , i.e. an element of the
function field or equivalently a function , such that , where is counted with multiplicities. Rational equivalence accomplishes the needs sketched above.
Intersection multiplicities The guiding principle in the definition of
intersection multiplicities of cycles is continuity in a certain sense. Consider the following elementary example: the intersection of a parabola and an axis should be , because if one of the cycles moves (yet in an undefined sense), there are precisely two intersection points which both converge to when the cycles approach the depicted position. (The picture is misleading insofar as the apparently empty intersection of the parabola and the line is empty, because only the real solutions of the equations are depicted). The first fully satisfactory definition of intersection multiplicities was given by
Serre: Let the ambient variety be smooth (or all local rings
regular). Further let and be two (irreducible reduced closed) subvarieties, such that their intersection is proper. The construction is local, therefore the varieties may be represented by two ideals and in the coordinate ring of . Let be an irreducible component of the set-theoretic intersection and its
generic point. The multiplicity of in the intersection product is defined by :\mu(Z; V, W) := \sum^\infty_{i=0} (-1)^i \text{length}_{\mathcal O_{X, z}} \text{Tor}_i^{\mathcal O_{X, z}} (\mathcal O_{X, z}/I, \mathcal O_{X, z}/J), the alternating sum over the
length over the local ring of in of
torsion groups of the factor rings corresponding to the subvarieties. This expression is sometimes referred to as ''Serre's Tor-formula''. Remarks: • The first summand, the length of • :: \left ( \mathcal O_{X, z}/I \right ) \otimes_{\mathcal O_{X, z}} \left (\mathcal O_{X, z}/J \right ) = \mathcal O_{Z, z} • :is the "naive" guess of the multiplicity; however, as Serre shows, it is not sufficient. • The sum is finite, because the regular local ring \mathcal O_{X, z} has finite Tor-dimension. • If the intersection of and is not proper, the above multiplicity will be zero. If it is proper, it is strictly positive. (Both statements are not obvious from the definition). • Using a
spectral sequence argument, it can be shown that .
The Chow ring The
Chow ring is the group of algebraic cycles modulo
rational equivalence together with the following commutative
intersection product: :V \cdot W := \sum_{i} \mu(Z_i; V, W)Z_i whenever
V and
W meet properly, where V \cap W = \cup_i Z_i is the decomposition of the set-theoretic intersection into irreducible components.
Self-intersection Given two subvarieties and , one can take their intersection , but it is also possible, though more subtle, to define the
self-intersection of a single subvariety. Given, for instance, a curve on a surface , its intersection with itself (as sets) is just itself: . This is clearly correct, but on the other hand unsatisfactory: given any two
distinct curves on a surface (with no component in common), they intersect in some set of points, which for instance one can count, obtaining an
intersection number, and we may wish to do the same for a given curve: the analogy is that intersecting distinct curves is like multiplying two numbers: , while self-intersection is like squaring a single number: . Formally, the analogy is stated as a
symmetric bilinear form (multiplication) and a
quadratic form (squaring). A geometric solution to this is to intersect the curve not with itself, but with a slightly pushed off version of itself. In the plane, this just means translating the curve in some direction, but in general one talks about taking a curve that is
linearly equivalent to , and counting the intersection , thus obtaining an intersection number, denoted . Note that
unlike for distinct curves and , the
actual points of intersection are not defined, because they depend on a choice of , but the “self intersection points of can be interpreted as
generic points on , where . More properly, the self-intersection point of is
the generic point of , taken with multiplicity . Alternatively, one can “solve” (or motivate) this problem algebraically by dualizing, and looking at the class of – this both gives a number, and raises the question of a geometric interpretation. Note that passing to cohomology
classes is analogous to replacing a curve by a linear system. Note that the self-intersection number can be negative, as the example below illustrates.
Examples Consider a line in the
projective plane : it has self-intersection number 1 since all other lines cross it once: one can push off to , and (for any choice) of , hence . In terms of intersection forms, we say the plane has one of type (there is only one class of lines, and they all intersect with each other). Note that on the
affine plane, one might push off to a parallel line, so (thinking geometrically) the number of intersection points depends on the choice of push-off. One says that “the affine plane does not have a good intersection theory”, and intersection theory on non-projective varieties is much more difficult. A line on a (which can also be interpreted as the non-singular
quadric in ) has self-intersection , since a line can be moved off itself. (It is a
ruled surface.) In terms of intersection forms, we say has one of type – there are two basic classes of lines, which intersect each other in one point (), but have zero self-intersection (no or terms).
Blow-ups A key example of self-intersection numbers is the exceptional curve of a blow-up, which is a central operation in
birational geometry. Given an
algebraic surface ,
blowing up at a point creates a curve . This curve is recognisable by its
genus, which is , and its self-intersection number, which is . (This is not obvious.) Note that as a corollary, and are
minimal surfaces (they are not blow-ups), since they do not have any curves with negative self-intersection. In fact,
Castelnuovo’s
contraction theorem states the converse: every -curve is the exceptional curve of some blow-up (it can be “blown down”). ==See also==