Professional Documents
Culture Documents
Volume 114
Series Editors
J. Oesterle
A. Weinstein
Carlos A. Berenstein
RogerGay
Alekos Vidras
AlainYger
Springer Basel AG
Authors:
A CIP catalogue record for this book is available from the Library of Congress,
Washington D.C., USA
987654321
To our families, for their infinite patience.
algebraic case, one would like to find also solutions with "good" bounds on
the degrees and "size" of the coefficients. This a priori knowledge plays a role
in complexity estimates in Computer Algebra and it has applications in Tran-
scendental Number Theory [71;5]. The first person to obtain good estimates
for the degrees in the algebraic Bezout equation was Dale Brownawell, and our
work on this subject owes a lot to his encouragement.
The other ingredient in our work on Bezout identities is the observation
that the Jacobi interpolation formulas have something to do with residues. In
fact, Jacobi introduce them (and, apparently, also the concept of the Jacobian
determinant) [8;4], for the purpose of generalizing to several variables the the-
orem of Abel that the sum of residues, over the complex plane, of a rational
function vanishes if the degree of the denominator exceeds that of the numera-
tor by 2. (We generalize further Jacobi's result in Theorem 4.13.) The residue
that appears in Jacobi's work is the following: let us say, that P, Q, and R
are functions of two complex variables x, y, holomorphic in a neighborhood of
x = y = 0, and that (0,0) is the only common zero of P and Q, then Jacobi's
residue is
lim
e-+O+
J R(x, y)
P(x, y)Q(x, y)
dx 1\ dy.
IPI=<
IQI=<
Let us just mention here manifold applications of this concept can be found in
[16;3], [1;2], [2;4] (and even a forthcoming book of Aizenberg with applications
to quantum chemistry!) and refer the reader to Chapters 2 and 3 for more
details and complete references. Because in our work we need to use integral
representation formulas of the Henkin type for holomorphic functions, and,
contrary to the one variable case, they require non-holomorphic kernels, and
these are the integrals we compute "by" residues, we need to consider residue
currents, i.e., R is allowed to be only smooth (not necessarily holomorphic.)
In that case, even the existence of the above limit is questionable. The exis-
tence of residue currents and many of their properties are based on the work
of Dolbeault and of the late Argentinian mathematician Miguel Herrera (see
[13;3], [38;3].) Inspired in part by Passare's thesis and by the work of Bernstein
on V-modules, we took a different approach to residue currents, which works
when one is in the situation of Jacobi, i.e., P, Q define a complete intersec-
tion, namely, the residue current is related to the analytic continuation of the
distribution-valued holomorphic function
J.L ~ IP(x,y)Q(x,y)12J.1 ,
originally defined only for Re J.L > O. It is this observation that, as we show
in this monograph, ties together all the different components of our work on
Bezout identities. At least, we hope to convince the reader that such is the
case, and therefore, it merits his attention as well as interest in solving many
of the questions we have left open.
INTRODUCTION xi
To conclude, let us mention that the research that led to this monograph
was supported over the years by grants from several organizations: the National
Science Foundation, the Air Force Office of Scientific Research, the Army Re-
search Office, the National Security Agency, and the Conseil Nationale de la
Recherche, to all of them we give our heartfelt thanks. We would also like to
express our gratitude to M. Elkadi, who corrected many of our mistakes, as
well as to many other friends, who encouraged us to complete this monograph
and gave us much needed advice, especially, A. Dickenstein and P. Pedersen.
Bethesda, MD
June 7.1993
Chapter 1
Residue Currents in one Dimension
Different Approaches
I(,f)=27ri
1 J (() f(()d( (1.1)
111=
and more precisely what happens if f tends to 0.
We need first to point out that the definition of I(, f) for arbitrary f is
not so clear: the integration over {If I = f} can be performed when {If I = f} is
a manifold or at least a piecewise smooth curve in a neighborhood of supp()j
moreover for the definition (1.1) to be complete, we have to give an orientation
to the set {If I = f}. As simplexes and chains will be introduced in Chapter 2,
we overcome these technical difficulties here by introducing a partition of unity
as follows:
Let a E Kj in a disk around a, one can write f(() = (( - a)m(a)ua (()
where U a is a nonvanishing holomorphic function in this disk Aa j this allows us
to express f in Aa as f(() = (( - a)m(a) exp(a(()) where a is holomorphic
in Aa. When m(a) > 0, the transformation (I--t w, defined by
(_ a = wexp(- a(()),
m(a)
is a local diffeomorphism (Ja between the disk Aa in the Cc plane and some
neighborhood of in the C w plane. We cover K with a finite number of such
disks A a1 , A a2 , .. . ,AaM and introduce a partition of unity (a.)i=l, ... ,M associ-
ated to such a covering (we recall that sUPP(aJ ~ Aa; and that E~~~ aj ==
1 in a neighborhood of K). We rewrite (1.1) as :
I(,f) = ~ tr
27r~ j=l J111 =.
aj(()(() d(
f( ()
FOrE small enough, the set {If I = f}nsUPP(aj) is empty as soon as m(aj) = 0,
therefore, for f small enough,
2 CHAPTER 1 - RESIDUE CURRENTS IN ONE DIMENSION
Let us remark that the integrals ~fl=aj ()()j f()) d( can be defined with-
out ambiguity using the diffeomorphisms Oaj' namely:
1Ifl=<
aj ()() d( = {
f() J1wl=<1/m(aj)
(aj)(O;;})(w)
Wm(aj)
(O;;~)/(w)dw.
3
The orientation of {If I = lo} is induced by the positive orientation of the circle
{Iwl = lO1/m(a j ) } in the C w plane. We may now state our first result about the
behaviour of J (, f) when lo ~ O.
Proposition 1.1. Let f . 0 be an holomorphic function in a domain U c C.
For every E V(U), the limit
Definition 1.2. The current Tf defined by (1.2) is called the residue current
attached to f.
Proof. From the remarks above, it is enough to study
1 Ifl=<
a()() d(
f() ,
when a is a zero of f. Let m(a) = m, for the sake of simplicity. We have
k-I
W w dw = i
/211" ei (k-l-m+l)8 dO = O.
wm
o
1 RESIDUE ATTACHED TO A HOLOMORPHIC FUNCTION 3
2ni a
m - 1
It is now clear from the proof of our proposition that if E V(U), then
where 'l/Ja is an element in V(.6. a ) such that 'l/Ja == 1 near K and a is the
holomorphic part of , that is,
Since
Tf(d() = . -2
hm 1.
...... 0 7fZ
1Ifl=.
-fd(
= lim -1
...... 0 27fi
r
Jlfl ?.
8(d()
f
1 - 1
= ......
lim0 -27fZ
. < &( -fXlfl>.),
-
d( >,
= J 1 (A,) + h(A,),
J
where
J 1(A, ) = L 2:i A If()1 2 (>.-1)&f() A nj ()d(,
l$j$M
!(OJ)=o
2 SOME OTHER APPROACHES TO THE RESIDUE CURRENT 5
and, as we shall always do, we have suppressed the domain of integration since
it is the whole plane. When f (aj) =I- 0, f does not vanish on the support of
aj' then A f-+ J 2 (A, ) can be extended as an entire function of A. We are led
to study a function of the form
where aj is a zero of f. When Re A > 2, one can write If12'\ / f = IfI 2(.\-1) 1.
This fonction is in C1 (U) and we have
Using Stokes's theorem (which will be one of our major tools in most of the
proofs ), we deduce that
Proof of Lemma 1.6. We remark first that it is enough to prove the lemma
for N = 1. In fact, for Re A sufficiently large, we have
(1.8)
(mA - p) JI( - al (( _
2m>. 1 1 -
a)P+l (( _ a)m Oa,>.(() d( 1\ d(
=- JI(-al 2m>. 1 1 8 -
((_a)P((_a)m8([Oa,>.(()]d(l\d(. (1.9)
=
Applying successively (1.9) with p -1, p = -2, etc., we obtain
( -1) m J 2m>. (- a m am -
J(N)(A,) = fhmA+k) I(-al ((_) 8(m[Oa,>.(()]d(l\d(. (1.10)
k=l
Clearly, the right hand side of (1.10) defines a function of A that is holomorphic
in Re A > O. If we use polar coordinates, i.e., ( - a = pe iO , it is not hard to
see that this function is holomorphic in Re(2mA+ 1) > -1, i.e., Re A > -11m
as claimed. Thus, Lemma 1.6 and Proposition 1.5 are proved. 0
It turns out that Proposition 1.5 provides another way of defining the current
lJ(l//), as it is shown by the following proposition.
Proposition 1.7. Let f, U, K, and be as in the previous proposition.
Then,
-1
J(O, ) =< 8-1' d( > .
Proof. As above, we use a partition of unity subordinated to the family {~a}
and to K. We claim that for any a, among a1, ... , aM, such that f(a) = 0,
we have
2 SOME OTHER APPROACHES TO THE RESIDUE CURRENT 7
To verify the claim, for m := m(a) =I 0, we use the diffeomorphism ()a to reduce
the problem to the Cw plane, with w r--+ w m instead of the function f. In this
case, (1.11) becomes
is continuous on [0,00) and its value at s = 0 is < 8(1/1), )(Pad( >. Let A > 0
be such that 'l/Ja == 0 for Iwl 2 > A. Then, Pa(s) = 0 for S2 > A, hence, for
Re >. > 0,
J J J
~ A A
>. s>'-IPa(s)ds - Pa(O) = >. S>'-l (POI. (s) - Pa(O))ds + (>. s>'-lds -l)Pa(O)
o 0 0
J
A
For any 0 < "l < A and any such>' we also have the following inequality
This concludes the proof of the above proposition, since all the contributions
of to the value of J(>', ) at >. = 0 come from the values at the same point of
the functions>. r--+ J(>',aj)' for m(aj) =I O. 0
In the proof of Proposition 1. 7 we have used a Tauberian argument to recover
in a different way the action of the residue current. In fact, the function
>. r--+ J(>', a) is the Mellin transform of the function POI.. There are other
Tauberian methods one can use to obtain the residue current. Here is an
example.
8 CHAPTER 1- RESIDUE CURRENTS IN ONE DIMENSION
Proof. Repeating the argument of the last proof and choosing A as above,
we show that for a such that f(a) = 0,
Proof. This statement is just a rephrasing of the known result from the theory
of distributions in R2 (see e.g., [5])
a 1
(1.16)
a( (1f() = 8(0,0)'
~ r
f(() d( = lim ~ r f(()[_l_ * Pe(t)](()d(
1-
2m lau (- z e-+O 21fZ lau t - z
= 1
lim -2' 1
a[f(()(- * Pe(t))(()]/\ d(
=
e-+O
1 1
af
1fZ
1 -
U
Therefore, (1.15) follows from (1.16). Note that a direct proof of this result
can be found, e.g., in [3]. D
We want to construct" weighted" versions of this formula. For that purpose, let
us introduce some open set w, W C U, M functions of two variables q1, ... , qM
belonging to C 1 (w x U), and M functions G 1 , ... , G M , each G k defined and
holomorphic in a neighborhood of the image of w x U by the mapping
+ "1
M (0)
f(() II r k (z,()
r
M M
1
f( z ) -- 21fi [lA ( _z
k=l
d( ~ frj(1) II r (0)( z,
k ( ) aC;qj
- /\ d( ] .
au j=l u k=l
k";j
(1.17)
Proof. Note that in (1.17) we have left implicit those variables that are evident
from the context. It is a practice that we will carryon throughout this book.
10 CHAPTER 1 - RESIDUE CURRENTS IN ONE DIMENSION
The proof of (1.17) is immediate. The key point consists in applying (1.15) to
the function
M
gz: (f---> f(() II r~O)(z,(),
k=l
where z is kept fixed in w. It is clear from the hypothesis that Gk(l) = 1, that
gz(z) = f(z). D
The point which is worthwile noticing here is that the singularity in the
second term of the right handside of (1.15) disappears in (1.17); this is a nice
phenomenon, which occurs in the case of one variable, due to the fact that the
division by z - ( is elementary in this case. We shall try to find an analogue
of the trivial identity 1 = (z~() (z - () in the multidimensional case later on.
f(z) = ~
2mlaD(-z
r f(() d(
1 r f(()fl(()
= 27ri laD (( _ z)Jr(() d( = Jr(z)Rri(z) + R 2 f(z), (1.18)
4 SOME APPLICATIONS OF POMPEIU'S FORMULAS. LOCAL RESULTS 11
where
1 ( f(()
Rd(z) = 27ri Jan (( _ z)JI(() d(
R2J(z) = ~ ( f(()(JI(() - JI(z)) de.
27r2 Jan (( - z)JI(()
One should note here that R2J(z) can be expressed as
cannot vanish in D provided zED. For 10 > 0, let us define, for zED and
(E D,
Recall that
(z -1
<Pl(z,(,)=I+ql(z,(,)(z-()= 1(1 2 -1-10'
which does not vanish in D x D. Hence, we are allowed to take Gl(t) = t-l.
12 CHAPTER 1 - RESIDUE CURRENTS IN ONE DIMENSION
The second pair is related to the generators h, ... , 1m. It depends also
on a complex parameter A, which we assume first to satisfy Re A > 2. The
function q2 is defined by
with 111112 = /h/2+ ... +/lm/ 2. We choose G 2(t) = t 2 and a simple computation
leads to
m
<I>2(A,Z,() = 1- 11111 2>' + 11111 2(>.-1) L!jfJ(z).
j=l
As we have aleady said, we shall omit ( from the notation whenever possible,
so that in the last formula we really have 11111 == II/(()II and !j == fJ(().
We write (1.17) for zED for a function I E H(D) n C1(D) and remark
that it makes sense, provided Re A > 2, to set f = 0, which leads to
I(z) = _1
27ri
J 1(1- 11111 2>' + 11111 2(>.-1) ~ !-I-(Z)) 2
~ ) )
d( A d( +
((z - 1)2
:i J t
D )-1
(1.19)
where the Te,k, k E Z, are distributions in D of the lorm Te,k = Ue,k +Te,k, with
Ue,k E Coo, SUPP(Te,k) C w, and SUpp(Te,k) C {h = ... = fm = O} if k < O.
4 SOME APPLICATIONS OF POMPEIU'S FORMULAS. LOCAL RESULTS 13
.1()..,) = (1.20)
aE{!l==f",=O}
(1.21)
a9!{!l==f",=O}
.1().., a) = J
supp(,,)nD
exp().. log 11/112)a d( A d(
that is,
.1().., a) = J (t;
supp(,,)nD
00
-
)..k(log 11/11 2la)d( A d(,
(1.22)
Iterating the formula (1.22), we obtain the analytic continuation of .1().., a)
as a function of ).. to the whole complex plane as a meromorphic function and
with poles only at points of :r.
Parts b) and c) in the statement of the Lemma
1.11 are now consequences of the formula (1.22). 0
Remark 1.12. For any j, k E {I, ... , m}, the function Jj,k().., ) defined by
Thus, we have
The Remark 1.12 follows now from the fact that Jjhjllfl1 2 is bounded and
that 1 j (( - Q:) is locally integrable in e-
We use Lemma 1.11 and Remark 1.12 to get from (1.19) the following
r
division formula with remainder term.
-:i
J,k=1
+ Rm+lf(z), (1.23)
where
Rm+lf(z) = 2~i < X D T_ 2 ,_1 'f(~ fk h(Z; =~k(()) C1-=-1~~2 )81IfI12I\d( >
(1.24)
It is clear from the Remark 1.12 that
R m + 1 satisfies the condition (ii) of Prob-
lem 2 at the beginning of this section. Therefore (1.23) is a division formula in
D with remainder term.
where, as before, IIPI1 2 = !PI 12 + ... + !Pm 12. Applying (1.17) with f = 1,
M = 1, ql = q, and G(t) = t 2 in the disk D(O, R), we obtain, for Z E D(O, R),
(1.25)
As
~ Pj(()Pj(z) -2
~ IIP(()112 = Oz(I(1 ) when ( --; 00,
we have for any Z E C that, when R --; 00, formula (1.25) becomes
(1.27)
q2(Z, () := IIP(()11- 2 ' f Pj (() Pj(Z~ =?((), G 2(t) = t
j=l
16 CHAPTER 1- RESIDUE CURRENTS IN ONE DIMENSION
\
Let Re /\ 0, IZ I < R, and gj ( z,( ) := z-(' (0 ,
p J (z)-P J. = 1, ... ,m. Then,from
(1.17) we obtain the identity
The third term in (1.28 ) can be transformed via Stokes's theorem, so that
_1
27ri
J IP 1
12 (>.-1) P 8_
1 8(
(~
~
Pjgj(z, ()) dl' /\ dr
IIPII2 ..,..,
I(I::;R J-l
= _1J
27ri
IP
1
12 (>'-1)P
1
(~Pjgj(Z,())
~ 11P112
dr
.,
I(I=R J=1
-~ J 27ri
IP
1
12 (>.-1) (~Pjgj(Z,
~ 11P1I2
()) 8P /\ dr
1.., .
I(I::;R J-l
If we now let ,\ tend to 0, that is, we use the analytic continuation of the
right-hand side of (1.28 ) as described in the Lemma 1.11, we obtain
1 = Pl(Z) (
27ri
J ~ (~Pjpj(Z))
PI
~ + J ~ (~Pjgj(Z,())
11P112 ( -
~ IIPII 2 Z PI ~
de)
(I=R J-l I(I=R J-l
(1.31 )
'Ix E ]Rn, !
B(x,rt}
f(y)dy = !
B(x,r2)
f(y)dy = o. (1.32)
Then, f = 0 a.e.
Proof. We may assume that <p E coo(]Rn), since (1.32 ) is clearly equivalent to
the following system of convolution equations
It is clear that this system is also satisfied by any regularization of <po This
justifies the reduction to the case where <p is smooth.
The Fourier transform of J..Lj is the entire function of ( E en
18 CHAPTER 1- RESIDUE CURRENTS IN ONE DIMENSION
. .. exp((rl + r2)IImW)
If I~I = PI or IIm~1 ~ 1 then IJn/2(rl~)Jn/2(r2~)1 ~ K, 1~ln+l .
(1.34)
Proof of Lemma 1.14. We use here the well known asymptotic development
of the Bessel function I n / 2 ,
valid in the sector IArg~1 :::; eo < 7r (see, for example, [6].) For I~I ~ 7r(n 2 -1)/8,
using the fact that jn/2 is even, we obtain from the previous estimate that
1
Icos~1 ~ -d(~, V)exp(IImW (1.36)
7re
Moreover, for any 1 ~ 1, the product cos(rl~ -7r(n+ 1)/4) cos(r2~ -7r(n+ 1)/4)
has at most (rl +r2)/7r zeroes in ]l, l+I[. It follows from the Dirichlet pigeonhole
principle that there exists PI E]l, 1 + 1[ such that on the circle I~I = PI we have
(1.38)
where the functions HI(Z) and AI(Z) are defined for Izi -I=- PI by the integrals in
(1.38). Clearly, both are holomorphic in this open set, but HI is, in fact, entire.
Moreover, as a consequence of the Residue Theorem, if Izl > PI, we have the
additional relation
(1.39)
Furthermore, the function HI can be easily computed explicitly since the func-
tions jn/2(rl~) and jn/2(r2~) have no common zeroes. Namely, from the calcu-
lus of residues,
8(a) := ~)0,916)'
o
where the sum takes place over all the p - I-dimensional faces of a. This
operator 8 induces the homology sequence
8
----t Cp(X) ----t Cp- 1(X) ----t
Let CP(X) be the group of smooth p-forms on X . The d operator induces the
De Rham cohomology sequence
... ~ CP(X) ~ Cp+l(X) ~ ....
One has a corresponding sequence of cohomology groups HP(X),p:::::: 0
HP(X) = {c E CP(X), oc = O}
d{Cp-l(X)} .
When X is a complex analytic manifold, we also consider the groups AP,q(X) of
(p, q)-forms, i.e., locally they are linear combinations with smooth coefficients
of d(il 1\ .. . 1\ d(i p 1\ d(jl 1\ .. . 1\ d(jq. Th~re is a double sequence induced on the
groups AP,q(X) by the operators 0 and 0, usually called the Dolbeault complex,
and the corresponding cohomology groups are denoted HP,q(X).
The homology groups Hp(X) can also be defined allowing the coefficients
of the formal linear combinations to be real or complex numbers, instead of
being integers. If one needs to make this fact explicit, one denotes them by
Hp(X, Z), Hp(X, ~), Hp(X, e), respectively. Any element W E HP(X) defines
a homomorphism Tw from Hp(X,e) into C by
Tw(h):= 1 W
1 C
w:=
N
2:
j=1
m j 1 (gj)*W.
Doj
rW
Jac
= jdW,
c
C E Cp+1(X, e), wE CP(X).
is holomorphic in the orthant {Re Aj > 1, 1 :::; j :::; n} and can be analyti-
cally continued as a holomorphic function to the orthant {Aj > - M- 1 ,j =
1, ... , n}, where M is defined as follows: if mj (aj) denotes the multiplicity of
aj as a zero of fj and m(a) = (m1(ad,., mn(a n )), then
M:= . max M j .
J=l, ... ,n
Moreover,
24 CHAPTER 2- INTEGRAL FORMULAS IN SEVERAL VARIABLES
The summation takes place over the set of points {a E K: h(ak) = 0 Vk} and
Ca= l/(m(a) -I)! .
Proof. Let us introduce a covering of K by balls, such that in each ball
B(a,p(a)) one can write
where
where
II (II (mkAk + j)).
mk
Pa(A) =
kEE(a) j=l
with
8(1) _ a
m1 - 1 (an(alPha) lul*2A )
A - a(f'l 1 a(l [Ul .. Un 1
The purpose of the step above was to obtain (1 - al without any powers with
exponents strictly larger than 1 in the denominator, hence, if ml = 1 we skip
this step. Iterating the process, we have, for Re Aj 0, j = 1, ... ,n,
(2.4)
where
(2.5)
/ x~(1-Xk)q8Xk/\>= / X~(t(-I)I(~)x~)8Xk/\>
1=0
q p+l+l
= L) -I)I(q)8[ Xk 1/\ >
1=0 1 p + 1+ 1
q / p+l+l
=_~)_I)l(q) Xk 8>.
1=0 1 p + 1+ 1
lim
kl->oo
/X~(1-Xk)q8Xk/\>=-(t(-I)I(ql)
1=0 P+ +
r >
~ 1) leu
1
Remark that, in the previous formula, everyone-dimensional circle oD( aj, rj)
has the usual counterclockwise orientation. When A = Q, we obtain the classical
Cauchy representation formula
We will give later another proof of (2.8), as well as an extension of it, the
Cauchy-Weil formula.
(0) ._ dO
r k (z, () .- dt O Gklt=H<qk(Z,(),z-<>
n
< s(z,(),z - (>= LSj(z,()(Zj - (j) -=I- 0, z E w, (E DU. (2.9)
j=l
3 WEIGHTED BOCHNER-MARTINELLI FORMULAS 29
Division by z - ( can now be performed with the help of the section s. Let X
be a test function supported in U, which is identically one outside V. We have
n
L Sj(z,()(Zj - (j)
X(()=I+(I-X(())j=1 ( () ( =1+<q(X)(z,(),z-(>,
< S z, , - z>
where
q(X)(z,() = (1- X(()) s(z,()
< s(z,(),( - z >
Note that the choice of S is far from unique and that all these constructions
can be carried out when en
is replaced by a Stein manifold (see for example,
[17] or [10], p. 580-581.) We let S be the (1,0) differential form LSjd(j. We
have the following theorem.
Theorem 2.7. Let h be holomorphic in U, C1 in tJ. Let w, ql, ... , qM, and
G 1 , ... , G M be as above. Then, for z E w we have
where
K(z, () =
'" ~r(a,) ... reaM) S A (8s)a o A 8Qf' A '" A 8Q';,t (z ()
~ a! 1 M < S(z, (), ( - Z >ao+l ,.
ao+lal=n-l
Here are used for multiindexes a E N M the notations previously defined ( for
lal,a!).
Proof. Fix for the moment a function X such that X E D(U) and satisfies
X == 1 in wand assume further that (2.9) holds for z E w, ( E supp(l- X). We
introduce
qo(z,() = q(x)(z,() Go(t) = tn+l.
As one can see at once, r6)(z, () = (X(())n+" which implies that any of
the functions r6ao ) (z, (), ao ::::; n, has compact support. We use now the
Proposition 2.3 for
M
(() = h(() II r~O) (z, ().
k=O
30 CHAPTER 2- INTEGRAL FORMULAS IN SEVERAL VARIABLES
The idea, as in the previous section, is to use Stokes's theorem to raise the
exponent of 1(1 - zll in (2.6); when Re Aj 0, j = 1, . .. , n,
M
8[A2'" Anl(2 _z21 2(A2- 1) .. I(n -znI 2(A n -1)d(2 A ... Ad(n Ah(() II r~O)(z, ()d(J
k=O
= A2'" Anl(2 - z21 2 (A2- 1) .. I(n - znI 2(A n -1) x
x (t r~O)
k=l
... r~l) ... r~ (t
J=l
a;;,j (Zj - (j))) h(()d( A d(
~1
Using Stokes's formula for Re Al 0 (while keeping Re Aj, for 2 ::::: j ::::: n,
sufficiently large), we obtain from (2.6)
Let us write
+h(() (t, (Zj - (j) (t, r~O) ... r[') .. r~ 8;(," ) ) d("
Moreover, using integration by parts, one can show that the analytic continu-
ations of
= t
k,I=O
r~O) ... rf1) ... r~l) ... r~ (i)Zj - (j)8QI ,j) /\ 8qk,1.
j=l
(2.11)
We also have
- 8X /\ S - S
8Qo = - (
< s, - z >
+ (1 - X)8[ < s, ( - z > ].
32 CHAPTER 2- INTEGRAL FORMULAS IN SEVERAL VARIABLES
(aQo)'''O =
= (1 - X)"O (a[
< s, -
(S
Z >
l) "0 _ ao(1 _ X)"o-l (a[ S
< s, ( - Z >
l) "0-
1
/\
aX /\ S
---'---
< s,<; - Z >
= (1- x)"O (a[ S l)"O _ ao(1- X)"o-l ax /\ S /\ (as)"o-l
< s, ( - Z > < s, <; - Z >"0+1
(2.13)
Besides, for ao E N,
(2.14)
Now the conclusion of the theorem follows from Lemma 2.5 . The point that
we need to mention is that we make a change of indexation in formula (2.15),
namely ao becomes ao - 1. D
There are some variants of this last result. To give an example of one of
them, let us introduce, besides our original data U, h, W, Q1, ... , QM, s, and
G 1 , ... G M, a en-valued application T in C1(w x tJ). Let T be the corresponding
(1,0) form, T = L. Tjd<;j. We have then the following proposition.
Proposition 2.8. Let rh(Z, () be the function defined in w x tJ by
and, as before,
K(z, () = '"' ~r(Ol) ... r(OM) 81\ (88)0 0 1\ 8Qfl 1\ ... 1\ 8Q';r (z, ().
~ a! 1 M < s(z,(),( - z >00+1
oo+lol=n-l
Proof. The idea of the proof of this result is completely similar to what we
did above. We apply Proposition 2.3 to the function 'ljJ defined as
M
'ljJ(() =fh(Z,() IIf~O)(z,().
k=O
with exactly the same choice as before for the pair (qO, Go). This proposition
will be useful for us in our division techniques later. 0
Taking ql = q2 = ... = qM = 0 in Theorem 2.7 we deduce the classical
Bochner-Martinelli formula, which follows.
Theorem 2.9. Let U be a bounded domain in en with piecewise smooth bound-
ary. Let s be a en -valued function defined on a neighborhood of aU and of class
C1 be such that < s((), ( - Zo >=1- 0 for any ( E aU and some Zo E U. Then,
for hE H(U) nCO(U)
n
( )
'( )n(n-l) E(-l)k-l sk (()ds[kjl\d(
h(z ) - n -1 . -1 2 Jh(()k=l (2.16)
o - (27ri)n < s((), (- Zo >n
au
s( (), ( - Zo > does not vanish. We now apply Theorem 2.7 with all the % equal
to zero and s replaced by
- /)
s) = x)s) + (1 - x)) IIf1l 2 '
for any Z in wand any ( in U. In such a situation, we can use (2.16) with
ap
Sj(z, () = a(j )
and obtain a representation formula, valid for holomorphic functions in U, and
such that the kernel K involved in it is holomorphic with respect to the Z
variables. Such is not the case for the standard choice of s, that is, when
one takes Sj(z, () = (j - Zj, 1 ::; j ::; n, in which case we obtain the classical
Bochner-Martinelli formula, valid in any compact domain in en with piecewise
smooth boundary: for any function h holomorphic in U and continuous up to
the boundary and any point Zo inside U,
(2.17)
Formula (2.17) can easily be obtained from the fact that 1I(1I 2 - 2n is, up to a
constant, a fundamental solution for Laplace operator 6. in 1R2n.
We have the following corollary of Theorem 2.9.
Corollary 2.10. Let U be a bounded domain in en with piecewise smooth
boundary. Let /1, ... , fn be n functions holomorphic in a neighborhood fj
of U and S be a en-valued function, CIon a neighborhood of au, such that
Sl)/1) + ... + sn)fn() # 0 for any ( E au. Then, the set of common
zeros of /1, ... , fn in U is discrete and we have, for any hE H(U) nCO(U) and
any Z E U,
3 WEIGHTED BOCHNER-MARTINELLI FORMULAS 35
Proof. First it is clear that 11, ... , In define a discrete variety in U, since any
compact analytic variety is discrete ([13J, p. 106). This implies that the set of
common zeroes of 11, ... , In in U is finite. From the fact that 11,, In define
a discrete variety, it follows that the Jacobian J of 11, ... , In cannot vanish
identically in U (see for example theorem 10, [13], p.160). Because of Sard's
theorem [22J, the set of critical values of ( 1-+ (1111 2 , . , I/nI 2 ) ( ) is a set with
measure zero in lR n. Therefore, for almost all E1, .. , En, 11 - E 1, , In - En
define a submanifold in U. If we prove that (2.18) holds in the case when
11, ... , In define a submanifold in U, that is, J(I1, ... , In)(a) # 0 whenever
11(0.) = ... = In(a) = 0, then, the proposition will follow in the general
case through a perturbation argument. We will prove (2.18) under such an
hypothesis on 11, ... , In.
As in the proof of Theorem 2.9, we introduce a en valued function s E
CI(U), which coincides with s on au and satifies < s(),( ># 0, ( E U. An
easy computation shows that the differential form
n
E (_l)k-1 sk()ds[kj/\ dl1/\ ... /\ din
k=l
< s(),/() >n
is a-closed in U \ {11 = ... = In = O}. The implicit mapping theorem im-
plies that the application (11, ... , In) maps biholomorphically a ball B(a, pea))
about some common zero of 11, ... , In in U onto a neighborhood of the origin
in en. For each such common zero a in U, there exists such a ball and such
a diffeomorphism ()a. Assume that the balls are sufficiently small so that they
are pairwise disjoint, then, by Stokes's theorem
n
E(-l)k-l sk ()ds[kj/\dl
= L J
h(a)=;;;~Jn(a)=o 8D(a,p(a))
h() c:..
k =...::.l _ _...,.,......,,---_ __
< s,1 >n
= L J
h(a)=;>..~Jn(a)=o(Ja(8D(a,p(a))
t I----t J
aU
O(tf + (1 - t)g, () 1\ dlt 1\ ... 1\ dfn,
1,81
~(z) = (3! lim
az,B A>->Q
n(n-l)
(-1) . 2
(27ft)n
1I( - zl*2(,B+1J(A- 1J a(( - z),B+l/\ d(. (2.19)
in which the limit above means that one takes the analytic continuation and
then the value at A = Q) (see proposition 2.2). Formula (2.19) allows us to
redo the proof of Theorem 2.7, using ((1 - Zr),Bl+!, ... , ((n - zn),Bn+ 1 instead
of ((1 - Z1)"'" ((n - zn). We consider as in the preceding section a bounded
domain U with piecewise smooth boundary, an open set w which is such wee
U. Here ((31, ... , (3n) will be kept fixed. We consider a collection of M e n-
valued functions q1, ... ,qM which are in C1(w x G). We also introduce M
functions of one variable G 1 , ... , G M, such that G k is defined and holomorphic
near the image of w x G by the mapping
n
(z, () t-+ 1 - L qk,j(Z, ()((j - Zjt i +! = 1- < qk, (( - z),B+l >
j=1
and satisfies Gk(l) = 1. Remember that, despite a slight ambiguity in the no-
tations, for any ( in en and any r E N n , the element (r will denotes the element
in en whose coordinates are the (~k, 1 ::; k ::; n (it has to be differentiated
(r
from (*r = 1 (~n. For the sake of simplicity, we denote
does not vanish on w x au. The notations Qo, 8Qo" S, 8S, are analogous to
those in 3. We have the following representation formulas for derivatives of
holomorphic functions
Theorem 2.16. Let h be holomorphic in U, C1 in G. Let w, (3 E N n ,
G 1 , ... , G M, S as above. Then for Z E w we have
q1, ... , qM,
al,B1
az,Bh(z) (3'
= (27f~)n (1 h(()P,B(z,() + 1 h(()K,B(z,() ) . (2.20)
U aU
4 WEIGHTED ANDREOTTI-NORGUET FORMULAS 39
with
(2.21 )
(2.22)
aEU
"(a)= ... =!n (a)=O
The proof of this corollary is exactly the same as that of Corollary 2.10 . We
can weaken the hypothesis that the zeros of h, ... , fn are simple if we use the
concept of ordinary point due to Bolotov (see Proposition 5.4 in [1], p.42.) In
any case the main problem in (2.18) or (2.22) remains the fact that df is in the
integrand. Our goal in Chapter 3 will be to study what happens when df is
replaced by de.
40 CHAPTER 2- INTEGRAL FORMULAS IN SEVERAL VARIABLES
(2.23)
with another constant C 2 ({3, n) which is given by
nCn-l)
C({3 )=(I{3I+ n - 1)!(-1) 2
2 ,n (27fi)n
We now deduce from (2.23), assuming the same hypothesis than the one we
had in Corollary 2.18, introduce a complex parameter J-t and get
a1,81
az(3h(a) =
oEU
f1 CO)==!nCo)=O
where we recall
and the limit at J-t = 0 is understood as the value at J-t = 0 of the analytic
continuation. On the other hand, from (2.22) with s(() = f(()(3+1., we conclude
that
oEU
f1 CO)==!n Co)=O
J. (
2 f-L"
f h) - I (.II
- f-LnfJ."
J
h(l") Ifl*2/l(,8+!) dji3+I /\ df
Ilf eJ3+!) 11 2n
U
For r 0, this pseudoball contains all common zeroes of PI"'" Pn (the set
{PI = ... = Pn = O} is finite, such is the case for any O-dimensional algebraic
variety in en
as we will see later on.) Before stating our first result, we need a
few notations.
Notations. We will denote as N the linear functional defined over the vector
space of polynomials in (1, ... , (n, (i"l, ... ,(;;'n by the following rules: if a, (3
are two elements in ,Nn,
otherwise.
The polynomial J wil be the Jacobian of the polynomial map (PI, ... , Pn ) and
the en-valued application s will be defined by
Therefore, for any positive integer j, for any polynomial R in (1, ... , (n, the
expression R x J x < s, Q >j will be considered as a polynomial in (1, ... , (n,
(i"l, ... , (;;'n. The action of N on it will make sense. We now can state the
following proposition.
Proposition 2.21. Let PI"'" Pn be as above and R be a polynomial in n
variables of total degree at most k E,N. Then
Proof. We use formula (2.18) with U = U;' and s() = (i"l, ... , (;;'n) as
defined above. For ( E aU;', one can use the following expansion of
1 1
< s((), P(() >n
namely,
Such an integral can be transformed with the help of Stokes's theorem into
for any (tl' ... ,tn ) E [0, 21fJn, it is clear that I r,o.,;3 = 0 unless
- (I a
I r,o.,;3- I+ n J
) ( T I0.1 ... Tno.ndTl d))
Tn r 2(lo.l+n)
a.
, T1+ ... +Tn::;1
r 2(lo.l+n)
(Ial +n)! .
'"
L...J R(a) =
(n -1)!(-1)
(21fi)n
n(n-1)
2 J n B (()
We will denote this cardinal N(>'). When the complex parameter>' tends to
0, one can see, as a consequence of Rouche's theorem (namely Theorem 2.12)
the following fact: if N denotes the number of common zeros of the Pj, then
N(>') - N common zeros of the Pj ,>. tend to infinity, while the others approach
the common zeros of Pll ... , Pn . Therefore we have
If we divide (2.26) by en and if we take e large enough, then we get the desired
conclusion, that is Bezout theorem. D
As a corollary of this result, let us make the following remark: if PI, . .. , Pn
define locally the origin as an isolated zero, then, for a generic choice of E, PI -
EI, .. , Pn - En have only non critical common zeroes (this is just a consequence
of Sard's theorem) and therefore define a discrete variety in Theorem 2.22 en;
applies to PI - El,"" Pn - En and we have
Here the multiplicity at the origin is the integer we have introduced in Corollary
2.11.
Remark 2.23. Suppose that PI,'" ,Pn are n elements in e[Xl , ... ,Xnl
defining a discrete algebraic variety in en.
The cardinal of the zero set of
(PI"'" Pn ) is at most deg(Pd ... (deg Pn ); the main problem is how to com-
pute these zeros. Let us recall here two methods to do that. The first one
is to use elimination theory. As PI"'" P n, considered as polynomials in
e[Xd [X 2 , .. ,Xn ], define an empty variety in K n , where K denotes some
algebraic closure of e[Xd, one can find some polynomial Ql E e[Xll and
AI"'" An in e[Xl , ... , Xnl such that, for any ( in en,
(2.28)
5 ApPLICATIONS TO SYSTEMS OF ALGEBRAIC EQUATIONS 45
One can also construct Q2(X2), ... , Qn(Xn) satisfying analogous properties
with respect to the other variables X 2 , . X n . The problem of this method
is that, though generally it works effectively by using Groebner bases as in
[8], one does not effective bounds for its complexity, because finding estimates
involves computations of resultants (compare to the algorithm of G. Hermann
[14], rewritten for example in [18], section 4). The bound on the degree one
can expect for Ql, ... , Qn using such an algorithm is K(n)DO(2 n ), if D is the
maximum of the degrees of the polynomials Pj. We will see in chapter 4 that
one can prove the existence of polynomials Qj which can be written as (2.28)
and are such that deg(Ql), ... , deg(Qn) have bounds of the form
deg(Qj)::; K(n)DO(n).
These bounds are, of course, much better than the doubly exponential (see [16],
[20], [21]); it remains the delicate problem to get algorithms in order to realize
such economic division formulas; some recent results (which we will quote in
chapter 4), following the pioneer work of Grigoriev and Chistov ([9], [12]),
constitute some encouraging attempt in order to solve, in an algorithmic way
and in subexponential time, the problem of finding equations for the irreducible
components of an algebraic variety.
The second idea we want to develop here is totally different. Suppose PI, ... , Pn
define a discrete variety. Let Dl = deg(Pl), ... , Dn = deg(Pn ). Let us come
back to the proof of Theorem 2.22 where we introduced our complex parameter
>.. Let >. E C* and
P-. ,>. ( ( )._ D j +1
.- (j
1 Pj ()
+A ( .
l
For any value of>. E C*, Fl ,>., ... , Fn ,>. have exactly (Dl + 1) (Dn + 1) = M
common zeroes (counted with multiplicities ). We can always assume that Q
is not a common zero of PI, . .. , Pn . When >. --t 0, it follows as before from
Rouche's Theorem that if card ({PI = ... Pn = O}) = N, M - N roots among
the roots (that we will call (Y),j = 1, ... , M) of A,)., ... , Fn ,). tend to infinity,
while the other ones converge to the common zeroes of (PI, ... , Pn). If we take
some generic linear form L (here is the weak point of this method, namely how
to choose L, in particular such that it does not vanish at the common zeros
of the Pj and such that, if (;>.) --t 00, then L((Y)) --t 00), one can compute,
with formula (2.24 ), the Newton sums E 1 (>.), ... , EM (>.) of the numbers
L(d).)), ... , L((i;)). Then the symmetric functions 171 (>.), ... , 17 M (>.) of these
numbers may be computed using the standard recurrent formulas. We now
consider
a M - 1 (>.) a M - 2 (>.) 17 1 (>.) 1
( 17M (>.) , 17M (>.) , ... , 17M (>.) , 17M (>')) = <1>(>').
where the O"(L) , j = 1, ... N are the elementary symmetric polynomials in the
L(t;j), the t;j being the common zeroes of (Pt, ... ,Pn ). It is interesting to note
here that if PI, ... ,Pn have integer coefficients, and if one chooses L with in-
teger coefficients, then the 0"1L) are rational numbers whose numerators and
denominators can be estimated in terms of the degrees of PI' ... ' Pn , the max-
imum modulus of all coefficients involved in PI' ... ' Pn , and (unfortunately!)
in the generic linear form L. We plan to discuss these questions in Chapter 4.
where "I is any representative ofop[cr] and'lj; any representative of Res p[</J].
The details of the proof of this theorem can be found in ([1], Chapter 3). We
will just mention here how 0 and Res can be defined.
First 0 is defined as follows: we assume from now on that X has been
equipped with a Hermitian metricj let a E Zp(S)j an element "I E Zp+1(X \ S)
is in the homology class oral if and only if "I is homologous in X\S to 8T, where
T is a p + 2 smooth chain in X intersecting transversally S along a cycle in
Zp(S), which is homologous in S to cr. Note that any orientation for a k-simplex
cr in S induces, jointly with the given orientation of X, an orientation for the
k + 2 simplex U"'Eu V"" where V", is the union of geodesic segments issuing from
a, orthogonal to S, whose length p(a) remains sufficiently small (note that the
function a ~ p(a) can be assumed to be C1 on S.) In the construction of 0 (see
50 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
for example [1], p.l02), one extensively uses the existence of a retract from a
neighborhood of S, of the form V = UaEsVa , on S itself; the existence of such
a retract follows from the fact that S is a submanifold of X (see for example
[1], Chapter 1).
The residue operator could be defined using a duality argument based on
De Rham's Theorem (see Theorem 2.1 above). More interesting for us is the
explicit construction of Res p[] when [] admits a representative that is
semi-meromorphic in X \ S, with a pole of order k on S (this means that exits
k E N* such that, locally, sk is a Coo form, s being an holomorphic function
defining the submanifold S.) We need first to prove a lemma on division of
differential forms.
Lemma 3.2. Suppose U is an open set in en, s an element in H(U) such
that grad(s) -:f. 0 in U. Let pEN; for any semi-merom orphic form in
Zp+l(U \ {s = O}), with a pole of order k 2: 1 on {s = O}, there are Coo forms
'IjJ and 0 in U such that
ds 0
= Sk 1\ 'IjJ + sk-1 (3.2)
When k = 1, the restriction of'IjJ to the manifold {s = O} is d-closed. In this
case, the form 'ljJls is denoted res{s=O}()
Proof of Lemma 3.2. One can see first that
implies ds 1\ (sk) = 0; then, just using linear algebra (remember that one can
suppose, up to a change of coordinates, that s is locally (1, and then use a
partition of unity), it is possible to write
for some 01 which is Coo in U. Thus, the form sk - (sOd k) is Coo in U and
satisfies
k SOl S k 1
dSI\(S -T)=k(kdsl\s - -dsI\Ot) =0.
S
k
- T
SOl
= ds 1\ 'IjJ, for some 'IjJ Coo in U.
Summarizing,
ds 01 ds 0
= ks 1\ 'IjJ + -s-
kk1 = ks 1\ 'IjJ +k
s-l '
which gives the desired conclusion. When k = 1, the same reasoning shows
that 'ljJls is a smooth d-closed form on S. In fact, from s = ds 1\ 'IjJ + sO, we
conclude that
ds 1\ d'IjJ = d(s) - ds 1\ dO - sdO = sdO,
1 LERAY ITERATED RESIDUES 51
hence,
dSIS /\ d1j;ls = O.
This clearly implies that d1j;ls = O. o
Remark 3.3. Note that the statement of Lemma 3.2 holds when U is replaced
by an analytic manifold X.
The construction of Res p[], where [] is in HP+1(X\8) is as follows: first
one chooses a semi-meromorphic representative of [], with poles in 8. Then,
one decreases the order of the pole by constructing in the same cohomology class
(in X \ 8 ) some semi-meromorphic representative o with order 1, iterating
Lemma 3.2. At this point, one defines Res p[] as the cohomology class of
resso in HP(8).
Let us consider now the second case studied by Leray. Assume that all
the 8 j , for j = 1, ... , M, are n - 1 dimensional submanifolds of X in general
position. One can consider the inclusions
with rl, ... ,rM EN and dS 1 /\ ... /\ds M /\dw = 0, W being a smooth p-form on
X. One can write
(3.4)
for some WI, . .. ,WM smooth on X. This is again just linear algebra, since
SI,'" ,SM are assumed to be in general position (see [28J.)
(3.4), we obtain dS 1 /\ dWl + ... + dSM /\ dWM
0, j = 1, ... ,M. Therefore,
= Differentiating
and dS 1 /\ ... /\ dS M /\ dWj =
where Wj,I,'" ,Wj,M are smooth. We can repeat this procedure and define
wlth ... ,l q , li E {I, ... , M} and q E N. Now, in X \ (SI U ... u SM) one has
ds /\ W rv (_l)M-k dS[k] /\ dw rv 1 ds /\ Wk
s*(r+l) . Sk = rk +1 s*(r+1 ) = rk + 1 s*(r+1 ) ,
where we denote by the symbol ~ that the forms are cohomologous in the
submanifold X \ (SI U ... U SM). If we iterate this process, we obtain, for (7
and 'Y as in Theorem 3.4, that
J= (~7ri)M
rl rM
, J ds /\ Wl, ... ,1,2, ... ,2, ... ,M, ... ,M .
SI SM
"f "f
Here Wl, ... ,1,2, ... ,2, ... ,M, ... ,M means that 1 is repeated rl times, 2, r2 times, etc.
It follows from (3.3) that
J ds /\ Wk
s*(r+l) = (2 7rZ.)M J Wl, ... ,1,2, ... ,2, ... ,M, ... ,M (3.5)
1 LERAY ITERATED RESIDUES 53
One of the stumbling blocks in theory of Leray is the fact that 8 1 , ... , 8M
must be in general position. This is due to the fact that it is impossible in
general to restrict distributions to submanifolds. This is precisely what the
following hypotheses will allow us to do in the iterated procedure of Leray.
Example 1. Suppose that h, ... ,I p , (p ::; n) are p holomorphic functions in
an open subset U of en, such that any subfamily of h, ... ,Ip of cardinal k
defines a submanifold of U of dimension n - k. Then, we say that h,, Ip
are in general position. If 'Y is an element in Zk( {h = .. . Ip = O}) and if p is a
retract of a tubular neighborhood of {II = ... Ip = O} onto {h = ... Ip = O},
then, p-l("t) is a (k + 2p)-dimensional cell in U. Moreover, let us orient
with the orientation induced by that of p-l("t) and the order h, ... , I p , then
r f,')'(f)
is in the homology class in U \ {h = ... = Ip = O} of 6(1) 0 . . . 0 6(p)b],
for all flo ... , fp sufficiently small. Therefore, for any E Zk+p(U),
J It .. l =
p
(27l'i)P J res(p) 0 .. 0 res(l) (
It .. Ip
) . (3.6)
r "y(e) ')'
where () is smooth in (lP'n+l(C) \ if) \ {u = OJ; this division formula gives the
value of
(3.7)
This provides a way to compute the integral of the rational form <p over a cycle
in lP'n(C) \ V, where V denotes the set of poles of <p.
(Y
of the same problem when F is real analytic in some open subset of]R2n has been
given by Lojasiewicz [27] and Hormander [21]. The fundamental ingredient in
their construction of such inverses (in the space of distributions) is the existence
of what we usually call local Lojasiewicz inequalities, that is inequalities of the
form
IIF(()II ~ cmin(d((,{F = O}))k
for some exponent k, the inequality being understood as valid in a neighborhood
of any zero (0 of F, with k = k((o), c = c((o) > O.
Herrera and Lieberman, inspired by the work of Leray we just quoted,
proved in [18] that one can define
1
PV[-f] = .
hm(
f--->O
J
Ifl>f
and the relation with the Leray residue is immediate. Note that this particular
case (when f defines a submanifold), there is a different way to recover the
same current, namely
It is natural to denote
1
[y] :=Tf
56 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
lim(
E->O
J P.f )
Ifl=E
is far from being trivial when f does not define a submanifold in Uj in fact, no
argument based on the use of Lebesgue's dominated convergence theorem can
in general be appliedj let us take for example n = 2 and f(() = + aj let () a
be a test function such that (8()/8(1)(0,0) oF OJ then, the integrals
cannot be uniformly bounded when (E, TJ) belongs to any compact neighborhood
of the origin. Let us choose (E, TJ) in such a way that E/TJ3 ---+ 0, and TJ ---+ 0.
Then, by the change of variables t = TJU,
We now expand ()(v, TJ) as a Taylor series in v, ii, TJ, ij, near the origin. It is clear
that the terms of order bigger or equal than 2 in the expansion remain bounded
after integration and division by TJ2. The remaining terms contribute to the
right-hand side of (3.9) by linear combinations (with coefficients depending on
TJ, ij) of the integrals
du
and (3.10)
u3 +1
The two integrals in (3.10) can be computed by residues and they are zero
because their rational integrands have no residue at 00. From formula (1.4),
the integral involved in (3.11) tends to
This implies that the integrals (3.9) cannot remain bounded in (E,TJ) in any
compact neighborhood of the origin.
2 MULTIPLICATION OF PRINCIPAL VALUES AND RESIDUE CURRENTS 57
(3.12)
which is supported by the origin, and this point plays no special role for the
ideal (11, h)
Remark 3.8. In the Proposition 3.6,8, 8(t), and P depend on cp, but may be
kept constant as long as supp(cp) ~ K, K cc U.
Proof of Proposition 3.6. The method which consists in using analytic
continuations (as distribution valued mappings) of functions of M complex
variables of the form A f-t Ifl*2>' has been developed recently, due to its rela-
tion with the theory of V-modules ( the reader will find in [8], [9], [22], [29],
[35], [36], much additional material necessary to consider all the remaining
unansewered questions.) The proof of Proposition 3.6 is easy if one uses the
powerful machinery of resolution of singularities, namely Hironaka's result [19]
58 CHAPTER 3 RESIDUE CURRENTS AND ANALYTIC CONTINUATION
(for a new approach, see also [7].) Unfortunately, the price to pay for it is the
lack of effectiveness in the proof; that is the main shortcoming of this approach.
Let us prove our result in a direct way. Let I := II ... 1M; the problem being
a local one, we may restrict ourselves to a neighborhood, as small as we wish,
of the origin, and assume 1(0) = O. It follows from Hironaka's theorem [19]
that there exists a neighborhood of 0 in U, a complex n-dimensional manifold
X, a proper holomorphic map 7r : X -+ U such that 7rIX\7r* f-1(0) is a biholo-
morphic map over U \ 1- 1(0), and such that for every Xo E X, there are local
coordinates W centered at Xo, such that, in a local chart around Xo,
7r *1.(
J W) -- uJ.(W ) WIO<j,l O<j,n -
.. 'Wn - .
UJW *O<j
,J -- 1, ... , M , (3.13)
= lim
f-+O J
supp(t/ nEE
(3.14)
where the qj are positive integers, (jl,"" jp) a p uplet of distinct elements of
{1. ... , n}, () a coefficient of 7r* , e some function from the partition of unity,
(A, w) t--t 'l/J(A, w) a function Coo in w, holomorphic in A on C x supp(e), and
finally L 1 , .. ,Ln some linear forms with integer coefficients such that L j =f:. 0
3 THE DOLBEAULT COMPLEX AND THE GROTHENDIECK RESIDUE 59
(3.15)
We may now repeat an idea developed in Chapter 1 (see, for instance, the proof
of Lemma 1.6) and obtain
l:Sk:Sn j=l
qk~l
(3.16)
where
The conclusion of the proposition follows at once from the fact that Jf(A, c/J) is
a linear combination of expressions of the form (3.16). Note that using polar
coordinates in (3.16), one can easily continue A f---+ Jf(A, c/J) as a meromorphic
function in eM. 0
dim.;:o {h = ... = i p = O} = n - p
at any common zero (0 of the fJ in U (here dim.;: denotes the local dimension
at some point (.) Note that this hypothesis is equivalent (see for example [16],
p. 660) to the fact that for any (0 in {h = ... = i p = O} and for any subset
.J of {I, ... ,p}, the germs {(fJ)';:o,j E J} at (0 define a germ of analytic set
of co dimension exactly n - card(J). The global equivalent of this assertion is
false, as shown by the example ((1 (1- (3), (2(1- (3), (3) in e 3: these functions
define the origin, nevertheless, the first two ones define an hypersurface. In
this section, as long as we are dealing with local results, we will most of the
60 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
time make the assumption that the 1; define a complete intersection. Under
these hypotheses, we have the following.
Proposition 3.9. Let h, ... , Ip be n holomorphic functions defining a com-
plete intersection in a domain U c en.
Let rp be a (n, n - p) test lorm with coef-
ficients in V(U) such that [)rp = 0 in a neighborhood 01 the set {h = ... = f n =
a}. There exists A > 0 and a subset A of measure 0 in (JR.+)P x (JR.+)P such that,
for any (10,10') E JR.+)P x (JR.+)P) \A, with the property that max(IIEII, 1110'11) ~ A,
(3.17)
Remark 3.10. We have to make precise the orientation we consider on the set
{Ihl = 101,"" I/pl = lOp}, which, as we will see later, remains a submanifold for
generic values of E. This can be done just by prescribing the rules of integration
of differential forms on such a set; here we impose the following: if (Xv)v>o is
a sequence of smooth regularizations of the characteristic function of [1, +00[,
then, for any test form 'Ij; of degree 2n - p,
J
1/;1=<;
'Ij;:=(-1) Eie=.!.l
2 lim J
d(X~lv)I\
v-+oo'
.. l\d(XpfpV)I\'Ij;
,
(3.18)
l::5i:5p
where X?v is defined by xj~v = xv(l1; 1210;2). Henceforth we will denote the set
{liIl = El, .. ,l/pl = lOp} as r f (El, ... ,Ep), or more simply by r(E); note that
the ordering of 10 is important.
Proof of the Proposition 3.9. We choose A > 0 so that in supp(rp)n{llfll ~
A} one has [)rp == O. Such a choice of A is possible because supp( rp) is a compact
subset in U. We now use Sard's theorem (see Chapter 2, reference [19]) to con-
struct a set A of measure 0 in (JR.+)2p such that if 0 = (10,10') f/. A, for any set c
{lOb ... ,lOp, EL ... ,E~} and any set .J C {I, ... ,p} with card() = card(.J) = l,
then (oip ... , Ojl) is not acritical value for (1/h 12 , .. ,11;/1 2 ). Choose now 10,10'
with max(IIEII, 1110'11) ~ A and (10,10') fj. A. Using local coordinates near each
point of {Ihl = lOb, I/pl = lOp} (which is smooth), we have
JI l ...
rp - ( 1)~ r,.:.m
!:p - - voo
J [) f2 1\
X2,v' . . 1\ [)Xp,v
fp 1\ rp f
f l ... p
f'(f) Ihl=f1
J -rp-
h ... l p
= (-1)~ lim
V""" 00
J 'i
uX2,v
f2 1\
...
I\il fp 1\
UXp,v I rp f
1 .. P
f'(f~,f2, ... ,fp) Ih I=f~
We can now repeat this argument, using h instead of !I; the proposition follows
by iteration. 0
In order to introduce the concept of Grothendieck residue, we need to recall
a few facts about the Dolbeault complex. If X is a n-dimensional complex
manifold and S a closed subset of X, we introduce the collection of vector spaces
A~,l (X), (respectively, A~,l (X \ S)) of (k, l) differential forms (k ~ n, l ~ n)
with coefficients in'D(X) (respectively in 'D(X \ S)); then we define
which is the vector space of germs of such forms on S. The Dolbeault complex
can be represented as follows
0 0
a
I
A~k,l-l) (X \ S) a
I
A~k,l) (X \ S) a
---+ ---+ ---+
a
Ii a
Ii a
---+ A~k,l-l) (X) ---+ A~k,I)(X) ---+
Ip Ip
a
---+ A~k,l-l) [Sj a
---+ A~k,I)[Sj a
---+
I 1
0 0
- 1 - 1 .
< a-f1 1\ ... 1\ a-fp ,h >= E-+O
hm - ( 2
.)
1
f f'
7rZ P l . .. p
! h
r,CE)
L
p - -
(_1)k-1 Ikdf[k]
!
~
(-1) 2 (P-1)! k=l I\
(27ri)p
If; 1:5<;
IIfl1 2p
l:5;:5p
(3.19)
and
p - -
(-1) (p-l~(p+2) (p _ I)! L (-1 )k-1 Ikdf[k]
(27ri)p !
If; 1:5<;
l:5;:5v
k=l II fll 2p 1\ a.
(3.20)
3 THE DOLBEAULT COMPLEX AND THE GROTHENDIECK RESIDUE 63
For any function continuous function g on (lR+)p, and for any real numbers
0< "l1 < ~1, ... , 0 < "lp < ~P' we have
JJ
e
6 p p(p-1)
(-1) 2
... g(s)If(cp,s)dm(s) = (21l'i)p
1)1 1)p
(3.21)
Proof of the Lemma 3.13. From the Coarea Formula (see [14], Theorem
3.2.11, p. 248), it follows that the function defined almost everywhere as the
2n - p dimensional Lebesgue measure m2n-p of supp( cp) n r f (E) is locally inte-
grable (as a function of E in ([O,oo[)P. In fact, one has the estimate
X[1]p, epJ is a small neigborhood of a noncritical value So of (Ih 12, ... , IfpI2).
In that case, we already know that the sequence s f-t Ij")(,s), v E N defined
as
}!..~ ( J... Je
6 p
= 1\ =
'11 '1p
= J (()af 8v 1\ , (3.23)
and remains bounded. Once again we apply Lebesgue's theorem and the for-
mula (3.21) is proved. This ends the proof of Lemma 3.13. 0
Proof of Proposition 3.12. As is [) closed near {Ihl ~ 1'1,, Ifpi ~ Ep},
the function S f-t Ij(,s) is almost everywhere constant on JO,Ei[x ... XJO,E~[
(this follows from Proposition 3.9.) We use formula (3.21) with
From a Tauberian argument we have already used in the case of one variable
3 THE DOLBEAULT COMPLEX AND THE GROTHENDIECK RESIDUE 65
. ,J Jf;
hm p.
r ..... O
~
... (
Sl
T If (cp, s)
+ ... + Sp + T ) P I p
- 1
+1 dm(s) =< a-f /\ ... /\ a-I: ,[cp] >
- 1
o 0
= (-1)
riE..=.!2.
2
p!
(27l"i)p
. (J
Y!!b I{~~~.~ (11f1l 2
+ T)P+1 /\ cp
)
p(p-l) (p _ I)! . P
_ k'f1 - -]
(-1) k-1 fkdf[k]
~ (-1) , (2';)'~!'J, I:l~; a [
(lilli' + T)' A .
This integral can be rewritten using Stokes's formula when the boundary of
{Ihl ::; 101, , Ifpl ::; lOp} is piecewise smooth. In this way one obtains formula
(3.19) and reaches the conclusion of the proof. 0
As a consequence of the same principles, one can obtain the Grothendieck
residue using the multidimensional Mellin Transform of the map s I-t If(cp, s).
Proposition 3.14. Let h, ... , fp be p holomorphic functions defining a com-
plete intersection in a domain U c en. For any (n, n - p) test form cp which
is a-closed in a neighborhood of {h = ... = fp = O} and for any t E (R+)P we
have
Remark 3.15. Let us describe the relation between the function A I-t Jf(A, cp)
introduced in (3.12) and the multidimensional Mellin Transform ofthe function
s I-t If(CP, s). Introduce complex parameters AI, ... , Ap with Re Al > 1, ... ,
Re Ap > 1, and deduce from Lemma 3.13 that, for any f,,'T/ E (R+)P, such that
o < 'T/1 < 6, ... ,0 < 'T/p < f,p,
1
J
p(p-l)
s*().-l) I dm(s) = (-) 2
f (27l"i)p
'1j ~IJj 12~{j
l~j~p
On the other hand, in terms of the notations preceding the inequality (3.22),
we have that for almost all s,
66 CHAPTER 3 - RESIDUE CURRENTS AND ANALYTIC CONTINUATION
s 1-7 I j (, s). The fact that I j (as a function of s) is constant almost everywhere
in ]O,aI[x .. .]O,ap [ for some aj > does not imply as, in the one dimensional
case, that the function A 1-7 Jj(A, ) can be continued as an holomorphic
function up to the origin. Nevertheless, what we are going to prove here is that
all the values Rt [h, ... ,fp] coincide with this constant.
Proof of the Proposition 3.14. For t E (JR+)P and Re j), we can use
formula (3.22) to obtain
p(p-l) -
j), J s*p.t Ij(,s) dm(s) = (-1) j),Jlfl*2P.t~ I\ (3.24)
IIfl1 2p
2
(Sl + ... + sp)p (27ri)p
(JR+)p
Since s 1-7 Ij(, s) is almost everywhere constant near the origin, let us say in
[0, A]P, the left-hand side of (3.24) defines a function of j), which is equal, up
to an entire function vanishing at the origin, to
(see formula 2, p. 622 in [15].) Therefore, the function of the complex variable
j), defined for Re j), by
(3.26)
Note that the poles of this meromorphic continuation are completely explicit
from (3.25). We are now going to transform the expression ..J(t, j),; ) using
Stokes's formula. For 2 ::; j ::; p, we have, always assuming that Re j), 0,
. - ( 1 *2 t 0f(jl )
(-l)J o Ii If I p. IlfI12(p-l) =
2
2(p. t.-1)1
- j),tj IIi 1 J
1
h'" 2ut 1 Ii 1P.t j
~I ... Ifp 12ut of2p + (p - 1)1 f 1*2p.t IIfl1
,.. IIfl1
p
of2p
(3.27)
3 THE DOLBEAULT COMPLEX AND THE GROTHENDIECK RESIDUE 67
(3.28)
If a vanishes on a neighborhood of the set of common zeros V (or a vanishes
to a sufficiently high order on V), the form IlfI1 2(p-1)8f[jjl\ a is a sufficiently
smooth form with compact support. The second integral in the right-hand side
of (3.28) defines, by Proposition 3.6, a meromorphic function of j.L, regular at
the origin. We repeat this procedure and conclude that, for any k E {I, ... ,p},
with Rl also meromorphic and regular at the origin. From (3.25) and the
definition of Rdh, ... ,fp], we obtain the formula we were looking for. D
Let us use the same ideas to obtain a result that shall be useful to study
division formulas.
Proposition 3.16. Let h, ... , fp be p holomorphic functions defining a com-
plete intersection in a domain U c en. For any (n, n - p) test form , a-closed
in a neighborhood of {h = ... = fp = a}, any t E (JR+)P, and any 13 E Nn , the
function of one complex variable j.L, defined for Re j.L by
- (3-
j.Lf-<lf(t,j.L;) =j.L jlfl*2'"'tllf~:(P~(31) I\,
(},8(s):=
-
r(s;,8)
J f1
,81+1 ,8p+ 1 '
... fp
J
".,.
,8 J.L
TIp'=1 S(3;~1
J! (t, p,; ) = (,81 + 1) ... (,8p + 1) (},8(s) ( 3 ~)P+I,81 dm(s)
(a+)p ,",P S .3
L..J3=1 3
(3.30)
Since (},8(s) is almost everywhere constant near the origin, there is a constant
A > 0 such that the right-hand side of (3.30) equals, up to un entire function
of J.L vanishing at the origin,
(see again [37, Formula 2, p. 622].) Letting J.L = 0, the identity (3.29) follows
immediately. 0
It is convenient to write
(3.32)
4 RESIDUE CURRENTS 69
and
(p + 1,81- I)!
p(p-l)
(p - 1)!( -1) 2
(27fi)p ,8!
(3.33)
Such formulas have already been obtained in Chapter 2, with dl instead of dC.
The first one is a consequence of the fact that
4 Residue currents
At this point, the first question that could be asked is whether the residue of
Grothendieck is a (O,p) current supported by {11 = ... = Ip = O}, in other
words, can its action be extended to all (n, n - p) test forms, not only a-closed
ones. We already know some candidates, the currents R t [11, ... ,Ip] introduced
in Proposition 3.6. In this direction, we can prove here the following result.
Theorem 3.18. Let 11, ... ,Ip be p holomorphic functions defining a complete
intersection in an open set U c en. The currents Rtll1, .. . , I p] are indepen-
dent of t E (JR+)P and define a current annihilated by the ideal generated by
11, ... ,Ip in A~n,n-p) (U),. this current is called the residue current attached to
(11, ... ,Jp),. its action is usually denoted as
- 1 - 1
I---t< 0- A ... A 0- >
11 Ip'
Proof. The proof of this result lies on an argument of division of differential
forms. The problem here is that this argument has to be carried out on the
desingularization of the hypersurface {11 ... Ip = O} above a neighborhood of
70 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
the origin (since the statement is of local nature, it will be enough for us to
keep.U as being some small neighborhood of the origin.). The parallel of this
method with Leray's method we quoted before (and which works when the
hypersurfaces {fJ = O} are in general position) will be easy to make here. It
would be very interesting to obtain a proof of Theorem 3.18 independent of
the resolution of singularities. We assume here that we have a desingulariza-
tion map 7r for h ... jp above the neighborhood in which we intend to prove
our result; the notations we take here are exactly those used in the proof of
Proposition 3.6.
We first prove that R1[h, ... , jp] is annihilated by the ideal generated by
h, ... ,jp in V(U). More precisely, we prove that for any E A~n,n-p)(U),
R1[h, ... , jp](fJ) = O,j = 1. .. ,po We will show that for j = 1. For that
purpose, given a test form , let us consider the function F of two complex
variables AI, A2 defined for Re Al 0, Re A2 0 by
F(Al, A2) = AIA~-1 JIh 12 (>"1 -1) 112 ... jpI2(>"2- 1)a j /\
= (-1)P A~-1 JIh 12 >"1 112 ... jpI2(>"2-1)a12 /\ ... /\ ajp /\ 8(h )
h
= (-1)P A~-1 JIh 12 >"1112 ... jp12>"2 1 8h /\ ... /\ 7fJ;, /\ 8.
12 .. jp 12 ... jp
(3.34)
where ~T are some (n,O) forms, W T some (n - p + 1,0) forms with constant
coefficients. We now place ourselves in a local chart for the desingularization
manifold X (exactly as in the proof of proposition 3.6). Assuming that in
this chart 7r* fJ = UjW~j,' .. w~j,n = Ujw*Qj, we express F(Al' A2) as linear
combination of terms of two types. The first, and most important, are of the
form
where A = {j2, ... ,jp} is subset of {1, ... , n} such that wh appears in 71"* 12, ... ,
Wjp in 71"* jp. The function (w, A) I--t O(w, A) is Coo in both variables, in Vas a
function of w, and entire as a function of A; {3 is an element in N n such that {3j
is different from zero as soon as Wj is present in the expression of at least one
of the functions 71"* 12, ... ,71"* jp.
4 RESIDUE CURRENTS 71
The terms of the second type consist of those terms where the integrand
contains at most p - 2 distinct wi in the denominator. The corresponding wi
appear in the monomial decomposition of the product h ... fp. A typical such
term is
(3.36)
where the functions Wr,A' are holomorphic in the local chart and
dWA' = AdWkl
1=1
if m = #A' and A' = kt, ... ,jm (in an increasing order.) We just use here the
holomorphy of 7r and the fact that Wr has constant coefficients. The only non
zero term which contributes to (3.35) is
Here the notation AC means {I, ... ,n} \ A. Let P A = {w : Wj = O,j E A}.
We distinguish two cases:
(i) We assume in this case that 7r(PA) ~ {II = h = ... = fp = O}. Since
Wr is an (n - p + 1,0) form with constant coefficients, it is automatically zero
on the n - p dimensional analytic set {II = h = ... = fp = O} for reasons of
dimensionality. Therefore, the restriction 7r*w r lp,A = 0, in other words, Wr,Ac
vanishes on {wh = ... = Wi., = O}. So that,
where Y2, ... , YP are holomorphic functions of W the chart. Thus, using inte-
gration by parts, as in the proof of Proposition 3.6, we represent (3.37) as a
combination of terms of the form
(3.38)
72 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
with h holomorphic near the origin in e 2 , the product in (3.38) has at most
p - 2 factors, and every factor satisfies as -I- (in fact, a. E {,Bh,'" ,,Bjp}.)
(ii) In this case, 7r(PA) rt. {h = h = '" = i p = a}. Since all functions
7r*(h),2 :s; j :s; n, vanish on PA, h cannot vanish on 7r(PA). This implies
that w12 ' ... ,Wjp do not appear in the monomial decomposition of 7r* h. Using
again integration by parts, to decrease the singularities, one can now represent
(3.37) as a combination of terms of the form
(3.39)
(3.41)
Note that these two values can be obtained from the restrictions to two different
half-lines in the first orthant of a meromorphic function G of two variables. G
4 RESIDUE CURRENTS 73
is defined, for Re Al 0, Re A2 0, by
(
-1
) p(p-1)
(21ri)p
2
+p
AP -
2
1 J~If
1
II
12 >'1
... 1 1 2 P
2 (>'2- 1 )812 1\ ... 1\ 81P 1\ 8'"'/'.
Exactly the same reasoning that led to the form (3.40) for F, shows that the
function G can be written as
G(A) = G (A)
1
+ AP2 - 1 '"
~
hs(A)
(A)'
s gs
here gs, hs have the same properties as in (3.40). In fact, the only difference
between F and G lies in the term 1/II in the integrand, but all what we did
above was to eliminate antiholomorphic singular factors. It is clear hence that
the values at /l = 0 of G(tl/l, t2/l) and G(t~/l, t2/l) coincide. This implies the
equality (3.41) and concludes the proof of Theorem 3.18. D
Remark 3.19. The proof of this theorem was taken from [3, Theorem 1.3J. It
is a transposition to the context of analytic continuation of distributions of an
argument originally developed by Coleff and Herrera [11], and more recently
by Passare [32J. Coleff and Herrera proposed to define the residue current as
where {j f--+ (El({j), ... ,Ep ({j)) avoids critical values and tends to zero when {j
tends to zero in a somehow restricted way (admissible paths). Namely, for any
m > 0 and any 1 ::; j ::; p - 1,
This condition says that for every point (0 in U, the germ f(,o belongs to the
ideal f(,o generated by f in the local ring nO(,o' IfU is pseudoconvex, then
floc = f (see [21].) One can also replace nO(,o by the ring C~ of germs of
smooth functions at (0 and obtain an ideal Iloe ~ Coo(U). A flatness argument
shows that Iloe n H(U) = floc (see [37].)
For a finite family h, ... , fm in H(U), we denote by f(JI, ... , fm) the
ideal they generate in H(U).
Theorem 3.21. Let h, ... , f p , be p holomorphic functions defining a complete
intersection in an open set U c en, and let f = f(h, ... , fp). For hE H(U)
the following two properties are equivalent:
(i) hEfloe .
- 1 - 1
(ii) V E A~,n-p(U), < 8 h /\ ... /\ 8 fp' h >= O.
Remark 3.22. Later on, we give a cohomological version of this theorem,
namely, we show that (i) and (ii) are also equivalent to
- -1
(iii) V E A~,n-p(u) if 8 = 0 near {h = ... = fp = O} then < 8-], h >= 0
Let us point out that the equivalence between (i) and (iii) is stronger than
Theorem 3.21, but the interest of the following proof lies in the division formulas
we develop. Everything in the proof below is done semilocally, hence it can be
extended to any strictly pseudoconvex with a C1 boundary.
Proof of Theorem 3.21. We have already proved that condition (i) implies
(ii) in Theorem 3.18. To prove the converse, since it is a local property, we
may assume that U is a ball B(O, r), such that h, ... , fp are holomorphic in
a bigger ball U' = B(O, r'), r' > r, and they define in U' a system in normal
position, that is, for any jl < '" < jk in {I, ... ,p} and any (0 E {( E U' :
h = ... = iJk = O}, we have dim('o{h = ... = iJk = O} = n - k (see [16, p.
660].)
5 THE LOCAL DUALITY THEOREM 75
p j=l
1 8p 8p 8p(()
Q2(Z, () := Q2((; E) := p(() _ E (8(1' ... , 8()(() = p(() - E
where p( () = 11(11 2 - r2. Recall that we frequently leave the variable ( implicit.
Let G1 (t) = P(t), with P a polynomial of degree p, satisfying P(l) = 1, to be
chosen later, and G 2 (t) = t- N , where N is a positive integer, which will also
be made explicit below. Let
-1 J
2
J
2( 1-'- 1)-
JJ
fI(z). (3.43)
j=l j=l
p- E+ < 8p, z - ( >
~2 Z, ()
,
:= 1+ < Q2((; E), z - ( >= P-E
. (3.44)
with
n
S(z, () = L(k - zk)d(k,
k=l
n
Q1,IL(Z, () = L Q1,k(Z, (; It)d(k ,
k=l
1 ~ {}p (}p
Q2,e(Z, () = p() _ E ~ {}(k ()d(k = p() - E '
and the functions r~~;), r~~e2) are defined starting with the two pairs (Q1,1L' G 1),
(Q2,e, G 2) as it was done in Theorem 2.7.
Due to our choice of G 2 , we see that when N ~ n, p( () -E appears only with
nonnegative exponents in the kernel Pe,1L and strictly positive exponents in Ke,w
Thus, it makes sense to let E = 0 in formula (3.45) , provided that Re It o.
As the kernel Ko,1L vanishes on (}U, we are left with the representation formula
Bk = Bk(z, () =
n-k (N +n- k -I)! ( P )N+n-k - n-k
= (-1) k'(
.n . -1)'. < {}p,
_ k)'(N - z- ( > +p ({}{}log p) .
then
- p _ _ P(P;l) p! p 2(1-'-1)-
8Q1,1-' - (1) pp/-L 1ft fpl 8f /\ 91/\", /\ 9p
From Theorem 3.18 we conclude that the expression (3.48) vanishes, since the
residue current is annihilated by hE floc.
We have still to study in detail those other terms, which, a priori, do not
give a contribution that belongs to the ideal floc. These are terms of the form
/-L k [ hP(k)
Ju
(~
P j=1
t(1 - IfjI21-')) Ilit 12 (1-'-1) .. Ilik 12 (1-'-1)8fh /\ ... /\ 8lik /\ w,
(3.49)
s.
where 1 S. k S. p - 1, J := {it < ... < jd, 1 il S. p, and w is a compactly
supported (n,n - k) form of class CL . In order to study (3.49) we use the
binomial formula to obtain a linear combination of terms of the type
(3.50)
where J' c {1, ... ,p}, #J' S. p- k. Note that each term of the wedge product
in (3.50) contributes one power of /-L, this shows that the factor /-L k in (3.49)
has been absorbed into this wedge product. We claim that, if J' ~ J, then the
contribution of (3.50) is zero. In fact, let jij E J' \ J, and consider, as in the
proof of Theorem 3.18, the function of>. E (:2
78 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
Because h, ... , fp are in normal position in the ball U', the functions fz, l E
J U J' ( there may be repetitions but we do not take them into account) define
also a complete intersection in U'. The argument we used in Theorem 3.18
to prove that the residue was annihilated by the ideal, shows that F can be
written in the form (3.40), with k instead of p, and so that F(O,O) = 0 (as
F(O, A2) == 0 for Re A2 0.)
Thus, we can replace (3.49) by
To fix the ideas let us take J = {l, ... , k}. For any positive integer m, we have
11k 1
U
h(1-lhI2J-t)mlh fkI 2(J-t-I) A a/j I\w =
jEJ
From the independence of Rdh, ... , h](hw) from t, we see that the contribu-
tion of (3.52) is
(-1)
k(k-l)
2
(21l"Z)
k
Lm (m)l (-1) l+lR!.[h, ... ,h](hw).
1 1
1=0
k(k-l)
More generally, the contribution of (3.51) is, up to the factor (-1) 2 (21l"i)k,
- 1 - 1
< a-f. 1\ ... 1\ a-f. ' hw >
Jl Jk
P(t) =, 1
p.
p-I
II(pt-J),
j=O
.
5 THE LOCAL DUALITY THEOREM 79
This clever choice of P implies that the only terms in (3.46) that contribute to
the value h(z) are those that belong to the ideal I. This concludes the proof
that hE I. 0
Remark 3.23. Observe that the last proof, when applied to an arbitrary
function h E H(U'), where U' is a neighborhood of U, U bounded strictly
pseudo convex domain, provides a division formula with remainder (cf., Chapter
1, 4.) Namely, for any z E U,
(3.54)
Moreover, one can see that the quotient h jo ' is given by contributions at JL =
of linear combinations of expressions of one of the following form; either of the
form
where #J = k, a, (3 E NP, (3jo > 0, lal + 1(31 :::; p - k; either of the form
where again a ,(3 E NP, (3jo > 0, lal + 1(31 :::; p - k; remark that these expressions
can be written in the form
jEJ #jo
or
< hT, Bo > (II fj (z))fj:o-\z) ,
j
#jo
The fact that il, ... , i p define a complete intersection in U played a crucial
role in the proof of the last result. Nevertheless, similar ideas can be used to
prove the Briaw;on-Skoda theorem [10]. Before proceeding, we need to recall a
few definitions from commutative algebra.
Definition 3.24. Let [ be an ideal in a commutative ring R. An element
hER ia algebraically dependent on [ ii it satisfies a monic relation
Consider the graded subring I = E [ITI of R[T]. The fact that h is alge-
12:0
braically dependent on [ is equivalent to the fact that hT satisfies a monic
equation P(hT) = 0, with the coefficients of P in I. This implies that the set
of algebraic elements over an ideal [ is also an ideal in R, denoted I [31].
Integral dependence can be checked, when R is an integral domain, using
the valuative criterion of integral dependence ([41], vol II, p. 353-354). Let us
recall this criterion. A discrete valuation on R is a map v : R f-t N U { oo} such
that, if R* denotes the family of invertible elements of R, then
on the Jacobian ideal 1(8f /fh 1 , ... , 8f j8zn ). In 1974, Brianc;on and Skoda
proved the following theorem about algebraic dependence.
Theorem 3.25. Let 1 = 1(11, ... , fp) be an ideal in nOO. Then, for s =
min(p, n), we have Is ~ 1.
Proof. The original proof of this theorem [10] was based on L2-estimations.
We give here a different proof, in some sense more effective, that is, it provides
a division formula, as in Chapter 1, 4, and also it leads to estimates for
the constant C in (3.55) in terms of the behaviour of some principal value
distributions.
The idea is to write a division formula (with remainder) for any element
h E H(U), U = B(O, r), a ball about the origin, such that h, II, ... , fp are
holomorphic in a neighborhood U' of (J. We keep the same notation as in the
previous proof, and introduce the Hefer vectors gj = (gj,l, ... ,gj,n) so that for
all z, (E U'
n
/j(Z) - /j(() = I: gj,k(Z,()(Zk - (k).
k=l
Let J-l E {Re J-l O}, f E R+, and two C1 maps from (J x (J into en,
p
1 -
Q2(Z, () = Q2(Z, (; f) := p(() _ f 8p(() where p(() = 11(11 2 - r2.
where is a test form. The existence of the analytic continuation of this map, as
a distribution-valued meromorphic function, as well as the remark on the order
L of these distributions stated during the proof of the previous theorem, still
holds here. We need presently to be a little more precise, in order to keep track
of the complex analytic nature of the problem. Apply Hironaka's resolution of
singularities for the complex hypersurface {II fp = O}, so that, in a local
chart, 7r* (/j) = Ujw*Qj. From what we have already seen, the problem is to
study in this local chart of the desingularization X, the analytic continuation
of the integral
(3.56)
82 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
Here 'l/J is a test function in D(e n ), U1, ... , up are nonvanishing holomorphic
functions in a neighborhood of supp('l/J), and al, ... ,ap are elements in Nn .
Let us introduce the by now classical ideas of Varchenko [40] and Kho-
vanskii [23], and introduce the Newton polyhedron r+(a1, ... ,ap ) in (]R+)n,
defined as the convex hull of the set
U{aj + (]R+)n}.
j
det(Ph,, Pjn) = 1.
- . UJ --* Irn
'TrJ. "-' ,'TrJ
- (t 1, . . . , t n ) -- (t Ph
I .
1
... t Pjn
n ,l , ... , t Ph
I . ... t n . ) .
n pjn n
Two points (one in UJ , the other in Up) are equivalent if and only if the
monoidal map from UJ to UJI given by ir-;,1 0 ir J is defined at the first point
and takes this point to the second one. Glueing the copies UJ together induces a
map ir in X(r+). The map ir is a proper map from X(r+) into en. Moreover,
it is invertible from X(r+) \ ir-l({WI' "Wn = O} to en \ {WI" 'Wn = O}.
Furthermore, and this is for us the main point, if we express w*Qj, 1 ::; j ::; p,
in a local chart U in X(r+), then the monomials ir*(w*Qj) are monomials in
the new coordinates t, and all these monomials are multiples of a distinguished
one alllong them; we will denote this distinguished monomial by m.
We are now ready to conclude the proof of Theorem 3.25. As in the proof of
Theorem 3.21, we choose the exponent N in the definition of G 2 sufficiently
large, namely N > ' + n + 1, where ' is a non-negative integer such the
analytic continuation of J.L t--t 11/1121' from Re J.L > 0 to Re J.L > -(J' - 1 exists in
Di:,I(U); then, for h E H(U') and Z E U,
1 ( -
h(z) = (2'Tri)n lu h()PJ.!(z, (), (3.57)
5 THE LOCAL DUALITY THEOREM 83
with
P
Ql,I-'(Z, () = L iiI,k(Z, (; /-L)d(k
j=l
and the differential forms Bk are the same as in the proof of the previous
theorem. An easy computation leads to
P
aQL = IlfI1 2 (1-'-1)kOk + k(/-L - I)lIfIl 2 ((1-'-1)k-1)allfIl 2 1\ L !Jgj 1\ Ok-I,
j=l
where the (1,0) differential forms gj are associated to Hefer systems of divisors
as before, and the (1,1) differential form 0 is given by
P
O(z, () = L 8/j 1\ gj(z, ().
j=l
We also have,
Hence,
P
/\ a'I/Jj = IIfIl 2p(I-'-1)8f + (/-L -1)llfIl 2(p-1)(1-'-1)11f11 2(1-'-2)llfI1 28f
j=l
84 CHAPTER 3- RESIDUE CURRENTS AND ANALYTIC CONTINUATION
Thus,
A gj.
P
8Qf,1-' = (-1)P(P2-1)p!/LllfI1 2P (I-'-1)8f /\
j=l
We now consider the analytic continuation of both sides in (3.57) and we iden-
tify h(z) with the Laurent coefficient of /La in the expansion of fu h()PI-'(z, ().
It is immediate to notice that the only terms giving some contribution which
does not lie, as functions of z, in the ideal generated by h, ... , fp are of the
form
for some k such that 1 ~ k ~ s. One has to explain this in detail; first note
that any expression of one of the following forms
J
U
h(l- IlfI1 21-'),,-kllfI1 2((1-'-1)k-1)81IfI1 2/\ ct
J=l
Ijgj) /\ Ok-1 /\ B k,
J
u
h(l - IIfI121-')" /\ Bo,
does not contribute to the Laurent coefficient of /La at the origin; the only
remaining expression to consider occurs in the case when P ~ n and comes
from the term
s! i hBs 8Qtl-"
which is of the form (3.58) because of the explicit form of 8Qi,!-'" Let us now
study a term of the form (3.58). As in the proof of Proposition 3.6, we first
transform it using Hironaka's theorem. We know that the desingularization
map is proper, so that the set 71"-1 (supp(XUBk is compact; one can consider
a covering of it with local charts of X (and a partition of unity associated
with this covering.) We now reduce (via pull-back) our problem to one of
these charts, which we suppose parametrized by a system of coordinates w,
centered at w = 0, so that 71"* h, ... ,71"* fp are of the form Ujw*O<j; let us denote
as w ~ ~(w) the fonction from the partition of unity with support in the
corresponding chart. We now consider the algebraic manifold X(r~) relative
5 THE LOCAL DUALITY THEOREM 85
to a1, ... ,ap and its associate proper map 7T a . Consider the pull-back of the
differential form
p
phllfI1 2 J.<-1)k-1) 811fl1 2 /\ L hgj /\ ek - 1 /\ Xu Bk
j=l
on this chart and multiply it by ~. If one takes the pull back of this new form
to an open set UJ relative to X(r~), we obtain a differential form of the type
(3.59)
where m is the distinguished monomial, TJ1 and TJ2 are differential forms with
bounded coefficients (note that no regularity condition is required here for TJ1
and TJ2) and 'PJ is a function with compact support relative to the partition of
unity subordinated to the covering of 7Ta1(supp(~)) by the different copies UJ
of en which appear in the construction of X(r~). Let us now assume that we
have a function k which is in H(U') and in the integral closure of 1(11, ... ,fp);
then, there is a positive constant C such that, for any ( in U, one has
for some positive constant Cii,J. Fom this estimate, one can see immediately
that, when we take h = kS in our representation formula, any term of the form
(3.58), which can be expressed as a combination of expressions such as
(3.60)
with k' E Nand iiik) , ii~k) some compactly supported bounded differential
forms, does not contribute to the Laurent coefficient of pO at the origin in
the right hand side of (3.57). This shows that our formula (3.57) provides an
explicit representation of h S in the ideal generated by 11, ... , fp in U. This
concludes the proof of Theorem 3.25. D
Remark 3.26. As before, what we did above provides an explicit division
formula with a remainder term in a strictly pseudoconvex domain U. When h
belongs to the integral closure of the ideal, our division formula can be written
as
p
A careful look at the division formulas show that the quotients are somehow
a bit simpler when one divides h<I instead of h 8 ; the quotient hjo appears as
a linear combination of Laurent coefficients of J.l0 (in the development around
the origin) of expressions which are of the two following forms; either
(3.62)
and f3 E NP such as f3jo > 0 and 1f31 + k :'::: cr, or of the form
(3.62')
(3.63)
If one uses such a weight, the division formula one obtains instead of (3.61)
involves, in the representation of the quotients, the action of the distributions
appearing in the polar part of the development at J.l = 0 of
It is not clear in the analytic proof we have just given that the Grothendieck
residue is closely related to the Brianc;on-Skoda theorem; this was remarked by
Lipman and Teissier in [26] and provided the key idea for an algebraic proof
of this theorem (and therefore a generalization to a more abstract algebraic
situation of this result.) What Lipman and Teissier proved is that the Brianc;on-
Skoda's theorem is valid in any regular n dimensional local ring n (regular
means that if Xl, ... ,xn is a basis for MI M2, where M is the maximal ideal,
then the correspondence K[tl, ... , t n ] ---+ grad(n), ti f-t Xi, with K = nlM,
is injective). As we will see in the next chapter, this result will be very useful for
us in order to get effective bounds for some division questions in commutative
algebra.
To complete this chapter, we would like to mention that the currents,
which appear in the division formulas we wrote in Theorem 3.21 and Theorem
3.25, have the curious property of being annihilated by multiplication by the
conjugates Ii of the generators. For the case of Theorem 3.21, this property
is a consequence of the following result.
Proposition 3.27. Let II, ... ,fp in H(U) define a complete intersection, then
for any j E {I, ... ,p} and any (n, n - p) test form >,
-1 -
< 8 7, fj> >= o.
Proof. Let Re 1- 0, and remark that
I-P r III ... f p I2(1-'- ll 8f/\!j> = I-(!. IfJl.21-' /\ 8[lfkI21-'] /\8fJ/\. (3.64)
lu u fJ kh fk
It follows from Proposition 3.6 that the value at 1- = 0 of the analytic contin-
uation of (3.64) is zero. 0
In the division formula (3.57) used in the proof of the Brianc;on-Skoda
theorem, all the currents that appear in the remainder term have the form,
after pull-back to a toroidal manifold,
where m is a monomial, kEN, (h, (h are smooth forms, and the value at 1- = 0
is taken after analytic continuation. If in (3.65) we take > = m'IjJ, its value is
zero as a consequence of Proposition 3.6.
An important consequence of the fact that these currents are annihilated
by the conjugates of the generators is that they are supported by the analytic
variety
{II = ... = fp = O},
instead ofthe hypersurface {II .. fp = O}. In particular, in the case of complete
intersection, the residue current is annihilated both by the generators and their
conjugates.
88 CHAPTER 3 - - RESIDUE CURRENTS AND ANALYTIC CONTINUATION
grad(h) )
rank ( ... = k on "til n ... n "tjk ,
grad(fjk)
for any k :::; n and any jl < ... < jk. For example, if ft, ... , fn define a
complete intersection in U, we have seen in Chapter 3, 3, that, for almost
all choices of El, .. ,En> 0, and for Uj = D(O,Ej), any relatively compact
connected component ~E of D (= D( E)) in U is a Weil polyhedron.
The boundary of a Weil polyhedron ~ consists of a finite number of (2n -
1)-dimensional hypersurfaces OJ ~ "tj. The orientation of ~, as an open subset
of en, induces an orientation on the faces aj. The orientation of each aj induces
an orientation for its (2n - 2)-dimensional faces aj,1 ~ "tj,1 := "tj n "tl, j #- l, in
such a way that the identity between cycles 8aj = E aj,1 holds. Continuing this
procedure may lead to some empty faces, but in the remaining cases one can
iterate this process n times and therefore define n-dimensional oriented surfaces
92 CHAPTER 4- THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
Ojl, ... ,jn' The cycle 2:0jl, ... ,jn (with its orientation) is called the skeleton of
the Weil polyhedron. We denote below by J, an arbitrary ordered multiindex
j1 < ... < jn, and by IJJ, the corresponding n-dimensional face. We remark
that a Weil polyhedron .6. is always a pseudo convex domain and, moreover, the
Hefer functions mentioned in Chapter 3, 5, are defined in a neighborhood of
~x~.
The Cauchy-Weil representation formula is given in following theorem.
Theorem 4.2. Let.6. be a Weil polyhedron with respect to U, U1 , ... , Up, and
h,. ,Ip' Let?h (respectively, gj) be the corresponding vectors of Hefer func-
tions (resp., differential forms.) For any z E .6., for any f E H(.6.) n C(~),
The proof is very standard and it can be found, e.g., in [1], [17]. In the
particular case when p = nand .6. = .6. E is a Weil polyhedron associated to
a system of functions h, ... ,in, defining a complete intersection in U, the
Cauchy-Weil formula allows us to expand any function h E H(.6.) n C(~), as a
power series in h, ... , fn. We have, for z E .6.,
h(z) = (-1)~
(27ri)n
,,(
~n
J h(()I\?=lgj(Z'())f(Z)*k.
f( ()*(k+l)
(4.2)
kEN rf(E)
j6.
_ 1 n
< af(()*(k+l) ' h(()8(() gj(z, () >,
and G(t) = tN, for an integer N ~ n. In order to define the second pair of
weights, we introduce some function X in V(U) which is identically equal to
one in some neighborhood of z. The n-valued map q = q(x) is defined as
(x) (r ) _ ( _ (r)) , - z
q ."z - 1 X., 11(-zI12
and the associated map Go is t 1--+ Go(t) = tn+1. For any z E U we have
where
n __
E h(()h(z)
p~l)(z,(;N) = (~)x(()n+1 [l-lf(()I*iJ.~ + If(()I*iJ.~j=11If(()112 t-naQ~
(4.6)
and
p~2) (z, (; N) =
94 CHAPTER 4 ~ THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
The kernels we are using are similar to those in the proofs of Theorem 2.7
(the weight q(xl) and of Theorem 3.25 (the weight qw) The differential forms
QX and Q Jl are associated to these weights as in the preliminaries of Chapter
3, 3.
Let us first study the analytic continuation of p~1) to f-L = O. The same
computation as that of Theorem 3.25 for the n-th power of 8(:h,Jl gives
I\n
'""
~ < 0_ j*(k+1.l'
1
h() gj > f(z) *k . (4.11)
IkISN-n j=1
Let us now study the second integral in (4.5). First, rewrite the form QJl
as Ifl*Jl'lA, for some differential form A, singular only on the variety V. Hence,
for any 0 :::; al :::; n - 1,
We substitute this expression into (4.7) and we compute the analytic continu-
ation to J.t = 0. Remark that in (2.13) we have already computed the powers
of 8Q(x). If we substitute them into (4.7), we see that every term of the kernel
p~2) contains as a factor either (1 - X).B X', with /3, 'Y > 0, or (1 - x).B8x, with
/3 > 0. Therefore, A has no singularities on the domain of integration. Thus,
the contribution of the term with J.t as a factor vanishes at J.t = 0, since the
singularity arises only from antiholomorphic denominators and one can apply
Proposition 3.6 to resolve it. For the remaining term, we can just let J.t = 0,
since there is no singularity. Hence, as in (2.15), we can let X -+ Xu and the
contribution of the second term becomes
(4.13)
where, as usual, S(z, () = L~=l ((k - zk)d(k. The term between parentheses
is dominated by
Ilf(z)11 <1
min{llf(()11 : ( E aU}
by the hypothesis (4.4) (and clearly uniformly away from 1 over compact sub-
sets of the open subset of U defined by (4.4).) Moreover, the combinatorial
coefficient is dominated by Nnjn!, so that when N --+ 00 the term (4.13) goes
to zero. This concludes the proof of Proposition 4.3. 0
It will be useful to have a version of this proposition with weights. Keeping
the same notation as above, we additionally introduce a function T with values
in en, of class C1(U x U), which will playa role similar to that of () in the
operators RJ of Chapter 1, 4. As in Proposition 2.8, for any h E H(U), we
consider the function
rh(z, () = rh(Z, (; T) = h(()+ < T((), (- z>
We also introduce the differential forms
n
T(z, () = LTj(Z, ()d(j ,
j=l
n n
g(z, () = /\ gj(z, (), g[j](z,() = /\ gj(Z,() ,
j=l ;=1
#k
n
S(z, () = L((k - zk)d(k,
k=l
n
8(z, () = (rhg)(Z, () + (_1)n-l (2) -1)j (/i(z) -/i(())9[j](Z, ()) /\ T(z, () .
j=l
96 CHAPTER 4- THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
h(z) = "'"
L <a
- j*(k+l)
1 (0, ()(()8(z, O > f(z) *k
Ikl::oN-n
+ J
au
(rh(Z, ()KN(Z, () + HN(Z, () 1\ 8T(z, () + LN(Z, () 1\ T(z, ())
(4.14)
Proof. We use Proposition 2.8 and its proof, with the two weights introduced
in the preceding proof of Proposition 4.3. Because of q(x) , there is no boundary
term in the representation formula of Proposition 2.8. Let us study the integral
of the first half of the kernel Ph, i.e.,
1 THE CAUCHy-WElL FORMULA 97
These terms have already been studied in the proof of Proposition 4.3, and,
when we let first J.L = and then X --+ Xu, we get
(4.15)
Let us consider now the integral corresponding to the second half of Ph. It can
J
be written as
1 r(OO)r(Ol)
__ ""' 0 1 (8Q(x)00 /\ 8Q O l /\ 8T (4.16)
(27l"i)n
U
L....J
oo+ol=n-l
aO!cl!l! J-t'
where T is the differential form associated to T. In this sum we have two parts,
one corresponds to ao = 0, and the other to the remaining terms. We study
first the latter. The behaviour is exactly the same as that of the second integral
in (4.5). One obtains, after replacing ao -1 by ao as in the formula (2.15), the
expression
= f
au
HN(z,()/\8T. (4.17)
_1_ ( N )
(27l"i)n n - 1
fX n+l [l-lfl*J-t~ + Ifl*J-t~ E?=lh!i(Z)] N-n+l 8Qn _ l /\ 8T.
IIfl12 J-t
u
This integral can be transformed using Stokes's theorem into
~( N )J n+18[1_lfl*J-t~+lfl*J-t2E?=lh!i(z)]N-n+1/\8Qn-l/\T
(27l"i)n n-1 X IIfll2 J-t
U
+ -(n+1) ( N )J[1_lfl*J-t~+lfl*J-t~E;=lh!i(z)]N-n+1Xn8X/\8Qn-l/\T.
(27l"i)n n-1 IIfl12 J-t
U
(4.18)
98 CHAPTER 4- THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
The second integral in the right-hand side of (4.18), can be studied as that in
(4.17). Since there are no points of V near au, we can let J.l = 0 and, after
that, let X -> Xu. Lemma 2.5 is applicable and shows this integral converges
to
_1_ ( N )
(27fi)n n - 1
f ["'E?=lIIfl12
f;/j(Z)] N-n+1 8An _1 1\ T
au
=f LN(Z, () 1\ T . (4.19)
au
We now have to compute the contribution of the first integral in the right-hand
side of (4.18). Let us rewrite
(4.20)
h z = _1_
() (21fi)n
J h(()g(z, ()
(h(() - h(z)) ... (fn(() - fn(z))
(4.22)
r fCE)
~
h(z) = L...
'"
L... Fs(z)As(z)
1
+ (21fi)n
J h(()g(z, ()
h(()'" fn(() (4.23)
k=l sC~~';';kn} rfCE)
Fs(z) = II Ji(z)
jES
as n
II (Ji(z) + (Ji(() - fj(z)))
j=l
(for more detailed computations, see [4, 1, 194-195].) The remainder term in
formula (4.23) can be expressed as
-1
< 8/((), e(()h(()g(z, () >,
e
where denotes any test function with support in .6., identically equal to one
near the set of common zeros of II, ... , f n. Since the residue current is annihi-
lated by the ideal generated by h, ... , f n, the remainder term in the division
formula (4.23) is zero when h is in the ideal IZoc(h,, fn).
Remark 4.5. With the methods just developed, it is easy to give another
proof of the Local Duality Theorem (Theorem 3.21.). This follows from the
fact that the Cauchy-Weil formula furnishes an explicit division formula with
100 CHAPTER 4- THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
remainder even in the case when the number of functions p is smaller than
n. Assume, for example, that h, ... , i p define a system in normal position in
a ball U about the origin, fJ(O) = 0, and let i p+1, ... , in be linear functions
such that h, ... , in define the origin as an isolated common zero. In a Weil
polyhedron ~< for the whole system, we have written above an explicit division
formula for any h belonging to the local ideal I1oc(h, ... , in). In particular,
one can use this formula for any h E I1oc(h, ... , i p ). What we have to verify
is that formula (4.23) can be rearranged so that it gives a division formula
involving only fJ for 1 :S j :S p. One uses a method of Berenstein and Taylor
(reference supra.) We start by rewriting the Cauchy-Weil formula:
This follows from the fact that the subtrahend is zero, since h is in the ideal.
In order to simplify a bit the writing of the formulas we let
1
TI fJ(()
l:::;j:::;n
R(() := TIp+l:::;j:::;n fJ((), and 'Pj(z, () := fJ() - fJ (z). By analogy with the no-
tation used in the proof of (4.23), if T c {I, ... , n} we denote 'PT := TIjET 'Pj.
We can now rewrite H using the identity
n p n
H(z,() II fJ(()'Pj(z, () = R(() II ('Pj(z, () + fJ(z)) - II 'Pj(z, (). (4.25)
j=l j=l j=l
We now develop the right-hand side of (4.25) as
R(() (t
J=l
L Fs(z)'P~(z, ()) - 'P{l, ... ,p}(z, ()('P{p+l, ... ,n}(z, () -
8\;;{1, ... ,p}
R(()) ,
#8=j
(4.26)
with Sf = {I, ... ,p} \ S. We replace H in (4.24) by the expression obtained
from (4.25) and (4.26). We obtain
h(z) =_1._
(2m)n j=l
t L ({
Jr/)
h(()R(()'PSf(Z,()g(z'())Fs(Z)
TI fJ(()'Pj(z, ()
-1-1
S\;;{l,.,p}
#8=j l:::;J:::;n
+ h(()'P{1, ... ,p}(z,()(R(() - 'P{p+1, ... ,n}(z, ())g(z, ()
(27ri)n
r,) TIn fJ(()'Pj(Z, ()
j=l
(4.27)
1 THE CAUCHy-WElL FORMULA 101
then hn E IZoc(h, ... , In). We can show that for any > E V(U), which is
holomorphic near V,
lim
k---+oo
J Id(l /\ ... /\ d(nl = O.
Thus,
r 11
IJr,(e(k hn I < 111100
In - E1(k) En(k)
( max
r,(e(k
Ihnl) J Id(l /\ ... /\ d(nl
r ,(e(k
5, C f J
r,(e(k
Id(l /\ ... /\ d(nl - O.
So we have that < 8J, hnd( >= 0 for any E V(U), holomorphic near
V. From (4.23) in a Weil polyhedra surrounding the set V, we conclude that
h n E I 1oc (I1, ... , In).
The multiplicity provides a bound for the exponent of the local Nullstellensatz
at the origin, as shown by the following proposition.
2 THE GROTHENDIECK RESIDUE IN THE DISCRETE CASE 103
Proposition 4.6. Let 11, ... , fn be holomorphic functions defining the origin
as an isolated zero, with multiplicity l/. Let h be an holomorphic function that
h(O) = 0. Then
h" E (11,, fn) nOO
Proof. Let 9 be the graph of f in e2n . For some balls D' = B(O, r') and
D" = B(O, r") in en, we have
and the projection on the second factor 7r is such that its restriction to 9
is a branched covering of D" with it sheets [7, p. 667]. For WED", let
f- 1 ( w) = {((1) ( w ), ... , (,,) (w )}, the ordering of these elements is irrelevant
here. Define the function
"
H(t,w):= II(t - h(((j) (w))).
j=1
Corollary 2.10 shows that the Newton sums of the h(((j)(w)) are holomor-
phic funtions of w, thus, their symmetric functions, and, hence, the function
(t, w) f-t H(t, w) is holomorphic. Therefore, the function ((, w) := H(h((), w)
is holomorphic in D' xD". Note that ((, 0) = h(()". The function is zero on
9 and, since 9 is clearly a submanifold of l::J.' x l::J.", there exist Hefer functions
aI, ... , an in l::J.' x l::J." such that
n
((,w) = Laj((,w)(!J(() - Wj). (4.30)
j=1
Proof. The proof is similar to the proof of Proposition 4.6. After a rotation
of coordinates and restriction to a neighborhood of the origin, we can assume
that {PI = ... = Pm = (m+l = ... = (n = O} = {O}. Then, we consider the
application P from en to en defined by
e
and we denote, as before, 9 the graph of P in n +m . Let 1f be the projection
from 9 onto the last n coordinates, so that 1f((, P(()) = p((). As 0 is an
isolated point in 1f- 1 (0), there are balls D' c en, D" c em such that, the
restriction 1f : 9 n D' x D" -7 D" is a branched covering with v sheets. Here
v is the multiplicity of the origin as a zero of the polynomial map P, and it
is bounded by deg(P1 ) ... deg(Pm ), as a consequence of the inequality (2.27),
which followed Bezout's Theorem 2.22. As before, for (" ED", we introduce
1f- 1 (("), which is a finite set of cardinal v, {((I), ... ,((v)}. Let ((j),j =
1, ... , v, be the projections of the v points of 1f- 1 ((") on the space of their n
first coordinates. Then, as in the preceding proof, one can define a holomorphic
function H on e x D" by
v
H(t, (") = II (t - ((j).
j=1
One can see at once that vanishes on the germ of the set g. We conclude the
argument as in the proof of the last proposition. 0
Let us point out here a consequence of Proposition 4.7 that we will develop
further in Chapter 5. Let PI, ... , Pm be polynomials in e[X1, ... ,XnJ such
that the corresponding homogeneous polynomials h PI, ... ,h Pn define locally a
complete intersection in en + 1 . Recall that the homogeneous polynomial h Pin
e[Xo,'" ,XnJ corresponding to a polynomial P E e[X1 , .. , XnJ is given by
Let Q E e[X1 , .. , XnJ vanish at all the common zeroes of PI, ... , Pm, then, the
homogeneous polynomial Xo hQ, vanishes on the common zeroes of h PI, ... ,h Pn
in en+! , thus, we can apply Proposition 4.7 to obtain
2 THE GROTHENDIECK RESIDUE IN THE DISCRETE CASE 105
Hence, there are homogeneous polynomials AI, ... ,A-:n such that
(4.33)
Proof. Proposition 3.27 shows that the residue current can be represented by
a distribution with support at the origin, whence a finite linear combination of
derivatives of the Dirac mass {) at O.
Let us show now that, as we have seen earlier in the case of one variable, the
only derivatives that appear are holomorphic derivatives, i.e., only derivatives
with respect to the (j. This is equivalent to the fact that the residue current
8( 1/ f) is annihilated by the functions (j. Recall that the action of the residue
current on a test form can be obtained through our method of analytic
continuation as the value at J.t = 0 of the map
(4.34)
Of course, we are only interested in the case where, let us say, = (1'. As
in the proof of Theorem 3.25, introduce a resolution of singularities, (X, 71"),
for the hypersurface {II fn(I (n = O}. Let us consider a chart where, in
106 CHAPTER 4- THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
a system of coordinates w centered at the origin, all the functions 7f* (/j) and
7f*(j), are (up to invertible holomorphic functions) monomials in w,
(4.35)
(4.37)
s(t)
II tj- ,
jEJ
with s a smooth form and J some subset of {1, ... , n} of cardinal strictly
smaller than n.
We claim that any tj appearing in the distinguished monomial m, also
appears in 7i"*(wf31). If we knew this, all the antiholomorphic singularities that
arise from 8m/m, which are all of the first order, would be compensated by the
corresponding tj appearing in 7i"* (wf31 ), hence, one would have at most n - 1
coordinates tj in the denominator, and the proof of Proposition 3.6 shows that
the value at J.t = 0 of the analytic continuation of (4.36) is zero. To prove the
claim, we go back to our original coordinates, use the local Nullstellensatz at the
origin (Proposition 4.6), which guarantees that (1 belongs to Iloc(ft, ... , In).
Since, in our local chart, m divides all the 7i"*7f*(/j), it divides (7i"* (wf31))V. This
fact clearly implies that every tj dividing m divides 7i"*(wf31), as claimed.
2 THE GROTHENDIECK RESIDUE IN THE DISCRETE CASE 107
We have just shown that the residue current 8(1/1) is killed by any multi-
ple of every (j, this immediately implies that the distribution representing the
current contains only holomorphic derivatives of 0. To conclude the proof, note
that if M = I 1oc ((1, ... , (n) denotes the maximal ideal of nOO, then the local
Nullstellensatz implies that M" ~ I. The local duality theorem (Theorem
3.21) implies that the order of the derivatives is at most 1/ - 1. D
From the computational point of view, one of the most important proper-
ties of the Grothendieck residue in the discrete case is the transformation law.
It is in fact, quite often, the only tool we have at our disposal to compute the
action of the residue current.
Theorem 4.9. Let /I, ... , fn, I{Jt, ... , CPn be 2n holomorphic functions in a
neighborhood U of 0 in en, such that 0 is the only zero in U of both the maps
f and cpo Suppose that for j = 1, ... ,n we have
n
CPj = Laj,k(()fk(() (4.38)
k=1
-1 -1
< 8-], d( >=< 8-;p' ~d( > . (4.39)
Similarly,
a..!:. 6.</1d( = 6.(0)</1(0) = </1(0)
< ep' > Jcp(O) J1(0)
which concludes the proof of formula (4.39) in that case.
Step 3. We now only assume 6.(0) f. O. We use that, for almost all small
E = (1, .. , En), the functions ICe) := 11- E1, .. , In -En define a manifold in U
(Le., all the point are simple.) This map will be called a good approximation
of I. Of course, we may assume that 6. does not vanish on U. Then, from the
invertibility of the matrix [aj,k(()h:::;j,k:::;n, we have
un (JCe)-l(o) = un (epCe)-l(o),
where the perturbation epCe) is defined by
n
ep;e) (() = L, aj,k(()lk e ) (().
k=l
On the other hand, at any zero (0 in U of ICe), that is at any common zero in
U of epCe) (these two maps have the same zeroes in U), we have
- 1 -1
< a-C) , </1d( >--< a-, </1d( >
u' u
when E approaches O. Formula (4.39) is shown to be correct in the present case,
just take limits in (4.40) when E tends to O.
Step 4. We look now at the most general situation, that is when 6.(0) = O. We
introduce first a continuous deformation of the matrix A = A CO) = [aj,k]l:::;j,k:::;n,
namely, (ACe)e, in such a way that for any E f. 0, det(A(e)(O)) f. O. We set
n
ep;e) (() = L, a;~k(()lk(()'
k=l
2 THE GROTHENDIECK RESIDUE IN THE DISCRETE CASE 109
If U' is a ball such that [;' c U, we can assume that for t: sufficiently small
(ep(e))-l(o) n 8U' = 0. This implies, of course, that (ep(e))-l(o) n U' is finite.
Among the points of (ep(e))-l(o) is the origin. From Step 3, we have
-1 - 1 ()
< 8-], d( >0=< 8 ep(e) , det(A e )d( >0 . (4.41)
n
det(A(e))!i() = LAj,kepke)().
k=l
- 1 ~) _
< 8 ep(e) , det(A )d( >",- O. (4.42)
-1 , d( >0-
< 8- _ "
LJ < 8- W1 ' det(A (e) )d( >", (4.43)
1
"'E(cp)-l(o)nu' ep
The complete sum of residues on the right-hand side of (4.43), can be expressed
using formula (3.32) as
is an element of F.
Proof. Let R = G/H, where G and H are coprime in IF[X l , ... ,Xn], so that
H does not vanish on V. Let N = deg(Pl ) deg(Pn ). Recall that using
elimination theory (see [16, vol. 2]) we can find n polynomials Qj E IF[Xj] in
the ideal I generated by Pl , ... , Pn in IF[XI, ... , Xn], let us write
n
Qj(X) = Qj(Xj ) = L aj,kPk(X), ~ = det[aj,k] E IF[XI, ... , Xn].
k=l
does not vanish on W = {Ql = ... = Qn = O} (see, for example, Lemma 5.2 in
[5].) In fact, one can choose IAkl ~ #(W) ~ deg(Ql) deg(Qn). Proposition
4.8 and the choice of N ensures that
-1 -1 G
< {} P' Rd( >=< {} P' fId( > .
3 THE GROTHENDIECK RESIDUE IN THE ALGEBRAIC CASE 111
Using now the global version of the Transformation Law (Remark 4.10), we
obtain
(4.44)
where s = s(j). Choose f E OR+)n such that the set DQ(f) = {IQj((j)1 <
f, j = 1, ... , n} is a union of disjoint Weil polyhedra, and that the function
G/H is holomorphic in a neighborhood of DQ(f). Thus, we have
H (() := ~(9G(() .
1 H(()
1
(27ri) J
IQ1(tll=<1
(4.46)
Consider the kth term of the outside sum, and to simplify the notation we let
l/ = n1,k, q = Q1,k, and A be the numerator of the corresponding quotient in the
interior sum of (4.46). The zeroes of q are all simple, we denote them 6, ... , ~I-"
and the function A is holomorphic at the ~j, since the different irreducible
factors of Q1 have no common zeroes. Let us factorize q(t) = (t - 6)R 1(t), R1
is a polynomial in t with coefficients in IF'[61. Note that for a different root ~j,
q(t) = (t - ~j)Rj(t), where the polynomial R j E IF'[~j][tl is obtained from R 1 ,
just by replacing 6 by ~j in the formulas defining the coefficients of R 1 . The
rational function A(t)/q(t) has pole of order l/ at t = 6 , so that
(4.47)
112 CHAPTER 4 ~ THE CAUCHy-WElL FORMULA AND ITS CONSEQUENCES
as we claimed. o
In the algebraic setting, there are also interesting consequences of the
integral formulas we gave in Chapter 3, 3, representing the complete sum
of the residues of a holomorphic en-valued map. In order to make some of
these consequences explicit, we first place ourselves in the projective setting.
The Grothendieck residue can also be introduced for functions holomorphic on
an open subset of a complex manifold X, defining a discrete variety. Let us
consider the case when X = ]p>n(e), suppose that 8 1 , ... , 8 n are homogeneous
polynomials of n + 1 variables, defining a zero-dimensional algebraic variety V
in ]p>n(e), and suppose that is a meromorphic (n,O) form in ]p>n(e), whose
poles lie in the projective hypersurface {81 ... 8 n = O}. Then, by Stokes's
theorem, the complete sum of residues
(see [7, p. 655-656].) This remark can be used to prove a very useful result of
Jacobi [8], [9].
Proposition 4.12. Suppose that PI, ... , Pn are polynomials of n variables
such that the homogeneous polynomials h PI, ... ,h Pn define a discrete variety
V in ]p>n(e), which lies entirely in en. Let Q E e[X1 , . ,Xn] be such that
Since 6 ~ n + 1, the differential form wis a form on ]p>n (e) that is singular only
on the projective hypersurface hp1 h Pn = o. From (4.49) and the fact that
the projective variety V is entirely contained in en, and thus, coincides with
V = {PI = ... = Pn = O} c en, the statement (4.50) follows. 0
The hypotheses of the last proposition and, in particular, the fact that
there should be no zeroes at infinity, are fairly restrictive. A weaker hyphothesis
is to assume, for the en-valued polynomial map P, that there are two constants
d, 'Y > 0 such that, for all 11(11 0,
(4.51)
It is easy to check that (4.51) holds with d = 1, while there are two points at
00, since both polynomials have the same leading homogeneous term.
Proof. Let us apply formula (3.33) for j rv N 0, 1 :::; j :::; n, so that 8D. is
connected and the variety V of common zeroes of the Pj lies inside D." This
is possible because the map P is proper. The integrand in (3.33) is
lim
k-+oo
!
rs((k
The gj,l, 1 :::; j :::; n + 1, 0 :::; l :::; n, are the homogeneous Hefer polynomials of
degree D j - 1, in 2n + 2 variables, given by
(4.55)
REFERENCES FOR CHAPTER 4 115
Recalling the notation < k, D >= klDI + ... + kn+1Dn+l, we see that (4.54)
becomes the finite sum
1 n+l
ZO' = < fJ S(()*(k+!) , (0' )6_1 gj(Z, () > S(Z)*k . (4.56)
Ikl>O
<k,D>'5.1f.
Since JkJ > 0, this is an explicit division formula in the ideal I(SI, .. . , Sn+1).
This ends the proof. 0
(5.1)
This polynomial equation (5.1) j' called the (algebraic) Bezout equation.
The classical method to solve this equation for n = 1 is to use the division
algorithm of Euclides. As we have seen in Chapter 1, 5, one can propose
completely different methods, which are not based on a recurrence algorithm,
as the Euclidean algorithm, but on direct explicit formulas. Note that the
formula we gave in Example 1 was completely analytic, while the variant we
proposed in Example 2, since it involved residue currents, seemed to be more
algebraic in nature. (At least, the identity (5.1) could be solved in an algebraic
closure of IF.) On the other hand, these last two methods could be significantly
more complex to carryon than the Euclidean division algorithm. (In fact,
in the one variable case this algorithm is optimal from the point of view of
complexity theory.)
One needs to look at the multidimensional problem to realize how far
theoretical results can be from implementation. In this case also, there is
an old algorithm to solve the Bezout identity, using elimination theory (see
[74]). The explicit construction of AI'"'' Am, done this way, involves com-
putations of resultants, and one can measure the complexity of the problem
by looking at the theoretical bounds one can expect on the deg(Aj ) (in terms
of D = maxdeg(Pk)); such bounds have been computed explicitly, because of
applications to Transcendental Number Theory, and are
(5.2)
(see, e.g.,[51,4].) Of course, there are particular situations where one has much
better a priori bounds. Such is the case, for instance, when the homogeneous
polynomials hpj, introduced in the last chapter, define an empty variety in
118 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
the projective space. The theorem of Macaulay (Theorem 4.14) [50], which we
proved when m = n + 1 (to which one can always reduce the question), shows
that one can find Aj solving (5.1) and
What is interesting in this special case, is that we gave also an explicit formula
(just set Zo = 1 in (4.56)), involving multidimensional residues, and solving
the problem with essentially the same kind of bounds. Given that there is a
large gap between the Macaulay situation and the bounds (5.2), it has been
a longstanding question to find out which were the sharp bounds for these
degrees, and also what should be complexity of solving the Bezout equation.
With respect to the bounds of the degrees, the following example of Masser-
Philippon (see [23], [48], for background and references),
max deg(A j ) ~ V n _ V n- l .
Thus, there is no hope to obtain bounds better than vn (in general, the product
of the n largest degrees), which corresponds roughly to the Bezout estimates
found in Theorem 2.22.
Solving the Bezout equation is a particular case of a more general problem,
the membership problem, that will be discussed in Section 2 below. In the
membership problem, one has to find a way to check whether a polynomial
Q belongs to the ideal I generated by P l , ... , Pm; furthermore, one wants to
obtain explicit solutions Aj (sometimes called quotients) of the equation
m
Q= LAjPj , (5.3)
j=l
if they exist. The membership problem (5.3) can be solved immediately, if one
has a Grobner basis for the ideal I [26]. An algorithm to construct Grobner
bases, which generalizes to n > 1 the Euclidean division algorithm and has
been widely implemented, is the Buchberger algorithm. On the downside, even
for the solution of Bezout identity, there are no a priori bounds on the degrees
of the solutions Aj of (5.1) obtained by the Buchberger algorithm.
Let us return to the question of what are the sharp bounds for the deg( Aj)
in (5.1). Using transcendental methods developped by Nesterenko [54], [55]
based on the theory of Chow's forms, Brownawell gave in 1987 [23] almost
optimal bounds for this problem. In order to state his theorem, we need to
remind the reader of the concept of a regular sequence in an integral domain
1 AN ANALYTIC VERSION OF THE ALGEBRAIC NULLSTELLENSATZ 119
n. It is an ordered sequence al, ... , ak in n such that aj+1 is not a zero divisor
in the quotient nj I(all ... , aj), for 0 :s; j :s; k - 1.
Theorem 5.1. Let Pl , ... ,Pm be m polynomials in IF[Xl , ... ,XnJ, defining a
regular sequence, without common zeroes, and ordered so that
(5.5)
Using the results of Skoda [70J about L2 estimates for division problems (see
[8J for a survey of these methods,) Brownawell used Theorem 5.1 to obtain rea-
sonably sharp bounds for the degrees of some solutions of the Bezout equation
(5.1), namely,
(5.7)
Later, Kollar [48J, Heintz and collaborators [27], [28], [29], Shiffman [68], Ji-
Kollar-Shiffman [46], and others, studied the same problems and sharpened the
bounds (5.4)-(5.7), replacing the analytic arguments of Brownawell by ideas
from commutative algebra, algebraic geometry, etc.
120 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
(5.8)
Let gj,k denote the Hefer polynomials defined by (4.55) and let .6. be the deter-
minant of order (n + 1) x (n + 1)
one has
and the action of the residue current corresponding to k = Qkills the first sum
in (5.11).
Proof. We apply Proposition 4.4, with fJ = Pj for 1 ~ j ~ n and we choose
the auxiliary function T as
where ip is a test function, identically one on the finite set of common zeroes
of PI"'" Pn , and so that Pn+1 does not vanish on supp(ip). The differential
1 AN ANALYTIC VERSION OF THE ALGEBRAIC NULLSTELLENSATZ 121
(5.12)
and
118A(z, ()II :::; C(z) R 2(D-d-l) ,
with C(z), a positive constant depending on z, uniformly bounded on compacts.
These estimates imply that the integral in (5.12) tends to zero, when z is fixed
and R --'> 00, as soon as Nd ~ (n - 1)(2D - d) + 1. This condition is fulfilled
by N = q + n, whenever the inequality (5.9) is satisfied by q. This concludes
the proof of the proposition. 0
Remark 5.6. The explicit division formula (5.10) has the advantage that if the
polynomials Pj have coefficients in the subfield IF' of C, then, from Proposition
4.11, the quotients Aj have coefficients in the same field. It follows that the
statement of this proposition holds for any field of characteristic zero.
The same method, Le., an argument based on the use of Proposition 4.4,
can be used to solve division problems in spaces of entire functions with growth
conditions, as in Example 3, Chapter 1, 5, see also [lOJ and [69], where they
were implemented in a Connection Machine. In the algebraic case, there is a
simpler way to obtain (5.10) with slightly worse conditions on q. This can be
done using the Cauchy-Weil formula. As in the proof of Theorem 4.13, let us
apply (4.2) to the function h == 1, assuming that Ej rv N
(Le., the set
122 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
D.P1, ... ,Pn(t) = {lFjl < tj 1::::: j ::::: n} is connected and contains all the common
zeroes of PI"'" Pn.) For any Z in D.P1"",Pn (t), one obtains
1= "'"
~ < (-0 1 -
k1+l/\"'/\0 1 ) ((), I\n gj(Z,() > (P1k 1 ... Pnk n)(z).
kn+l
kENn PI Pn j=l
(5.13)
We now use theorem 4.13 and claim that, whenever Ikld > (2n - l)(D - d),
the coefficient of (P:l ... p~n )(z) in the development (5.13) is equal to zero;
therefore, one has the following polynomial identity
1= L
kENn
< (8 P;+l) ((), A
j=l
gj(Z, () > pk(z), (5.14)
Ikld:<O;(2n-l)(D-d)
where only the polynomials PI, ... , Pn appear. Let us make the following
transformation on the determinant D.; if 1, ... n denote the first n rows of
this determinant, just substract from the last row the linear combination
-_ 1_ 8_1_)(1') Pn+l(()/\7=lgj(Z,()
< (0 k 1 +1 /\ ... /\ k n +1'" P (I') >, (5.15)
PI Pn n+1.,
(since Pn+l does not vanish in some neighborhood of the support of the residue
current involved in (5.15; one obtains then the following Bezout identity
1= (5.16)
kEN n
Ikld:<O;(2n-l)(D-d)
which is just another version of (5.10). Note that the sum here involves more
terms than (5.10) since
the set of common zeroes of PI, ... ,Pn is not finite, that is when one deals with
transcendental functions instead of polynomials.
The condition (5.8) in Proposition 5.4 is not so restrictive as it may seem,
due to the following consequence of E. Noether's Normalization Theorem (com-
bined with the Lojasiewicz-Brownawell inequality (5.6).)
Proposition 5.7. Let PI, ... ,Pn be n polynomials in IC[XI , ... , Xn], which
define a system in normal position, i. e., for any subset J of {1, ... , n}, if
WJ = {pj = O,j E J} then codim(WJ) = #(J), and let 8 = n7=1
deg(pj).
There exist n linear forms L I , ... ,Ln with integral coefficients so that for any
N E N*, there is a strictly positive constant "(N with the property that, if
Ilzll 0,
(5.17)
Proof. We give here a sketch of the proof from [12, Lemma 5.3J. Recall the
well-known fact [40J that given an algebraic variety W of co dimension l < n,
after a generic linear change of coordinates, there are constants C, K > 0 such
that, for any w E W with Ilwll ~ C, one has
(5.18)
Let Ban x n matrix with integer coefficients such that none of its minors
vanishes, and let us denote by p the maximum modulus of all the minors of B.
124 CHAPTER 5 ~ COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
Let M be an integer such that M > (K + l)np. We consider the linear forms
Aj , j = 1, ... , n defined by
(5.21)
implies
minJ:#(J)=n-k(L: IAj(w)l) ~ follwll (5.22)
jEJ
We now define
Lj(z) = A j (det(A)A- 1z).
Let us show that these linear forms satisfy the requirements of the proposition.
Let z be such that IIA -1 zll ~ C, then, (5.20) implies that there is an index set
J = J(z) with #(J) = l(z) < n such that
and
(5.24)
It follows from (5.19), (5.22), and (5.24) that for any N E N*, one has for the
z we are considering, that
(5.25)
Proof. We can assume that the sequence deg( qj) is decreasing. Then, using the
pigeonhole principle, as in [51,4], one can find a triangular, invertible matrix
R, with integral coefficients, such that the polynomials Sl, ... , Sn defined by
Rq= sform a regular sequence. Note that deg(sj) = deg(qj). To simplify the
notation, we will call this new sequence again qj.
The construction of n linear combinations of the qj defining a system Pj
in normal position is also based on the pigeonhole principle; we refer to [12,
Lemma 5.2, p.102]' [51]. This construction can be made with the additional
property: let [(\:j,k] be the n x n matrix of coefficients of the linear combinations,
we can assume that none of the minors of this matrix is zero. Unfortunately, at
this point, all we can say about the degrees of the polynomials Pj is that they
are bounded by the maximum of D j := deg(qj), which is not good enough to
obtain the estimate (5.25), just using the previous proposition.
Let J C {I, ... , n}, 1::::: k := #(J) ::::: n -1. Given collection of polynomials
{Pj hEJ, we claim we can find a system of polynomials {PJ,j hEJ, such that for
all j E J, deg(PJ,j) ::::: D j and all the PJ,j are linear combinations of Pj,j E J,
and conversely. Let us assume, for example, that J = {I, ... , k}, and omit the
index J. Recall that we assumed that the D j were in decreasing order. We
start with PI = Pl. In order to construct P2, we choose a linear combination of
PI and P2, which is free of q1, that is
and then
-
P3 = I(\:1 ' 1
(\:2,1
(\:1,21
(\:2,2
p~3) _I (\:1,1
(\:3,1
(\:1 ,21-
(\:3,2
P2
~ a", (
(\:l,n
qn)
(\:1,1 (\:1,2 (\:1,3 (\:1,1 (\:1,2
(\:2,1 (\:2,2 (\:2,3 q3 + ... + (\:2,1 (\:2,2 (\:2,n
(\:3,1 (\:3,2 (\:3,3 (\:3,1 (\:3,2 (\:3,n
This procedure allows us to construct PI, ... ,Pk one by one. An inductive
argument shows that, for 1 ::::: l ::::: k,
126 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
where
aZ-I,1 aZ-I,Z-l
aZ+I,1 al+I,Z aZ+I,r
where the determinants in the right-hand side are of order I, and those in the
left hand-side are of respective orders I - 1 and I + 1. Since all minors of the
matrix [aj,k] are non zero, the new polynomials Pj are linear combinations of
the Pj and conversely. In particular, there is a positive constant c (depending
only on the minors involved in the definition of the collection of all PJ,j, for all
J and j E J) such that for any z one has
(5.26)
Let us now consider all such families (PJ,j )jEJ for all possible J c {1, ... , n},
#(J) ::; n - 1. As in the proof of Proposition 5.7, we construct a matrix A
with integer coefficients and three constants E, C, K > 0 such that, for every J,
I = #(J), the set
xY):={llwll>c:maxjEJlpJj(Aw)l< E _}
, (1 + Iiwll)n8
is included in the cone
1 AN ANALYTIC VERSION OF THE ALGEBRAIC NULLSTELLENSATZ 127
As before, this follows from (5.6). We now define the linear forms Aj , adapted
to our new family of cones Yl, as in the proof of the preceding proposition.
Since the Pj are linear combinations of the qj, and conversely, it is also a
consequence of (5.6) (applied to the regular sequence qj), that after a suitable
increase of the constants C, K, and decrease of E, one has for Ilwll > C,
Hence, for 'f/ E, the set {llwll > C} can be written as the disjoint union of
the sets
L IAj(w)1 ~ Eollwll
jrtJ
From this point on, the proof of Proposition 5.7 can be followed verbatim. 0
With this proposition at hand, we can propose an analytic method to
solve the Bezout identity, with estimates similar to Brownawell's estimate (5.7).
Everything in our procedure is explicit, except for the first step, which is based
on the pigeonhole principle. We start with m polynomials P l , ... , Pm, with
degrees Dl ~ D2 ~ ... ~ D m , without any common zeroes in We can en.
assume that m > n. (If not, repeat the last polynomial.) The first step
consists in defining n + 1 polynomials qj, which are linear combinations of
the P,., and deg(qj) = D j , 1 ::; j ::; n. (The coefficients can be taken to be
integers of absolute value bounded by Dl ... Dn [51].) We can now apply the
last proposition to the system qI, ... , qn, and find a normal system PI, ... ,Pn'
(Here, the absolute value of the integral coefficients of the linear combinations
defining the Pj, are bounded by (Dl + l)n-l [12, Lemma 5.2].) As soon as
one has some estimate for the constant K, and the choice of coordinates, that
128 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
appear in the geometric localization (5.18) of all the varieties WJ, one can
find linear forms L l , .. . ,Ln such that (5.25) holds. We now choose a linear
combination, Pn+ 1, of all the original polynomials Pj , such that Pn+ 1 does not
vanish on the set {PILI = ... = PnLn = o}. The condition (5.25) implies that
if N > 1, the polynomials Lfn6 pj , 1 ~ j ~ n, satisfy the condition (5.8) for
We are left with the task of choosing N large enough to ensure condition (5.9)
holds for the smallest integer q possible. In fact, the integer q appearing in
(5.10) has to satisfy
(5.29)
- 1) -( 1 )) ~N(Z, ()d(
1 =< (8(LnN6 /I. ... /I. 8 LnN6 (0, (() >, (5.30)
1 PI n Pn Pn+l
(5.31)
Let Ql, ... , Qr be the prime minimal ideals in the decomposition of I in primary
components; then there are integers el, ... ,er such that
(5.32)
1 AN ANALYTIC VERSION OF THE ALGEBRAIC NULLSTELLENSATZ 129
When the base field is infinite, Theorem 5.10 implies that, if (5.31) holds,
the Bezout equation has solutions Aj such that
(5.33)
h p 1. := max
k
log 17r) ' kl <
-
h p := maxh
j
p . < h.
1-
(5.34)
Assume further that there are no common zeroes in en. Then, one can find
a E N* and polynomials AI, ... , Am E Z[X I, ... , Xn] such that
(5.36)
where J.L = min(n, m), v = min(n + 1, m), and K,(n) is an explicit constant
depending only on the dimension n.
130 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
where t::.. is the determinant of the matrix [Aj,k]. We know that the global
residue in (5.38) is a rational number. One sees that, as a denominator for it,
one can choose a common denominator for all numbers
Such a denominator can be computed using the fact that the Qj are single
variable polynomials for which we know estimates for the coefficients. In fact,
it may be more convenient, since one knows that the order of the residue current
does not exceed the multiplicity, to compute a denominator DOl. for each local
residue (considered as an algebraic number)
z=AjPj =a,
j=1
Remark 5.13. The degree estimates are better than those after (5.30), this is
due to the fact that we used the Ji-Kollar-Shiffman inequalities, instead of the
Lojasiewicz-Brownawell inequalities, this requires the condition D ~ 3, which
we omitted from the hypotheses for simplicity. Furthermore, one can replace
Dn by D1 ... DI-" with the same notations as in Theorem 5.11, throughout
this theorem [38].
To conclude this section, we would like to emphasize here the following
idea; it is clear that the Grothendieck residue plays a role not only to con-
trol intersection problems (that is, more concretely, it provides bounds for the
denominators in division formulas,) but also, simultaneously, it provides esti-
mates for the size ofthe quotients. This was already clear in the formula (4.54),
which we gave to prove Macaulay's theorem.
satisfies
maxj deg(Aj ) ~ (D _ 2)2 k - 1
Q = LAjPj , (5.41)
j=l
2 THE MEMBERSHIP PROBLEM 133
with bounds
deg(A j ) :::; deg(Q) + ",(n)D 1 Dm. (5.42)
Since all prime ideals in the decomposition of an ideal defined by a regular
sequence are isolated, this result also follows from Theorem 5.10, which addi-
tionally improves on (5.42), namely, ",(n) = 1, provided the condition (5.31) is
fulfilled. Let us now show how the Grothendieck residue can be used to solve
this problem, furnishing also bounds for the heights. We shall use the notation
from (4.23): for a family of functions h, ... ,fT and S <;;; {l, ... ,r}, we denote
Fs = TIjEs k (Note that F{j) = k)
Proposition 5.14. Let h, ... , fn be n polynomials of degree at most D, satis-
fying the properness condition (4.51), with constants "I,d> O. Let m:::; nand
hE [(h, ... , fm), then, for any integer q such that
(5.42)
where, letting {) = (2, ... ,2,1, ... , 1), a multiindex of n components, whose first
m components are twos,
Proof. We choose fj rv N so that the set ~f(E) = {Ihl < fj : 1 :::; j :::; n}
is a Weil polyhedron containing all the common zeroes of h, .. . , f n' Inside
this polyhedron we apply the formula (4.27) to represent the polynomial h (use
p = m in that formula.) We recall that the last integral in (4.27) is zero because
h is in the ideal. Developping all the integrands that appear in the formula
as geometric series, as we usually do in the Cauchy-Weil formula, we obtain in
~f(f) that
Let us indicate how this proposition can be used to solve effectively the
membership problem in the case of complete intersection [39]. Assume that
PI, ... , Pm define a complete intersection in en, and denote by 8 the prod-
uct of their degrees. Adapting the proof of Proposition 5.B and using the
Lojasiewicz-Brownawell inequality (5.6), one can construct m linear combi-
nations Pj of the P j , with an invertible matrix with integral coefficients, n
affine forms L1, ... , L n , and n - m linear forms Pm+ I, ... ,Pn such that, for any
N E N*, there exists a positive constant "IN with the property that, if Ilzll 0,
(5.45)
Moreover, the choice of the L j is generic, that is (5.45) holds for a collection
of n + 1 families {L;rl} (indexed by T) of n linear forms each, which can be
chosen such that the different polynomials
II
have no common zeroes in en. We use the division formula (5.42) with fJ =
Lfnopj to represent, in the ideal generated by Jr, ... , 1m, the polynomial h =
cpNnoQ, where we have fixed T and set cp = cp(rl. The multiplication by cp is
necessary to guarantee that h belongs to that ideal. Choosing, for example,
N = 2, the value of q terminating the series is roughly Bn + (deg(Q)/n8), so
that
m m
Due to the choice of n + 1 families of linear forms, we can solve the Bezout
equation for the cp(rl and then raise both sides of the identity to the power
2(n + 1)n8, so that one can find polynomials C j such that
m
Q= L:CjPj, deg(Cj ) ::;2deg(Q)+K(m,n)8.
j=I
Here K(m, n) ::; const. n4mn. These estimates are not sharp, but their interest
lies in the fact that, again, we can use this construction for polynomials with
integral coefficients and obtain estimates for the naive height of the C j similar
to those in Theorem 5.12.
2 THE MEMBERSHIP PROBLEM 135
Let 9 be collection of all polynomials G E IF[U] with the property that for some
integer M ~ 1, we have the inclusion of ideals
m n+l
III ::; 2)kj + l)D j + L kj - m, (5.47)
j=l j=m+l
(5.48)
Any common denominator for the Rk,l is a multiple of the Chow form of the
ideal I(P!, ... , Pm).
Proof. Since the Pj define a complete intersection, it follows from Proposition
4.8 and Theorem 4.14 that, for any generic choice of the set of parameters U,
any test function C/>, and any index k satisfying (5.46),
- 1 olll
< o( PH:!.)' c/> d( >= L I
C(k,l) 0(1 c/>(O) .
136 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
The coefficients C(k,l) = C(k,l) (U) are zero if the lenght of I does not satisfy
the restrictions (5.47). On the other hand, as an immediate application of the
transformation law (see Proposition 4.11, with the field IF(U) instead of IF), one
can see that the coefficients C(k,l) are in fact rational functions of U. These
are the rational functions R(k,l). The right-hand side of formula (4.56) belongs
to IF(U), it admits as a denominator any common denominator for the R(k,l)'
Since (4.56) is also valid for all monomials (with Ii, the degree of the monomial),
the definition of a Chow form implies that the last statement of the proposition
holds. In fact, careful consideration of the transformation law shows that the
R(k,l) are powers of the Chow form. D
Remark 5.16. The numerators of the same rational functions R(k,l), play
a role in the estimation of the quotients in the membership equation. More-
over, as it is known that when the polynomials Pj have integral coefficients,
the height of the Chow form measures the arithmetic complexity of the cycle
defined by the Pj [64], it seems that in the case of a complete intersection, the
multidimensional residue should playa similar role.
Remark 5.17. The role of the Grothendieck residue in studying the complex-
ity of computer algebra algorithms has also been pointed out by Dickenstein
and collaborators in a series of recent papers [31], [32], [41].
We would like now to consider an altogether different approach to member-
ship problems. These are ideas have been mainly introduced to study similar
division problems in algebras of entire functions, of which, we shall see an exam-
ple in the following section. We return to our point of view in Chapter 3, 4,5,
which consisted in writing division formulas containing the distribution-valued
function 1ft 12'>"1 .. Ifp 12'>"p and its analytic continuation.
In order to study global division problems, instead of semilocal ones, as we
did in Chapter 3, we need a weighted Bochner-Martinelli formula for the rep-
resentation of smooth functions, not necessarily holomorphic. In the following
proposition, we return to the notation of Theorem 2.7, except that the kernels
will be denoted P and K, we assume an additional condition on s. Namely,
given the domain U and wee U, we require the existence of a strictly positive
constant 'Y = 'Y(w) such that
(z) = (2:i)n (J
u
(()p(z,() + J
au
(()K(z,() - J
u
8(() /\K(Z,()) . (5.50)
Using a good filtration (indexed on v), one can compute the multiplicity 1 of
the module N as the coefficient of v n in
Mn{n+V(deg(p~ ... PM)+1)) ,
The stationarity of this sequence implies the existence of the system of func-
tional equations (5.51).
138 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
Then, the defect e(R(A,X,8x )):= maxle(RI) and, finally, E(P) is the mini-
mum of e(R(A,X,8x)) for all possible functional equations (5.51) for P. It is
not hard to verify that
E(P) ~ - deg(P)
The following result relates these concepts to the membership problem [7,
Theorem 4.1].
Theorem 5.19. Let H, ... , Pm be polynomials defining a complete intersection
variety V in en, of degree not exceeding D. Let
m
Q = LAjPj
j=1
with
deg(A j ) ::::: deg(Q) + (5m - 2)D + 4E + 4n - 3. (5.52)
2 THE MEMBERSHIP PROBLEM 139
Remark 5.20. There is a similar result when one drops the hypotheses of
complete intersection, for the effective membership of Qmin(n,m) in I, when Q
is known to be in the integral closure 1. In this case, the defect that appears
in the estimate analogous to (5.52) [15, Proposition 5), is E(P), where P is the
polynomial with real coefficients in 2n variables given by
m
P(X, Y) = L IPj(X + iYW
j=1
As in [16], one can define a multivariable version of defect, E (PI, ... , PM),
taking into account all possible systems of functional equations (5.51). Then,
using E(P1 , ... , Pm), one can give estimates of the type (5.52), so that the
underlying complex structure of the problem is not lost.
Proof of Theorem 5.19. The proof of this theorem, as well as that of the last
remark, is quite technical, but it may be adaptable to many division problems in
spaces of holomorphic functions, like in [16]. We shall give a brief description of
the proof and we refer the reader to [7, 4], [16, 3], and [15, Proposition 5], for
the details. We can assume that PI, ... , Pm define a normal system (see proof of
Proposition 5.8.) We use Proposition 5.18 with two weights. For the notation,
we refer to the proof of Theorem 2.7. In what follows, N will be a sufficiently
large integer that will be chosen at the end of the proof. The first weight we
consider is constructed starting with a polynomial f 1 (t) of a single variable,
fl(l) = 1, and a smooth (1,0) differential form Ql in C 2n , depending on a
single complex parameter /-L (or, if necessary, on several complex parameters
>..) For example, under the hypotheses of Theorem 5.19, one uses one complex
parameter and chooses, as in the proof of the Local Duality Theorem,
~IP.(()12Jlgj(Z'()
Q 1 (Z, ( .,/-L)._
.-
1
mf=:. JP j (()
1
II (mt - J)
m-l .
rl(t) := - ,
m. j=O
we obtain
da1 r m
r (1 a(z,(,/-l)
,). - dt a, 1 ( ro ) -_ 'L...JP
" ' j (z) 'Ya,,] ( Z,(,/-l
.) .
j=1
We have seen in the proof of Theorem 3.21, that to compute the zeroth coeffi-
cient of the first integral in (5.50) at /-l = 0, we can replace everywhere in the
kernel P the quantity ria') by ~j=1 Pj (z)-Ya"j (z, (; /-l).
The other important terms where /-l appears are terms of the form (8Ql )a 1 ,
0:1 E N, which are linear combination of expressions of the type
a,
/-l a1 iPj1 (() ... Pja1 (()1 2 (/L-l) 1\ -;::-f)P=-jl"""'((""-) 1\ 9jJZ, ().
/=1
(5.53)
where k, l E film, Ikl :s; m, X(c), the Eth derivative of X, E = 0,1, and 0 is a form
of degree (n, n), smooth on the support of X(c) ((/ R). The form 0 involves the
coefficients of the second pair.
Each expression of the form (5.53), when analytically continued to f.L = 0,
contributes one term to the zeroth term of the Laurent expansion of (5.50).
Let ak;-O:l be the distribution which is the coefficient of f.L-O: 1 in the Laurent
expansion of IPI*2!Lk at f.L = -1. Therefore, the contribution of (5.53) is given
by expressions of the form
(5.54)
where w(z, () is one of the coefficients of O(z, (). Using integration by parts,
one can see that the action of the distributions ak;-O:l can be computed with
the help of any functional equation (5.51) valid for p*k. We choose the equation
that achieves the defect E. We can adjust the choice of N so that the terms
corresponding to E = 0 have a limit when R -+ 00 and those corresponding to
E = 1 vanish when R -+ 00. The choice of N depends on E and the degrees
of expressions involving the polynomials Pj and their Hefer polynomials in
(5.54). Letting R -+ 00, we obtain the global division formula with the claimed
estimates. 0
For the Brianc;on-Skoda problem, the proof is the same, except that one
makes another choice of the pair ql, G I , namely, G I (t) = t min (m,n+1) and there
are two natural possibilities for q1; one is to take one complex parameter f.L and
define m
In the first case, we have to deal with the analytic continuation of the function
of two n real variables P, in the second case, one has to get some control on
the analytic continuation, as a distribution valued function, of
142 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
A clever argument based on properties of the Euler Beta function, reduces this
problem to estimates involving the multidefect.
To conclude this section, let us return to the question, raised after (5.40),
about the best power s one could expect to use in order to decompose QS in
the ideal I(P1 , . . ,Pm), with good estimates for the degrees of the quotients,
i.e., estimates of the type Dl ... DIl-' I-" = min(m, n), when we know a priori
that Q is in I or in I. We have shown elsewhere [11] that when the variety
V is discrete, then s = 1 works for Q E I. When V is a curve, Amoroso
has shown that s = n works when Q E I [2]. There are heuristic reasons,
arising from the ideas explained in this section, which indicate that s = n 2
should always work for Q E I. One of them is the close relation between
the existence of good bounds and some reasonable control on the order of the
distribution IIPII- 2n (considered as a principal value distribution obtained via
analytic continuation.) Another one is the power of Lipman-Teissier's theorem,
which was already revealed in 1. Thanks to this theorem, jointly with Kollar's
method, Amoroso has announced very recently in [3] that s = 3n + n 2 works
for any Q E I (the 3n seems to be an unavoidable consequence of Kollar's
hypothesis (5.31).)
(5.55)
We are going to make several simplifying assumptions. The first is that the
polynomials PI' ... ' Pm E e[Xl , ... , Xnl are in normal position. The second is
the following. Let U ~ JRn be a domain, and assume throughout this section
that f is an element of COO(U), which satisfies the equations (5.56) in U.
Our goal is to represent f in some strictly convex open set n cc U with
smooth boundary. Choose a function X E D(U), identically equal to 1 in a
neighborhood of O. Using Plancherel's theorem, for any cf> E D(n), we have
J
~n
f(x)cf>(x)dx = J
~n
f(x)X(x)cf>(x)dx = (2~)n JfX(~)(~)d~.
~n
(5.57)
where
(5.59)
It is clear that
n
n = {x E JRn: V~, II~II = 1, LXj~j < Ho(~)}.
j=l
the map
( f-> grad (<p) (()
maps en \ {1m ( = O} onto an.
We represent in en with the help of the Koppelman formula (5.50), with
a convenient choice of weights. In fact, for any 'ljJ E D(e n ) such that 'ljJ == 1 in
a neighborhood of a given point z, we have
(z) = (2:i)n J
en
(()'ljJ(()F(z, () + (2:i)n
en
J (()[)'ljJ(() 1\ K(z, (). (5.60)
where gj,k are the Refer polynomials associated to the Pj . As usual, we take
1 m-l
G1(t)=, II(mt-j).
m.
j=O
We also introduce Q2 as
where a is a function in V(C n ), supported by the ball B(O, 1), nonnegative and
with total mass 1. (The reason for convolving with a is the lack of regularity for
the function '1'.) To simplify the notation, we shall write rp := ip*a. Associated
with Q3, we let G 3 (t) = et - 1 .
We follow here the proof we already gave for the solution of the algebraic
membership problem (Theorem 5.19.) We apply formula (5.50) to 1jJ(z) =
f)(z/ R), where R > and f) is some function in V(C n ), with support in B(O, 2),
identically equal to 1 in some neighborhood of B(O, 1). Formula (5.50) is valid
whenever Ilzll < R. The problem, which remains here, is to get rid of the
complex parameter tt. This can be done as in the proof of Theorem 5.19, if one
remembers that, for any polynomial P, for any test function w in V(C n ), the
analytic continuation of
(5.61 )
(5.62)
3 THE FUNDAMENTAL PRINCIPLE OF L. EHRENPREIS 145
Formula (5.62) provides some quantitative information about the order and the
growth of the distributions involved in the representation formula (5.60), when
one identifies the Laurent development of both sides at J-L = O. Note that for
convexity reasons
We profit from the inequality (5.63), and from the fact that in both kernels P
and k appears the expression
1+ < z,( N - n
(
1 + 11(11 2 '
where
The form of the kernels P and k, and the fact the exponential growth in z is
controlled by (5.64), imply that the entire functions ipj are Fourier transforms
of distributions 8 j , supported by n. We now replace by its representation
(5.65) in the Plancherel formula (5.57). We observe that
since supp(Sj) <;:;; 0 and X == 1 near O. Therefore, for any E D(n) we have,
J J(x)(x)dx (5.66)
JJX(~)
m(m-l)
One can verify that, if N is sufficiently large, we are allowed to apply Fubini's
theorem and the Lebesgue differentiation theorem (with respect to a parame-
ter), to the integral (5.66). This is quite technical and it is based on explicit
formulas for the residue current in terms of the Bernstein-Sato functional equa-
tion (5.51) for p = Pl Pm. We will omit this point and refer to [75],[13]. We
deduce that
= K(n, m) J (t) < [) ~ ((), e-i<(,t> JJX(~)g(~, TN(~' ()d~() 1\ > dt,
operators. (For example, in [77J the Noetherian operators are computed us-
ing the Leray iterated residues of Chapter 3, l.) This is really a question
about the structure of the residue current, which has been considered (in the
case of co dimension one) by Coleff-Herrera, Dolbeault, Boudiaf [30], [35], [36J.
Let us also mention that the Fundamental Principle of Eherenpreis-Palamodov
is valid for arbitrary systems (including matrices) of linear partial differential
equations with constant coefficients. Moreover, it applies not only to smooth
functions f but to distributions [37J. (For other proofs see [21J.)
The preceding variation on the Fundamental Principle was considered in
[75J, it allows for a representation valid on the whole set U, provided it is
convex, and even for distributions [13J. It has been extended to convolution
equations in ]Rn in [73J. The same method can be used, but with significantly
more technical difficulties, when dealing with slowly decreasing systems of con-
volution equations [16J. When the system (5.56) is hypoelliptic, besides being
normal, the formula (5.67) can be simplified by the fact that only the weight
q3 is necessary, and one can use it to recover solutions of classical systems of
partial differential equations. For instance, for the system of Cauchy-Riemann
equations, one recovers the Henkin representation formulas in strictly convex
domains [19J. There are several applications where the explicit formula (5.67)
may be useful. One of them, seems to be the Fischer problem, namely, how
to construct a solution of the equation P(oz)f = 0, with prescribed data on
another algebraic hypersurface {Q = o} in en [53J. This seems to be related
to the previously mentioned work of Leray on the Cauchy problem.
I-" 1-+
(. )_ J111 ...
.J 1-", - I-" fp
121-' 811 /\IIfll
...2p/\ 8fp /\
p(p-l) 1-1
(-1) 2
p. f ,>.
(27fi)P, <8- (5.68)
p(p-l) f3! - 1
(21n)P(-1) 2 p(P-l+If3I)! <8(f*({3+1))'> (5.69)
know (from the proof of Proposition 4.8), that the same results holds for the
J
function
Ijl*Jl-
P, f-+ J(p,; cp) = p,n Ijl* oj 1\ cp.
Moreover, the value of .1(0; cp) has already been computed in (3.33) if cp is [)
closed near {h = ... = jn = O}. These two remarks are sufficient to ensure the
validity of the proposition when p = n. In fact, the two currents are supported
at the origin and their action ignores the non-holomorphic terms of the Taylor
expansion of a test function.
Our proof of the proposition in the general case will use an induction on the
number n - p. We have just seen that the proposition is true when n - p = O.
Let us assume the inductive hypothesis and consider p functions defining a
complete intersection in a neighborhood of the origin U; the test form cp will
be fixed, with support in an arbitrary small neighborhood of the origin. The
idea of our inductive proof is related to the method of fibered residues (that
is, a method based on slicing), which has been extensively developped in [30],
[72],[65J.
If we rotate coordinates, we can assume that the collection (1, h, ... , jp
defines an analytic set of dimension n - p - 1 in U and that for generic values
(p of (1, one has, for any (' close to the origin in c n - l ,
where d(l does not appear in CPl. The analytic continuation of K2 as a function
of two variables has already been considered in the proof of Theorem 3.18;
150 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
since (1 and the Ii define a complete intersection, one can write the analytic
continuation of K2 in the form (3.40), that is,
r
K2 (>. ) = h2 ()
>. + "~
r
TI( Pr,k>'ik
\ 1 +(>')O"r,k \2)
A A
k
where the products TI are products of at most p -1 factors of the form Pr,k>'l +
k
O"r,k>'2; the constants Pr,k and O"r,k are respectively in N* and N; the functions
h2 and kr are holomorphic near the origin in (:2.
We claim that the value h2 (0,0) does not change if one replaces in the
expression of K 2 , the differential form by 2; this follows from the fact that,
in a local chart, K2(>') can be expressed as a linear combination of terms of
the form
>'i / 11l'*(112A2Iwl*2A1 k ---h
d~J t\ 9(>.1, w)7l'* ()
W WJ
for some multiindex k, l, some subset J of {I, ... ,n} of cardinal less than p and
some function 9 which is smooth, with compact support in w, and depends holo-
morphicaHy on >'1. Now one can see that terms arising from the contribution of
1 are such that, at least one Wj, j E J, is already in the monomial factoriza-
tion of 11'* ((t}. As seen in the proof of Theorem 3.18, the contribution to such
terms to h2 (0, 0) is zero. On the other hand, it is easy to see that the function
K 1 can be continued as an analytic function up to an open orthant containing
the origin and that its value at can be computed when replacing by 2, so
that, in order to prove our result, that is h2 (0,0) = K 1 (0,0), one can replace
by 2, which we will do from now on in the expressions of K1 and K 2.
We consider K1(>'1,>'~O)) and K2(>'1,>'~O)) for Re >.~O) ~ 0. Using Fubini's
theorem, for Re>.~O) ~ 0, K1(>'1'>'~O)) can be written as
The symbol J(, indicates the integration takes place on the variables ('. Simi-
larly for K2(>'1'>'~O)), one obtains
>'i / 1(11 2A 2
p! d(lt\d(lt\
(0) - (/
l(ft ... f p )((l,OI
' 2(A 1-
1)--
8(,ft\'I/J ) .
('
Therefore, using Lebesgue's dominated convergence theorem, one can see that
for Re A~O) 0,
where the limit is understood as the value at the origin of the analytic contin-
uation. The same reasoning shows that the value KI (0, A~O)) equals
152 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
'Pj = L aj,kfk
k=1
for some holomorphic functions aj,k and let D. = det[aj,k]. Then, for any test
form of type (n, n - p) in U,
-1 -1
< 0-1' >=< a~, D. > .
Proof. One repeats the inductive argument from the proof of Proposition 5.21,
since we already know the result is true for n - p = O. In a neighborhood of
the origin, choose a convenient system of coordinates and replace K1 and K2
in the preceding proof, by the two functions of two complex variables
to give another example, one can check in the discrete case, that the action of
the residue current on a test form can be obtained as
lim -1
~-->O
( )
n(n-l)
(27ri)n
2
,
n. J(11f11 +f
2
-8
)n+l
/\</>.
Any of these differents results seems to indicate that, when h, ... ,fp define a
complete intersection in U and </> is a (n, n - p) test form with support in U,
the almost everywhere defined function
~ I (</>; ) = J
rl(E)
(5.74)
The fact that this function is holomorphic up to the origin, can be seen to
be a consequence of Kashiwara's theorem [47], showing that the roots of the
Bernstein-Sato polynomial in (5.51) are strictly negative rational numbers. Let
us write the functional equation, after one iteration, as follows
This expression can be further rewritten using integration by parts, via the
functional equation, as
1
- B(J.L)B(J.L + 1) J 2
If(()11L (1)-
7 f1/J, (5.75)
for some smooth form 1/J. The holomorphy at the origin follows from the pre-
viously recalled property of the Bernstein polynomial. On the other hand,
154 CHAPTER 5 - COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
where the differential operator Aj has order at most j. The identity (5.76)
can be used to show that the function J is rapidly decreasing on vertical lines.
The continuity of I, its antecedent via Mellin transform, follows from classical
results about the inversion of the Mellin transform [34].
In the case p = 2, we have shown during the proof of Theorem 3.18 that the
Mellin transform of I is holomorphic at the origin as a function of two variables.
In particular cases, when we have an analogue of the functional equation (5.76)
(e.g., when the Ii are homogeneous and thus, we can use the Euler identity,
and find a relation of the form (5.76) for the product It! li 2 and let N = 1) it
is possible to show the rapid decrease of J on planes Re Al = Cl, Re A2 = C2,
and therefore obtain the continuity of I. (There is some very recent work of
Passare and Tsikh on this type of questions [59].)
To conclude, we hope to have convinced the reader of the importance
of the multidimensional Grothendieck residue as a powerful tool in Analysis,
Commutative Algebra, Number Theory, and even in Computer Algebra. Fur-
thermore, we wish we made clear that a number of deep questions about this
theory remain unsolved, and attracted the interest of the reader on them.
[43J G. Hermann, Die Frage derendliche vielen Schritte in der Theorie der Poly-
nomideale, Math. Ann. 95(1926), 737-788.
[44J W.V.D. Hodge, D. Pedoe, An Introduction to Algebraic Geometry, 3 Vols,
Cambridge Univ. Press, Cambridge, 1952.
[45J L. Hormander, The Analysis of Linear Partial Differential Operators, vol.
II, Springer-Verlag, New York, 1983.
[46J S. Ji, J. Kollar, B. Shiffman, A global Lojasiewicz inequality for algebraic
varieties, Trans. Amer. Math. Soc., to appear.
[47J M. Kashiwara, B-functions and holonomic systems. Rationality of roots
of b-functions, Invent. Math. 38(1976), 33-54.
[48J J. Kollar, Sharp effective Nullstellensatz, Journal of Amer. Math. Soc.
1(1988), 963-975.
[49J B. Lichtin, Generalized Dirichlet series and B-functions, Compositio
Math. 65(1988),81-120.
[50J F.S. Macaulay, The algebraic theory of modular systems, Cambridge Univ.
Press, Cambridge, 1916.
[51 J D.W. Masser and G. Wiistholz, Fields of large transcendence degree gener-
ated by values of elliptic functions, Inventiones. Math. 72(1983),407-464.
[52J E. Mayr and A. Meyer, The complexity of the word problem for com-
mutative semi groups and polynomial ideals, Adv. in Math. 127(1988),
305-329.
[53J A. Meril and A. Yger, Problemes de Cauchy globaux, Bull. Soc. Math.
France (1991)
[54J Yu.V. Nesterenko, Bounds for the characteristic function of a prime ideal,
Mat. Sbornik 123(1984), 11-34 = Math. USSR Sbornik 51(1985), 11-32.
[55J Yu.V.Nesterenko, On the measure of algebraic independence of the values
of several functions, Math. USSR Sbornik 56(1986), 545-567.
[56J V.P. Palamodov, Linear Differential Operators with Constant Coefficients,
Springer-Verlag, New York, 1970.
[57J M. Passare, Residues, currents, and their relation to ideals of holomorphic
functions, Math. Scand. 62(1988), 75-152.
[58J M. Passare, A calculus for meromorphic currents, J. reine angew. Math.
392(1988), 37-56.
[59J M. Pass are and A.K. Tsikh, Residue integrals and their Mellin Transforms,
preprint.
[60J P. Philippon, Criteres pour l'independance algebrique, Publ. Math. IRES
64(1986), 5-52.
[61J P. Philippon, A propos du texte de W.D. Brownawell: "Bounds for the
degrees in the Nullstellensatz", Ann. of Math. 127(1988), 367-371.
158 CHAPTER 5- COMMUTATIVE ALGEBRA AND HARMONIC ANALYSIS
[62] P. Philippon, TMoreme des zeros effectif, d'apres Kollar, Publ. Math.
de l'Univ. P.et M.Curie, Paris VI, 88, Groupe d'etude sur les Problemes
diophantiens 1987-88, expose 6.
[63] P. Philippon, Denominateurs dans Ie tMoreme des zeros de Hilbert, Acta
Arithmetica. 58(1991), 1-25.
[64] P. Philippon, Sur des hauteurs alternatives I, Math. Ann. 289(1991),
255-283.
[65] J.B. Poly, Formule de residus et intersection des chaines sous-analytiques,
Thesis, Universite de Poitiers, 1974.
[66] C. Sabbah, Proximite evanescente I, Compositio Math. 62(1987),283-328.
[67] C. Sabbah, Proximite evanescente II. Equations fonctionnelles pour plusi-
eurs fonctions analytiques, Compositio Math. 64(1987), 213-241.
[68] B. Shiffman, Degree bounds for division problem in polynomial ideals,
Michigan Math. J. 36(1989),163-171.
[69] N. Sidiropoulos, M.S. EE. thesis, University of Maryland, College Park,
MD,1991.
[70] H. Skoda, Applications des techniques L2 a la tMorie des ideaux d'une
algebre de fonctions holomorphes avec poids, Ann. Sci. Ec. Norm. Sup.
Paris 5 (1972), 545-579.
[71] B. Teissier, Resultats recents d'Algebre commutative effective, Seminaire
Bourbaki, 1989-1990, expose 718, Asterisque 1990.
[72] A.K. Tsikh, Multidimensional Residues and Their Applications, Transl.
Amer. Math. Soc. 103, 1992.
[73] A. Vidras, Ph.D. thesis, University of Maryland, College Park, MD, 1992.
[74] B.L. van der Warden, Modern Algebra, Springer-Verlag, New York, 1979.
[75] A. Y ger, Formules de division et prolongement meromorphe, in Lect. Notes
in Math. 1295, Springer-Verlag, New York, 1987.
[76] O. Zariski and P. Samuel, Commutative Algebra, Springer-Verlag, New
York, 1958.
[77] D. Zeilberger, A new proof of the semilocal quotient structure theorem,
Amer. J. Math. 100(1978),1317-1332.
Progress in Mathematics
Edited by:
J. Oesterle A. Weinstein
Department de Mathematiques Department of Mathematics
Universite de Paris VI University of California
4, Place Jussieu Berkeley, CA 94720
75230 Paris Cedex 05, France U.S.A.
Progress in Mathematics is a series of books intended for professional mathematicians and sci-
entists, encompassing all areas of pure mathematics. This distinguished series, which began in
1979, includes authored monographs, and edited collections of papers on important research
developments as well as expositions of particular subject areas.
Proposals should be sent directly to the editors or to: Birkhauser Boston, 675 Massachusetts
Avenue, Cambridge, MA 02139, U.S.A.