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

: y 2 = x 2( 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 ) = y 2 − x 2( 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 (ring theory) 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

: X i − P i

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: