, ,

Key words : Affine modifications.

Introduction

Il est bien connu que tout morphisme projectif birationnel

π : Y \to X

entre variétés quasi-projectives sur un corps

k

s’identifie à l’éclatement d’un sous-schéma fermé de

X

. Il est naturel de chercher une description analogue de la structure des morphismes birationnels

π : Y \to X

entre variétés affines, et plus généralement des morphismes affines birationnels entre variétés quelconques. On peut remarquer tout de suite que si

π : Y \to X

est un morphisme affine birationnel, alors il existe une immersion ouverte

i : Y ↪ \bar{Y}

Y

dans un

X

-schéma projectif

\bar{π} : \bar{Y} \to X

birationnel à

X

. On peut ainsi identifier

Y

à un ouvert d’un schéma obtenu à partir de

X

en faisant éclater un certain sous-schéma fermé

Z

X

. Si l’on suit cette approche, il reste ensuite à caractériser précisément la structure du bord

\bar{Y} \ Y

Lorsque

X

est une variété affine, Kaliman et Zaidenberg [3] construisent explicitement un

X

-schéma projectif

\bar{π} : \bar{Y} \to X

pour lequel

Y

s’identifie au complémentaire de la transformé propre (cf. ( 1.7 ) ci-dessous) d’un diviseur principal

D = div (f)

sur

X

dont le support contient le sous-schéma fermé

Z

que l’on fait éclater. Cela conduit à la notion de modification affine, qui englobe certaines constructions antérieures introduites entre autres par Zariski [4] et Davis [1] .

Notre but ici est de généraliser le procédé de Kaliman et Zaidenberg afin de décrire la structure des morphismes affines birationnels

π : Y \to X

entre variétés quasi-projectives. Idéalement, on cherche à construire un sous-schéma fermé

Z

X

, contenu dans un diviseur de Cartier effectif

D

, tel que

Y

s’identifie au complémentaire dans l’éclatement

\bar{π} : \bar{Y} \to X

Z

de la transformée propre

D^{p r}

D

, en un sens à préciser. Une approche naıve du problème consisterait simplement à appliquer le procédé précédent sur un recouvrement affine convenable de

X

en espérant que les données locales correspondantes se recollent agréablement. Cela n’est a priori pas le cas, une des obstructions provenant par exemple du fait que le diviseur principal

D = div (f)

qui apparaıt dans la construction de Kaliman et Zaidenberg n’est pas défini de manière canonique. Notre méthode consiste par conséquent à définir directement une contrepartie ”globale” du procédé de Kaliman et Zaidenberg. Cela conduit à la caractérisation suivante :

Théorème 0.1. Soit

X

une variété projective sur un corps

k

. Pour tout variété

Y

et tout morphisme affine birationnel

π : Y \to X

, il existe un sous-schéma fermé

Z \subset X

, d’idéal

ℐ \subset O_{X}

et un diviseur de Cartier effectif

D \in {Div}^{+} (X)

contenant

Z

, tel que

Y

soit isomorphe au

X

-schéma

σ_{ℐ, D} : {\tilde{X}}_{ℐ, D} = S p e c ((\oplus_{n \geq 0} {(ℐ \otimes O_{X} (D))}^{n} t^{n}) / (1 - t)) ⟶ X,

et tel que

π : Y \to X

corresponde avec

σ_{ℐ, D}

via cet l’isomorphisme. Le morphisme

σ_{ℐ, D}

ainsi défini sera appelé la modification affine de

X

de centre

(ℐ, D)

0.2. Expliquons en quoi l’énoncé ci-dessus constitue une réponse au problème initial.

Tout d’abord, puisque par hypothèse

Z

est contenu dans

D

, son idéal

ℐ

contient l’idéal

O_{X} (- D)

D

. Par conséquent,

ℐ \otimes O_{X} (D)

contient

O_{X}

, donc en particulier la section constante

1

, ce qui justifie la définition de

{\tilde{X}}_{ℐ, D}

. D’autre part, via l’immersion ouverte canonique

