Vous êtes sur la page 1sur 18

Formes dinertie et complexe de Koszul

associes `a des polynomes plurihomog`enes


Azzouz AWANE, Abdelouahab CHKIRIBA,
and Michel GOZE
UFR de Geometrie Dierentielle et Applications
Faculte des Sciences Ben Msik
B.P. 7955. Boulevard Driss Harti
Casablanca Maroc
a.awane@univh2m.ac.ma a.chkiriba@univh2m.ac.ma
Faculte des Sciences et Techniques
Universite de Haute Alsace
4, rue des Fr`eres Lumi`ere
F. 68093 Mulhouse Cedex
M.Goze@uha.fr
Recibido: 3 de Noviembre de 2003
Aceptado: 14 de Octubre de 2004
ABSTRACT
The existence of common zero of a family of polynomials has led to the study
of inertial forms, whose homogeneous part of degree 0 constitutes the ideal
resultant. The Kozsul and

Cech cohomologies groups play a fundamental role
in this study. An analogueous of Hurwitz theorem is given, and also, one nds
a N. H. McCoy theorem in a particular case of this study.
Key words: plurihomogeneous polynomials, inertial forms, Koszul complex, local coho-
mology.
2000 Mathematics Subject Classication: 13D45, 14XX, 14KXX.
1. Introduction
La notion de formes dinertie (Tragheitsformen) due `a F. Mertens [13] au XIX-i`eme
si`ecle, est liee au probl`eme fondamental de la theorie de lelimination, cest-`a-dire, `a
lexistence des zeros communs dune famille donnee de polynomes.
Ce travail a ete elabore avec laide de la cooperation franco-marocaine Action inetgree A.I.
MA/02/32 et du programm PAS 27/2001 nance par lAUPELF.
Rev. Mat. Complut.
2005, 18; N um. 1, 243260
243
ISSN: 1139-1138
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
Ce probl`eme a ete aborde par plusieurs auteurs avant Mertens comme J. J. Sylves-
ter ou Cayley dans le cas o` u le nombre des polynomes concide avec celui des variables
en utilisant la notion de resultant, qui est ici, une forme dinertie de degre zero.
En considerant des polynomes generiques (les coecients sont des indeterminees)
homog`enes, A. Hurwitz a etudie dans [8] lideal gradue associe `a des formes dinertie
ce qui correspond `a lhomologie du complexe de Koszul denie par ces polynomes.
Cette etude a ete reprise par J. P. Jouanolou [9, 10] dans le cadre de la theorie des
schemas, en utilisant notamment des methodes homologiques.
Dans ce travail on introduit lideal des formes dinertie relatives `a des polynomes
f
1
, . . . , f
r
generiques plurihomog`enes cest `a dire homog`enes par rapport `a s paquets
de variables X
1
, . . . , X
s
, dont la partie plurihomog`ene A de multidegre (0, . . . , 0) est
lideal resultant. On donne un certain nombre de caracterisations qui nous permettent
de retrouver les formules de Perron et de Perrin donnees dans le cas s = 1.
En adoptant ici les methodes utilisees par J. P. Jouanolou [10], nous denissons
le complexe de Koszul K

par les polynomes (f


i
) et le complexe de

Cech (

par les
monomes
(
i
1
,...,i
s
= X
1,i
1
X
s,i
s
)
i
1
,...,i
s
.
Ceci nous permet detudier deux suites spectrales

E et

E associees au bicomplexe
K

A
(

et conduit `a letude de la cohomologie de Koszul et `a la cohomologie locale,


cette derni`ere nest autre que la cohomologie de

Cech.
Nous donnons enn, un resultat analogue au theor`eme de Hurwitz [8] et dans un
cas particulier nous retrouvons un theor`eme de N. H. McCoy [12].
2. Donnees et notations
Soient K un anneau commutatif int`egre et X
1
, . . . , X
s
des paquets de variables
avec
X
j
= (X
j,1
, . . . , X
j,n
j
+1
)
pour tout 1 j s. On suppose de plus que n
s
n
s1
n
1
1.
Soit r N xe et d
i,1
, . . . , d
i,s
avec i = 1, . . . , r des entiers naturels non nuls. Pour
tout i = 1, . . . , r, on consid`ere le polynome generique homog`ene par rapport `a chaque
paquet de variables X
j
de degre d
i,j
donne par
f
i
=

U
i,
1
,...,
s
X

1
1
. . . X

