Give the smooth curve its complex orientation. The cellular homology of complex projective space gives , generated by the class of a projective line. Thus for a unique integer , its homological degree of a smooth complex plane curve. Two distinct projective lines meet transversely in one point with positive sign, so . Therefore the degree is the intersection number with any transverse projective line.
For the displayed curve, take and put . If , its three partial derivatives cannot vanish simultaneously at a projective point; if , the equation defines a line and is also smooth. Intersect with . Every intersection has , so in the chart the points are
There are exactly distinct points. At each, . In affine coordinates the curve is a graph , whereas the line is ; their tangent lines are transverse. For the curve tangent at the point is the -direction, while for it is the direction , still transverse to .
Each intersection contributes , not merely an unsigned count: both tangent spaces are complex lines, and the real determinant of the complex-linear isomorphism from their direct sum to the ambient tangent space is the squared modulus of its complex determinant, hence positive. Therefore , and
This computes the degree by explicit transverse intersections, without using Bézout's theorem to assume the answer.

Articles by others on the same topic (0)

There are currently no matching articles.