Linear system of divisors

Linear system of divisors
A linear system of divisors algebraicizes the classic geometric notion of a family of curves, as in the Apollonian circles.

In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family.

These arose first in the form of a linear system of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors D on a general algebraic variety V.

A linear system of dimension 1, 2, or 3 is called a pencil, a net, or a web.

Contents

Definition by means of functions

Given the fundamental idea of a rational function on a general variety V, or in other words of a function f in the function field of V, divisors D and E are linearly equivalent if

D = E + (f)\

where (f) denotes the divisor of zeroes and poles of the function f.

Note that if V has singular points, 'divisor' is inherently ambiguous (Cartier divisors, Weil divisors: see divisor (algebraic geometry)). The definition in that case is usually said with greater care (using invertible sheaves or holomorphic line bundles); see below.

A complete linear system on V is defined as the set of all effective divisors linearly equivalent to some given divisor D. It is denoted |D|. Let L(D) be the line bundle associated to D. It can be proved that |D| corresponds bijectively to  (\Gamma(V,L) \setminus \{0\})/k^{\ast}, [1] and is therefore a projective space.

A linear system  \mathfrak{d} is then a projective subspace of a complete linear system, so it corresponds to a vector subspace W of  (\Gamma(V,L) \setminus \{0\})/k^{\ast}. The dimension of the linear system  \mathfrak{d} is its dimension as a projective space. Hence  \dim \mathfrak{d} = \dim W - 1 .

Base locus

If all divisors in the system share a common divisor, this is referred to as the base locus of the linear system. Geometrically, this corresponds to the common intersection of the varieties. Linear systems may or may not have a base locus – for example, the pencil of affine lines x = a has no common intersection, but given two (nondegenerate) conics in the complex projective plane, they intersect in four points (counting with multiplicity) and thus the pencil they define has these points as base locus.

Linear system of conics

For example, the conic sections in the projective plane form a linear system of dimension five, as one sees by counting the constants in the degree two equations. The condition to pass through a given point P imposes a single linear condition, so that conics C through P form a linear system of dimension 4. Other types of condition that are of interest include tangency to a given line L.

In the most elementary treatments a linear system appears in the form of equations

\lambda C + \mu C' = 0\

with λ and μ unknown scalars, not both zero. Here C and C′ are given conics. Abstractly we can say that this is a projective line in the space of all conics, on which we take

[\lambda : \mu]\

as homogeneous coordinates. Geometrically we notice that any point Q common to C and C′ is also on each of the conics of the linear system. According to Bézout's theorem C and C′ will intersect in four points (if counted correctly). Assuming these are in general position, i.e. four distinct intersections, we get another interpretation of the linear system as the conics passing through the four given points (note that the codimension four here matches the dimension, one, in the five-dimensional space of conics). Note that of these conics, exactly three are degenerate, each consisting of a pair of lines, corresponding to the \textstyle{\binom{4}{2,2}=3} ways of choosing 2 pairs of points from 4 points (counting via the multinomial coefficient).

Applications

A striking application of such a family is in (Faucette 1996) which gives a geometric solution to a quartic equation by considering the pencil of conics through the four roots of the quartic, and identifying the three degenerate conics with the three roots of the resolvent cubic.

Example

External videos
Type I linear system, (Coffman).

For example, given the four points (\pm 1, \pm 1), the pencil of conics through them can be parameterized as ax2 + (1 − a)y2 = 1, which are the affine combinations of the equations x2 = 1 and y2 = 1, corresponding to the parallel vertical lines and horizontal lines; this yields degenerate conics at the standard points of 0,1,\infty. A less elegant but more symmetric parametrization is given by (1 + a)x2 + (1 − a)y2 = 2, in which case inverting a (a \mapsto -a) interchanges x and y, yielding the following pencil; in all cases the center is at the origin:

  • a > 1: hyperbolae opening left and right;
  • a = 1: the parallel vertical lines x = − 1,x = 1;
(intersection point at [1:0:0])
  • 0 < a < 1: ellipses with a vertical major axis;
  • a = 0: a circle (with radius \sqrt{2});
  • − 1 < a < 0: ellipses with a horizontal major axis;
  • a = − 1: the parallel horizontal lines y = − 1,y = 1;
