Projektiver Raum/K/Hyperfläche/Glatt/Charakterisierungen/Fakt/Beweis

Beweis

Die Äquivalenz von (2) und (3) ist klar wegen Fakt und da die Glattheit eine lokale Eigenschaft ist. Die Äquivalenz von (2) und (4) beruht auf Fakt. Die Äquivalenz von (1) und (3) beruht darauf, dass die Kegelabbildung lokal über durch

gegeben ist. Lokal ist die Kegelabbildung also ein punktierter affiner Zylinder über der Basis.

Von (4) (bzw. (2)) nach (5). Nach Fakt gibt es die exakte Sequenz

Dabei ist das von erzeugte Hauptideal und es ist über die Zuordnung

Ferner ist die Einschränkung dieser Idealgarbe auf gleich

Als Einschränkung einer invertierbaren Garbe ist dies wieder invertierbar. Lokal ist die linke Abbildung wie in Bemerkung durch die Jacobi-Matrix zur Dehomogenisierung von gegeben, und wegen der Glattheit ist diese (sogar auch in den Restekörpern) injektiv. Von (5) nach (4) ist eine Einschränkung.