Zariski Tangent Space - Example: Plane Curve

Example: Plane Curve

For example, suppose given a plane curve C defined by a polynomial equation

F(X,Y) = 0

and take P to be the origin (0,0). When F is considered only in terms of its first-degree terms, we get a 'linearised' equation reading

L(X,Y) = 0

in which all terms XaYb have been discarded if a + b > 1.

We have two cases: L may be 0, or it may be the equation of a line. In the first case the (Zariski) tangent space to C at (0,0) is the whole plane, considered as a two-dimensional affine space. In the second case, the tangent space is that line, considered as affine space. (The question of the origin comes up, when we take P as a general point on C; it is better to say 'affine space' and then note that P is a natural origin, rather than insist directly that it is a vector space.)

It is easy to see that over the real field we can obtain L in terms of the first partial derivatives of F. When those both are 0 at P, we have a singular point (double point, cusp or something more complicated). The general definition is that singular points of C are the cases when the tangent space has dimension 2.

Read more about this topic:  Zariski Tangent Space

Famous quotes containing the words plane and/or curve:

    In time the scouring of wind and rain will wear down the ranges and plane off the region until it has the drab monotony of the older deserts. In the meantime—a two-million-year meantime—travelers may enjoy the cruel beauties of a desert in its youth,....
    —For the State of California, U.S. public relief program (1935-1943)

    The years-heired feature that can
    In curve and voice and eye
    Despise the human span
    Of durance—that is I;
    The eternal thing in man,
    That heeds no call to die.
    Thomas Hardy (1840–1928)