G´
EOM´
ETRIE ALG´
EBRIQUE ET ESPACES DE MODULES -
FEUILLE D’EXERCICES 3
ANDREAS H ¨
ORING
1.) Complexe de Koszul
La situation locale
Soit Aun anneau commutatif et soient f1,...,fr∈A. On d´efinit le complexe de
Koszul K•(f1,...,fr) comme suit : K0:= Aet K1est un A-module libre de rang
ret base e1,...,er. Pour tout i∈1,...,r on d´efinit
Ki:=
i
^K1.
et des morphismes de A-modules di:Ki→Ki−1
ej1∧. . . ∧eji7→
i
X
l=1
(−1)l−1ej1∧...∧ˆejl∧...∧ejifjl.
(a) Montrer que d◦d= 01, i.e. K•(f1,...,fr) est un complexe de A-modules.
On dit que la suite f1,...,frest r´eguli`ere, si pour tout i∈1, . . . , r, l’image de
fidans A/(f1,...,fi−1) n’est pas un diviseur de z´ero.
(b) Montrer que si la suite f1,...,frest r´eguli`ere, l’homologie sup´erieure du
complexe K•(f1,...,fr) est nulle et
h0(K•(f1,...,fr)) ≃A/(f1,...,fr).
Indication : proc´eder par r´ecurrence sur r.
La situation globale
Soit maintenant Pnl’espace projectif de dimension nsur kun corps alg´ebri-
quement clos. Le fibr´e en droites OPn(1) des hyperplans est globalement engendr´e,
fixons une base e1, . . . , en+1 de W:= H0(Pn,OPn(1)).
Pour i∈1,...n+ 1 on d´efinit un morphisme de OPn-modules δi:ViW⊗ OPn→
Vi−1W⊗ OPn(1) par
ej1∧...∧eji7→
i
X
l=1
(−1)l−1ej1∧...∧ˆejl∧...∧eji⊗ev(ejl),
o`u ev(ejl) est donn´e par le morphisme d’´evaluation
ev :H0(Pn,OPn(1)) ⊗ OPn→ OPn(1).
Posons
Ki:=
i
^W⊗ OPn(−(i−1)) ∀i∈1,...n+ 1,
Date: 29 janvier 2008.
1Pour simplifier la notation, on ´ecrira d`a la place de di.
1