Eine Menge (oder Garbe, Schema, usw.) mit einer einfach transitiven Wirkung einer Gruppe G: Die G‑Wirkung ist frei und transitiv, aber es gibt keinen ausgezeichneten Identitätspunkt, so dass der Torsor ein 'principal homogeneous space' ist, der nach Wahl eines Basispunkts isomorph zu G wird.

Prinzip

Ein G‑Torsor besitzt lokal (für eine gewählte Topologie) die Struktur von G, kann aber global nichttrivial sein; Torsoren über einer Basis werden durch H^1 der Basis mit Koeffizienten in G (Čech‑ oder Garbenkohomologie) klassifiziert, und das Verdrehen durch Torsoren erzeugt nichttriviale Formen von Objekten.

Demonstration

Ein nichttrivialer Vektorraum V über einem Körper k ist ein Torsor unter GL(V), sobald ein Punkt gewählt ist; anschaulicher ist ein Haupt G‑Bündel über einem Schema, das lokal trivial für die étale (oder Zariski-) Topologie ist — ein G‑Torsor —, und Geradenbündel sind Torsoren unter G_m.

Fehlanwendung

Einen Torsor als Gruppe behandeln, indem man die Existenz eines kanonischen Identitätselements annimmt, oder Torsorelemente ohne Bezug zur Gruppenwirkung zu verknüpfen; Kohomologieklassen von Torsoren mit gewöhnlicher Gruppenkohomologie verwechseln ohne korrekte Koeffizienteninterpretation.

Konsequenz

Torsoren kodieren Hindernisse und Verziehungen: Sie klassifizieren Formen, parametrisieren Hauptbündel und übersetzen geometrische Objekte in Kohomologieklassen, wodurch sie eine konkrete Darstellung von nichttrivialer Deszendenz und Verkleben bieten.

Umkehrung

Die Umkehrung betrachtet Gruppen als Torsoren mit gewähltem Nullpunkt: Verleiht man einem Torsor einen Basis‑Punkt, so gewinnt man die Gruppenstruktur zurück; umgekehrt ergibt das Vergessen der Identität einer Gruppe einen Torsor — Torsor versus Gruppe ist eine Frage der Wahl des Ursprungs.

Abgrenzung

Erfordert eine festgelegte wirkende Gruppe und eine einfach transitive Wirkung; Objekte mit nichttransitiven oder nichtfreien Wirkungen sind ausgeschlossen, und die Torsortheorie setzt in der Regel eine Topologie für lokale Trivialität (Zariski, étale, analytisch) je nach Kontext voraus.

Semantische Spannung

Spannung zwischen Torsoren, Hauptbündeln und Garben: Torsoren entsprechen 0‑dimensionalen Cocyklen klassifiziert durch H^1, während Garben und höhere Torsoren in höheren Kohomologiebereichen leben; außerdem ist zwischen Bitorsoren (zweiseitige Aktionen) und gewöhnlichen Torsoren zu unterscheiden.

Synthese

Ein Torsor ist ein gruppenförmiges Objekt ohne gewählten Ursprung: lokal identisch mit der wirkenden Gruppe, global möglicherweise verdreht, und die grundlegende geometrische Repräsentation einer H^1‑Klasse, die Deszendenz, Formen und Hauptbündel‑Daten kodiert.