Un invariante de crecimiento de una álgebra finitamente generada A sobre un cuerpo que mide la tasa asintótica de crecimiento de las dimensiones de las potencias de un subespacio generador V de dimensión finita, típicamente definida por GKdim(A)=limsup_{n→∞} log(dim V^n)/log n.

Principio

La dimensión GK clasifica álgebras según tasas de crecimiento polinómicas frente a exponenciales de la envolvente lineal bajo multiplicación; es independiente de la elección del subespacio generador de dimensión finita como invariante.

Demostración

Para la álgebra de polinomios k[x1,...,xd], GKdim = d porque las dimensiones de polinomios de grado ≤ n crecen como n^d; la álgebra libre en dos generadores tiene crecimiento exponencial y GKdim = ∞; la envolvente universal de una álgebra de Lie de dimensión finita tiene GKdim finita y predecible.

Aplicación incorrecta

Confundir la dimensión GK con la dimensión de Krull o usar GKdim sin hipótesis de finitud (por ejemplo, en álgebras no finitamente generadas) conduce a afirmaciones sin sentido; asumir que GKdim finita implica conmutatividad es falso.

Consecuencia

La dimensión GK restringe la teoría de representaciones y el comportamiento del anillo: GKdim finita suele dar control sobre el crecimiento de módulos, vínculos con la propiedad PI y afecta propiedades de finitud homológica y categórica.

Inversión

Un álgebra de dimensión GK infinita exhibe crecimiento exponencial; en contraste, las álgebras con GKdim cero son de dimensión finita, y dimensiones enteras intermedias reflejan crecimiento de tipo polinómico.

Límite

Definida principalmente para álgebras finitamente generadas (o álgebras filtradas con piezas filtradas de dimensión finita) sobre un cuerpo; sensible al cuerpo base pero invariante bajo extensiones finitas; no sustituye a la dimensión de Krull ni a la homológica.

Tensión semántica

Dimensión GK vs dimensión de Krull o dimensión homológica: GKdim es un invariante de crecimiento asintótico del tamaño como espacio vectorial, mientras que Krull y dimensiones homológicas miden longitudes de cadenas o dimensiones proyectivas; pueden coincidir en casos conmutativos afines pero divergen en no conmutativo.

Síntesis

La dimensión de Gelfand–Kirillov cuantifica el grado asintótico polinómico de crecimiento de las partes graduadas/filtradas de una álgebra, separando crecimiento polinómico de exponencial e informando la teoría de representaciones y la estructura.