j : {\tilde{X}}_{ℐ, D} ↪ P r o j_{X} (\oplus_{n \geq 0} {(ℐ \otimes O_{X} (D))}^{n} t^{n}) ≃ P r o j_{X} (\oplus_{n \geq 0} ℐ^{n} t^{n}),

{\tilde{X}}_{ℐ, D}

s’identifie au complémentaire dans l’éclatement

\bar{π} : \bar{Y} \to X

Z

du sous-schéma fermé

D^{p r} = P r o j_{X} ((\oplus_{n \geq 0} {(ℐ \otimes O_{X} (D))}^{n} t^{n}) / t)

\bar{Y}

. Cela montre que

{\tilde{X}}_{ℐ, D}

est bien birationnel à

X

, tout en définissant au passage ce qu’est la transformée propre du diviseur

D

Exemple 0.3. Soit

X

une variété quasi-projective complexe,

p_{1} : X \times C \to X

le fibré en droites trivial sur

X

X_{0} \subset X \times C

la section nulle de ce fibré, et soit

\tilde{D} \in {Div}^{+} (X)

un diviseur de Cartier effectif non nul. Soit

Z = p_{1}^{*} \tilde{D} \cap X_{0}

le sous-schéma fermé de

X \times C

défini par l’idéal

ℐ_{Z} = O_{X \times C} (- X_{0}) + O_{X \times C} (- p_{1}^{*} \tilde{D})

, et soit

σ_{ℐ_{Z}, p_{1}^{*} \tilde{D}} : L \to X \times C

la modification affine de

X \times C

de centre

(ℐ_{Z}, D)

. Par construction,

L ≃ S p e c_{X \times C} (\oplus_{n \geq 0} O_{X \times C} (n (p_{1}^{*} \tilde{D} - X_{0})))

s’identifie, en tant que

X

-schéma, au fibré en droites

p_{1} \circ σ_{ℐ_{Z}, D} : L \to X

espace total du faisceau inversible

O_{X} (- \tilde{D})

sur

X

. Via cet isomorphisme,

σ_{ℐ_{Z}, p_{1}^{*} \tilde{D}}

correspond alors avec le

X

-morphisme induit par la section canonique de

O_{X} (\tilde{D})

de diviseur

\tilde{D}

Cette note se compose de deux partie. La première passe rapidement en revue la notion de modification affine selon [3] . La seconde est consacrée à la contrepartie ”globale” de cette notion.

1 Modifications affines selon Kaliman et Zaidenberg

Dans ce paragraphe, nous rappelons la notion de modification affine d’un schéma affine sous une forme légèrement différente de celle introduite par Kaliman et Zaidenberg [3] .

Définition 1.1. On appelle modification affine d’un schéma affine

X = Spec (A)

, tout

X

-schéma affine de type fini

π : Y \to X

spectre d’une sous-

A

-algèbre de type fini de l’anneau total des fractions

K_{A}

A

Remarque 1.2. Lorsque

X

est intègre,

K_{A}

s’identifie au corps des fractions

Frac (A)

A

. Dans ce cas, toute sous-

A

-algèbre de type fini

B \subset Frac (A)

définit un schéma affine

Y = Spec (B)

Puisque

A

B

ont le meme corps de fractions, l’inclusion

A ↪ B

induit un morphisme birationnel

π : Y \to X

1.3. Une sous-

A

-algèbre de type fini de

B \subset K_{A}

est engendrée par un sous-

A

-module de type fini

J

K_{A}

, encore appelé idéal fractionnaire. L’ensemble

F = {f \in A, f J \subset A}

des dénominateurs de

J

est un idéal de

A

. Le choix d’un élément

f \in F \cap K_{A}^{*}

permet alors identifier

J

au sous-

A

-module

f^{- 1} \tilde{J} \subset A_{f}

, où

\tilde{J} = f J \subset A

. En posant

I = (f, \tilde{J}) \subset A

, on obtient finalement des isomorphismes de

A

-algèbres

B ≃ A [J] ≃ A [I / f] \subset A_{f} \subset K_{A},

