Grothendiecks lokala dualitet

Inom kommutativ algebra, en del av matematiken, är Grothendiecks lokala dualitet en dualitetssats för kohomologin av moduler över lokala ringar, analog till Serres dualitet för koherenta kärvar.

Dualiteten

Anta att R är en lokal Cohen–Macaulayring av dimension d med maximalt ideal m och restkropp k = R/m. Låt E(k) vara Matlismodulen, att injektivt hölje av k, och låt Mall:Overline vara fullständigandet av dess dualiserande modul. Då finns det för varje R-modul M en isomorfi av moduler över fullständigandet av R:

${\mathrm{Ext}}_R^i(M,\bar{\mathrm{\Omega }})\cong {\mathrm{Hom}}_R(H_m^{d-i}(M),E(k))$

där H_m är en lokal kohomologigrupp.

Det finns en generalisering till Noetherska lokala ringar som inte är Cohen–Macaulay, som ersätter dualiserande modulen med ett dualiserande komplex.

Se även

• Matlis dualitet

Källor

• Mall:Enwp
• Mall:Citation