Definición
Una situación en la que una álgebra filtrada no satisface la propiedad Poincaré–Birkhoff–Witt (PBW), es decir, su álgebra graduada asociada difiere de la álgebra simétrica o tensorial esperada y la base tipo PBW o las identificaciones deformacionales/representacionales estándar no se mantienen.
Principio
Principio
PBW afirma que una álgebra filtrada (típicamente asociativa) surgida como deformación de una álgebra graduada tiene una graduada asociada isomorfa al modelo simétrico/tensorial esperado, de modo que una base graduada se eleva a una base filtrada; el fallo ocurre cuando las relaciones introducen términos de orden inferior inesperados o torsión que rompen este levantamiento.
Demostración
Demostración
En ejemplos de deformación, una álgebra cuadrática cuyas relaciones no forman un patrón compatible con Gröbner o Koszul puede producir una graduada asociada con relaciones extra, de modo que monomios que debían formar una base PBW se vuelven linealmente dependientes; concretamente, ciertas cuantizaciones de álgebras tipo envolvente pueden fallar PBW cuando parámetros alcanzan valores de resonancia.
Aplicación incorrecta
Aplicación incorrecta
Suponer que PBW se cumple para una deformación algebraica sin comprobar filtraciones compatibles, ideales de términos líderes o fenómenos de torsión; usar cuentas de dimensión o construcciones que dependen de PBW en tales casos produce dimensiones de módulos incorrectas o identificaciones erróneas de objetos simples.
Consecuencia
Consecuencia
Cuando PBW se cumple permite bases explícitas, comparaciones graduado-tras-filtrado y comportamiento homológico y representacional previsible; su fallo elimina estas herramientas y obliga a análisis más delicados de relaciones, sucesiones espectrales filtrado-graduadas y posibles obstrucciones para levantar representaciones.
Inversión
Inversión
La perspectiva inversa sería tratar cualquier álgebra filtrada como si tuviera la propiedad PBW por decreto y omitir la comprobación de isomorfismos de graduadas asociadas; eso borra obstrucciones esenciales y puede generar identificaciones falso-positivas de suavidad en la deformación o de categorías de módulos.
Límite
Límite
El concepto se refiere a álgebras asociativas filtradas con filtraciones especificadas y modelos graduados esperados (simétrico, tensorial o envolvente universal); excluye patologías no relacionadas de álgebras no filtradas o de dimensión infinita y depende delicadamente de los generadores, las relaciones y la torsión del anillo base.
Tensión semántica
Tensión semántica
Compite con el uso laxo de la intuición 'tipo PBW': los algebraístas con frecuencia suponen bases PBW para deformaciones o análogos cuánticos, pero los fracasos concretos exponen la diferencia entre la expectativa formal de deformación y las obstrucciones reales causadas por torsión o resonancia en las comparaciones graduado-filtrado.
Síntesis
Síntesis
El fallo de la propiedad PBW es la obstrucción a elevar una base graduada esperada a una base filtrada: cuando las relaciones o la torsión introducen dependencias de grado inferior inesperadas, la álgebra graduada asociada se desvía del modelo simétrico/tensorial y el traslado graduado→filtrado de estructuras y representaciones se rompe.