Segre Hilbert polynomial and degree
ID: segre-hilbert-polynomial-and-degree
For the Segre embedding of , the homogeneous coordinate ring is the algebra generated by , assigning degree one to every generator. Its degree- piece consists of all polynomials bihomogeneous of bidegree : pair the factors of an -monomial with the factors of a -monomial to express any such monomial as a product of generators. Counting the independent monomials gives the displayed Hilbert polynomial, agreeing with the Hilbert function for every integer . Its polynomial degree is , giving the variety's dimension. Its leading coefficient is , giving embedded projective degree . The two uses of degree therefore describe different quantities.
New to topics? Read the docs here!