## [Serre–Swan-Satz](/de/node/64067) Definition Eine Äquivalenz, die besagt, dass für einen kompakten Hausdorff-Raum X die Kategorie der (reellen oder komplexen) Vektorbündel endlichen Rangs über X äquivalent zur Kategorie der endlich erzeugten projektiven Moduln über dem Ring C(X) der stetigen Funktionen auf X ist; Abschnitte liefern die Entsprechung. ## Prinzip Prinzip Der Funktor der globalen Schnitte stellt die Äquivalenz her: Stetige Schnitte senden ein Vektorbündel auf ein endlich erzeugtes projektives C(X)-Modul, und umgekehrt entsteht jedes endlich erzeugte projektive Modul für kompaktes Hausdorff X als Abschnittsmodul eines passenden Vektorbündels. ## Demonstration Demonstration Beispielsweise entsprechen Geradenbündel über dem Kreis Rang-1-projektiven Moduln über C(S^1); die Clutching-Konstruktion von Bündeln entspricht idempotenten Matrizen über C(S^1), die projektive Moduln definieren. ## Fehlanwendung Fehlanwendung Das Theorem naiv auf nicht-kompakte Räume, unendlich-rangige Bündel oder auf Ringe differenzierbarer Funktionen anzuwenden, ohne die notwendigen Finitheits- oder Topologiehypothesen zu prüfen; beliebige Moduln als von Bündeln stammend zu behandeln, obwohl sie nicht projektiv sind. ## Konsequenz Konsequenz Ermöglicht die Übersetzung topologischer Probleme über Vektorbündel in algebraische Probleme über projektive Moduln und Idempotenten, ist grundlegend für Techniken in der K-Theorie und für den Übergang zur nichtkommutativen Geometrie, wenn C(X) durch eine nichtkommutative Algebra ersetzt wird. ## Umkehrung Umkehrung Umgekehrt sind nicht alle Moduln über C(X) geometrisch: Nur endlich erzeugte projektive Moduln entsprechen Bündeln, sodass Freiheits- oder andere Modul-Eigenschaften nicht automatisch das Vorhandensein eines Vektorbündels implizieren. ## Abgrenzung Abgrenzung Setzt voraus, dass X kompakt Hausdorff ist und die Bündel endlichen Rang haben; schließt nicht-kompakte Basen ohne Zusatzstruktur, unendlich-rangige Bündel und beliebige Garben oder nicht-projektive Moduln aus. ## Semantische Spannung Semantische Spannung Spannung zwischen algebraischen Begriffen (projektive vs. freie Moduln, Idempotenten in Matrixalgebren) und geometrischer Intuition über Bündel; in der algebraischen Geometrie gelten ähnlich klingende Sätze (Serres Satz über kohärente Garben) in anderen Kategorien und mit anderen Hypothesen. ## Synthese Synthese Der Serre–Swan-Satz formuliert eine Kategoriënäquivalenz, die Vektorbündel endlichen Rangs auf einem kompakten Hausdorff-Raum mit endlich erzeugten projektiven Moduln über C(X) identifiziert, wodurch eine systematische algebraische Behandlung topologischer Bündel möglich wird.