Vol18 1l PDF

Formes dinertie et complexe de Koszul
associes à des polynomes plurihomogènes

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ères Lumière
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 à F. Mertens [13] au XIX-ième
siècle, est liee au problème fondamental de la theorie de lelimination, cest-à-dire, à
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ème 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ènes, A. Hurwitz a etudie dans [8] lideal gradue associe à des formes dinertie
ce qui correspond à 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 à des polynomes
f
1
, . . . , f
r
generiques plurihomogènes cest à dire homogènes par rapport à s paquets
de variables X
1
, . . . , X
s
, dont la partie plurihomogène 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 à letude de la cohomologie de Koszul et à la cohomologie locale,

cette dernière nest autre que la cohomologie de

Cech.
Nous donnons enn, un resultat analogue au theorème de Hurwitz [8] et dans un
cas particulier nous retrouvons un theorème de N. H. McCoy [12].
2. Donnees et notations
Soient K un anneau commutatif intègre 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ère le polynome generique homogène par rapport à 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
Pour tout j = 1, . . . , s, lalgèbre de polynomes C
j
= A[X
j,1
, . . . , X
j,n
j
+1
] est
notee A[X
j
]. Si lon considère que deg(X
j,l
) = 1 pour 1 l n
j
+ 1, cette algèbre
est naturellement N-graduee. Lalgèbre 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ème position),
(2)
pour tout j = 1, . . . , s et 1 l n
j
+ 1
Denition 2.1. Tout polynome de C homogène par rapport à la N
s
-graduation ainsi
denie est dit polynome plurihomogène.
Les polynomes f
1
, . . . , f
r
sont donc plurihomogènes de degre deg(f
i
) = d
i
=
(d
i,1
, . . . , d
i,s
), en particulier lalgèbre 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èbre C est N
s
-graduee et les polynomes f
1
, . . . , f
r
plurihomogènes,
alors lalgèbre 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èbres : b (
b
1
, . . . ,
b
1
)
de B à 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ène T
(0,...,0)
= T A = A
de degre (0, . . . , 0) est appelee lideal resultant de f
1
, . . . , f
r
.
Les formes dinertie, cest-à-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
2005, 18; N um. 1, 243260
(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ènes, 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 à X
j,n
j
+1
)
f = f(

X
1
. . . ,

X
s
),
2005, 18; N um. 1, 243260
246
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ème caracterisation des formes dinertie :
Proposition 3.5. Pour tout polynome f plurihomogène 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è-
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 à dire
i
1
...i
s
=
q
.
Soit donc lhomomorphisme de A
[X
1
, . . . , X
s
]-algèbres
: 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èbres
: 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ère caracterisation des formes
dinertie que les deux premières assertions sont equivalentes.
Soit f T , plurihomogène, de degre (
1
, . . . ,
s
). On a
f = f(
1
, . . . ,
r
, X
1
, . . . , X
s
) = 0
247
2005, 18; N um. 1, 243260
dans B
q
(première 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 à chaque paquet de variables X
j
à 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ène 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ène, 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 à dire, des formes dinertie de degre (0, . . . , 0).
Considerons lhomomorphisme de C-algèbres F : T
i

f
i
i
de C[T
1
, . . . , T
r
] à
valeurs dans C
q
et lautomorphisme G :
i

i
T
i
de lalgèbre 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ère lhomomorphisme de A
[X
1
, . . . , X
s
]
q
-algèbres de
C
q
[T
1
, . . . , T
r
] à 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èbres u, qui prolonge u à 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
]).
2005, 18; N um. 1, 243260
248
On deduit :
Corollaire 3.8 (Formule de Perron). Lhomomorphisme de A-algèbres
F : T
i

f
i
, de A[T
1
, . . . , T
r
] à 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 à des po-
lynomes plurihomogènes.
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ème 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 à 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
2005, 18; N um. 1, 243260
On denit aussi, pour tout A-module M, le complexe de chanes de Koszul associe à
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ènes de degres
1
, . . . ,
r
alors les dierentielles sont ho-
mogènes 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
à 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 à 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 à
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)
2005, 18; N um. 1, 243260
250
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 à 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ès le theorème 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 à 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ème 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ème 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ève la
demonstration.
251
2005, 18; N um. 1, 243260
Exemple 4.2. Soient R = K[X
1
, . . . , X
n
] lanneau des polynomes à 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ès (7), on a H
n
J
(R) est le n-ième 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ènes (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ènes 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ènes 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
2005, 18; N um. 1, 243260
252
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 à 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 à 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 à la suite = (
i
1
...i
s
)
i
1
i
s
et aux C-modules K
l
.
Le bicomplexe K
donne lieu à 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 à 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
2005, 18; N um. 1, 243260
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ès [11], on a H
p
M
(C) = 0, pour 0 p n
1
.
(ii) Lorsque p > n
1
, on sait daprès (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ès 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 .
2005, 18; N um. 1, 243260
254
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 à la suite f et au module

(
p
; il est
donc acyclique pour n 1 daprès [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 à 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ème 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ènes 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
2005, 18; N um. 1, 243260
Remarque 4.8. Daprès 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ènes 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ènes 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ère suite spectrale verie

E
l,p
1
= 0 ;
on se ramène 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ès (13)). Par consequent on a (
E
0,p
1
)
(0,...,0)
= 0, ce qui montre la première
assertion pour l = 0.
Supposons maintenant que l ,= 0. Pour que la partie plurihomogène de degre
(0, . . . , 0) de la première 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
_
2005, 18; N um. 1, 243260
256
et le fait que p < N montrent quil existe j 1, . . . , s tel que p
j
= 0, donc
daprès 13 (H
0
(U
j
, O
U
j
))
d
i
1
,j
d
i
l
,j
= 0, ce qui achève la demonstration de la
première 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ès (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ènes 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ève la demonstration.
Corollaire 4.12. Sous les hypothèses 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
2005, 18; N um. 1, 243260
4.4.1. Etudes de (H
M
(B))
et (H
(K
))
Letude des parties plurihomogènes (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ènes 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ès 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ère 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ème suivant, qui est un bilan des resultats precedents. Rappelons
que r est le nombre de polynomes generiques plurihomogènes f
i
et N = 1+n
1
+ +n
s
o` u 1 +n
j
est le nombre de variables dans le paquet j.
Theorème 4.15. Dans les hypothèses et notations ci dessus on a :
2005, 18; N um. 1, 243260
258
(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ène 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 à 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
2005, 18; N um. 1, 243260
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ème 4.17. (i) Le determinant T est une forme dinertie plurihomogène de
degre
j
N
j
par rapport au paquet X
j
, cest à 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ènes, Thèse, 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.
2005, 18; N um. 1, 243260
260

Vol18 1l PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Vol18 1l PDF

Uploaded by

Copyright:

Available Formats

Formes dinertie et complexe de Koszul

associes `a des polynomes plurihomog`enes

par les polynomes (f

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

(a, M) la cohomologie du complexe du

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

(a, M)) = Ker , H

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

(X, R), do` u :

quon se propose detudier dans le paragraphe suivant.

. Les complexes lignes K

donne lieu `a deux suites spectrales ayant meme aboutissement :

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

) = 0, pour 0 < i < n

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

Letude des parties plurihomog`enes (H

des groupes de co-

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

est acyclique sauf en degre 0 : (H

est libre de rang 1 et (H

denit une resolution libre du A-module B

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

You might also like