• Aucun résultat trouvé

G´EOM´ETRIE ALG´EBRIQUE ET ESPACES DE MODULES - FEUILLE D’EXERCICES 5

N/A
N/A
Protected

Academic year: 2022

Partager "G´EOM´ETRIE ALG´EBRIQUE ET ESPACES DE MODULES - FEUILLE D’EXERCICES 5"

Copied!
1
0
0

Texte intégral

(1)

G´ EOM´ ETRIE ALG´ EBRIQUE ET ESPACES DE MODULES - FEUILLE D’EXERCICES 5

ANDREAS H ¨ORING

1.) Fibr´ es vectoriels stables sur P

n

On travaille sur un corps k alg´ebriquement clos.

(a) Montrer que pour un faisceau coh´erent sans torsion sur P

n

, la notion de µ-(semi)stabilit´e ne d´epend pas de la polarisation.

Montrer que ceci est faux pour une vari´et´e projective lisse X arbitraire (indica- tion : on pourra choisir X = P

1

× P

1

).

(b) Montrer qu’un faisceau localement libre F sur P

1

est stable si et seulement si F est de rang un. Donner et d´emontrer l’´enonc´e analogue pour la semistabilit´e.

(c) Soit F → O

Pdn

un sous-faisceau de rang r tel que O

dPn

/F est sans torsion.

Montrer que si c

1

(F) = 0, alors F est isomorphe ` a O

Pnr

.

Indication : le point crucial est de montrer que F est un sous-fibr´e. Commencer par montrer que l’application det F → V

r

O

Pdn

est de rang un en tout point. L’in- clusion F → O

dPn

d´efinit une application rationelle de P

n

vers une Grassmannienne G(r, d). Utiliser le plongement de Pl¨ucker pour montrer que cette application est r´eguli`ere.

(d) Montrer que le fibr´e tangent de P

n

est stable.

Indication : consid´erer la suite d’Euler tordue

0 → Ω

Pn

(1) → O

n+1Pn

→ O

Pn

(1) → 0

Si F est un sous-faisceau de Ω

Pn

(1) tel que Ω

Pn

(1)/F est sans torsion, noter que c

1

(F) = d avec d ≤ 0. Exclure le cas d = 0 en utilisant la question pr´ec´edente.

2.) Lemme de Cartier

Soit G = Spec S un groupe alg´ebrique affine qui agit sur un sch´ema affine X = Spec V . Notons X × G → X l’action de groupe et V → V ⊗ S le morphisme dual de k-alg`ebres. On appelle repr´esentation duale la repr´esentation induite par V → V ⊗ S. Montrer que V est une union de sous-espaces vectoriels G-invariants de dimension finie sur k.

3.) Diviseurs de P

1

On travaille sur un corps k alg´ebriquement clos. Fixons un entier d et consid´erons l’espace projectif X := P (H

0

( P

1

, O

P1

(d))) param´etrant les diviseurs effectifs de degr´e d sur P

1

. Le groupe SL(2) agit sur P

1

et donc sur X . Soit D ∈ X, notons D = P

i

a

i

P

i

avec P

i

∈ P

1

des points ferm´es et a

i

∈ N .

Montrer que D ∈ X est un point semistable pour l’action de SL(2) si et seulement si a

i

d2

pour tout i. Montrer que D est stable si et seulement si on a l’in´egalit´e stricte.

Date: 12 f´evrier 2008.

1

Références

Documents relatifs

16 Rappelons que tout sch´ema est canoniquement un Z-sch´ema ; le cas le plus int´eressant pour cette construction est celui o` u le morphisme X → Spec Z est de type fini...

Etant donné un espace vectoriel possédant une base à éléments, alors toute partie finie libre de ayant éléments est une partie génératrice de.. Preuve du

Montrer que deux quelconques des trois propri´ et´ es suivantes entraˆınent la troisi` eme

Le th´ eor` eme 6.34 dit qu’un faisceau inversible tr` es ample sur une vari´ et´ e projec- tive est ample. La r´ eciproque est en g´ en´ eral fausse, mais il existe un lien tr` es

Montrer que deux quelconques des trois propri´ et´ es suivantes entraˆınent la troisi` eme

D´ efinition : Un K -espace vectoriel est dit de dimension finie s’il poss` ede une famille g´ en´ eratrice finie. Th´ eor` eme.— Soit E un espace vectoriel non r´ eduit ` a { ~

2.2 Base d’un espace vectoriel de dimension finie Th´ eor` eme (de la base incompl` ete).. Soit E

Donner la définition d’un hyperplan dans un esapce vectoriel de dimension finie, puis donner une définition généralisant les hyperplan en dimension quelconque.... Soit E un