La serie formal H(t)=Σ_{n∈Z} (dimensión o longitud de la componente graduada en grado n) t^n que codifica la secuencia completa de dimensiones graduadas de un módulo graduado finitamente generado; suele expresarse como función racional cuando el módulo es noetheriano.

Principio

Punto de vista de función generadora: empaquetar los datos grado por grado en una única serie formal posibilita manipulaciones algebraicas, y los resultados de racionalidad expresan la estructura asintótica (como el polinomio de Hilbert) mediante relaciones numerador/denominador ligadas a la dimensión y a sucesiones regulares.

Demostración

Para el anillo de polinomios k[x0,...,xr] con graduación estándar, la serie de Hilbert del anillo es 1/(1−t)^{r+1}; para un cociente por un ideal homogéneo la serie es una función racional cuyo denominador es una potencia de (1−t) y cuyo numerador codifica syzigías y cancelaciones.

Aplicación incorrecta

Interpretar la serie como una función analítica convergente en el círculo unidad sin atender al radio de convergencia, o intentar deducir la combinatoria de los grados bajos únicamente a partir de la forma racional sin calcular las cancelaciones del numerador.

Consecuencia

Las series de Hilbert permiten extraer exactamente la función de Hilbert en cada grado, conectan con el polinomio de Hilbert por descomposición en fracciones parciales o desarrollo, y hacen visibles fenómenos homológicos (p. ej. desplazamientos de grado en una resolución libre mínima) mediante la estructura del numerador.

Inversión

Centrarse únicamente en el polinomio de Hilbert descarta la secuencia graduada de detalle fino que conserva la serie; invertir el énfasis conduce a la pérdida de información sobre syzigías contenida en el numerador.

Límite

Objeto formal independiente de la convergencia analítica; la racionalidad y la forma del denominador están garantizadas bajo Noetherianidad y graduación estándar, pero pueden cambiar con graduaciones no estándar, multigraduaciones o módulos infinitamente generados.

Tensión semántica

Se compara con frecuencia con series de Poincaré o de caracteres: la serie de Hilbert sigue las dimensiones de espacios graduados, mientras que la serie de Poincaré puede registrar grados homológicos; la distinción es importante cuando varía la interpretación de los coeficientes.

Síntesis

La serie de Hilbert es la función generadora algebraica completa de las dimensiones graduadas: reúne la información de cada grado en una serie formal manipulable cuya forma racional revela invariantes asintóticos y estructura homológica.