Un procedimiento fonctorial que convierte un objeto algebraico filtrado (por ejemplo, álgebra filtrada, módulo, álgebra de Lie) en un objeto graduado tomando cocientes sucesivos gr_F(V) = ⊕_i F_i V / F_{i-1} V. El graduado asociado registra el comportamiento de orden principal de la filtración y suele simplificar las relaciones multiplicativas al pasar a componentes graduadas.

Principio

Las filtraciones estratifican un objeto por complejidad o grado; pasar al graduado asociado 'lineariza' los términos principales, transformando relaciones dependientes de la filtración en relaciones graduadas más fáciles de analizar. Esto aisla obstrucciones de primer orden y convierte problemas de extensión en cuestiones graduadas.

Demostración

Para la envolvente universal U(g) de una álgebra de Lie g con la filtración PBW, el álgebra graduada asociada es isomorfa a la álgebra simétrica S(g). Esta identificación permite deducir propiedades de U(g) a partir de la álgebra conmutativa S(g) y demostrar teoremas tipo PBW.

Aplicación incorrecta

Suponer que el graduado asociado es isomorfo al objeto filtrado original (ignorando problemas de extensión o torsión) es un error frecuente. Asimismo, tratar isomorfismos graduados del graduado asociado como si implicaran isomorfismos filtrados sin comprobar los datos de extensión puede inducir a error.

Consecuencia

La construcción permite reducir problemas filtrados a problemas graduados: calcular invariantes, detectar las relaciones principales, aplicar herramientas homológicas para categorías graduadas e identificar comportamientos de deformación/quantización. Suele proporcionar aproximaciones computables y las primeras páginas de secuencias espectrales.

Inversión

Pasar de lo graduado a lo filtrado corresponde a la perspectiva de deformación o de la álgebra de Rees: se reconstruyen filtraciones introduciendo parámetros de deformación. La reversión pone de manifiesto la información de extensión y torsión que se pierde al graduar.

Límite

Requiere elegir una filtración (a menudo se asume exhaustiva y separada); no toda propiedad del objeto filtrado se refleja en el graduado asociado. Es una linearización formal y excluye fenómenos intrínsecamente dependientes de clases de extensión no graduadas o de torsión sutil.

Tensión semántica

Hay tensión entre la visión filtrada y la graduada: los objetos graduados simplifican la estructura multiplicativa pero omiten datos de extensión; los filtrados conservan información fina pero son más difíciles de tratar. La teoría de deformaciones media entre ambas perspectivas y hace que la tensión sea productiva.

Síntesis

La construcción graduada asociada produce un avatar graduado de un objeto filtrado que capta la estructura algebraica de orden principal y facilita muchos cálculos; actúa como puente entre contextos sensibles a filtraciones y técnicas de álgebra graduada, exigiendo al mismo tiempo atención a las datos de extensión que la graduación puede perder.