Fibr´es vectoriels en dimension sup´erieure
3.) Suite exacte d’Euler
Soit Pn:= Pn(k) l’espace projectif de dimension nsur kun corps alg´ebriquement
clos et notons ΩPnson fibr´e cotangent. Alors on a une suite exacte
0→ΩPn→ OPn(−1)⊕n+1 → OPn→0.
De fa¸con ´equivalente, le fibr´e tangent de Pnpeut ˆetre ´ecrit comme
0→ OPn→ OPn(1)⊕n+1 →TPn→0.
4.) La construction de Serre
La situation locale
Dans cette premi`ere partie, on travaille sur un anneau commutatif noeth´erien
local A. On rappelle que la dimension homologique dh(M) d’un A-module Mest
la longueur minimale d’une r´esolution par des modules libres.
(a) Soit Mun A-module tel que dh(M)≤1. Si Ext1(M, A) = 0, alors Mest
libre.
(b) Soit Mun A-module tel que dh(M)≤1 et soit ζ∈Ext(M, A). Soit Eζ
l’extension de Mpar Acorrespondant `a ζ. Alors Eζest libre si et seulement si ζ
engendre le A-module Ext1(M, A).
(c) Soit Iun A-module tel que dh(I)≤1 et Iest de rang un. Alors Ipeut ˆetre
engendr´e par deux ´el´ements si et seulement si le A-module Ext1(I, A) est monog`ene.
(d) Soit Iun id´eal dans Atel que dh(I)≤1 et Ipeut ˆetre engendr´e par deux
´el´ements. Supposons qu’il existe un ´el´ement ζde Ext1(I, A) qui n’est pas nul. Alors
l’extension correspondante est un A-module libre.
La situation globale
Soit Xune vari´et´e projective lisse d´efinie sur un corps kalg´ebriquement clos. Soit
Yun sous-sch´ema de Xde codimension deux. Rappelons que le faisceau dualisant
[Har77, III,7] de Yest donn´e par la formule
ωY=Ext2(OY, ωX).
Supposons que Yest localement intersection compl`ete, c’est-`a-dire le faisceau
d’id´eaux peut ˆetre localement engendr´e par deux ´el´ements. Supposons en plus qu’il
existe un fibr´e en droites Ltel que
h1(X, L∗) = h2(X, L∗) = 0
et un isomorphisme
φ:L⊗ωX⊗ OY→ωY.
Montrer qu’il existe un fibr´e vectoriel Ede rang deux tel qu’on a une suite exacte
0→L∗→E→ IY→0.
Indication : utiliser la suite exacte 0 → IY→ OX→ OY→0 pour obtenir une
identification de Ext1(IY, L∗) avec Hom(L⊗ωX⊗ OY, ωY). Appliquer la premi`ere
partie pour montrer que Eest localement libre.
2