DEA M´ethodes Alg´ebriques (2005-2006)
cours de Laszlo ‘G´eom´etrie alg´ebrique’
Feuille de TD 3
1) Application de l’image sh´ematique. Soit π:XSun morphisme des sch´emas. Soit K
un corps et Run anneau de valuation dans K(voir Hartshorn, Algebraic geometry pour la
definition d’un anneau de valuation). Consid´erons un diagramme commutatif
Spec KX
π
Spec Rα
S
(1)
Montrer les crit`eres valuatifs suivants.
π:XSest separ´e ssi il existe au plus un morphisme Spec RXqui compl`ete (1) en
un diagramme commutatif.
π:XSest propre ssi il existe un et un seul morphisme Spec RXqui compl`ete (1)
en un diagramme commutatif.
2) Montrer que la propri´et´e d’un morphisme f:XYdes scemas d’ˆetre affine (s´epar´e,
fini, propre, de type fini, une immersion ouverte, une immersion ferm´e) est preserv´e par un
changement de base.
Diviseurs
La partie th´eorique sur les diviseurs et morphismes projectifs, qui n’est pas dans le poly du
cours, est `a regarder dans ([1], chapitre 2, 2.6 et 2.7). On note Cl(X) le groupe des classes
des diviseurs de Weil d’un sch´ema X(quand il est defini), CaCl(X) le groupe des classes des
diviseurs de Cartier de X.
1) Soit kun corps et YP2
kune conique (sous-sch´ema ferm´e donn´e par une ´equation homog`ene
de degr´e 2), qui admet un k-point. Si Yest lisse alors YfP1
k.
2) Soit S=d0Sdun anneau gradu´e avec S0=A. Soit Mun A-module et F=˜
Mle
faisceau quasi-coh´erent associ´e sur Spec A. Soit f: Proj SSpec Ala projection. Montrer que
˜
NffF, o`u N=
d0SdAMest le S-module gradu´e correspondant.
3) Lemme de Chow. Soit Xun scema propre sur un sch´ema noetherien S. On suppose X
irr´eductible. Alors, il existe un morphisme g:X0Xtel que X0est projectif sur Set il existe
un ouvert dense UXtel que g:g1(U)Uest un isomorphisme.
4) Soit f:XYun morphisme dominant de type fini, Xet Ydes sch´emas entiers, on suppose
Xnormal (pour simplifier, on peut s’en passer). On suppose que f1(η) est un ensemble fini,
1
o`u ηest le point g´en´erique de Y. Alors, il existe un ouvert UYtel que f1(U)f
Uest un
morphisme fini.
5) Soit Sun sch´ema noetherien et Eun OS-module localement libre de rang n. Soit π:P(E)S
la projection.
a) Construire un isomorphisme gradu´e de OS-alg`ebres Sym Ef→ ⊕d0πO(d).
b) Montrer que pour un morphisme donn´e Yg
S, HomS(Y, P(E)) est un bijection avec les
classes d’isomorphisme des couples (L, h), o`u Lest un OY-module inversible et h:gE→ L est
une surjection.
6) Th´eor`eme de Bezout dans le plan. Soient D1, D2des diviseurs effectifs dans P2
ksans com-
posante commune. Montrer que D1D2est de longeur finie ´egale aux d1d2, o`u di= deg Di.
7) Soit Xun sch´ema propre sur un corps k,Dun diviseur de Cartier effectif sur X. Alors,
O(D)f→ O ssi D= 0.
8) Soit f:ZWest un morphisme dominant des S-sch´emas, Zpropre sur S,Wepar´e et de
type fini sur S,Snoetherien. Alors, f(Z) = W,fest propre et West propre sur S.
9) L’immersion ouverte (ferm´ee) est s´epar´ee. Le compos´e de deux morphismes s´epar´es est s´epar´e.
Le compos´e de deux morphismes propres est propre.
10) Soit Xun schema qui satisfait `a
(*) noetherien, s´epar´e, entier et r´egulier en codimension 1.
Alors, X×A1satisfait `a (*) et Cl(X)fCl(X×A1).
11) Soit S=d0Sdet T=d0Tddeux anneaux gradu´es avec S0=T0=A. On note
S×AT=d0SdATd,
c’est un anneau gradu´e. Pour X= Proj Set Y= Proj Tconstruire un isomorphisme
Proj(S×AT)fX×Spec AY
Montrer que O(1) s’identifie `a p
1OX(1) p
2OY(1) pour les deux projection pi.
12) Soit Xun sch´ema r´egulier; noetherien, epar´e et entier. Soit Eun OX-module localement
libre de rang n+ 1. On note P(E) = Proj(S) avec S=d0Symd(E) l’alg`ebre symmetrique de
E. Construire un isomorphisme Pic(P(E)) fPic X×Z.
13) Soit E, E0deux faisceaux localement libre de rang n+ 1 sur un schema Xet n1. On
suppose que P(E)fP(E0) sur X. Montrer qu’il existe un OX-module inversible Atel que
EfE0⊗ A.
14) Si fk[x1, . . . , xn] ne contient pas de carr´es, alors A=k[x1, . . . , xn, z]/(z2f) est normal.
15) Soit A=k[x, y, z]/(xy z2) et X= Spec Ale cone quadratique (kest un corps). Montrer
que Cl(X)fZ/2Zet CaCl(X) = 0.
2
16) Soit Xun sch´ema qui satisfait `a (*) (exo 10). Soit ZXun ferm´e et U=XZ. Alors,
on a une surjection Cl(X)Cl(U). Si codim(Z, X)2, alors c’est un isomorphisme. Si Z
est irreductible de codimension 1 alors on a une suite exacte ZCl(X)Cl(U)0, o`u la
premiere fl`eche envoit 1 sur Z.
17) Soit Xune courbe lisse projective connexe sur un corps k. Montrer que XfP1
kssi ils
existent deux point distincts p, q X(k) tel que pet qsont lin´eairement equivalent.
18) Soit XP2
kla cubique y2z=x3xz2, o`u P2
k= Proj k[x, y, z] et kest un corps alg´ebriquement
clˆos. Soit Cl0(X) le noyeau de deg : Cl(X)Z. Montrer qu’on a une bijection X(k)fCl0(X).
19) Soit kun corps alg´ebriquement clˆos de charact´eristique 6= 2. Soit XP2
kla courbe y2z=x3.
Soit p= (0,0,1) son (seul) k-point singulier. Construire une bijection X(k)pfCaCl0(X),
o`u CaCl0(X) est le noyeau de deg : CaCl(X)Z.
20) Soit Qla quadrique xy =zw dans P3
k. Montrer que Cl(Q)fZZ. Soit CQla cubique
tordue x=t3, y =u3, z =t2u, w =tu2. Montrer qu’il n’existe pas d’hypersurface MP3
kne
contenant pas Qtel que MQ=C.
21) Soit Aun anneau, Mun A-module de pr´esentation finie, Nun A-module et Lun A-module
plat. Alors, HomA(M, N L)fHom(M, N )AL. En d´eduire que pour X= Spec Aet deux
A-modules M, N on a HomA(M, N )
˜f→ HomOX(˜
M, ˜
N). Ici ˜ est une notation pour le faisceau
quasi-coh´erent associ´e `a un module.
22 a) Xun sch´ema noetherien, Fun OX-module coh´erent. Montrer que la fonction
φ(x) = dimk(x)FxOxk(x)
est semi-continue. C¸ a veut dire que pour tout nZl’ensemble {xX|φ(x)n}est ferm´e
dans X. Montrer que {xX|la tige Fxest un OXmodule libre}est un ouvert de X.
b) Si Xest connexe et Flocalement libre alors φest constante. Si Xest r´eduit et φest
constante alors Fest localement libre.
c) Aest un anneau noetherien, Mun A-module de type fini. Alors ˜
Mest localement libre
sur Spec Assi Mest un A-module projectif.
References
[1] R. Hartshorne, Algebraic geometry (graduate Texts in Math. 52), Springer (1977)
3
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !