Definitions and Main Properties
Let us consider a finitely generated graded commutative algebra S over a field K, which is finitely generated by elements of positive degree. This means that
and that .
The Hilbert function
maps the integer n onto the dimension of the K-vector space Sn. The Hilbert series, which is called Hilbert–Poincaré series in the more general setting of graded vector spaces, is the formal series
If S is generated by h homogeneous elements of positive degrees, then the sum of the Hilbert series is a rational fraction
where Q is a polynomial with integer coefficients.
If S is generated by elements of degrees 1 then the sum of the Hilbert series may be rewritten as
where P is a polynomial with positive integer coefficients.
In this case the series expansion of this rational fraction is
where the binomial coefficient is for and 0 otherwise.
This shows that there exists a unique polynomial with rational coefficients, which is equal to for . This polynomial is the Hilbert polynomial. The least n0 such that for n ≥ n0 is called the Hilbert regularity. It may be lower than .
The Hilbert polynomial is a numerical polynomial, since the dimensions are integers, but the polynomial almost never has integer coefficients (Schenck 2003, pp. 41).
All these definitions may be extended to finetely generated graded modules over S, with the only difference that a factor tm appears in the Hilbert series, where m is the minimal degree of the generators of the module, which may be negative.
The Hilbert function, the Hilbert series and the Hilbert polynomial of a filtered algebra are those of the associated graded algebra.
The Hilbert polynomial of a projective variety V in Pn is defined as the Hilbert polynomial of the homogeneous coordinate ring of V.
Read more about this topic: Hilbert Series And Hilbert Polynomial
Famous quotes containing the words definitions, main and/or properties:
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)
“But oh, not the hills of Habersham,
And oh, not the valleys of Hall
Avail: I am fain for to water the plain.
Downward, the voices of Duty call—
Downward, to toil and be mixed with the main,
The dry fields burn, and the mills are to turn,
And a myriad flowers mortally yearn,
And the lordly main from beyond the plain
Calls o’er the hills of Habersham,
Calls through the valleys of Hall.”
—Sidney Lanier (1842–1881)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)