Algebraic Curve - Non Plane Algebraic Curves

Non Plane Algebraic Curves

An algebraic curve is an algebraic variety of dimension one. This implies that an affine curve in an affine space of dimension n is defined by, at least, n -1 polynomials in n variables. To define a curve, these polynomials must generate a prime ideal of Krull dimension 1. This condition is not easy to test in practice. Therefore the following way to represent non plane curves may be preferred.

Let be n-1 polynomials in two variables and such that f is irreducible. The points in the affine space of dimension n such whose coordinates satisfy the equations and inequations

\begin{align} &f(x_1,x_2)=0\\ &g_0(x_1,x_2)\neq 0\\ x_3&=\frac{g_3(x_1,x_2)}{g_0(x_1,x_2)}\\ \vdots &\\ x_n&=\frac{g_n(x_1,x_2)}{g_0(x_1,x_2)} \end{align}

are all the points of an algebraic curve in which a finite number of points have been removed. This curve is defined by a system of generators of the ideal of the polynomials h such that it exists an integer k such belongs to the ideal generated by .

This representation is a rational equivalence between the curve and the plane curve defined by f. Every algebraic curve may be represented in this way. However, a linear change of variables may be needed in order to make almost always injective the projection on the two first variables. When a change of variables is needed, almost every change is convenient, as soon as it is defined over an infinite field.

This representation allows to deduce easily any property of a non-plane algebraic curve, including its graphical representation, from the corresponding property of its plane projection.

For a curve defined by its implicit equations, above representation of the curve may easily deduced from a Gröbner basis for a block ordering such that the block of the smaller variables is The polynomial f is the unique polynomial in the base that depends only of and . The fractions are obtained by choosing, for i = 3, ..., n, a polynomial in the basis that is linear in and depends only on and . If these choices are not possible, this means either that the equations define an algebraic set that is not a variety, or that the variety is not of dimension one, or that one must change of coordinates. The latter case occurs when f exists and is unique, and, for i = 3, ..., n, there exist polynomials whose leading monomial depends only on and

Read more about this topic:  Algebraic Curve

Famous quotes containing the words plane, algebraic and/or curves:

    “Have you ever been up in your plane at night, alone, somewhere, 20,000 feet above the ocean?... Did you ever hear music up there?... It’s the music a man’s spirit sings to his heart, when the earth’s far away and there isn’t any more fear. It’s the high, fine, beautiful sound of an earth-bound creature who grew wings and flew up high and looked straight into the face of the future. And caught, just for an instant, the unbelievable vision of a free man in a free world.”
    —Dalton Trumbo (1905–1976)

    “I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
    —Henry David Thoreau (1817–1862)

    “For a hundred and fifty years, in the pasture of dead horses,
    roots of pine trees pushed through the pale curves of your ribs,
    yellow blossoms flourished above you in autumn, and in winter
    frost heaved your bones in the ground—old toilers, soil makers:
    O Roger, Mackerel, Riley, Ned, Nellie, Chester, Lady Ghost.”
    —Donald Hall (b. 1928)