Nonliftable Class
Definition
An element, cohomology class, representation, or other invariant that does not lie in the image of a specified lifting map or functor; it signals the failure to lift an object from a target category or base to a source (for example from characteristic p to characteristic zero, or from a quotient to a full object).