Zum Inhalt springen

Kählermodul/Basiswechsel/Endlich erzeugt/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei . Nach Bemerkung liegt eine exakte Sequenz

vor, wobei die transponierte Jacobi-Matrix zu den ist. Tensorierung mit über ergibt

Wegen mit den aufgefasst über ist auch

sodass die in Frage stehenden -Moduln übereinstimmen.