2
inclus dans Y1∪· · ·∪Ynsi et seulement si pour tout Y /∈ {Y1, . . . , Yn}
on a vYi(D) = 0.
2. Soit Uun ouvert non vide de X. L’application Y7→ Y∩Uinduit
une bijection de l’ensemble des éléments de X(1) qui rencontrent
Usur U(1), de réciproque le passage à l’adhérence de Zarisiki dans
X. On en déduit par linéarité un morphisme de groupe surjectif
Div(X)→Div(U)de noyau le sous-groupe des diviseurs dont le
support est inclus dans X\U.
Exemple 1.2. — Si Xest une courbe, X(1) est en bijection avec X: un
diviseur de Weil n’est alors rien d’autre qu’une somme formelle de points
de X.
Exemple 1.3. — Mêmes notations que dans l’exemple 0.1. On rappelle
qu’à tout cône σde Σest associée une T-orbite orb(σ), qui est isomorphe
à un tore de dimension rg(N)−dim(σ). Son adhérence Yσest alors un
fermé irréductible et T-invariant de XΣde dimension rg(N)−dim(σ),
qui est la réunion des orb(τ), où τdécrit les cônes de Σqui contiennent
σ(ou ce qui revient au même, les cônes de Σdont σest une face). Ainsi
les diviseurs de Weil irréductibles T-invariants sont en bijection avec les
rayons de l’éventail Σ, c’est-à-dire ses cônes de dimension 1. Si ρest un
tel rayon, on note Yρle diviseur de Weil irréductible associé. On note
DivT(XΣ)le sous-groupe de Div(X)engendré par les Yρ.
Soit Yun diviseur de Weil irréductible de X. L’anneau local OX,Y est
alors noetherien, de dimension 1et son corps des fractions est K(X).
On suppose désormais Xnormale. Alors OX,Y est en outre intégralement
clos. C’est donc un anneau de valuation discrète. On note vYla valua-
tion discrète de K(X)associée. Intuitivement, pour f∈K(X)×,vY(f)
représente l’ordre d’annulation de fle long du diviseur Y.
Remarque 1.4. — Soit f∈K(X)×et Uun ouvert affine de Xtel que
f∈Γ(U)et U∩Y6=∅. Alors vY(f)>0. En effet OX,Y est alors à une
localisation de Γ(U), et donc fest dans OX,Y . Si en outre on suppose
f∈Γ(U)×,fest inversible dans OX,Y , donc vY(f)=0.
Lemme 1.5. — Soit fun élément non nul de K(X). Alors l’ensemble
{Y∈X(1), vY(f)6= 0}est fini.
Démonstration. — Soit Uun ouvert affine non vide de Xtelle que f∈
Γ(U)×(prendre un ouvert affine Vnon vide de X, écrire f=g
havec