Un polynôme P(n) qui coïncide avec la fonction de Hilbert H(n) d’un module gradué de type fini sur un anneau gradué noethérien pour tous les entiers n assez grands ; il encode le taux de croissance polynomial final des dimensions (ou longueurs) des composantes graduées.

Principe

Stabilisation éventuelle : la fonction de Hilbert peut varier aux petits degrés, mais ses valeurs deviennent données par un même polynôme pour les grands degrés, et le degré et le coefficient dominant du polynôme reflètent des invariants géométriques et homologiques (dimension et multiplicité).

Démonstration

Pour l’anneau de coordonnées homogènes d’une variété projective de dimension d sur un corps, le polynôme de Hilbert est de degré d et son coefficient dominant (multiplié par d!) est égal au degré de la variété ; par exemple, l’anneau k[x0,x1] a pour polynôme de Hilbert P(n)=n+1 pour n≫0, correspondant aux dimensions des polynômes homogènes de degré n en deux variables.

Mauvaise application

Utiliser le polynôme de Hilbert pour déduire des dimensions graduées précises aux petits degrés ou le substituer à la fonction de Hilbert pour tout n ; l’appliquer à des modules qui ne sont pas de type fini ou à des anneaux dépourvus de graduation adaptée où la stabilisation échoue.

Conséquence

Lorsqu’il existe, le polynôme de Hilbert fournit des invariants stables (degré, genre arithmétique via les coefficients inférieurs) et permet des comparaisons asymptotiques entre modules et sous-schémas, facilitant les classifications par degré et les estimations de complexité.

Inversion

La fonction de Hilbert elle-même (la suite brute H(n)) conserve l’information complète sur les petits degrés, y compris les écarts au comportement polynomial ; inverser l’accent consiste à étudier les phénomènes degré par degré plutôt que les invariants asymptotiques.

Limite

S’applique aux modules gradués de type fini sur des anneaux gradués noethériens (habituellement des algèbres standard graduées) ; il ne s’applique pas directement aux modules non gradués, aux modules non de type fini, ni aux anneaux sans notion de degré et de stabilisation éventuelle.

Tension sémantique

Entre en concurrence avec la série de Hilbert : le polynôme compresse la croissance asymptotique en un objet fini tandis que la série conserve le détail gradué ; il recoupe aussi les notions de multiplicité qui utilisent les coefficients dominants mais diffèrent par la normalisation et le cadre.

Synthèse

Le polynôme de Hilbert est le résumé algébrique fini de la croissance graduée à long terme d’un module : il extrait la dimension et la multiplicité de la liste infinie des dimensions graduées et relie ainsi la taille algébrique aux propriétés géométriques.