## [Globale Dimension](/de/node/63437) Definition 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 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 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 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 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 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 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 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 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.