The property that an object is not projective: it does not satisfy the universal lifting/splitting property and therefore fails to split some extensions or to admit certain homotopy‑lifting maps.

Principle

Projective objects permit lifts against epimorphisms and split exact sequences; failure of projectivity means that there exist surjections and diagrams for which no lift exists, often detected by nonzero Ext^1 with appropriate coefficients.

Demonstration

As a concrete example, Z/pZ is not a projective Z‑module, so there exist surjections of Z‑modules for which no section into Z/pZ exists. More structurally, a module that is not a direct summand of a free module exhibits failure of projectivity.

Misapplication

Assuming 'nonprojective' implies pathological behavior in every context or conflating nonprojectivity with lack of any lifting in all diagrams ignores nuance: some lifting problems may still have solutions for special epimorphisms or after base change.

Consequence

Recognizing failure of projectivity forces use of projective resolutions, derived functors, or alternative techniques (flat covers, injective dualizations) to analyze extension and lifting problems; it signals where naive algebraic constructions need homological repair.

Reversal

Projectivity (or being a direct summand of a projective) guarantees lifts and splits that remove the failure: every extension by a projective summand splits and Ext^1 with a projective argument vanishes.

Boundary

This notion is meaningful in categories with a concept of projective object (abelian categories, module categories); it does not translate verbatim to nonabelian contexts where lifting is encoded differently. It excludes issues that are solely about flatness or injectivity.

Semantic Tension

There is tension between projectivity and flatness: flat modules preserve exactness of tensor but need not split extensions, while projective modules split extensions but may be rare in geometric contexts; conflating them blurs different failure modes.

Synthesis

Failure of Projectivity is the recognition that an object lacks the split/lifting property, a homological shortcoming detected by Ext and resolved by passing to resolutions or alternative homological tools; it precisely characterizes where simple algebraic constructions break down.