La série formelle H(t)=Σ_{n∈Z} (dimension ou longueur de la composante graduée de degré n) t^n qui encode la suite complète des dimensions graduées d’un module gradué de type fini ; elle s’écrit souvent comme une fonction rationnelle lorsque le module est noethérien.

Principe

Point de vue fonction génératrice : regrouper les données degré par degré en une seule série formelle permet des manipulations algébriques, et les résultats de rationalité expriment la structure à long terme (comme le polynôme de Hilbert) via des relations numérateur/dénominateur liées à la dimension et aux suites régulières.

Démonstration

Pour l’anneau de polynômes k[x0,...,xr] muni de la graduation standard, la série de Hilbert de l’anneau est 1/(1−t)^{r+1} ; pour un quotient par un idéal homogène la série est une fonction rationnelle dont le dénominateur est une puissance de (1−t) et dont le numérateur encode syzygies et annulations.

Mauvaise application

Interpréter la série comme une fonction analytique convergente sur le cercle unité sans tenir compte du rayon de convergence, ou tenter de déduire la combinatoire des petits degrés seulement à partir de la forme rationnelle sans calculer les annulations du numérateur.

Conséquence

Les séries de Hilbert permettent d’extraire exactement la fonction de Hilbert pour chaque degré, établissent un pont vers le polynôme de Hilbert par décomposition en fractions partielles ou développement, et rendent visibles des phénomènes homologiques (par ex. les décalages de degré dans une résolution libre minimale) via la structure du numérateur.

Inversion

Se focaliser uniquement sur le polynôme de Hilbert fait disparaître la séquence graduée fine que conserve la série ; l’inversion entraîne la perte d’informations au niveau des syzygies contenues dans le numérateur de la série.

Limite

Objet formel indépendant de la convergence analytique ; la rationalité et la forme du dénominateur sont garanties sous la Noethérianité et la graduation standard, mais peuvent varier pour des graduations non standard, des multi-graduations ou pour des modules infiniment engendrés.

Tension sémantique

Souvent mise en parallèle avec les séries de Poincaré ou de caractères : la série de Hilbert suit les dimensions des espaces gradués, tandis que la série de Poincaré peut enregistrer des degrés homologiques ; la distinction importe lorsque l’interprétation des coefficients diffère.

Synthèse

La série de Hilbert est la fonction génératrice algébrique complète des dimensions graduées : elle regroupe l’information de chaque degré dans une série formelle manipulable dont la forme rationnelle met au jour les invariants asymptotiques et la structure homologique.