A homological technique that replaces Ext or Tor groups in one degree by Ext or Tor groups in other degrees using short exact sequences together with projective or injective resolutions, producing canonical isomorphisms between different degrees under suitable vanishing hypotheses.

Principle

Use the long exact sequence in Ext (or Tor) induced by a short exact sequence and the vanishing of Ext (or Tor) against projective or injective objects to move calculations up or down degrees: if 0 → K → P → A → 0 with P projective, then Ext^{n+1}(A,–) ≅ Ext^{n}(K,–).

Demonstration

To compute Ext^{m+1}_R(A,B) when A has a projective resolution begin with a short exact 0 → K → P → A → 0 where P is projective; the long exact sequence for Ext yields Ext^{m+1}_R(A,B) ≅ Ext^{m}_R(K,B), reducing the problem to a lower degree. Dually, using injective resolutions shifts degrees the other way for Ext(–,B) or for Tor in tensor calculations.

Misapplication

Applying a dimension shift without an exact sequence whose middle term is projective or injective (or without the required vanishing) can produce false isomorphisms; similarly shifting inside categories that lack enough projectives/injectives invalidates the argument.

Consequence

Correct use transforms hard high-degree Ext/Tor computations into lower-degree ones, propagates vanishing results across degrees, and underpins many spectral-sequence edge comparisons and vanishing theorems.

Reversal

The reversal is computing each Ext or Tor group directly in its original degree rather than passing to an auxiliary kernel or cokernel; this retains degree but often leaves the computation more difficult.

Boundary

Applies in abelian categories (or derived categories) with well-behaved long exact sequences and enough projective or injective objects; it does not apply in arbitrary nonabelian settings or when necessary vanishing hypotheses fail.

Semantic Tension

Often confused with spectral-sequence convergence or with merely truncating a resolution; the tension is between an explicit short-exact-sequence degree-shift (dimension shifting) and more global degree-manipulation tools like spectral sequences.

Synthesis

Dimension shifting is the targeted use of exact sequences and projective/injective resolutions to produce canonical degree-changing isomorphisms for Ext and Tor, thereby reducing complex homological calculations to lower (or higher) degrees when the category supplies the needed vanishing.