An algebraic variety of dimension one. An algebraic curve is the most frequently studied object in algebraic geometry. In the sequel, an algebraic curve means an irreducible algebraic curve over an algebraically closed field.
The simplest and clearest concept is that of a plane affine algebraic curve. This is a set of points in an affine plane satisfying the equation , where is a polynomial with coefficients from an algebraically closed field . The field of rational functions of an irreducible algebraic curve over is the field of algebraic functions in one variable of the form , where and are connected by the equation , where is a polynomial over . This means that every algebraic curve is birationally isomorphic to a plane affine curve.
It has been known for a long time that even when studying affine curves fundamental relationships can only be revealed by considering points at an infinite distance, and by a detailed study of the singular points. In order to study all the points of an affine curve, the curve is imbedded into a projective space , with subsequent closure in the Zariski topology. In this way a projective curve is obtained, and the initial affine curve may be obtained from by deleting a finite number of points. If is irreducible, then and are birationally isomorphic. Every complete algebraic curve is projective. If is a smooth projective curve, then all valuation rings of the field are given by the local rings , (cf. Local ring). If two smooth projective curves are birationally equivalent, then they are isomorphic. A normal algebraic curve is smooth. In particular, any irreducible algebraic curve is birationally equivalent to a smooth projective curve. The projective model of an algebraic curve, obtained by the process of normalization, lies in some space . Any smooth projective curve is isomorphic to a curve situated in . Any plane algebraic curve can be converted by a Cremona transformation into a curve with ordinary singular points.
Divisors on a smooth algebraic curve are represented by linear combinations of points with integer coefficients
where for almost all (cf. Divisor). If all , the divisor is called positive, or effective, which is written as . The degree of the divisor is the number
The principal divisors form a subgroup of the group of all divisors on . The quotient group is called the group of divisor classes and is denoted by . The group is isomorphic to the group of classes of one-dimensional vector bundles on (cf. Vector bundle, algebraic). The degree of the principal divisors on a smooth projective curve is zero, and thus all divisors in one class are of the same degree. In particular, one can speak of the degree of a divisor class, and of the subgroup of divisor classes of degree zero. The following equality is valid:
For the line , i.e. any divisor of degree zero is a principal divisor. This property is characteristic for rational smooth projective curves.
For any complete algebraic curve , the number is known as the arithmetic genus of the algebraic curve . If is smooth, is identical with the dimension of the space of all regular differential forms on ; this dimension is known as the genus of . By definition, the genus of an algebraic curve is equal to the genus of its non-singular model. For any non-negative integer there exists an algebraic curve of genus . Rational curves are distinguished by the equality . If is a projective plane curve of order , then
and its genus is given by the formula:
where is a non-negative integer which is a measure of the smoothness on . If has only ordinary double points, is simply the number of singular points.
In particular, the genus of a plane smooth projective curve is given by
which means that not every smooth projective curve is plane. For a curve in space the following estimate holds:
where is the degree of . Curves of degree of maximal genus exist for each value of and lie on a quadric (G. Halphen, 1870).
The degree of the canonical class of a smooth projective curve is connected with the genus of the curve by means of the formula . If a smooth projective curve lies on a smooth algebraic surface , the adjunction formula holds. In particular, . For an arbitrary divisor on , one can consider the subset of the field consisting of zero and of the functions for which . This is a linear space over of finite dimension . The dimension of the complete linear system defined by the divisor is and the calculation of is an important task of the theory of algebraic curves. The strongest relevant result is the Riemann–Roch theorem. For smooth projective curves this theorem is the equality
where is the genus of the curve . If (or if ), one says that is special (or, respectively, non-special). For non-special divisors the Riemann–Roch theorem yields . Each divisor of degree higher than is non-special.
The class of divisors which are linearly equivalent to a divisor on a smooth projective curve defines a point on the Jacobi variety of . This variety is identical with the Albanese variety and with the Picard variety of . Points which correspond to classes of special divisors are singular points of the Poincaré divisor on . If denotes the subset of points of which correspond to the classes of divisors with and , then forms a subscheme in and
(the Riemann–Brill–Noether theorem). This theorem has numerous applications, one of which will now be described. Any divisor for which defines a rational mapping of the curve into the projective space . The mapping depends on the class of . If , then defines an isomorphic imbedding of into , while is not contained in any proper subspace of the space (). Mappings which correspond to a multiple of the canonical class of are the most interesting from the point of view of the birational classification of curves. If , the class defines an isomorphic imbedding of the smooth projective curve into . Two curves and are birationally equivalent if and only if their images and are obtained from each other by a projective transformation of . The study of the mapping yielded a more precise characteristic of curves of genus . For these curves is an isomorphic imbedding if and only if is not a hyper-elliptic curve. If is an isomorphism, the curve is called canonical; it is defined uniquely up to projective transformations in . A very important task of the theory of algebraic curves is their classification up to a birational isomorphism. A number of important results have been obtained in this field, but an adequate solution of the problem is not available now (1977).
Smooth projective curves are subdivided into four classes:
1) curves of genus 0, birationally equivalent to ;
2) curves of genus 1 (elliptic curves), birationally equivalent to a smooth cubic curve in ;
3) hyper-elliptic curves;
4) non-hyper-elliptic curves of genus , birationally equivalent to a canonical curve in (algebraic curves of basic type).
The genus of a curve does not fully characterize the birational class of an algebraic curve. The only exception are curves of genus zero. If is the field of complex numbers , the set of classes of mutually-isomorphic elliptic curves is described by points in the quotient space , where is the upper half-plane and is the modular group consisting of rational-linear transformations with integral coefficients and with determinant equal to . The space has the structure of an analytic manifold isomorphic to (cf. Elliptic curve). Classes of birationally equivalent curves of genus are described by points belonging to some algebraic variety of dimension , which is called the moduli variety of curves of genus . This variety is irreducible. According to one conjecture is unirational; however, this has been proved (by F. Severi) for only.
The following results are valid for the group of automorphisms of a smooth projective curve . 1) If is , then is the group of rational-linear transformations . 2) If is an elliptic curve, then is an algebraic group, the connected component of the unit of which coincides with the group of points of . 3) If is a curve of genus , then is always a finite group. Its order is bounded by the number . Weierstrass points (cf. Weierstrass point) on play an important role in the study of the group in the latter case.
Another way of studying is based on the fact that all smooth projective curves are finite (ramified) coverings of the projective line.
Let be a smooth projective curve defined over the field . The set of points of the curve has the natural structure of a one-dimensional compact analytic manifold, which is also known as a compact Riemann surface. The converse is also true, i.e. any compact Riemann surface is obtained from some smooth projective curve. Usually one uses the same symbol for the smooth projective curve and its corresponding one-dimensional complex manifold. Any connected complex manifold can be represented as a quotient , where is a simply-connected complex manifold, and is a group of automorphisms of which acts on discretely and freely. It is noteworthy that there are only three one-dimensional simply-connected connected analytic manifolds, up to an isomorphism. These are the projective line (the Riemann sphere), the affine straight line (the finite plane) and the interior of the unit disc (the Lobachevskii plane). All smooth projective curves are subdivided into three classes, depending on which one of the three types their universal covering belongs to.
The problem of classifying smooth projective curves of a given type can be reduced to the study of discrete groups of transformations of the universal coverings which act freely with a relatively compact fundamental domain. In the case of the projective line, is the identity group; in the case of the affine straight line, is isomorphic to a subgroup of the additive group which is a two-dimensional lattice in ; in the case of the interior of the unit disc, is a subgroup of motions in the Lobachevskii plane which can be defined by some non-Euclidean bounded polygon. Thus, the first class above contains a unique curve , the second class consists of complex tori that all have the structure of a one-dimensional Abelian variety (elliptic curve), the addition of points on the torus defining the group structure on the respective curve. All smooth elliptic curves are obtained in this way. The field of rational functions on an elliptic curve is isomorphic to the field of meromorphic doubly-periodic (elliptic) functions with period group . If is the equation of the affine model of the curve , then there exists a parametrization , by elliptic functions of it (a uniformization of ). The third class consists of all smooth projective curves of genus . In this case the field is isomorphic to the field of meromorphic functions on that are invariant with respect to the group . Such functions are known as automorphic. Every algebraic curve of genus is uniformized by automorphic functions (cf. Uniformization). The problem of the classification of elliptic curves also led to a study of the quotient , but this situation is substantially different from the one just discussed. First, the group has fixed points in ; secondly, the manifold is non-compact, though containing a finite Lobachevskii plane. The study of the general case of such groups, and of the respective quotients, plays an important role in modern arithmetical research.
If an algebraic curve is defined over a non-closed field , one of the most important problems is that of the existence and location of the set of rational points of . In the case of a smooth projective curve over a finite field a proof has been given of the inequality , where is the number of points on that are rational over a finite extension of , is the number of elements of and is the genus of . This inequality is equivalent to the Riemann hypothesis concerning the zeros of the -function of , viz. that all zeros of the -function lie on the vertical line (cf. Zeta-function in algebraic geometry).
Now let be an algebraic curve defined over the field of rational numbers . For curves of genus zero the points of are relatively easily found, for elliptic curves the rational points constitute a finitely-generated group (if is non-empty), while for curves of genus there is the Mordell conjecture to the effect that is finite.
If the ground field is the field of rational functions of a smooth projective curve , each smooth projective curve over is isomorphic to the general fibre of the morphism of a smooth projective algebraic surface over . This morphism is uniquely defined if it is assumed that its fibres do not contain exclusively curves of genus 1. The set of rational points is in one-to-one correspondence with the set of sections of , and is finite for curves of genus . Curves of genus 0 and 1 over the field are studied in the theory of algebraic surfaces (cf. Elliptic surface; Ruled surface).
|||I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001|
|||R.J. Walker, "Algebraic curves" , Springer (1978) MR0513824 Zbl 0399.14016|
|||D. Mumford, "Lectures on curves on an algebraic surface" , Princeton Univ. Press (1966) MR0209285 Zbl 0187.42701|
|||C. Chevalley, "Introduction to the theory of algebraic functions of one variable" , Amer. Math. Soc. (1951) MR0042164 Zbl 0045.32301|
|||J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) MR0103191|
|||N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian)|
|||G. Springer, "Introduction to Riemann surfaces" , Addison-Wesley (1957) pp. Chapt.10 MR0092855 Zbl 0078.06602|
|||I.V. Dolgachev, V.A. Iskovskikh, "Geometry of algebraic varieties" J. Soviet Math. , 5 : 6 (1976) pp. 803–864 Itogi Nauk. i Tekhn. Algebra Topol. Geom. , 12 (1974) pp. 77–170|
Estimate (1) above is due to G. Castelnuovo [a1]. A proof can also be found in [a2], [a3], [a4]. Reference [a2] also contains new results on the Riemann–Noether–Brill theorem, e.g. it has been proven that equality holds in the theorem for a generic curve in the sense of moduli; this reference also gives a survey of recent developments in the theory of algebraic curves.
The moduli space of curves is of general type, thus not unirational, if is odd and (J.E. Harris and D. Mumford) or if is even and (Harris), [a5].
The Mordell conjecture, i.e. every curve of genus at least two over a number field has only a finite number of rational points, has been proved by G. Faltings [a6].
|[a1]||G. Castelnuovo, "Studies on the geometry of algebraic curves" Atti R. Acad. Sci. Torin , 24 (1889) pp. 196–223 (In Italian)|
|[a2]||E. Arbarello, M. Cornalba, P.A. Griffiths, J.E. Harris, "Geometry of algebraic curves" , 1 , Springer (1985) MR0770932 Zbl 0559.14017|
|[a3]||P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001|
|[a4]||R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. 13; 170; 316; 381 MR0463157 Zbl 0367.14001|
|[a5]||D. Mumford, J. Harris, "On the Kodaira dimension of the moduli space of curves" Invent. Math. , 67 (1982) pp. 23–88 MR0664324 Zbl 0506.14016|
|[a6]||G. Faltings, "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" Invent. Math. , 73 (1983) pp. 349–366 (Erratum: Invent. Math (1984), 381) MR0718935 MR0732554 Zbl 0588.14026|
Algebraic curve. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Algebraic_curve&oldid=21845