La propriété qu'un objet n'est pas projectif : il ne satisfait pas la propriété universelle de relèvement/scission et échoue donc à scinder certaines extensions ou à admettre certains relèvements homotopiques.

Principe

Les objets projectifs permettent des relèvements contre les épimorphismes et scindent les suites exactes ; l'échec de la projectivité signifie qu'il existe des surjections et des diagrammes sans relèvement, souvent détectés par des Ext^1 non nuls avec des coefficients appropriés.

Démonstration

Par exemple concret, Z/pZ n'est pas un module projectif sur Z, donc il existe des surjections de modules Z pour lesquelles aucune section vers Z/pZ n'existe. Plus structurellement, un module qui n'est pas un facteur direct d'un module libre montre un échec de la projectivité.

Mauvaise application

Prétendre que « non projectif » implique un comportement pathologique dans tous les contextes ou confondre la non‑projectivité avec l'absence de tout relèvement dans tous les diagrammes ignore la nuance : certains problèmes de relèvement peuvent encore avoir des solutions pour des épimorphismes particuliers ou après changement de base.

Conséquence

Reconnaître un échec de projectivité oblige à utiliser des résolutions projectives, des foncteurs dérivés ou des techniques alternatives (recouvrements plats, dualisations injectives) pour analyser les problèmes d'extension et de relèvement ; cela signale où des constructions algébriques naïves nécessitent une réparation homologique.

Inversion

La projectivité (ou le fait d'être facteur direct d'un projectif) garantit relèvements et scissions qui suppriment l'échec : toute extension par un projectif se scinde et Ext^1 avec un argument projectif s'annule.

Limite

Cette notion a du sens dans des catégories munies d'une notion d'objet projectif (catégories abéliennes, catégories de modules) ; elle ne se traduit pas littéralement aux contextes non abéliens où le relèvement est encodé différemment. Elle exclut les problèmes purement liés à la platitude ou à l'injectivité.

Tension sémantique

Il existe une tension entre projectivité et platitude : les modules plats préservent l'exactitude du produit tensoriel mais ne scindent pas forcément les extensions, tandis que les modules projectifs scindent les extensions mais peuvent être rares en géométrie ; les confondre brouille des modes d'échec distincts.

Synthèse

L'échec de la projectivité est la constatation qu'un objet n'a pas la propriété de scission/relèvement ; c'est une insuffisance homologique détectée par Ext et résolue en passant à des résolutions ou à des outils homologiques alternatifs ; elle caractérise précisément où les constructions algébriques simples échouent.