##  [Dimensionsverschiebung](/de/node/63955) 

 Definition

Eine homologische Technik, die Ext- oder Tor-Gruppen in einem Grad durch Ext- bzw. Tor-Gruppen in anderen Graden ersetzt, indem man kurze exakte Folgen zusammen mit projektiven oder injektiven Auflösungen verwendet und unter geeigneten Verschwindensbedingungen kanonische Isomorphismen herstellt.

 

 

 

 

 

 





## Prinzip

Prinzip

Man nutzt die lange exakte Folge für Ext (oder Tor), die von einer kurzen exakten Folge induziert wird, und das Verschwinden von Ext (oder Tor) gegen projektive bzw. injektive Objekte, um Rechnungen zwischen Graden zu verschieben: Ist 0 → K → P → A → 0 mit P projektiv, so gilt Ext^{n+1}(A,–) ≅ Ext^{n}(K,–).

 

 

 

 

 





## Demonstration

Demonstration

Zur Berechnung von Ext^{m+1}_R(A,B), wenn A eine projektive Auflösung besitzt, nimmt man 0 → K → P → A → 0 mit P projektiv; die lange exakte Folge für Ext liefert Ext^{m+1}_R(A,B) ≅ Ext^{m}_R(K,B) und reduziert das Problem auf einen niedrigeren Grad. Dual verwendet man injektive Auflösungen, um in die andere Richtung zu verschieben, bzw. analog für Tor.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Ein Dimension-Shift ohne eine exakte Folge mit projektivem oder injektivem Mittelglied (oder ohne die erforderlichen Verschwindensbedingungen) anzuwenden, kann zu falschen Isomorphismen führen; ebenso ist die Methode in Kategorien ohne genügend Projektive/Injektive nicht gültig.

 

 

 

 

 





## Konsequenz

Konsequenz

Richtig angewandt verwandelt sie aufwändige Ext/Tor-Rechnungen in höheren Graden in niedrigere Grade, überträgt Verschwindensresultate über Grade hinweg und bildet die Grundlage vieler Vergleichsargumente mit Spektralfolgen.

 

 

 

 

## Umkehrung

Umkehrung

Die Umkehr besteht darin, jede Ext- oder Tor-Gruppe direkt im ursprünglichen Grad zu berechnen, statt zu einem Hilfskern oder -kokern zu wechseln; der Grad bleibt erhalten, die Rechnung ist jedoch oft schwieriger.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt in abelschen Kategorien (oder in abgeleiteten Kategorien) mit wohlverhaltener langen exakten Folge und genügend projektiven bzw. injektiven Objekten; nicht anwendbar in beliebigen nichtabelschen Kontexten oder wenn nötige Verschwindensannahmen fehlen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Wird oft mit der Konvergenz von Spektralfolgen oder mit bloßer Trunkierung einer Auflösung verwechselt; die Spannung liegt zwischen dem expliziten gradeverschiebenden Argument durch eine kurze exakte Folge und globaleren Gradmanipulationen wie Spektralfolgen.

 

 

 

 

 





## Synthese

Synthese

Dimensionsverschiebung ist die gezielte Verwendung exakter Folgen und projektiver/injektiver Auflösungen, um kanonische gradverschiebende Isomorphismen für Ext und Tor zu erzeugen und so komplexe homologische Rechnungen unter geeigneten Verschwindensbedingungen zu vereinfachen.