Es sei ein
Schema
über einem
kommutativen Ring
, es sei eine
invertierbare Garbe
auf und es seien
globale Schnitte
auf und
der
zugehörige Morphismus.
Dann ist das Urbild der Hyperebene
-
(mit
,
nicht alle gleich )
unter gleich der Nullstellenmenge
-
des zurückgezogenen Schnittes .