• Aucun résultat trouvé

Composantes irr´ eductibles

N/A
N/A
Protected

Academic year: 2022

Partager "Composantes irr´ eductibles"

Copied!
2
0
0

Texte intégral

(1)

Travaux dirig´ es 6, Introduction aux sch´ emas affines.

Sources : Livre de Atiyah Mac Donald, le livre de D. Eisenbud, de Liu, de Lang (Algebra)

Composantes irr´ eductibles

1. Soient A un anneau, B, C deux A-alg` ebres, X = Spec B, X

0

= Spec C ⊗

A

B.

a) Soit Z = V (I) un ferm´ e de X, o` u I est un id´ eal de B. On rappelle que Z est hom´ eomorphe ` a Spec B/I. On d´ efinit Z

0

= Spec C ⊗

A

B/I. Montrer que Z

0

est hom´ eomorphe ` a un ferm´ e de X

0

qu’on pr´ ecisera.

b) Soient B = A, C = A[T ]. On applique la construction pr´ ec´ edente ` a un ferm´ e irr´ eductible Z de X. Montrer que Z

0

est un ferm´ e irr´ eductible.

c) Soient f ∈ A, B = A, C = A[1/f ], et Z = V (f) ⊂ X. Montrer que les composantes irr´ eductibles de Z sont en bijection avec les id´ eaux premiers minimaux de A contenant f. Soit Z

1

une telle composante irr´ eductible, montrer que Z

10

= ∅.

2. Soient K un corps, K , → L une extension de corps, A une K-alg` ebre de type fini, A

0

= L ⊗

K

A, X = Spec A, X

0

= Spec A

0

. Si Z = V (I) ⊂ X, on pose Z

0

= Spec (A

0

A

A/I) qu’on identifie ` a V (IA

0

) ⊂ X

0

.

a) On prend K = R , L = C , A = R [T ]. Montrer que Z = V (X

2

+ X + 1) est un ferm´ e irr´ eductible de X = A

1R

, puis donner les composantes irr´ eductibles de Z

0

.

b) Montrer que A/I , → A

0

A

A/I. En d´ eduire que si Z est non vide, Z

0

est non vide.

c) Soient L une clˆ oture alg´ ebrique de L, et X

00

= Spec (L⊗

K

A). Soient n, n

0

, n

00

le nombre de composantes irr´ eductibles de X, X

0

, X

00

respectivement. Mon- trer que n ≤ n

0

≤ n

00

.

3. Soit K un corps. Montrer que X = Spec K [x, y]/(xy) est connexe et que X a deux composantes irr´ eductibles qui sont des droites affines.

4. Soit K un corps. Quelles sont les composantes irr´ eductibles de a) X = Spec B o` u B = K[x, y, z]/(xz, z(z

2

− y

3

)),

b) X = Spec B o` u B = K[x, y, z]/(xzy − 1),

c) X = Spec B o` u B = K[x, y, z]/(xyz − 1, z(z

2

− y

3

)). Pour traiter cette question, on pourra ´ etudier les id´ eaux premiers minimaux de l’alg` ebre C/z(z

2

− y

3

) o` u C = K [x, y, z]/(xyz − 1). On pourra aussi remarquer que C est isomorphe ` a K[y, y

−1

, z, z

−1

] et que C est valu´ e par le degr´ e en y (ou en z).

d) Reprendre la question pr´ ec´ edente et montrer que X est hom´ eomorphe ` a D(yz ) T

V (z

2

− y

3

) ⊂ A

2K

(o` u A

2K

= Spec K[y, z]). Si on suppose K =

1

(2)

C , utiliser les r´ esultats du cours sur les courbes alg´ ebriques et montrer que X( C ), l’ensemble des points ferm´ es de X, est une courbe alg´ ebrique complexe non singuli` ere.

5. Soient K un corps, f(x, y) = x

2

+ y

2

− 5, g(x, y) = x

3

+ y

2

− 5, h(x, y ) = x

2

+ y

2

+ 1. Dans tous les cas suivants, d´ ecrire les composantes irr´ eductibles de X = Spec K[x, y]/(f), Y = Spec K [x, y]/(g), Z = Spec K [x, y]/(h), S = Spec K [x, y]/(f, g), T = Spec K[x, y]/(g, h). Pour chaque composante irr´ eductible donner son point g´ en´ erique.

a) K = Q , b) K = Q [i],

c) K = C . En ce cas donner le cardinal des points ferm´ es de X( C ), Y ( C ), Z( C ), S( C ) et T ( C ).

d) K = Z /2 Z , e) K = F

5

.

2

Références

Documents relatifs

CORPS FINIS 11 Th´ eor` eme 2.2.1 (Th´ eor` eme fondamental de la th´ eorie de Galois) Soit K/k une exten- sion galoisienne finie et G son groupe de Galois.. On montre sans

[r]

Les questions sur les d´ eformations des faisceaux coh´ erents seront le centre d’in- t´ erˆ et du premier TD et je conseille vivement de les pr´ eparer. Les rappels d’alg`

D’apr`es le lemme 1, l’anneau B ( Q ) est principal puisque c’est un anneau de Dedekind qui a pour seuls id´eaux maximaux les id´eaux engendr´es par les id´eaux maximaux de

– Un sondage a ´et´e fait aupr`es de 40 ´el`eves de Louise Michel, pour savoir s’ils regardaient le foot `a la t´el´evision.. Quel pourcentage de filles ne regardent pas

[r]

[r]

On appelle espace vectoriel de dimension finie tout espace vectoriel engendr´ e par un syst` eme fini de vecteurs.. Dans le cas contraire on dit que l’espace vectoriel est de