Una técnica homológica que reemplaza grupos Ext o Tor en un grado por grupos Ext o Tor en otros grados usando sucesiones exactas cortas junto con resoluciones proyectivas o inyectivas, produciendo isomorfismos canónicos entre grados bajo hipótesis de anulación adecuadas.

Principio

Usar la sucesión exacta larga de Ext (o Tor) inducida por una sucesión exacta corta y la anulación de Ext (o Tor) frente a objetos proyectivos o inyectivos para desplazar cálculos entre grados: si 0 → K → P → A → 0 con P proyectivo, entonces Ext^{n+1}(A,–) ≅ Ext^{n}(K,–).

Demostración

Para calcular Ext^{m+1}_R(A,B) cuando A tiene una resolución proyectiva, tome 0 → K → P → A → 0 con P proyectivo; la sucesión exacta larga para Ext da Ext^{m+1}_R(A,B) ≅ Ext^{m}_R(K,B), reduciendo el problema a un grado inferior. Dualmente, las resoluciones inyectivas permiten desplazar en la otra dirección, y análogamente para Tor en cálculos de tensores.

Aplicación incorrecta

Aplicar un desplazamiento de dimensión sin una sucesión exacta cuyo término medio sea proyectivo o inyectivo (o sin la anulación requerida) puede producir isomorfismos falsos; asimismo, desplazar en categorías que carecen de suficientes proyectivos/inyectivos invalida el argumento.

Consecuencia

Si se usa correctamente, transforma cálculos complejos de Ext/Tor en grados altos en cálculos en grados inferiores, propaga resultados de anulación entre grados y respalda muchas comparaciones de bordes en sucesiones espectrales y teoremas de anulación.

Inversión

La reversión consiste en calcular cada Ext o Tor directamente en su grado original en lugar de pasar a un núcleo o cokernel auxiliar; así se mantiene el grado pero a menudo se deja el cálculo más difícil.

Límite

Se aplica en categorías abelianas (o en categorías derivadas) con sucesiones exactas largas bien comportadas y suficientes objetos proyectivos o inyectivos; no se aplica en contextos no abelianos arbitrarios ni cuando faltan las hipótesis de anulación.

Tensión semántica

A menudo se confunde con la convergencia de sucesiones espectrales o con la mera truncación de una resolución; la tensión es entre un desplazamiento explícito de grado mediante una sucesión exacta corta y herramientas globales de manipulación de grados como las sucesiones espectrales.

Síntesis

El desplazamiento de dimensión es el uso dirigido de sucesiones exactas y resoluciones proyectivas/inyectivas para obtener isomorfismos que cambian de grado en Ext y Tor, reduciendo así cálculos homológicos complejos cuando la categoría provee las anulaciones necesarias.