# Plane real algebraic curve

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A set of points in the real affine plane (cf. Affine space) whose coordinates satisfy

 (1)

where is a polynomial of degree in the coordinates and ; the number is called the order of the curve . If is a reducible polynomial, i.e. if it splits into factors , then the curve defined by (1) is called reducible and is the union of the curves (the components of ) defined, correspondingly, by the equations

If on the other hand is an irreducible polynomial, is called an irreducible curve. Two irreducible plane real algebraic curves, one of order and the other of order , intersect in at most points (Bezout's theorem).

A given plane real algebraic curve can be defined by different equations. Let be the set of polynomials that vanish at all points of . If is irreducible, then on implies that or is zero; in that case the quotient ring does not have divisors of zero (cf. Zero divisor) and is called the ring of polynomials on (here is the ring of all polynomials).

With an irreducible plane real algebraic curve one associates also a certain field , called the field of rational functions on . It consists of the rational functions , where is not divisible by , considered up to equality on ( and are called equal on the curve defined by (1) if the polynomial is divisible by ). The field is the field of fractions of (cf. Fractions, ring of).

A mapping of the plane into itself is called regular on the plane real algebraic curve if . Curves and are called isomorphic if there are regular mappings (correspondingly, on and ) and that are mutually inverse; then the rings and are isomorphic. In particular, affinely-equivalent curves are isomorphic.

More generally, a rational mapping from a curve to a curve is represented by rational functions. It establishes a correspondence between all points on the curves apart from a finite number of them and is defined as follows. Let and be equations of and , respectively; then a rational mapping is defined by a pair of rational functions and defined on and such that on . Two curves and are called birationally equivalent if there exist rational mappings from to and from to that are inverse to each other; here the fields and are isomorphic. Such rational mappings are called birational, or Cremona, transformations. All Cremona transformations on the plane are realized by the successive execution of the standard quadratic transformation , and projective transformations. Birational equivalence is a coarser relation than isomorphism, but the classification of plane real algebraic curves from this point of view is simpler and easier to survey.

A very simple example of a rational mapping is a projective transformation. An important part is played by the dual mapping of an irreducible curve distinct from a straight line into the curve dual to , defined by the formulas:

 (2)

where is a polynomial defining . The equation

defining , is obtained by eliminating and from (1) and (2). The relationship between the dual mapping and the tangential transformation means that the curve itself in some cases can be represented as the envelope of the family of straight lines tangent to .

The order of is called the class of the curve . The duality relation is reciprocal, i.e. , and it is a reflection of the duality principle in projective geometry.

A point on the plane real algebraic curve defined by (1) is called a singular point if at . The analysis of singularities is a necessary element in the investigation of , but a complete classification of singularities is at present far from being complete (1990).

If all the derivatives of the polynomial up to and including order vanish at a point , while the derivative of order differs from zero at , then is called a point of multiplicity , and it is called an ordinary point of multiplicity if there exist different tangents there. Examples of singular points are:

1) ; is an ordinary double point, a point of self-intersection;

2) ; is an isolated point;

3) ; is a cusp, or point of return;

4) ; is a point of self-contact.

A non-singular point on the plane real algebraic curve defined by (1) is called a point of inflection if at ,

 (3)

In other words, points of inflection are points at which intersects the curve defined by (3); is called the Hessian of . The points of inflection on a curve correspond to points of return on the dual curve .

The following relation (due to F. Klein, 1876) holds for any plane real algebraic curve:

where is the order of , is its class, is the number of points of inflection on , is the number of isolated double tangents to (double points on ), is the number of points of return on (points of inflection on ), and is the number of double points on . See also Plücker formulas.

Any irreducible plane curve is birationally equivalent to an irreducible curve having only ordinary singularities.

The genus, or type, of a plane real algebraic curve is defined as the difference between the largest number of double points that can have and their actual number. The genus and the order of a curve are related by

where the summation extends over the points of multiplicity for all .

Curves of genus zero (also called rational or unicursal curves) have an important property: The coordinates of a point moving along such a curve can be expressed by rational functions and of some parameter . In other words, curves of genus zero are birationally equivalent to a straight line. Unicursal curves have important applications. Let, for example, the equation of such a curve define as an algebraic function of ; then for any rational function , the indefinite integral

can be expressed in terms of elementary functions.

Curves of genus 1 are closely related to elliptic functions (cf. Elliptic function) and are birationally equivalent to third-order curves without singularities. Certain curves of genus (so-called hyper-elliptic curves) are birationally equivalent to a curve of order having a unique singular point of multiplicity .

The genus is a birational invariant, but two curves having the same genus are not necessarily birationally equivalent.

A complete classification has not yet been obtained (1983) for curves of order . An irreducible second-order curve is either an empty set, an ellipse, a hyperbola, or a parabola (see Second-order curve). These curves are non-singular and unicursal.

I. Newton (1704) proposed the first classification of curves of order three, and thus laid the basis of a systematic study of plane real algebraic curves. The basis of the classification is the subdivision of curves of order three into classes in accordance with the number and character of the infinite branches. The equation for the curve can be reduced to one of four canonical forms , , , and by a suitable choice of the coordinate system; these are then divided into classes, subclasses and types (see scheme).

Figure: p072800a

Newton's classification of third-order curves.

For each third-order curve there is either a (unique) double point, and then is unicursal, or a point of inflection, which may lie at infinity; if there are three points of inflection, these lie on a single straight line, while there cannot be more than three points of inflection.

Completing the affine plane by elements at infinity leads to the projective plane, in which a plane real algebraic curve is defined by the equation

where is a homogeneous polynomial of degree in the projective coordinates , and . The projective classification of curves is simpler; for example, any third-order curve can be considered as a section of a cone with as directrix one of the five so-called divergent parabolas, i.e. there are five types of projectively-inequivalent cubic curves (Newton's theorem).

When investing plane real algebraic curves it is also useful to use complex numbers and to transfer to the complex plane. See Algebraic curve.

#### References

 [1] R.J. Walker, "Algebraic curves" , Springer (1978) [2] A.S. Smogorzhevskii, E.S. Stolova, "Handbook of the theory of planar curves of the third order" , Moscow (1961) (In Russian) [3] A.A. Savelov, "Planar curves" , Moscow (1960) (In Russian)