Ein nichtnulles Element einer Tor‑Gruppe, das das Versagen der Erhaltung von Exaktheit durch das Tensorprodukt oder das Versagen von Flachheit anzeigt; ein solches Element obstruiert naive Tensoroperationen oder Hebungen, die auf Exaktheit von ⊗ beruhen.

Prinzip

Tor ist der linksabgeleitete Funktor des Tensorkomplexes; nichtverschwindendes Tor_n(M,N) misst, inwieweit das Tensorieren mit M auf einer Auflösung von N nicht exakt ist. Tor‑Obstruktionen treten auf, wenn exakte Folgen nach Tensorieren zusammenbrechen und gewünschte Identifikationen oder Wechsel der Basis verhindert werden.

Demonstration

Über einem Ring R bestimmt 0 → K → P → M → 0 mit P projektiv beim Tensorieren mit N eine lange exakte Tor‑Sequenz. Ein nichtverschwindendes Tor_1^R(M,N) verhindert Hebungen nach dem Tensorieren und signalisiert, dass M gegenüber N nicht flach ist; etwa erzeugt Z/p ⊗_Z Z/p in vielen Konstruktionen nichtverschwindendes Tor_1.

Fehlanwendung

Flachheit oder Exaktheit des Basiswechsels allein deshalb zu behaupten, weil Tor in niedrigen Graden verschwindet, ohne höhere Tor oder relevante Auflösungen zu prüfen, missbraucht den Obstruktionsbegriff und kann tiefere Pathologien verschleiern.

Konsequenz

Das Erkennen einer Tor‑Obstruktion zwingt dazu, Hypothesen zu verfeinern (Flachheit ansetzen, Basis wechseln, derived tensor verwenden), in abgeleiteten Kategorien zu arbeiten oder Auflösungen zu kontrollieren; es erklärt, warum naive auf ⊗ basierende Konstruktionen fehlschlagen oder why bestimmte Spektralfolgen nicht degenerieren.

Umkehrung

Verschwinden der relevanten Tor‑Gruppen (alle benötigten Tor_n = 0) stellt die Exaktheit des Tensorns in den betrachteten Graden wieder her und beseitigt die Obstruktion, so dass erwartete Tensoridentifikationen und flacher Basiswechsel gelten.

Abgrenzung

Tor‑Obstruktionen sind in abelschen Kontexten mit Tensorprodukt und abgeleiteten Funktoren sinnvoll; sie gelten nicht unmittelbar für nichtdistributive tensorähnliche Operationen oder für Settings ohne homologische Algebra. Die Vorstellung schließt durch Ext erfasste kohämologische Obstruktionen aus.

Semantische Spannung

„Tor‑Obstruktion“ wird oft mit allgemeinem „Versagen der Flachheit“ vermengt; die Spannung liegt darin, dass Tor konkrete Grade und Objektpaare lokalisiert, während Flachheit eine globale Eigenschaft eines Objekts über die ganze Kategorie oder Basis ist.

Synthese

Eine Tor‑Obstruktion ist das abgeleitet‑tensorielle Zeugnis — konkrete Tor‑Klassen, die erklären, warum Tensorieren nicht mehr exakt ist und warum Flachheit oder naiver Basiswechsel versagen; das Verschwinden dieser Klassen ist der Weg zur Wiederherstellung des erwarteten Tensorverhaltens.