Schema über R/Invertierbare Garbe/Schnitte/Morphismus in projektiven Raum/Korrespondenz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Satz über invertierbare Garben und Morphismen

Es sei ein Schema über einem kommutativen Ring .

Dann entsprechen sich die folgenden Konzepte.

  1. Eine invertierbare Garbe auf zusammen mit basispunktfreien Schnitten
  2. Ein Morphismus

    über .

Dabei wird den Schnitten der zugehörige Morphismus und dem Morphismus die invertierbare Garbe zusammen mit den Schnitten , , zugeordnet.

Zum Beweis, Alternativen Beweis erstellen