Ein algebraisches Invariant, definiert für eine Homotopieäquivalenz zwischen endlichen CW‑Komplexen, das Werte in der Whitehead‑Gruppe Wh(π) annimmt (ein Quotient von K1 des Gruppenrings Z[π]) und das Hindernis dafür misst, dass die Homotopieäquivalenz eine einfache Homotopieäquivalenz ist; zentral für die Klassifikation von h‑Cobordismen und den s‑Cobordismus‑Satz.

Prinzip

Eine zelluläre Homotopieäquivalenz wird durch eine Kettenhomotopieäquivalenz der zellulären Kettenkomplexe über dem Gruppenring des Fundamentalgrupp dargestellt, deren Torsion in K1 modulo geeignete Einheiten berechnet wird; das Verschwinden dieser Klasse bedeutet, dass die Äquivalenz durch eine Folge elementarer Erweiterungen und Zusammenbrüche (simple homotopy) realisierbar ist.

Demonstration

Gegeben sei eine Homotopieäquivalenz f: X → Y endlicher CW‑Komplexe mit π = π1(Y). Man repräsentiert f durch eine zelluläre Abbildung, die eine Kettenhomotopieäquivalenz C_*(X̃) → C_*(Ỹ) über Z[π] induziert, berechnet die zugehörige Whitehead‑Torsion τ(f) ∈ Wh(π); τ(f)=0 genau dann, wenn f homotop zu einer einfachen Homotopieäquivalenz ist.

Fehlanwendung

Eine nichtverschwindende Torsion fälschlich als Beweis dafür zu deuten, dass X und Y nicht homotopieäquivalent seien (die Torsion obstruiert nur die Simplizität), die Torsion ohne Berücksichtigung von Basispunkten oder korrekten Gruppenring‑Konventionen zu berechnen oder das Invariant außerhalb des endlichen CW‑Rahmens anzuwenden, führt zu Fehlnutzungen.

Konsequenz

Das Verschwinden der Whitehead‑Torsion ist das algebraische Kriterium im s‑Cobordismus‑Satz, um aus einem h‑Cobordismus dessen Trivialität (Produktstruktur) abzuleiten; nichtverschwindende Torsionen unterscheiden Homotopieäquivalenzen, die nicht durch einfache Erweiterungen und Zusammenbrüche erreichbar sind, und verfeinern so die Klassifikation von Mannigfaltigkeiten und Komplexen bezüglich einfacher Homotopie.

Umkehrung

Eine einfache Homotopieäquivalenz hat triviale Whitehead‑Torsion; die Umkehrung betont, dass Trivialität der Torsion der Realisierbarkeit durch elementare zelluläre Operationen entspricht, während nichttriviale Torsion wesentliche kombinatorische Komplexität dokumentiert.

Abgrenzung

Definiert für Abbildungen zwischen endlichen CW‑Komplexen (oder endlichen Kettenkomplexen über Gruppenringen) und benutzt den Gruppenring des Fundamentalgruppes; es lässt sich nicht ohne Weiteres auf unendliche Komplexe ausdehnen und erfordert Vorsicht, wenn π Torsion besitzt oder Koeffizienzringe von Z abweichen.

Semantische Spannung

Es besteht semantische Spannung zwischen Whitehead‑Torsion und anderen Torsionsbegriffen wie Reidemeister‑Torsion oder analytischer Torsion: Sie messen verwandte, aber unterschiedliche Verfeinerungen (algebraisch versus analytisch, einfache Homotopie versus Mannigfaltigkeitsinvarianten) und erfordern kontext‑ und koeffizientensensitive Entscheidungen.

Synthese

Die Whitehead‑Torsion ist die K1‑wertige Obstruktion, die Homotopieäquivalenzen zur Klassifikation nach einfacher Homotopie verfeinert: Indem sie Kettenkomplexautomorphismen über den Gruppenring kodiert, erkennt sie, ob eine Homotopieäquivalenz durch elementare zelluläre Operationen realisierbar ist, und spielt daher eine entscheidende Rolle in Klassifikationssätzen hoher Dimension.