The phenomenon where a module M over a quotient algebra A/I cannot be realized as the quotient N/IN of any A-module N (equivalently, there is no A-module whose reduction along A → A/I is M); the module does not lift along the surjection.

Principle

Lifting modules is governed by obstruction theory: existence of lifts depends on vanishing of certain cohomological obstruction classes and on structural conditions (projectivity, flatness, completeness) of the algebra and ideal.

Demonstration

Given π: A → A/I and an A/I-module M, nonliftability means there is no A-module N with N⊗_A(A/I) ≅ M or N/IN ≅ M. Concrete instances arise in deformation problems where Ext^2-type obstruction classes are nonzero, or when M requires relations that cannot be imposed by any A-module because I acts in an obstructing way.

Misapplication

Treating every finitely presented or finite-length module over A/I as liftable leads to incorrect moduli counts, mistaken deformation arguments, and incorrect conclusions about the existence of families of modules parameterized by base changes.

Consequence

When liftability holds, one can deform modules, control families, and transfer homological properties between A and A/I; nonliftability isolates modules that are intrinsically tied to the quotient and resists extension to the larger algebra.

Reversal

Liftability is the property that every module (or every module in a restricted class) over A/I has a preimage over A. The reversal distinguishes deformable/extendable modules from those confined to the quotient geometry.

Boundary

This concept concerns algebra modules relative to a fixed surjection A → A/I; it excludes purely categorical or topological lift notions unless the module structure and ideal action are specified and relevant.

Semantic Tension

There is tension between 'lifting modules' and 'lifting isomorphism classes of modules up to extension': sometimes an isomorphism class lifts only after extension by a nontrivial I-torsor, so existence of an isomorphic lift differs from existence of a literal module lift.

Synthesis

Nonliftability of modules identifies modules that cannot be extended from a quotient to the ambient algebra because of intrinsic cohomological obstructions or incompatible ideal action; recognizing these obstructions is essential in deformation theory and classification problems.