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

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

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

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

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

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

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

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

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.