Le supremum des dimensions projectives de tous les objets d'une catégorie (ou de tous les modules sur un anneau), éventuellement infini ; il mesure la complexité homologique maximale présente dans la structure ambiante.

Principe

La dimension globale s'organise en prenant le supremum des dimensions projectives individuelles : la catégorie a dimension globale ≤ n si et seulement si chaque objet a dimension projective ≤ n, autrement dit tous les Ext^{i}(-,-) s'annulent pour i>n entre objets quelconques.

Démonstration

Pour un anneau R, on calcule proj.dim(M) pour chaque R‑module à gauche M et on prend le supremum. Exemples : un corps a dimension globale 0, un domaine principal a dimension globale 1, et un anneau de polynômes en n variables sur un corps a dimension globale n (dans le cadre classique noethérien régulier).

Mauvaise application

Utiliser la dimension globale calculée d'un côté (à gauche) comme si elle égalait automatiquement celle de l'autre côté (à droite) en contextes non commutatifs ; ou déduire la finitude de la dimension globale à partir de la finitude sur une famille restreinte de modules sans vérifier le supremum.

Conséquence

La finitude de la dimension globale entraîne des bornes uniformes sur les longueurs des résolutions projectives, de fortes formules d'annulation pour Ext et Tor, et de nombreuses propriétés d'exactitude et de régularité homologiques pour l'anneau ou la catégorie.

Inversion

La perspective inverse consiste à examiner les dimensions projectives locales ou par objet plutôt que leur supremum ; inverser la vue globale met l'accent sur la complexité de modules spécifiques au lieu du maximum ambiant.

Limite

Définie pour les catégories abéliennes de modules et des cadres homologiques similaires ; on distingue la dimension globale à gauche, à droite et la dimension globale faible. En contextes non noethériens ou non abéliens, le supremum peut mal se comporter et exiger des raffinements dérivés.

Tension sémantique

La dimension globale est en tension conceptuelle avec des notions homologiques comme la dimension de Krull, la régularité et la dimension globale faible ; la tension réside entre la complexité projective maximale et d'autres mesures de taille ou de singularité.

Synthèse

La dimension globale est le supremum des dimensions projectives dans la catégorie : un invariant homologique unique qui résume la longueur maximale des résolutions projectives et fixe des seuils d'annulation pour les foncteurs dérivés quand elle est finie.