DEA M´ethodes Alg´ebriques (2005-2006)
cours de Laszlo ‘G´eom´etrie alg´ebrique’
Feuille d’exercises N02
1) Soit Xun sch´ema, Spec A, Spec B⊂Xdeux ouverts affines et xun point de Spec A∩Spec B.
Montrer qu’ils existent a∈A, b ∈Btel que les ouverts Spec Aaet Spec Bbde Xcoincident et
contiennent le point x.
2) Soit kun corps alg´ebriquement clos, f∈k[x1, x2, x3] un polynˆome homog`ene et Y⊂P2
kle
sous-sch´ema ferm´e definit par f. Supposons que pour tout k-point p∈Y(k) au moins une des
valeurs df
dxi(p) est non nul. Alors, fest irr´eductible et Yn’a pas de points singuliers.
3) Le groupe multiplicatif est Gm= Spec Z[t, t−1]. Le groupe additif est Ga= Spec Z[t].
D´efinir une structure de sch´ema en groupe sur Gmet Ga. Montrer que pour un sch´ema S
on a Hom(S, Ga) = H0(X, O) et Hom(S, Gm) = {´elements enversibles de H0(X, O)}comme les
groupes ab´eliens.
Montrer que tout homomorphisme des sch´emas en groupes Ga→Gmest trivial. De mˆeme
pour les homomorphismes Gm→Ga. Montrer que tout homomorphisme Gm→Gmest de la
forme x7→ xdpour d∈Z.
4) Soit Xun sch´ema entier (c’est-a-dire, irr´eductible et r´eduit) et quasi-compact. Soit Kle corps
de fonctions de X(c’est-a-dire, l’anneau local au point g´en´erique). Notons A= H0(X, O). On
suppose que Kest le corps des fractions de A. Soit f:X→Spec Ale morphisme qui correspond
`a id : Af→H0(X, O). Montrer qu’il existe un ´el´ement α∈Atel que f:f−1(D(α)) →D(α) est
un isomorphisme, o`u D(f) = Spec Aα.
5a) Lemme de representabilit´e de Grothendieck.
Soit Sun sch´ema et F: Sch/S →Sets un foncteur contravariant. Soit G⊂Fun sous-foncteur,
c’est-`a-dire, G(Z)⊂F(Z) pour tout S-sch´ema Z. Notons hZ: Sch/S →Sets le foncteur
represent´e par un S-sch´ema Z. Pour z∈F(Z) on note G×FZ: Sch/S →Sets le foncteur qui
associe `a un S-sch´ema Z0l’ensemble des morphismes f:Z0→Zsur Stel que f∗(z)∈G(Z0).
Ici f∗(z) est l’image de zpar f∗:F(Z)→F(Z0).
On dit que Gest sous-foncteur ouvert de Fsi pour tout S-sch´ema Zet tout z∈F(Z) le
sous-foncteur G×FZ⊂hZest representable par un ouvert de Z.
D´emontrer le theoreme suivant.
Theorem 1. Soit F: Sch/S →Sets un foncteur contravariant et Fi⊂Fles sous-foncteurs
ouverts pour i= 1, . . . , d. Supposons que (Fi)est une famille couvrante de F, c’est-`a-dire, pour
tout Z∈Sch/S et tout z∈F(Z)les ouverts Fi×FZcouvre Z.
Supposons que pour tout S-sch´ema Z,Fest un faisceau d’ensembles sur la topologie de
Zarisky de Z. Alors, Fest representable.
5b) Soit kun corps et Vun k-espace vectoriel de dimension n. Soit Gr(r, V )(k) = {sous-espaces
vectoriels V0⊂V|dim V0=r}. Introduire un k-sch´ema Gr(r, V ) tel que ses k-points sont
1