Singular point of an algebraic variety
From Biocrawler, the free encyclopedia.
In mathematics, a singular point of an algebraic variety V is a point P that is 'special' (so, singular), in the geometric sense that V is not locally flat there. In the case of an algebraic curve, a plane curve that has a double point, such as the cubic curve
- y2 = x2(x + 1)
exhibits at (0, 0), cannot simply be parametrized near the origin.
The reason for that algebraically is that both sides of the equation show powers higher than 1 of the variables x and y. In terms of differential calculus, if
- F(x,y) = y2 − x2(x + 1)
so that the curve has equation
- F(x,y) = 0,
then the partial derivatives of F with respect to both x and y vanish at (0,0). This means that if we try to use the implicit function theorem to express y as a function of x near y = 0, we shall fail; and indeed no linear combination of x and y is a function of another essentially different one, so that this is a geometric condition not tied to any choice of coordinate axes.
In general for a hypersurface
- F(x, y, z, ...) = 0
the singular points are those at which all the partial derivatives simultaneously vanish. A general algebraic variety V being defined by several polynomials, or in algebraic terms an ideal of polynomials, the condition on a point P to be a singular point of V is that none of those polynomials have a non-zero linear (degree 1) term, when written in terms of variables
- Xi − Pi
that make P the origin of coordinates. See Zariski tangent space for geometric and algebraic interpretation.
Points of V that are not singular are non-singular. Apart from some technical questions that can be caused by non-zero characteristic, it is always true that most points are non-singular.
See also:
