Let . Under the reduced plane curve convention, the distinct irreducible components have . Away from intersections with other components, a point of is nonsingular on the union exactly when it is nonsingular on . For example, a local equation of the union is the equation of multiplied by a nonvanishing factor. At an intersection of two components, differentiating their product makes every first partial derivative vanish. Therefore
Part (b) bounds the number of singular points of by . For each distinct pair of irreducible components, Bézout's theorem bounds the number of distinct intersections by . The cardinality of a union is at most the sum of the cardinalities, even if some points have been counted several times. Hence
The reduced convention matters. If one instead allows the equation as a nonreduced curve and uses its equation to test singularity, every point on its supporting line has vanishing first partial derivatives. A finite bound would then be false.
Articles by others on the same topic
There are currently no matching articles.