##  [Failure of the PBW Property](/failure-pbw-property-0) 

 Definition

A situation in which a filtered algebra does not satisfy the Poincaré–Birkhoff–Witt (PBW) property, meaning its associated graded algebra differs from the expected symmetric or tensor algebra and the standard PBW basis or deformation-theoretic identifications fail to hold.

 

 

 

 

 

 





## Principle

Principle

PBW asserts that a filtered (typically associative) algebra arising as a deformation of a graded algebra has an associated graded algebra isomorphic to the expected symmetric/tensor algebra so that a graded basis lifts to a filtered basis; failure occurs when defining relations introduce unexpected lower-order terms or torsion that break this lifting.

 

 

 

 

 





## Demonstration

Demonstration

In deformation examples, a quadratic algebra with relations that do not form a Gröbner-compatible or Koszul pattern can produce an associated graded with extra relations, so that monomials expected to form a PBW basis become linearly dependent; concretely, certain quantizations of enveloping-like algebras can fail PBW when parameters hit resonance values.

 

 

 

 

## Misapplication

Misapplication

Assuming PBW holds for an algebraic deformation without checking compatible filtrations, leading term ideals, or torsion phenomena; using PBW-dependent dimension-counts or representation-theoretic constructions in such cases yields incorrect module dimensions or misidentified simple objects.

 

 

 

 

 





## Consequence

Consequence

When PBW holds it permits explicit bases, graded-then-filtered comparisons, and predictable homological and representation-theoretic behavior; failure removes these tools, forcing more delicate analyses of relations, filtered-graded spectral sequences, and possible obstructions to lifting representations.

 

 

 

 

## Reversal

Reversal

The converse perspective would treat any filtered algebra as having the PBW property by fiat and ignore the need to check associated graded isomorphisms; this erases essential obstructions and can produce false positive identifications of deformational smoothness or module categories.

 

 

 

 

 





## Boundary

Boundary

This concept refers to associative filtered algebras with specified filtrations and expected graded models (symmetric, tensor, or universal enveloping); it excludes unrelated pathologies of infinite-dimensional or nonfiltered algebras and depends sensitively on chosen generators, relations, and base ring torsion.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Competes with loose use of 'PBW-type' intuition: algebraists often assume PBW-like bases for deformations or quantum analogues, but concrete failures expose the difference between formal deformation expectation and actual torsion or resonance-caused obstructions in graded comparisons.

 

 

 

 

 





## Synthesis

Synthesis

Failure of the PBW property is the obstruction to lifting an expected graded basis to a filtered basis: when relations or torsion introduce unexpected lower-degree dependencies, the associated graded algebra diverges from the symmetric/tensor model and graded-to-filtered transfer of structure and representations breaks down.