(intersection point at [0:1:0])
  • a < − 1: hyperbolae opening up and down,
  • a=\infty: the diagonal lines y = x,y = − x;
(dividing by a and taking the limit as a \to \inftyyields x2y2 = 0)
(intersection point at [0:0:1])
  • This then loops around to a > 1, since pencils are a projective line.

In the terminology of (Levy 1964), this is a Type I linear system of conics, and is animated in the linked video.

Classification

There are 8 types of linear systems of conics over the complex numbers, depending on intersection multiplicity at the base points, which divide into 13 types over the real numbers, depending on whether the base points are real or imaginary; this is discussed in (Levy 1964) and illustrated in (Coffman).

Other examples

The Cayley–Bacharach theorem is a property of a pencil of cubics, which states that the base locus satisfies an "8 implies 9" property: any cubic containing 8 of the points necessarily contains the 9th.

Linear systems in birational geometry

In general linear systems became a basic tool of birational geometry as practised by the Italian school of algebraic geometry. The technical demands became quite stringent; later developments clarified a number of issues. The computation of the relevant dimensions — the Riemann-Roch problem as it can be called — can be better phrased in terms of homological algebra. The effect of working on varieties with singular points is to show up a difference between Weil divisors (in the free abelian group generated by codimension-one subvarieties), and Cartier divisors coming from sections of invertible sheaves.

The Italian school liked to reduce the geometry on an algebraic surface to that of linear systems cut out by surfaces in three-space; Zariski wrote his celebrated book Algebraic Surfaces to try to pull together the methods, involving linear systems with fixed base points. There was a controversy, one of the final issues in the conflict between 'old' and 'new' points of view in algebraic geometry, over Henri Poincaré's characteristic linear system of an algebraic family of curves on an algebraic surface.

Line bundle/invertible sheaf language

Linear systems are still at the heart of contemporary algebraic geometry; but they are typically introduced by means of the ample line bundle language. That is, the language of sheaf theory is considered the most natural starting point, at least to learn the theory. In those terms, divisors D (Cartier divisors, importantly) correspond to line bundles, and linear equivalence of two divisors means that the corresponding line bundles are isomorphic.

References

  1. ^ Hartshorne, R. 'Algebraic Geometry', proposition II.7.7, page 157

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Linear system — A linear system is a mathematical model of a system based on the use of a linear operator.Linear systems typically exhibit features and properties that are much simpler than the general, nonlinear case.As a mathematical abstraction or… …   Wikipedia

  • Clifford's theorem on special divisors — In mathematics, Clifford s theorem on special divisors is a result of W. K. Clifford on algebraic curves, showing the constraints on special linear systems on a curve C. If D is a divisor on C, then D is (abstractly) a formal sum of points P on C …   Wikipedia

  • Divisor (algebraic geometry) — In algebraic geometry, divisors are a generalization of codimension one subvarieties of algebraic varieties; two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil). These… …   Wikipedia

  • Base locus — In mathematics, specifically algebraic geometry, the base locus of a linear system of divisors on a variety refers to the subvariety of points common to all divisors in the linear system.More precisely, suppose that [D] is a linear system of… …   Wikipedia

  • Special divisor — In mathematics, in the theory of algebraic curves, certain divisors on a curve C are particular, in the sense of determining more compatible functions than would be predicted. These are the special divisors. In classical language, they move on… …   Wikipedia

  • Homogeneous coordinate ring — In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN]/I where I is the homogeneous ideal… …   Wikipedia

  • Ample line bundle — In algebraic geometry, a very ample line bundle is one with enough global sections to set up an embedding of its base variety or manifold M into projective space. An ample line bundle is one such that some positive power is very ample. Globally… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Theta-divisor — In mathematics, the theta divisor Theta; is the divisor in the sense of algebraic geometry defined on an abelian variety A over the complex numbers (and principally polarized) by the zero locus of the associated Riemann theta function. It is… …   Wikipedia

  • Lefschetz pencil — In mathematics, a Lefschetz pencil is a construction in algebraic geometry considered by Solomon Lefschetz, in order to analyse the algebraic topology of an algebraic variety V . A pencil here is a particular kind of linear system of divisors on… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”