Castelnuovo kontraktionssats

Castelnuovos kontraktionssats används i klassificeringsteorin för algebraiska ytor för att konstruera en minimal modell för en given slät algebraisk yta.

Mer exakt, om är en slät projektiv yta över , och  är en (−1) -kurva på (vilket betyder en jämn rationell kurva med självskärningar −1), så finns det en morfism från till en annan huvudsaklig projektiv yta så att kurvan drar ihop sig till punkten , och dessutom är denna morfism en isomorfism utanför (det vill säga isomorf med ).

Denna sammandragningsmorfism kallas ibland för att tömma eller dra ihop sig , vilket är motsatsen till att blåsa upp . Vi kallar också en sådan kurva för en exceptionell kurva av det första slaget.

Anteckningar

Litteratur