##  [Cohomological Dimension](/cohomological-dimension-1) 

 Definition

The largest integer n (or infinity) such that cohomology with specified coefficients can be nonzero; applied to spaces, groups, or schemes, it measures the topological or algebraic complexity detectable by cohomology.

 

 

 

 

 

 





## Principle

Principle

Cohomological dimension is governed by vanishing of cohomology groups: an object has cohomological dimension ≤ n relative to chosen coefficients precisely when all cohomology groups in degrees > n vanish for those coefficients.

 

 

 

 

 





## Demonstration

Demonstration

For a topological sphere S^n, singular cohomology with field coefficients is nonzero in degrees 0 and n, so cohomological dimension equals n. For a profinite group G, group cohomology computations determine the group's cohomological dimension via vanishing in high degrees.

 

 

 

 

## Misapplication

Misapplication

Asserting a coefficient‑independent cohomological dimension without specifying the ring or sheaf of coefficients; or equating cohomological dimension with homotopy dimension without verifying homotopical hypotheses.

 

 

 

 

 





## Consequence

Consequence

A finite cohomological dimension yields strong vanishing results and controls obstruction theory and extension problems; it often implies bounds on the homological behavior of maps and on possible fibrations or torsors.

 

 

 

 

## Reversal

Reversal

The dual viewpoint is homological (homological dimension): instead of looking at cohomology groups and Ext, one studies homology and Tor; reversing focus can change which vanishing statements are natural.

 

 

 

 

 





## Boundary

Boundary

Depends on the choice of coefficients (rings, sheaves, local systems) and on the category (topological spaces, groups, schemes). For schemes one must specify étale, Zariski, or other cohomology theories; outside those settings the invariant may not be well‑posed.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension occurs between cohomological dimension and numerical invariants like Betti numbers: the latter count ranks in specific degrees while cohomological dimension records the topmost nonvanishing degree. There is also tension with homotopical dimensions and with dimension notions from algebraic geometry.

 

 

 

 

 





## Synthesis

Synthesis

Cohomological dimension is the maximal degree in which cohomology with chosen coefficients can be nonzero; it is a vanishing threshold that summarizes the highest cohomological complexity of a space, group or scheme for those coefficients.