Projektiver Raum/K/Hyperfläche/Glatt/Charakterisierungen/Fakt/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.