Formes d’inertie et complexe de Koszul

associ´es `a des polynˆomes plurihomog`enes
Azzouz AWANE, Abdelouahab CHKIRIBA,
and Michel GOZE
UFR de G´eom´etrie Diff´erentielle et Applications
Facult´e des Sciences Ben M’sik
B.P. 7955. Boulevard Driss Harti
Casablanca — Maroc
a.awane@univh2m.ac.ma a.chkiriba@univh2m.ac.ma
Facult´e des Sciences et Techniques
Universit´e 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 finds
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 Classification: 13D45, 14XX, 14KXX.
1. Introduction
La notion de formes d’inertie (Tr¨agheitsformen) due `a F. Mertens [13] au XIX-i`eme
si`ecle, est li´ee au probl`eme fondamental de la th´eorie de l’´elimination, c’est-`a-dire, `a
l’existence des z´eros communs d’une famille donn´ee de polynˆomes.
Ce travail a ´et´e ´elabor´e avec l’aide de la coop´eration franco-marocaine Action in´etgr´ee A.I.
MA/02/32 et du programm PAS 27/2001 financ´e par l’AUPELF.
Rev. Mat. Complut.
2005, 18; N´ um. 1, 243–260
243
ISSN: 1139-1138
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
Ce probl`eme a ´et´e abord´e par plusieurs auteurs avant Mertens comme J. J. Sylves-
ter ou Cayley dans le cas o` u le nombre des polynˆomes co¨ıncide avec celui des variables
en utilisant la notion de r´esultant, qui est ici, une forme d’inertie de degr´e z´ero.
En consid´erant des polynˆomes g´en´eriques (les coefficients sont des ind´etermin´ees)
homog`enes, A. Hurwitz a ´etudi´e dans [8] l’id´eal gradu´e associ´e `a des formes d’inertie
ce qui correspond `a l’homologie du complexe de Koszul d´efinie par ces polynˆomes.
Cette ´etude a ´et´e reprise par J. P. Jouanolou [9, 10] dans le cadre de la th´eorie des
sch´emas, en utilisant notamment des m´ethodes homologiques.
Dans ce travail on introduit l’id´eal des formes d’inertie relatives `a des polynˆomes
f
1
, . . . , f
r
g´en´eriques plurihomog`enes c’est `a dire homog`enes par rapport `a s paquets
de variables X
1
, . . . , X
s
, dont la partie plurihomog`ene A de multidegr´e (0, . . . , 0) est
l’id´eal r´esultant. On donne un certain nombre de caract´erisations qui nous permettent
de retrouver les formules de Perron et de Perrin donn´ees dans le cas s = 1.
En adoptant ici les m´ethodes utilis´ees par J. P. Jouanolou [10], nous d´efinissons
le complexe de Koszul K

par les polynˆomes (f
i
) et le complexe de
ˇ
Cech (

par les
monˆomes

i
1
,...,i
s
= X
1,i
1
X
s,i
s
)
i
1
,...,i
s
.
Ceci nous permet d’´etudier deux suites spectrales

E et

E associ´ees au bicomplexe
K


A
(

et conduit `a l’´etude de la cohomologie de Koszul et `a la cohomologie locale,
cette derni`ere n’est autre que la cohomologie de
ˇ
Cech.
Nous donnons enfin, un r´esultat analogue au th´eor`eme de Hurwitz [8] et dans un
cas particulier nous retrouvons un th´eor`eme de N. H. McCoy [12].
2. Donn´ees 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
s−1
≥ ≥ n
1
≥ 1.
Soit r ∈ N fix´e 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 polynˆome g´en´erique homog`ene par rapport `a chaque
paquet de variables X
j
de degr´e d
i,j
donn´e 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 ind´etermin´ees sur K et
X
α
j
j
= X
α
j,1
j,1
X
α
j,n
j
+1
j,n
j
+1
.
On d´esigne par A = K[U
i,α
1
,...,α
s
] (1 ≤ i ≤ r et [α
j
[ = d
i,j
pour tout j = 1, . . . , s),
l’anneau des coefficients universels.
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
244
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
Pour tout j = 1, . . . , s, l’alg`ebre de polynˆomes C
j
= A[X
j,1
, . . . , X
j,n
j
+1
] est
not´ee A[X
j
]. Si l’on consid`ere que deg(X
j,l
) = 1 pour 1 ≤ l ≤ n
j
+ 1, cette alg`ebre
est naturellement N-gradu´ee. L’alg`ebre C = C
1

A

A
C
s
= A[X
1
, . . . , X
s
] est
N
s
-gradu´ee 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 situ´e sur la j-i`eme position),
(2)
pour tout j = 1, . . . , s et 1 ≤ l ≤ n
j
+ 1
D´efinition 2.1. Tout polynˆome de C homog`ene par rapport `a la N
s
-graduation ainsi
d´efinie est dit polynˆome plurihomog`ene.
Les polynˆomes f
1
, . . . , f
r
sont donc plurihomog`enes de degr´e deg(f
i
) = d
i
=
(d
i,1
, . . . , d
i,s
), en particulier l’alg`ebre quotient B =
C
(f
1
,...,f
r
)
de C par l’id´eal
(f
1
, . . . , f
r
) engendr´e par f
1
, . . . , f
r
est N
s
-gradu´ee.
On note par M l’id´eal de C = A[X
1
, . . . , X
s
] engendr´e par les q monˆomes :
σ
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 d’inerties
Comme l’alg`ebre C est N
s
-gradu´ee et les polynˆomes f
1
, . . . , f
r
plurihomog`enes,
alors l’alg`ebre quotient B est N
s
-gradu´ee. Notons par B
σ
i
1
···i
s
le localis´e 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 gradu´es de degr´e (0, . . . , 0) ∈ N
s
. On a donc
Ker π = ¦ b ∈ B [ ∀m ∈ M, ∃ν ∈ N, m
ν
b = 0 ¦.
D´efinition 3.1. L’image r´eciproque T = p
−1
(Ker π) est appel´ee l’id´eal des formes
d’inertie des polynˆomes f
1
, . . . , f
r
, et la partie plurihomog`ene T
(0,...,0)
= T ∩ A = A
de degr´e (0, . . . , 0) est appel´ee l’id´eal r´esultant de f
1
, . . . , f
r
.
Les formes d’inertie, c’est-`a-dire les polynˆomes de T sont caract´eris´ees par la
proposition suivante :
Proposition 3.2. Pour tout f ∈ C les propri´et´es suivantes sont ´equivalentes :
(i) f est une forme d’inertie.
(ii) Il existe ν ∈ N tel que σ
ν
i
1
···i
s
f est dans l’id´eal engendr´e par f
1
, . . . , f
r
, quels que
soient i
1
, . . . , i
s
.
245
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
(iii) Il existe ν ∈ N et il existe i
1
, . . . , i
s
tels que σ
ν
i
1
···i
s
f est dans l’id´eal engendr´e
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 polynˆome X
α
1
1
. . . X
α
s
s
f est dans
l’id´eal engendr´e 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 l’id´eal engendr´e
par f
1
, . . . , f
r
.
La d´emonstration 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
d´esigne la projection canonique de B sur B
σ
i
1
···i
s
.
D´emonstration. Il suffit de montrer que
Ker(can : B −→ B
σ
i
1
···i
s
) = Ker(can : B −→ B
σ
j
1
···j
s
)
pour tous monˆomes σ
i
1
···i
s
et σ
j
1
···j
s
(3). En effet, le diagramme
B
can

can
//
B
σ
i
1
···i
s
γ
2

B
σ
j
1
···j
s
γ
1
//
B
σ
i
1
···i
s
σ
j
1
···j
s
est commutatif, et puisque σ
j
1
···j
s
n’est pas un diviseur de z´ero dans B
σ
i
1
···i
s
, alors
les homomorphismes γ
1
et γ
2
sont injectifs, par cons´equent on a
Ker(can : B −→ B
σ
i
1
···i
s
) = Ker(can : B −→ B
σ
j
1
···j
s
).
D’o` u le lemme.
Remarque 3.4. Il r´esulte aussitˆot de la caract´erisation de l’id´eal des formes d’inertie
et du fait que les polynˆomes sont plurihomog`enes, que l’id´eal T est N
s
−gradu´e.
Soit i
1
, . . . , i
s
tels que 1 ≤ i
j
≤ n
j
+ 1. Pour tous i = 1, . . . , r et j = 1, . . . , s, on
d´esigne par U
i,i
1
,...,i
s
le coefficient 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
τ
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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
246
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
o` u f est un polynˆome de C = A[X
1
, . . . , X
s
], que l’on 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 caract´erisation des formes d’inertie :
Proposition 3.5. Pour tout polynˆome f plurihomog`ene dans C de degr´e (ν
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 d’abord 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
.
D´emonstration. On peut supposer que i
1
= n
1
+ 1, . . . , i
s
= n
s
+ 1, c’est `a dire
σ
i
1
...i
s
= σ
q
.
Soit donc ϕ l’homomorphisme de A

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

[X
1
, . . . , X
s
][ε
1
, . . . , ε
r
] −→ A

[X
1
, . . . , X
s
]
σ
q
d´efini 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
.
L’homomorphisme ϕ est bien d´efini, 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 ψ

l’homomorphisme compos´e
ψ

: A

[X
1
, . . . , X
s
]
σ
q
j
−→ C
σ
q
p
−→ B
σ
q
o` u j est l’injection canonique et p et l’homomorphisme induit de la surjection cano-
nique de C dans B =
C
(f
1
,...,f
r
)
. On d´eduit que ψ ◦ ψ

= Id
A

[X
1
,...,X
s
]
σ
q
, de mˆeme on
a ψ

◦ ψ = Id
B
σ
q
.
D´emonstration de la proposition. Il r´esulte de la premi`ere caract´erisation des formes
d’inertie que les deux premi`eres assertions sont ´equivalentes.
Soit f ∈ T , plurihomog`ene, de degr´e (ν
1
, . . . , ν
s
). On a
f = f( ε
1
, . . . , ε
r
, X
1
, . . . , X
s
) = 0
247
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
dans B
σ
q
(premi`ere caract´erisation des formes d’inertie), 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 d´eduit que
f(−
˜
h
1
, . . . , −
˜
h
r
,
˜
X
1
, . . . ,
˜
X
s
) = 0
dans C, d’o` u (i) =⇒ (iii).
R´eciproque. Supposons que f(−
˜
h
1
, . . . , −
˜
h
r
,
˜
X
1
, . . . ,
˜
X
s
) = 0 dans C . Par ho-
mog´en´eisation par rapport `a chaque paquet de variables X
j
`a l’aide 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 degr´e 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 d´eduit que
f
1
= 0 dans
B
σ
q
, d’o` u (iii) =⇒ (i).
On va donner ici une autre caract´erisation de l’id´eal r´esultant A des polynˆomes
f
1
, . . . , f
r
c’est `a dire, des formes d’inertie de degr´e (0, . . . , 0).
Consid´erons l’homomorphisme de C-alg`ebres F : T
i
−→
f
i
τ
i
de C[T
1
, . . . , T
r
] `a
valeurs dans C
σ
q
et l’automorphisme G : ε
i
−→ ε
i
−T
i
de l’alg`ebre C[T
1
, . . . , T
r
] sur
l’anneau A

[X
1
, . . . , X
s
, T
1
, . . . , T
r
], o` u T
1
, . . . , T
r
sont des nouvelles variables.
Proposition 3.7. Ker F co¨ıncide avec l’image par G de l’id´eal T [T
1
, . . . , T
r
] .
D´emonstration. On consid`ere l’homomorphisme de A

[X
1
, . . . , X
s
]
σ
q
-alg`ebres de
C
σ
q
[T
1
, . . . , T
r
] `a valeurs dans C
σ
q
d´efini 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 l’id´eal engendr´e par
f
1
, . . . , f
r
est le noyau de l’homomorphisme d´efini ci dessus, qui induit par cons´equent,
un isomorphisme ω : B
σ
q
[T
1
, . . . , T
r
] −→ C
σ
q
. On sait que l’homomorphisme cano-
nique d’anneaux u : C −→ B
σ
q
admet pour noyau l’id´eal T des formes d’inertie, et que
T [T
1
, . . . , T
r
] est le noyau du morphisme d’alg`ebres ¯ u, qui prolonge u `a C[T
1
. . . , T
r
].
Le diagramme commutatif suivant
C[T
1
, . . . , T
r
]
¯ u
//
G

B
σ
q
[T
1
, . . . , T
r
]
ω

C[T
1
, . . . , T
r
]
F
//
C
σ
q
montre que Ker F = G(T [T
1
, . . . , T
r
]).
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
248
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
On d´eduit :
Corollaire 3.8 (Formule de Perron). L’homomorphisme 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 propri´et´es suivantes
sont ´equivalentes
(i) a ∈ A,
(ii) Il existe un polynˆome Q ∈ A[T
1
, . . . , T
r
] sans terme constant tel que a =
Q(
˜
f
1
, . . . ,
˜
f
r
).
D´emonstration. Soit a = a(ε
1
, . . . , ε
r
) ∈ A consid´er´e comme polynˆome en ε
1
, . . . , ε
r
.
L’´egalit´e 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 polynˆome 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
).
R´eciproquement, s’il 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
) =

α
a
α

1
−T
1
)
α
1
. . . (ε
r
−T
r
)
α
r
avec a
α
∈ A. D’o` u,
par sp´ecialisation T
i
−→ 0 pour tout i = 1, . . . , r, on d´eduit a ∈ A.
4. Complexes de Koszul et de
ˇ
Cech
On ´etudie ici le complexe de Koszul et la cohomologie locale associ´es `a des po-
lynˆomes plurihomog`enes.
Dans ce paragraphe, on d´esigne par A un anneau commutatif, M un A-module
libre et a = (a
1
, . . . , a
r
) une suite d’´el´ements 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 ext´erieure
_
p
(A
r
) du A-module A
r
est un A-module libre de rang
C
p
r
=
r!
p!(r−p)!
et de base (e
i
1
∧ ∧e
i
p
)
1≤i
1
<···<i
p
≤r
, avec la convention
_
0
(A
r
) = A
r
.
Le complexe de chaines de Koszul associ´e `a la suite a, not´e (K

(a, A), d

), est
d´efini 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
p−1
(a, A)
est donn´ee 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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
On d´efinit aussi, pour tout A-module M, le complexe de chaˆınes de Koszul associ´e `a
la suite a et au module M par :
K

(a, M) = K

(a, A) ⊗
A
M. (4)
Si A est N-gradu´e alors le A-module
_
p
(A
r
) est N-gradu´e 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 degr´es ν
1
, . . . , ν
r
alors les diff´erentielles sont ho-
mog`enes de degr´e 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) −→

1≤i
1
<···<i
p
≤r
A[−ν
i
1
− −ν
i
p
],
o` u A[ν] est le A-module gradu´e obtenu par d´ecalage de la graduation de ν ∈ Z, c’est
`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 d´esigne par M
a
I
le
A-module M
a
i
1
···a
i
p
localis´e de M par le produit a
i
1
a
i
p
.
Le complexe de
ˇ
Cech associ´e `a la suite a = (a
1
, . . . , a
r
) et au module M est le
complexe not´e (
ˇ
C

(a, M), d

) d´efini par
ˇ
C
p
(a, M) =

|I|=p+1
M
a
I
et pour tout 0 ≤ p ≤ r − 1, les diff´erentielles d
p
:
ˇ
C
p
(a, M) −→
ˇ
C
p+1
(a, M) sont
d´efinies, pour tout m = (m
I
)
|I|=p+1
et pour tout J ⊂ ¦1, . . . , r¦ de cardinal p + 2,
par :
(d
p
(m))
J
=

j∈J
(−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
l’image 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
) l’homomorphisme de A-modules de M `a
valeurs dans

r
i=1
M
a
i
. On v´erifie ais´ement que d
0
◦ α = 0 (voir (6)). On a donc un
autre complexe :
0 −→ M
α
−→
r

i=1
M
a
i
d
0
−→

|I|=2
M
a
I
d
1
−→
d
r−2
−→ M
a
1
···a
r
d
r−1
−→ 0, (7)
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
250
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
appel´e complexe de
ˇ
Cech augment´e, qu’on d´esignera par
ˇ
(

(a, M) ; d’o` u les relations :
H
0
(
ˇ
(

(a, M)) = Ker α, H
1
(
ˇ
(

(a, M)) =
ˇ
H
0
(a, M)
Im
α,
et,
H
i
(
ˇ
(

(a, M)) =
ˇ
H
i−1
(a, M) pour i ≥ 2.
Soit J = (a
1
, . . . , a
r
) l’id´eal de A engendr´e par a
1
, . . . , a
r
. On note
H

(
ˇ
(

(a, M)) = H

J
(M).
Consid´erons le sch´ema affine X = spec(A) et U =

r
i=1
D(a
i
) la r´eunion des
ouverts affines D(a
i
) de X, d´efinis respectivement par a
1
, . . . , a
r
.
Le complexe de
ˇ
Cech
ˇ
C

(a, M) associ´e `a la suite a = (a
1
, . . . , a
r
) et au mo-
dule M, n’est rien d’autre que le complexe de
ˇ
Cech habituel associ´e au recouvrement
U = (D(a
i
))
1≤i≤r
et au faisceau
˜
M associ´e au A-module M (voir [7, Chapitre III]).
D’apr`es le th´eor`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 sch´ema ferm´e du sch´ema affine X = spec(A) d´efini
par l’id´eal 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 .
D´emonstration. 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 th´eor`eme de Cartan-Serre (H
i
(X,
˜
M) = 0 pour i ≥ 1 [6]) on d´eduit qu’on 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 r´esulte du th´eor`eme de Cartan-Leray et de la d´efinition du complexe de
ˇ
Cech
augment´e 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 d´eduit de la
suite exacte pr´ec´edente que pour i = 1 on a H
1
Y
(X,
˜
M) = H
1
J
(M), ce qui ach`eve la
d´emonstration.
251
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
Exemple 4.2. Soient R = K[X
1
, . . . , X
n
] l’anneau des polynˆomes `a coefficients dans
un corps commutatif K, U l’ouvert

n
i=1
D(X
i
) de spec(R) et soit J = (X
1
, . . . , X
n
)
l’id´eal de R engendr´e par X
1
, . . . , X
n
. Puisque X
1
, . . . , X
n
est une R-suite, alors
prof(J) ≥ n, et par cons´equent les groupes de cohomologie H
i
J
(R) sont nuls sauf
pour i ,= n. Et d’apr`es (7), on a H
n
J
(R) est le n-i`eme groupe de cohomologie du
complexe
ˇ
(

(X, R), d’o` 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 gradu´e au moyen des X
i
(deg X
i
= 1), alors les groupes de cohomo-
logie sont gradu´es, et on a H
n
J
(R)
ν
= 0 si ν > −n et H
n
J
(R)
−n
= K.
4.3. Suites spectrales associ´ees au bicomplexe K
••
(f, C).
Soit f = (f
1
, . . . , f
r
) la suite de polynˆomes g´en´eriques plurihomog`enes (1). Notons
par :
_
_
_
K
0
= C
K
−l
= K
l
(f, C) =

1≤i
1
<···<i
l
≤r
C[−d
i
1
− −d
i
l
], pour l = 0, . . . , r
(9)
le complexe de Koszul d´efini sur C = A[X
1
, . . . , X
s
] par la suite f .
Les polynˆomes f
i
sont homog`enes par la N
s
− graduation d´efinie dans (2), ce qui
induit une N
s
-graduation sur K

.
Comme les diff´erentielles d
−l
: K
−l
−→ K
−l+1
sont homog`enes de degr´e (0, . . . , 0)
∈ N
s
, on d´eduit que les groupes de cohomologie (H
i
(K

))
−r≤i≤0
sont aussi N
s
-
gradu´es.
On d´efinit maintenant le complexe de
ˇ
Cech augment´e sur l’anneau C par la suite
de monˆomes σ = (σ
i
1
···i
s
)
i
1
···i
s
((7) et (3)) que l’on note
ˇ
(
p
=
ˇ
(
p
(σ, C), (10)
pour p = 1, . . . , q. On a donc un bicomplexe
K
••
= K
••
(f, C) = K


C
ˇ
(

qu’on se propose d’´etudier 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
. Consid´erant
p comme indice de ligne et l comme indice de colonne, on obtient le diagramme
commutatif suivant
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
252
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
0

0

0

0

0
//
K
−r,0
d

//
d

K
−r+1,0
d

//
d

d

//
K
−1,0
d

//
d

K
0,0 //
d

0
0
//
K
−r,1
d

//
d

K
−r+1,1
d

//
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

//

d

//
K
−1,q
d

//

K
0,q //

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

(resp. d

) d´esigne les diff´erentielles 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
-gradu´es associ´es `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 augment´es associ´es `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 mˆeme 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,•
n’est autre
que le complexe de
ˇ
Cech augment´e associ´e `a la suite σ et au C-module H
p
(K

). On
en d´eduit
_

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 r´esulte des d´efinitions (9) et (10), que l’on 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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
4.3.2. Supports des deux suites spectrales

E et

E
Le support d’une suite spectrale (E
l,p
t
) (t ≥ α = 1 ou 2) est l’ensemble 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
)
l’ouvert compl´ementaire du ferm´e V (M
j
) dans spec(C
j
) et U = U
1

S

S
U
s
l’ouvert produit fibr´e 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 d´eduit la proposition suivante :
Proposition 4.3. On a

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

j∈J
n
j
pour toute partie J non vide de ¦ 1, . . . , s ¦.
D´emonstration. Le C-module K
l
est libre, donc plat, par cons´equent on a

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

C
H
p
M
(C). Il suffit donc de montrer le r´esultat 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
)
1≤i≤n
1
+1
une C-suite, d’o` u prof
M
(C) ≥ n
1
+1,
et d’apr`es [11], on a H
p
M
(C) = 0, pour 0 ≤ p ≤ n
1
.
(ii) Lorsque p > n
1
, on sait d’apr`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, d’apr`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
p−1
(U, O
U
), pour p ≥ 2. On en d´eduit
H
p
M
(C) =

p
1
+···+p
s
=p−1
p
j
=0 ou n
j
s

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

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

j∈J
n
j
o` u J est une partie non vide de ¦ 1, . . . , s ¦.
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
254
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
Corollaire 4.4. Pour l +p > N = 1 +

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

j∈J
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 associ´e `a la suite f et au module
ˇ
(
p
; il est
donc acyclique pour n ≥ 1 d’apr`es [11], et on a :
Proposition 4.5. Pour p ,= 0, on a H
p
(K
•,i
) = 0, pour tout i ∈ ¦ 1, . . . , q ¦.
On d´eduit aussi qu’on 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 r´esultat ci-dessus et des propri´et´es de cette suite spectrale (

E) as-
soci´ee `a un bicomplexe limit´e sup´erieurement et inf´erieurement on a

E
l,p
2
=

E
l,p
3
=
=

E
l,p

= E
l+p
o` u E
l+p
est l’aboutissement. Par cons´equent, on a les r´esultats
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 g´en´eraliser le th´eor`eme de Hurwitz am´elior´e
par J. P. Jouanolou [10] dans le cas d’un seul paquet au cas de s paquets de variables.
Proposition 4.7. Supposons que le nombre r de polynˆomes plurihomog`enes f
1
, . . . , f
r
soit inf´erieur ou ´egal au nombre de variables du premier paquet (r ≤ n
1
+1). Alors :
(i) Le complexe de Koszul est acyclique sauf en degr´e 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.
D´emonstration. Des caract´erisations des supports des deux suites spectrales

E et

E
(4.3 et (15)) on d´eduit que :
(i) Si r < n
1
+ 1, alors, pour tout couple (l, p) d’entiers 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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
Remarque 4.8. D’apr`es la d´efinition 3.1 on a
T = π
−1
(H
0
M
(B)).
Corollaire 4.9. Si r < n
1
+ 1 alors l’id´eal des formes d’inertie est donn´e par T =
(f
1
, . . . , f
r
), en particulier, l’id´eal r´esultant A est nul.
Rappelons (3) que les monˆomes (σ
i
1
,...,i
s
) sont plurihomog`enes de degr´e (1, . . . , 1)
ce qui induit une Z
s
-graduation sur les complexes colonnes K
l

C
ˇ
(

du diagram-
me (11), et puisque les diff´erentielles d

sont plurihomog`enes de degr´es (0, . . . , 0),
alors les groupes de cohomologie sont ´egalement Z
s
-gradu´es.
Pour tous l = 0, . . . , r et p = 1, . . . , s, on pose :
_
δ
j
(l) = max
1≤i
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).
D´emonstration. Il r´esulte de la proposition 4.3 que, pour tout p ,= 1 +

j∈J
n
j
, o` u
J est une partie non vide de ¦1, . . . , s¦, la premi`ere suite spectrale v´erifie

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

j∈J
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
=p−1
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,
(d’apr`es (13)). Par cons´equent 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 degr´e
(0, . . . , 0) de la premi`ere suite spectrale soit nulle ((

E
−l,p
1
)
(0,...,0)
= 0) il faut et il
suffit que l’on 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
=p−1
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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
256
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
et le fait que p < N montrent qu’il existe j ∈ ¦ 1, . . . , s ¦ tel que p
j
= 0, donc
d’apr`es 13 (H
0
(U
j
, O
U
j
))
−d
i
1
,j
−···−d
i
l
,j
= 0, ce qui ach`eve la d´emonstration de la
premi`ere assertion.
Montrons maintenant la seconde assertion. Soient p = 1 +

j∈J
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,

1≤i
1
<···<i
l
≤r
(H
p
M
(C))
ν−d
i
1
−···−d
i
l
si l ,= 0.
Lorsque l = 0, la formule (14) entraˆıne
(

E
0,p
1
)
ν
=

p
1
+···+p
s
=p−1
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 d’apr`es (8) on a
(H
n
j
(U
j
, O
U
j
))
ν
j
= 0 si ν
j
> −n
j
− 1, d’o` 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
)
ν
=

1≤i
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
cons´equent (

E
−l,p
1
)
ν
= 0, si ν
j
> max
1≤i
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 polynˆomes 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.
D´emonstration. La proposition pr´ec´edente 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 < N−r, on a (

E
l,p
1
)
(0,...,0)
= 0,
ce qui montre que l’aboutissement en degr´e (0, . . . , 0) est nul, E
i
(0,...,,0)
= 0 si i < N−r.
La proposition r´esulte des relations E
m
= H
m
(K

) si m < 0 et E
m
= H
m
M
(B) si
m ≥ 0 ; ceci ach`eve la d´emonstration.
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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
4.4.1. Etudes de (H

M
(B))
δ
et (H

(K

))
δ
L’´etude des parties plurihomog`enes (H

M
(B))
δ
et (H

(K

))
δ
des groupes de co-
homologie n´ecessite la :
Proposition 4.14. On a
(

E
−l,p
1
)
δ
=
_
A si (l, p) = (r, N)
0 si (l, p) ,= (r, N).
D´emonstration. On sait que, pour (l, p) / ∈ ¦ 0, . . . , r ¦¦ 1+n
1
, . . . , N ¦,

E
−l,p
1
= 0. Il
suffit 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 polynˆomes 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
=p−1
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, d’apr`es la proposition 4.3, que p = 1 +

j∈J
n
j
o` u J est
une partie non vide de ¦ 1, . . . , s ¦, et puisque dans l’expression 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 d´eduit 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 cons´equent (

E
−r,N
1
)
δ
= A.
De la proposition pr´ec´edente on d´eduit l’aboutissement de la premi`ere suite spec-
trale en degr´e δ :
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 d´eduit le th´eor`eme suivant, qui est un bilan des r´esultats pr´ec´edents. Rappelons
que r est le nombre de polynˆomes g´en´eriques 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.
Th´eor`eme 4.15. Dans les hypoth`eses et notations ci dessus on a :
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
258
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
(i) Si r < N, alors
(a) Le complexe K

δ
(9) est acyclique sauf en degr´e 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 degr´e 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 degr´e δ de l’id´eal des formes d’inertie est
T
δ
= (f
1
, . . . , f
r
)
δ
.
(ii) Si r ≤ N alors le complexe K

δ
d´efinit une r´esolution libre du A-module B
δ
.
Dans le cas o` u le nombre de polynˆomes 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 g´en´erateur sans donner
le lien avec le d´eterminant “Jacobien” des polynˆomes f
1
, . . . , f
r
, ´etabli dans [2].
On d´efinit par r´ecurrence sur j = 1, . . . , s, des polynˆomes 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 d´efinir f
(j)
i,l
, pour 2 ≤ j ≤ s et 1 ≤ l ≤ n
j
+ 1, on
d´ecompose f
(j−1)
i,n
j−1
+1
sous la forme (16) par rapport au paquet X
j
:
f
(j−1)
i,n
j−1
+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
j−1,n
j−1
+1
][X
j,l
, . . . , X
j,n
1
+1
][X
j+1
, . . . , X
s
],
on obtient alors une d´ecomposition
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
+
+
j−1

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

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

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 Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
A. Awane/A. Chkiriba/M. Goze Formes d’inertie et complexe de Koszul. . .
du polynˆome f
i
pour i = 1, . . . , r. Consid´erons le d´eterminant d’ordre 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 :
Th´eor`eme 4.17. (i) Le d´eterminant T est une forme d’inertie plurihomog`ene de
degr´e δ
j
−N
j
par rapport au paquet X
j
, c’est `a dire T ∈ T

1
−N
1
,...,δ
s
−N
s
)
.
(ii) La classe ∆ de X
N
1
1,n
1
+1
X
N
s−1
1,n
s−1
+1
T modulo (f
1
, . . . , f
N
) est un g´en´erateur
de (H
0
M
(B))
δ
.
R´ef´erences
[1] H. Cartan and S. Eilenberg, Homological algebra, Princeton University Press, Princeton, N. J.,
1956.
[2] A. Chkiriba, Formes d’inertie plurihomog`enes, Th`ese, Rabat, 1988.
[3] R. Godement, Topologie alg´ebrique et th´eorie des faisceaux, Actualit´es Sci. Ind. No. 1252. Publ.
Math. Univ. Strasbourg, Hermann, Paris, 1958.
[4] A. Grothendieck,
´
El´ements de g´eom´etrie alg´ebrique. I. Le langage des sch´emas, Pub. Math.
Inst. Hautes
´
Etudes Sci., 1960.
[5] ,
´
El´ements de g´eom´etrie alg´ebrique. II.
´
Etude globale ´el´ementaire de quelques classes de
morphismes, Pub. Math. Inst. Hautes
´
Etudes Sci., 1961.
[6] ,
´
El´ements de g´eom´etrie alg´ebrique. III.
´
Etude cohomologique des faisceaux coh´erents,
Pub. Math. Inst. Hautes
´
Etudes Sci., 1961.
[7] R. Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977.
[8] A. Hurwitz,
¨
Uber die Tr¨agheitsformen eines algebraischen Moduls, Ann. Mat. Pura Appl. (3)
(1913), 113–151.
[9] J. P. Jouanolou, Singularit´es rationnelles du r´esultant, Algebraic geometry (Proc. Summer Mee-
ting, Univ. Copenhagen, Copenhagen, 1978), 1979, pp. 183–213.
[10] , Id´eaux r´esultants, Adv. in Math. 37 (1980), no. 3, 212–238.
[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, 215–233.
[13] F. Mertens.
¨
Uber die bestimmenden Eigenschaften der Resultante von n Formen mit n
Ver˜onderlichen, Wien. Ber. XCIII (1886), 527–566; Zur Theorie der Elimination, Wien. Ber.
108 (1899), 1173–1228.
Revista Matem´atica Complutense
2005, 18; N´ um. 1, 243–260
260

Sign up to vote on this title
UsefulNot useful