Operación que convierte un objeto filtrado en un objeto graduado tomando cocientes sucesivos Gr(F) = ⊕_i F_i / F_{i-1}, codificando así la filtración como una suma directa de capas.

Principio

Formar las piezas graduadas como cocientes de niveles adyacentes de la filtración de modo que la multiplicación de representantes respete el grado: el graduado asociado captura términos de orden principal y con frecuencia simplifica relaciones algebraicas a sus símbolos principales.

Demostración

Para la filtración por grado en k[x], el graduado asociado es isomorfo a k[x] con la graduación habitual; para la filtración PBW en la álgebra envolvente U(g) de una álgebra de Lie g, gr U(g) ≅ Sym(g), un álgebra conmutativa que refleja los términos dominantes.

Aplicación incorrecta

Asumir que propiedades del graduado asociado (como simplicidad, dimensión o rasgos homológicos) se transfieren automáticamente al objeto filtrado sin comprobar platitud o ausencia de torsión; tratar gr como un invariante exacto.

Consecuencia

Pasar al graduado asociado suele dar un modelo graduado más simple para cálculos: permite obtener series de Hilbert, ideales de términos dominantes y degeneraciones; respalda sucesiones espectrales y degeneraciones planas en contextos geométricos.

Inversión

Recuperar una filtración a partir de una graduación se hace por sumas acumuladas F_i = ⊕_{j≤i} graded_j; a diferencia de la construcción directa, esto exige elecciones y no recupera en general las extensiones originales ni fenómenos de torsión.

Límite

Requiere una filtración bien definida (exhaustividad, separación afectan el comportamiento); la construcción de gr puede perder datos de extensión o torsión y depende de la indexación; hay que considerar las interacciones con la completación y la álgebra de Rees.

Tensión semántica

Graduado asociado vs álgebra de Rees vs completación: gr registra cocientes de capas, la álgebra de Rees codifica la filtración globalmente e interpola entre lo filtrado y lo graduado, mientras que las completaciones reflejan comportamiento límite—estas nociones se confunden a veces.

Síntesis

La construcción del graduado asociado traduce datos de una filtración en una suma directa graduada de cocientes sucesivos, capturando las partes principales de los elementos y proporcionando un sustituto graduado manejable para el análisis algebraico y geométrico.