où

A [I / f] = {a^{k} / f^{k} | a^{k} \in I^{k}, k \geq 1}

s’identifie canoniquement au quotient

A [(f^{- 1} I) t] / (1 - t)

de la

A

-algèbre de Rees

A [(f^{- 1} I) t] = \oplus_{n \geq 0} {(f^{- 1} I)}^{n} t^{n}

du sous-

A

-module

f^{- 1} I = (1, J)

K_{A}

par l’idéal principal

(1 - t)

Remarque 1.4. La

A

-algèbre

A [I / f]

s’identifie aussi canoniquement au quotient

A [I t] / (1 - f t)

de la

A

-algèbre de Rees

A [I t]

par l’idéal principal

(1 - f t)

. On retrouve ainsi la définition d’une modification affine selon [3] .

1.5. L’idéal fractionnaire

J

, le dénominateur commun

f

, ainsi que l’idéal

I

A

permettant d’obtenir l’identification précédente ne sont évidemment pas uniques.

Nous adopterons néanmoins la terminologie suivante, issue de [3] .

Définition 1.6. Étant donné un idéal

I

A

et un élément régulier

f \in I

, le

X

-schéma

σ_{I / f} : X_{I, f} = Spec (A [I / f]) \to X = Spec (A)

est appelé modification affine de

X

de centre

(I, f)

1.7. Puisque

A [I / f] ≃ A [I t] / (1 - f t)

, l’immersion canonique

j : X_{I / f} ↪ \tilde{X} = {Proj}_{A} (A [I t])

réalise

X_{I, f}

comme l’ouvert principal

{\tilde{X}}_{f}

\tilde{X}

où

f

ne s’annule pas. En conséquence, le morphisme

σ : X_{I / f} \to X

se factorise, via l’immersion

j

, par l’éclatement

{Bl}_{I} : \tilde{X} \to X

X

de centre

I

. Suivant [3] , nous dirons que le sous-schéma fermé

D_{f}^{p r} ≃ {Proj}_{A} (A [I t] / f t)

, complémentaire dans

\tilde{X}

j (X_{ℐ, f}) ≃ {\tilde{X}}_{f}

est la transformée propre de

D

. L’exemple suivant montre que la transformée propre

D_{f}^{p r}

est en général distincte de la transformée stricte

