Das Supremum der projektiven Dimensionen aller Objekte in einer Kategorie (oder aller Moduln über einem Ring), eventuell unendlich; es quantifiziert die maximale homologische Komplexität der Umgebung.

Prinzip

Die globale Dimension wird durch das Supremum einzelner projektiver Dimensionen bestimmt: Die Kategorie hat globale Dimension ≤ n genau dann, wenn jedes Objekt projektive Dimension ≤ n besitzt; äquivalent verschwinden alle Ext^{i}(-,-) für i>n über alle Objekte hinweg.

Demonstration

Für einen Ring R berechnet man proj.dim(M) für jedes linke R‑Modul M und bildet das Supremum. Beispiele: Ein Körper hat globale Dimension 0, ein Hauptidealring hat globale Dimension 1, und ein Polynomring in n Variablen über einem Körper hat (im klassischen noetherschen regulären Fall) globale Dimension n.

Fehlanwendung

Die für eine Seite (links) berechnete globale Dimension ungeprüft als gleich der anderen Seite (rechts) annehmen in nichtkommutativen Zusammenhängen; oder aus Endlichkeit auf einer eingeschränkten Modulfamilie auf Endlichkeit des Supremums schließen ohne Prüfung.

Konsequenz

Endliche globale Dimension impliziert uniforme Schranken für Längen projektiver Auflösungen, starke Verschwindeergebnisse für Ext und Tor sowie zahlreiche homologische Regularitäts‑ und Endlichkeitsaussagen für Ring oder Kategorie.

Umkehrung

Die Gegenperspektive ist, lokale oder objektweise projektive Dimensionen statt ihres Supremums zu betrachten; diese Umkehrung legt den Fokus auf die Komplexität einzelner Module statt auf das maximale Verhalten der Umgebung.

Abgrenzung

Definiert für abelsche Modulkategorien und ähnliche homologische Rahmen; es gilt zu unterscheiden zwischen linker, rechter und schwacher globaler Dimension. In nicht‑noetherschen oder nichtabelschen Kontexten kann das Supremum schlecht definiert sein und braucht abgeleitete Verfeinerungen.

Semantische Spannung

Globale Dimension steht im begrifflichen Wettbewerb mit homologischen Größen wie Krull‑Dimension, Regularität und schwacher globaler Dimension; die Spannung besteht zwischen maximaler projektiver Komplexität und anderen Maßzahlen von Größe oder Singularität.

Synthese

Die globale Dimension ist das Supremum der projektiven Dimensionen aller Objekte der Kategorie: ein einzelner homologischer Kennwert, der die maximale Länge projektiver Auflösungen zusammenfasst und, falls endlich, Verschwindschwellen für abgeleitete Funktoren vorgibt.