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.

0. <strong>Introduction</strong><br />

Chapitre VI<br />

Le theoreme de Bezout<br />

II s'agit d'expliquer que deux courbes planes de degres s et t ont<br />

exactement st points d'intersection. On a vu dans 1'introduction qu'il<br />

convenait pour cela de prendre quelques precautions :<br />

1) supposer les courbes sans composantes communes,<br />

2) supposer le corps de base k algebriquement clos,<br />

3) travailler dans le plan projectif,<br />

4) compter les intersections avec des multiplicites.<br />

II reste a traiter ce dernier point. Comme il s'agit d'une notion locale<br />

nous travaillerons d'abord en affine.<br />

1. Multiplicites d'intersection<br />

a. Schemas finis<br />

Commengons par analyser un exemple tres simple.<br />

On coupe laparabole C = V(Y — X 2 } par la droite D\ = V(Y — A). La<br />

variete intersection est C fl D\ = V(Y — X 2 , Y — A). Considerons 1'ideal<br />

/A — (Y — X 2 , Y — A) = (Y — X,X 2 — A) et calculons 1'anneau quotient<br />

A\ — k[X,Y\j!\. En envoyant Y sur A on voit deja qu'il est isomorphe<br />

a k[X]/(X 2 — A) et on distingue deux cas :<br />

a) Si A ^ 0, posons A = a 2 . Alors A\ est isomorphe a 1'anneau produit<br />

k x k par Phomomorphisme qui a X associe (a, —a}. Get anneau est re-

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

Saved successfully!

Ooh no, something went wrong!