Koszul kohomologi

Inom matematik är Koszul-kohomologigrupperna K p grupper associerade till en projektiv varietet X med en linjebunt L . De introducerades av Mark Green ( 1984 , 1984b ) och uppkallade efter Jean-Louis Koszul eftersom de är nära besläktade med Koszul-komplexet .

Green (1989) kartlägger tidigt arbete med Koszul-kohomologi, Eisenbud (2005) ger en introduktion till Koszul-kohomologi och Aprodu & Nagel (2010) ger en mer avancerad undersökning.

Definitioner

Om M är en graderad modul över den symmetriska algebra för ett vektorrum V , så är Koszul-kohomologin \ för M kohomologin för M sekvensen

Om L är en linjebunt över en projektiv variant X , så ges Koszul-kohomologin för den graderade modulen , sett som en modul över den symmetriska algebra för vektorrummet .