Una función numérica que asigna a cada grado d la dimensión como espacio vectorial (o la longitud) del componente graduado de grado d de un módulo o álgebra graduada; registra cómo crecen las dimensiones con el grado.

Principio

La función de Hilbert extrae datos de tamaño graduado grado a grado; para objetos graduados finitamente generados sobre un cuerpo termina coincidiendo con un polinomio (el polinomio de Hilbert) a partir de cierto grado.

Demostración

Para el anillo de polinomios k[x,y] graduado por grado total, H(d) = dim_k k[x,y]_d = d+1 para d ≥ 0, y el polinomio de Hilbert es el mismo polinomio lineal para todos los d suficientemente grandes.

Aplicación incorrecta

Asumir que la función de Hilbert es siempre polinómica en cada grado es falso; solo se estabiliza en un polinomio (el polinomio de Hilbert) más allá de cierto grado, y el comportamiento en grados pequeños puede diferir.

Consecuencia

Su uso correcto produce invariantes como polinomios de Hilbert, multiplicidad e información sobre dimensión proyectiva; es fundamental para el conteo de dimensiones en geometría algebraica proyectiva y para cálculos homológicos graduados.

Inversión

Una perspectiva inversa ignoraría la graduación y mediría el tamaño total del módulo, perdiendo la información grado a grado y colapsando sutilezas graduadas en un único invariante.

Límite

Definida para módulos graduados sobre anillos graduados, comúnmente finitamente generados sobre una álgebra graduada sobre un cuerpo; para objetos sin graduación o sobre anillos con torsión la función puede comportarse mal o requerir longitud en lugar de dimensión.

Tensión semántica

Existe tensión entre la función de Hilbert discreta y su sustituto eventual continuo, el polinomio de Hilbert; comprender tanto el comportamiento preestable como el polinomio estable es crucial en aplicaciones.

Síntesis

La función de Hilbert registra cómo las partes de un objeto graduado crecen con el grado; junto con su polinomio de Hilbert eventual proporciona un control numérico preciso usado en geometría algebraica y álgebra conmutativa.