La longueur minimale n d’une résolution projective ... → P_n → ... → P_0 → M → 0 d’un module M dans une catégorie abélienne munie de suffisamment de projectifs ; elle mesure à quel point M est éloigné d’être projectif (dimension projective 0) en comptant les étapes projectives nécessaires.

Principe

Principe de longueur de résolution : la complexité homologique d’un objet se quantifie par la chaîne la plus courte de projectifs qui le résout ; la finitude de la dimension projective interagit souvent avec la profondeur et les propriétés de régularité de l’anneau ambiant (par ex. la relation d’Auslander–Buchsbaum en algèbre locale).

Démonstration

Un module projectif a dimension projective 0. Sur un anneau local régulier de dimension d, tout module de type fini a une dimension projective au plus d, et les modules de dimension projective finie vérifient l’annulation de Ext au-delà de cette borne, permettant une classification homologique.

Mauvaise application

Confondre la dimension projective avec la régularité de Castelnuovo–Mumford ou avec les dimensions injective ou plate ; supposer la finitude de la dimension projective sans vérifier des hypothèses ambiantes telles que la noethérianité ou l’existence de suffisamment de projectifs dans la catégorie.

Conséquence

Connaître la dimension projective donne des résultats d’annulation de Ext concrets, contraint le comportement des syzygies et informe les calculs en catégorie dérivée ; la finitude de la dimension projective peut impliquer des propriétés de régularité de l’anneau ou des bornes sur d’autres invariants homologiques.

Inversion

Passer à la dimension injective ou plate inverse la perspective de résolution (cœursolutions ou résolutions plates) et met l’accent sur des propriétés homologiques duales ou tensoriales plutôt que sur les étapes projectives de construction.

Limite

Définie lorsque des objets projectifs existent en nombre suffisant (p. ex. catégories de modules sur des anneaux) ; dans des catégories sans suffisamment de projectifs ou pour des complexes on remplace la dimension projective par l’amplitude projective ou des invariants dérivés analogues. La dimension projective se distingue de la dimension globale, qui est la borne supérieure sur tous les modules.

Tension sémantique

Tension avec la dimension globale et avec les notions de régularité : la dimension projective est une longueur au niveau d’un objet, tandis que la dimension globale est une borne du côté anneau ; elle interagit aussi avec des métriques de régularité qui mesurent la croissance en degrés plutôt que la longueur de résolution, entraînant des compromis d’interprétation.

Synthèse

La dimension projective est le nombre minimal de blocs projectifs nécessaires pour assembler un module : comme longueur homologique elle traduit la complexité algébrique en seuils d’annulation de Ext et fournit une mesure fondamentale pour la classification en algèbre homologique.