• Aucun résultat trouvé

Soit X une vari´et´e projective lisse de dimension n pour laquelle KX n’est pas nef et soit D un diviseur nef surX

N/A
N/A
Protected

Academic year: 2022

Partager "Soit X une vari´et´e projective lisse de dimension n pour laquelle KX n’est pas nef et soit D un diviseur nef surX"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Paris Diderot

U.F.R. de Math´ematique 11 mai 2011

EXAMEN DU COURS DE M2

hh Introduction `a la th´eorie de Mori ii Responsable : Mr O. DEBARRE Toutes les vari´et´es sont d´efinies sur un corps alg´ebriquement clos.

Exercice 1. Soit X une vari´et´e projective lisse, soit H une hypersurface lisse de X et soit C une courbe dans X telle que

(KX ·C) = 0 et (H·C)<0.

Montrer que X contient une courbe rationnelle.

Exercice 2. Soit X une vari´et´e projective lisse de dimension n pour laquelle KX n’est pas nef et soit D un diviseur nef surX. On pose

r:= sup{t∈Q |D+tKX est nef}.

a) Montrer que r est un nombre r´eel fini et positif.

b) Si (Γi)i∈I est la famille (non vide et au plus d´enombrable) de courbes rationnelles qui apparaˆıt dans le th´eor`eme du cˆone (th. 8.1), montrer

r= inf

i∈I

(D·Γi) (−KX·Γi).

c) En d´eduire que l’on peut ´ecrirer =u/v, o`uuetvsont des entiers tels que 0< v≤n+1.

Exercice 3. Soit X une vari´et´e projective lisse de dimension n, soit H un diviseur tr`es ample sur X, soit x un point de X, soit ε : X0 → X l’´eclatement de x et soit E ⊂X0 le diviseur exceptionnel (isomorphe `a Pn−1).

a) D´eterminer l’entier m tel que OE(E)' OE(m) et en d´eduire (En).

b) Montrer que le diviseur εH −E est nef sur X0.

c) Soit D un diviseur nef sur X. On suppose que pour toute courbe C ⊂ X passant par x, on a (D·C)≥(H ·C). Montrer que εD−E est nef sur X0 et en d´eduire (Dn)>0.

d) Soit D un diviseur nef sur X et soit G un diviseur sur X. On suppose qu’il existe un entier m≥0 tel que mD+G soit ample et que, pour toute courbe C ⊂X passant par x, on ait (D·C)≥(G·C). Montrer (Dn)>0 (Indication : se ramener `a c)).

Exercice 4. Soit X une vari´et´e projective lisse de dimension n. Soit R=R+r⊂NE(X) un rayon KX-n´egatif extr´emal et soit MR un diviseur d’appui pour R, c’est-`a-dire un diviseur nef sur X tel que

{z ∈NE(X)|MR·z = 0}=R.

(2)

On rappelle que lieu(R) est la r´eunion des courbes de X dont la classe est dans R. C’est une sous-vari´et´e ferm´ee de X.

Attention : on ne suppose pas que la caract´eristique du corps de base est nulle, donc on ne pourra pas utiliser l’existence d’une contraction de R.

a) Soit C une courbe irr´eductible contenue dans X telle que

(MR·C)< 1

2n(−KX ·C).

Montrer que C est contenue dans lieu(R) (Indication : on pourra appliquer le th. 7.7 du cours avec un diviseur ample somme de MR et d’un petit multiple d’un ample).

b) Si (MRn) > 0, montrer qu’il existe un diviseur effectif irr´eductible E sur X tel que (E ·R) < 0 (Indication : on pourra, en justifiant, d´ecomposer MR en la somme d’un ample et d’un effectif). En d´eduire lieu(R)6=X.

c) Montrer la r´eciproque : si lieu(R)6=X, on a (MRn)>0 (Indication : on pourra utiliser a) et l’exerc. 3.d)).

d) Expliquer pourquoi, en caract´eristique nulle, les questions c) et d) r´esultent de l’existence d’une contraction de R.

Références

Documents relatifs

Montrer que cela n’est pas vrai pour des ´ el´ ements alg´

Calculer sa diff´ erentielle.. 3) Montrer que g est

Le premier ordre ` a deux variables capture les langages non ambigus sans ´etoile. Th´eor`eme

TH ´ EOR ` EME 3.— Soient X une vari´ et´ e projective lisse d´ efinie sur un corps alg´ ebri- quement clos de caract´ eristique nulle et H un diviseur ample tel que H − K X

Soit V le lieu des z´ eros d’une section d’un fibr´ e vectoriel E de rang e, positif au sens de Griffiths, sur une vari´ et´ e lisse connexe X de dimension r.. Si e &lt; r, le

Si une telle fibre est de dimension ≥ 2, l’intersection contient une courbe, dont la classe est alors dans R 0 , mais aussi dans R, puisque tout E est envoy´ e dans un point..

D´eterminer les points critiques de g sur les 4 sous-vari´et´es d´ecrites en 2.a (dans le cas de l’h´emisph`ere sup´erieur, on commencera par observer qu’un tel point

Si elle ´etait vraie, il en r´esulterait que les courbes elliptiques ou rationnelles C trac´ees dans X sont toutes contenues dans un sous-vari´et´e alg´ebrique Y ( X (Rappelons