Une fonction numérique qui associe à chaque degré d la dimension en tant qu'espace vectoriel (ou la longueur) du composant gradué de degré d d'un module gradué ou d'une algèbre graduée ; elle enregistre la croissance des dimensions selon le degré.

Principe

La fonction de Hilbert extrait les données de taille graduée degré par degré ; pour des objets gradués de type fini sur un corps elle coïncide finalement avec un polynôme (le polynôme de Hilbert) au-delà d'un certain degré seuil.

Démonstration

Pour l'anneau de polynômes k[x,y] gradué par le degré total, la fonction de Hilbert H(d) = dim_k k[x,y]_d vaut d+1 pour d ≥ 0, et le polynôme de Hilbert est le même polynôme linéaire pour tous les degrés suffisamment grands.

Mauvaise application

Supposer que la fonction de Hilbert est toujours polynomiale en chaque degré est faux ; elle ne se stabilise en un polynôme (le polynôme de Hilbert) qu'après un certain degré, et le comportement aux petits degrés peut différer.

Conséquence

Une utilisation correcte fournit des invariants tels que polynômes de Hilbert, multiplicités et informations sur la dimension projective ; elle sous-tend le comptage des dimensions en géométrie projective algébrique et les calculs homologiques gradués.

Inversion

Un point de vue inverse ignorerait la graduation et mesurerait la taille totale du module, perdant l'information sur la croissance par degré et nivelant les subtilités graduées en un invariant unique.

Limite

Définie pour des modules gradués sur des anneaux gradués, couramment de type fini sur une algèbre graduée sur un corps ; pour des objets sans graduation ou sur des anneaux avec torsion, la fonction peut être mal comportée ou nécessiter la longueur au lieu de la dimension.

Tension sémantique

Il existe une tension entre la fonction de Hilbert discrète et son substitut final continu, le polynôme de Hilbert ; comprendre à la fois le comportement pré-stable et le polynôme stable est crucial en pratique.

Synthèse

La fonction de Hilbert enregistre la façon dont les composantes d'un objet gradué croissent avec le degré ; conjointement avec son polynôme de Hilbert final, elle fournit un contrôle numérique précis utilisé en géométrie algébrique et en algèbre commutative.