2011 Book ComplexAnalysis
2011 Book ComplexAnalysis
Complex Analysis
Lectures given at a Summer School of the
Centro Internazionale Matematico Estivo (C.I.M.E.),
held in Bressanone (Bolzano), Italy,
June 3-12, 1973
C.I.M.E. Foundation
c/o Dipartimento di Matematica “U. Dini”
Viale Morgagni n. 67/a
50134 Firenze
Italy
[email protected]
Springer.com
CENTRO INTERNAZIONALE MATEMATICO ESTIVO
(C.LM.E.)
«COMPLEX ANALYSIS»
Coordinatore: Prof. F. Gherardelli
ALDO ANDREOTTI
A . Andreotti
Preface.
In the spring of 1972 I h ad the opportunity to lecture at Lund
University and more extensively at Amsterdam University and at the
C.I.M.E. session in the. summer of 1973.on some topics of complex
analysis of my choice. The subject has been chosen within the
limited range of my personal knowledge and is intended for a
non excessively specialized audience. We have tried th erefore
not to obscure the ideas, in the attempt to obtain the most gen-
eral statements, with an excess of technical details; for this
reason, for instance, our main attention is devoted to complex
manifolds, and we have recalled basic facts and definitions when
needed. The purpose was not to overcome the listeners with admir-
ation for the preacher but to share with hime the pleasure of in-
specting some beautiful facets of this field. Indeed I was very
grateful .to receive many valuable suggestions; in particular I am
indebted to L. Garding, L. Hormander, F. Oort, A.J.R.M. van de
Ven and e.pecially to P. de Paepe who undertook the heroic
task of writing the notes.
The material deals with the theory of Levi convexity and its
applications, with the duality theorem of Serre and Malgrange,
and with the Hans Lewy problem. The limited time at our disposal
may account for some conciseness that, however we hope, will
turn to the advantage of the reader.
P. de Paepe has corrected several mistakes of mathematics and
presentation; probably only few remained undected.
Aldo Andreotti.
-4 -
A. An d r eot t i
CONTENTS
Chapter I. Elementary theory of holomorphic convexity.
1.1. Preliminaries. 1
1 ..2. Hartogs domains. 4
1.3. Open sets of holomorphy. 5
1.4. Levi-convexity. 12
Chapter II.. Psuedoconcave mani folds.
Preliminaries. 19
Meromorphic functions and holomorphic line 22
bundles.
Pseudoconcave manifolds. 27
Analytic and algebraic dependence of 31
meromorphic functions.
Algebraic fields of meromor phic functions. 35
Chapter III. Properly discontinuous pseudoconc~e groups,
the Siegel modular group.
Preliminaries. 40
I
Pseudoconcave properly discontinuous groups. 43
Siegel modular group. 45
Psuedoconcavity of t he modular group. 47
Poincare series. 52
Chapter IV. Projective .imbeddings of pseudoconc ave
manifolds.
Meausre of ~ s e ud o c o n c avi t y . 56
The problem of projective imbe dding of
pseudoconcave manifolds. 59
Solution of the problem for O-concave
manifolds. 63
The case 0 f dimU; X ~ 3. 67
Chapter V. Meromorphic functions on complex s paces.
5.1. Preliminaries. 71
5:2. Psuedoconcavity for c omplex s p aces. 73
5.3. The Poincare problem. 74
5.4. Relative theorems. 82
-5-
.~ . Andreotti
A . Andreotti
f or every
a! n of
ae = ~=l <3 Zj
d Zj +
jh
z.
a= dZj
where J
af
aZ j = .!(of + .!~)
2 ex j 1 oYj
af .!(~. 1 of )
= 2 oXj - I a
a'Z j Yj
-7 -
A. Andreotti
we define
n af
af = j~l azj
if = ~
j=l 0-
u
Zj
The following theorem est ablishes a cr i t er i on for a function
1 .
ot class C to be a holomorphic function.
l is holomor-
Theorem. A function f : .n - ; of cl ass C
phic iff at every point of n f satisfies the Cauchy-Riemann
equations:
at
-°
=
(1.e.
at = 0, •.. ,
af
= 0, i.e.
all oZn
for 1 1 j ~ n) •
A. .Andreotti
= sup Ir ]
K
V(K, e) = fr € !I(Jl.)
Ilf-gll~
d(f,g) = ~
mel
~
~m
r, g eo HUl.).
1 + Ilf-gll K
:n
Since continuous functions satisfying the Cauchy integral
formula are necessarily holomorphic, it fo l lows th at H (U) is
a complete met r i c sp ace (i.e. a Frechet sp ace) and therefore a
Batre space.
We - also note th at bounded sets B c: /I (il) are relatively
compact. This is a consequence of
- 9-
A. Andreotti
2
j ~2 I Z j I 2" d S
n
in II: , n ~ 2.
~ f ext ends holo morphical1y t o the filled up top hat
n 2 2
j;2 I Z j) <. d 5•
-10-
A. Andreotti
A . Andreotti
fIn. = f •
Examples.
°< a < b, if n ~ 2
is not an ODen s et of holo morphy.
2
Indeed for every point Z of the inner bound ;ITy o~l Iz = a
o " J= Jo)2
we can p l ace a top h at T in [ l such th at zo" T.
-12-
A . Andreotti
/\
i.e. if every f e S extends holomorphically to 4 .
Note that by the principle of analytic continuation the extension
of f to f £ #(A) is unique.
For instance for a top h at T, '"T is an )/(T)-completion of
! (nn :2).
Definition.
Let n. be an open set in a: n • We say th at D.. is an open set
of holomorphY if:
for every domain Il c, fl every '"
- completion ,1 of
b. is cont sd.ned in .a. ."
Remark: " Op en sets of holomorphy with a smooth bound ary are
necessarily open sets of holomorphy in the sense of this general
definition. We will see later th at the converse is also true.
we will refer for the moment to the definition given before for
o pen sets of holomorphy with a smooth boundary as the
"provisorlal definition of open sets of holomorphy".
c) Holomorphlc convexity. characterization of ope n sets
of holomorphy.
An open set SL in a: n is called holomorphically convex if
for every compact
,.. subset K c. n.. the holomorphically convex
envelope K of K in IL, de f i ned by
A . Andreotti
( for a comp act K c, n. and some l. > 0). We may assume as well
that K has non-empty interior.
(1) By thiS We mean a sequence [x ,,~ with no a ccumulation point
in .('L •
-14-
Ii Andreotti
sup I fI(x)1 ~
-f.
! IIfll\K
-V
i.e"
1
sup !r(x
v
)1 So (f}i !lfll K •
v
This shows that
X
m E. Km+l • for m = 1,2 , •••
Since X
m 1 K
m = Km we c an find ~ ~ lI(fIJ such that
A. Andreotti
..Am
Now f s £ ~ converges uniformly on every Km and thus on
every compact subset of D.. as any such set is contained in
some Km'
1hus f is a holomorphic function in LL. But from the last
inequality we derive that /f(X
m)
I> m.
Therefore sup
v
I f(x \J
) J s + rI' •
1 a 1I(f!.) ( 1 )
at D f •
therefore for an.y x e K"
an.d therefore
(2) 1
1~1
(~)
From (1) and (2) it follows that the Taylor seri es of f at
1\
a point x ~ K
t1
1 D f ( x ) (z_x)d
at
is majorized by the series
d.
1\ r II K' ) ;ii~ I
and therefore is abs ol ut el y convergent in Q(x) =~ f1z-x 1\ c P/4S.
Now for v sufficiently large Q(x,,) contains the p ointz •
o
Let A be the connected component of Q(x.) Il n. containing x 1J.
)in we set D
et
=
-17-
A. Andreotti
visorial sense. For open sets with a s mooth bound ary the pro-
visorial and the general definition of open "set of holomorphy are
eqUivalent.
+ t~~j34(a)(zd-ad)(z~-a~)
= ta<!13-f(a)
(i)
Eugenio Elia Levi, 1 883 - 1917.
-18-
A. Andreotti
v ~ J(a)v
A. Andreotti
-..
This sho ws th at the signat ure (i.e. the number of positive and
neg ative eigenvalues) of the Levi-form r estrict ed t o t he analytic
t ange nt plane to d U at a i s inde pendent also of the choice of
the defining function ~ f or U near a.
- 20 -
1I.Andr~o1ti
pea) + q(a) S n - 1 •
'\ ( 0) .. a
with
- 21-
A. Andreotti
.A.
j
n
, (z) = 2 Re zl (1 + j;l
,i.e. D C Q..
r
-22-
A . Andreotti
Zl ,= 0, ~('
z l zzl c e , z3 = ••• = zn = OSC:: Q.
Hence there exists a , 0<:'0<:' e , such that
Exercises.
A. Andreotti
A. Andreotti
2.1 Preliminaries •
• ) Presheaves. A presheaf on a topological space X is a
contravariant functor from the category of open subsets U of
X to the category of abelian groups i.e.
for every U an abelian group 5(U) is given and
for every inclusion of open sets V C U a homomorphism
r UV 5(U) ~ 5(V)
is given such that for every chain of inclusions
Wc.Vc=.U of open subsets of X we have
V U
r UW
r W0 r V =
o ~ 5(.Q)
where e is defined by
(l
= r U (f) f E 5 (0..)
i
and where cS is de fi ned by
Example:
~ = fHomcont (U, D:), r Uv 5, where Homcont (U, lC) denotes
the space of continuous functions on U with values in lC and
where r UV are the natural restriction maps, is a presheaf and
also a sheaf ..
-25-
A . Andreotti
or
phism of s onto an open subset of X
~) for each p oint x eo X, x = 1/"-l(x) has the structure
of an abelian group in such a way that the map
~ l(
X
1J' (1) ~ t
given by
is continuous ..
or
:r. r
(1) the "fibered p r od uc t " '!.><.X is d e f i n ed as the part of
lying above the diagonal b. of Xx X by p ro j e c t i on
1I.f1: 'j.T 7 Xx.X ;
A . Andr eotti
(U1' f l) 'U
( U2 ' f 2)
! fl
g = gl iff fg ' = f Ig
-27 -
A . Andreotti
A. Andre.atii.
~i .. -1 ( x,
0 ~ j v ) = ( x, gij(X) v)
with
(1) is holomorphic and never zero
on
-29-
A. Andreotti
(cf. 30 ).
on X, given locally by
A. Andreotti
Then on V(X
i)
Pi
qi =~j i.e. Piqj = Pjqi
Pi' i.e.
qi = gij qj
Moreover on V(X
i)
(l vex j) n V(Xk ) we must have
= 1
One c an c onsider t "e Itl-th tensor p owo r' of Fit, (~, 'ill' X)
which i s gi v e n by t h e t ran s it ion fun e tions t gij)
1 '2 •
-31 -
.A. .Al1dreott i
where 0i [(X,
£ rl)
for a suitable 1 (1 i~1 1 i) and where =
dO ~ O. After multiplication by d~-1 the above equqtion can
be written as follows:
'"'
(doh) + dl(dOh)
~-1
+ •• • + dO
J-1
dy =O.
At each point x e, X dOh satisfies an equation with holomorphic
coefficients and with the coefficient of the highest power equal
to one . This shows that dOh is meromorphic at x and integral
over B x; since t) x is integrally closed dOh .. r must be
holomorphic at x.
Hence 60 IE reX, rl) and also doh'" r E I'(x, rl), thus
c$(X, F).
A.Andreotti
a h
thus = ...Q...
a 6 q (X, F).
O
(1)
As usual the defining function for ay is chosen so that
it is < 0 on Y and > 0 outside of Y.
-33-
A Andreotti
differential equation
df A l' e, = 0
In this way we define a complex structure on ~2
(which - lO~
agrees with the natural one if e =
0). One can show that this
complex structure can be extended to JP2 ( £ ) - [0 S, that if
£.# 0 is small i t provides P2(1I:) -fO~ with a pe eudoconc ave
structure and that it is not compactifiable (cf. section 4.4
and (101).'
Remark: Every holomorphic function on a pseudoconcave mani-
fold is constant.
~ (2.3.2).
Let F be a holomorphic line bundl e over a
pseudoconcave manifold X. There exists a finite number of points
~I"" ~ !.!:. X and an i nte gerh = h(F) s uch that if
s I<: ['(X, F) vanishes at each point ai of order L h lli!!. s= O.
-34-
A . Andreotti
11) .s(P~)=~YE:U I
l p1( Y) - Pi ( x ) / = r x , l~i.s.nSc:.Y
where U is the coordinate patch on which P1 are coordin ates.
Th1s 1s poss1ble in view of the pseudoconcavity of Y.
Let Px' be the concentr1c polyci11n~er to P with
-1 x
radius rxe •
We can select a f1n1te number of po1nts ~, ••• , ~ such that
111) u p~ i» ,
1
Let F be given by trans1t1on functions :
f1 j 15 ~ () l5aj ~ 11:-
a nd set
II Ff I = sup sup I f 1 j I .. e tJ •
1,j 15 n P
~ aj
There eXi sts a point z0 f. sO; a ) , for s ome ai ' s uch that
1 0
0
lSi
0
(Zo) I = M
-35-
A . Andreotti
Therefore
By Schwarz's lemma
where
H s: II F II H e -h =f -h H •
•
" a
h
i
m.~
which associates to each section s e r (X, F) the Taylor expan-
sion of s up to order h - 1 at each poi nt ~, is an in-
jective map by the previous lemma. The righthand space is a
n+h
finite-dimensional vector space over ~ (dimension ~ k( h)}.
A . Andr eotti
2.4.
Analytic and algebraic d epend enc e of mer omorp hi c
functions.
Let X be a connected complex manifold. Let f 1 .... , f k <!: ,reX) .
We s ay th at these meromorphic f unctions are an al yti cally depend -
!!!lit
wherever t hi s i s d efi ned .
A. Andreotti
k
t(i) Eo r ( X, F)
Taking F = Fl ••• F
k th en So = i1J"l 0
and So J! O.
and we have
A. Andreotti
IIG 1\ = e
c,)
~r
S
1T(sO' sp.'" sk' 0' l)€ f(X, • G ) •
A.Andreotti
r
k r Jl + Bwl + l+It)
6=N
k
= N «(krH + :c..lJ + l+k ) ( [krp + awl + 1 + It - 1)
k-I
.A• Andreotti
si
f
i =So
-
ii)
11i) U pI z» Y
~
~ (i)
k
are holomorphic and can be taken among a set of local
holomorphic coordinates.
-42-.
A. Andrec tti
v) Gl~ is trivial.
We set
and we choose
II Gil = e
and we choose the centers of P in V(~) so that at
~
also f is holomorphic, 1 ~ i ~ No'
Clearly 1I:(f1"'"
k,
f f) C ?( (X). Let h ~ '1«X) , we can
find Q E 5t (X) such th at
.I
Then
c( 2 [lI:(fl''''' f k, Q) : 1I:(f1''''' f k) =
11:( fl"'" f k, Q) : 1I:(f1''''' f k, f». [II:( ri , .•• , f k, f) :
1I:(f1"'" f k )1 •
But the second factor of this product equals ct; therefore the
first factor equals 1. This means that h £ a:( f • •• , f f)
l, k,
and thus our contention is or ov e d .
t* : R(y) ~ .::{(X).
-44-
A...An.d.r.e.otti
Now
di mlCY = tr ansende nce d e gre ~ of R (y) _ t .r-anecend enc e
de gr ee 0 f ~( X) s dimi L But di mlC Y i.. dima: I(X ) = 'iim~ by t he
as s ump t i on ab out t he r-ank 0 f the map T".
In part i cu lar every co nnected complex submanifol d of IN(~) is
a pr o j ec tive al gebraic variety (Chow - t heorem).
b) Excercises.
1. Let A be a pu r e- dimens i onal non-sin g ul "~ al ge brai c s ub-
v ariety of lPn(lC). Let ~ = di mlCA . Prove t h J.t A h as a f unda-
ment al system of neighborhoods V(A) in lPn(~) with a smooth
bound ary at which the Levi-form r estricted t o t he analy t i c
tangent pl ane has at least a n e g ~t ive eigenvalues. Let B be a
connected co mplex submanifold of V( A) with di ma:B + a 1 n+l.
Prove th at B is contain ed in an irred uci bl e al ge br ai c subvariety
of lPn(lC) of the s ame dimensi on then B. (e r. (1 51).
A Andreotti
3.1. Preliminaries.
a) The notions developed in the previous chapter can be slightly
generalized with respect both of the notion of manifold and the
notion of pseudoconcavity.
Let us consider first the following situation; X is a complex
connected manifold and r c Aut(X) a group of automorphisms of X.
We will say th at r is properlY discontinuous on X if for every
compact set K c X the set
fr~ flyKnK"~J
is a finite set. In particular taking for K a point f xos we
have that the isotropy group of X
o
t, =fYcC!yx = xoS
o 0
is a finite group.
For any point X £ X there exa st s a
o
rx o
-invariant relatively
comp act neighborhood U( x ) such that
o
II y e tJ(x )
o
~ I y € U(x
o)
for s ome '(f. r , then rt e rx •
o
In fact let us choose a coordin a te p atch around X
o an d let
v(n, for E. > 0 and sufficiently small, d e n ot e the coordinate
b~l with center x and radius S •
o
Set Set:) = lY E rl
, V(e..) n v et) '" ~ •
Choose e. s mall enough s uc h th at V(E.) is r elatively co mpact
o
for c. " [. o ' Then S(E) is f i n it e if ~ < Go. Certainly
S(£.)::/ fx • If for any e, 0 <. e. < Go ' S( ~) ~fx th ere exi sts
a 1e
o
r , 'f ,J.
~
rx wi th -y E:. n
O ~L C ~
S ee,) •
o
o 0
Therefore th ere ex t a t ,s a s e quen c e x - ;> X with -> x
YX By
n o n o•
c ontinui ty Y xo = x
0
and thus 'Y t:: 1" x' a c ontradiction. Th ere-
fore th ere exi sts [ 1 > 0, 0 <' (, 1 < [.0 ' s uc h that S( L) =.lx
o
for 0 <.. s: ~ c 1. I t is t hen enough to t ake
U(x o) = V(ll)·
-46-
A. Andreotti
(1)
By this we mean t h at if "ye.1 a nd oE X are such
1
X
that T X
o
= Xo t hen Y is t he i de ntity.
- 47-
A. Andreotti
PT = det (ClTX)
U& for every 'T Eo r •
Given a (locally trivial) ho'l ouo rphf,c line bundle (f', rt ',Z)
on Z its reciprocal image on X is a f-automorphic line
bundle (F, ft, X, ZPrJ) with the property th at
p (x ) = 1 for every "'( eo f x
r o o
A. An d r e otti
L) fL is rel atively co mp ac t in X
.A. Andreotti
Hn = ~Z G rt c«, 0:)
t
Z = Z, Im Z > °.
This s et c an " be i de ntifi ed with an open s ubset of o:tn(n+l).
Note t h at H is t he usual P oincar~ u p per h alf plane .
l
Consider t he simplect ic group S (n , lR) Le. t h e s et of linear
n n p
a ut.o mcz-oh t.sms of lR >< lR which le ave invari ant t he exteri or
n n
form i~l dx i " dyi' (x, y) E:. lR x lR •
in matrix no tat i on
J = (-I ° I
0)' '»r
{ (zn , lR) = Hom(lR 2n ,lR 2n i.
A _ Andreotti
t vU) > °.
This shows th at V must be non-singular, otherwise f or a vector
w # 0 vw = °
thus it;(t uV tVW)w = 0 which is impossible.
Then we can consider the matrix
-1
(Zl)
I
i (U V
I
)
=
From .the first condition we derive
t
( Zl' I) J(Z1 l) 0 i.e. =
t
z1 = Zl .
From the second we derive
i(t z1 t I) J(Z11) > O i.e. t-
i( Zl - Zl) » 0 .
This shows th lt Zl = (AZ + B)(CZ + D)-l is well de f i ned and
represents a point of Hn• Since the transformation is invert-
ible it gives an aubemorphf.em of Hn•
By the map Z ~ (Z - i1)(Z + i1)-l the generali zed upper
half plane is mapped into the generalized unit disc ZZ < I
which is a bounded domain in II:t n ( n+1 ) and Sp(n, lR) appears
as a group of automorphisms of a bounded- dom ain. Consider the
di screte subgroup Sp(n, ~) of Sp(n, lR) of tho se matrices
with integer entrices. By the above rem ar~ it follows th at
Sp(n, lZ) acts in a properly discontinuous way on H
n
-52-
A. Andreotti
~ Hn •
·1
j\
i) where
ii) for i c j
:.11i )
A . Andreotti
i) rfltJ- = Hn
v(Z) = y-l
UJ ·
Le mma. = (; ~
If I
y w(Z) where w(Z) = n
v(Z)
v( Z) /I
A. Andreotti
(1)
\I
Z(CZ + D) = AZ + R •
Multiplying (1) on the right by w(Z) and equating the real
p arts we obtain
y cr ~ } = (XCX + XD - AX - B) w(Z).
Lr(~)
When Z describes F. the right hand side represents a vector
u(Z) of bounded norm. Since Z" Qt.L there exists a constant
v
c > 0, independent of Y and x, such that
(YX, x) 2 e IIxl/ 2
where (y, x) = tyx denotes the euclidian scalar product;
J' C[r J) c
Therefore
r?Z)
lr(z)J tr(z) r(Z)
i.e.'
11 0
( r(Z)
q)11 s, ~II u(Z)/1
[1]
v V' v
= Y w(Z), r(Z) =
v
and
v
sup
v
r(Z) =o ;
Z e. F
-:5'5-
A. An dr eotti
t v
Multi flying (1) on the left by w(Z) we get
for Z E T we have
~ (Z)
1
=val,
sup
••• , s k('(" Z).'
Y
- 5 6-
A . Andr eotti
A. Andreotti
13 k( f; z) = L.
y,,1 f(.." z)
I
det ( *f ) k
L det
Y6i:.
on compact Sets.
A. Andreotti
dv = vol yep) ~
z=X
o vol!'(Q) •
Therefore if V is the concentric polycilinder of Q of radius
R-r, for any point y " V we have
2
d.t~ (c = (vol P) -1 • vol Q)"
z=y
,;,1 :rWj2 z
., c c
c s
vol (Q) vol (D),
In f act k
~k(rz) =6.l:
L f(~1 z) (~)
yz
=6,;
~
r f(oyz) (mfll
d z
)
k
(~
yz)
)
k
= PI ( z ) -k ae]
s;
fUt z ) WzrL )
d z
k
=P I ( z)
-k 9 k(z).
- 59-
A. Andreotti
This shows that any such Poincar: series repres ents an i nvari ant
section of the -automorphic line bundle F- k•
n -2 r
One is led . therefore to consider the ring JL(D, F ) and its
quotient field Cl (D, F- 2) r •
Disposing of the freedom one has in the choice of the function
f one can show (e r, (191) that the field a
(D, F- 2 ) £ con-
tains m analytically independent mero~orphic functions.
Remark. We have reached the above conclusion using the fact that
~ admits a bounded model. Using instead the usual unbounded
model of Hn one can develop a simular aJ:gument replacing the
factor of automorphy P1 by
l~r Z
f(r ) aet tCZ+D)k
and reaches a similar conclusion but the proof of convergence of
Etsenstein series is more difficult (c r, 491).r
~e result proved in this chapter for the modular group was extend-
ed by A. Borel ([171) to arithmetic groups acting on irreduc-
ible bounded domains of dimension 2 ~ (cf. section 4.1 example 5).
- 60-
A. Andreotti
A. Andreotti
L(~)z =.~
a2 di uu
o dZa.3Z~ Zo c:l e
(where zl' ••• ' zn are local holomor?hic coordinates at zo)
has at least n-q pos i t i ve eigenvalues. In particular a strongly
o-pseudoconvex function is a strongly plurisubharmonic function.
A s we have seen before (l./f) this notion is independent of the
choice of local coordinates, and could also be formul ated as
follows:
there exists a (n-q)-complex-dimensional plane E through
Zo such that ~IE is strongly plurisubharmonic.
A . Andeeotti
Bc = f x e X ~ (x) > c I S
are relatively compact in X ;
(ii) there exists a compact subset K of X such that at
every point Zo ~ :i - K ~ is strongly q-pseudcconvex ,
Remarks.
1.' For all c > inf.p, except for a set of measure 0, the
boundary aBc = Bc - Bc is smooth (By Sard's theorem). The
Levi-form restricted to the analytic tangent plane at
Zo G' dBc to aBc' c <: inf </>, has at least n-q-l positive
K
eigenvalues. Th erefore if n-q-l ~ 1 these manifolds are a
special c ase of the pseudoconcave manifolds studied in
chapter 1 .
For this reason when we speak of a q-pseudoconcave manifold X,
if X is not comp act, we will assume that , Q. ~ q So n-2 , hence
n ~ 2. Indeed only the eigenvalues of the Levi-form in the
direction of the level surfaces of ~ do have a geometric
meaning; taking a rapidly increasing convex function of <P the
remainin g eigenvalue can be forced to be positive on .any given
compact set.
EXamples.
B
i
!! f
l
¥ \I z(i)
j:l j
I2 <: Eo ~
) t
A . Andreotti
A. Andreotti
Let n =
d1m~; to say that ~(X, F) separates points and
gives local coordinates everywhere on X means the following:
(a-:) given x # y X there exist an integer 1, 1 > 0, and
sO' sl e r(x,~) such that
SO(y) ]
det #0
~(y)
A. Andreotti
E!:22.!.
D ~ A. For any two points x # y X we can find an int eger
1 = l(x" y) and two sections q, (3 Eo r:'(X, F
l) s uch t hat
det
« ( X) . q(y) J # 0
[
i5 (x) (3(y)
det ~ 0 •
Set
l)
Al = ~ (x,y)-" X x X I Y (<i,~) € £(X, F x
A. Andreotti
1
Let {sO"," sk} be a basis of I (X, F 0) and consider t he
map f : X ~ F (II:)
k
given by
as we can write
Z
~). It is then
zi
A. Andreotti
;- :
A . Andreotti
l' X-A"';> Z
A. Andreotti
N* *
Since T is of rank n everywhere, and since Z being
",*
normal is locally irreducible, I must be one-to-one and
therefore an isomorphism.(l)
Let "'*
~ X-A ~ Z * be the factorization of 1'" t hrou gh the
normalization Z*w
_ Z of Z. Let T "* be t he closure of the
t"'*
graph of l' • This is also an analytic set as it is c ontained
. -1 ..
in the analytic s e t (I J' w) (T) which has th e s ame dimension
~. ~* A* *
n than T. Let ex: : T -7 X, l?> : T -:;> Z be the n atural
projections. Now let a G A and set "'*
., ( a) = t3d -1 ( a). Let
U be a coo r dLn ate b all centered at a and not cont aining any
other point of A.
(1)
is of r an k n everywh ere and gen e ral l y one-to-one as
)( (X) = a:
-71-
A. Andreotti
Z Z
We will prove that A is a finite set if we show that Y con-
tains at most tinitely many irreducible compact analytic subsets
of codimension 1 (here we use that the singular set of Z•
has a finite number of irreducible components).
Let e: > 0 be so small that Co- c: > iff ~ and that 7 extends
biholomorphically to B
co -e = ~ 4 > c o- l:S. Set
.
-. • N*
Ic _ e• Z - -r (Bc _€,).
o 0
A . Andreotti
call t the cont inuous f unction t hus obt ained. The f unction
-r: Y ~ m, just d e fin ed, h as t he fo llowing properties
i) '( is continuous;
11) Yc ={,/,< c ] cc:. Y for any c z, c
= sup 'f;
0
Y
iii) on Y- yc. - °is cO' and stron gly plurisbh armonic.
E-
o
Then every compact irred ucible anal utic s ubse t of Y of
dimension ~ I must be contained in ~c _ E. by the same
o
,'argumen t given in (y).
Moreover Y is holomorphically convex as it follows from i),
ii), iii) and the solution of Levi problem (cf. ch apt er VI).
It then follo ws by the reduction th eory of holomorphically
convex spaces (cf. [20]) th at th ere is a compact analytic
subset C ~ Y of dimension I at each one of its poi n t s and
such th at any irreducible compact analytic subset of Y of dim-
ension ~l must be cont ained in C (see section 6.3 remarks
? and 4). Since C has finitely many irreducible components
of codimens ion 1 the theorem is pr ov ed .
Remark: only if di mE X =
2 this result can be considered
sEj.tisfactory as the only type of pseudoconc avity available is
O-pseudoconcavity.
4.4. The c ase of di mE X L 3.
If dimE X L. 3in the pr evious theorem the assumption th at
th e ring J1(X, F) sep ar at es poi nt s c an be dropped; one has
in fact the following
Theorem (4.4.1). Let X be a O-pseuQoconcave mani f old with
dim~ X ~ 3. Suppose t here exists on X a holomorphic line
bundle F s uc h th at t he r ing Jf(X, F) gives l ocal coordinates
everywhere on X. Then J( (X, F) do e s also separate points
of X so th at X admi t s a proj ecti ve imbedding.
-7 3-
A. Andreotti
Lemma. Let
V be a c onnected comp act manifold. Let W ~c.. U
~einrrr open subsets of V. Let ~ be a c onn ect 2d complex
manifold and let
1/: X7V-W
A. Andreotti
r: ~2J
0 zn zll z12
where Z =
1 z2l zZ2
z21 z22
t
is a point of Siegel half plane HZ' z = Z, Im Z ) O.
A. Andreotti
Remarks.
2. Makin g use o f the r emark made a f t e r the lemma one can show
that example 3 of (2. 3) gi ve s al so a non-sc ornpac t.Lfd abl e
c omp l ex s t r uc tur e on lP ( G: )
2
-1 Or.
-76-
A. Andreotti
A . Andreotti
f actors through X
'"
/1 X
y~l p
- X
The s pace (X, C1f ) is uniquely lefined up to isomorphisms and
is cxl. Led the normali z ation of (X, l9).
Analogous 's t at ement hoLds r-ep Luc Lng the word " normal" by "weakly-
normal". We thus obt af n the notion of wea\t··normalization space
of (X, 6 ) . A sp ace X and its we.:"k normalization are homeo-
mor phi c . A no r -na'l sp ace is we''';';:!y normal.
-7~-
A-Andreotti
Examples.
1. The space x t
= (x, y)~ 0: 2 I x 3 = y2 ~ is neither normal nor
weakly-nermal as the function ~ is continuous on X and inte-
gral over the local ring of X at the origin as it satisfies
2
the equation (l ) _ x = 0 on X.
x
Its normalization and we:ik normalization is the complex space
0: with 0: ~ X defined by the map t ~ (t 2, t 3 ) .
A. Andreotti
Here
A. Andreotti
Theorem (5.3.2).
(a) I f X is a Stein so ace(l) then & (X) =1l(X).
(b) If X is an open connected subset of a Stein manifold
~ Gt (X) = :r(X).
(1)
A Stein space (or holomorphically complete sp ace) is a
complex sp ace. X (with countable topology) satisfying the
following conditions
(d ) /I(X) separates points Le. if x'; y, x, y" X, there
exists an f <=. H(X) with f(X)'; f(y).
(ii) for any divergent sequence tXi~ c. X there exists an
f E, 6'(X) such that
sup I f(X i ) I = 0".
A . Andreotti
A . Andreotti
A
with p, q
q
" a"
holomorphic on X and Then "q heX) =rr * h and since
tr*is an isomorphism between X and heX) we get the desired
result.
(b)2 Let u& now consi der the general case, in which X is
an open subset of a Stein manifold Y. By the imbedding theorem
for Stein manifolds (cf. r281, [311) we may a3sume th at Y
is a submanifold of s ome numerical sp ace ~N. By a theorem of
Coquier-Grauert ( [ 23]) ~ o ne can find a connected neighborhood
U of Y in a: N and a holomorphic retr:<ction
i : U -,> Y, ley) = y for al l y € Y. Consider the mero morphic
I *h
f unc t a" on ". on ....., -lex). BY th e s peca' a;
~' c ase (b)l we can
find two ho Lo mor-c hf,c fu nctions p, q wi t h q ~ 0 on 1" -leX)
such th at q T * h = p. Since q ~ 0 there exists a mul t i
d (J
index d.. € :JNl s uch th~t D q IX ~ 0 while D q\X :: 0 i f
t~.1 <. I d. I • Then d
D (q T * h) = Dd p. Restricting to X we get
d d d
D al X h = D P IX wi th D q X~ 0
as we wanted.
The previous theorem gives the solution, in some particular
c ases o f the so-c all ed Poincare problem: when, for a compl ex
~ X, do we h ::tve <9 (X) = J( X ) ? Of course t his probl em
is not always solvable, for inst ance for comp act projective
irreducible al.g ebr-at,c v arieti es we have iR (X) = ~ but
- 83-
A. Andreotti
A. An d reotti
iff
- 85-
A. Andreotti
X~y
A. Andreotti
Y " It
is semipJoper and holomor-phic. By assumption d> * g is meromorphf.c
so th,t r is analytic.
A theorem of Kuhlmann (cf. L40J, se also [111, a generaliza-
tion of a theorem of Remmert l45) stutes th at the image of a
holomorphic semipro per map between complex spaces is an analytic
set. By virtue of th at theorem Em X.
= f mus 't be analytic and
therefore g must be meromorphic.
(Y) Let b ~ Y and let V be a neighborhood of b with a
compact closure ,.
Choose K G X compact such th at p(K) = V. Select
f 1, ••• , f k '"' II (X) such that
A . Andreotti
A. Andreotti
Remark. For the validity of this theorem actually one needs only
to suppose th at (a) p is pseudoconcave ·over some open set
A. c Y with A" fJ and such that p-l(A) is normal,
(13) for every compact subset K c:: Y we can find a compact set
K' c. X such th ::.t for every s « K, every irreducible component
of p-l(y) intersects K'.
The proof of this theorem is rather complic ated. It can be
found in [111 with all the material_considered in this chapter.
Remarks.
1. Theorem (5.4.2) is more general then theorem (5.4.1).
For example the family V = 1Xt f , where LJ =~. t e a: I \ t I < IS
t '-ll
eonstructed in 4.4, remark 1, gives an example of a pseudo-
- 89-
A. Andreotti
where t
k
~ .d
k'
w
k
* .
eICk Define the ac t i on o f r on S to be
t he i de ntity . One veri fi es t h ct X = Hie is a t wo-dimensional
manf fol d. The :IL1ni fold X looks like A " a: * in whic h [ 0 ~ x IC *
is repl aced by S (c f. ( 111 ) . We h ave a natur al holomo rphi c
map p : X -;> .1 an d one h ·.s
!I (X ) = p * 1-1 ( 6 ) •
expansion of f
k ~,n(t) £ H(4). Now
-1
k l (t, w) = f k(t, t
f + w), fo r t ~ 0, t here f ore
= 0. (t ) t
- nk . This means th at i f n ~ 0 has
0 ,n ~ ,n
- 90-
A. Andreotti
A An ilr e otti
6.1 Preliminaries.
for q ~ 0
1 ••• 1 = Ui
I and where we h ave set U (\ U· () ••• I1U
1 i q
0 q 0 1
q+l U "
i • • .1 j ••• 1 +1
= ~ (-l)j r O q
j=O U
i o · • .1 q +1
where
A. Andreotti
J ~ ..:
v
H* (?(, :J) -,) H* ( V, '1).
n«
One verifi es th at :r '2.-'-- d e oe nd s only on t he coverings 2{ , 2, Q-
b ut not on th e c h o ice of the refinemen t f uncti on. One c an t hen
de fi n e
L) u; o ¢ tr
ii) f or ev e ry x <c X t h e ind lI C ed n ap t x
is a
gr oup h omomorp hi sm .
-93-
A ....Andr.eolli
1 ""I' d:.
..." H (X, J) -?'
* Hl(X,J' )
(3*
---;> Hl(X,J!> .~
A. A nd r eotti
y
Cech cohomolo gy i s part i c ularl y useful if the topological
sp ace X. a dmi t s a s yst em of coverings ? ( d cofinal to all
coverings 0 f X. such th a t f or an y
U
i O " .i q
Hr(U i i' T ) =0 for al » > O.
o q
Example.
Let X. be a c omp Lex manifold and "2{ = i Ui S be an open
A. Andreotti
[(X, '10 )
i.e.
Hq (X, ar'
j-) 'lJ
'1'
Ker i (X, .....:ag)
__--.. :i.:.;;::-
- Imtf(X, 7'q-1 )
Examples.
A. Andreotti
A. An d r e otti
X=m
2n
/ 7Jn
and let 1": lIfn -7 X be the n atural projection. Let
(I)
It is easy to verify th at if D has a s mooth bound ary aD
this can be also defined by a global equation.
- 9 R-
A. Andreotti
x = (A, A) z el;n, A = ( a )
ij hi ~2n
ls.jm
In particular xl = 2 Re
t " lR.
t
Let c = (0, c 2,···, c 2n) b e a r e .J. v ector in f Xl = 0 J s uch
th ~t the numbers c , c are line arl y independent over the
2,.·. 2n
r ation als. Since t h e mat rix 1\. h as t o s 'J.tisfy th e on l y cond i t i on
de t ( A, A) .#. 0, we c an ch oose A so th at
y = tam
U
( ICni
1)
•
We can now show that fi'(D) = IC. Indeed, let f '" I/(D) and let
z0 be so chosen in Y so th "t !f(zo)/ =maJC If I. There exists
a t0 ~m such that zo'" T(a:n-lt ).
Y
0
A. An dreotti
A. Andr eotti
~.
q
C ( V-, s) :: n rrt j j ,"5) for B, _
0'" q
th ere is only a finite number of groups [(U T(jo) ••• • (jq)' ~).
A. Andreotti
A. An dr eotti
1v) Hr ( U () Bj,"F) =
0 for an;}' 1 and j, any coherent
1
~'"Y and for all r > o •
~. Without lo ss of generality, we may assume th at on a
neighborhood U of B there is a C tP function ~: U -> m,
such that B () U =It , u I~ (x) < 05, (dq)x ~ 0 for every
4>1 =~ -tlP l, 4>2 = Q- cl f'1 - t.2 P2 ' · · · ' 4>t = 4>-E l Pl - · · · - Ct t' t
have all their Levi forms L( ~ i)X > 0 for all x € U.
Define
B
i
=B l x U G U I <t i (x) < 01, for 1 c i s t ,
BO B. =
If the Gi are chosen SUfficiently small then
A. Andreotti
we then have
(i) B = BO co Bl c, • • • Co Bt since I} =<P 0 2. tJi 2 ···~.pt·
(!i) B c.c; Bt since "'0 > ~t on J,B
O
(11i) Bi-B c<:... U has support csz: Ui
i_l i since 4 i-f_l =€iPi
(iv) Hr (Bi (\ Uj , "F) = 0 for r ~ 0, all i,j and all
coherent sheaves ~ since Bi () Uj is an open set of
holomorphy, by the theorem of H. Cartan and J.P. Serre.
step 4.
~ (6.3.3).
~ B a relatively compact open subset of the
complex manifold X with smooth strongly Levi-convex boundary.'
There exists an open set A ~ X such that
(i) B "=e.- A
A. An d r e otti
step 5.
Solution of the Levi problem. It is e n o u ch to s ho w th ;;. t gi v en
a divergent sequence 2x li\ "- D we can find f '" H(D) such th at
DO U =~z" U 19(Z)< 0 5
wi th t 6 If (U) •
It U is au fticiently smdll, then 1f = 0 s(\ D = fj. Choose a
C .,. function p in U with p 2. 0, a upp p <: e, U, 0 ( 0 ) > 0,
and set d:> 1 =~ -!.P. TaIte ~ ;> 0 s o small th at d~ l ~ 0 on U
and L(h) > 0 on U.
Set
A .. D u ~ X € U ¢l (x) -c OS.
T~en A has a smootq strongly Levi-convex bound ary an d t is
holomorphic on A n U. In particul n- by theorem (6.3.4)
d1ma: H
l(A,
9) =r < oP •
A. Andreotti
Remarks.
1. Let us call a manifold X O-nseudoconvex if there exist a
C <f> function 4 X 7 m and a compact set K <... X such that
(i) for every c eo m the set
B
c
=~ X ., X I ¢ (x) < cS
is relatively compact in X
(ii) the Levi form L(t)x of 4> at every point x ~ X - K
is positive definite.
A O-pseudoconvex manifold for which we can take K empty is
also called O-comp1ete.
It can be shown th c~ theorem (6.3.4) extends to O-pseudoconvex
manifolds as follows:
Theorem (6.3.5). For a O-pseudoconvex m;.<nifold X, and any
coherent she af "'t ~ X one has
dimll: Hr(X,"f) " 0" for all r > O.
If moreover X is O-complete then
for all r > O. (d. (2 ] ) .
-101-
A . Andreotti
A. Andreotti
From t his we Qeduce the commut ative diagram with exact rows:
t3
HO(D, $-) ~ II:
x
a II:
y
-;> ~(D, ~ )
t Y.j,\
'"
HO(D ,(}) ~
° ..,-> Hl ( D , ; ~)
Since I is an isomorphism, 1m 13 = ° thus c£ . i s s urjective.
4. Let D be as in 3. Consider the analytic set
C = ~ (x, y) .; D }<. D f(x) = f(y) fo r every 1' '' # ( D ) •
U
i = zi -F ° wh ere we as s um e .>..8 c oo r d i.nrt es
Zo zi_2 zi _l zn
Yl = - t···, Yi - l = , Yi = ~, Yi+l = zi+l t ••• t Yn = -
zi zi a, zi zi
-109-
A. Andr e otti
Consider the hernd.tian form dSl' =)" J.~ log g ziZi where
2. (1 +iYi;-2 ~dYjdYj.
B => C.
(~) The assumption B can b e re pl ac ed by the ass umption
th at t h ere exi sts on X a Kahler metric whos e ext erior form has
r ational period s as we c an al way s multiply th e me t r i c by a p os i -
tive integer to make the periods of t he corresponling exterior
form integr al.
Singular homo logy or cohomology b ased on d i f f e ren t iable sing-
o v
u1 ar simplic es will be d e no t ed by a s uffix "s", Cech c ohomology
by the suffix "v" and th e cohomolo gy o f the d e Rham complex of
di fferenti a b ] e forms b y the suffi x "dR".
(1)
-119-
A. Andreotti
2 2(X,
sH (X, ~) SH lC)
d.1'S d 1'S
JI2(X, ~) k
<---> JI 2 ( X, lC)
1"'5
JtI2 ( X, t)
d
fYi"'i: ~
then it is represented in eech cohomology by a 2-cocycle 1Cijk~
with c t: ~ (modulo coboundari es with values in t).
i jk
In this argUll8nt a: can be replaced by lR everywhere.
A. Andreotti
°-> a: 1"\
-T .I~
°d nl
~ .1<:..
d () 2 d
~..i~ -"7
is exact.
Let fO,O (;"q O,O(U) with <r SfO,O = 0. Then afO'O = fo,l
satisfies a fo,l = ° i.e. fO,l is antiholomorphic. Moreover
A. An d r eotti
0') Let
.
i» =i ~ g
", 7:
dz
d.
1\ dz",
r
be the exterior form of the
Kahler metric. Let "2{ = ~ Ui~ be an open covering of X by
coordinate balls. Since dw = 0 by the p r evio us lemma we can
write
(,<J Iu1 = ~;W1
Moreover c i j k - c l j k + c l1k - C
l1 j =0 on Ui (1 Uj (\ Uk () Ul•
2
Hence ! C1jk~ represents an element of ~ ( 2{, lR).
v
Now the cocycle Z. Cijk~ is the eech represent~tive of the
de Rham cohomology class represented by 4) (up to a sign).
Indeed we have wlu .. d(iw
i)
,
i
A. Andreotti
__ e 2 1]"i P i j
(~) Let gij so th at stj is
holomorphic. ~cause of (1) we get
-1
Let Vi =n (U '2::. Ui J4 II: and let z be the base coordinate
i)
and ~ i the fiber coordinate. One verifies that the func t { "n
j.. (z , e, ) = k i (z ) ISil2
is a well-defined function on F as on
A . Andreotti
C , _> D.
l' -
""~
- d.=O
Set
so
A. And r e o tti
* _.-
Since the filtration of C (1 "', ';J-) is compactible with the
coboundary operator, we obtain a filtr ation of cohomology
H6< V,J) = Hq< U, ~J) ..:> Hi< 2!, :f) :-> H~< r;, r) .::> •••
while from (2) we get
Therefore
(3) s
k=O
q
From theorem (6.3.5), i f s > 0, H <Zf, J ) = Hq(F, T ) is
finite-dimensional as 2Y is a Leray covering of F. Thus if
q > 0 in (3) the left hand side is finite-dimensional. The
same must be true for the right hand side of (3), t her efore
k >.. k
O'
Hq(X, 0 fll J-k) = O.
A. Andreotti
A . Andr eotti
For d =
0 we re ali zed ( The or em (1. 4. 2) o f E. E. Levi) th at
the bound ary of D has t o have a par-t Lcu'l ar shap e . In vi ew of
th at result we ar e Le a .i t o lDnsider t he fo l l owi ng s i tu at ion:
Let U be an open set in a: n and let of : U "7' m be a C ov
function on U. We set
fl- = ~.x € U ) f (x) < 0 5 I
and we assume t Lt on S = 2x E U I ~ (x ) = 0 S
d ~ oJ 0 t so th at
S is a smooth hyp ersurface, which consti tut es th e boun dary of
fl- in U.
Let us consider the Levi-form of ~ restricted t o th e analytic
tangent plane to S at every poi nt Zo G S, and let us 3.Ssume
that at a point Zo e S i t has p pos i tive and q neg at ive
eigenv alues (p+q .s n-l) • Then one can prove the following
Theorem (7.1.1 ). There exists a fund amental se quence of neigh-
borhoods U~ of Zo ~ U s uch th at, for qny locally free
~ ur
on U we h ave
s > n-p-l
=0 or
{ 0< s < q.
\
the number of positive eigenvalues of L(~)z IT is ~ n-d-l.
o Zo
-118-
A. Andreotti
A. Andreotti
for ~ ~ ~n. T~ese forms are a-closed th erefore for any open
2.tl U in a:n_[o} they represent cohomology classes
Hn-l(U, tt). If U contains the closed half sphere
A. Andreotti
leLl
SJf rJ .. ~2"i~;
w A n-
z c a..:..:..! (0)
a: az a
Let rJ > 0 be so small that the part
Sd II fl I Zj 1
2
:z f., Re zl Z - rJ of 5 S is contained in
U. We have
~2ntt
n- I Idol!
L ca. CJdZd. (0).. d s! f IN 1\ jJ
f
+ S S f w II 1.
d -d
B =lj=1
~ I z j l2< d'/4}.
n
Then A and B are Runge domains in lI: • Moreover
Re( zl + d/2) is < 0 on A and >0 on B. Therefore A Ii B
is ~so a Runge domain in En. Let K be ~ oompact subset of
B containing the origin in the interior aQd let g be any hol-
omorphic function on B. We can find a sequence '£ r \J l of
holomorphic funct ions in En such th at
A. A n dreotti
lei I
c
d.
2...-...J!a
a.
(0) = o. Hence all CiS
<L
are zero.
az
Let us now cunsider the case d = n-l. By suitable choice of
local coordin ates at zo' oD near Zo is given by a local
~quation h = 0 and we may assume th at Zo is at the origin
and that
h = Re zl + [aijzi Zj + O( II z II 3)
\z.1 2
h = Re Z
I + LLI -L
+ 2Re (z
. 1 ~~ aj-z
j)
+ dtl A
~ j
\z
jl2
-
where
Aj>O,lJj>O;
A. Andreott i
A. Andreotti
Analogously we h ave
it r < n-q-l
Due to the maximum principle there cannot be an analogue ot
"q-complete" manitolds tor the pseudoconcave case.
Theorem C7.3.3) is only true for locally tree sheaves. Actually
the real analogue of theorem C7. 3.2) is that "for a g-pseudocon-
cave manifold and any coherent sheat 'S" sm X we have
.!2!: r » q+l ,
~ Hr k
denotes cohomology with compact supports. II
Theorem C7.3.3) is obtained from the one quoted above by duality
and thus, if st ated for any coherent sheaf, the number n dime X =
has to be replaced by the depth of the sheaf "J" •
As reference see [2], [7].
7.4. Applications to projective algebraic manifolds (c r , [9]).
a) We revert to the case d =
0 to begin with.
+
Let D be a complex manifold. Let COCD) denot e th e sp ace
ot positive O-dimensional cycles i.e. the tree abeli an monoid
generated by the points of D. We h ave
Pi' D} =D CI ) o
fl D D
( 2)v
A . Andreotti
given by
for
A. Andneatti
A. An d r eotti
Theorem (7.4.2).
a) The function ; ( c ) 12!: c a variable on C~(D) ~
holomorphic function so th at we get a linear map
d
r« : H (D, n. d
)O '"
-p H (C
,C
d(D),L7).
r
their parameter space Cd(D), we h ave
=
: n-l(y)
f t/>d,d" dt =
17 -
1
(.6)
d( d> 1\ dt) =
17'-l(A)
h,;"'dt = 0
-128-
A . An d r e otti
A. Andr eotti
where 00 is defined by
and
A . Andreotti
v
Cach homology. Given a precosheaf . S = t .,)(U), iV
uJ and
an open covering 7...{ = l Ui~ i~I of X, one defines the groups
cS (U:t (j""'4)
.... q
and the homomorphisms
by
aq-l1Jt. i 1 =L(_l)h
""J. O• • • q)
eX : C
o(
21, S) ""7 $ (X) .
Ker o
H (0(,,$) = 9-1
q Im Q
q
If V =~ Vj1, jEJ is a refinement of U, to each choice of
H (X,
<::
c) = lim
~
q U
-1 31-
A . Andreotti
Remark. We may not wish to use all open subsets of X but only
the open sets of a particular class 1?(. This can be don e pro-
vided 7J( is stable by finite intersections and contains arbi-
trarily fine coverings 0 f X.
Hq(U, S) =0 if q ~ 1.
A. Andreotti
The exactness tollows trom the tact that at each point x the
homology of that complex is the homology of a simplex with co-
e tticient in 1" x"
Now the sheaves ~ are soft. Taking sections with compact
q
supports in the sequence (*) we get an exact sequence as the
functor r k is exact on so ft sheaves. We thus get exactness of
the sequence
••• .., C (1A , S ) .., Cq_l('U,$) -7 ••• -i> C ('l{ , c3 ) ~ t3(X)~ 0
q O
and this proves our contention.
One can prove that any fi abby cosheaf is of the sort described
above.
We have tor cosheaves the corresponding s t at ement to the
Leray theorem:
Let -u. = fUi ~ i'I be a locally finite covering of X ~
~ cS be a cosheaf on X with the following property
for every open covering z/' = 1. Vj"5 j ~J we h ave
= H (U
q i
(\ U . n
J
V- , ~) = =0 for every
q> 0
then the natural homomorphism
Hq(1(,J)~ Hq (x, 3 )
is an isomorphism.
A covering ~ of this s ort will be call ed a Leray covering
for the cosheaf $. As a consequence of the Leray theorem, we
mention th e folloWing fact:
~ S>, S , ~II be cosheaves on X and let
Z/ =Z Ui~ i6 I be a Leray covering for J' de an d ,S
~ II.
A. Andreotti
is exact, and compatible with the extension maps. Then one has
an exact homology seguence
h. k. , d
~ H (X,
l
SI) -7 H (X,
l
S) _ H (X,
l
S II) ~
h. k.
.s
HO(X, I) _;> Ho(X'.') -7 Ho(X' .,) II) -? 0
-7'
Note that exact sequences do not commute in gen eral with inverse
limits, thus the Leray theorem is essential to replace here
holomogy on the covering U by that of X.
8.2. eech homology on complex manifolds.
The following lemma is a consequence of the Hahn - Banach
theorem (e r, [47J).
~ (8.2.1). ~
A ~ B .!,. C
be a seguence of locally convex topological vector spaces over ~
A. An d r e otti
t -v
and thus it d e f i n e s an element of Ker u If A I is another
Im tv
extension 0 fA' to B "
then). I - ;., ;" 0 on Ke r v. Then
" - '"A'
AI defines a linear map of v (B) int o !C. If v is
topolo Gical, t hen the map of v(B) into a: is. continuous and
by Hahn - Banach can be extended to a map y : C .~ lei linear
and continuous. This shows th at i.' - ~ , = tY(}J). Therefore
" ..v
.AI and.A I define the same element rCA.) in Ker t u
Im tv
One then verifies that 0 and T are e ach oth ers inverse.
rU
As tr ansposed s of the restriction maps
v :[ (V,ll .., f(V,j='),
for VC U, V, U" 7J(which are continuous) we get extension
maps
cosheaf. Moreover for any .fl l&. 7?( and any countable locally
finite covering U = f ui } iEI of 0., !llh. U c. JJ(, we have
Hq(U~~) =° .!2.!: q) 0.
v
~. The augmented Cech conplex
0-> [(fI.,rr) -+ Co(1.(,C;) ~ Cl ('2(,"J') 7 ...
is a complex of Frechet spaces (as V is countable) and con-
tinuous maps. By theorem B this complex is acyclic, i.e.
the sequence is exact. By the lemma (8.2.1) the dual sequence
is exact. But that is the sequence of the augmented homology
complex.
°~ "{(0-) Co(V, T.) ~ Cl ("2(, T.) ~ ...
+-
(II)
A. Andreotti
Theorem (8.3.1)
( a) II cS q is a topologic al homomorphism then
H (X,
q
t.) = Hom cont (H
q(X,1"),
lC).
v
8.4. eech homology and the functor EXT.
U -r Hom
e)u
and y are coherent so is the sheaf PI om6' (1, f).
is a family of sup norta, we set
is exact.
-137 ~
A. Andreotti
t xt
q
tY ('7';').
This is a s he a f of &- -modules and one verifies it is independent
of the choice of the resolution (.).
Moreover if 7 and Y-
are coherent then E xt
q
t1
(j'f.) is
a coherent sheaf. This can be seen as follows:
Let
••• 7~ 2 ~d' 1 7'/0 - 'Y-;. 0 (**)
(1)
On any open set of holomorphy U e X we h ave such a resolu-Co-
A Andr-eotti
where
A. An d reotti
~.'
(<1) Let "J' be a locally free sheaf on X and let U be
an open set of holomorphy in X. The sheaf T
can be consider-
ed as the sheaf of germs of holomorphic sections of a holomorphic
vector bundle E, .~ =
(E). Let E* denote the dual
bundle of E; if E is defined by the transition functions
fg i j 5 then E* is defined by the transition functions sI t gij
-llI •
Let /i
r,B(E) denote the sheaf of germs of C oJ' forms of
type (r,s) with values in E and let ;XU,V (E*) denote the
sheaf of germs of forms with distribution coefficients, of type
(u, v), with value in E*.
Since U is an open set of holomorphy, the sequence
o~f(u, SeE»~ ~ (U, AO'O(E»!. (U,JiO,l(E» ~ •••
••• ~ [(U,Ao,n(E» ~ °
is an exact aequence of s paces of Frechet-Schwartz and contin-
uous maps. By the duality lemma (8.2.1) the dual sequence is
also exact. But this is the sequence
° ~ (U,19 (E»' ':i k(u,1C n,n(E*»! k(U,7(n,n-l(E*»!
••• ~rk(U,1(n,o(E*» e: 0.
Now for any vector bundle E*, denoting by ~n(E*) the sheaf
of germs of holomorphic n-forms with values in E*, we have
in the exact sequence of she aves
°4 Jl.n(E*} ~ it n ' O( E* ) ~ ::tn,l(E*)-r
A so ft resolution 0 f .a. n( E*) • Therefore, since E* can be any
holomorphic vector bundle and hence ~n(E*) any locally free
sheaf, we get:
-140-
A . An d r e ott i
(U;'1,~) =0
»: )
ElC~ if P ~ n
k
ElCrfl (Uj
k
if q ~ 0 as jF is locally free. Mo r e o v e r
-0 7.Jf omt9 «6 p' /I )~ ;:{om& ()S p' ;/o ) ~;;f om£9 c.); p'; 1) -T •••
is exact as ~ is locally fr ee and provides an inject ive
~ p ~ .,
resolution of :/(omc: ( ,,(;P'i-). Taking cohomolo gy with respect
to t he differe ntial co ming from th e r esolution (- ) we get
-141-
A. Andreotti
Efiq=H~(u,;fom§~p';»=o if ql-n
(0) H~(U; i/om ~ (rP 0' 1» ~ H~(U; .;rom & (06' 1 ,f) -7
A. An dr eotti
El{T~(X;1\~ ).
We apply this lemma to $. =S1.n • Then [xt~( 1', S\.. n) =0 if
A. Andreotti
Remarks ..
1.' If j! is locally free 1.e. the sheaf of germs of
holomorphic sections of a holomorphic vector bundle
E, or =
&(E), then
Ext ll (r',S1
n)
=0 if II ~ 0 and E xt~ ('1,-St n) =
=if o.m & (oj, fl, n) =Jl.n (E* ) ,
E* being the dual bundle of E. Therefore
ElC~-p (X;&(E),J1,n) = a:-p(X, Jl,n(E*)
so that theorem (8.4.3) gives
Hp(x,B (E)*) ~ ~-p(X, .n,n(E*».
In particular if E is a line bundle, E* = E- l and we get in
this case
~(x,9 (E).) :: a:-p(X, An(E-l».,
A . Andreotti
sheaf &:
While the sheaf ~* is a sheaf of ~ultiplicative groups, the
is a sheaf of multiplicative .onoids.
We thus get two exact sequences of sheaves
~j : Ui {\ U j T Ie * s, j E I
Correspondingly we have
lD} =lD~} .fD",}-l.
The study of general (i.e. meromorphic) divisors can thus be
reduced to the study of holomorphic divisors.
-145-
A. Andr eott i
A . An d r e otti
- dima: Hl(X,~ ).
Now:
HO(X,e ) = II: as X is comp act thus dima: HO(X,6J) =1.
_1
I1(X,19) is finite-dimensional and, by duality, ~ H (X, _<1 1 ), °
the space of holomorphic differentials on X. Its dimension
is e al.Ledtthe genus g(X) of X.
A. Andreotti
Therefore
- deg (D ,..).
A. And reot ti
0"";' O ~ 8 ( D ) ....,. 6) ( D) / D -7 °
where s is a section of f DJ co rres pon di ng to t he di vi s or D.
- 149 -
A. Andreotti
2(X,
~ ~(x, CJ) ~ H t9 (D» -7 0.
We have
A. An d r eo tti
2•
Therefore if deg~DsjD > 0, dim IID) grows like 1
Therefore
A . Andreotti
9.1. Preliminaries.
To simplify the exposition we restrict ourselves to the
space a: n although the results will hold on any complex manifold
with only formal changes of notation.
Let U be an open ,... ct in a: n and let p U ~ m be a . C <>D
function. We define
U+ = ~ Z E- U I p(z) 2. O}
u- = fz ~ uI p (z) s::. OS
(3 E.. CO,s-l(U) s.
We have atj0s(U)c;J°,s+l(u), therefore
;j*(U) = .lL
S
U O,s(U) is a sUbcomplex of C*(U) and indeed a
di ffernetial ideal.
in a similar way one defines the sUbcomplexes <1*(U:) of C*(U:).
-152-
A. Andreotti
O*(S) = tQO,O(S)
by the exact sequence
o -:p j"* ( U) ~ c* ( U) -;> Q*(5) --? O.
Remark.
We have .{jO,O(U) =~t>o,o : U~ a: I ~ °'°15 = °5 thus QO,o(S)
represents the space of C <P functions on S. For u <c Q ' (S) °°
the condition ~S u = °
is a necessary condition for u to be
the tr~ce on S of a function ~ € Co,o(U+) (or 'it. €. CO,O(U-»
which is holomorphic in fl+ (or fl-). Indeed if U is a
C d' extension of u
to U- (or u") we have
~ 11 =° on U+ (or U-) and therefore :;; U = fer.. for some
a c CO,l(U), i.e. as
u = 0.
In general calling the im ~ge of a form of CO,s(U) on
QO,s(S) the tr ace of that form on S, we can st ate th at for
u E Q0 , s the condi tion u = as °
is a nec ess ary condition for
- 15 3-
A Andreotti
i.e.
Same argulllent :Eor U-.
Example.
2
Take U = t , zl = Xl + iX 2 , z2 = x3 + iX as co ordinates
4
on a: 2 • Let
p 5 X
2
4 - (x + x
2)
= 2i (Z2-- Z2) - Izl l
2
A . An dreotti
- compute _'1J
au;
'V
c\i
=
_1.1\
(1U ~ dZ + dZ
l 2
zl z2
'\) N
- ~
dZi. - ~ (2i~p + 2iZi.dz
l)
aZl o z2
N
as u is .independent 0 f x and ~, can be taken
4
can be taken as coordin ates on 5.
In conclusion the complex Q* (5) is isomorphic to the complex
on lR 3 where ~ = xl + 1X 2 ' and x
3
are coordinates
where
L =~ - iZ l ~
oZl 0%3
A , Andreotti
is another aUbcomplex of •
C (U) and in fact a subcomplex of
u
~*
(U). The quotient complex
•
C (S) =C tI
(U)/'J (U)
•
is
concentrated on S and is obtained by restricting to S the
coe fficients 0 f the C rjJ forms on U.
We have
0-7 C...(U) -p c" (u+) It C· (U-) ~ c" (S) .....:p ° is an exact sequence
from which we get a cohomology sequence
° ~ HO,o(U) 7' HO,o(U+) It HO,o(U-) -» HO,o(C· (S» ~
(1)
j'o,o(U) a ~O,l(U)
, °(U)
.o is exact.
o~
-:r ~
1 o , 1 ( U)
~.
(Q) Let u €: -d O,O(U)
Assume th .\t the coefficients of ju are fl at on S. Then
.}pqllS =0.
-156-
A..Andreotti
;1' Q'21 s = 0 .
thus o: 2 = pc( 3 for some C( 3 E; Co,O(U), thus u = p3dy
Continuing in this w~ we see that u must be flat on 5 i.e.
we have exactness at d 0,°1'1°,°.
«(3 ) To treat the general case we will make use 0 f the
following fact
Given on S a seguence
O'
f f
l, 2
f , 2! C CI' func tions,
there exists a C d' func tion F 2!! U such that
ok F
d pk
I5 = fk
for k = 0, 1, 2, ..•
This can be derived as a particular case from the Whitney
extension theorem. Also direct proofs are available.(l)
Let f e {jo,s(U), s 21. Then f = I'd. + ap /I (:, for some
and (3. Using the above remark, we can find a form
r> 1 E. CO,s-l(U) such that
131 1
5
= 131 5
akp
(*) _l[ =0 for k = 1, 2, 3, ...
S ap k
Thus we can write f = (f - a p" 13 1) + "5p /I ( \ = pGJ. + a p " 13 1
as the coefficient of f - Jp )\ 13 1 vanish on S while (31
Then
u - a(p(\) = peal - 81\).
Set y 1 =« i - 3~1· By the assumption we get ~e .1\ '(11s = °thus
Il=P~2+~f'/I(32 with 13 2 satisfying (*). Then
u -
-
o(I'f31 + tf' 132 ) 2
=p 2 -
«((2 - h~2)·
_ m+l pk m+l
u - a (~ i t 13 k)
1
=P Y m+l
() k' k~
T t Is = ~ =0 for k = 0, 1, 2,
~f'
e
Set v = f then (l f f: -~ ,
ap J.f ° s-l (U)
. and we have that u - ov
has flat coefficients on S. This proves exactness at
~ 0,8(U)/):'0,8(U).
A. Andreotti
A.... Andrec.tH
nn
~ Hom (rt..n-), (X,JL), ~).
And
A. An d r e otti
Example.
Let us consider the situation of the example given at the end of
section 9.1.' Here U = 1 x
4
+" Xl2 + x 22 ~ is an elementary con-
vex set while U is the closure of the complement in ~2. The
boundary S of U+ is strongly Levi-convex. Let a E S and
let J1 be any neighborhood of a which is also a domain of
holomorphy. Writing for fI.,.ft+,.n. - and SJ1, = nOS the Mayer-
Vietoris sequence, we get the exact sequence
-161-
A_Andreotti
We have
i) HO,l(Jl) = 0, HO,2(.Q) = 0, as n is a domain of
holomorphy.
11) Ho,l(Jl+) = 0.
This fact is a consequence of the regularity theorem of
Kohn and Nirenberg (cf. next section). It would be desir-
able to obtain a direct proof in this special case.
iii) Since U- has a pseudoconcave boundary one realizes that
for every point a €o S we can find a fundamental sequence
of neighborhoods Jt. of a, which are domains of holo.
morphy and such that
HO ,0 (-J\) ~ HO, °(Jl-)
is surjective (and an isomorphism).
Making use of this information the sequence of Mayer-Vietoris
gives us the following isomorphism
HO,l(JC) ~ Ho,l(s.rJ
A . A n d reotti
lC
is sufficiently small. In fact by a loc al change of holo-
morphic coordinates at a we may assume th at s..n. is
strongly elementary convex (1.4, exerci se 2). Then the
statement is a st~aightforward consequence of lemma (7. 2.2).
An immediate consequence of this fact and the isomorphism
established above is the following theorem first proved by
H. Lewy [37].
Lu !! ~ iz ..L1!
1 aX3
= f
oZl
for any point a ~ lR 3 we can find a fundamental sequence of
neighborhcjods wiJ such th at for infinitely many f Eo C"'( w >1)
equation does not admi t any solution u E. C"'(w y ) .
A. Andreotti
2!
°
[
< s < q
Moreover, if P > 0, we can select the seguence ~ U } in such a
v
Way that the restriction
HO,O(U-J) ~ HO'O(U~)
HO,O(U ~ HO'O(U~)
lI)
is surjective, Le. Uy is in the "envelope of holomorphY" of U~,
u+ HO,o(U+) HO,P(U+)
ls !S
s HO,o(S) HO'P(S) HO,q(S)
6151 ~~51->
-
pI
U HO,o(U-) Ho,q(U-)
A. Andreotti
°
Again the groups marked in the picture are all infinite-dimensional
In this case in dimension p the Cauchy problem is not solvable
from either side, only the Riemann-Hilbert problem is solvable in
that dimension.
Remark. In both cases in dimensions p and q we are in the
presence of systems of first order partial differential equations
Lu = f on S which for infinitely many C rP functions f sat-
isfying the integrability conditions have no solution u of
class C-:
9.6. Non-validity of Poincare lemma for the complex f R~ (S), JS •
On S we can consider for any s the sheaf QO,s defined by
the or es he a f
JL _ QO's(Jl.)
We thus get a complex of she aves s,* = 11 rl's with differential
-
as . os ...
2J
operator QO'O ~
QO,l -4 QO,2 ~
IN" 1.'V'
""'"
It is natural to ask of t his se quence of she aves is exact. Indeed
in th at case<it woul d provide a soft resolution of th e she af
.9(S) of germs o f C"" functions f sat i s f yi ng th e :restricted
Cauchy-Riemann equ ations is f = 0.
-165-
A Andnaott,'
£. C"'(w) 5•
As such QO,p(u) has a natural structure of a Frechet space.
- 166-
A . An dr-eotti
ti
'\!
BP( w)
E~ - 7 BPC"",v)
(j
1
With j an d d cont inuous. We h ave j C E ~ ) = r: ivC BP ( ~v» '
Thus t his s pac e is a con tinuous i motGe b y .-J. l ine ar map of a
Frec het sp ace. By the BCUlach open mappin g theorem we mnst h ave
on e o f th ese t wo ~ r o pe r t ie s
-167-
A_ A n d r eotti
is of first category.
3S }JV = g
s = fx .. X I p (x) = Os
is a smooth hypersurface (dp # 0 on S) dividing X into the
two regions
X- = ~x E X I p(x) ~ o I, X+ =[x E X I fl (x) :: 0 S•
-168-
A. Andreotti
and similarly
A . Andreotti
(1)
In the sense that it leads to maps between infinite-
dimensional spaces.
-170 -
A . Andreotti
BIBLIOGRAPHY.
(1) Andreotti, A.: Theoremes de dependance algebrique sur les
espaces complexes pseudo-concaves. Bull.
Soc. Math. France 91 (1963), 1-38.
[2] Andreotti, A. . and Grauert, H.: Theoremes de finitude pour
la cohomologie des espaces complexes. Bull.
Soc. Math. France 90 (1962), 193-259.
[3J Andreotti, A. and Grauert, H.: Algebraische Korper von
automorphen Funktionen. Nachr. Ak. Wiss.
Gottingen (1961), 39-48.
[41 Andreotti, A. and Hill, C.D.: E.E.Levi convexity and the
Hans Lewy problem. Part I: Reduction to
vanishing theorems. Ann. Sc. Norm. Sup.
Pisa 26 (1972), 325-363.
[5] . Alilireott:t, -.A. and Hill, C.D.: E.E. Levi convexity and
the Hans Lewy problem. Part II: Vanishing
theorems. Ann. Sc. Norm. Sup. Pisa 26
(1972), 747-806.
[61 Andreotti, A. and Huckleberry, A.: Pseudoconc ave Lie
groups. Compositio Mathematica 25 (1972) ,
109-115.
[7 J Andreotti, A. and Kas, A. : Duality theorems for complex
spaces. Ann. Sc. Norm. Sup. Pisa, to appear.
[8] Andreotti, A. and Norgu et, F.: Probleme de Levi et
convexite holomorphe pour les classes de
cohomologie. Ann. Sc. · Norm. Sup. Pis a,
s. 3, 20 (1966), 197-241.
[91 Andreotti, A. and Norguet, F.: La convexite holomorphe
dans l'espace analytique des cycles d'une
variete algebrique. Ann . Sc. Norm. Sup.
Pisa, s. 3, 21 (1967), 31-82.
-17 1-
A. Andreotti
Berlin, 1971.
[12J Andreotti, A. and Tomassini, G.: Some remarks on pseudo-
concave manifolds. Essays in topology and
related topics. M~moires dedies aG. de
Rham, 1970, 8.5-104.
[13J Andreotti, A. and Vesentini, E.: Sopra un teorema di
Kodaira. Ann. Sc. Norm. Sup. Pisa, s. 3,
~.5 (1961), 283-309.
[14] Andreotti, A. and Vesentini, E.: Car1eman estim ates for
the Laplace-Beltrami equation on complex
manifolds. Publications Mathematiques
I.H.E.S. 2.5 (196.5), 81- 130 .
[1.5] Barth, W.: Der Abstand von einer algebraischen Mann-
igfaltigkeit im komp1ex-projectiven Raum.
Math. Ann. 187 (1970), 1.50-162.
[161 Bochner, S.: Analytic and meromorphic continuation by
means of Green's formula. Ann. of Math.
44 (1943), 6.52-673.
[17] Borel, A.: Pseudo-concaVite et groupes arithm~tiques.
Essays in topology and related topics.
Memoires dedies a G. de Rham, 1970, 70-84.
118] Bredon, G.: Sheaf theory. Me. Graw-Hill series i n
higher mathematics, 1967.
-172-
A. Andreotti
A. An d r e otti
A. Andreotti
A. An d r eotti
J.J . KOHN
J . J . Kohn
Introduction.
J . J . Kohn
.T. .J. Ka h n
(1. 4) ()(k-
Zj' for all k, j = 1,2, •• • ;n.
The equatlons ()) and (4) are best expressed ln terms
of dlfferentlal forms settln~
c( =lcl.dz ,
J j
and
we have
(1.)') dU = 0(.
(1.4' )
J . J. K ohn
J . J . Kohn
,-,J
In B we deflne h by
(1.6 ) h = ph - u,
...,
Then h ls the requlred solutlon slnce, by (3) and (5)
lt ls holomorphlc and slnce
"V
h =h ln an non-empty open
subset of u and hence throughout u.
It remalns to be shown that when n ~ 2 then there
exlst u E (:([:n) whenever the o(j E CoOQU[.n).
Followlng Hormander (see [11) 2.3), we deduce thls from
the followlng classlcal solutlon of (3) ln one varlable.
Namely, if J1. C ([ 1 and b.Q, the boundary of Jl ls
smooth and lf u E: ("'" ( (l) then
1
=m
dlfferentlatlng and changlng varlables agaln, we obtaln
-184 -
J . J . Kahn
= 1
"21iT f5
..n.
~d-r
'l-Z "
dT
(1. 10 ).
(1.11)
~ IS
C
0<.1 ('I: 'Z2'··· ':?:n)
't' - Zl
d 'L" d:e
= oI.1('t'"+
= 1
~
-185-
J . J. Kahn
(1.13) La j r-
Zj
0,
J . J . Kahn
(1. 14.'.).-
( 1.1.5') j = It •.. t n •
(1.17)
-1 87-
J . J . K ahn
and hence
(1. 18}
setting
H :: 2
(1.19' f - fo r - f 1 r /2
we obtain
(1. 20)
as required.
It should be mentioned that the tangential Cauchy-
Riemann equations (14) have been studied extensively (see
Boc hne r ( 2) ,Lewy [2 21 • Kohn and Rossi [ n1
Kohn [15] , Andr eot t i and ~ il ~ [-1] • . e.tc. ).
In fact, the famous example of Lewy of an equation
without solutions is one of these. We will return to this
equation later.
Our main concern will be to study (3) on a domain
without any restriction on the support of cc , Suppose, for
example, that the c( j E L 2 cD.. ) then ..we wish to find L
u~L2(rt) satisfying (3), by this we mean that we want to
find a sequence of smooth uy defined on..fl such that
in L2 eQ ) we have u:: 11m u y and o(j :: 11m u yzj •
Suppose that there exists a point P E. b{l and a holo-
morphic function f defined in a nei~hborhood 11 of P
such that f (P) :: 0 and f ~ 0 in U(\JL - {p J. Then
-1 88-
.T . J. Kohn
J . J . Kah n
(1. 2J)
J . J . Ko h n
Lecture 2. Pseudo-convexity
nc tr n
We will now study the properties of jL ~ which
insure that there is a local holomorphic separating function
at PE bCl. As was pointed out in the previous lecture it
is enough that.fl be convex in a neighbor!;!ood of P.
However, the notion "of holomorphic separating function is
invariant under holomorphic transformations whereas the "no-
tion of convexity is not. We will introduce the property
of "pseudo-convexity" by, roughly speakin~, isolating that
feature of convexity which is invariant under holomorphic
transformations.
We assume that blL is smooth; that is, that there
eXists a real-valued function r defined in a neighborhood
of bil such that dr '" 0 and r =0 on b...C1. We will
fix the sign of r so that:
(:3.1)0 r > 0 outside of n and r < o in D.. •
The domain n is convex if the Hessian of r (1.e.
J . J . Kahn
wherever
(2.3)
.::: ) (l:)
ratic form
rz z (P)
i j
( rz z (P)
i j
n
(2.4) > 0,
whenever
° for P E b.a.
J . J. Kahn
by
(2.8). ;\
p
(L. L') = «oar) • 'p
L;\L'> •
J . J . Kohn
(2.11~ _
(2.12)
where
as desired.
We are now ready to prove the following classical re-
sult.
Theorem. If i1. is a strongly pseudo-convex domain and
-194-
J . J . Kohn
Setting
(2.17 ) Z
i
= ui for i = 1, ••• ,n-1, and
we have
(2.18) r = Be ( z ) +
n
L r zi zj (0 ) Zi Z
.J
,+
(0 )
Since r is positive definite we also have ,r _ (0)
u U ZiZj
i j
J. J. Kohn
J .J. kahn
inequa 11 tv ,
Proof of the theorem: Suppose h is a holomorphic function
defined in a neighborhood of (0,0) with h(O,O) = 0. If
h(O,w) !!! ° then r, (O,w) : \e (w) which changes sign as re-
qu i r-ed , If h(Z ,0) !! °then h(Z,O) = fo<z) which changes
sign by the above lemma. Otherwise some of the zeroes of
h can be Deranretriz ed RS f011ows:
-197-
J . J .Kohn
(2.23) · ' z = q
w = with I'l 0.
P
(2.24)r =
(2.25):.:
and
L(r) =
° on
J . J . Kohn
(2.2q) L = La J ~
aJ
For each non-negative integer k we define a space of
vector 'f i e l ds i (rL..) on 'u as follows
where IJ
,
W' €- oJ...
'f"k-1(L)
'
r ~
J:.. 0 (L) and
r V' v' r .
We say that L is of finite type at P if for some
~ we have
( 2 • 30 ) . . ; ( : (L ) T/,O(o"J)) + r O,·1(b1U,
!"
where t'~ (U denotes the vector space obtained by evalu-
ating alFthe vector fields in 1 k (L) at ? 'r he lowest
integer it for which DO) is true is called the order of
L at .' and i f DO) is not ture for any k then we say
that L is of infinite order at 2 . l'he following hold :
(A) If .it is pseudo-convex, then it is strongly
pseudo-convex if and only if for each P c- b 51 an d each
J . J . Kahn
order 1 at P •
(B) If U is open and all vector fields on U are
of infinite order at f' E u n b n, then the Levi form is
identically zero on
The basis for the above properties is the following ex-
pression for the Levi form in terms of vector fields
with values o n r 1,O(b..Q).
(2.)1) <d~r , Lt.L> <ar , [L ,E l >
This formula follows from the fact that
and the classical expression for the exterior derivative:
J. J . Kahn
since crTQ(V) r
~
1, °(V ) + T O,l(V
.~
we have
J . J. Kohn
f! f = { ZEn\U(Z)< c}
is compact.
J . J . K ahn
we have
J . J . K ahn
Lecture 3. Formulatlon of the a-Neumann problem.
J. J . Kohn
(3.6 )
J . J . Kahn
(J.1O)
(J.12) liull
A
f c(lruji B , uEDom (T) n[<1«T*)],
(0 ) <R(T* ) 1s closed
J . J . K ahn
\\ 'fIls = i nf 1(tp , IP ) BI
lI ~llB
The proof is then complete since (b) ' :::;> (a) and (d) ~ (c)
are clear.
J . J . K oh n
(3.1) ST = 0
We define 2{C.B by
(3.15 )
for all 'f'~ Dom (T*) () Dom (S) 1fi th If> .1<K..
(J. 16 )
T*S* = 0
If' £ ~ wi th tp .l Jt
- 20 8-
J. J . Kahn
f = 1f + ~2 •
1
'f
k
Eo Dom (T*) n Dom (S)
J. J . Kohn
2 2
liek 11 B + \\ s t> k 1\C ).
Setting
we obtain
2 2 1
llT*lf II
k A
+ II S<pk(I C <. K
(J.1?)
J . J . Kahn
(3.19) It = 'Yl(L) ,
since clearlyj(C?1(L) and if LV' =0 then
2
(3.20 ) (L'f .....)
. B
+ l\stp\\ = 0
C
so that Y'~X.
J . J. Kohn
-1
(j{ (I + T'l'*) C Dom (T'1'*).
-1
s1m1larly (}((1 + 3*3) C. Dom (S*8) and we have
-1 -1
R = (I + S*S) - TT*(1 + TT*)
-1 -1
(L + 1)3 = TT*(1 + TT*) + S*S(1 + S*S) + 3 = I
. 2
Finally L + I 1s injective. s1nce ((L + 1)/f.tp)':::; l\epli.
-1
and therefore. R = (L + I) •
();"22)
(J.22' )
J . J . Kahn
(3 .24 )
(3.26-)
-21 3-
J ..J . Kahn
hence
Defin1ng F by setting
1
J. J . K ahn
~. 0 on J{.
N =
L K on 5'
Denoting by H : 8 -7X the orthogonal projection into
~ we obtain the orthogonal decomposition of
(3.31) SS*SN~ = 0
and thus
2
(SS*SNoe, SNoe.) = ~S*SN,( II = 0
J . J . K ahn
D.}2 ) LN ~ I - Hand HN = NH = O.
where H B4 Jf is the orthogonal projection onto -;.e. It
then follows that each o:eR has the ortho;z:onal decomposition
(}.}O) and that the necessary and sufficient condition for
the existance of a solution u satisfying 'ru =~ is that
S =0 and ~J.Je. then u = 'l'*N"" . It also follows that If
P : A -7 7'l(T) is the orthogonal projection onto neT) then
(3.33) P = I - I'*,'H.
J. J . K ahn
now
TP = T - TT*NT = T - LNT = T - T - HT = 0
0.)4)
J.J .Kohn
J . J . Kohn
Lecture 4. The basic a priori estimates.
= S<,eY.(e
JL
-~), YJ> S d 'v - e -;\
bSt
.(€(~,dr)'f" ~> d\/
= (e~ j'(e->''f) ,'V) - ' (~-~ <G"(~,dr).,,'tI> av ,
(>.) {~..
J . J ; Kohn
(4.4)
for all 'f'!'EQP,q-l wlth compact support and slnce the set of
these ls dense, we conclude that
>- -).
=e j":(e 'f) for
J . J . Kahn
(4 . 8)
where
I = (i , ••• , i ) w1 th 1 <. 1 < 1 <. •• < 1 < n
1 p 1 2 p
and
1 i i
IJ J P 1 j
co = (..,. 1\ • '11 6J 1\ WIt.."1\ os q .
au =~E (u )c;;J
J
JIJ
. ~ en
. T
= c:~ Ej (toT )w It.. W - + •••
1J
and
IH
(4.10) = 2: ... L (If J. + •••
jfH - J I<j H)
(4.11) to
T IJ
=0 on U bJ2.. whenever
(\
nE-J.
- 221-
J. J . Ka h n
k k
then a = -b
ij ij
J . J . Kahn
support of If lies in JlnU ' then
2 2 2
(4.14) KT*lf" + US<p1l = \\IfU _ +
(~) (A) (A)Z
-A
+2-), S
.n,
If if
[jkJ I<jK> I<kK)-
e 4V
+ L5 e If'
- If. e
-)..dS
bn. jk !-<jk') I<:kK,>
where
2 2 2
(4.15) IIIfH -
(?-)z
= '2\\LID \\
j J IJ ('>I,)
+ \\ If\\
(/\)
(4.17)
J. J . Kohn
(4.18)
.
~alf'\\ = L
2
I\L If - 4.. If \
l2 + 0(\\4>1\ \\If\\ )'
j<k j k k j z
Then
2 2
(4.19) ~ III: If - I: 'f
j<.k jk kj
II = 211~
j,k
If' R -
j k
L
j,k
( ~ If '
j k
L If)
k j
and
(4.21) (u , L v) = - ( L u , v) +
k k
SL
bJl.k
(r )uvdS
+ o (\\u I! Il v )/ ) ,
Furthe r, we ha ve
- 224-
J . J. Koh n
(a Ltp.lp)-(Ltp.L-r)
kj n k j k k j j
+ 0( 1lIf\l_\IIf\\).
z
(4.25) (c L
kj n k
If. '4' )
j
=Sf\
bJ(
c
kj k j
l.P, ijidS + OQ\f\L~f\\)·
Z
for tfe,Z)
.0,1
n cOl:lo (U,,5l)
(4.26)
2
1\~~11 + \~lf\\
2
= I\lfll-
2
+
S c If ~ dS
Z bll kj k j
+0 ( II <p/l-Illf/l
Z
)•
- 22 5 -
J . J . Kahn
and q :: 1.
..p,q
for all ~ e;2). with coefficients in
for nP'O
~€ VL. • Condition (b) for q =0 says that the
Levi form has at least one negative eigenvalue so that for
some i <. n we have c 11 (P) 4 0, we can suppose that
-2 2 6-
J . J . K ahn
C
11
(P) < O. For any function uEC oo (lil"\ U )
0 I I
we have
2 2
(4.29) ~II: ull = -«(L ,1]u,u) + \\L u\1 + O(\\u\Ln u\\)
, 1 1 1 1 z
. b{\.
S c 11 lu \2 dS + O(\lu \\ lIu ll)
Z
obta1n
(4.30)
2
(4.31) 1\I:(.j711 2 t III:
i j 1j
lfl\2 -
1 j
u-sij )ln
b
C 11f\ 2dS
11 j
+ 0 <I1'fL lIyll) ,
z
J . J . Kahn
we then obta1n
2 2
(4.32) + \\J-crll ~ const.lllfll +
z
+ L c
jtm' jj ~Tj
IIIJI I2 + ,... C If' M
17j 1j i.'·'I"jJ
L dS
J . J . Kahn
(4.33)
~p,q -
for all 'l ~ 0, and If E- o (\ COO (fl 'II U) ,
o
sr
where ~ =e for some fixed large s.
J. J. Kahn
(4.34)
r. N
=2:\h \ ,
1 k
2
(0(, Noc)
(to£ )
J . J . Kahn
2
c: C Ito(~,
-'t'-C (1:'>..).
Chooslng er = q + ~ -2 we obtaln
J .J.Kohn
and i f t < t.;: s then for any i)o 0 there eXists a con-
o
stant C(l) such that
J . J . K ahn
t < e,
.T . J . Kohn
For UEC
OO
en.) the above norms can be expressed in
o
terms of the Fourier transform as follows:
s
(5.6) II U\I !".J IIA U\t ,
s
I\s n
where / \ co. CQ..) ~ c'' (~) is defined by
o
~ 2 i
!\ u("S) =
A
(1 + log,) u(~) ,
I'
where v denotes the Fourier transform of v which is
given by
C _lx· 5
(5.8 ) ~ ('~) = ..) e v ( x ) dx •
s
f\ ($u) (; L
2
U1.) for all :rE- Goa
Q
(fU.
loc
We denote bV q (S\..) the set of all which are
s
locally in !ts (Sl ) . rhe n ir UE ~! Lo c (D-) we have
s
-234-
J . J . Kahn
m
1s of order m and that I\ 1s of order m.
60 n n
Defln1 t1on. A funct10n PE-C ua x Iii ) 1s called
n
symbol order m 1f for every compact KC'cR and for every
pa1r of mult1-1ndices ~ , ~ there ex1sts a constant C
(depend1ng on K,C< and ~) such that
n n
The operator P:Coo(lq )~C""(n defined by
o
(5.11) Pu(x)
J . J . Kahn
pseudo-differential operator with symbol p.
g:
ential operator with symbol
I" 1= 'W\. 0(
[p,Ql = PQ - QP
i~ of order a + b - 1.
J . J. K ahn
is relatively compact then •
U' = {(x,y)eW\XfUJ
and un = {(x,Y)fW1YfU ~ ,
(P + P')Q - (P + P )Q
o 0
1s of order -OQ,
J . J . Kahn
Further we have
-238-
J . J . Kahn
u = QPu + Ku ,
then P is elliptic.
, {[ m/2J f\m/2 \
~c \( ?, !\ u, u) +
J . J . Ka h n
2 2
< C{\\Ul\ + La r ge c ons t , iiPu\\
- m-~ -
2 2
+ small const. nuli + I\ui! •
11 m/2
the condition
ol
L,
\ol.l=m
a.J "0 if 5 " 0
J. J . Kohn
particular we have:
J, S'E: C""(U)
0
with S = 1
J. J. Kahn
so we obtain
I
in a neighborhood of the support of "S and:5 = 1 in a
1
neighborhood of the support of "S. After k steps we
2
obtain
+ II 5 ull
k - N.
J. J . Kohn
OIl
C, where V 1s an open subset of V. To do th1s we choose
the ! and :i' 1n Co (V) • Then us1lfll; a standard smooth1ng
operator 1n (5.19) 1t can be shown that 'SuE-H for every
s+m
s and hence 1n C~.
.L.J... Kohn
As 1n Lecture J we set
also
2 2
\\ 10 \\ <. const.l\f/l
T Z - (,,>-)z
and
2 2 2 2
(6.4) "'flll ~ const.(IICfIl + Il'fL ~ const.lltpll ...
1 z z . (),)z
J . J . Kahn
(6.5)
that if
11m q (<t>v ,'fol ) = 0
't'i\
J. J. Kohn
(6.6 ) 1I.:s"1'P1I
2
s const.q ('t',\)
.
(Jr.-If', Jd)
(6.7)
<:: cons t ,
-
C\IStp" + 1\50\iD\1 )
since
.
ls,s)
1
is a matrix whose components have supports in
J . J . Kahn
J . J . Kohn
Definition. If ..fL
is almost-complex with t he r almost-com-
plex structure giTen by T1• O is called integrable if for
any two local vector fields Land L' with values in
-248-
J . J . Kahn
1,0 'I 1,0
T the commutatox [L, L'j also has values in T
1,0
Clearly if T is the almost-complex structure
associated to a complex structure then it is integrable.
Conversely we have
1,0
Theorem. (New1ander, Nirenberg [ 25J i. If T gives
an integrable almost-complex structure on st then Jl has
a complex structure such that T1,0 gives the associated
almost-complex structure.
J . J . Kohn
(6.11 ) a = 2-
p,q p+hq
rr d IT
p,q
~ = L-
p,q
IT
p,q+l
d TT
p,q
(a) integrable
Erdlf = °
2,0
°
2
(d) If u is a function ~ u::
J. J . Kahn
(6.13)
(6.14 )
J . J . K ahn
J . J . K ah n
We denote by d ,
t
.a·t the operators associated with
k
j j j - j
we have w = dz =d z so that (} z =° and the
dz
j °
are independent.
° ° Now
° B
°°
is strongly pseudo-convex
° j 2 °
and the function ~ =LIz \ is strongly plurisubharmonic
. °
on B. Hence for small t, B is strongly pseudo-convex
. 0' t
° when
which varies smoothly with t we conclude that there exists
. 1,
a ~ <0 a fixe.d rt such that (4.)4) holds in 'J)
t
(6.18) ~lfll
2 ~ const.
(l\T*lfl\
2 + \\5 \f\\
2 \.;
t ('t.q t t ('t>') t t ('t:f.)
.1,0
for all If ~ 1J where II denotes the norm in
t t
J . J . Kohn
aU
(6.20 ) a u(x) = Lb
k
(tx) _ _ W
1
t i axk
where
k j j
(6.21) ~b (tx) a (tx) =~
k 1 k 1
o () o"'-
ClI_
(6.22) 11m u = d u
t~O t 0
j
uniformly. Now we define the function z by
t
j j j
(6.23 ) z = z TiN ~ z
t 0 t t t 0
- j
and we have d Z = O.
t t
In (6.19) choose 3", 3 and S' with supports in thE
o
interior of B such that ) =1 in a ne1ghborhood of the
o
orig1n, S' = 1 1n a neighborhood of the support of S a n d
o
5' =1 1n a neighborhood of the support of J; then
- 254-
J . J . Ka hn
J J J
(6.24 ) 115 (z - z yu ~ I,\T*J':N "§ z ~
o t 0 s tOttOs
~I\"SN "3 zJ U
t t 0 s+l
<... const. Ij'~z\\ l - t'OJ s +
- J\
+HJz\.
t 0
(6.25) sup
'"
~
\
D~(Z
j j t
- z )( ~ const.R! (z - z J j
)U
V \O(,~ 1 tOO t t s
J . J . Kohn
Lecture Z. Boundary regularity.
In this lecture we will assume.n.. is a domain in a
complex manifold with a C~ boundary which is pseudo-convex
and such that there exists a strongly piurisubharmonic func-
tion in a neighborhood of b 11 • We wish to discuss smooth-
ness of solutions of the a-problem and of the 3-Neumann prob-
lem in the ca~sed domain Jl, i.e. up to and including the
boundary. We will restrict our attention to the a_problem
for functions or equivalently the ~-Neumann problem on (0,1)-
forms. A nautral question to ask is, given a (Ot1)-form
=~v when does there exist a solution u of~ =a such that
(7.2) 11 c, U= (zl,z2)~U
I Re ( 2: 2 ) .<- 0
Let r e CS( U I ) , wlth U' a neighborhood of (0,0) and il' U
J .J .Kohn
(7.4) f(z ,z )
1 2
I \z I·~
1
A, 1m(z )
2
= 0, -~ ~
0
Re(z )
2
<. 0 ~
S" (z ,z )
(. 1 2
I I z 1I = A, 1m (z )
2
= 0, - ~ < He(z ) <. 0
0- 2-
.J'
does not intersect U'. Let h =u - ~2' then h 1s holo-
morphic; consider the restriction of h to the line
zi =- ~ with 0< a< ~O we have
(z , -'f,)
h(z ,-g) = u(z ,-~) + ~1~__
1 1 ~
J . J . Kohn
'!'h en 1f
k .:2 ~ k 2 )
Z \Iii II ~ cons t , Q(u,u) + L.. \\u \\
j=l j 1 j=l j
ooero1ve.
03 = {u \ Bu = 0 on
r--:
and let a3 denote the complet1on of c5 under the norm ~1ven
the r1ght s1de of (7.7). Then 1f UE- cr; and sat1sf1es by
Q(u,v) = (f,v)
and 1f
then
5 u~H ea) and
s +"2.
- 258 -
J . J . Kahn
then
p.q k _
N (9- ) C C (.Q) if I'r
."
>- Itk
e
Corollary. Under the samle hypotheses on n if ocE ap.q
q 2 1, and if au = t::J.. 1n L2 then for each k there ex-
- 259-
J . J . Kogn
k _
ists u EC (fU such that ~u =~.
k k
(7.12)
J. J . Kchn
01. 101- I
D = (-L) -~----
b
and
tX ~ . 0( IJ
D4'= L. D" W
b IJ b IJ
where
~ IJ
= Ltp W
IJ
sUbstituting D
01.
rtf., for I.f in (7.16) we obtain
b or
J . J . Kahn
J.J. Kahn
where F is an operator of first order. Differentiation
IJ
Hence, 1f we denote By
'" ""p,q
Z
the completion of
:l5 p,q
~ ..... p,q
under Q~ then the unlque <f't'E:~ whlch satlsfies
. p,q
for all Iff- .3 , is in C t>O (Ii) and hence Now,
the same derivat10n is that of (7.14) yields
.J . J. Kohn
p,q
Definition. We say that the a-Neumann problem in L (ii)
2
is !-subelliptic at PfbJIL if there exists a neighbor~
hood U of P such that
(7.29) v: 'I'll
b
2
~ canst. Q(V,'f)
where
and
J. Jc.Kohn
It then follows that there ls a sequence 0 v ...-" 0 such
I
o b -
IR_2n = {(x
1 ••••• x 2n ) x
2n "S. 0 J •
~ 2 ¥or-' >
/\ u«( .r) = (1 + I ~ I ) "u(~.r"
b
(v(f.r)
\.- = 2f -lx·f
1e v(x.r)dx
~n-
1 2n-1
where and dx ,- dx • •••• dx
-265-
J. H . Kahn
(7.31)
(7.33)
t 2 (2 J
2
!t(\bu\l 6 const. l\ulI~ + b.f\. [u ] as + ~u\\
2)
J . J . Kahn
smoothly w1 th 'r (1. e. 1ts symbol p+-(J\, '3) e c <lQ as a
rune mon r , x and ~ ) then on U C \R.2n the operator
[Ln,PrJ acts as a pseudo-d1fferent1al operator on
r = const. of the same order at Pro Now 1t suff1ces to
bound \\ /\ -t ...:Lu { by the r1gh t-hand s 1de of (7.33) w1 th
b axj
d
j < 2n. S1nce these are l1near combinat1ons the
aXj
vectors Ll' ••• ,Ln_ l ,L l , · · · ,Ln _ l and N = Ln - Ln 1t
1\ 1\ -f L u\{ ,\Ill -i L u~ 2
b j b j
J .J.Kohn
The followlng theorem ls proven ln Kohn 1.16].
.1. .1.Kohn
Lecture 8. The induced Cauchy-Riemann equations.
(8.1 ) on
.,p,q
Observe that if q =0 then o/€ ~ is equivalent to
~ i
~p,q ~,q
d r f ~b
p,q
o -'7 --'" , ---" B ~ 0
where
rn.p,q I1P,q p,q
UJ =l./I.. I~
J . J . Kohn
(8.6)
0,0 0,1
1l1ustrate, we define the map H
To ($) -", H (~).
0,0
If f~H (n), f 1s represented by a funct10n 1n -C~(bJl)
wh1ch we w111 also denote by f and wh1ch has the property
rv "" 0,1
1f f
1s an extens10n of f then afe ~ the cohomology
'" 0,1
class" of 'iff 1n H (~) then 151ves the 1mage of f under
0,0 0,1
the map H (~) ~ H (,\:). It 1sclear that th1s 1mage is
,.....
1ndependent of the extension f and that f can be ex-
tended to a holomorph1c funct10n on JL if and only 1f
0,1
is cohomologous to 0 1n H (~); that 1s there eX1sts
0,0
gE If. such that ar
= ;-g. The des1red extens10n then 1s
f - . g.
r p,q
Proof: If If ~ -e then from (8.2) we see that
- 2-'W-
J . J . Kahn
and that
p,q n-p,n-q
(8.11) F(J{' )C t;,
hEC (ll. )
oo
such that h = f on bSl. and h is holomorphic
in Jl .
tv 0tJ
Proof: Let f'-C (J\.) be an extension of f. as we have
seen the desired h exists if and only if -'"
af is cohomo-
0,1
olgous to zero 1n H (~). By the previous theorem
0.1 n,n-1 n.n-1
H (~) ~ J{ . Let I.f' ••••• f. be a basis for df
1 k
so
86 at 1s cohomologous to zero if and only 1f
(8.12) fri;..1/1j
jL
= if'f
bR j
= 0 for j = 1 ••••• k,
J . J . Kohn
showing that ~ is cohomologous to a form that vanishes on
b It , Further, ~cy = ~(rCa<p+ e) which concludes the
proof.
" .o.fP , q- 1
Proofl If I.f> = ae with t7<>.." then we have
~I1A~ = d((1,,'/I) and hence
"(8.8 ) J ~e
bn.. A
~ = Ie '4J = a
bIt A
n,n-1
since e/\'t'f~ the same calculation yields the result
when ~ = a-f.
Theorem. If at each point PEb..o. the Levi-form has either
n-q positive or q+1 negative eigenvalues then
n-p,n-l
H (~) is finite dimensional and is 1somorphic to
P, q
H (OJ •
Proof: By our previous results the condition on the Levi-
form implies that problem is ~-subelliptic and hence the
")pp,q
space ~ is finite dimensional and all its elements are
p;q nn-p,n-q
in C on Jl.. We define a map F: 0.,.
(.>< ---" LA- by
(a .10)
-272-
J . J . Kahn
m j
(8.14) P(f) = ~ a f w1 th a E. ([ , a ~ 0 ,
j=l j j m
J . J. Kohn
has a partiallY almost-complex structure of codimension k
1,0
if there exists a sub-bundle T (X)CcfT(X) such that;
0,1 - 1,6
setting T ( X) = T' ( X), we have
1,0 0,1
(a) T (X) () T (X) = 0
1,0
(b) dim T(X) =2 dim T (X) + k
(8.16 )
(8 • 17) d
b
'. op,q ~ I1 P+ l,q and
b
-, Iv(.
b
p,q
-0 b : (;i
1>-
-:r abp,q+l
by setting
1,0
(8.18 ) <d u,L) = LU, u a function L~T (X)
b
J . J . Kahn
1,0 0,1 ,
T (X ') + T Of.) the Levi-form, then is given by
(8.19)
1,0 ,
for L~T (X). Since at each point the space of such
~
is one-dimensional the numbers of non-zero eigenvalues and
the numbers of eigenvalues of the s~me and opposite signs
are invariants. NOW we can put a hermitian metric on
1,0 0,1
(T(X) which makes T (X) orthogonal to T (X) and we
obtain the adjoint of ,.J-
b
of i"
b
. By methods analogous
(8.20)
(8.21 ) ob =.va
b b
+~J
b b
'
J . .J . Kohn
is pseudo-local and
then «=:a(,J"N.,t).
b b b
p,q
for 'ff- ab
J . J . Kohn
(8.25)
J . J . Ka hn
REFERENCES
(1943).
[al ______ and LIES I., "Das Ramirezsche Integral und die
Gleichung af = im Bereich der beschrankten Formen,
Rice University St~dies, (to appear).
-278-
J . J . Kahn
J . J . Kohn
J . J. Kahn
YUM-TONG SID
Yum-Tong Siu 1
J o. Introduction
Y-T .Si u
( dZa21J1
dZ
\
)
has at least N _ P + I . positive eigenvalues at
i j
I ~ < a#} and I 'f' ~ b} '" I ~< b}- for b# < b < b* -
Suppose t is a coherent analytic sheaf on X such that
)!
codh? S;' r on IT< a#}- . Then, for p ~ )J < r-q , H (X,"])
Y - T. Siu
v b "I
For a coherent analytic sheaf "] on X , R (n a )*T denotes
R)I(n: )*(1I x: ) •
The so-called mixed case of the direct image theorem
is the following parametrized version of the theorem of
Andreotti-Grauert.
l' and a* < a# < b# < b*) and "l is a coherent analytic
sheaf on X such that dim S ~ n and codh 7 ~ r £E
.
If < a#J. R n* "l
,)
Then, for p ~ v < r -q-n, 1S coherent on
,) vb u-r
S and Rn*"J-> R (n a )* 7 is an isomorphism for
- 2 87-
Y- T . Si u
Y .-T . Siu
(For applications ii), iii) and iv), the pure pseudo convex
case of the direct image theorem suffices.)
-289-
Y-T .~u
Y - T . Siu
Y-T . Siu
theorem with bounds, which are used, together with the bump-
ing techniques of Andreotti-Grauert [1], to construct com-
plexes of Banach bundles to calculate the direct image
sheaves.
rUin n- l ( .6 (p») }
{V n n- l (A(p»)} •
j
t, '" ~ a l,(i) + 67
i'"l i
Y-T . Siu
ai G: r(A(p}, nf!))
? G: c"-l(\(f}, 7) •
defined by
-> ~ a. l,(i} + 6?
i=l ~
(restricted to l(P}) •
Y- T . Siu
After the above two key steps there is still one ob-
stacle to proving the coherence of the direct image sheaves.
Suppose S is an open neighborhood of 0 in C n• To get
the coherence of the direct image sheaves by induction on n,
we need the following statement on global isomorphism. There
exists an open polydisc neighborhood U of 0 in S such
that
Y . T . Siu
-e (7 )
V
- > ~v-l(7) on U which is a right inverse of s »
is induced by a sheaf-homomorphism on G if
Y. T . Siu
for ));;; p. :i- v+ n. It is the third key step that makes the
additional assumption of p < r - q - 2n necessary, because
we need some room to get a right inverse of 6. It is also
the arguments of this step that necessitate the introduction
of complexes of Banach bundles for the calculation of the
direct image sheaves, although such an introduction stream-
lines the presentation elsewhere as well.
~o N U IO}
~* ~ V ICll}
Y- T .Siu
to r: II"'n
'=. \L. ,p r:
'=.
fRn
+ ,and ~ ~ v IlJn •
in 1'rI0
II )1
dt 1 ()t n
1 n
Y - T . Siu
Y .-T . Siu
Table of Contents
§o Introduction 1
Appendix 164
References 178
- 30 0 -
Y-T . Siu
§l Privileged Polydiscs
O
(1.1) Suppose D· A(t ,P) and Eo is a Banach space.
Define B(D,EQ) as one of the following:
on D with
where 1I 0ll
is the norm of EO
Eb
In any of these three cases B(D,E ) is a Banach space.
o
B(D,~) is simply denoted by B(D). If U is an open
neighborhood of n- and E is the trivial bundle on U
with fiber EO' we denote B(D,E o) also by B(D,E). Sup-
Y - T . Siu
m~
0-> n1:1 m~
-> ... -> n1:1 -> nVYO ->7-> 0
p P
o _> B(D) m _> B(D) 0
is split exact,
Yo-To Si u
a: El U ~ > U x EO
El u - > Flu
Y-T . Siu
induced by 't •
Suppose
e
o _> E(m) _> E(m-l) _' _> •.• _> E(O)
-> . .. _>
is split exact.
S x H '--> S x (H EB Im es) = E(
0)
•
o
Y -T . Si u
where ••• , t
t are the coordinates of' {n. 7(s) can
l, n
be regarded in a natural way as a sheaf' on n.
For p ~ 1 , we denote by B(S2. 'n+P) the trivial
bundle on ([ n whose f'ib'er is B(.Q)P.
Y - T . Siu
D x G is an 1-privileged neighborhood of (s , z) •
I
o -> (rlm(s) -> ... ->
n+N'" n+NI:J
((ll
(s) -> ":1
.1(s) -> 0
...
Y -T.Siu
f ~ Ker ~ •
with
Y:-T . Siu
for any bounded open disc DC ([ centered at 0 , D x G is
""
.2.!! "I-privileged neighborhood of (0, z) •
on Q. Define
""
Q.
O _> (0Pm (9
~l ~l
(QPm-l m>
-
by
N
Q. == (Q.l,Wj
l
C
(_ljJ-'w )
Q.. (1 < j ~ m)
J
Q.j-l
Y-T .Siu
P 'l
B (G, N(D J- )
A corresponding
(where p
-1
= 0) can be given by
,
where a is independent of t and one denotes also by ~j
the map
it induces. Hence
""
B( D )( G, "1) ~ B( G, ., )
neighborhood of to.
o 000
J, ~ , J, t
,,,Pm PI
0-> nI;J -> -> nV -> n~lo -> 7' -> 0
~lf\P m
m ->
a t
tf\PI
a
1
~
,,,PO
1
tI7
0-> nv -> nI;J -> nI;J -> iT -> 0
~ n
,,,Pm _ ...
1" P
l P
n I
~
O -> nI;J v -> n(!) I -> nf!) 0 -> "1" _> 0
~
o
1 01
10 0
where
, II
i) v",Pj = ,I\Pj
v w mPj
l!'I
~ and, except in the last column,the
n n n
vertical maps are the natural injections and projec-
tions. (a~
11) a j is of the form oJ
being a sheaf-homomorphism).
- 310-
Y-T . Siu
Let
t
p.
B(D, nlD J)
induced by
t
a..
J
, gives rise to a projection
Let
•
~~: B(D, n(~lj-l) ->
can be defined by
Since clearly
Y - T. Siu
1R +i-l (1 < ].
. ~ n) sue h t h at Sr holds for f satisfying
(1 < i ~ n) •
Y. T . Siu
0-> (1 ~ j < d)
0-> -> 7-
Y-T. Siu
i) X is a subspace of ~.
-314-
Y-T.Siu
f
x
b.1Wn~+1
-Jl.,X
7x
means that
1; t
la.l=.! 1
0. .
1 ••• ...
Since
a.
g n = 0
n
= ~k = 0, one has
-- 3 15-
Y. T. Siu
fX '"
(y ~ W) •
Y-T .Siu
by the matrix
and define
Let
(OJ.
n
g '"
k
Ifg '" E a. (Iff.)
~ x •
i"'l a
Y-T .Siu
r (V ,
n
C9 /.1 (p))
'I" V
•
IV
for some open neighborhood n of x such that f induces
rlno v . Let
(leLl ~ p) •
Then
{feL (x) }
/eLl ~ p
N
p [r II L = sUP{/feL(X)llleL/ ~ p, x~ L} •
Jy(p-l)
Y\ /7
n'!J!Jy(P-l)
such that
,
f
Y -T . Siu
converges to
k
as ]) --> (]). Then converges to ep(Ea ~s.) in
i=l ~ ~
Y-T . Siu
Y . T . Siu
For
define
11E.11•• °
VI, t, P
=
i
O
sup
' ••• ,i
k
/lSi i
0· •• k
°
II U. (\ ••• nU. ,t 'f
~O ~k
When n = ° J II E, 1/
'tk, t
°'f is simply denoted by II~lIVl . Let
define
~ 322 -
Y - T . Siu
u. Theorem B wi th Bounds
11)
1l'1C~) 1IGl' to 'f' :; c 11E,11~ ,to 'f' where C is a constant
G"
, If
Take open subsets Gl C C Gee G C Gz with
, , If If
Stein. Let H .. X(\G and H .. XnG • Take
t,G;: r C~, <ax) • There exists ?G;: fCG' , (0x) such that
Y -T. Siu
,
Let? be the projection of ? onto the orthogonal comple-
ment of the kernel of
, ,
r 2 (G , N(f) -> r(H , (9X) •
L
Ul C C U2 C c
x are open subsets with U2 Stein. Then the
restriction map r : r b (U2, <OX) -> rb(U l, (0x) factors
through a Hilbert space.
Y -T . Siu
nuous map
UJ1) CC U~ CC U~ CC uI2) •
Take ~ (; z~tt2' <OX) • There exists ~ (; rf - 1 (Vl,' (0X)
such that
°7 • s; Ill'
1/7/1 vl .< c I E. Ilvt "
where C is independent of t: and comes from applying the
-325-
Y - T Siu
open mapping theorem to
k n
-> Z (tt , (OX) •
O,
(a) for A(t fl C .Q, there exists
Y -T . Siu
PI a Po
-> (9 -> (f)
.AxX AxX
Y T . Siu
a. f!JPO
->
A~P
jquot.
~
a. Po
->
({)AXX
N
such that Coker a. is isomorphic to Coker a. under
the quotient map-
Then (a) follows from (3.1) and the special case. For (b)
let m be a positive integer such that no more than m mem-
bers of vs. can intersect. We can assume without loss of
generality that we have an exact sequence
p
(0 m ->
AxX
i) 'Y' and 'f are linear over <C , but may not be linear
over <C[t].
Y -T. Siu
111:II 0 where
U,t 'f
define
Y -T. Siu
Y -T . Si u
{U(l}11 c; A
{Vi} ·' r:
~ '"'- I
H
L
(tt, 7) -> 1.
H (1(,1)
such that
Y ~T . Siu
6
1:
ef'v (Vt, 1.() -> ef+l,v (1.t, l( )
e1 : c~
or ,F} -> CO ,v (l7l, l()
8 : efClJl ,F)
2 -> ef,O.(7Ji, I()
as follows:
. Iuo
.. c,.~O· •• ~)l a.
('IV .
~O
n···()v.~).1
Y-T. Siu
a a a
0->
1
rex, "1 } -> CO (Lt, 7
1)
-2-> cl(Vl,
1"1 } _6_> ...
J e2 'If1 e2'iI1
0-> CO (1(, '1) ->
1
9
co, °(lJl, 1(')
6
..J:...>
61
cl,0 (1t, J.( ) ->
6J
el
0-:>- cl (1(', 'l) ->
62
CO , 1
1 6
62/
(a, )() -> cl (a,1 ,1
'If
l( )
61
->
6/
'V
62/
'If
62 J
A sequence
Y-T. Siu
correspondence
with
Construct inductively
(0 ~ )J ~.£ -2 )
such that
- 334 -
Y - T . Siu
e1g * , £- 1 + f
0,£-1
&1 f v-l,£-)l-2 + 6 f
2 1I,}->l-1
0
Finally, since
Y- T . Siu
(f* ;.).
, ~O···~
.
is a zigzag sequence.
(Cf,1j'l: zl(D(tO'fjXI(, 1)
-> Z£ (.6(tO ,f) x Vl,1) ffiC f - l (A(tO 'f) x)(', "1)
Y-T . Siu
Max(IIPU,)
~ Il,~ Vl., t
0
'f
' Ilr(~l II", 't ,
° )\~
t ,f
c 11l,11)(,to , f
/le(!,,?) °~
J/,t""t,p c Max (II!'I/,
n,t,e
° ' 11711If,t°,'f' ),
C is a constant independent of !" 7, °
t , and f
(When '1 is not n-flat, for a fixed to, ([, -linear T' 1f,
e exist for p sufficiently strictly small but may not be
linear over 4: [t] and C maY depend on to and f. If
t n - t~ is not a zero-divisor of any stalk of 7 , then
can be chosen to be independent of fn .)
Y-T . Siu
Y - T. Siu
Xl f"I D and
(* )
Let ~.a ViI fl1J[2. We are going to show, in a way that Can be
carried over to the case with bounds, that
~ ~
H (~xU,7) -> H (Ax~1,7)
~ ~ 67" on A x tt12 •
Then
o on Ax tt •
12
,.. I. 1
Extend l; trivially to l; ~ C - (Ax 'lJl ,
2
"1). Define
7~ 1
C (4 x u ,1) by
,
C· 7= 7
7"
on
,..
+ 6 t; on
Ax~
1
A x 1.t •
2
Then !, = 67 on A x Vl •
Y- T . Si u
(I) . .
,..Pm ....PO 0 ..,
o -> n+NI:.r -> ... -> n+NU -> R (.('1/AX D) -> 0
( 26> p)
Y-T .Siu
For the strongly p-pseudoconcave case, we can assume
that there exist t ,and ~l' f2 as in the p-pseudoconvex
case such that
•
'"
is contained in p(H f 2 > O}, where P '" P I X P II with
P'C<c P and PIlC<c N-P , ¢." H{CCpI S H"CCP" are open
polydiscs. Again, by the proof of an intermediate result of
Andreotti-Grauert [1, p.222, Prop. 12],
Y - T. Siu
N-p" N-p
"
II II
is injective. Suppose P = TT P. and H TT H
j
with
j=l J j=l
j-l N-p
I
""
U .. P x TT P x (P - HjP
j j TT PJJ " " (1 ~ j ~ N-p)
/pI It ~"j+l
lt1 .. {U~l) , U
1'
... , UN_pI
1%2 .. {U~2) , U '
1
... , UN_pI
An element C,i <;: HN-P ('l~.' NlD) (i = 1,2) is represented by a
holomorphic function U n ••• n UN_ p,
fi
1
on U~ i) () and
2: f(i) za p+1
ap+l'··· ,aN"< - 1 a +
p 1 • • .a N p+l
function g.
1
on U
1
(I ••• n UN-p where
GO
f.
1
= 2:
apfol' ••• ,aN" _CD
Y -T . Siu
where
(i)
h = gi
1 •.. (N-p)
(i) a p+ l
h 1\
01 •• • v ••• (N-p)
2: f
(i)
z
? 0 a p+ l
a p-+: l • • .a N p+l
ap+L l ? 0
a p+)I :i- -1
and if
sl ••• (N_p_l)
then
(2 )
and f2 is the coboundary of [h . j }. Hence, if
JO··· N-p-l
the sup norms of Sj j and f2 are all :i- e , then
0··· N-p-l
- 344-
Y- T . Siu
(2 )
the sup norms of h .
j 0··· IN_p_l
are ~ Ce, where C is a
(t < N-p)
,..,
for a Stein open covering ~ of P (l {Cf2 > O} in a. way
analogous to the proof of (3.3) and apply (3.4)(a) to the
/
sheaf-homomorphisms of (#).
For a* < a < b < b* let x~ = {a < " < b}. Suppose
- 345 -
Y - T . Siu
Y - T , Siu
from
Y,.T. Siu
for a. C ~ ct.
A sheaf system (§a.' f~a.) is said to be free if each
§a. is isomorphic to (O~a. I Ua. for some Pa.·
Y -T . Si u
t t k'
Suppose 1,t {Ui}i=l is a collection of open subsets
of X which refines Vl by an index map 1: ': {I, ••• , k I} ->
I
(1, ••• ,k} , i.e. Ui C Ul: (i) • For a sheaf system
.p...
'1 (.f1.
~a'
1U
T ~a
) on "'90,
C/L
define a sheaf system
i) '¢fa,::o ~(atdU~t
of sheaf systems on ?Jl: ::0 lUi }~::Ol such that each R.. m is free.
- 34&-
Y -T. Siu
, " N
Proof. Take Stein open subsets U. C CU. C C U C CU.
~ ~ i ~
~~ , k ,~" k
(1 ~ i ~ k) and let V~ = !UiJi=l and ~ = {UiJi=l. It
suffices to show that, for an} '. """Rf system -§ = (§a' '!f~a)
;/(a o ) p ,
a = (OX1ua for a
O
C a
,
a
(a.O )
0 for a
O
et a
tr (a O )
~a
PI U~'
the identity map of (Ox for a
O
cae ~
o:(a o )
~a
= 0 for a
O
C/; a
e(a O )
a = Yaa 0 (7 I Ua )
a for a
O
C a
(a )
ea O 0 for "o et a •
Y - T . Si u
= IT r'(u J -§ )
a.(;A a. a.
- "1
(where At is as in (6.1)) and define the coboundary map
by
where
fl •
;:...
••• , Ji J
Y - T . Si u
o o o o
-> ...
-> ...
-> ...
->
... ...
where the horizontal maps are coboundary maps and the verti-
cal maps are defined by the morphisms of (*). Let
IT
OJ
cl+JJ (Vi, e" , .
)I =0
by
- 3 52 -
Y - T . Si u
where
Define
by
such that
d.l,OE,l,O ,. ~
? 1) •
Then
and 8!," l, •
- 353-
Y-T . Siu
(0 ~ v < 00)
such that
d£_I,O 7,-1 , 0 t;
()I~l) ,
because
It follows that
n{ : .
( 7£-1+)),11)1:00
)00 c;: Cl - l (Vl)
satisfies a? = l, . Q. E. D.
- 3S4-
Y -T . Siu
Let m ~ 1. Choose
1
... -> II
~ -> ... ->~ -> ~0 -> '1-> 0
,., ,.. ,}
of sheaf systems on Q)C 1.t where each 1? is free.
- 35 5-
Y-T . Siu
oJ
(constructed from the co chain groups of It IQ x 1tj ,
o ~ v < al) whose 1. th cohomology group is isomorphic to
H't(Qx~j,l) (O~.e<al). By letting Q vary, we obtain a
complex of sheaves
""
on J2 whose cohomology sheaves are isomorphic to the direct
image of 71nx /Vljl under the projection.Q lC I~jl ->.Q .
Now we turn to the situation with bounds. Fix 1 ~ j ~ m •
Y - T . oru
~
on ~,. Since each on"
~ is free, this complex of sheaves is
naturally isomorphic to
o -> ocE?)
J
-> (9ci1:)
J
-> ... -> VCEJ~) -> ...
').It.
>'f'J
_> Rt Cn.) *;r
"?
-> ')/1.
,.,..J- 1 -> R
l. Cn . 1) * ...,
;r •
J J-
Y-T.Siu
Y -T .Siu
define
[r liB 0 d ..
tt t tf
with
[r liB, to ,d 'f
When d .. (00 , ••• tOOl
°,dtf)
, sre
6 )1-1 6)1
••• --> e:- l
->
a.
Et:
a.
- > ~+l_>
Y-T . Siu
0/ y
r~ ,~-l r~_1,~_2
11 ~ .,)
Consider the following conditions (E) , (M) , (F) ,
~
(B)n •
;"" : with
such that
i)
ii)
~
(M) (Quasi-monomorphism with fuunds). There exists a con-
stant C with the following property. For a < (:I ,
e; (; ~
• 0
(t , d , f) and ? (; Ft3 ~l 0
( t , d , p) satisfying
and
oJ ~
r(:la"" = 6(:1v-I ? there exists
such that
i)
-- 3,61- .
Y- T. Siu
t 1 1
...-> Eb.+l °
1>-l( t ,d 'f) -> Eb.+l(t
)I
"+1 0 °
,d,p) -> Ea.+l(t ,d,p) ->...
where
11) f'l' °
a.,t ,d,p
-> Ff
a+l
(to,d,p) factors through a Hilbert
space
iv) "
dim H (F . ° )< IX)
<I: a,t ,d,p
v) HY(F'
a.,t ,d'f
° )- > H)/(F'a+l,t°,d,p ) is bijective
-3 62 -
Y - T . Siu
~
(B)n (Finite Generation with Ebunds)-
a) Im(~
~
~,t
° --->~
~
~+l,t
0)
m
is finitely generated over n~tO
for t
o c= A_
b) Let t, (1 ) , ••• ,
11
f:J 0 - . Then, for f sufficiently strictly small,
~+l,t
Y -T . Siu
n
d '" (CXl , ••• ,00,1) G N
*
"N~[iIJo
°
~
'Wa.,
III
J}
H«+l :::
°- 1 W + l ,0)
Im(~ (J,
II II
rt
H)l
11+1
.. Im(~a. ,° Wa.+l,0) .II
--;>
--'Ii
"7
Since Ha.+l is finitely generated over n_lJo' there exist
= ···,Pn-l)
Y -T . Si u
,. a
(* )
"11 "11
1/ 8 110.+1'f * ,.< , n f) C_
f 1lJ;llo. 'Io
of ~ in t
n
•
By "
(B) n-l for
f sufficiently strictly small there exist
(1)
a <;: r(~(p*), n(!J) independent of tn
<;: ." *
l; ~+ 1 (p )
such that
"711~~i, r
- 36.5-
Y- T.Siu
t >"-1
(-!!) .
(Xl
Define
Then
Hence
M:>reover,
Y - T . S iu
there exists ~ *
em ~ E~+l(P) such that
sion of E, in tn.
~
(
2:
00
~
,-m J + e
tn
1:'" or
rlt+l,cx. h"'m A (fn) m
y y
Then 0ll+l L or a • Let e ,,; 1lE,II Cl,p Then
Y -T. Siu
is independent of tn. By
y
1I;tlla+2,p* ;f fnCr/e •
Let
(X) t A-m-l
l,# = E ~ ( n)
A=m+l A fn
by defining
- 368-
Y-T . Siu
~+l(f*l. Because
it f'ollows that
e •
(r~+2 ,a. c,# - r~+2 ,a.-+l"r* - 1-). From the def'inition of' "r ,
~ 2e + e + PDr
De ~ 4e
Y -T .Siu
-1
(;~) (LO - r~+l,o.C,m - em)
' \I
(;n)(r~+l'o.S# - 1:*) ,
n o.+l,p*
~
Pn
-0 4e •
Pn
Hence
)1+1
By (M) ,there exists such that
~
(III) Now we apply (B) n-l to get the finite generation of
~
~+ lover lJ o • Let
-3 7 0 -
Y - T . Si u
and
11
~ emO + r ,) + ~ 11
a 1 ,a m a + 1 'P*
:i-
v
by applying (B)n_l to the n_lOO-submodule
11 -11 -v
Im (Ha + 2 -> ~+2) of ~a+2,o generated by the images of
,)
ra+l,at,
(i)
(1 :i- i ~ k) , we can find, for f sufficiently
strictly small,
11 *
l;m (; ~+2 (f )
such that
- 37 1-
Y - T . Siu
I a (i) I <
=
" f n D + l)e
Cf5(
m f* jO
" r Dr
117mll::~ ,p* <
= C,o ( n + 1) e
" (f D + l)e ,
IIt; ml(+2,p* ~ C_
f n jO
C"
)l
where p is the constant from (B)n_l •
< "
C"' C_( fnD- + l)e
IIt;ml(+2 'f* '" f f
where
e""
III t m
a
(i) E a (i) (...E.)
m=O m Pn
III t m
E ~ (
m-O mPn
n)
- 3 72 -
Y -T .Siu
It follows that
II? Il a+ 2 , f " fn D
< cpt + 1)e
>2
1
-;
Ill; Ila +2 .f ~ CC '" Cf{fnDf
..., " + 1 )e
where '" is a constant.
C
1 }e •
~
By (E) ,we can find
such that
-373-
Y -T . Siu
A ~
where e is the constant from (E)· • Choose D
In so sma 11
that
"(
e fn D r ,It"e_(~
-Bee ) 1
2l" +
r fn r n
D
f
+ 1) ~-2
Define
Fi (i)
(~) a
11 1 ....
~(~) r a';3 ,a+27 + ?
,...,
'f(~) ~ .
,.
Let '¥ denote qlo ••• o'J! (). times). Then
" (f
e_ D_ + 1) e + e •
~ 2
r n r
Y-T , Siu
such that
11~1I:-2 ,P ~ Ce
11911:+ 1 , p ~ '"Ce •
/\ t(i)
By repeating the preceding argument with t, , ~ (instead
of E" ~(i)), we obtain (for p sufficiently strictly small)
such that
II 1\
r J: ..
a.+1 ,a.-2 ">
Y-T. Siu
~
Hence ~+l is finitely generated over nOO. We have actu-
ally proved more than this, namely, we have shown that the
finite generation is with bounds when generators are chosen
in a certain way.
,)
(IV) We are going to prove the full strength of (B)n b) by
invoking the existence of privileged polydiscs (in the sense
of Grauert). Suppose ~(il ~ ~(fo) (1 ~ i ~ k) with
6~(i) .. 0. Let A be the n<OO-submodule of ~:+1,0 gener-
ated by ~(l), ••• , ~(k) •
By (E)" and t h e finite generation
n_l<OO ' (after shrinking pO) there exist
(1 ~ i ~.£) with 6,)11-2 l; (il "" ° such that
»
generate Im(Hll_ l -> -HL1). Let
f: nOO
t -> Pill+l,O
v / A
,) (l) )l (1) )
( r"'+1,"'_21"
'" '" .., , ••• , r"'+l '" 21"
'" 1"'-'"
(an element of being represented by a column i-vector).
There exist (after shrinking pO)
-- 1 l I· •
(v(i • I
veil)
f, (
I::.
r (A (0
P) I (1 ~ i ~ m)
- 3 76-
Y-T .Siu
j
u i ) ~ r (A( pO), n(9)
(l ~ i ~ m, 1 ~ j £)
<;i(
~
K(i) ~ pO)
such that
(1 ~ i ~ mj •
b ~ r(A(p), neD)
i
n ~ <;i(f)
such that
Ihi If *
C-e
r
lin 11~;i.f *
C_e
f
--37-7-
Y -T . Siu
(1 ~ i :i- m)
such that
k
t ( ~ c u(j»)r-;
- l j i a+l,a
~(i) + 611 - 1( ~ .4l:(j) +
a+1 j""l J
c n) .
j
i-I
Y - T . Siu
to
y
, t.,* is the image of some C, ~ -aI-(l_l,O
~
By ( E) Take arbi-
. n
trarily m ~ l. Let d m = (CD, ••• , CD,m) ~~ *. Let
-l, ~ 9f(l_l [dm.]O be
~
the ima ge of~. Since the image of C, in
":I.')) m
l'l"~+l [d]O is 0 by induction hypothesis the image of ~
II m
in P:t(l [d]O is 0 From the cohomology sequence
_ 37 9 -
Y-T .Siu
¥-p
C, f--> ( a (1) , ••• , a (k ) , 7 )
i)
~
(B) n- I
.
has the correspond1ng property of
[[tl, ••• , tn_l]-linearity for the n_IOO-submodule
" )j -oJ
Im(Ha._l -> ~-l) of "a.-l,O •
- 3.80 -
V -T o Si u
For 1 ~ t ~ n let
1, ••• , 1)
'----y--J
n-t
Denote
Im(~[d(t)] ->~+l[d(.e)])
->~:(d(t)) ->~:(d(l))
Y - T . Siu
v P
(7.5) Suppose L ",,6x ([ ~ and
-;
->L
-;-1 )1" v+l - >
->L ->L •••
for a < ~ •
be the mapping cone of the above commutat ive diagram; that is,
Ny
Ea '"
and
- 38 2 -
Y - T .Si u
is given by
Define
by
(M/+ l
a) The complexes Et: satisfy ( E{' and ~ the
comp.Lexas
--.J
Fu satisfy ( F)" .
Statement c) is clear. Let us prove b): Suppose
and
_ 383 ~
Y-T .Siu
for some l, ED f
, ,
(; ~- (t,d'f)
N~ 1 ° and a < 13. From the defi-
, N~ "'''-1
nltion of 6a ,6 we have
13
i) 6a
~
s; + ( -1 )
)/+1 )1+1
O""a f = °
.• )I 1 ' ~ ~ I
ii) r;aE. .. 6 - ~
13
+ (-1) (J 13f
,
a
~
iii) f .. t
°.
Y v+l ~ ,
6 ( E, + (-1)
a
o:a f )
.• ,)+1 ~ , J,/-l~'
" (~+
r13a "'>
(-1) 0""a f ) 6 '-,
13
we obtain
such that
(-1) )l + 1 ()a" f , ,) II
a,tO,d,p
,l, I 'II" °
-1
13,t ,d'f
) .
So we have
- 38 4 -
Y -T. Siu
N~ 0
c,EDf ~ Ep(t ,d,p) with 7,;(E,ED f) 0, i.e.
all+lf = 0
~ c:?'+ 1 y v
rp ,a-l a-I f '" c5 p (-1) C,
~+l •
By applying property (M) of the complexes E
t to this
)1+1 "11+1 )1+1::\Y+l
equation, (since 6a_lCT"a_lf '" CT"a_l Q f = 0), we obtain
such that
y )1+ 1 ~ ,
r
a,a-lCT"a-I f = 6 >
a~
It . follows that
Y- T . Siu
with
such that
'!hen
, 0
(f, +f,) (9 f c;: "'~
Eh(t ,d'f) with '6:((E,' + l,) EB f)= 0
Y -T .Siu
x:
()~ / \ 0"'~+1
\} ~
~ -> (+1
r~+1,a
for p ~ >J ~ s •
N.
0"""
such that the mapping cones pEb, of pa satisfy
for P ~ V~ s "
- 387 -
Y-T . Si u
c,(l) , ... ,
whose images in A generate A over nCOO. Define
)/
LV
#_lL #
(# ~ ~ ~ s)
# 'i/
~
0
#-1
rr~
#-1 u
.. #
rr~
(l
Let
( - 1 )·#-1 r au
#-11:'
1
1
1l-1
all - 1
- 388 -
Y-T.Si u
Y - T . Si u
As in § 7, suppose
v
... _~ ~-l _~ ~ 6a ~ <+1 _~
for p ~ v :i- p + n •
~ . ~
l
By the results of§7, (B)~ and (B)t hold with an addi-
tional statement of <C[t]-linearity. So, for p sufficient-
~
ly strictly small and for ~ .. p, p + 1 , we have maps !l!a
from
~
ra+l,a
~ .. v-I t)l E,
6a+ l a
11~:~lt:~,p ..
)l
Y -1' . S iu
such that
(* )
on (0((-1) •
expansion
define
Y -T. Siu
,
E, =
Hence
It follows from the <C -linearity of ~g+ i ' ~g+ 1 , 6g and their
norm estimates that
, ,
equals the restriction of ~~ t, to ~(t ,r) .
It remains to verify the identity (*j. For
Y -T. Siu
Let
Then
oA
E(E
A 'I ~
~
A A-T, ,.
) (t -f t )
and, by definition of 1£ g ,
Since ~g+l' ~tl both are linear over ([[t] and have norm
estimates, it follows that
Hence
Y-T . Si u
(p :;. v :;. s) •
&"-1
Im(C9(~-l) ~> (0«))
Ker((O(~) 6Cl> (O(Eh+ l ))
H~(.Q)
such that
P- l
6a+2 ep
(l
=
Y - T . Siu
Let
1))1 If(S'2, E:) -> If (Sl, S:+V_P+2) has zero image for
k ~ 1 •
» ))
2)
)I
If(Sl, 'tal - > ff(n, ~a+)l-p+2) has zero image for
k ~ 1 •
(* )
)l
~
1 . ,..~
~ II
,)
1 1
"
II
vi') .
i ...
ff (Q., S a+1I-p+2) - > Hk(Q, ~C1+V-P+2) - > ff (Q,
Y-T. Siu
0-> ->0
1 1 /0-
'"
-> ~+1 (n, ~la+1I-p+3)
k(Q,<9«+1I_P+3 ~ 1>+1
H )) -> (S2,6a+1I -p+3 ) •
Y - T . Si u
,.. 1 T
II
S
1
(0, 't~+s-P+2) -> r(Q, '# ) -> Hl(Q, B~+s_p+2 )
->
such that
- 39'7 -
Y -T. Siu
such that
are as in (7.5).
- 39 8 -
Y -T . Siu
... 0
on 6~(t ,d). By applying (9.1) to the complexes of bundles
associated to ~(~}(tO,d) , we obtain the following. If
.... 0 .... I 0
~p[ t ,d], ••• , Ws - [t ,d] are coherent on b. for all
to ~ A and all d ~ ~~ with d
n
"! <Xl , then, for p ~ v ~ s ,
""v 0 ..." 0
i) ~ (SL,t ,d) -> r(Q., JH t ,d]) is surjective
0 .. " 0
ii)
...,~
Ker ( Ha, (Q.,t ,d) -> rtc, 'N [t ,d]))
0 0 )
Ker ( ~(Q,t,d)
",, ~ -~
C -> ~+)l_p+3(n,t ,d)
Y -T . Siu
->~a.[t
11 °
...,~
,d]->9rJ.a.[t ,d] °
- > P\lHl((a(Ll (to ,d)) - > 9J:+ l [ to ,d] _>
i) for p ~ JJ v
~ s , ~(.Q,t ° y
,d) - > f(Q,W[t 0 ,d]) is
surjective
Y -T . Siu
Y -T . Siu
~
We are going to prove by induction on n that ~ is coher-
i) For p s»< v
s , Ha,(Sl,t ,d) ° v
-> r(S1., '9Ht ° ,d]j is
surjective.
_ ~0 2 _
Y - T. Si u
0 A+ m)
1m
r (
l\t~ ( .6.( f , ),t,d -> Het.;+ l (A(P),t0 ,d A)~)
is contained in
~+l(~(P))
I
H: (.a.( p' »
Y -T . Siu
Let
1 :
~L\!+l
l'f"0
_
y >'f' °
..... ::l/.)1+l
be defined by multiplication by (t n - t)
n
m• ° Let
be induced by
v+l
r 0.+ I ,0. By (Bl +I
Y
n. (applied to A = 0), for
Y -T . Siu
One has
a
, t
===> gf't a ~ hr a
eA = ••• , d )
n
Y - T . Siu
p
HG:+3(Sl, t
° Clll o: p
,e ) -;> H~+3(.n, t
°~ "'l' p+l
,e ) ~ Ha.+3(Q, t
° Cll
,e )
1 B T f
i h
. °
o ~(O(E:u.+J)(t,eClD) -C4 (9(E.u+
3)
t ,eClll)
(0
I
I:- h.
b r~+J,~ I
O~<a(E~)(tO,eOO) ~> (9(E~)(tO,eClD) ~(9(E~)(tO,e~+m)---7'O
where
Let
a m
be defined by multiplication by (t.( - tl, ) • Let
- 406 _
Y-T. Si u
be induced by
p+l
r a + 3,a . By (10.1) ii) , Ker J C Ker g • By
l
~ (t i - ti
'0 )fi ~3R
P (,.., lI)
~"t ,e )
°
i"l
is contained in
Y -T. Siu
Hence
-1,= .l-l
E (t. _ t?) i ~.
f
i=l 1. 1. 1.
for some -l,i ~ f\i+ 3 C€ -1) (n, t °,e gl ) . By (10·3) the image of
l,i in P
~+3l(Q,t ,e ° ~ ) equals the image in P
~+3£(Q,t ,e ° ~)
of some l,i ~ f\i+ (Q,tO,eOOj (1 ~ i <.£J. It follows that
3t
.
the amage C; * s
of <-, in P
~+3i oJ"
(t"'l °
t ,e)
00 satisfies
- 40 8 -
Y-T.Siu
~
* 1-1 a f.
_ E (t . _ t.) l~. ~
.... i=l 1 1 1
n a f.
E (t. - t]..) 1~+3n_2(~(f))
i-I 1
to
n-l a fi p ( a gn)
E (t. - til ~+3 (n-l) A(p) ,t .d •
i=l ].
Y - T . Si u
gn]
then the image of ~ in WP[ to ,d 0 belongs to
t
Hence,
~
* n-l
_ E (t . _ t. )
0 f.
1~. ~
i=l 1 1 1
(10. 6) Theorem.
. coherent on
9/~ 1S ~ for p ~ p < s •
>I
Proof. It suffices to prove that 11 is coh erent at o.
We break up the proof into three parts.
~
(Ii We first show that 9J is of finite type at o.
- 410 -
Y - T . Si u
Take e,
<f
It
< f
"'
in 1R~ and to <;: A( l) By
(()
Since 1/- 0~+l is finitely generated over nO" there exists
tm 'AL + 1
N lI
m <;:I~O such that tn is not a zero-divisor of n ~O •
By (10.2), for f " sufficiently strictly small,
'J rn 0 m+l) y 0 1 ~
f ) ,t -> F\t(A( P ) .e
It
Im ( Fb._l(A( ,d ,d )) is con-
(# ) {
'J " 01
Im ( lb:(A( f )) -> F\t(.6( P ) ,t ,d )
)l It
tained in
,
;.s surjective. From (#) and (t) we conclude that
Y - T . Si u
v ,
It follows from (*) that W IA( p ) is generated by a fi nite
number of elements ~l' ••• , ~ k ~ ~ ( pI). Let
~i ~r(A(f''')~W") be induced by ~i (l:i- i < k) •
~ Rt °
°
k
for some to ~A(P ) ; that is Ea ·(';·)O=O. Let "M
i=l ~ ~ t t
(1 :i- i ~ k) •
It follows that
Cartan-Oka
- 41 2 -
Y - T . Si u
equals
r(~(f" )'IWvO)I~(P
;\ ( " ),9Ht
II 0 ,d ;\+m)
] •
t
k
By (10.1) i) and ii), the image of ~ b.~ . in
i:al ~ ~
oJ (It
~+~-p+3 A(f ),t ,d
0 ;\+m)
belongs to the image of
r(A(p"), 1N>,A )
O
l (A(('") ,to ,d A+m)
t
in
II (It
~+II-p+3 .A(p ), t
0
,d
A+m) By (10.2), for
I
p suffi-
k
ciently strictly small, the image of ~ b.~ . in
i=l ~ ~
)l (lOA)
~+)I-P+3 A(p ),t ,d belongs to the image of
y
By ( B)n' f or f s uffici ently strictly s mall , th e image of
k k
~ b·S· equa l s th e i mag e of ~ c .z, in
i"'l ~ ~ i "'l 1. 1.
- 413 -
Y -T . Si u
(1 :i i :i k) •
Since
and
it follows that
Since h is arbitrary,
(**) { "0" 0
C Ker(%. (Q,t ,d) -> lb.+11_P+3(Q,t ,d)) .
Y-T . Siu
k - "A p
L b.~. ~ r(A(f i. AJoIy 0W ) •
i=l J. 1 t
II
By (10.5), for p sufficiently strictly small, there exists
I
A depending on A such that
I
i) A -> co as A -> co
k p ("
ii) the image of E b .t,. in H<t+3n_2 ~(p )) belongs to
i=l 1 J.
r(~(f" )'N,\0)~+3n-2
A' P (It
A(f )) •
I
By (B)~, for p sufficiently strictly small, the image of
k y I k
i~lb/)i in fh+ 3n-2(A(f)) equals the image of L c . ~. in
i=l J. J.
1<- 0 C !IN'v
A'
0 n(0 0
k
+ n(f)
k
Or\,~(
(
pI ), 'n)
II\" •
t t t t
,
Since A -> co as A -> co , it follows from the arbi-
trariness of A that
k I
I!) Or(~(p i,f?) •
n t
- 4 15 _
Y - T . Si u
codh O M = codh lD M
S,s n a-(s)
Y -T. Siu
Y - T . Si u
11) codh? S? n + 3
o< a < ~ in lR
such that
Let
,
ex = (l + 2"£
(l " = (l + £
, e
P P - 2"
P" P - £
£ltj2 + N
E 11
z,
2m •
~(t,z)
i=l ~
, ,
Take (l
< PI < ex and P < P2 < P . Let
n ~I x
rt
i n!X i (i = 1,2) .
Fix t
a <;: D • For any a a
(t , z ) <;: ~ - Xl ' there exists a
linear funct i on f(t, z) such that f(tO,zO) =a and f(t,z)
- 41 9 -
Y - T . Siu
l".
., . (R1 n._)
2"7 0 -> ( R1 n.
2 (Im 8) ) 0-
t t
1 2"7
(R n• .T) 0
t
Y -T . Siu
1 2 92
(R n;l) 0 ->
t
where 1
9 , e
2 are induced by and g is the restriction e
map- Since 82 .. 1 c.
and C, is an isomorphism it suffices
to show that Ker 9 2 .. 0 - Since is an isomorphism on e
Xl ,81 is an isomorphism- By applying the Main Theorem to
Y -T. Siu
on
Coker~ / )[n+l]
(
.. /O[n+Z]Cokerl:
N
Let TZ be the set of points of DXG (a,b) where '1 is not
n-flat. Take a < a" < b < b in IR N • Let
Y-T , Siu
1\
which agrees with 7 on
Y -T. Siu
§12 • Blow-downs
that
Y -T . Siu
Y - T . Siu
r(X,<Ox)
7 rtx, ~5) -> Hl(X,5) -> HI (X,<OX)
--->
0-1
~ 1
---> Hl(X c ,COX}
'l:
HI (Xc ,9)
- 426 -
Y -T . Siu
Since S = CD
X on XC , 1: is an isomorphism. By the results
Y - T . Siu
1 II 1
o -> f~ -> (Ox -> CDx/f~ -> a
where
Y -T. Siu
b(Ker c}
and
Y - T . Siu
Y-T . Siu
i) Supp o: C (c#, c* )
Y -T. Siu
subharmonic function on U
i
x G. Let K be a compact subset
of DxG and let f: D x G--> D be the natural projection.
~
Mr.
l:: ("t • • fie ~ + B{Y· f)
i ~ I ~
m
l::
( a2h) (x)a.a_ .
i,j=ldZ .dZ'. ~J
~ J
m
l:: -
ah (x/a .
i=ldz ~. i
Let ""
-r.~ '" '1:'. D f and Y''" '" 'Y' D f and let s be the unit sphere
~
Y-T . Siu
, ,
if A? A (x,a) and B? B. (A,x,a) , then
+ ].
The first bracketed term is > 0 when A > 0 When the
first n components of a are all zero, the second bracket-
ed term is o. When the first n components of a are not
all zero, there exists B* (.) ~ lR such that the second
bracketed term is > 0 when B? B*(Al. The third bracket-
ed term is at least as great as
where the only nonzero terms are those with ~i(X) t 0 and
O(<T'i ;x,a) to. Therefore there exists A* ~ lR · such that
J > 0 when A? A* Q.E.D.
- 43 3 -
Y - T . Siu
Y - T . Siu
i) R is Stein
ii) ? is a proper surjective holomorphic map
iii) R07*<OG = (DR
iv )
?- l (x ) is connected for every x I~ R) •
Y - T . Siu
'1
=
N ,
(n }- (U) R is Stein, by (12.7) X is Stein. Since
,
there is a pro per holomorphic map a- from X to X ,it
follows that X is holomorphically convex.
)I
i) R n* "} is coherent on S
Y
ii) R)l n* 1--> R n; '] is an isomorphicm for c# < c < c*
, ,
Proof. Letn, X ,~ be as in the proof of (12.8). Since
a- is proper, by Grauert's direct image theo~em (for the pro-
per case), for J.t ~ 0 , RJ.to; "J is coherent on X' and
,
is an isomorphism for any Stein open subset W of X
Since (j" maps { f > c# J biholomorphically onto its image,
for y ~ 1
case} to I lI
n' Supp R 0-* 1, it follows that, for »~ 1 ,
Y-T . Siu
Y- T. Siu
i
X -> Y
s
such that
i) ~ is proper
ii) every fiber of ~1!(A) has dimension ~ 0
Y -T . Siu
Y -T. Siu
Y-T. Siu
is a subsheaf of *
R~ (n. p I D)*(p "]) ,where )I ~ 1, r~
k \:.1'0'
and U,D are as in (14.1). Q.E.D.
ly large, both Rln*('MI ,x,yfl} <Ivr k) and Rln.( ......... 2 ~J}) Van-
x ~',x x
ish on Q. It follows that the two maps
Y - T . Siu
i) (9~n+l] .. (9X
Y -T Siu
Hl(X~,,1) ->
a-IVI
;;
~(X~' ,,1) ->
coming from
Y -T . Siu
Y-T. Siu
Y -T. Siu
APPENDIX
/~';'l < .
Pi .E fiM for
~"l
1
= J. ;i. k All maximal M-sequences have the
Y - T . Si u
Y -T. Siu
Y -T. Si u
I
U 1--> {S c;: r(U ,$) (s] U-A) c;: r(U-A,':1) for some subvariety
A of U of dimension ~ dJ •
Y - T . Si u
Y-T . Siu
For the "only if" part, we assume that dim Supp O[d]7<d
x
and dimx Sd(t) = d. There exists an open subset U of
X - Supp Old] "] such that dim U" Sd ('I) = d. After replac- .
ing U by a smaller open subset, we Can assume that there
exists f ~ r(U,~) such that V(fj: = Supp (OX/fOX contains
UnSd (7 ) and V(f) does not contain any k-dimensional
Y- T. Si u
Y-T. Siu
i) 7[d] is a coherent on X.
(** )
Il"Iql qo
-> n
v -> n<0 -> ~/n(f<:, (0)
nl:.! n
-> 0
qo ql
o -> J( -> n(0 -> n([) ->
Y - T. Siu
is coherent.
X = nn
Y -T.Siu
ii) The "only if" part. From t he defi niti on of "J [d] , we
conclude that Old] 7' = 0 • By (A.14 ), dim Supp O[d+l]1 ~ d.
O[d ]1 = 0 and
for k < d • Q. E. D.
- 456 -
Y -T . Siu
is an isomorphism.
Y -T. Siu
Pl ·..PO
... -> n+ Nl[) -> n+ Nt} -> "1 -> 0
on It follows from
Y-T . Siu
( A• I 0d ) Proposl.. t ao
. n- Su ppose a =< < a '< b
a = l.'n lRN , D l.' S
Y -T. Siu
striction maps
are bijective.
- 460-
Y - T . Siu
REFERENCES
Y - T , Siu
Y -T. Siu
Y - T . Siu
Department of Mathematics
Yale University
New Haven, Connecticut 06.520
U.S.A.
EDITOR[ALE GRAFIC A-ROM A
CENTRO INTERNAZIONALE MATEMATICO ESTIVO
(C.I.M.E.)
INTERNATIONAL MATHEMATICAL SUMMER CENTER
1961
1. Geometria del calcolo delle variazionl. -
Secon d volume. Direct ed by Prof . Enrico
Bompiani and V. V. Wagner . " 5.-
3. Onde superflciall, (Lessons of H . Brem-
m er, L. Fel sen, F. J . Zu cker, etc.) ,. 10.-
1962
3. Magnetofluidodlnamica. (Lessons of C.
Agostinelli, V. Ferrario , R. Nardini, A. G.
Pach olczy .and U Schmidt) ,. 7.-
1963
3. Proprleta di media e teoreml dl confron-
to In fisica matematica. (Lessons of B.
Col eman , J . Se rrin, H. Ziegler, C. Agosti-
nelli , D. Gr affi and G. Grioli) " 6.-
1964
1. Rel atlvlta generale. Dir ected by Prof. Car-
lo Cattan eo. (Lessons of L. Bel, J. Ehlers,
G. Carica to, G. Fer rarese and L Mariot) " 6.-
2. Dinamica dei gas rarefatti. Dir ected by
Prof. Carlo Ferr ari " 10.-
3. Equazloni differenziali non-llnearl. Direc-
ted by Prof. Guido Stampacchi a " 8.-
4. Questlonl dl analisl numerica: Directed
by Prof. Aida Ghizzetti ,. 10.-
1965
I. Non Linear Continuum Theories. Direc-
ted by Prof. C. Truesd ell . It 8.-
3. Mathematical Optimization in Economics.
Directed b y Prof. Bruno de Finetti ,,7.-
1966
I. Calculus of Variations, Classical and Mo-
dern. Direct ed by Prof. R. Conti » 8:-
2. Economia matematica. Directed by Prof.
Bruno de Fin etti . . . . . . It 4.-
3. Classi caratteristiche e questloni connes-
se. Directed by Prof. E . C. Ma rtinelli ,. 6.-
4. Some -aspects of diffusion theory. Direc-
ted by Prof. Pignedoli ,. 13.-
1967
1. Modern Questions of Celestial Mechanics.
Directed by Prof. G. Colombo . $ 7.-
2. Numerical Analysis of Partial Differential
Equations. Directed by Prof. J. L. Lions » 12.-
3. Geometry of homogeneous bounded do-
mains. Directed by Prof. Vesentini » 8.-
1968
1. Controllability and Observabllity. Direc-
ted by Prof. G. Evangclisti » 8.-
2. Pseudo-differential Operators. Directed by
Prof. L. Nirenberg It 10.-
3. Aspects of Mathematical Logic. Directed
by Prof. E . Casari It 8.-
1969
1. Potential Theory. Directed by Prof. M.
Brelot " 8.-
2. Non-linear Continuum Theories in Mecha-
nics and Physics and their applications.
Directed by Prof. R. S. Rivlin . " 10.-
3. Questions on Algebraic Varieties. Directed
by Prof. E. Marchionna . » 10.-
1970
1. Relativistic Fluid Dynamics. Directed by
Prof. C. Cattaneo » 13.-
2. Theory of Group Representations and
Fourier Analysis. Directed by Prof. F.
Gherardelli » 10.-
3. Functional Equations and Inequalities. Di-
rected by Prof. B. Forte. » 13.-
4. Problems in non-linear Analysis. Directed
by Prof. G. Prodi » 16.-
1971
1. Stereodynamics. Directed by Prof. G.
Grioli » 10.-
2. Constructive Aspects of Functional Ana-
lysis. Directed by Prof. G. Geymonat.
(Being printed) » 25.-
3. Categories and Commutative Algebra.
Directed by Prof. P. Salmon » 10.-
1972
1. Non-linear Mechanics. Directed by Prof.
D. Graffi » 14.-
2. Finite geometric structures and their ap-
plications. Directed by Prof. A. Barlotti » 9.-
3. Geometric measure theory and minimal
surfaces. Directed by Prof. G. Bombieri. » 7.-
1973
1. Complex Analysis. Directed by Prof. F.
Ghcrardelli . . . . . . .. . » 14.-
2. New variational techniques in mathema-
EDIZIONI CREMONESE tical physics. Directed by Prof. G. Capriz
and Prof. G. Stampacchia » 10.-
Via della Croce, 17 3. Spectral Analysis. Directed by Prof. J.
00187 ROMA (Italia) Cecconi » 9.-