In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, and especially in
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, 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
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
. One needs a definition of intersection number in order to state results like
Bézout's theorem
Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of polynomials in indeterminates. In its original form the theorem states that ''in general'' the number of common zeros equals the product of the degr ...
.
The intersection number is obvious in certain cases, such as the intersection of ''x''- and ''y''-axes which should be one. The complexity enters when calculating intersections at points of tangency and intersections along positive dimensional sets. 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
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theore ...
.
Definition for Riemann surfaces
Let ''X'' be a
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...
. 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
), we can associate a
differential form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, ...
of compact support with the property that integrals along ''c'' can be calculated by integrals over ''X'':
:
, for every closed (1-)differential
on ''X'',
where
is the
wedge product
A wedge is a triangular shaped tool, and is a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by converti ...
of differentials, and
is the
Hodge star
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the ...
. Then the intersection number of two closed curves, ''a'' and ''b'', on ''X'' is defined as
:
.
The
have an intuitive definition as follows. They are a sort of
dirac delta
In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire ...
along the curve ''c'', accomplished by taking the differential of a
unit step function
The Heaviside step function, or the unit step function, usually denoted by or (but sometimes , or ), is a step function, named after Oliver Heaviside (1850–1925), the value of which is zero for negative arguments and one for positive argume ...
that drops from 1 to 0 across ''c''. More formally, we begin by defining for a simple closed curve ''c'' on ''X'', a function ''f
c'' by letting
be a small strip around ''c'' in the shape of an annulus. Name the left and right parts of
as
and
. Then take a smaller sub-strip around ''c'',
, with left and right parts
and
. Then define ''f
c'' by
:
.
The definition is then expanded to arbitrary closed curves. Every closed curve ''c'' on ''X'' is
homologous to
for some simple closed curves ''c
i'', that is,
:
, for every differential
.
Define the
by
:
.
Definition for algebraic varieties
The usual constructive definition in the case of algebraic varieties proceeds in steps. The definition given below is for the intersection number of
divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s on a nonsingular variety ''X''.
1. The only intersection number that can be calculated directly from the definition is the intersection of hypersurfaces (subvarieties of ''X'' of codimension one) that are in general position at ''x''. Specifically, assume we have a nonsingular variety ''X'', and ''n'' hypersurfaces ''Z''
''1'', ..., ''Z''
''n'' which have local equations ''f''
''1'', ..., ''f''
''n'' near ''x'' for polynomials ''f''
''i''(''t''
''1'', ..., ''t''
''n''), such that the following hold:
*
.
*
for all ''i''. (i.e., ''x'' is in the intersection of the hypersurfaces.)
*
(i.e., the divisors are in general position.)
* The
are nonsingular at ''x''.
Then the intersection number at the point ''x'' (called the intersection multiplicity at ''x'') is
:
,
where
is the local ring of ''X'' at ''x'', and the dimension is dimension as a ''k''-vector space. It can be calculated as the
localization
Localization or localisation may refer to:
Biology
* Localization of function, locating psychological functions in the brain or nervous system; see Linguistic intelligence
* Localization of sensation, ability to tell what part of the body is a ...
, where
is the maximal ideal of polynomials vanishing at ''x'', and ''U'' is an open affine set containing ''x'' and containing none of the singularities of the ''f''
''i''.
2. The intersection number of hypersurfaces in general position is then defined as the sum of the intersection numbers at each point of intersection.
:
3. Extend the definition to ''effective'' divisors by linearity, i.e.,
:
and
.
4. Extend the definition to arbitrary divisors in general position by noticing every divisor has a unique expression as ''D'' = ''P'' - ''N'' for some effective divisors ''P'' and ''N''. So let ''D''
''i'' = ''P''
''i'' - ''N''
i, and use rules of the form
:
to transform the intersection.
5. The intersection number of arbitrary divisors is then defined using a "
Chow's moving lemma In algebraic geometry, Chow's moving lemma, proved by , states: given algebraic cycles ''Y'', ''Z'' on a nonsingular quasi-projective variety ''X'', there is another algebraic cycle ''Z' '' on ''X'' such that ''Z' '' is rationally equivalent to '' ...
" that guarantees we can find linearly equivalent divisors that are in general position, which we can then intersect.
Note that the definition of the intersection number does not depend on the order in which the divisors appear in the computation of this number.
Serre's Tor formula
Let ''V'' and ''W'' be two subvarieties of a
nonsingular
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that
:\mathbf = \mathbf = \mathbf_n \
where denotes the -by- identity matrix and the multiplica ...
projective variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables w ...
''X'' such that dim(''V'')+dim(''W'')=dim(''X''). Then we expect the intersection ''V''∩''W'' to be a finite set of points. If we try to count them, two kinds of problems may arise. First, even if the expected dimension of ''V''∩''W'' is zero, the actual intersection may be of a large dimension. For example, we could try to find the self-intersection number of a
projective line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; ...
in a
projective plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do ...
. The second potential problem is that even if the intersection is zero-dimensional, it may be non-transverse. For example, ''V'' can be a
tangent line
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
to a plane curve ''W''.
The first problem requires the machinery of
intersection theory
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theore ...
, discussed above in detail. The essential idea is to replace ''V'' and ''W'' by more convenient subvarieties using the
moving lemma. On the other hand, the second problem can be solved directly, without moving ''V'' or ''W''. In 1965
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
described how to find the multiplicity of each intersection point by methods of
commutative algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent ...
and
homological algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precurs ...
. This connection between a geometric notion of intersection and a homological notion of a
derived tensor product In algebra, given a differential graded algebra ''A'' over a commutative ring ''R'', the derived tensor product functor is
:- \otimes_A^ - : D(\mathsf_A) \times D(_A \mathsf) \to D(_R \mathsf)
where \mathsf_A and _A \mathsf are the categories of ri ...
has been influential and led in particular to several
homological conjectures in commutative algebra In mathematics, homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties of a ...
.
The Serre's Tor formula is the following result. Let ''X'' be a
regular variety, ''V'' and ''W'' two subvarieties of complementary dimension such that ''V''∩''W'' is zero-dimensional. For any point ''x''∈''V''∩''W'', let ''A'' be the
local ring In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic num ...
of ''x''. The
structure sheaves of ''V'' and ''W'' at ''x'' correspond to ideals ''I'', ''J''⊆''A''. Then the multiplicity of ''V''∩''W'' at the point ''x'' is
:
where length is the
length of a module In abstract algebra, the length of a module is a generalization of the dimension of a vector space which measures its size. page 153 In particular, as in the case of vector spaces, the only modules of finite length are finitely generated modules. It ...
over a local ring, and Tor is the
Tor functor
In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to constr ...
. When ''V'' and ''W'' can be moved into a transverse position, this homological formula produces the expected answer. So, for instance, if ''V'' and ''W'' meet transversely at ''x'', the multiplicity is 1. If ''V'' is a tangent line at a point ''x'' to a
parabola
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
One descript ...
''W'' in a plane at a point ''x'', then the multiplicity at ''x'' is 2.
If both ''V'' and ''W'' are locally cut out by
regular sequence
In commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This is the algebraic analogue of the geometric notion of a complete intersection.
Definitions
Fo ...
s, for example if they are
nonsingular
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that
:\mathbf = \mathbf = \mathbf_n \
where denotes the -by- identity matrix and the multiplica ...
, then in the formula above all higher Tor's vanish, hence the multiplicity is positive. The positivity in the arbitrary case is one of
Serre's multiplicity conjectures In mathematics, Serre's multiplicity conjectures, named after Jean-Pierre Serre, are certain purely algebraic problems, in commutative algebra, motivated by the needs of algebraic geometry. Since André Weil's initial definition of intersection n ...
.
Further definitions
The definition can be vastly generalized, for example to intersections along subvarieties instead of just at points, or to arbitrary complete varieties.
In algebraic topology, the intersection number appears as the Poincaré dual of the
cup product In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree ''p'' and ''q'' to form a composite cocycle of degree ''p'' + ''q''. This defines an associative (and distributive) graded commutat ...
. Specifically, if two manifolds, ''X'' and ''Y'', intersect transversely in a manifold ''M'', the homology class of the intersection is the
Poincaré dual
Poincaré is a French surname. Notable people with the surname include:
* Henri Poincaré (1854–1912), French physicist, mathematician and philosopher of science
* Henriette Poincaré (1858-1943), wife of Prime Minister Raymond Poincaré
* L ...
of the cup product
of the Poincaré duals of ''X'' and ''Y''.
Snapper–Kleiman definition of intersection number
There is an approach to intersection number, introduced by Snapper in 1959-60 and developed later by Cartier and Kleiman, that defines an intersection number as an Euler characteristic.
Let ''X'' be a scheme over a scheme ''S'', Pic(''X'') the
Picard group
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global ve ...
of ''X'' and ''G'' the Grothendieck group of the category of
coherent sheaves
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with refer ...
on ''X'' whose support is
proper
Proper may refer to:
Mathematics
* Proper map, in topology, a property of continuous function between topological spaces, if inverse images of compact subsets are compact
* Proper morphism, in algebraic geometry, an analogue of a proper map for ...
over an
Artinian subscheme of ''S''.
For each ''L'' in Pic(''X''), define the endomorphism ''c''
1(''L'') of ''G'' (called the
first Chern class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ma ...
of ''L'') by
:
It is additive on ''G'' since tensoring with a line bundle is exact. One also has:
*
; in particular,
and
commute.
*
*
(this is nontrivial and follows from a
dévissage argument.)
The intersection number
:
of line bundles ''L''
''i'''s is then defined by:
:
where χ denotes the
Euler characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space ...
. Alternatively, one has by induction:
:
Each time ''F'' is fixed,
is a symmetric functional in ''L''
''i'''s.
If ''L''
''i'' = ''O''
''X''(''D''
''i'') for some
Cartier divisor
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mu ...
s ''D''
''i'''s, then we will write
for the intersection number.
Let
be a morphism of ''S''-schemes,
line bundles on ''X'' and ''F'' in G with
. Then
:
.
Intersection multiplicities for plane curves
There is a unique function assigning to each triplet
consisting of a pair of projective curves,
and
, in