Schema/Glatt/Kählermodul/Lokal frei/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein algebraisch abgeschlossener Körper und es sei ein zusammenhängendes Schema von endlichem Typ über .

Dann ist genau dann glatt, wenn der Modul der Kähler-Differentiale lokal frei von konstantem Rang ist.

Zum Beweis, Alternativen Beweis erstellen