Hilbert polynomial

Hilbert polynomial is a fundamental invariant in algebraic geometry and commutative algebra that encodes the asymptotic growth of graded components of a graded module over a graded ring. It arises in the study of projective varieties, homogeneous coordinate rings, and coherent sheaves, and connects classical work by David Hilbert with modern techniques used by researchers at institutions such as Institute for Advanced Study, École Normale Supérieure, University of Göttingen, and Harvard University. The polynomial provides numerical invariants like degree and dimension, used in classification results that appear in the work of figures associated with Alexander Grothendieck, Oscar Zariski, Jean-Pierre Serre, and Jean-Louis Koszul.

Definition

Let S be a finitely generated graded algebra over a field k, for example the homogeneous coordinate ring of a projective scheme defined in projective space such as P^n studied in the context of Italian school of algebraic geometry and modern framings by Grothendieck at Institut des Hautes Études Scientifiques. For a finitely generated graded S-module M, consider the Hilbert function H_M(n) = dim_k M_n, the k-vector space dimension of the degree-n piece M_n. For large integers n this function agrees with a polynomial P_M(n) with rational coefficients; this polynomial is the object defined by David Hilbert in the analysis that influenced later developments at University of Göttingen and in correspondence with mathematicians like Felix Klein and Emmy Noether. The degree of P_M equals the Krull dimension of M minus one when S is standard graded; the leading coefficient encodes the multiplicity or degree of the corresponding projective variety, notions further refined in the work of Jean-Pierre Serre and Oscar Zariski.

Properties

The Hilbert polynomial enjoys several structural properties used throughout algebraic geometry and commutative algebra. For a projective scheme X embedded in P^n with homogeneous coordinate ring S/I, the polynomial determines the arithmetic degree of X and stabilizes the Hilbert function beyond the regularity bound connected to Castelnuovo–Mumford regularity studied by Giuseppe Castelnuovo and David Mumford. Additivity holds in short exact sequences of graded modules, a fact exploited by researchers at Massachusetts Institute of Technology and Princeton University in deriving cohomological vanishing results originating from work by Alexander Grothendieck and Jean-Pierre Serre. Behavior under flat families is controlled: flat projective families over schemes such as those considered at Harvard University or Stanford University preserve the Hilbert polynomial on fibers, a foundational input to constructions like the Hilbert scheme developed in part by Alexander Grothendieck and later studied by scholars at University of California, Berkeley and Columbia University. The Hilbert polynomial is invariant under projective coordinate changes implemented by automorphisms of P^n studied in projective transformation theory dating back to Felix Klein.

Computation and examples

Concrete computation of the polynomial uses techniques like Gröbner bases introduced by Bruno Buchberger and syzygy theory from the Hilbert syzygy theorem proved by David Hilbert and refined by later work at ETH Zurich and University of Bonn. For a hypersurface in P^n defined by a homogeneous polynomial of degree d, the Hilbert polynomial equals the polynomial for P^{n-1} shifted by d, yielding degree and genus data familiar from classical studies by Federigo Enriques and Guido Castelnuovo. For example, a projective line studied in the tradition of Bernhard Riemann and Karl Weierstrass has Hilbert polynomial n+1; a plane curve of degree d gives leading term (d/1!) n plus lower terms encoding arithmetic genus, a concept refined by Oscar Zariski and David Mumford. Algorithmic packages developed at research centers like University of Illinois at Urbana–Champaign and University of Sydney implement Gröbner basis methods to compute Hilbert series and extract the polynomial via partial fraction decomposition or use of the Hilbert–Serre theorem associated with Jean-Pierre Serre.

Applications

The Hilbert polynomial is central to moduli problems, used in constructing the Hilbert scheme classifying subschemes of P^n with fixed polynomial; this construction underpins work of geometers at Institute for Advanced Study and Courant Institute. In intersection theory, multiplicities that appear as leading coefficients relate to enumerative counts in traditions traced to Hermann Schubert and modern intersection theory formalized by William Fulton and Jean-Pierre Serre. In computational algebra, the polynomial helps determine dimension and degree used in symbolic computation systems developed at Wolfram Research and research groups at INRIA. It also informs deformation theory of schemes and sheaves pursued at institutions like Max Planck Institute for Mathematics and Princeton University, entering into classification theorems for vector bundles on projective varieties investigated by scholars influenced by Michael Atiyah and Isadore Singer.

Generalizations and variants

Numerous extensions generalize the classical polynomial. Multigraded Hilbert polynomials arise for rings graded by abelian groups in contexts studied at Brown University and University of Chicago, used in toric geometry developed by researchers associated with Kenji Fukaya and David Cox. Hilbert series refine the polynomial by encoding full graded structure; the Hilbert–Poincaré series appears in representation-theoretic settings such as those explored at Massachusetts Institute of Technology and University of Cambridge. Local versions include Hilbert–Samuel polynomials used in singularity theory examined by specialists at University of Warwick and University of Oxford. Relative and equivariant variants appear in geometric invariant theory work pioneered by David Mumford and advanced at Imperial College London and ETH Zurich, while numerical invariants derived from the Hilbert polynomial feed into modern enumerative frameworks like Donaldson–Thomas theory and Gromov–Witten theory developed across institutions including Caltech and Princeton University.

Category:Algebraic geometry