The supremum of projective dimensions of all objects in a category (or of all modules over a ring), possibly infinite; it quantifies the maximal homological complexity present in the ambient structure.

Principle

Global dimension is governed by taking suprema of individual projective dimensions: the category has global dimension ≤ n iff every object has projective dimension ≤ n, equivalently all Ext^{i}(-,-) vanish for i>n across objects.

Demonstration

For a ring R, compute proj.dim(M) for each left R‑module M and take the supremum. Examples: a field has global dimension 0, a principal ideal domain has global dimension 1, and a polynomial ring in n variables over a field has global dimension n (in the classical noetherian regular case).

Misapplication

Using global dimension computed for one side (left) as if it automatically equals the other side (right) in noncommutative contexts; or inferring finiteness of global dimension from finiteness on a restricted family of modules without checking the supremum.

Consequence

Finite global dimension implies uniform bounds on lengths of projective resolutions, strong vanishing theorems for Ext and Tor, and many homological finiteness and regularity properties for the ring or category.

Reversal

The opposite perspective is to examine local or objectwise projective dimensions rather than their supremum; reversing the global view focuses on specific modules' complexity instead of the ambient maximum.

Boundary

Defined for abelian module categories and similar homological settings; distinctions arise between left, right and weak global dimension. In non‑noetherian or non‑abelian contexts the supremum may be ill‑behaved or require derived refinements.

Semantic Tension

Global dimension competes conceptually with homological notions like Krull dimension, regularity, and weak global dimension; the tension lies between maximal projective complexity and other measures of size or singularity.

Synthesis

Global dimension is the supremal projective dimension across all objects in the category: a single scalar homological invariant that encapsulates the maximal length of projective resolutions and determines vanishing thresholds for derived functors when finite.