## [Torsor](/de/node/61434) Definition 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 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 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 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 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 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 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 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 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.