Degree of an algebraic variety

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Degree of an algebraic variety" – news · newspapers · books · scholar · JSTOR (January 2021) (Learn how and when to remove this message)

In mathematics, the degree of an affine or projective variety of dimension n is the number of intersection points of the variety with n hyperplanes in general position.^[1] For an algebraic set, the intersection points must be counted with their intersection multiplicity, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of general position may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of Bézout's theorem (For a proof, see Hilbert series and Hilbert polynomial § Degree of a projective variety and Bézout's theorem).

The degree is not an intrinsic property of the variety, as it depends on a specific embedding of the variety in an affine or projective space.

The degree of a hypersurface is equal to the total degree of its defining equation. A generalization of Bézout's theorem asserts that, if an intersection of n projective hypersurfaces has codimension n, then the degree of the intersection is the product of the degrees of the hypersurfaces.

The degree of a projective variety is the evaluation at 1 of the numerator of the Hilbert series of its coordinate ring. It follows that, given the equations of the variety, the degree may be computed from a Gröbner basis of the ideal of these equations.