Ein lokal freier Garben‑ bzw. Faserbündel vom Rang eins, dessen Fasern eindimensionale Vektorräume sind; es liefert das geometrische Mittel zur Beschreibung des »Torsions« von Schnitten und entspricht algebraisch einem invertierbaren Garbenobjekt.

Prinzip

Ein Linienbündel ist lokal trivial vom Rang eins und wird daher durch Übergangsfunktionen mit Werten in der multiplikativen Gruppe bestimmt; Tensorprodukt, Dual und Zugrückziehen verleihen ihm eine gruppenartige Struktur, die in der Picardgruppe der Isomorphieklassen sichtbar wird.

Demonstration

Auf dem projektiven Raum P^n sind das tautologische Linienbündel O(-1) und sein Dual O(1) Standardbeispiele: Schnitte von O(1) entsprechen linearen Formen und Hyperflächendivisoren, Tensorpotenzen liefern die O(k).

Fehlanwendung

Zu glauben, ein Linienbündel sei global trivial, weil es auf einem zu groben Überzug trivial ist, oder Linienbündel mit Vektorbündeln höheren Rangs oder mit bloßen invertierbaren Modulen ohne lokale Freiheit zu verwechseln.

Konsequenz

Richtig angewendet bestimmen Linienbündel Divisorenklassen und lineare Systeme, steuern Einbettungen durch sehr ample Bündel und bilden die Picardgruppe, deren Struktur geometrische Deformations‑ und Klassifikationsdaten enthält.

Umkehrung

Ein Linienbündel durch einen nichtinvertierbaren, rang‑eins kohärenten Garben zu ersetzen bricht die Invers‑Eigenschaft bezüglich des Tensorprodukts; der Wechsel zu Bündeln höheren Ranges zerstört die einfache multiplikative Übergangsfunktionen‑Ansicht und die Divisorenkorrespondenz.

Abgrenzung

Erfordert lokale Freiheit vom Rang eins; zu unterscheiden sind algebraische (invertierbare Garbe), analytische und topologische Linienbündel sowie die Existenz von Trivialitätsobstruktionen (Chernklasse, erste Stiefel–Whitney‑Klasse usw.).

Semantische Spannung

Spannung besteht zwischen den Sichtweisen »Linienbündel« (geometrisch), »invertierbare Garbe« (algebraisch) und »G_m‑Torseur« (Torseur‑Sprache); jede betont unterschiedliche Konstruktionen und Invarianten.

Synthese

Ein Linienbündel ist das lokal triviale eindimensionale Vektorbündel, dessen Schnitte das Torsionsverhalten messen; algebraisch ist es eine invertierbare Garbe, und bis auf Isomorphie regeln seine Klassen Divisoren, Einbettungen und kohomologische Invarianten.