05.06.2013 Views

Introduction - index

Introduction - index

Introduction - index

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Exercices A 75<br />

Ep ainsi : (£7, s) ~ (V, t) si et seulement si il existe W ouvert, contenant<br />

P, W C Z7 n V tel que s w= * |w-<br />

La classe d'equivalence de (U, s) s'appelle le germe de s en P. On la<br />

note sp. On note Tp 1'ensemble des germes, c'est la fibre de T en P. On<br />

dit que TP est la limite inductive des J-"(U) pour P € U.<br />

On pose A" = Upgx-^V (reunion disjointe des J-p}. Montrer qu'on<br />

definit une injection iu de F(U) dans 1'ensemble des fonctions de U dans<br />

K en posant iu(s}(P] = sp. Montrer que les iu sont compatibles aux<br />

restrictions, de sorte que T est un sous-faisceau du faisceau des fonctions<br />

de X dans K.<br />

2. Sections sur un ouvert<br />

Soit V une variete algebrique affine. On suppose que F(V) est un<br />

anneau factoriel (c'est le cas, par exemple, si V = k n }.<br />

a) Soient /i,..., /n £ F(V) des elements non nuls et soit h leur pgcd.<br />

Montrer que Ton a D(fi) U U D(fn) C D(h) et que 1'homomorphisme<br />

naturel de restriction :<br />

est un isomorphisme (on raisonnera par recurrence sur n).<br />

b) En deduire que si U est un ouvert de V et si U n'est pas contenu<br />

dans un ouvert D(f) distinct de V, on a F(C7, Oy) = F(V, Oy). Exemple :<br />

V = A; 2 , U = k 2 - {(0,0)}; plus generalement on a F(I7) = F(V) des que<br />

V — U est de codimension > 2 dans V.<br />

3. Sections et quotients<br />

Soit Q C A: 4 , Q = V(XY - ZT] muni de sa structure de variete algebrique.<br />

Soient Uy et Uz les ouverts de Q definis par y ^ 0 et z ^ 0 et<br />

posons U = Uy U Uza)<br />

Montrer que la fonction / de U dans k definie par /(x, ?/, z, t} = x/z<br />

(resp. = t/y) si P = (x, y, z,t) € Uz (resp. si P € C/y) est un element de<br />

F(t/,0g).<br />

b) ^ Montrer que / n'est pas la restriction a U d'un quotient G/H<br />

avec G, H dans k[X, Y, Z, T] et H(P] ^ 0 pour tout P € U.<br />

(On notera que cela signifie que V(y,Z), bien que de codimension 1<br />

dans Q, ne peut etre defini par une seule equation (cf. Ch. IV).)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!