Projektiver Raum/K/Hyperfläche/Glatt/Kanonische Garbe/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir wenden die kurze exakte Sequenz

von lokal freien Garben auf aus Fakt an. Nach Fakt und Fakt ist

Dabei beruht die letzte Gleichung auf Fakt. Tensorierung mit ergibt die Behauptung.

Zur bewiesenen Aussage