s
s
, (1)
la sommation etant prise pour
1
N
n
1
+1
tel que [
1
[ = d
i,1
, . . . ,
s
N
n
s
+1
avec
[
s
[ = d
i,s
et o` u les U
i,
1
,...,
s
sont des indeterminees sur K et
X

j
j
= X

j,1
j,1
X

j,n
j
+1
j,n
j
+1
.
On designe par A = K[U
i,
1
,...,
s
] (1 i r et [
j
[ = d
i,j
pour tout j = 1, . . . , s),
lanneau des coecients universels.
Revista Matematica Complutense
2005, 18; N um. 1, 243260
244
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
Pour tout j = 1, . . . , s, lalg`ebre de polynomes C
j
= A[X
j,1
, . . . , X
j,n
j
+1
] est
notee A[X
j
]. Si lon consid`ere que deg(X
j,l
) = 1 pour 1 l n
j
+ 1, cette alg`ebre
est naturellement N-graduee. Lalg`ebre C = C
1

A

A
C
s
= A[X
1
, . . . , X
s
] est
N
s
-graduee par :
deg(a) = (0, . . . , 0) N
s
, pour tout a A,
deg(X
j,l
) = (0, . . . , 0, 1, 0, . . . , 0) N
s
(ici 1 est situe sur la j-i`eme position),
(2)
pour tout j = 1, . . . , s et 1 l n
j
+ 1
Denition 2.1. Tout polynome de C homog`ene par rapport `a la N
s
-graduation ainsi
denie est dit polynome plurihomog`ene.
Les polynomes f
1
, . . . , f
r
sont donc plurihomog`enes de degre deg(f
i
) = d
i
=
(d
i,1
, . . . , d
i,s
), en particulier lalg`ebre quotient B =
C
(f
1
,...,f
r
)
de C par lideal
(f
1
, . . . , f
r
) engendre par f
1
, . . . , f
r
est N
s
-graduee.
On note par M lideal de C = A[X
1
, . . . , X
s
] engendre par les q monomes :

i
1
i
s
= X
1,i
1
X
s,i
s
o` u (i
1
, . . . , i
s
)
s

j=1
[1, n
j
+ 1] (3)
o` u q =

s
j=1
(1 +n
j
) et on notera
q
= X
1,n
1
+1
X
s,n
s
+1
.
3. Formes dinerties
Comme lalg`ebre C est N
s
-graduee et les polynomes f
1
, . . . , f
r
plurihomog`enes,
alors lalg`ebre quotient B est N
s
-graduee. Notons par B

i
1
i
s
le localise de B par

i
1
i
s
muni de la Z
s
-graduation provenant de la N
s
graduation de B. Alors la
surjection canonique p : C B et le morphisme de A-alg`ebres : b (
b
1
, . . . ,
b
1
)
de B `a valeurs dans

i
1
,...,i
s
B

i
1
i
s
sont gradues de degre (0, . . . , 0) N
s
. On a donc
Ker = b B [ m M, N, m

b = 0 .
Denition 3.1. Limage reciproque T = p
1
(Ker ) est appelee lideal des formes
dinertie des polynomes f
1
, . . . , f
r
, et la partie plurihomog`ene T
(0,...,0)
= T A = A
de degre (0, . . . , 0) est appelee lideal resultant de f
1
, . . . , f
r
.
Les formes dinertie, cest-`a-dire les polynomes de T sont caracterisees par la
proposition suivante :
Proposition 3.2. Pour tout f C les proprietes suivantes sont equivalentes :
(i) f est une forme dinertie.
(ii) Il existe N tel que

i
1
i
s
f est dans lideal engendre par f
1
, . . . , f
r
, quels que
soient i
1
, . . . , i
s
.
245
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
(iii) Il existe N et il existe i
1
, . . . , i
s
tels que

i
1
i
s
f est dans lideal engendre
par f
1
, . . . , f
r
.
(iv) Il existe des entiers naturels
1
, . . . ,
s
tels que, pour tout (
1
, . . . ,
s
)

s
j=1
N
n
j
+1
avec [
j
[ =
j
(1 j s), le polynome X

1
1
. . . X

s
s
f est dans
lideal engendre par f
1
, . . . , f
r
.
On ecrit

i
1
i
s
f = 0 dans B pour exprimer que

i
1
i
s
f est dans lideal engendre
par f
1
, . . . , f
r
.
La demonstration de cette proposition repose sur le lemme suivant :
Lemme 3.3. Pour tout i
1
, . . . , i
s
on a Ker = Ker(can : B B

i
1
i
s
), o` u can
designe la projection canonique de B sur B

i
1
i
s
.
Demonstration. Il sut de montrer que
Ker(can : B B

i
1
i
s
) = Ker(can : B B

j
1
j
s
)
pour tous monomes
i
1
i
s
et
j
1
j
s
(3). En eet, le diagramme
B
can

can
//
B

i
1
i
s

j
1
j
s

1
//
B

i
1
i
s

j
1
j
s
est commutatif, et puisque
j
1
j
s
nest pas un diviseur de zero dans B

i
1
i
s
, alors
les homomorphismes
1
et
2
sont injectifs, par consequent on a
Ker(can : B B

i
1
i
s
) = Ker(can : B B

j
1
j
s
).
Do` u le lemme.
Remarque 3.4. Il resulte aussitot de la caracterisation de lideal des formes dinertie
et du fait que les polynomes sont plurihomog`enes, que lideal T est N
s
gradue.
Soit i
1
, . . . , i
s
tels que 1 i
j
n
j
+ 1. Pour tous i = 1, . . . , r et j = 1, . . . , s, on
designe par U
i,i
1
,...,i
s
le coecient de X
d
i,1
1,i
1
. . . X
d
i,s
s,i
s
dans f
i
, et on notera dans toute
la suite :

i
= U
i,n
1
+1,...,n
s
+1

i
= X
d
i,1
1,n
1
+1
X
d
i,s
s,n
s
+1
h
i
= f
i

i

X
j
= (X
j,1
, . . . , X
j,n
j
, 1) (on substitue 1 `a X
j,n
j
+1
)

f = f(

X
1
. . . ,

X
s
),
Revista Matematica Complutense
2005, 18; N um. 1, 243260
246
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
o` u f est un polynome de C = A[X
1
, . . . , X
s
], que lon regardera dans la suite sous
la forme suivante f = f(
1
, . . . ,
r
, X
1
, . . . , X
s
) A

[
1
, . . . ,
r
, X
1
, . . . , X
s
] et A

=
K[U
i,
1
,...,
s
] avec U
i,
1
,...,
s
,=
i
(1 i r). Dans ces nouvelles notations, on a une
deuxi`eme caracterisation des formes dinertie :
Proposition 3.5. Pour tout polynome f plurihomog`ene dans C de degre (
1
, . . . ,
s
)
les assertions suivantes sont equivalentes :
(i) f T ,
(ii)
f
X

1
1,n
1
+1
X

s
s,ns+1
= 0 dans (B

q
)
(0,...,0)
,
(iii) f(

h
1
, . . . ,

h
r
,

X
1
, . . . ,

X
s
) = 0 dans C.
Montrons tout dabord le lemme suivant :
Lemme 3.6. Pour tout i
1
, . . . , i
s
, il existe un isomorphisme de A

[X
1
, . . . , X
s
]-alg`e-
bre :
B

i
1
...i
s
A

[X
1
, . . . , X
s
]

i
1
i
s
.
Demonstration. On peut supposer que i
1
= n
1
+ 1, . . . , i
s
= n
s
+ 1, cest `a dire

i
1
...i
s
=
q
.
Soit donc lhomomorphisme de A

[X
1
, . . . , X
s
]-alg`ebres
: C = A

[X
1
, . . . , X
s
][
1
, . . . ,
r
] A

[X
1
, . . . , X
s
]

q
deni par (
i
) =
h
i

i
, o` u
i
= X
d
i,1
1,n
1
+1
X
d
i,s
s,n
s
+1
et h
i
= f
i

i

i
.
Lhomomorphisme est bien deni, car
i
est inversible dans A

[X
1
, . . . , X
s
]

q
, et
puisque (f
i
) = 0, pour tout i = 1, . . . , r, et (
q
) est inversible dans A

[X
1
, . . . , X
s
]

q
,
alors induit un homomorphisme de A

[X
1
, . . . , X
s
]-alg`ebres
: B

q
A

[X
1
, . . . , X
s
]

q
.
Soit

lhomomorphisme compose

: A

[X
1
, . . . , X
s
]

q
j
C

q
p
B

q
o` u j est linjection canonique et p et lhomomorphisme induit de la surjection cano-
nique de C dans B =
C
(f
1
,...,f
r
)
. On deduit que

= Id
A

[X
1
,...,X
s
]

q
, de meme on
a

= Id
B

q
.
Demonstration de la proposition. Il resulte de la premi`ere caracterisation des formes
dinertie que les deux premi`eres assertions sont equivalentes.
Soit f T , plurihomog`ene, de degre (
1
, . . . ,
s
). On a
f = f(
1
, . . . ,
r
, X
1
, . . . , X
s
) = 0
247
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
dans B

q
(premi`ere caracterisation des formes dinertie), donc
(f) = f
_

h
1

1
, . . . ,
h
r

r
, X
1
, . . . , X
s
_
= 0 dans A

[X
1
, . . . , X
s
]

q
,
et, si on remplace X
j,n
j
+1
par 1, pour tout j = 1, . . . , s, dans (f), on en deduit que
f(

h
1
, . . . ,

h
r
,

X
1
, . . . ,

X
s
) = 0
dans C, do` u (i) = (iii).
Reciproque. Supposons que f(

h
1
, . . . ,

h
r
,

X
1
, . . . ,

X
s
) = 0 dans C . Par ho-
mogeneisation par rapport `a chaque paquet de variables X
j
`a laide de la variable
X
j,n
j
+1
, on obtient
f
_

h
1

1
, . . . ,
h
r

r
,
X
1
X
1,n1+1
, . . . ,
X
s
X
s,ns+1
_
= 0 dans C

q
car h
i
est plurihomog`ene de degre d
i
= (d
i,1
, . . . , d
i,s
). Or, pour tout i = 1, . . . , r,

h
i

i
=
i
dans B

q
, et comme f est plurihomog`ene, on en deduit que
f
1
= 0 dans
B

q
, do` u (iii) = (i).
On va donner ici une autre caracterisation de lideal resultant A des polynomes
f
1
, . . . , f
r
cest `a dire, des formes dinertie de degre (0, . . . , 0).
Considerons lhomomorphisme de C-alg`ebres F : T
i

f
i

i
de C[T
1
, . . . , T
r
] `a
valeurs dans C

q
et lautomorphisme G :
i

i
T
i
de lalg`ebre C[T
1
, . . . , T
r
] sur
lanneau A

[X
1
, . . . , X
s
, T
1
, . . . , T
r
], o` u T
1
, . . . , T
r
sont des nouvelles variables.
Proposition 3.7. Ker F concide avec limage par G de lideal T [T
1
, . . . , T
r
] .
Demonstration. On consid`ere lhomomorphisme de A

[X
1
, . . . , X
s
]

q
-alg`ebres de
C

q
[T
1
, . . . , T
r
] `a valeurs dans C

q
deni par :
T
i

f
i

i
et
i

h
i

i
.
Puisque, pour tout 1 i r, on a
h
i

i
=
i
dans B

q
, alors lideal engendre par
f
1
, . . . , f
r
est le noyau de lhomomorphisme deni ci dessus, qui induit par consequent,
un isomorphisme : B

q
[T
1
, . . . , T
r
] C

q
. On sait que lhomomorphisme cano-
nique danneaux u : C B

q
admet pour noyau lideal T des formes dinertie, et que
T [T
1
, . . . , T
r
] est le noyau du morphisme dalg`ebres u, qui prolonge u `a C[T
1
. . . , T
r
].
Le diagramme commutatif suivant
C[T
1
, . . . , T
r
]
u
//
G

q
[T
1
, . . . , T
r
]

C[T
1
, . . . , T
r
]
F
//
C

q
montre que Ker F = G(T [T
1
, . . . , T
r
]).
Revista Matematica Complutense
2005, 18; N um. 1, 243260
248
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
On deduit :
Corollaire 3.8 (Formule de Perron). Lhomomorphisme de A-alg`ebres

F : T
i


f
i
, de A[T
1
, . . . , T
r
] `a valeurs dans A[

X
1
, . . . ,

X
s
] a pour noyau : Ker

F =
G(T )[T
1
, . . . , T
r
].
Corollaire 3.9 (Formule de Perrin). Pour tout a A, les proprietes suivantes
sont equivalentes
(i) a A,
(ii) Il existe un polynome Q A[T
1
, . . . , T
r
] sans terme constant tel que a =
Q(

f
1
, . . . ,

f
r
).
Demonstration. Soit a = a(
1
, . . . ,
r
) A considere comme polynome en
1
, . . . ,
r
.
Legalite Ker

F = G(A[T
1
, . . . , T
r
]) montre que G(a) = a(
1
T
1
, . . . ,
r
T
r
) Ker

F.
En appliquant

F au polynome Q(T
1
, . . . , T
r
) = a(
1
, . . . ,
r
)a(
1
T
1
, . . . ,
r
T
r
),
on obtient a(
1
, . . . ,
r
) = Q(

f
1
, . . . ,

f
r
).
Reciproquement, sil existe Q(T
1
, . . . , T
r
) A[T
1
, . . . , T
r
] sans terme constant tel
que a = Q(

f
1
, . . . ,

f
r
), alors a Q(T
1
, . . . , T
r
) Ker

F = G(A[T
1
, . . . , T
r
]), donc on
peut ecrire a Q(T
1
, . . . , T
r
) =

(
1
T
1
)

1
. . . (
r
T
r
)

r
avec a

A. Do` u,
par specialisation T
i
0 pour tout i = 1, . . . , r, on deduit a A.
4. Complexes de Koszul et de

Cech
On etudie ici le complexe de Koszul et la cohomologie locale associes `a des po-
lynomes plurihomog`enes.
Dans ce paragraphe, on designe par A un anneau commutatif, M un A-module
libre et a = (a
1
, . . . , a
r
) une suite delements de A.
4.1. Complexe de Koszul
Soient (e
1
, . . . , e
r
) la base canonique du A-module libre A
r
. Pour 0 p r, la
p-i`eme puissance exterieure
_
p
(A
r
) du A-module A
r
est un A-module libre de rang
C
p
r
=
r!
p!(rp)!
et de base (e
i
1
e
i
p
)
1i
1
<<i
p
r
, avec la convention
_
0
(A
r
) = A
r
.
Le complexe de chaines de Koszul associe `a la suite a, note (K

(a, A), d

), est
deni par
K
p
(a, A) =

p
(A
r
)
pour tout p = 0, . . . , r, tel que pour 1 i
1
< < i
p
r, et
d
p
: K
p
(a, A) K
p1
(a, A)
est donnee par
d
p
(e
i
1
e
i
p
) =
p

k=1
(1)
k+1
a
i
k
e
i
1
e
i
k
e
i
p
.
249
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
On denit aussi, pour tout A-module M, le complexe de chanes de Koszul associe `a
la suite a et au module M par :
K

(a, M) = K

(a, A)
A
M. (4)
Si A est N-gradue alors le A-module
_
p
(A
r
) est N-gradue par :
_
deg(e
k
) =
k
, pour 1 k r,
deg(e
i
1
e
i
p
) =
i
1
+ +
i
p
, pour 1 i
1
< < i
p
r.
(5)
Si a
1
, . . . , a
r
sont homog`enes de degres
1
, . . . ,
r
alors les dierentielles sont ho-
mog`enes de degre 0. On obtient ainsi une graduation du complexe de Koszul K

(a, M),
et pour tout p = 1, . . . , r, on a un isomorphisme
K
p
(a, A)

1i
1
<<i
p
r
A[
i
1

i
p
],
o` u A[] est le A-module gradue obtenu par decalage de la graduation de Z, cest
`a dire, (A[])
t
= A
+t
.
4.2. Complexe de

Cech
Pour tout I = i
1
, . . . , i
p
[ i
1
< < i
p
1, . . . , r, on designe par M
a
I
le
A-module M
a
i
1
a
i
p
localise de M par le produit a
i
1
a
i
p
.
Le complexe de

Cech associe `a la suite a = (a
1
, . . . , a
r
) et au module M est le
complexe note (

C

(a, M), d

) deni par

C
p
(a, M) =

|I|=p+1
M
a
I
et pour tout 0 p r 1, les dierentielles d
p
:

C
p
(a, M)

C
p+1
(a, M) sont
denies, pour tout m = (m
I
)
|I|=p+1
et pour tout J 1, . . . , r de cardinal p + 2,
par :
(d
p
(m))
J
=

jJ
(1)
l
j
1
m
J{j}
1
(6)
o` u l
j
est la position de j dans J = j
1
, . . . , j
p+2
[ j
1
< < j
p+2
et
m
J{j}
1
est
limage de m
J{j}
par le morphisme canonique M
a
J{j}
(M
a
J{j}
)
a
j
= M
a
J
.
On note par

H

(a, M) la cohomologie du complexe du



Cech

C

(a, M).
Soit maintenant : m (
m
1
, . . . ,
m
1
) lhomomorphisme de A-modules de M `a
valeurs dans

r
i=1
M
a
i
. On verie aisement que d
0
= 0 (voir (6)). On a donc un
autre complexe :
0 M

i=1
M
a
i
d
0

|I|=2
M
a
I
d
1

d
r2
M
a
1
a
r
d
r1
0, (7)
Revista Matematica Complutense
2005, 18; N um. 1, 243260
250
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
appele complexe de

Cech augmente, quon designera par

(

(a, M) ; do` u les relations :


H
0
(

(a, M)) = Ker , H


1
(

(a, M)) =

H
0
(a, M)
Im
,
et,
H
i
(

(

(a, M)) =

H
i1
(a, M) pour i 2.
Soit J = (a
1
, . . . , a
r
) lideal de A engendre par a
1
, . . . , a
r
. On note
H

(a, M)) = H

J
(M).
Considerons le schema ane X = spec(A) et U =

r
i=1
D(a
i
) la reunion des
ouverts anes D(a
i
) de X, denis respectivement par a
1
, . . . , a
r
.
Le complexe de

Cech

C

(a, M) associe `a la suite a = (a


1
, . . . , a
r
) et au mo-
dule M, nest rien dautre que le complexe de

Cech habituel associe au recouvrement
U = (D(a
i
))
1ir
et au faisceau

M associe au A-module M (voir [7, Chapitre III]).
Dapr`es le theor`eme de Cartan-Leray on a H
i
(U,

M) =

H
i
(a, M), pour tout
i = 0, . . . , r
Proposition 4.1. Soit Y le sous schema ferme du schema ane X = spec(A) deni
par lideal J = (a
1
, . . . , a
r
) de A. On a alors un isomorphisme
H

J
(M) H

Y
(X,

M)
o` u H

Y
(X,

M) est la cohomologie `a support dans Y .
Demonstration. De la suite exacte longue de cohomologie
0 H
0
Y
(X,

M) H
0
(X,

M) H
0
(U,

M) H
1
Y
(X,

M)
H
i
Y
(X,

M) H
i
(X,

M) H
i
(U, M) H
i+1
Y
(X,

M)
et du theor`eme de Cartan-Serre (H
i
(X,

M) = 0 pour i 1 [6]) on deduit quon a un
isomorphisme H
i
(U, M) H
i+1
Y
(X,

M), pour i 1. La suite
0 H
0
Y
(X,

M) H
0
(X,

M) H
0
(U,

M) H
1
Y
(X,

M) 0.
est exacte, U etant X Y .
Il resulte du theor`eme de Cartan-Leray et de la denition du complexe de

Cech
augmente que, pour i 2, on a un isomorphisme H
i
J
(M) H
i
Y
(X,

M). Pour
i = 0, on a H
0
Y
(X,

M) = Ker(M (U,

M)) = Ker() = H
0
J
(M). On deduit de la
suite exacte precedente que pour i = 1 on a H
1
Y
(X,

M) = H
1
J
(M), ce qui ach`eve la
demonstration.
251
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
Exemple 4.2. Soient R = K[X
1
, . . . , X
n
] lanneau des polynomes `a coecients dans
un corps commutatif K, U louvert

n
i=1
D(X
i
) de spec(R) et soit J = (X
1
, . . . , X
n
)
lideal de R engendre par X
1
, . . . , X
n
. Puisque X
1
, . . . , X
n
est une R-suite, alors
prof(J) n, et par consequent les groupes de cohomologie H
i
J
(R) sont nuls sauf
pour i ,= n. Et dapr`es (7), on a H
n
J
(R) est le n-i`eme groupe de cohomologie du
complexe

(

(X, R), do` u :


H
n
J
(R) =
R
X
1
...X
n
Im
_
n
i=1
R
X
1
...

X
i
...X
n
R
X
1
...X
n
t
_ =
1
X
1
X
n
K[X
1
1
, . . . , X
1
n
]. (8)
De plus, si R est gradue au moyen des X
i
(deg X
i
= 1), alors les groupes de cohomo-
logie sont gradues, et on a H
n
J
(R)

= 0 si > n et H
n
J
(R)
n
= K.
4.3. Suites spectrales associees au bicomplexe K

(f, C).
Soit f = (f
1
, . . . , f
r
) la suite de polynomes generiques plurihomog`enes (1). Notons
par :
_
_
_
K
0
= C
K
l
= K
l
(f, C) =

1i
1
<<i
l
r
C[d
i
1
d
i
l
], pour l = 0, . . . , r
(9)
le complexe de Koszul deni sur C = A[X
1
, . . . , X
s
] par la suite f .
Les polynomes f
i
sont homog`enes par la N
s
graduation denie dans (2), ce qui
induit une N
s
-graduation sur K

.
Comme les dierentielles d
l
: K
l
K
l+1
sont homog`enes de degre (0, . . . , 0)
N
s
, on deduit que les groupes de cohomologie (H
i
(K

))
ri0
sont aussi N
s
-
gradues.
On denit maintenant le complexe de

Cech augmente sur lanneau C par la suite
de monomes = (
i
1
i
s
)
i
1
i
s
((7) et (3)) que lon note

(
p
=

(
p
(, C), (10)
pour p = 1, . . . , q. On a donc un bicomplexe
K

= K

(f, C) = K


C

(

quon se propose detudier dans le paragraphe suivant.


4.3.1. Propri et es du bicomplexe K

(f, C)
Pour tous l = r, . . . , 0 et p = 1, . . . , q, on pose K
l,p
= K
l

C

(
p
. Considerant
p comme indice de ligne et l comme indice de colonne, on obtient le diagramme
commutatif suivant
Revista Matematica Complutense
2005, 18; N um. 1, 243260
252
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
0

0
//
K
r,0
d

//
d

K
r+1,0
d

//
d

//
K
1,0
d

//
d

K
0,0 //
d

0
0
//
K
r,1
d

//
d

K
r+1,1
d

//
d

//
K
1,1
d

//
d

K
0,1 //
d

0
.
.
.
d

.
.
.
d

.
.
.
d

.
.
.
d

0
//
K
r,q
d

//

K
r+1,q
d

//

//
K
1,q
d

//

K
0,q //

0
0 0 0 0
(11)
o` u d

(resp. d

) designe les dierentielles des lignes (resp. des colonnes), obtenues par
tensorisation `a partir de celles de K

et de

(

. Les complexes lignes K


,p
= K

C

(
p
=
K

(f,

(
p
), pour 0 p q sont des complexes de Koszul N
s
-gradues associes `a la suite
f et aux C-modules

(
p
. Les complexes colonnes K
l,
= K
l

C

(

=

(

(, K
l
), pour
r l 0 sont des complexes de

Cech augmentes associes `a la suite = (
i
1
...i
s
)
i
1
i
s
et aux C-modules K
l
.
Le bicomplexe K

donne lieu `a deux suites spectrales ayant meme aboutissement :


_

E
l,p
1
= H
p
(K
l,
) = E
l+p

E
l,p
2
= H
l
(L
,p
) = E
l+p
pour (l, p) Z
2
(voir [1; 3; 6, 11]), o` u L
p,
est le complexe
0 H
p
(K
,0
) H
p
(K
,1
) H
p
(K
,q
) 0.
Puisque K
,i
= K


C

(
i
est un C-module plat, alors le complexe L
p,
nest autre
que le complexe de

Cech augmente associe `a la suite et au C-module H
p
(K

). On
en deduit
_

E
l,p
1
= H
p
M
(K
l
) = E
l+p
,

E
l,p
2
= H
l
M
(H
p
(K

)) = E
l+p
,
(12)
et, il resulte des denitions (9) et (10), que lon a
_

E
l,p
1
= 0 pour (l, p) / r, . . . , 0 0, . . . , q,

E
l,p
2
= 0 pour (l, p) / 0, . . . , q r, . . . , 0.
253
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
4.3.2. Supports des deux suites spectrales

E et

E
Le support dune suite spectrale (E
l,p
t
) (t = 1 ou 2) est lensemble des couples
entiers (l, p) tels que E
l,p

,= 0. Pour tout j = 1, . . . , s, on note U


j
= spec(C
j
)V (M
j
)
louvert complementaire du ferme V (M
j
) dans spec(C
j
) et U = U
1

S

S
U
s
louvert produit bre sur S = spec(A) des ouverts U
j
. Or, pour tout 1 j s, on a
U
j
= (E
n
j
+1
A
)

, donc
U = (E
n
1
+1
A
)


S

S
(E
n
s
+1
A
)

= spec(C) V (M).
On deduit la proposition suivante :
Proposition 4.3. On a

E
l,p
1
= 0, pour tous l r, . . . , 0 et p ,= 1 +

jJ
n
j
pour toute partie J non vide de 1, . . . , s .
Demonstration. Le C-module K
l
est libre, donc plat, par consequent on a

E
l,p
1
=
H
p
M
(K
l
) = K
l

C
H
p
M
(C). Il sut donc de montrer le resultat pour H
p
M
(C). Pour
cela on distingue les cas suivants :
(i) 0 p n
1
, o` u n
1
n
2
n
s
.
Il est clair que (
i
= X
1,i
X
s,i
)
1in
1
+1
une C-suite, do` u prof
M
(C) n
1
+1,
et dapr`es [11], on a H
p
M
(C) = 0, pour 0 p n
1
.
(ii) Lorsque p > n
1
, on sait dapr`es (8), du fait que n
j
1 pour tout j, 1 j s
que
H
p
(U
j
, O
U
j
) =
_

_
C
j
si p = 0,
H
n
j
+1
M
j
(C
j
) si p = n
j
0 si p / 0, n
j

(13)
o` u
H
n
j
+1
M
j
(C
j
) =
1
X
j,1
X
j,n
j
+1
A[X
1
j,1
, . . . , X
1
j,n
j
+1
]
est un A-module libre. Et comme U = U
1

S

S
U
s
, on a, dapr`es la formule
de K unneth,
H
p
(U, O
U
) =

p
1
++p
s
=p
s

j=1
H
p
j
(U
j
, O
U
j
),
et H
p
M
(C) = H
p1
(U, O
U
), pour p 2. On en deduit
H
p
M
(C) =

p
1
++p
s
=p1
p
j
=0 ou n
j
s

j=1
H
p
j
(U
j
, O
U
j
). (14)
Comme p > n
1
, il resulte de la formule (13) que

E
l,p
= 0, pour tout
p ,= 1 +

jJ
n
j
o` u J est une partie non vide de 1, . . . , s .
Revista Matematica Complutense
2005, 18; N um. 1, 243260
254
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
Corollaire 4.4. Pour l +p > N = 1 +

s
j=1
n
j
= max
J{ 1,...,s }
_
1 +

jJ
n
j
_
, avec
r l 0, on a

E
l,p
1
= 0.
Comme f = (f
1
, . . . , f
r
) est une C

i
-suite, elle est egalement une

(
p
-suite pour
p ,= 0. Or K
,p
est le complexe de Koszul associe `a la suite f et au module

(
p
; il est
donc acyclique pour n 1 dapr`es [11], et on a :
Proposition 4.5. Pour p ,= 0, on a H
p
(K
,i
) = 0, pour tout i 1, . . . , q .
On deduit aussi quon a :

E
l,p
2
=
_

_
0 si p ,= 0 et l ,= 0
H
l
M
(B) si p = 0
H
p
(K

) si p ,= 0 et l = 0.
(15)
En vertu du resultat ci-dessus et des proprietes de cette suite spectrale (

E) as-
sociee `a un bicomplexe limite superieurement et inferieurement on a

E
l,p
2
=

E
l,p
3
=
=

E
l,p

= E
l+p
o` u E
l+p
est laboutissement. Par consequent, on a les resultats
suivants :
Proposition 4.6. (i) E
m
= H
m
(K

) si m < 0 et E
m
= H
m
M
(B) si m 0,
(ii) E
m
= 0 si m > N.
(iii) H
m
M
(B) = 0 si m > N.
4.4. Etudes des groupes de cohomologie H

M
(B) et H

(K

)
On se propose dans cette partie de generaliser le theor`eme de Hurwitz ameliore
par J. P. Jouanolou [10] dans le cas dun seul paquet au cas de s paquets de variables.
Proposition 4.7. Supposons que le nombre r de polynomes plurihomog`enes f
1
, . . . , f
r
soit inferieur ou egal au nombre de variables du premier paquet (r n
1
+1). Alors :
(i) Le complexe de Koszul est acyclique sauf en degre 0 : H
i
(K

) = 0 si i ,= 0.
(ii) Si r < n
1
+ 1 alors H
i
M
(B) = 0 pour i = 0, . . . , n
1
+ 1 r.
Demonstration. Des caracterisations des supports des deux suites spectrales

E et

E
(4.3 et (15)) on deduit que :
(i) Si r < n
1
+ 1, alors, pour tout couple (l, p) dentiers relatifs tels que l + p <
n
1
+ 1 r, on a

E
l,p
1
= 0, par suite E
i
= 0, pour i < n
1
+ 1 r , et donc,
H
i
M
(B) = 0 pour 0 i < n
1
+ 1 r et H
i
(K

) = 0, pour 0 < i < n


1
+ 1 r.
(ii) Si r = n
1
+ 1 alors on a

E
l,p
1
= 0 pour l +p < 0 et E
i
= 0 pour i < 0.
Ceci montre que H
i
(K

) = 0 si i ,= 0.
255
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
Remarque 4.8. Dapr`es la denition 3.1 on a
T =
1
(H
0
M
(B)).
Corollaire 4.9. Si r < n
1
+ 1 alors lideal des formes dinertie est donne par T =
(f
1
, . . . , f
r
), en particulier, lideal resultant A est nul.
Rappelons (3) que les monomes (
i
1
,...,i
s
) sont plurihomog`enes de degre (1, . . . , 1)
ce qui induit une Z
s
-graduation sur les complexes colonnes K
l

C

(

du diagram-
me (11), et puisque les dierentielles d

sont plurihomog`enes de degres (0, . . . , 0),


alors les groupes de cohomologie sont egalement Z
s
-gradues.
Pour tous l = 0, . . . , r et p = 1, . . . , s, on pose :
_

j
(l) = max
1i
1
<<i
l
r
(d
i
1
,j
+ +d
i
l
,j
) n
j
1,

j
(0) = n
j
1,
on a donc
j
(0) <
j
(1) < <
j
(r) = d
1,j
+ + d
r,j
n
j
1. On note =
(
1
, . . . ,
s
), o` u
j
=
j
(r) pour tout 1 j s.
Proposition 4.10. Pour tous l = 0, . . . , r et p = 1 +n
1
, . . . , N, on a :
(i) (

E
l,p
1
)
(0,...,0)
= 0 si p < N = 1 +

s
j=1
n
j
,
(ii) (

E
l,p
1
)
(
1
,...,
s
)
= 0 pour
j
>
j
(l).
Demonstration. Il resulte de la proposition 4.3 que, pour tout p ,= 1 +

jJ
n
j
, o` u
J est une partie non vide de 1, . . . , s, la premi`ere suite spectrale verie

E
l,p
1
= 0 ;
on se ram`ene donc au cas de p = 1 +

jJ
n
j
. Les formules

E
l,p
1
= H
p
M
(K
l
) =
K
l

C
H
p
M
(C), (12) et (14) donnent
(

E
0,p
1
)
(0,...,0)
= (H
p
M
(C))
(0,...,0)
=

p
1
++p
s
=p1
p
j
=0 ou n
j
s

j=1
_
H
p
j
(U
j
, O
U
j
)
_
0
,
Dans ces conditions, il existe j = 1, . . . , s tel que p
j
= n
j
. Or on a H
n
j
(U
j
, O
U
j
) = 0,
(dapr`es (13)). Par consequent on a (

E
0,p
1
)
(0,...,0)
= 0, ce qui montre la premi`ere
assertion pour l = 0.
Supposons maintenant que l ,= 0. Pour que la partie plurihomog`ene de degre
(0, . . . , 0) de la premi`ere suite spectrale soit nulle ((

E
l,p
1
)
(0,...,0)
= 0) il faut et il
sut que lon ait (H
p
M
(C))
d
i
1
d
i
l
= 0 pour tous 1 i
1
i
l
r (cf. (9)).
La relation
(H
p
M
(C))
d
i
1
d
i
l
=

p
1
++p
s
=p1
p
j
=0 ou n
j
_
s

j=1
(H
p
j
(U
j
, O
U
j
))
d
i
1
,j
d
i
l
,j
_
Revista Matematica Complutense
2005, 18; N um. 1, 243260
256
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
et le fait que p < N montrent quil existe j 1, . . . , s tel que p
j
= 0, donc
dapr`es 13 (H
0
(U
j
, O
U
j
))
d
i
1
,j
d
i
l
,j
= 0, ce qui ach`eve la demonstration de la
premi`ere assertion.
Montrons maintenant la seconde assertion. Soient p = 1 +

jJ
n
j
o` u J est une
partie non vide de 1, . . . , s et = (
1
, . . . ,
s
) Z
s
. Nous avons la formule qui met
en relief les cas l = 0 et l ,= 0 :
(

E
l,p
1
)

=
_
_
_
(H
p
M
(C))

si l = 0,

1i
1
<<i
l
r
(H
p
M
(C))
d
i
1
d
i
l
si l ,= 0.
Lorsque l = 0, la formule (14) entrane
(

E
0,p
1
)

p
1
++p
s
=p1
p
j
=0 ou n
j
s

j=1
(H
p
j
(U
j
, O
U
j
))

j
,
et puisque p n
1
+ 1, il existe j = 1, . . . , s tel que p
j
= n
j
, donc dapr`es (8) on a
(H
n
j
(U
j
, O
U
j
))

j
= 0 si
j
> n
j
1, do` u (

E
0,p
1
)

= 0 si
j
> n
j
1 pour tout
1 j s.
Lorsque l ,= 0, on observe que
(

E
l,p
1
)

1i
1
<<i
l
r
(

E
0,p
1
)
d
i
1
d
i
l
.
Or (

E
0,p
1
)
d
i
1
d
i
l
= 0 si
j
> d
i
1
,j
+ + d
i
l
,j
n
j
1 et j = 1, . . . , s. Par
consequent (

E
l,p
1
)

= 0, si
j
> max
1i
1
<<i
l
r
(d
i
1
,j
+ +d
i
l
,j
) n
j
1 =
j
(l)
pour tout 1 j s, ce qui montre la proposition.
Proposition 4.11. r etant le nombre de polynomes plurihomog`enes f
1
, . . . , f
r
, on a :
(i) (H
i
(K

))
(0,...,0)
= 0 si r N et i ,= 0,
(ii) (H
i
M
(B))
(0,...,0)
= 0 si r < N et 0 i < N r.
Demonstration. La proposition precedente donne (

E
l,p
1
)
(0,...,0)
= 0 si p < N. Ainsi
pour tous l = r, . . . , 0 et p = 1+n
1
, . . . , N tels que l+p < Nr, on a (

E
l,p
1
)
(0,...,0)
= 0,
ce qui montre que laboutissement en degre (0, . . . , 0) est nul, E
i
(0,...,,0)
= 0 si i < Nr.
La proposition resulte des relations E
m
= H
m
(K

) si m < 0 et E
m
= H
m
M
(B) si
m 0 ; ceci ach`eve la demonstration.
Corollaire 4.12. Sous les hypoth`eses et notations ci dessus, on a :
(i) (H
i
M
(B))

= 0 pour tout i,
(ii) (H
i
(K

))

= 0 pour tout i ,= 0,
pour tout = (
1
, . . . ,
s
) N
s
tel que
j
>
j
.
Corollaire 4.13. Pour = (
1
, . . . ,
s
) N
s
avec
j
>
j
, on a T

= (f
1
, . . . , f
r
)

.
257
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
4.4.1. Etudes de (H

M
(B))

et (H

(K

))

Letude des parties plurihomog`enes (H

M
(B))

et (H

(K

))

des groupes de co-


homologie necessite la :
Proposition 4.14. On a
(

E
l,p
1
)

=
_
A si (l, p) = (r, N)
0 si (l, p) ,= (r, N).
Demonstration. On sait que, pour (l, p) / 0, . . . , r 1+n
1
, . . . , N ,

E
l,p
1
= 0. Il
sut de montrer la proposition pour (l, p) 0, . . . , r 1+n
1
, . . . , N . Rappelons
que = (
1
, . . . ,
s
) Z
s
o` u
j
=

r
i=1
d
i,j
n
j
1.
Pour 0 l < r, on a
j
(l) <
j
, donc (

E
l,p
1
)

j
= 0 en vertu de la proposition 4.10,
r etant le nombre de polynomes plurihomog`enes f
1
, . . . , f
r
.
Pour l = r, on sait que

E
r,p
1
= H
p
M
(K
r
) = H
p
M
(C)[d
1
d
r
], donc
(

E
r,p
1
)

= (H
p
M
(C))
(n
1
1,...,n
s
1)
et la formule de K unneth donne
(

E
r,p
1
)

p
1
++p
s
=p1
p
j
=0 ou n
j
s

j=1
H
p
j
(U
j
, O
U
j
)
n
j
1
.
Si p < N, on peut supposer, dapr`es la proposition 4.3, que p = 1 +

jJ
n
j
o` u J est
une partie non vide de 1, . . . , s , et puisque dans lexpression de (

E
r,p
1
)

ci-dessus
p
j
ne prend que deux valeurs 0 ou n
j
alors il existe j 1, . . . , s tel que p
j
= 0.
Comme H
0
(U
j
, O
U
j
)
n
j
1
= 0 (13), on deduit que (

E
r,p
1
)

= 0.
Lorsque p = N, on a (

E
r,N
1
)

=

s
j=1
H
n
j
(U
j
, O
U
j
)
n
j
1
. La formule (13)
implique que H
n
j
(U
j
, O
U
j
)
n
j
1
= A, par consequent (

E
r,N
1
)

= A.
De la proposition precedente on deduit laboutissement de la premi`ere suite spec-
trale en degre :
E
i

=
_
A si i = N r
0 si i ,= N r.
En comparant la formule ci dessus avec
E
i

=
_
(H
i
M
(B))

si i 0
(H
i
(K

))

si i 0,
on deduit le theor`eme suivant, qui est un bilan des resultats precedents. Rappelons
que r est le nombre de polynomes generiques plurihomog`enes f
i
et N = 1+n
1
+ +n
s
o` u 1 +n
j
est le nombre de variables dans le paquet j.
Theor`eme 4.15. Dans les hypoth`eses et notations ci dessus on a :
Revista Matematica Complutense
2005, 18; N um. 1, 243260
258
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
(i) Si r < N, alors
(a) Le complexe K

(9) est acyclique sauf en degre 0 : (H


i
(K

))

= 0 pour
i ,= 0.
(b) Lorsque i 0 et i ,= N r, on a (H
i
M
(B))

= 0.
(ii) Pour r = N on a :
(a) Le complexe K

est acyclique sauf en degre 0 : (H


i
(K

))

= 0 pour i ,= 0.
(b) Le A-module (H
0
M
(B))

est libre de rang 1 et (H


i
M
(B))

= 0, pour i > 0.
(iii) Supposons que r > N.
(a) Lorsque i ,= 0, on a (H
i
(K

))

= A pour i = N r, et (H
i
(K

))

= 0
pour i ,= N r.
(b) Pour i 0, on a (H
i
M
(B))

= 0.
Corollaire 4.16. On a :
(i) Si r ,= N, la partie plurihomog`ene de degre de lideal des formes dinertie est
T

= (f
1
, . . . , f
r
)

.
(ii) Si r N alors le complexe K

denit une resolution libre du A-module B

.
Dans le cas o` u le nombre de polynomes f
1
, . . . , f
r
est egal `a N = 1+n
1
+ +n
r
, le
A-module (H
0
M
(B))

est libre de rang 1, dont on donne ici un generateur sans donner


le lien avec le determinant Jacobien des polynomes f
1
, . . . , f
r
, etabli dans [2].
On denit par recurrence sur j = 1, . . . , s, des polynomes uniques f
(1)
i,l
(o` u 1 l
n
j
+ 1) par :
f
i
= X
1,1
f
(1)
i,1
+ +X
1,n
1
+1
f
(1)
i,n
1
+1
,
f
(1)
i,l
A[X
1,l
, . . . , X
1,n
1
+1
][X
2
, . . . , X
s
],
(16)
pour tout i = 1, . . . , r = N. Pour denir f
(j)
i,l
, pour 2 j s et 1 l n
j
+ 1, on
decompose f
(j1)
i,n
j1
+1
sous la forme (16) par rapport au paquet X
j
:
f
(j1)
i,n
j1
+1
= X
j,1
f
(j)
i,1
+ +X
j,n
j
+1
f
(j)
i,n
j
+1
,
f
(j)
i,l
A[X
1,n
1
+1
, . . . , X
j1,n
j1
+1
][X
j,l
, . . . , X
j,n
1
+1
][X
j+1
, . . . , X
s
],
on obtient alors une decomposition
f
i
=
n
1

l=1
X
1,l
f
(1)
i,l
+X
1,n
1
+1
n
2

l=1
f
(2)
i,l
+
+
j1

k=1
X
k,n
k
+1
n
j

l=1
x
j,l
f
(j)
i,l
+
+
s1

k=1
X
k,n
k
+1
n
s

l=1
x
s,l
f
(s)
i,l
+
s

k=1
X
k,n
k
+1
f
(s)
i,n
s
+1
259
Revista Matematica Complutense
2005, 18; N um. 1, 243260
A. Awane/A. Chkiriba/M. Goze Formes dinertie et complexe de Koszul. . .
du polynome f
i
pour i = 1, . . . , r. Considerons le determinant dordre N
T =

f
(1)
1,1
. . . f
(1)
1,n
1
+1
. . . f
(j)
1,1
. . . f
(j)
1,n
j
. . . f
(s)
1,1
. . . f
(s)
1,n
s
+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
f
(1)
i,1
. . . f
(1)
i,n
1
. . . f
(j)
i,1
. . . f
(j)
i,n
j
. . . f
(s)
i,1
. . . f
(s)
i,n
s
+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
f
(1)
N,1
. . . f
(1)
N,n
1
. . . f
(j)
N,1
. . . f
(j)
N,n
j
. . . f
(s)
N,1
. . . f
(s)
N,n
s
+1

.
Si on pose N
j
=

s
l=j+1
n
l
pour 1 j s 1 et N
s
= 0 alors on a :
Theor`eme 4.17. (i) Le determinant T est une forme dinertie plurihomog`ene de
degre
j
N
j
par rapport au paquet X
j
, cest `a dire T T
(
1
N
1
,...,
s
N
s
)
.
(ii) La classe de X
N
1
1,n
1
+1
X
N
s1
1,n
s1
+1
T modulo (f
1
, . . . , f
N
) est un generateur
de (H
0
M
(B))

.
References
[1] H. Cartan and S. Eilenberg, Homological algebra, Princeton University Press, Princeton, N. J.,
1956.
[2] A. Chkiriba, Formes dinertie plurihomog`enes, Th`ese, Rabat, 1988.
[3] R. Godement, Topologie algebrique et theorie des faisceaux, Actualites Sci. Ind. No. 1252. Publ.
Math. Univ. Strasbourg, Hermann, Paris, 1958.
[4] A. Grothendieck,

Elements de geometrie algebrique. I. Le langage des schemas, Pub. Math.
Inst. Hautes

Etudes Sci., 1960.
[5] ,

Elements de geometrie algebrique. II.

Etude globale elementaire de quelques classes de
morphismes, Pub. Math. Inst. Hautes

Etudes Sci., 1961.
[6] ,

Elements de geometrie algebrique. III.

Etude cohomologique des faisceaux coherents,
Pub. Math. Inst. Hautes

Etudes Sci., 1961.
[7] R. Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977.
[8] A. Hurwitz,

Uber die Tragheitsformen eines algebraischen Moduls, Ann. Mat. Pura Appl. (3)
(1913), 113151.
[9] J. P. Jouanolou, Singularites rationnelles du resultant, Algebraic geometry (Proc. Summer Mee-
ting, Univ. Copenhagen, Copenhagen, 1978), 1979, pp. 183213.
[10] , Ideaux resultants, Adv. in Math. 37 (1980), no. 3, 212238.
[11] H. Matsumura, Commutative algebra, W. A. Benjamin, Inc., New York, 1970.
[12] N. H. McCoy, On the resultant of a system of forms homogeneous in each of several sets of
variables, Trans. Amer. Math. Soc. 35 (1933), no. 1, 215233.
[13] F. Mertens.

Uber die bestimmenden Eigenschaften der Resultante von n Formen mit n
Veronderlichen, Wien. Ber. XCIII (1886), 527566; Zur Theorie der Elimination, Wien. Ber.
108 (1899), 11731228.
Revista Matematica Complutense
2005, 18; N um. 1, 243260
260