D_{f}^{'}

D = div (f)

, définie comme l’adhérence dans

\tilde{X}

de l’image inverse de

D \ V (I)

par l’éclatement

{Bl}_{I} : \tilde{X} \to X

Exemple 1.8. Soient

k

un corps,

A = k [x, y]

I = (x, y)

f = x^{2} \in I

. La transformée propre du diviseur

div (f)

dans

{Proj}_{A} A [x t, y t] ≃ {Proj}_{A} A [u, v] / (x v - y u)

est donnée par l’équation

{x u = 0}

. Elle est donc constituée de la réunion de la transformée stricte de la droite

V (f) = {x = 0}

et du diviseur exceptionnel

{x = y = 0}

de l’éclatement

{Bl}_{I} : {Proj}_{A} A [x t, y t] \to Spec (A)

1.9. Il existe cependant des cas où la transformée propre et la transformée stricte de

D

coıncident, comme le montre la proposition suivante (cf. aussi [1] ) :

Proposition 1.10. Si l’idéal

I \subset A

est engendré par une suite régulière

a_{0} = f, a_{1}, \dots, a_{r}

, alors la transformée propre de

D = div (f)

coıncide avec sa transformée stricte.

Demonstration. Puisque la suite $a_{0}, \dots, a_{r}$ est régulière, l’algèbre de Rees $A [I t]$ s’identifie, via l’homomorphisme $X_{i} \mapsto a_{i} t$ , $i = 0, \dots, r$ , à la $A$ -algèbre $B$ , quotient de $A [X_{0}, \dots, X_{r}]$ par l’idéal engendré par les mineurs $2 \times 2$ de la matrice $(\begin{matrix} a_{0} & \cdot \cdot \cdot & a_{r} \\ X_{0} & \cdot \cdot \cdot & X_{r} \end{matrix}) .$ Ainsi la transformée propre $D_{f}^{p r}$ et la transformée stricte $D_{f}^{'}$ coıncident puisqu’elles sont toutes deux données par l’équation ${X_{0} = 0}$ dans ${Proj}_{A} B$ . □

2 Modifications affines générales

D’après ce qui précède, tout morphisme birationnel

σ : Y \to X

entre variétés affines s’identifie à une modification affine de

X

de centre

(I, f)

convenable. Dans ce paragraphe, nous cherchons à construire une contrepartie ”globale” de ce résultat, à savoir une description de la structure des morphismes affines birationnels entre schémas quelconques en termes analogues aux précédents.

2.1 Morphismes affines birationnels

Rappelons tout d’abord qu’étant donné un schéma

X

fixé, on dit qu’un

X

-schéma

π : Y \to X

est affine sur

X

s’il existe un recouvrement

(X_{α})

X

par des ouverts affines, tel que pour tout

α

π^{- 1} (X_{α})

soit un ouvert affine de

Y

2.1. Dans ce contexte ”global”, la correspondance bi-univoque entre les schémas affines de type fini

X

sur un corps

k

et les

k

-algèbres de type fini

B = Γ (X, O_{X})

, se transpose en une correspondance entre les

X

-schémas affines de type fini

π : Y \to X

et les

O_{X}

-algèbres quasi-cohérentes de type fini

ℬ = π_{*} O_{Y}

. Rappelons que le faisceau des germes de fonctions méromorphes

K_{X}

d’un schéma

X

donné est défini comme le faisceau associé au pré-faisceau défini par

K_{X} (U) = K_{A}

pour tout ouvert affine

U = Spec (A)

X

. La notion de sous-

A

-algèbre de type fini de l’anneau total des fractions

K_{A}

d’un anneau

A

admet alors la contrepartie suivante.

Définition 2.2. Soit

X

un schéma. On appelle

O_{X}

-algèbre fractionnaire toute

O_{X}

-algèbre isomorphe à une sous

O_{X}

-algèbre quasi-cohérente de type fini du faisceau des germes de fonctions méromorphes

K_{X}

X

2.3. Une

O_{X}

-algèbre fractionnaire

ℬ \subset K_{X}

définit un

X

-schéma affine de type fini

σ : Y = S p e c (ℬ) \to X .

Par construction, l’homomorphisme

O_{X} \to ℬ

est injectif et induit un isomorphisme

K_{X} \tilde{\to} σ_{*} K_{Y}

. Réciproquement, si

σ : Y \to X

un morphisme affine de type fini tel que l’homomorphisme

σ^{♯} : O_{X} \to σ_{*} O_{Y}

induise un isomorphisme

\tilde{σ} : K_{X} \tilde{\to} σ_{*} K_{Y}

alors

σ^{♯}

est injectif puisque les homomorphismes canoniques

i_{X} : O_{X} \to K_{X}

σ_{*} (i_{Y}) : σ_{*} O_{Y} \to σ_{*} K_{Y}

le sont. Ainsi, puisque

Y

est de type fini sur

X

ℬ = {\tilde{σ}}^{- 1} (σ_{*} O_{Y}) \subset K_{X}

est une

O_{X}

-algèbre fractionnaire isomorphe à

σ_{*} O_{Y}

. On obtient donc la caractérisation suivante :

Proposition 2.4. Il y a une correspondance biunivoque entre les

O_{X}

-algèbres fractionnaires et les morphismes affines de type fini

π : Y \to X

induisant un isomorphisme entre les faisceaux des germes de fonctions méromorphes sur

X

Y

respectivement.

Lorsque

X

est un schéma intègre, toute

O_{X}

-algèbre fractionnaire

ℬ

est intègre, et le morphisme structural

π : Y = S p e c (ℬ) \to X

correspondant est birationnel.

Corollaire 2.5. Si

X

est un schéma intègre, alors il y a une correspondance biunivoque entre les

O_{X}

-algèbres fractionnaires et les morphismes affines birationnels de type fini

π : Y \to X

Exemple 2.6. Soient

X

un schéma intègre,

ℐ \subset O_{X}

un idéal de type fini,

S = \oplus_{n \geq 0} ℐ^{n}

, et soit

σ : \tilde{X} = P r o j (S) \to X

l’éclatement de

X

de centre

ℐ

. Pour toute section globale

f \in Γ (X, ℐ)

ℬ = S / (1 - f) S

est alors une

O_{X}

-algèbre fractionnaire. Le

X

-schéma affine correspondant est canoniquement isomorphe à l’ouvert principal

{\tilde{X}}_{f}

\tilde{X}

où

f

ne s’annule pas, i.e. l’unique ouvert de

\tilde{X}

tel que pour tout ouvert affine

U \subset X

{\tilde{X}}_{f} \cap σ^{- 1} (U) = D_{+} (f |_{U})

dans

σ^{- 1} (U) ≃ Proj (Γ (U, S))

2.2 Modification affine d’un schéma le long d’un diviseur

Par définition, une

O_{X}

-algèbre fractionnaire

ℬ \subset K_{X}

est engendrée par idéal fractionnaire

J \subset K_{X}

K_{X}

. Cependant, sans hypothèses supplémentaires sur

X

, le faisceau d’idéaux

ℱ

des dénominateurs de

J

, i.e. le faisceau défini localement par

{f \in O_{X} | f \cdot J \subset O_{X}}

, n’admet plus nécessairement de section globale.

2.7. Supposons cependant qu’il existe un

O_{X}

-module inversible

ℒ

et un homomorphisme régulier non nul

f : ℒ^{- 1} \to ℱ

. Puisque

f

est en particulier injectif, la composition

J \otimes ℒ^{- 1} \overset{Id \otimes f}{⟶} J \otimes ℱ \to J \cdot ℱ \subset O_{X}

permet alors d’identifier

J

à un idéal fractionnaire de la forme

\tilde{J} \otimes ℒ = \tilde{J} \cdot ℒ \subset K_{X}

pour un certain idéal quasi-cohérent de type fini

\tilde{J} \subset O_{X}

. D’autre part, puisque

ℱ \subset O_{X}

, l’homomorphisme

f : ℒ^{- 1} \to ℱ ↪ O_{X}

correspond par dualité à une section régulière globale

s

ℒ

. En posant

D = div (s)

, on a donc une identification

ℒ ≃ O_{X} (D)

, d’où finalement l’identification

J ≃ \tilde{J} \otimes O_{X} (D)

2.8. Puisque

D

un diviseur de Cartier effectif,

ℒ^{- 1} ≃ O_{X} (- D)

est un idéal inversible de

O_{X}

. Ainsi

ℐ = \tilde{J} + O_{X} (- D)

est un idéal quasi-cohérent de type fini de

O_{X}

, et l’on a des isomorphismes de

O_{X}

-algèbres

ℬ ≃ O_{X} [J] ≃ O_{X} [ℐ \otimes O_{X} (D)] .

On conclut alors comme dans le cas affine que

ℬ

s’identifie à la

O_{X}

-algèbre fractionnaire

O_{X} [ℐ / D]

, quotient de la

O_{X}

-algèbre de Rees

O_{X} [(ℐ \otimes O_{X} (D)) t] = \oplus_{n \geq 0} {(ℐ \otimes O_{X} (D))}^{n} t^{n} \subset K_{X} [t]

de l’idéal fractionnaire

ℐ \otimes O_{X} (D)

par l’idéal principal engendré par

(1 - t)

. Cela conduit à la définition suivante.

Définition 2.9. Étant donné un triplet

(X, ℐ, D)

constitué d’un schéma

X

, d’un diviseur effectif

D \in {Div}^{+} (X)

et d’un idéal quasi-cohérent de type fini

ℐ \subset O_{X}

contenant l’idéal

O_{X} (- D)

, le

X

-schéma affine

σ_{ℐ, D} : X_{ℐ, D} = S p e c (O_{X} [ℐ / D]) \to X

défini ci-dessus est appelé la modification affine de

X

de centre

(ℐ, D)

2.10. Pour des données locales

{{(X_{i}, f_{i})}_{i \in I}}

du diviseur de Cartier

D

O_{X} (D) |_{X_{i}}

est isomorphe au sous

O_{X_{i}}

-module de

K_{X_{i}}

engendré par

f_{i}^{- 1}

. La

O_{X_{i}}

-algèbre

O_{X} [ℐ / D] |_{X_{i}}

est alors isomorphe au quotient de la

O_{X_{i}}

-algèbre de Rees de l’idéal

ℐ_{i} = ℐ |_{X_{i}}

O_{X_{i}}

par l’idéal principal engendré par

(1 - f_{i} t)

. Le schéma

X_{ℐ, D} |_{X_{i}}

correspondant s’identifie, via l’immersion ouverte canonique

j_{i} : X_{ℐ, D} |_{X_{i}} ≃ S p e c (O_{X_{i}} [ℐ_{i} t] / (1 - f_{i} t)) ↪ {\tilde{X}}_{i} = P r o j (O_{X_{i}} [ℐ_{i} t]),

à l’ouvert principal

{({\tilde{X}}_{i})}_{f_{i}}

{\tilde{X}}_{i}

. Lorsque les

X_{i}

sont affines, on retrouve évidemment la notion du paragraphe précédent.

Exemple 2.11. (Complémentaire d’un diviseur). Pour tout diviseur effectif

D \in {Div}^{+} (X)

non nul, la modification

σ_{1, D} : X_{1, D} \to X

de centre

(ℐ = 1 \cdot O_{X}, D)

s’identifie à l’immersion ouverte du sous-schéma

X_{s_{D}}

P r o j (S (O_{X} (D))) ≃ X

où la section canonique de

O_{X} (D)

de diviseur

D

ne s’annule pas, c’est à dire au complémentaire du support de

D

dans

X

On obtient finalement la contrepartie globale suivante de la notion de modification affine selon [3] .

Théorème 2.12. Soit

X

une variété quasi-projective sur un corps

k

. Alors tout morphisme affine birationnel de type fini

π : Y \to X

est une modification affine de

X

de centre

(ℐ, D)

convenable.

Demonstration. Puisque $X$ est intègre, $K_{X}$ n’est autre que le faisceau constant $ℛ_{X}$ des fonctions rationnelles sur $X$ . Soit dont $J \subset ℛ_{X}$ un idéal fractionnaire générateur de $π_{*} O_{Y}$ , et soit $ℱ$ l’idéal des dénominateurs communs de $J$ . Puisque $X$ est quasiprojectif, il existe un $O_{X}$ -module inversible ample $ℒ$ . Ainsi, pour un certain $n \geq 0$ , $ℱ \otimes ℒ^{n}$ admet un section globale non nulle. On en déduit un homomorphisme injectif $f : ℒ^{- n} \to ℱ$ à partir duquel on peut appliquer la construction décrite précédemment. □

References

E.D. Davis, Ideals of the principal class, R-sequences and a certain monoidal transformation, Pacific J. Math. 20 (1967), 197–205.
A. Grothendieck and J. Dieudonné, EGA II. Étude globale élémentaire de quelques classes de morphismes, Publ. Math. IHES, vol. 8, 1961.
S. Kaliman and M. Zaidenberg, Affine modifications and affine hypersurfaces with a very transitive automorphism group, Transformation Groups 4 (1999), 53–95.
O. Zariski, Foundations of a general theory of birational correspondences, Trans. Amer. Math. Soc. 53 (1943), 497–542.

A. DUBOULOZ INSTITUT FOURIER, UMR5582 (UJF-CNRS) BP 74, 38402 ST MARTIN D’HERES CEDEX, FRANCE E-mail address : adrien.dubouloz@ujf-grenoble.fr