Das relative Picard-Schema Pic_{X/S} (falls repräsentierbar) ist das Schema (bzw. Gruppenschema), das das Prä­sheaf repräsentiert, welches einem S-Schema T die Gruppe der Isomorphieklassen von Linienbündeln auf X_T modulo Pullback von T zuordnet; es ordnet Familien von Linienbündeln und deren algebraische Äquivalenzklassen und zerfällt oft in Komponenten wie Pic^0 und das Néron–Severi-Gitter.

Prinzip

Das Prinzip besteht darin, Deformations- und Familienverhalten von Linienbündeln algebro-geometrisch zu kodieren: das Picard-Schema macht den Picard-Funktor zu einem repräsentierbaren Gruppenobjekt, sofern die Repräsentierbarkeitsbedingungen (Eigentlichkeit, Flachheit, Kohomologie-Bedingungen) erfüllt sind.

Demonstration

Für eine glatte properte Familie von Kurven f: X→S existiert das relative Picard-Schema und seine zusammenhängende Komponente Pic^0_{X/S} ist ein abelsches Schema; wenn S ein Punkt ist und X eine glatte projektive Kurve, ist Pic^0(X) die Jakobischer Varietät, die Linienbündel vom Grad null parametrisiert.

Fehlanwendung

Ohne Prüfung der Repräsentierbarkeitsvoraussetzungen die Existenz eines Picard-Schemas anzunehmen (z. B. bei nicht-properen oder singularen Familien), oder das Picard-Schema mit dem Picard-Stack bzw. der abstrakten Picard-Gruppe einer einzelnen Varietät ohne Schema-Struktur und Familienverhalten zu verwechseln.

Konsequenz

Ist es vorhanden, liefert das Picard-Schema ein geometrisches Gruppenobjekt, das die Variation von Linienbündeln kontrolliert, ermöglicht Konstruktionen von Dualen (z. B. Jakobischen), bietet Werkzeuge zur Untersuchung von Höhen und Néron–Severi-Gruppen und verbindet sich mit Abel–Jacobi- und Regulator-Konstruktionen.

Umkehrung

Die duale Perspektive betont die Brauer-Gruppe oder das Moduli von Azumaya-Algebren; man kann auch zum Picard-Stack übergehen, der Automorphismen von Linienbündeln behält — dies sind komplementäre oder ‚invers‘ zu verstehende Parametrisierungen von verdrehten oder höhergradigen Daten.

Abgrenzung

Repräsentierbarkeit erfordert Voraussetzungen (proper, flach, Kohomologie und Basiswechsel); außerhalb dieser Anforderungen arbeitet man mit dem Picard-Funktor als fppf/étale-Faischer oder mit dem Picard-Stack. Über nicht-reduzierten Basen oder in positiver Charakteristik können Pathologien auftreten, und Zusammenhängigkeit/abelsche Struktur kann fehlen.

Semantische Spannung

Es besteht eine Spannung zwischen dem Picard-Schema, der Picard-Varietät (seinem größten reduzierten zusammenhängenden projektiven Anteil) und dem Picard-Stack; oft werden Funktor der Punkte, repräsentierendes Schema und klassische Picard-Gruppen vermischt, was Mehrdeutigkeiten zur Repräsentierbarkeit und Automorphismen erzeugt.

Synthese

Das Picard-Schema, falls repräsentierbar, ist das repräsentierende geometrische Objekt, das Familien von Linienbündeln (modulo Pullback) über X→S parametriert; es ist ein Gruppenschema, das algebraische Äquivalenz und Deformationsdaten ordnet, wobei Pic^0 den abelschen Anteil und weitere Komponenten die diskreten Néron–Severi-Daten kodieren.