This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
" = ~. Proof: Bdry (G ll (I z-z0 I
(max 1~ 1 -f1 (~,z)l) lt(z)l ~ 1~ 1 -f 1 (~,Z)I 17/J(z)l while ll+tl leial ~ 1-E and thus F(~ 1 Z,~,t) ~ o, i.e. i a contradiction. Hence 1-e. However, F contradicts the conclusion of the proposition •. For 2:** C ( lz 3 1~ 1, ICil.~ 1) means that P1 is bounded on 2: , and for lz-~1 "' < p, ~is bounded; hence for a large enough choice or a, ll+al can be made > IP 1 1 ltl so that F(z,Z,C,a) # 0 * "' for "'<.~, Z, C) ~ L:. . For t = 0, 1 = i )"' 11/1 ( ~ ) I = IP1 (Z,C)I 1~(~)1. Hence at the point (~,Z,C), there is a (!" such that P1t = eiO'"'. Take a == cr. Then F = 0 at AJ\1\ ""i\.'\ * ( ~ , Z, C, 0 ) and (~ , Z, C) e 2: . 8) Consider only z e Clz-el<e). Since ~ £ o0 , there is a point with first coordinate ~ belonging to (~*-~), since there is a point £ ~* (~) with (z,Z) i G. At this point ~=max (b,IPjl) and at least one polynomial is ~ 1, i.e. ~(~) ~ 1, for if not, then (z,Z) e G by 6a). Now ~ e boundary o1 means that 1n ( I z-~ I <e) , there is ··lin ~. e o1 . with ~(~) =b. For a) If ~ i S, ~ ( ~) = b. b) If ~ e S, consider any (~,Z,C) £ ~ * • Since ~ e o1 , ( 11 , Z, C) e ~ by 3) • By 6b ) , IP j ( Z1 C) I < b for all j at (~,Z,C) , and hence ~(~) = b. Next, consider the set of points (in (lz-~1 <e)) where ~ ~ 1. This set is closed because ~ is upper semicontinuous, and at ~~ ~ < 1. This means that there is a closed set with c1 boundary 6 C:(lz-~l<e), containing ~, such that ~ < 1 1n int 6 and cl> ~ 1 at some boundary point of 6. Now in = o. But C) is coherent, so Theorem B applies. Theorem 62. In X, every ~-closed form is ~-exact. Proof. Appeal to the Dolbeault isomorphism theorem and Theorem B. Theorem 6;. Suppose there exist finitely many local -1 sections s 1 , ••• ,sr generating all the ~~x' x eX. Then every global section s is of the form s = ~ ~jsj where the are holomorphic in X. Proof. Consider the sheaf homomorphism (Q r(X) -> ~
r
l
r
r (\
cr
"'
r (\ L
"'
* = ~.
"'
1\1
"'
z r- ;
>
c) F(z,Z,~,t) ~ 0 for (z,Z,~) E and t E cl T because on > , ~l = f 1 and therefore IFI = (l+t) > O. However, the conclusion of the proposition is violated. Fo~, by choosing ~ sufficiently large, l(l+a)l can be made greater than 1(~ 1 -f 1 )tl, since the latter is bounded, so that F ~ 0 at t = a. But for t = 0, F = (~ 1 -f 1 )t - eia = 0 at a point of 2::* II G: for at z0 , R1 17f11 = 1 implies that R1 (z 0 ) ~ 0 andAhence zQ E S and R1 (z 0 ) ~ * max 1~ 1 -f 1 (z0 ,z) I = I~ 1 -f1 (z0 ,z) I for some (z 0 ,z,~) E L .
12:5 A
1\
J\
-
18
A
lcl-tl.(zo,z>t I~Czo>l = 1 or ccl-tl(zo,Z)) t{l(zo> = e • Choose a= Q.. Hence log R1 (z) is subharmonic, and R1 is then subharmonic by Proposition 2. Let o1 be an unbounded component or o. (o1 ~ exists because 0 contains the complement of s, a compact set 1n c.) :5) ·L(z) = :L:* (z) tor z £ o1 • Proof: Firstly, there is a z £ o1 , for which a3(z) = 0 for all j = l, ••• ,v. For, since o1 is unbounded and S is bounded, (o1 1l {I-S)) ~ Therefore there is a z £ ~ and z i S and for this z, R3(z) = o for all j. Secondly, since (o1 (\ (C-S)) is an open set, there is a neighborhood of this z contained in ('1_ I) (c-s)) 1n which RJ = o tor all J. By 2), since Rj vanishes 1n a neighborhood of z, it vanishes 1n the largest component containing z, i.e. 1n o1 • By 1), then, ~(z) = L * (z) tor z e·~· If we can prove that ~ = e, then we are done. So, assume o1 rf. e, then o1 has a boundary. point ~ • ~ is also a boundary point of f.b 1 and since ~ is closed, Thus
+
+•
~
£
Oa· 4>
L<~> ~ ~.
Proof: Since E e o0 C s, either ~ e int S or ~ £ bdry s. a) If ~ e 1nt s, then there is a sequence of points ~ j -> ~ , ~ j e iS"'\). Since ~ j e S, there are points (~3,z.1,cJ> e L, and ·by 3), c~3~z3,c3> e L:• By the compactness of ,.-1 there is a convergent subsequence j j j jj .. j (~ , Z 1 C ) , ~ -> ~ 1 Z -> Z, C -> C and (~ 1 Z, C) E L • b) If ~ e bdry S and L<~) = +1 then for every .1\ point (~ 1 Z,C) with first coordinate sufficiently close A.. to ~~ £.-.. ~(~) = ,, by compactness, i.e. there is an£> 0 h 1\ such that if ~~-~I < E then L:<~) a ' · Since ~ £ bdry S, there is a point ~ 1 with I~ -~ I < e and ~ 1 I. S. Consider the function F(z,Z,C,t) = z- ((1-t)~+ t~ 1 ) for
124
t e T ={t e C I lt-t0 1 < e1, and t 0 e [0,1]}, where e1 is cho~en such that (1-t)~+ t~ 1 for t e T is contained in (1~-~l<e). F is holomorphic for all Cz,Z,C,t). F ~ 0 for z e L and t e T because z = (1-t)~ + .t~ 1 lies in the disc or radius e about ~ and by assumption, then, L:<·z) = 4>. Hence, F satisfies the hypothesis or the proposition. However, for t = 0, F = z - ~~ and since ~ e S, [F=O] (lL * = [z=~] () L * = L::* (~) p ~; while for t = 1 ~ = z -*~ 1 and since ~liS, [F=OJ ()2::* = [z=~ 1 l IlL: = L: (~ 1 ) = ~~ contradicting the conclusion of the proposition. Thus ~(~) ~ ~. * 5) L:(z) = L:Cz). Proof~ Use induction on n. Either n = 1, or n = k+l and the fundamental lemma holds for n~ k. If n = 1, then L(z) is a point, namely the point (z,r1 (z), ••• ,rv(z)), and a point is its own polynomial hull. If n = k+l, then :L:(z) = f(z 1 , ••• ,zk+l'c 1 , ••• ,cv) I lzjl ~ 1, lcil ~ 1~ (zl,Z) E G f\[zl=z] and ci = ri(z,Z) for i = l, ••• ,vj and therefore is the Oka image or an analytic polyhedron in ek. By the induction hypothesis, then, L:Cz) = Z::Cz) * • 6) There is an e > 0, a number b, 0 < b < 1, and N polynomials PJ(Z,C) such that a) if lz-~1 < e and for all j, IPj(Z,C)I < 1, then (z,Z) e G and b) if lz-~ I < e and (z,Z,~) e L: then for all j, IP j(Z,C) I < b. Proof. a) If (~ 1 Z,C) e 2: then (~ 1 Z) e G, and there is a point (~ 1 Z,C) e ~ by 4). Since G is open, there is a neighborhood of (~,Z,C) such that every point in this neighborhood has its first n-coordinates in G; i.e. there is a 6 > 0 such that if the distance from (z,Z,C) to ~(~} is less than 6, then (z,Z) e G. But since
125 = Z:<~) * , any neighborhood of 2:(~) contains a smaller neighborhood which is a polynomial polyhedron. Hence we can find an E1 , and polynomials Pj with the required property a). b) At every point (~,Z,~) E 2:, IP j(Z,~) I < 1, j = 1, ••• ,N. VIe claim that f-br z sufficiently close to ~, and (z,Z,C) E 2:, IPj(Z,~)l < 1 for all j. Suppose not, then there is a sequence ~ k -> ~, and Zk, ~lc such that (~k,zk,Ck) E ~ and max IPj(~k,zk,~k)l > 1 for each k. Since ;;- i~ompact ~here is a subsequ~nce (~k,zk,Ck) ."'\ /\ which converges to a point (~ ,z, C) E > • renee in the limit we obtain a point E 2:<~) \'lhere at least one of the polynomials Pj has absolute value> 1; a contradiction. Therefore there is an E2 neighborhood N of ~- sue~ that IP j{Z,C) I < 1 for all j and (z,Z,~) E {Li1[z E Choose E =min (E 1 ,E 2 ). Then if lz-~1 < E and {z,Z,C) E ~~ IPj(Z,C)I < 1 for all j, and since IPjl is continuous, there is a number o < b < 1 for which IPj(Z,C)I
2:<~)
Nk).
126
t e T = lte C I lt-t0 1 < e and t 0 e [O,al] where· a and a will be determined later. F satisfies the-hypothesis or the proposition. A * a) If z e (lz~~l=p) and (z,Z,C) e ~ t~en F ~ 0 since then z e S and ~=max (b,IP f) and satisfies +1~1 < 1 or +1~1 < 1-2~. But all .jpjf < + implies that IP 1 1 1~1 < 1- 2e on lz-~1 = p. BuX leial ll+tl ~ 1-e. b) If ( z, Z, C) e ( 2: ()( I z-~ I
!(
A.
127 1. Therefore either z i S and hence z i o0 , a subset of s, or z E s. If z E S, then-since 4>
~(z) <
=
L:=Z:·
128
Chapter 12.
Some Consequences of the Approximation Theorem
§1. Relative con~exity Definition 55. Let D0 c. D, both open in an. We say that- D0 _!!! D-convex if, for every K
= [ z0
e D0
I
If( z0 ) I ~ sup If( z) !
for every f
holomorphic in
,
z e K,
D} .
" the hull of K with respect to Note that K1 JK, functions holomorphic in D0 • Theorem 37. Let n0 C. D, both open in ¢n. Then the following statements are equivalent: 1) D0 is D-convex. 2) There exists a sequence P jc GP j+l' ljP j = D0 , where each Pj is an analytic polyhedron in D.J 3) n0 is a region of holomorphy and (D0 ,D) is a Runge pair. Note. This is in some sense an extension of Theorem 33 of Chapter 10, g3; \'lhere D = Cn. Proof. 1) implies 2) : Let Kc. c D0 • There exists an open set D1 c..cn0 such that K1 c....c.D1 • Now, for every ~ E bdry n1 there exists a function f£ such that If~ I < 1 on K1 and lr~(~)l > 1, where f~ is holomorphic in D. Hence,there exists a neighborhood N~ D of ~, such that If~ I > 1 on N~. But n1c c. D0 ; hence bdry n1 is compact and a finite number of neighborhoods N1 , ••• ,Nr suffice. Let ~ = [z I zED, lfj(z)l < 1, j = l, ••• ,rJ. Now P is an analytic polyhedron in D, with P cc n1 , and K c. K1 c <:. P ; hence every compact subset of D0 may be ~nclosed in an analytic polyhedron in D. So, let K c. K c ...c D0 be a sequence of compact al. a2 sets such that ~ Ka = D0 • As above, there exists an analytic polyhedron ini D, P1 ~ K • Now, cl P1 UK is al a2
129 compact; so there exists an analytic polyhedron in n; P2 :;:;J cl P1 UK~, and so on. . 2) implies 3). Each Pj is Runge in Pj+l• Hence lemma ~ (p. 111) is applicable. Th~refore D0 is a region of holomorphy (by Theorem 21, p. 75) and (D0 ,D) is a Runge pair. ...... 3) implies 1). · Let K c<. n0 , and let K, K1 be as ~ A ~ in definition 551 K C. K1 • ~le c~aim K = K1 • Assume q i K; we must shovl q i K1 • Now q i K implies that there exists a function f(z), holomorphic in n0 , such that lf(z)l < 1 on K and lf(q)j > 1; in fact, there exists an E > 0 such that lf(z)l < 1- 2E on K, and lf(q)l > 1 + 2e. Since (D0 ,D) is a Runge pair, there exists a function g, holomorphic in D, such that lg-fl < e on the compact set K U fqf • But lg(z) I = lg(z)-f(z)+f(z) I ~lg(z)-f(z) I+ lf(z) I < 1-E on K; and lg(q) I~ jf(q) 1-lg(q)-f(q) I > l+e; so q f. K1 •
S2. Unbounded regions of holomorphl
r. Let Xopenc en; let xj c
xj-~l
be such that Xj =X, where Xj is a region of holomorphy and (Xj,Xj+l) ts a Runge pair. Then X is a region of holomorphy. Proof. As indicated by the proof of lemma ~ (Chapter 10, §1), we may assume Xj is Run~e in X. Recall that, for every Kc..c..Xc~n, 6(K) = 6(K) if and only if X is a region of holomorphy (Theorem 5, Chapter 2, S2}. Hence, A,. assume there exists a K c.c. X for which . 6(K) < 6(K), where 6 is taken in the maximum norm; i.e. there exists a q e "K - K such that 6(q) < 6(K). For j sufficiently large, Xj ~K u tq~. Now for every f holomorphic on Xj, lrl < 1 on K implies lf{q)l < 1, i.e. q e [Hull of K with respect to functions holomorphic in Xj]. But Xj is a region of holomorphy, so dist (q, bdry Xj) ~ dist (K, bdry Xj); i.e. letting j -> co, 6(q) ~ 6(K), which is a contradiction.
V
Lemma
130
Note. One obtains another proof by constructing a I I I sequence Xj(,:'c.Xj+l such that V Xj = X, using analytic polyhedra as in 11 1 implies 2" of' ~heorem 37. Remark. (Oka) Let XC (Jn; we assume 0 e X for simplicity. Let Xr = X ntll z II < by assumi>tion. Then X is a region of' holomorphy if and only if' ~ is a region of holomorphy for every r > 0. !!~· Assume Xr is a region of' holomorphy for every r > o. If Xr is Runge in XR for r < R, we are done by lemma 1• Using the preceding theorem, it suffices to show Xr is XR-convex. Let K c.c.Xr; let K1 be the XR hull of K. K1 c c XR as ~ is a domain of' holomorp_hy. But, f'or every z e K, II z II < r - e. Hence, in K1 II z II ~ r - e ; where the norm is the maximum norm. Hence, K1 cc.. xr. The reverse implication is clear. -
:J, f '
§3.
The Behnka-Stein Theorem
Theorem 38. (Behnke-Stein). If Xj C.. Xj+l C Oln, and Xj is a region of' holomorphy, then X = U Xj is a j region of holomorphy. We first require a lemma: Lemma 5. Let n1 c.. c n2cc. n3 c c. ¢n be regions, n3 a region of holomorphy, such that dist (z 2-bdry n3 ). z1e bdry n1 z2e bdry D2 z3e bdry n3 . (This means that any subset or n3 whose distance to oD3 is~ the distance of cl D1 to oD 3 -lies in int D2 .) Then there exists an analytic polyhedron P in n3 such that D1 cc.PccD2 • Proof. Let K = cl n1 , and let K1 denote the n3-hull of K. Then t;,(K)=~(K 1 ), so K1 cc.D 2 • Butnowthere exists an analytfc polyhedron P such that K1 c. P cc D2 , as in "1 implies 2" or Theorem 37. min
II z1-z 3 11
>
max
131
Proof or Theorem 38. Utilizing Oka 1 s remark, we may assume X<:.C ff. We may also assume Xj ccxj+l as every region or holamorphy can be written as a strictly increasing (i.e. ~elatively co!DPact) sequence or analytic polyhedra (see corollary to theorem 7, Chapter 2, § 5). Define: M j
= max
z e bdry X j
M
jl, j2; jl <j2
min
= max
II z-C II
C e bdry X
min II z-C II z e bdry xjl e bdry xj2
c
minz e bdry X mine e bdry ~I z-C II j
mjl,J2;.1l<j2
=
minz e bdry xjl mine ebdry x,;lz-CII.
We select a sequence v1 ,v 2, ••• or subscripts as follows: Set v1 = 1. Choose v2 such that Mv < mv , possible 2 1 as r4v 2 -> 0 as v2 -> oo • Select v3 > v2 such that Mv 2,v < m · 3 vl,v3' Mv < mv , possible as lim Mv v = M < m = lim mv v 3 2 v3->oo 2' 3 v2 vl v3->m 1' 3 and Mv -> 0 as v3 -> en • Continuing, select vj > v j-l such t~at M < m v and M < m ; possible vj-l'vj vj-2• j vj vj-1 as before. Consider now the subsequence Xv ; any three successive terms Xv c c X c c Xv satisfy1 the conditions of q Vq+l q+2 1 emma u for II:
minz c bdry. X II z-C II = m > M v Vq vq,vq+2 vq+l'vq+2 Ce bdry Xv q+2 maxz E bdry X mine E bdry X II z-C vq+l vq+2 Hence, there exists a sequence fPjJ of analytic polyhedra such that X c c Pjc c x.. , where Pj is an analytic vj v.1+1 polyhedron in Xv and nence in Pj+l<: Xv • j+2 j+2 =
n.
132
Appealing to the Oka-Weil theorem (theorem 35), (Pj,Pj+l) is a Runge pair. Now use lemma r (or 13) to obtain the desired result.
§4.
ARElications to the Levi problem
We recall the Levi probl~: Is every pseudoconvex domain a domain of holomorphy? We shall reduce this problem to the consideration of "strictly pseudoconvex" domains, defined as follows: Definition 56. Let Gopenc: ~n, and let '(z) be a real valued, c00 function on G. Let ' be strongly plurisubharmonic i.e., (d 2 ~; dZidzj ) > 0 for every z E G; assume also that ~ > 0 near the boundary of G and ~ < 0 somewhere in G; more precisely, there exists an e > 0 such that for every z e ~z I diet {z, bdry G) < E, z E aj, ~(z) > 0 and there exists a z0 E G such that ~(z 0 ) < 0. Now consider the open (nonempty) set G_= I z EG, ~(z) < 0; it is called strictly pseudoconvex; any region D for which there exists a Gopen<: ~n and strongly plurisubharmonic (real-valued, c00 ) function ~ for which D = G_ is called a strictly pseudoconvex region. We remark that a strictly pseudoconvex region is pseudoconvex; consider log (-1/~). The strict pseudoconvexity is essentially a "smooth boundary" condition. Example. The unit ball is strictly pseudoconvex: set n ~ = ~ zjzj ~ 1. The unit polydisc is not, and analytic polyhedra are generally not, strictly pseudoconvex. Theorem 39. Every pseudoconvex region is the limit of an increasing sequence of strictly pseudoconvex regions. Proof. Let D be pseudoconvex; i.e. there exists a real-valued, continuous, plurisubharmonic function t in D such that t -> + CD on the boundary of D. We claim that for every compact subset K of D there is a strictly
tz
133 pseudoconvex region D0 satisfying K c.. D0 c c.. D. To prove this, notice first that since '1/1 -> + 00 on an, there is a positive integer N so large that K c s c T Lcompactc D, where S = fz e D I '1/J(z) < N_), T = 1z e D I 1/J(z). < N+Y and L is any compact subset or D containing T. Give e > 0 small. By Proposition 2, p. 28, there exists a c00 plurisubharmonic function '1/Jo on L such that lt(z)-'1/10 (z)l< e on L. Define ):_(z) = 1fJ0 (z) + e/M zizi;
c
n
f.:.
~1
M = maxL ~ zizi. Then X(z) is coo and strongly plurize _ Y subharmo l on L. For z e S, ,_(z) < N + 2e; for z e (L-cl T), X(z) > N+ 1-E. Therefore if we set D0 = ''fz e int L I~ (z) < N +1/2], then- n0 is strictly pseudoconvex and K c D0 c L, as claimed. Let Kj be an increasing sequence of compact subsets of D such that 'iKj = D. For each j, let Dj be a strictly pseudoconvex region, Kj c. Dj c:: c. D. We choose a sequence v j of subscripts as follows: Set v1 = 1; D1 C Kj 1 for some .1_ ; hence D1 c. c Kj • Set v 2 = jl; and so on. Note that Kjc.D c D ••• 1 vj vj+l so that D c C D and U D = D. vj Vj+l j vj Proposition. The Levi problem is reduced to the following: Is every strictly pseudoconvex region with compact closure a region or holomorphy? Proof. Use the preceding theorem together with the Behnke-Stein theorem. ----.;;.~,_;_..
Chapter 13. Solution of the Levi Problem The object of this chapter is to prove the following theorem. Theorem 40. If Dopen c¢n is ~seudoconvex, it is a region of holomorphy. Since every pseudoconvex region is the union or an increasing sequence or strictly pseudoconvex regions (Theorem 39) 1 and the union or an increasing sequence or regions of holomorphy is a region or holomorphy (Theorem 38), it suffices to prove Theorem 40 I • If Dopenc c en is strictly pseudoconvex, it is a region of holomorphy. The Levi problem has been solved first by Olm (for n = 2), then by Bremermann, Norguet and Oka for any n. There exist today many proofs of this theorem using either Oka's original method, or functional analysis.methods (Ehrenpreis, Grauert, Narasimhan, Andreotti-Gr~uert, etc.), or partial differential equations (J. J. Kahn). The proof given here follows mainly Grauert and Narasimhan. The idea of using an "Extension Lenuna" plus a result by L. Schwartz to establish finiteness of cohomology groups is due to Cartanand Serre. Reduction to a finiteness statement Proposition 1. If Dope~.c mn is strictly pseudoconvex, th en dim Hl(D , ..0) < oo. , . Let U = f ui<~ be a fixed, locally finite covering. The 1 "' ~ dim H (D, ) ) = m < oo means that given (m+l) cocycles on U, a nontrivial linear combination or them is a coboundary on a refinement of u. But a cocycle on U is a set of Cousin I data, and a cocycle induces a coboundary when the induced Cousin I is solvable. Since \-Je can add Cousin data and multiply by constants, dim H1 (D,0 ) = m < oo means that a nontrivial linear combination or (m+l) CI data is solvable. Proposition 1 implies Theorem 40 1 • Proof~ Recall that Dope~c.¢n is strictly pseudoconvex if there is an open set Gc".:.
135 000 function 1n 0 and if lrot I Iem/ozj II Io~/ozjozkl are all~ e 1 n1 =- [~-Ku
n1c..c e •
since ro is small and ~-ftu is a real-valued C~ function 1n G. ~-kl> is strongly plurisubhar:monic since the sum of a small quadratic form and positive definite quadratic form is a positive definite quadratic form. Lemma 2. Let Dope~c en be a strictly pseudoconvex region. There is an e > 0 such that if q e bdry D and B is the polydisc or radius e about q, there is a quadratic polynomial Q, in z1 , ••• ,zn, with Q(q) = 0 and Q(z) ~ 0 in D f\ B. Proof. Since ~ e 000 1n G and is real-valued, by Taylor's theorem, n ~(z) = ~ [Aj(zj-qj) +Aj(zj-qj)] + ~or.
D
c
e.G
where H = (Hij) = H* and R involves third order terms. So, ~(z) = 2 Re Q(z) + (z-q) * H (z-q) + R where
Q(z)
~ (~
AJ(zFqJ) +
~
A1 J(z1-q1 )(zJ-qJ) •
i~l No~-since the hessian of is positive definite, H is a positive definite hermitian matrix of second order derivatives of at q. Since H varies continuously with q, and at each boundary point q of D it has a positive smallest eigenvalue, the minimum eigenvalue of H over oD, call it a, is positive. Hence (z-q)*H (z-q) ~ allz-qll2 • Similarly by estimating third order derivatives of ~ over oD, we can find an M > 0, independent of q, such that - Mllz-q 11 3 < R < Ml~-q113 • Hence (z-q)*H (z-q) + R > (a-MIIz-qlllllz-qll2: - E = a/M; then for II z-qll < E, (z-q) - *H(z-q)-1-R > 0 Take j-
+
+
except at q where it vanishes. But in D" B ~ < 0; therefore Q f 0. Lemma 3. Let Dope~c. _,n be a strictly pseudoconvex region. There is an E > 0 such that if q E bd~y D and B is the polydisc of radius~ E about q, then B tj D is : a region or holomorphy. Proof: We will show that every boundary point is essential. Take E = 1/2 E2 , the E of lemma 2. Bdry (B flD) = ( (bdry B)() D) V(B /)bdry D) U(bdry Bnbdry D). If y E bdry B, then since B is a domain of holomorphy, there is a function holomorphic in B and singular at y. If y E (bdry D)A B, then the polynomial Q, of lemma 2, corresonding to y, is holomorphic, Q(y) = 0, and Q(z) F 0 in D A B. Hence 1/Q is holomorphic in DAB and singular at y. B. Assuming proposition 1, we will show that every boundary point or a strictly pseudoconvex D is essential. Let q E bdry D. Let B be the polydisc of lemma 2 and Q(z) the quadratic polynomial. Let ru > 0 be a c00 function whose support lies in the interior of B and ru(q) > o. Consider ~ - tn, where t > 0 is small. By lemma 1, if t is small enough, n1 = [~ - tm < 0] is strictly pseudoconvex. DC Dl cc.
-
137 holomorphic in u1 and F(z) - 0 = F(z) is holomorphic 1n D. This function F(z) is holomorphic in D and has a_ pole at q. ~2.
Reduction to an extension property
Propositio~.
Let Dopenc:~ mn be strictly pseudoconvex. There is another stri~tly pseudoconvex region D0 with Dec D0 cc o:n such that if a= L a 3 dzj i~ a c00 differential form of type (0,1) in D and ~a= 0, then there exists a c00 form ~ = ~ bj dzj in D0 with ~~ = o in D0 and a C00 function ;:_ 1n D, such that a - ~ = 'd.X in D. 2 means that every closed (0,1) form in D is cohomologous 1n D-to a (0,1) form defined and closed in a larger region. 2 implies 1. Proof: By Leray's theorem, the cohomology groups of D, Hr(D,~) are isomorphic to the cohomology groups ~(D,U,(9) of D with respect to any simple covering of D. Hence we need only consider cohomology with respect to a simple covering 1n order to prove 1. Let £ 1 ,£ 2 be the e 1 s given by Lemma 3 for D and D0 , respectively. Take £ = l/2.m1n (£ 1 ,£ 2 ) • Cover ~Do by finitely many open_polydiscs of radius £ such that (*) the closures of the polydiscs are disjoint when their interiors are disjoint. Complete this covering to a finite 1 ' . covering V = v j ~ of D0 by adding open polydiscs of radius £ satisfying (*) and whose closures do not intersect " oD0 • About each v3 take a slightly larger open polydisc v 3 I II I . II such that v j c:c:: v3, if "cl vJII ~Do = ~ then cl v j f) ~Do = ~~ if v~ 1\ vk = ~ then v j t) vk = ~~ and such that for each j, v~' A D0 is still a region or holomorphy. Set u' = Su 3' = 1 II ': II fl .., 1 11 l ~j/)D and U = Luj = v 3 t1 DoJ· Then U and U are ~-simple coverings of D and n0 , respectively, since they are finite coverings by regions of holomorphy. With each covering we have the groups of cochains,
f
'
cr(D,U 1 , &>, Cr(D0 ,u" 1 0) 1 and the groups of cocycles zr (D 1 U' 1 (!}) and zr (D0 , u~' 0) • As we have already noted, these groups are also linear vector spaces. With the following notion or convergence, it can be shown .that cr, and hence zr , is a topological vector space: a sequence or elements or Cr (D, U, (9 ) converges if in each u1 ll ••• I) ur+l#+ the sequence of holomorphic functionsassigned there converges normally. In fact, these spaces are Frechet spaces, i.e. Hausdorff, locally convex, metrizable and complete under the metric. Define the mappings 6: 0° (D,U 1 ,(9)
->
z1 (D,U 1 ,(9)
to be the coboundary operator and r:
z1 (n0 ,u",0)
->
z1 (n,u•,<9) z1 (D0 ,u",&)
to be the restriction map; i.e. if z e then r{z) is the restriction of z to the covering u1 • 6 is a continuous linear map and r is a completely continuous (i.e. compact) linear map. To show that r is indeed compact, we must show that there is a neighborhood of the origin which is mapped into a relatively compact set. A neighborhood of the origin is the set of all 1-cocycles on U" which assign II If holomorphic functions fij ~0 ~if\ uj :J ~ with Irij I < E. Consider one intersection uil\ u j {; ~ and the holomorphic functions fij assigned there with ·.1 fijI < e. The 1mage I 1\ I cocycles, under r, assign to ui''uj the holomorphic functions r ij, Ifij I < e. Take any sequence r~j ~ or these functions, lrikjl < E 1 and a compact set KcD0 , II II I (uil\uj) :::>.:>K -)~(ui f\uj). Since t}1e derivatives of the rl1j are uniformly bounded on K, 'i, f i~} is equicontinuous and uniformly bounded on K, and hence contains a normally convergent subsequence. This shows sequential compactness of the image, but in a metric space sequential compactness implies compactness.
l.
139 Now, consider the follO't'ling two maps of th.e direct sum of C0 (D,U 1 ,0) and z1 (o0 ,u",L)) into z1 (n,u•,U),
c
0
(D,U 1
,cJ)
tez1 (o0 ,u",())
5.$ r=A
=-~ z1 (o,u•,0) -r=B
where 6 (±) r means that 5 operates on c0 and r on z1 and -r is just the map -r operating on z1 • Both maps are continuous and linear. B is compact, and we claim that A is onto (see below). Theorem. (L. Schwartz). Let E, F be Frechet spaces and A, B : E -> F be continuous linear maps from E into F. If A is onto and B is compact then the range of A + B has finite codimension, i.e. dim F(A+B)E
t·
14.0
§3. Proof of Proposition 2 We will prove a proposition 2 1 and then show that 2' implies 2. Proposition 2•. Let Dope~~ Cn be strictly pseudoconvex. Let q E bdry D. Take E to be the E of lemma 3. L~t B1 be the· polydisc about q of radius e/2, and let t•) ~ 0 be a C00 function with support in B1 and ru(q) > 0 so that n1 = [~-tm
consi~
the regions D£ =
[~- ~
tj mj
<
0],
where the
tj
are positive numbers so small tnat each n2 is strictly pseudoconvex and Dt ":]_en. Since ~-I w j = 1 at every boundary point of D, tj ruj > 0 here. Hence DCcDN. Also,
l=l
141 D1 satisfies 2' with respect to D and D2 satisfies 2 1 with respect to D2 ~ 1 , 2 = 2, .•. ,~. Hence every closed (0,1) form in D is cohomologous in D to a closed (0,1) form in D1 which in turn is cohomologous in n1 (and hence D) to a closed (0,1) form in D2, etc. up to DN. Take for D0 , in 2, the set DN.
142
Chapter 14.
§1.
Sheaves
Exact sequences
In the following, all groups are Abelian and ·all maps are homomorphisms. : A. Definition 57. A sequence is a collection of groups AJ and maps ~J : A;--> AJ+l' written [Aj,~J) or: •••
.
>
Aj-l
>
~j
Aj
Aj+l
>
> • •• •
The sequence is said to be exact at Aj if 1m ~j"l=ker ~j' where 1m ~j-l = [ala E Aj , there exists b E Aj-l such that ~j-lb = aJ ker ~ j
= [ al a
E
Aj
1
~j a =
0} .
The sequence { Aj~~;I is called Aj' for every j. Definition 58. A collection of to form a commutative diagram if all leading from a group A to a group the same result: e.g. the diagram A
<j>
exact if it is exact at maps and groups is said compositions of maps B in the collection give
> B
~w c commutes if t~(a) = Q(a) for every a E A. Remarks. 1) Clearly, 0 -> A -> 0 is exact if and only if A = 0. J. 2) 0--> ~> B is exact if and only if ~ is one-to-one. In this case, we may regard A as a subgroup of B, for A1 = ~(A)C: B, and ~ : A -> A1 is an isomorphism. Hence the diagram ~ 0->A->B
t~
tid
0 ->Ali> B
143 is commutative (1 will always denote the inclusion map and id the identity map). 3) A !_> B -> 0 is exact if and only if 4> . is onto. Here,.the homomorphism theorem of group theory implies B"' A/ker denote!3 "is isomorphic to"). Hence, we may "factor" ~ as follows:
+ ("'
-
A _j_> B j " ' -/
A/ker
++1
This diagram commutes, where here j (as always) denotes the canonical projection and is onto; and 1 , the map induced is an isomorphism. by 4) Combining 2) and 3), 0 -> A i.> B L> C -> 0 is called a short exact sequence if and only if ' is 1-1, t is onto and 1m = ker ~. Remark. Utilizing the above remarks, the following · diagram commutes and both horizontal sequences are exact: ~
+
+,
+
+
0-> A-> B->
tid
~t
Note that ' : A -> A1 , id : B -> B and ~l-1 : C -> B/A1 are all isomorphisms. Isomorphic groups may be identified; hence short exact sequences should be thought of as being in the rorrri: 0
->
A
..!....>
B
..J.....>
B/A - > 0 •
Proposition 1. Let I=[ a,l3,-y, •••j be directed by " > "; and let there be given sequences {Aj,+j~ exact for each a, such that, for a < 13 the following diagram exists and is commutative:
B.
,
144
:
where the a~ a
< f3 < 1
satisfy the following compatibility condition: implies
a
r
=
aj1 ar
•
Then the limit sequence lAj = 11m Aj , ~j = 11m ~~ exact and the following diagram commutes:
a,!J> Aaj+l ->
• • • -> Aj
t1 ti
J
is
•••
• • • -> A • ~> A -> • • • J 'flj j+l
•
Remark. The Aj are defined as follows: Set Sj =lJ Aaj; define an equivalence relation """" on aer a a2 Sj as follows: s 1 E Aj 1 , s 2 E Aj are equivalent, s 1 ~ s 2 , if there exists a f3 such that ~ < ~~ a 2 < f3 and alf3 a2f3 aj (s~= aj (s 2 ). Then Aj = Sj/~, and the group structure is canonical. Alternatively, define a thread to be a set of elements tga) such that for every a E I, g 0 E Aj; and for every pair a,p E I such that a<~, g 13 = aj~(g 0). The group structure is again the obvious one, and the group formed by the threads is denoted Aj. The homomorphisms ~j are defined in the obvious way, utilizing the ~j and the compatibility condition: The proof of the proposition then follows from the directedness of the set I. §2. Differential operators A. Definition 60. Let A be an abelian group. A homomorphism d : A -> A satisfying d2 = 0 is called a
145 differential operator. The sequence A ~> A~> A is not necessarily exact, but ker d ~1m d as d2 = 0. Hence \'1e may define: H(A)
3
ker d/im d,
the der}ved group of A. H(A) is a measure of the deviation from exactness or the above sequence, in the sense that H(A) = 0 if and only if the sequence is exact. We say x E A is closed if dx = 0 ; x E A is exact if there exists a y E A such that X = dy. Denote the homology class in H(A) of an element x E A by [x]. Definition 61. If A,B are groups with differential opera tors, l'le say that f : A -> B is an allot'lable homomorphism if fd 1 = d2 f; i.e. if the following diagram commutes: dl A
B
> A
d
2
> B
Examples. The group of cochains on a space, with boundary operator; continuous maps are allowable. The additive group of differential forms, d the differential; differential maps are allowable. Chains on a simplex, boundary operator; simplicial maps are allowable. Proposition 2. An allowable map f : A --> B induces a homomorphism f*
such that if g
H(A) - > H(B) ,
B -> C allowable, then: (gf) * = g* f *
and
146
Proof. Define f * [x] = [ fx] mapping of H(A) -> H(B} I for implies dx = 0 and X = dy implies
1
X
r* is
Then
e A.
d(fx)
=
rx =
f(dy)
f(dx)
=
a
= od(fy) •
B. Proposition 3. Let A,B,C be groups with differential operators, and let the following be a short exact sequence of allowable maps: O->A!_>B£_>C->O. Then there exists a canonical homomorphism D such that the follO\dng diagram is exact (viewed as an infinite, repeated sequence) H{A) *
D/ 'J
H(C) ~ HlB) g*
Proof. (Recall the \'Tell proof of de Rham 1 s theorem!} Exactness at H(B): {Does not need D) i) Let a e: H(A); \\le must show g*f * (a) = o. But, let x e: a ; g* f * (a) = [gf{x)] = 0 as gf = 0. 1i) Let y e: B, dy = o, such that g* [y] = 0. We wish to find x e: A, dx = 0, such that f * [x] = [y]. Now g* [y] = [gy] = 0, implies gy = dz, z e: c. But g is onto; hence there exists a y1 e: B such that gy1 = z, which implies gy = dz = dgy1 = g(dy1 ). Hence y-dy1 e: ker g, so there exists an x e: A ·such that fx = y-dy1 , and x is closed for dfx = f{dx) = dy = 0, and f is one-to-one. But f * [x] = [y-dy1 ] = [y], as required. Construction of D: Let z e: C, dz = o. Now g is onto, so there exists a y e: B such that z = gy. But 0 = dz = dgy = g( dy), so dy e: ker g implies that there exists an x e: A such that fx = dy, and x is closed as before. Note that x is unique once y has been chosen. Set D[z] = [x]; D is well defined if [x) is independent of y. Bence, let y e: B such that O=gy.
147 Then y -e ker g, so there exists a unique x e A such that y = fx. Therefore dy = f dx, so D[O] = [dx] = O. D is clearly homomorphic. Exactness at H(C): i) Let y e B, dy = o. Then ng*[y] = D[gy] = [x), where rx = dy. But f is one-to-one, so d7 = 0 implies X=
0.
ii) Let z e C, dz = o such that D[z] = 0; i.e. there exists a y e B such that z = gy; dy = f.x and D[z] = [x] = 0. Hence, x = dx1 • Set y1 = y-rx1 • Then y1 is closed, !or dy1 = dy- dfx1 = fx- f(dx1 ) = f(x-dx1 )=0. Furthermore, g [y1 ] = [gy-gfx1 ] = [gy] = [z], as gf = o. Exactness at H(A): i) Let z e C, dz = 0. Then f *D[z] = [fx), where z = gy and dy = fx. But then f *D[z] = [dy] = O. ii) Let x e A, dx = o such that r* [x] = 0; i.e., fx = dy. Set z = gy. Then z is closed, for dz = dgy = gdy = gfx = 0; and D[z] = [x].
§3. Graded groups Definition 62. A group A is called graded if, for every integral J, there exists a subgroup AJ such that X E A implies X= Xjl+ ••• + Xj ; Xji E Aji' k < m and the representation is unique.k Note that this uniqueness implies Aj nAk = O, j ~ k. An element xJ E Aj is called pure (j-)dimensional. Examples. Chains and cochains on a simplicial complex are graded by their dimension. Differential forms are graded by their degrees. In both these cases, Aj = 0 for j < 0. Definition 63. A differential operator d on a graded group A is said to respect the grading if there exists an integer r, called the shift of d, such that d AjC: Aj+r for every j. (In practice, r is almost always i 1.)
148 A map f : A -> B of graded groups with differential operators is called allowable if the differential operators have the same shift and f preserves dimension. Corollary. If A is a graded group with differential operator which respects the grading, then th! derived group H(A) is graded; and [x e A.o dx;::~ j H (A)
t em j-r j
=
Corollary. An allowable map groups induces homomorphisms
·
f : A -> B of graded
f* : Hj(A) -> Hj(B) •
Proposition 4. Let 0--> A_£> B_s> G--> 0 be a short exact sequence of graded groups and allowable homomorphisms. Then there exist maps d such that the following sequence is exact:
* Hj(B) lL> * Hj(C) .2_> Hj+r(A) -> ••. -> Hj(A) .f._> ••• where r is the shift of the differential operators. Note: There are lrl distinct sequences. Proof. Utilizing proposition 3, there exists a D: H(C) -> H(A). As a map of graded groups, D : Hj(C)->Hj+r(A),. for: suppose z e C is pure j-dimensional, dz = o. Then there exists a y such that gy = z, and dim y = j. There exists an x such that dy = fx and dim (dy) = j+r = dim x. But D[z) = [x], so shift D = r =shift d; renameD "d"; then the exactness result of proposition 3 and the above corollaries conclude the proof. Example. Let X be a topological space; A c. X a subspace. Let C(Z) denote the graded group of chains over Z, with standard boundary operator, a. Then 0 -> C(A)
1 ->
C(X}
j ->
.
C(X)/C(A) :: C(X,A}
->
0
is an allO\-mble short exact sequence of graded groups, and proposition 4 implies the exactness of the sequence ••• -> Hj(A}
2>
Hj(X)
~>
Hj(X,A)
~>
Hj-l(A)
- > •••
149
§4.
Sheaves and pre-sheaves
A. Recall the defini~ion of "sheaf''· (Chapter 6, §;, Defn. 36); we rephrase it as follol·Js: Definition 64. A sheaf of Abelian groups, ~~ is defined . as follous: Let X, the base space, be a paracompact Hausdor~f spa~e. For every x E X, let Sx be an associated Abelian group called the stalk of the sheaf over x; and set S = ~EX Sx, whose topology is smallest such that i) the projection map p : S -> X, defined by p(s) = x if s E Sx' is continuous and a local homeomorphism. ii) the group operations in the stalks are continuous; i.e. s -> -s is a continuous map of S into S; and (s 1 ,s 2 )->s 1+s 2 , defined on the set R of pairs (s1 ,s 2 ) such that s 1 ,s 2 belong to the same stalk, is a continuous map of the subset R of S x S into S. vie remark that the stalks are discrete. Let Y c. X; then S (Y) = UxEY Sx, with the induced topology, is called the induced sheaf of S ~ Y. A section over X is a map t : X -> S, continuous, such that p • t = idx. A section over Y c X is a section of S(Y) over Y. Remarks. Every sheaf has at least one section, the zero section, given by t : x -> 0 E Sx. If two sections coincide at a point, they coincide in a neighborhood of this point. Corollary. Let Yopel~ X. Then t(Y) is open in S. B. Definition 65. Let X. be a paracompact Hausdorff space. Let U = { u1 \ be an open covering of X such that u1 , u2 E U implies u1 ~ u2 E U. Let r-(ui) be an Abelian group associated to each ui E U, such that, if ui c. uj there exists a homomorphism '~'ij : r(uj) -> r(ui) satisfying the compatibility condition: ui c uj c uk
implies
~'ji
?'kj
= Yki •
The collection (x,r-(ui),rij) is called a prehseaf. Proposition 5. To each presheaf there may be associated a sheaf, called the sheaf defined by the presheaf.
150
Proof. Take X as the base space. For each x e X the collection tui I ul e U, x e ui} is directed; set Sx equal to the direct limit of the groups r(ui). Set S = SX, with topology defined as follows: s e S implies . s e Sx. Now x e Ux e U; then [sy I sy e SY; y e is an open set and the collection of all such sets is a basis for the topology of S • Note that the 1-(ui) form sections of the sheaf S defined by the presheaf. Proposition 6. Every sheaf is defined by same presheaf. Proof. Take = I uopen in Let r-(u) be the sections over u; and define the rij by restriction. c. A subset T of a sheaf S is itself a sheaf if and only if T is open and Tx = T llsx is a subgroup of sx. Then T is called a subsheaf of s. Example. S is the sheaf of germs of continuous functions and T is that subset of ~ consisting of all the germs of ceo functions.
4ex
ux'f
u lu
xJ .
§5. Exact sequences of sheaves and cohomology Unless otherwise stated, all sheaves have the same fixed base space X. Definition 66. Let s 1 and s 2 be two sheaves. A continuous map of s1 into .§ 2 such that ~(s 1 ,x> C...8 2,x and ~ I 8l,x is a group homomorphism, is called a homomorphism of the sheaf s 1 . into the sheaf ~ 2 • The subset of ~l mapped into the neutral elements of 8 2, Sxt' is called the kernel of ~; denoted ker ~. The ker ~ is an open set, for the set of neutral elements of ~ 2 is the image of the null section of 82 over X and this is open in .§ 2 (cr. corollary of §4, Chap. 14), and since ~ is continuous, the preimage of the set of neutral elements of 82 is open in 81 . The ker ~ f'\8 1 ,x is the kernel of the group homomorphism ' I 8l,x and thus
foe
151 is a subgroup or s1 ,x. Therefore ker' is a subshear or ~ 1 • The image of ,, ~{~l) c~ 2 ; denoted 1m ,, is a subshear of ~ 2 : that is open follows from the· continuit7 of ~~ the commutivity of ' and the projection map, i.e. p2' = p1 , and the fact that p1 and p2 are local homeomorphisms, and, as before, 1m ' f)s 2,x is a subgroup of s2,x, so that 1m ' is a ·subsheaf of ~ 2 • Hence we can form the quotient sheaves s2 11m ~ and ~ 1 1 ker ~' the cokernel of ' and coimage of ,, respectively. Definition 67 The se~uence or sheaves and shear homomorphisms I!j h..> I!j+l :.1±1> .§j+2 is called~ exact when, for each x e X, the sequence sj,x ~~--~j+l,x .l+l> Sj+2,x is exact. Example. Let T be a subsheaf of S, and let 0 denote the null sheaf, i.e. the sheaf whose stalks are the trivial i groups over each point. The sequence 0 -> T -> S -> S/:£ -> .Q is exact by definition. We have already defined the cohomology groups, Hq{X,S), q > 0, of a paracompact space X with coP.fficients in a sheaf S • For convenience, define Hq(X,~) = 0 for q < 0. Note that H0 (X,S) is the group of global sections of the sheaf. Let S and T be two aheaves and let ' be a homomorphism of ~ into T. We claim that for each q, ' induces a homomorphism ~*of Hq(X,S) into Hq(X,T). Consider any open covering of X, U =lui)-. The group of cochains C{X,U,S) is a graded group with differential operator (the coboundary) which respects grading (the shift is +1). Hence the derived group H(C(X,U,S)) is graded and its pure dimensional parts are the cohomology groups of the covering with coefficients in S. Similarly we have C(X,U,T) and H(C(X,U,T)). Now, an element of C(X,U,S) is an assignment of sections of ~~ and ~ maps S continuously into T, thus ~ maps C(X,U,S) into C(X,U,T). ~ is in fact an allowable homomorphism and hence induces a homomorphism of the derived
im'
152
groups H(C(X,U,S)) and H(C(X,U,T)). Taking the direct * . limit, we obtain the desired homomorphism Theorem 41. (Exact cohomology sequence). Let 0 ->·A!> B i> C -> 0 be a short exact sequence of sheaves.
+•
-
-
-
-
-
~> H2(X,!)
--> •••
Assume the theorem for now. (It is proved in §7, p. 158.) Definition 68. A sheaf S is fine if and only if, for any locally finite open co~ering~X, U = fui!' i E I, there exist homomorphisms ~ 1 of S into S such that 1. ~i(Sx) = 0 for xi ui and 2.
fu
~1 =
identity.
(The sum is finite at each point because U is locally finite and ~ satisfies 1.) Example. Let X be a paracompact differentiable manifold, and let § be the sheaf of germs of differential forms of degree p. Let U be a locally finite covering of X and let wi) be a partition of unity subordinate to U. Defin~ ~i to be multipli'cation by wi' Then 11~· are ·homomorphisms of § into § satisfying 1. and 2. above., so that S is a fine sheaf. Theorem 42. If S is a fine sheaf, then Hq(X,§) = 0 for all q > 0. Proof. The proof is the exact analogue of the C00 case: theorem 22, p. 78. Let q > 0 be fixed and let U = fui~ be a locally finite covering of X. Define the homomorphism Q: Cq{X,U,S) -> Cq-l{X,U,S) by Qf(i ••• i 1 ) = ~~if(ii 0 ••• iq 1 ) •
i
-
f
-
0
q-
ne:
,
-
Verify that . S- = Q5 )- + 5Q j~ exactly as before. Hence if ot =0, then f = 5QJ, Thus Hq{X,U,S) = 0 and then the direct limit Hq(X,S) = O.
153 Definition 69. A resol¥tion of~a shea€ ~ is an exact -1=1 0 1 sequence of sheaves .Q -> ..§ -> ~ - > A1 - > • • • such that Hq(X,._!j) = 0 for all j ~ 0 and q > o. A resolution is called a fine resolution when all the !j are fine sheaves.
=
~amples.
Let X be a connected differentiable manifold and let ! = ~ (Sx = ~ and the topology is the discrete one). Let Aj be the sheaf of germs of .differential forms of i d d degree j. The sequence .Q -> tl! -> !a -> _!1 -> • • • is a fine resolution of e. Proof. Note that if X were not connected we would have to take for ~ the sheaf of germs of functions which are constant on each component of X in order that the sequence 0 -> ~ -> !o -> .!h -> • • • be exact at A0 • We have already established that Hq(X,A j) ;: 0 for all j ~ 0 and q > 0 (cr. corollary p. 89) and that the Aj are fine sheaves. The exactness of the sequence at ~ and at A0 is immediate, and exactness at Aj, j > O, follows from the Poincare lemmas. 2. Let X be a complex manifold and let S be C9 and Aj be the sheaf of germs o! differential forms of type (O,j). The sequence .Q -> (!) .!> !o ...2> A1 d> • • • is a fine resolution of () • . Proof. As in example 1., the Aj are fine sheaves, and the exactness of the sequence at Aj, j > O, follows from the Poincare lemmas. Th~orem 43.~ (Abstract de Rham). Let -1=1 o/Q ~1 0 -> .§. > !Q -> ,!1 -> • , • be a resolution of a sheaf-~· Consider the inguced cohomology sequence * 1.
0
0
-> H
(X,S)
~ ~0 -=s: H (X,A0 }
1m ~;_ 1 C ker ~;
1
0
0
-> H
(X,A1 )
~1
-> , • , •
Then
and HP(x,S) ~ ker ~;/1m ~;-l for all p > o. canon. isom.
154
Applying this theorem to the above examples or resolutions or sheaves, we obtain for 1. HP(x ~) closed p-forms P > 0 1 ' ~ exact P•forms 1 i.e. the de Rham Theorem (Theorem 26a, p. 93) 1 and for 2. = HP(x 1 t/) ~ ~-closed (O,p) forms 1 P > 0 , - ~-exact (0 1 p) forms i.e. the Dolbeault Theorem (Theorem 26b 1 p. 95). Proof of Theorem 43. For j = 0 1 1 1 2 1 • • • 1 set BJ = ker = 1m 'J-l since the resolution sequ~nce is exact. For each j 1 the sequence 0 -> ker ~j !_> .!j ~> 1m ~j - > .Q is exact by cons¥ruction; rewrite it as .Q -> ~j .!_> AJ .!J> ~j+l -> 0. By the exactness theorem (Theorem 41) 1 the sequence ~.
'j
Hq(X,~j)
Hq(X,~j+l)
Hq+1 (X 1 Bj) -> Hq+l(X,Aj) is exact for q ~ 0 and j ;: 0. By hypothesis, ~(X,~j) = 0 for q > o and j ! 0. Hence Ifi(X,~j+l) ~ Hq+ (X,BJ) for q > 0 and j > 0. Then HP(X,S) = HP(X,Bn) ~ HP-l(X,B1 ) 2 -1 --v"' HP- (X,B 2 ) ~ ••• ~ H (X,Bp_1 ). Now BP = ker 'P is a sub sheaf of Ap. t1e claim that X0 (X,BP) ~ ker ~;. Indeed, the ker ~~ is the set of those global sections of AP that ~~ maps into the null section of ~+1, but, by the definition of ~;, this set is precisely the set of global sections of ~p· Consider, next, the exact sequence ->
0
->
0
.
0
0 -> H (X,~j) - > H (X;~·j) -> H (X,~j+l)
E...> H 1 (x,~j)
->
H 1 (x,~J)
-> • • •
-
for j = p-1, p
>
i.e. _
J..* onto H1 (X,BP_ ), Since 5 is a homomorphism from ker ~P 1 1 ) "' ker ~P* I ker 5 1m ~*p- 1 = ker 5 C ker ~*p and H (X,B -p- 1 J..* J..* = ker o/p I 1m ~p-l' by exa;tness. * Hence HP(x,s) ~ ker ~P I 1m ~p-l.
o,
155
66.
Applications of the exact cohomology sequence theorem
I.
Let X be a complex manifolq.
Let
~:
sheaf of germs of homomorphic functions
?It:
sheaf of germs of meromorphic functions
We may view be the inclusion. Al
JtL ;
-dJ
as a subsheaf of let i \'le form the exact sequence i
~
j
.,
: & ->h,.
.()
0->~->I!J:->~1~-> 0.
Recall that a section of .t!:J: I Q. over X is an equivalence class of sets of data for a C.I problem. Using the exact cohomology sequence theorem, there exists an exact sequence o ~ i* o lAo j* 0 .),. /tl 1 AI 0->H (X, C1) - > -R (X, rrl) -> H (X,nt/ V) - > H (X,
-
-
--
----
Now j* sends a meromorphic function (a section of~) into the Cousin I problem it solves, hence C.I is always solvable if j* is "onto", i.e. Theorem I. H 1 (X,~) = 0 implies C.I always solvable ( cf. Chapter 6 , §1) • II. Let X be a complex manifold, Y a globally defined hypersurface: Y = [f=O] ; f holomorphic in X. Assume f has no critical points where it vanishes [i.e. maximal Jacobian rank on Y]. Consider cO, the sheaf of germs of holomorphic functions on X. Let c2..Y denote the sheaf-of germs of homomorphic functions on X vanishing on Y. f2Y is clearly a subsheaf of c? ; and we form (as before} the e~act sequence:
Q_y .!...> () L> f2. 1 <2._y -> o • Q I !2_y is the induced sheaf of _!2 over
.Q - >
claim that Y. For points off Y, the stalks are trivial, for any stalk of c?Y over points not in Y is identical with the corresponding stalk of For any point Yo e Y, two functions representing elements of ( r.JIOy>Yo are equivalent if and only if they t'le
c?.
coincide in a neighborhood of y0 • (If they coincide in a neighborhood in Y, they coincide in a slightly larger neighborhood in X, as Y is closed); hence they represent the same germ in the induced sheaf of crJ over Y~ Using the exact cohomology sequence theorem, we have the following exact sequence for q~ 0:
-
•••
->
Hq(X,
!2_)
Hq+l(X,~y) Note that Hq(x,Q
Hq(X, Q/Qy)
-> ->
Hq+l(X, ~)
I 2,y) ~ Hq(Y,
->
->
•••
Q) .
Ue nO\'l claim that: q
->
Theorem II. Hq(X, (9) = 0 = Hq+l(X, {9) for fixed o implies Hq(Y, (0)= o. (cr. Chapt-; 6, §2, Theorem 20.) For, using exactness, tze obtain immediately:
-
q
t)
0.
('.I hT (X, ;.;;; __/~y)
~
pq+l (X I ;.:_y ,/) ) l
,
so that it is enough to show Hq+l (X, :!) ) = 0. -Y Let a be a cochain in Hq+l (X, 0 ) • Then r • a is a cochain with L~y coefficients, a~ f is holomorphic in x. Hance, multiplication by f induces a homomorphism f*: Hq+l (X, {_?) -> Hq+l (X, {9 y). Clearly f * is onto and one-to-one; therefore an isomorphism. III. As a last application, we obtain another old result: Let X be a complex manifold; and let ~* denote the sheaf of germs of invertible holomorphic functions under multiplication. Note that the sections are the nowhere
157 vanishing globally defined holomorphic functions. Let ~* denote the sheaf of germs of meromorphic functions under multiplication. Then {!) * C /It, and \lle obtain the exact sequence: , * . I * * o -> {) *. -i > [1 L> iJJ. I Q. - > .Q • The sections of fit* I~* are divisors in ~' i.e. equivalence classes of sets of data for the C.II problem. Using the exact cohomology sequence theorem, we obtain the exact sequence: * 0 .-}1 * j 0 k * ., * 5 1 ;() * ••• - > H (X, ttl ) - > H (X,~ I C.t ) - > H (X,£ ) -> •••
Here j * takes a meromorphic function into the C.II problem it solves: therefore any C.II problem a can be solved if 5a = 0.
This, however, is not particularly illuminating for we know little about H1 {x,C?*); so, we imbed this group in another exact sequence involving "simpler" coefficient groups. We have an exact sequence: 0 ->
i /-f'\ exn (11 ~-> ~ ~> .;!__
* ->
0 ,
where here ~ is viewed as a sub sheaf of CJ, giving exactness at 2.; 11 exp 11 iS the map: exp (s)-: 21fiS and rll (1 21ris the exactness at ~ is clear since ker exp =[ s , e = and exactness at 0* follovJS from the fact that every nonvanishing holomorphic function is locally an exponential. Hence, \•le obtain th~ exact sequence: 1 . exp 1 If * d 2 .
e
••. - > H
(x,O)
- > B (X,£ ) - > H (X,~) - >
... ,
but this gives rise to a (canonical) map: C
=
d • 5 : H0
- *I (X,ii~
0*) ->
2
H {X,
assigning to each divisor D E H0 (x,f,; *I(.!/*) its Chern class C(D) c. H 2 {x,~. Clearly, if D is principal, i.e. DE im j*, C{D} = 0 for 5(D) = 0 by exactness. Now assume H1 (X,tl) = o. Then d : H1 {x,c9*) -> H 2 (X,~ is one-to-one. Thus C(D) = 0 implies D is principal.
158 -··
So, we have re-established the Oka-Serre Theorem: Theorem III. There exists a map C : H 0 (X,~*/c?*)->H 2 (x,ZJ such that 1) D principal implies C(D) = 0 2) H1 (x,i2) = o and C(D) = o implies n· is principal. • (Cf. Chapter 9, §4, Theorem 31.)
--
.
~7.
Proof of the exact cohomology sequence theorem
nottl restate and then prove the theorem: Theorem 44. Let 0 -> A !> B ~> C -> 0 be an exact sequence of sheaves. Then there exists an exact sequence: \~e
*
f • • • - > Hj ( X, A ) -> Hj ( X,B )
-
Proof. Let U = consider the sequence:
}
-
L*> Hj ( X, C) -> 5 Hj+l (X , A ) -> , •• -
--
-
ui~ be a covering of X;
and
0 -> Cq(U,~) !_> Cq(U,~) 1L> Cq(U,C) where Cq(U,A) denotes the group of q-cochains on the covering Us and f and g denote the induced mappings. We claim this sequence is exact. At Cq(U,A) we must show ker f = 0; therefore assume a e Cq(U,A); f(a) = 0. Now f(a) = 0 means f • ~ 0 ••• iq(x) = 0 e Bx for all x e ui 0 n ... /)uiq. By exactness, f is one-to-one so ai i (x) = 0 e Ax for 0 ••• q every x E ui ll ... /)ui ; i. e. a = 0. At ·_cq{U~B), \rle m8st show im f = ker g. Let a e Cq(U ,A). Then g • f{a)i i (x) = gfai i (x) = 0, since gf = 0, -o• • • q
o· • • q
for every x e ui (l ••• (}ui ; hence g • f( al 0 q im f c. ker g. Now let ~ e ker g; i.e. g~~i 0 ••• 1q (x)
=
= 0 for every
x e ui fl .•. (l u1 • For each x e ui () ••• (', ui 0
q
0
0 so
q
there exists
an aio· •• iq(x) e Ax such that
ra1 ••• i (x) = f3 i ••• 1 (x). 0 q 0 q We claim that the assignment a defined by the ai 1 (x) is a cochain; i.e. that ai i is a section over 0 ·~~ ~ ••• 1• o· · • q
o
nu
q
159 ai ••• i (x) e Ax so p • ai i = i~ ·i 1) ••• () ui • o q o• • • q ""U 0 q To show continuity, let L. e S = ai i (ui ll ... ()ui ) ·1 --u a o• • • q o q = f f3i ••• i (ui () ••• I) ui ) , an open set for Now
-
q
0
ui /) ••• ,1 ui o
continuous.
q
0
is open,
f3i
q
.
i
o• • • q
is a section and
Let Nx= be a neighborhood of XO
f
is
in Sa ; then
0
a-il •• i [Nx] =a-il i • r·l. f(Nx) = (f• ai i )-lf(Nx) o • q o o· • • q o o• • • q o = pi-l i f(Nx ) which is open for f is an open mapping. o· • • q o Hence, 1m f = ker g. We cannot complete this sequence to a short exact sequence, for g may not be onto [e.g. take sequence 0 ...(") 0 l0 .),.; c (X,z) -> c (X,~) -> c (X,d/.Q)] • So, define C~(U,C) = g[Cq(U,B)], a subgroup of Cq(U,_Q) comprised of "liftable" cochains. Hence, we now have the follo't'ling short exact sequence of groups and allol'lable maps: 0 -> Cq(U,A) _1> Cq(U,B) ~> Cq(U,C) -> 0 • -
-
a
-
Hence, we obtain the exact cohomology sequence: ••• -> Hq(U,A) -> Hq(U,~) -> Hi(U,C) -> Hq+l(U,A)->,. For refinements of U, we have the desired commutativity, so that we may appeal to the proposition of Chapter 14, §1, to obtain the exactness of the limit sequence:
*
*
5
••• -> Hq(X,A)f-> Hq(X,~)g-> Hi(X,C) -> Hq+l(X,!) -> 1-'le
• ••
shall therefore be done if we can shot'l Hi(X,C) ~ Hq(X,C)
(canonically!), and this shall be proven by showing that for each cochain ~ in -Cq(U,C) for a locally finite covering U, there is a refinement V in which ~ is liftable; then the limit groups are isomorphic, since we have an injective {one-to-one) map i : ci(U,C) --> Cq(U,_Q) which commutes with the boundary operator and the"refinement" maps of the direct limit procedure.
160
(Since X is paracompact, we may restrict ourselves to the locally finite coverings U.) Let U = [ui~ be a gi~en locally finite covering. Let W= !wii be a new locally finite covering, refining. U and such that wi C c.. ui for each i, possible since paracompactness implies normality •. Let ~! Cq(U,C). To each x eX we assign an open vxc X such that
-
i)
X E VX
ii) x E wi iii) x E uj iv) x i uj v)
implies implies implies
X E Ui () ••• {)ui 0
q
Observe that once we establish the existence of the theorem is proved. Let x E X; using the local finiteness of U, vi there exist integers r,s < oo such that x E wj , ••• ,wj; r
i
uk , • •., uk 1
s
and no other wi' uk.
v~
wj {\ ••• 1l wj t\ uk f) ••• /)uk ; clearly v! is 1 r 1 s an open neighborhood of x and satisfies i), 11), and iii). Note that any smaller neighborhood of x will also satisfy these. For each k F k1 , ••• ,ks; xi uk' which implies Set
=
X t Wk' SO there_exiS~S an Open 2neigibor[tJ~d Vk,X Of~X such that vk,x(\ wk = ..,. Set vx = vx (\ k,x , k
1
k 1 , ••• , k 8
an open neighborhood of x l'Jhich now satisfies i), ••• , iv). To satisfy v), observe that X E u1 /1 ••• /)ui can only 0 2 q happen if ui E { uk 1 • • • , uk 1 and that vx C ui f\ ••• () ui • j 1 s 0 q 2 2 Now ~ 1· 0 ••• i q I vx is a section of C over vx • Hence i (v 2 ) is an open. ~i ... i (v~) is open in C, so g- 1 ~
I
0
q
non-empty subset of B {g is onto).
o/i 0 •·• q
X
There exists a
'
161 bx
E
g- 1
~i•••i (v~) such that p ~bx = x, and neighborhood q B
0
of bX in - such that1 p : NX -> p(NX ) is a homeo. 2 morphism. Let MX = Nx()g- ~i •• • i (vX ), and set 0 v = p o g(M ) C v2 • q X X X 1 Now g I Mx is one-to-one; and g- ~i i : v -> M cr•q X X: is a section of B over vx , mapped by g onto the section
N
x.
~io••iq : vx
->
g(Mx) of C.
162
Chapter 15.
Coherent Analytic Sheaves §1.
Definitions
Definition 71. An analytic sheaf ~ is a ,sheaf whose base space X is a complex manifold (or subspace of one); and such that each element of the sheaf can be multiplied by the germ of a holomorphic function; more precisely, each stalk ~x is an c?x-module, and this multiplication is continuous. vie have the notions of subsheaf, sheaf homomorphism, induced sheaf, factor sheaf, etc., as before. r Examples. t9 , the sheaf of germs of (r-dimensional) vector-valued holomorphic functions is an analytic sheaf. The sheaf of germs of continuous functions is an analytic sheaf. The sheaves Q_ * and ftt~ are not analytic, for there is no distributive 1a-v1 for multiplication by germs of holomorphic functions {recall that the operation in the stalks of these sheaves is multiplication). Definition 72. An analytic sheaf ~ is ~lobally finitely generated if there exist a finite number of global sections ·"' x' s 1 ,s 2, ,sk Sl.,tch that for every x E X, t E ;::r t = ~l ( s 1 )x + . • • + ~k ( sk) x where ~ j E CJ x. Examples. The sheaf 0; section "1". The sheaf CJ r ; r s~tions (0, ••• ,0,1,0,. .,0). Definition 73. An analytic sheaf is locally finitely generated if every point x E X has a neighborhood Nx such that the induced sheaf d- {N ) over Nx is globally X finitely generated. Let be an analytic sheaf, and s 1 , ••• , sk sections of ~(U), uopenc X. Let x E U. If there exists a tuple (~ 1 ,~ .. ,~k) E {9 ~ such that 1 ••
1
;1:
~l(sl)x + ··~ + ~k(sk)x = 0 ' the tuple (~ 1 ,.~.,~k) is called a relation between the sections s 1 , •.• ,sk at x.
+--
Note that the collection of all such relations forms an analytic "sheaf of relations" (between s 1 , ••• ,sk) contained 1n t!) k (over the space U). . Definition 74. The analytic sheaf ~ is called a coherent analytic sheaf if: 1) It is locally finitely generated • . 2) For every open U C X, the sheaf of relations of any finite number of sections over U is also locally finitely generated. Note that the definition is local. Remark. For convenience, we will call a coherent analytic sheaf, a coherent sheaf.
-
§2.
Oka's coherence theorem
The aim of this section is the statement and two steps of the proof of a three-step theorem due to Oka. The last section of the proof will be postponed until two theorems are established. Theorem 45. (Oka) The sheaf of germs of vector-valued holomorphic functions is coherent; i.e. (noting the local character of coherence) let Dopenc..:: ¢n, and let { aij ( z) i=l, ••• sq, j=l, ••• ,p be holomorphic fUnctions defined in D. Let xED; then there exists an open D1 C: D, x E D1 , with the following property: For any ~ E D1 the holomorphic solutions (~ 1 , ••• ,~p) of
J,
p
* :
1=~ aij(z) ~j(z)
defined in some neighborhood of
= 0 ~"
,
i
= 1, ••. ,q
may be written as:
L
~j(z) = (=l ~v(z) ~~(z) ,
j = 1, ..• ,p
where the ~j; j=l, ••• ,p, v=l, ••• ,L<® are a fixed finite set of solutions of*, holomorphic in a fixed neighborhood of ~; and the ~v arc defined and holomorphic in some neighborhood of ~.
164 Note. The ~r are said to form a finite psuedo basis. Proof. We proceed by a doub~e induction on q = number of equations and n = dimension of space. The three steps or the proof are the following: I. The theorem is true for n = 0. II. If the theorem holds for a fixed n and < q equations, then it is true for q equations, where here q > 1. III. If the theorem is true for same n and all q, then it is true for n+l and q = 1. It is clear that these steps complete the theorem; and that I holds, since a holomorphic function of no variables is a constant. We may assume x = 0 e D, with no loss of generality. II. Let us first introduce the following abbreviations: . p
(a)
tj; a1 j (z)
-
-
p
~j(z)
=
0,
?
{f3 ) -
'i J~ 1 ai j ( z )
~j ( z)
=
0,
(y)
-
~
~j(z)
=
0
(~j)
=
tl
(~l,
aqJ(z)
t
i = 1, ••• ,q
i = 1 , ••• , q
-15
J
... ,~p) .
,,
By hypothesis, (y) has a finite pseudobasis (~j), rt=l, ••• ,K
These
~j
=
~ '1t;-r
~,, .lfC 'YfC'V j
j
I
=
1
1 • • • 1
p
•
(e), hence: •c aij 7/1,~~~
must also satisfy 0
=
Lte,j
=
Lrc( L j aij~j)'l/lrc ,
rc
r!
Set birc =L j aij ~j ; But the set of equations
i = l, ••• ,q-1.
these functions are known.
= 1, ••• ,q-1 (~), p
has by hypothesis a finite pseudobasis Hence:
= l, ••• ,R.
So: R
K
~j = ~ ~ and therefore the functions
(
K
IDp
~~ ~j
~~I ¥~ ~~)
1
form a finite
pseudobas1s for (a); proving step II. We interrupt the proof to establish two needed theorems.
§3.
vleiel'•strass preparation theorem, revisitea
A. Theorem 46. be holomorphic at (z 1 , ••. ,z }, Z = co n j f = ~ aj(Z} z ,
(Weierstrass Preparation Theorem) Let f(Z,z) the origin, f(O,z) ~ 0 [where (Z,z) = (z 1 , ••• ,zn_ 1 ) and z = zn]' so that with a 0 (o) = ••• = as_ 1 (o) = 0, while
as(oi=~ o. Then: f(Z,z) where h is a unit, i.e. h(O,O) ~ 0; and b1 , •.• ,b 8 are holomorphic in some neighborhood of the origin toli th b1 (0) = •••
= b s (0) = o.
Remarlc. This representation is unique, but we shall not prove or use this. In the Weierstrass preparation theorem proved earlier ( 4 , §1, Thm 12) we had also assumed that ord f = s. Proof. For s = 0, this theorem is a triviality; buvo no hence, tako s > 1. Note that constant term. N Let s < N, an integer. Set zj = ~j' j = l, ••• ,n-1; and define: G(~l'"""'~n-l'z)
=
Then G is a holomorphic function of its variables in a
166 neighborhood of the origin and of order s, so that Theorem 12 applies~ Hence: G((l, ••• ,(n-l'z) = H((l, ••• ,(n-l'z)[zs+Bl(Cl, ••• ,(n-l)zs-1+ 0
••• + Bs(Cl~ ••• ,cn-1>1 and the B1 vanish at the origin. It is now enough to show that the Ci occur only as C~n. Take Q to be a primitive N th root of unity; ~hen: G(C1, ••• ,Q(i, ••• ,cn-1'z) = H(C1, ••• ,9(i ••• ,cn-1z[zs + Bl(Cl, ••• ,Q(i, ••• ,cn-1)zs-1~ •• ] =
G(Cl, ••• ,ci, ••• ,tn-1'z)
But the expansion of the ~leierstrass Theorem 12 is unique. Corollary. Let P(Z,z) = zs + a1 (z)zs-l + ••• + as(Z), where the aj are holomorphic in a neighborhood D of the origin. Let (C,c) e ~n, C c D. Then P(Z,z) = PI (Z,z) PII (Z,z) where
P·t(Z,z)
=
PII( Z, z )
zr + a1 (Z)zr-l + ••• + ar(Z)
= zt + 13 1 ( Z ) zt-1 + ••• + f:3t ( Z )
with Bi' a. holomorphic in a neighborhood of C, that pi"(c .. z)J= (z-c)r and PII(C,c) f. o. Proof. Changing variables, set:
z' = z - c,
z'
=
such
z - c
I
and define: Q(Z ,z•)· = P(Z 1 +C,z'+c). Then Q(Z 1 ,z') = QI(z 1 ,z')QII(z 1 ,z'); where QII is a unit and QI(z',z•) = z'r + a1 (Z 1 )z 1r-l + ••• + ar(Z 1 ). Set: PI{z,z) = QI(z-c,z-c) pii(z,z)
=
QII(z-c,z-c) •
Then PII(C,c) I 0 and PI(C,z) = QI(O,z-c) = (z-c)r. It is clear that pi is a monic polynomial.
167 B. Theorem· 47. (Division Theorem) _ I.et there be given a polynomial P = zs + a 1 (Z)zs-l + •.• + as(Z) with the aj holomorphic in a-neighborhood of the origin, and aj(O) = 0. Let f(Z,z) be holomorphic near the origin. Then: f(Z,z}
=
q(Z,z) P(Z,z) + R(Z,z)
where R is a polynomial in z of degree < s, with coefficients holomorphic in a neighborhood of the origin, and q is a holomorphic function in a neighborhood of the origin. Furthermore, this representation is unique. Proof. We first establish uniqueness. Suppose 0 =
qP + R 00
=
Let
v ~ 1;
( ~ qj(Z)zj)P + R •
we equate the coefficients of zs+v, 0
=
qv + qv+lal + ••• + qv+sas
obtaining •
But ai(O) = O, hence q (0) = 0. But then ~q./~zj m_o, v M ml v n-1 j = l, ••• ,n-1. Similarly, one finds ~ qv/~ z1 ••• ~ zn_ 1=0, hence q 0. But then R = 0. We now assume f = ~ fj(Z)zJ. This is no loss of generality, since the te -s of order < s in z may be included in R. Assume aj(Z) =NO (llzllj); this may be achieved by replacing zi by ~i' N > j, i = l, ••• ,n-1 in f and P, since aj(O) = o.·. The transformation back to the zi is achieved as in Theorem 46 since we have already established uniqueness.
=
NOl'l
zs = AsP + asl (Z)za-1 + • •• +ass (Z) where A = 1 and a . = -aj' Hence, multiplying successively S SJ by zm, m = 1,2, ••• and substituting appropriately gives: z s+m = As+m ( Z,z }P + as+m,l ( Z) za-1 + .•• +as+m,s(Z)
168 where in fact:
As+m+l =
zAs+m +.Asas+m,l
as+m+l,p = as+m,l asp + as~,p+l;
0
<
P
<
and
a s+m+l,s = a s+.m,l a ss • m+l Hence Astm+1 1=~ as+m-j, 1 zj; a 8 _ 1 , 1 = 1 is bounded in a neighborhood of the origin since la8 PI < [qlzii]P implies
=
las+m,pl < (CIIZII>m+p, (l'lhich is easily established by an induction over m). But this means that all series in the following expression for f(Z,z), obtained by substitution for zs+m, converge in a neighborhood of the origin. 00
f(Z,z)
=
P(Z,z) • ( ~ fj Aj) + zs~l ( J=S (I)
+ • . ' + ( ¥=s
fj
aj s ) •
This is the required representation of f.
§4.
The third step
Recall the statement of the missing step in the proof of Theorem 45: III. If Theorem 45 is true for some n and all q, then it is true for n+l and q = 1. Proof. Consider the equation:
~ f=l ai(zl, ••• ,zn+l) fi(zl, ••• ,zn+l)
=
0
•
We may assume that not all ai e 0. Write ai = h1Pi" valid in some neighborhood of the origin, using a linear change of variables if necessary ( 4, Sl, Property 2), where hi is a unit and Pi is a polynomial in zn+l" It suffices to consider the equation P
f=l Pi ci
= 0 ,
i'lhere, by renumbering if necessary, we may assume a·= deg PP ~ deg Pj.
s
We first show that there exists a neighborhood of the origin in which every solution may be represented as a linear combination, with holomorphic coefficients, of polynomials in zn+l of bounded degreesf Let (C,c) be any point at which the Pi are analytic. Write: p = pi pii p
.
where PII(C,c) ~ 0 and PI(C,z) = (z-c)r, where PI, pii are polynomials in z = zn+l' of degree ~ a. Let (Ci) be a holomorphic solution of: ~ Pici = O, in a neighborhood of (C,c). Using the division ~orem: ci
=
~i
"' PI + ci,
i =
l, ••• ,p-1;
1'\
where ci is a polynomial in z with coefficients holomorphic in a neighborhood of c and deg ci < deg pi Consider: cl
~1
•• •
cP
0
pp
I 0
1\
•
• •
pi I I
I
\-PJ
I
0
~2
•
I
~-1,
0
••
i= prr
I
pp\
0 I
\-P \
+ ••• +
~ 1 :tr p
81pii 62pii
t\ •
+1
••
pn
0
\
a •
\ I
•
••
cp-1pii cppii
pp -P p-
<
I
CP is chosen so that this equation holds identically. Each of the column vectors, except perhaps the last, is a solution, so the last is also. Furthermore, we will have expressed {Ci) as a sum of polynomial solutions if we can A show that C pii is a polynomial in z. Note also that all p entries of these polynomial solutions (except perhaps "C PII ) A. p are bounded in degree by 2a. Now Cp is defined by the equation: wh~re
170
+ so
PII C~p
and is holomorphic.
IJ.p-1 pp-1 p!I
P + r~ = IJ.1 p 1
=
pii C
I
--
But
piC
=
p-1
A
(
I
1
( 1=I > (ci -c i)
p
= -
1 ( r~ prr =
Using the division theorem, p-1
-"'
Cp =
q
'\
0 i Pi)
=
(Pi ci)
where q, R are polynomials and p II
JJ.i P Pi
1
P cP + :n
-t=t
~ 1=!
I
P = P cP + prr
I
p.L
Pi)
•
I q P
+R ,
deg R < deg PI.
+ ..!1,
)
Hence
•
But PII ~ is holomorphic, so R vanishes of order I p (deg P ) > deg R; hence R o. Thus:
=
PII C = q p
'
i = l, •.. ,p,
i = l, •.. ,p;
But so
Hence
~
i
Pi
c1 = 0
if and only if
171
~ .J'- gij(Z)
j+.:~=S f;r
1TB(Z)
=
0 ;
s = 0, ••• ,3a ,
whel"e the 1ri.t are knol'm functions; and this sys tern of equations involves n variables. Hence the solutions have a finite pseudobasis by the induction bypothesis, thus completing the proof.
.-
§s.
~sequences of Oka's theorem A. Remarks on coherent sheaves. 1. Coherence is a local property. A sheaf is coherent if and only if every x E X has a neighborhood ia uhich the induced sheaf is coherent. 2. A subsheaf Q of a coherent sheaf vf , is coherent if and only if it is locally finitely generated. For, any section of G is a section of ·d, since Gx is a subgroup of ~ • Hence, the sheaf of relations R of any finite X number of sections of G is the sheaf of relations between these sections, conside;ed as sections of .~. Since ~?L is coherent, R is locally finitely generated. B. Corollary. If~4 is coherent and s 1 , ••• ,sk are sections of 2:, then the sheaf of relations R(s 1 , ••• ,sk) is coherent. ,..<) k , a co h eren t snea , f, Proo f • R 1 s a sub s h ea f 01.n ··~ and is locally finitely generated, by the definition of coherence of J:.L• Theorem Let .__f· and G be coherent sheaves, G a subsheaf of ~. The~the qu~tient sheaf vL;a is coherent. Proof. For every x EX, ·there is a neighborhood Nx in which a finite number of sections s 1 , ••• , sk of ~ (Nx) generate the stalk at every y E Nx. The images of s 1 , ••• ,sk under the natural homomorphism of ~ into ~/G are sections of ::r {Nx)/G(Nx) generating the factor stalk at every y e Nx. Hence ~~/G is globally finitely generated. To show that the sheaf of relations of any finite number of sections of ~G is locally finitely generated,
48.
f
172
consider an open set vex, sections t 1 , ••• ,tk of ~V)/G(V), a point x_ E V, and a neighborhood Nx of x in V~ Construct sections s 1 , ••• ,sk of .J- as follows: E f.. /G ia the image of an For each fixed j, ( tj) 1 X XX ;:::1_ fj E ~x under the natural homomorphism h of ~ · into J-· /G. is coherent; thus in perhaps a smaller neighborhood of x, 1 there exists a section sj of with 1 (sj)x = fj. Let tj be the ~mage of sj under h. Then (tj)x = (tj)x' implying that tj = tj near x. Therefore, there is a neighborhood U of x in which we may assume that tj is the image of sj, j = l, ••• ,k, and since G is coherent, that r·1 , ••• ,r are sections of G(U) generating the stalk p at every y E u. Now, consider an~ element of (R(t1 , ••• ,tk))x: it is a relation (~l' ... ,~k) e Ox with ~j(tj)x = 0.
?/:-
:!::
'f.,\
But L ~j(tj)x = 0 me~ns that L ~j(sj)x E Gx which means ~ ~. ( s.} = - 2._ '1/Ji(ri) , so that j:I J J X i=l X ( ~l, • • •, ~k' 7./11 ,. ·., '1/JP) E l?J~+p is a re1a tion bet\•Ieen the sections s 1 , ••• ,sk,r1 .•• ,rp of~, a coherent sheaf. Thus in some neighborhood N C: U of x there are sections ,~~~\fr, ,'¥~, v = 1,~ • • ,N of R(s 1 , ••• ,rp)(Nx) over Nx such that
...
qir,. ..
t\"'1 ?=1
~:
N
'=
Jp)
~
.
•
•
·v
'l'p
v
= ~=l mv (jj)x, j = 1, ••• ,k. Note that the vectors (1)v, ••• ,lkv), v = 1, •.• ,N are sections of R(t 1 , ••• , -1 -
Hence
~j
'fr
(j)v
,
tk)(Nx) over Nx since they are continuous maps of Nx into (~ 1 , ••• ,~k) E (~ ~ such that ~ ~j sj + 2:: 7/Jiri = 0, i.e. L ~ .s. E G , i.e. ~. tj = 0. J J
X
>
J
173 Theorem 49. Suppose A and ~ are coherent sheaves and f : A -> B is a homomorphism of ~ into ~. Then 1m f, ker f, coker f = B /im f, and coim f = A I ker f are coherent sheaves. Proof. It is sufficient to prove that 1m f and ker f are coherent, as the coherenc~of coker f and coim f is then given by Theorem 48. To establish the coherence of 1m f = f(~) and ker f, we need only show that they are locally finitely generated since we already know that 1m f is a sub sheaf of B and l{er f is a sub sheaf of A ( cf. p. 151). 1. Since A is locally finitely generated, every x E X has a neighborhood Nx in \'lhich a fin! te number of sections s 1 , ••• ,sk of A(Nx) over Nx generate (A(Nx))Y, y E Nx. Their images under f generate ((1m f)(Nx))y' y E Nx. Thus 1m f is locally finitely generated. 2. For kerf, take x, Nx and s 1 , ••• ,sk as above. Since f(s 1 ), ••• ,f(sk) are sections of B(Nx) over Nx' R(f(s 1 ), ••• ,f(sk)) is a coherent sheaf. Consider the following mapping g : Ry -> Ay of Ry into Ay' y E Nx
01
k
->
~ ~i(si)y •
Since f( ~ ~ 1 (si)y) = ~ ~ 1 f(s 1 )Y = 0, g is a homomorphism of R into (ker f) I N • But every element X of {{ker f) I Nx)y is of the form L ~i ( s 1 )Y with ~ 1 E CJx and ~ ~ 1 f(si)y = 0. Hence g is onto. Therefore ker f I Nx is the image under a homomorphism of a coherent sheaf and thus is coherent, by part 1.
§6.
The sheaf of ideals of a variety
Definition 75. Let X be a complex manifold. An analytic set V in X is a closed subset of X such that
174 for every v e: V there is a neighborhood Nv of v and functions ~ 1 , ••• , ~k holomorphic in Nv such that V/) Nv = fx e: X I ~ 1 (x) = ~ 2 (x) = ••• = ~k(x) = ~· Definition 76. For x e: X and V an analytic set in X, let e/~ be the subset of C?x of all the germs of holomorphic functions vanishing on V. (If xi V then &x = (? ~ ; if V E X then 0~ is trivial.) C)~ is a subgroup of l9x and an ideal. ~, (9 ~ \'lith /'("'\ XEA induced topology is a subsheaf of ~ called the sheaf of germs of the ideals of the analytic set V, denoted ~V(X). Theorem 50. (Cartan) If V is an analytic set in a complex manifold X then ~v(X) is coherent. He \'lill only prove a wealcer form of this theorem. Theorem 51. If V is a regularly imbedded, analytic subvariety of codimension lc in an n-dimensional complex manifold X, then ~v(X) is coherent. Proof. ~ v(X) is a subsheaf of a coherent sheaf. Hence it suffices to ShOH that .;) V(X) is locally finitely generated. Let x e: X. If x i V then there is a neighborhood Nx of x \·lith Nx 11 V = ~. In Nx, .J V(X) = Q, and l'Ie are done. If x e: V, then by the definition of V we can introduce local coordinates z1 , ••• ,z such that n ~ V = (Cz 1 , ••• ,zn) EX I z1 = z 2 = ••• = zk = Oj, in some neighborhood Nx of X in X. Now, if f e (d V(:NX) )X, then f is the germ of u functi~n holomorphic in Nx and vanishing on V, so that f = O.)i zi, where the -w1 are holomorphic in Nx. Since z1 , ••• , zk ~ sections of v-iv(Nx) over Nx and the mi e &x, the proof is complete. Remark:. CJ (X)/~Jv(X) is a coherent sheaf, by Theorem 48. Its stalk over every point off of V is trivial. On V, since (cJ v(V) )x is trivial, its stalk is the stalk of 0 (V). Hence, on V this sheaf can be ictentitied vJith the sheaf C) (V) of germs of holomorphic functions on V. c0 (X) /,J~(X) is the trivial extension of i2(v) to X.
c?,
f=I
175 Chapter 16.
§I.
Fundamental Theorems (semi-local form)
Statement of the fundamental theorems for a box {semi-local form)
Notation. By an open box in 0n, we mean a [(z1 , ••• ,zn) ea.n I ai<xi
First step of the proof
By a degenerate closed box we mean a closed box given by, say ai ~ x1 ~ aj_ and b1 ~ y1 ~ bl, 1 = 1, ••• ,n Hhere some I · I of the a 1 = a 1 an.d/or b1 = b 1 , i.e. some of the intervals degenerate into points. The number of non-degenerate intervals is the (real) dimension of the box. For r = 0,1, ••• ,2n we formulate :1.. a Theorem 52Ar• Let X be an open box in ~ n , ~ coherent sheaf ofer X, and K LX a degenerate closed box of dimension r. Then th~re exists an open box x0 such that K cc.x0 c.c..X and . .f (X0 ) is globally finitely generated. and Theorem 52Br. Under the same hypothesis as in Theorem 52Ar, there exists an open box x0 such that Kcc x0 cc. X and
Hq(x0 ,~)
= o for all q
>
o.
Theorems 52A 2n and B 2n~ Theorems 52A and B. Proof of Theorems 52Ar and Br for r = 0,1, ••• ,2n. The proof consists of verifying the following three st~tements. (1) Theorem 52A0 is true. {2) If Theorem 52Aj is true for all j ~ r, then Theorem 52Br is true. (3) If Theorems 52Ar and Br are true, then Theorem 52Ar+l is true. First i'le prove that if X is an open box in an and is any sheaf, then Hq(X,~) = 0 for q > 2n. It is enough to consider Hq(x,u,Jt) for U a locally finite covering of X. Since if X c E2n we can refine U to a covering in which more than 2n+l sets always have an empty intersection, we are done. That (1) is true follovJs from the definition of a coherent sheaf as being locally finitely generated. To prove (2), assume Theorem 52Aj for j ~ ~· Let K be .··/ the given degenerate box of dimension r and ~ the coherent sheaf over X. Then there is a box x0 with K c c. x0 c. c X and jl(X0 ) globally finitely generated; call the generating sections s 1 , ••• ,sm. This means that there exists a homomorp~ism f 1 of1 .9ml(x0 } onto :.£.(x0 }. For, define
.J:
f
1
:
(9 ·~1 -> 1:.X .1\.
1
X E
X0 by(f !1: )-> >
~i ( si) X.
~mr generate ( :f(x0 ) )x at every
It is
onto because the s 1 x E x0 • Therefore, denoting ker r1 by a1 , we have the following i ,/'lml f, .-1 exact sequence 0 -> a1 -> £. -""> it:_ -> 0 • By Theorem 49, a1 is coherent. Apply Theorem 52Ar to a1 over x0 . We get a new x0 , call it X~ and G 1 (X~) globally finitely generated. Then there exist m2 generating sections •••• Denoting ker r 2 by G2, we get the exact sequence 11m2 -> G -> 0. Again, G is coherent and .Q -> G2 -> L./ 2 1 we can continue this process, as far as we want, up to 4n,
177
§3. Reduction of (3) to Cartan's theorem on holomorphic matrices Lemma 1. Let K be an r+l-dimensional degenerate ,.. closed box as in Theorem 52 A +l' given by: K = l a:l:<x-t < ai, "' 7 r .~... - J..B1~Y 1~ f3 1 5 • Assume, e.g. that a 1 < a 1 (or similarly, .,.-
/'
that
f3i
<
0
f3i ).,
0
for some
0
a 2n-l-dimensional hyperplane o
t( r
A
~-
0
A
-.
= (a 1 +~ )/2j( is ° 0 . 0 '\0 Set K1 = K A. (f (a1 0 -kx1 )/2<x1 l,
1
o
H =ic'x 1
0
o)
a 10-Kl:i 0 ) /2 ~ x10S . Then, if Theorem Ar+l holds for both K1 and K2 , it holds for K. Note. In view of the following claim, it is enough to prove Lemma 1 using only Theorems 52Ar and Br. Claim. Lemma 1 implies (3), Proof. Assume {3} is false. Order all the nondegenerate dimensions cyclically. Cut K along a first nondegenerate dimension as in Lemma 1. Then (3) is false for at least one of the two resulting boxes; choose one and call it K1 o Now cut K1 in the second nondegenerate dimension; (3) is then false for a still smaller box. Call it K2 •
K2 = K f)
178 Proceed, halving each nondegenerate dimension successively, obtaining a sequence Kj :> Kj+l of closed, nest~d boxes such that in no neighborhood or any box is the sheaf induced by_~i globally finitely generated. But the Kj intersect in a point, and a point surely has such ~ neighborhood; and this contradiction establishes the claim. . . A )\ Lemma 2. Let K1 , K2 be two closed boxes, given as follO\'JS: ( "' "" 1\ . Pl. ~ xl ~ ~' 131 ~ Y1 ~ f31
~1
=
K2 =
~j ~ j ~ 7xj (;;:1-E ~ X1 ~ ; (
X
~ Yj ~ ~ j (11 ~ Y1 ~ ;1
f3 j
1
1
1
where a1 ~ ~1 -E~ Le~ ~ be an analytic sheaf over a neighborhood or K1 U K2 • Let there be givxn sections a 1 , ••• ,ar of ~over a neighborhood of K1 generating the stalks of ~(K 1 ) at every point; and, similarly, sections b1 , ••• , b s of d- over a neighborhood o~ 2;._ Furthermore, assume that in some neighborhood of K1 f'. K2 ,
J:..
K
a 1 = ~ ~ij bj and bj = ~ tjk ak ; ~ij' tjk functions holomorphic in this neighborhood. Then there exist sections c1 , ••• ,cN over a neighborhood A A of K1 U K2 such that, in ~ neighborhood of K1, ai= L:~ijcj; and, in a neighborhood of K2 , bi = ~ tijcj. Claim. Lemma 2 implies Lenuna 1. Let K1 , K2 be as in Lemma 1, where we tal<:e. 10 = 1, We ~irst show that, in some neighborhood x0 or ·K1 n K2, a1 = ~ij bj and bj = ~ o/jiai; where ~ij' tj 1 .. are holomorphic in x0 ; and ai, bj are the generating sections over K1 and K2, respectively, given by the hypothesized Theorem 52 A +l' But then the sheaf over "' <, "r 1\ ( K2 = ([(a1+C)_)/2 - E)_! x1 ~ C)_ 1 • • • J will also b~ generated by b1 , ••• ,bs for E > 0 so small that Kl f1 K2 ()X0 • By the induction hypothesis, there exists a neighborhood X0 of K1 K2 such that Theorems 52Ar and Br apply; now ~
>
n
179 consider the map rJ._s -> i_(x0 ) given by . (~ 1 , ••• ,~s) -> ~ ~ibi. This is a sheaf homomorphism, and the bi generate the stalks of ~(X0 ) at every point, so that the sequence d) s _.., ( ) ~ -> ~- x0 -> ~ is exact. We comple~e to a short exact sequence:
,.
and G is coherent.
Hence, we have an exact cohomology sequence:
Ho(Xo,.Q. s) - > Ho(Xo,i·(xo)) - > Hl(xo,g) •
If x0 is small enough, Theorem 52Br applies, so is onto; but H1 (x0 ,G) = o. Hence H0 (X0 ,f2_s) -> E0 (x0 this means that every section of over x0 is a linear combination of the bi ; in particular, the aj are. In a similar manner, the bi are a linear combination of the aj. Proof of Lemma 2. Under the hypothesis of Lemma 2,
,J::)
.1:
ai = ~ ~ijbj and bj = ~ ~jka~ wh~re holomorphic in a neighborhood of K1 /! K2 • vle adopt the following notation: . a
=
~
=
and b = (
{~ij)
and
~
= 1\
l: );
~ij'
tjk are
column vectors
{tij);
matrices holo-
..,
morphic in a neighborhood of K1 /.) K2 • Then the hypothesis takes the form: ~b
= a
~a
=
b.
Now consider the {r+s) )l..(r+s) matrices defined below, which satisfy the follO\'Jing relations: . ·' 0 t a ' \ I a.l I • 1
o\ -r ~
\f ~
cr
\'
li or
1
8
'
I
/U J
I ;1~ ; ( -Ir = { ar / I
\
~1 J bS/
~
I
I
I
\ 0
I \
~rb
.•
:
~: j
=
0
~1 •
•
bs
,.
180
where Ij
denotes the
j
j
;w.
Define
unit matrix.
,/
'
!
(_-r_r.---· ( Ir M
=
\
:
\
0
0
\ "''.
~
Then M( ~) = (~), and M is a" nons~lar matrix holomorphic in a neighborhood of K1 K2 • -1M , where M is a holomorphic If we can write M = M1 1 2 A nonsingular matrix defined in a neighborhood of K2 , and M2 a holomorphic no)nsingular matrix defined in a neighborhood of Kl. Then M2\~ = Ml ( Set
n
n
/' cl c
\
= (I :•
)
\.. cr+s Then the cj are global sections generating Sf in a /1 ""\ ; ) neighborhood of K1 t) K2 , since the rows of M ( ~ are sections generating .J- in a n;._ighborhood ~~, ~ , M1 ( ~ )
1
j'
sections in a neighborhood of K2 ; and M2 { /\
"'
\0
=
M1 ( 0 )
b
in a neighborhood of K1 tl K2; and both M1 , M2 are invertible. Hence, the proof of Theorems A and B is reduced to: Lerruna 3. (Cartan 1 s Theorem on Holomorphic Matrices) Let M be a holomorphic nonsingular matrix defined in a neighborhood " 1\ of K 1 ~ K2 • Then there exist hol~morphic nonsingular matrices A, defined in a ~eighborhood 'of K1 , and B, defined in a neighborhood of K2 , such that M = ~A.
§4. A.
Proof of Cartan•s Theorem on Holomorphic Matrices
Let A be an
II z II
= max
Iz j j=l, •• ,n N )< N rna trix; set
Recall that
II AII = Note that
I aij I ~ II AII ~
sup
I
where
i ~x II
N max I a 1 j
I •
.
z = ( z1 , ••• , zn)
E
en.
181
Let A( z) denote an N >< N matrix whose entries are fUnctions holomorphic in a domain De ¢n. Set:
Ill A Ill
max
=
Z E
and
Ill Alila where 0 < a < 1 and
Ia1 j(z)-aij(z)l J\
~
H A. ct.
Hlz-zl
=
D
II A( z) n
Ill AIll + H
,
is the smallest constant such that
•
Note that if D1 c c D, domains, then IliA lila ,D ~ kii(A lin· 1 It is lmown that Ill Ill is a norm; and if n a DC ct , the N)(N matrices whose entries are fUnctions holomorphic in D form a Banach space under this norm. Furthermore-: IIIABIII
~
IIIAIII ·IIIBIII
Ill AB lila
~
c
I
Ill A II Ia nIB lila •
(The proof of the above statements is left as an exercise.) Note that, for any matrix A, eA e ~ ~~ is dominated by
)
111~111n.
A3/3- A4/4
If
IliA Ill
< 1,
then
log
(I~A) = A -
A2/2 +
+ ••• is dominated by JIIAIII + IIIAIII 2/2 + ••••
Furthermore, eA is always nonsingular, and eloe(I+A) = I+A. B. The following propositions establish Lemma ;: Proposition 1. Let D be a polydisc, D1 c c D and M a holomorphic nonsingular matrix defined in D. Given e > 0, there exists a nonsingular·_ entire matrix P such that M = PM1 in n1 and II II -M1 ~ ID < e • Proposition 2. There exists an 1 e· ·> 0 such that, if Ill I-r-i lla < E then Lemma 3 holds for M. Claim. Propositions 1 and 2 imply Lemma 3. Proof. By Propos! tion 1, M = PM1 , Ill I-r-i1 lll D < e • 1 Then in a smaller domain, IIII-M1 111a < e • Eence, M1 = BA by Proposition 2. But P is holomorphic everywhere, so M = (PB)A.
182
of Proposition 1.
~roQf
o.
about
M(z)
Assume that D is a polydisc
~·lrite:
=
M(O)lM(0)-1M(.fz)JtM-1 (tz) M(.fz>} •••
[M-1(¥z> L
an integer.
M(z~ ,
:
Now
llli-M- 1 (~z)M(K~lz) Ill ~ IIIM- 1 (~z) Ill IIIM(!z)-M(¥!z> Ill for L sufficiently large,
0 < K < L.
z) K+l M-1 (K L M(L z)
as the log series converges. M(z)
=
< e
Hence: =
NK(z) e
,
So:
N0 (z)
M(O) e
••• e
NL_1 (z)
•
h
By going to a smaller polydisc, D, if necessary, for each NK(z) there exists a polynomial sequence PKj(z) such that Poj(z) PlJ(z) PL :j,f) IIPKj(z)-NK(z) 11 0 -> o. Set Mj(z) = M(O)e e ••• e - •.•
o,
and det M I 0 for j sufficien~ly large. DHence M(z) = Mj(z~ [M~ 1 (z) M(z)I , -1 J and Mj (z) M(z) converges uniformly to I with j; and M. is a matrix of entire functions, for all j. J "" .. "' Proof of Proposition 2. Let K1 , K2 be given as follows: t 1\ ·" .-.. ) 0 1 ~ xl ~ al ' 131 ~ Y1 ~ t31 Then
UIM.(z)-r~(z)
Kl
=
l\
1{2
=
111.'\
->
1
1\
(laj~xj~aj, J
1\
cal-£"" xl
.-.
A
13j~Yj~f3j;
j=2, ••• ,n
A
~ al_. tll ~ yl ~ tll
a 1 < d1-E, as in lemmas 2 and 3. "\ A. M is defined in a neighborhood N of K1 /) K2; we write M = M(z), where z ~ z1 and the dependence on z 2, ••• ,zn is suppressed. Now M = I + X, and lllxllla < E where g is to be chosen later. In the z1-plane, let r be
where
""'
1\
a smooth analytic Jordan curve· containing K1 () K2 and .lying in N (more precisely, their projections on the z1-plane). Let 1 1 and r 2 d~~ote disjoint closed arcs, segments of 1, such that 1 I) K1 C.. int 1 1 . and 1 I) K2 < 1nt 1 2 , where "int 1i" denotes the segment 1i without its endpoints, as indicated in the diagram. Let G denote the bounded component of the complement of 1 in the z1-plane, and G its closure. Take o- to be a real-valued C0 function defined on 1, 0 < ~< 1, -t-~-H-+---H-+11-----+---> such that cr= 0 on 1 1 and xl cr· = 1 on 1 2 • For any matrix Y holomorphic in G and continuous inn, define:
-
T (Y) 1
=
1
2~i
f
Y( ~) CT ( ~) d'"
t-z
~
1 r
T2(Y)
=
y -
T (Y) 1
,
= __!_ fY(~>l_l-cJ(C)j dC 2~i.
~-z
1 I\
Then T1 (Y) is holomorphic in a neighborhood of Ki; and the linear operator Y -> T.(Y) is bounded in G; ~ IIIT1 (Y) !Ia ~ cii!YIIIa· tie ltdsh to solve the equation: .
I
+X
+ T1 (Y))
(I
+ T2 (Y))
=
(I
=
(I + T1 (Y)) (I + Y - T1 (Y)) ,
for some matrix Y holomorphic in G and continuous in for Ill XIll a sufficiently small; i.e. we wish to solve: X
=
Y- T1 (Y) T1 (Y) + Y T1 (Y)
=
Y +
F(Y) • Therefore, define T(Y) =X- F{Y), for Y E S = tY I Y holomorphic in G and continuous in G, IIIY-XIIIa < E, lllxlla < Note that T(S) c. s. l'le claim that, if
EJ·
E
G;
184 is small enough, T is contracting; so that the contracting mapping_ principle applies and there exists a unique Y0 c: S such that Y0 =X- F(Y0 ), as desired. IIIT1 (Y) Ill a~ c lilY Ill a lc( c,C) depending on
Now constant
implies that for some c and C (of p. ·181),
IIIT(Y)-XIII a= IIIF(Y) Ill a-~ kii!YIII~~ k[ IIlY-XIII a+ IIIXIII al 2 < 4ke 2 ;: so we require E < l/4k. Furthermore:
Ill T(Y) -T ( Z) I!.Ia
=
Ill F (Y) - F {Z) II Ia
=
Ill (Y-Z)Tl (Y)+ZTl (Y-Z)+Tl (Z)Tl (Z-Y)
+ T1 (Y) ~
T1 (Z-Y)111a
IIIY-Zllla K(K+l) (IIIYII6 + lllzllla)
IIIa
for some constant K(c,C). Now IIlY-X < e:, henc~ 0 ~ IIIYIIIa ~ 2c:, so IIIT(Y)-T(Z) Ill a~ 4c: K(IC+l) IIIY-ZIIIa, and we require also E < l/[4K(K+l)]. §5.
New proof of the Oka-Weil Approximation Theorem
Theorem 53. Let X be an analytic polyhedron, xc:::_Gopen c ~n, X= c: G I lrj(z) 1<1, j=l 1 • • • ,r; fj holomorphic in~· Then, given ~(z} ho1omorphic in X, ~ can be approximated on any Kc c X by functions holomorphic in G, in fact by polynomials in z1 , •.. ~zn,f 1 , ••• ,fr. Proof. Assume that G G ( Iz j I
fZ
=!
("
=1
1
1
q
J
E
vx(De:) = vxe:(DE}~ H (De:,vXe:) = 0 for all q > 0. Now XE and X are regularly imbedded analytic subvarieties of codimension r in D and D, respectively. E vle claim that the function ~ ( z} can be extended holomorphically into D • Consider the sheaf vfX (D). It is a subsheaf of E
E
E
185
f2. (DE).
Q
Since .f2
gE-E
-E-
is exact: i = inclusion, r = restriction. Therefore, the cohomology sequence H0 (DE ,0) !:.> H0 (XE , 0) -> H1 (DE is exact. But Hence ~ holomorphic in ~a. i Jl• •• k
~
E
E
<:.1
XE • Then 1/1 = .? p j ( z1 , ••• , zn, ~l, ••• 1 ~r) tfie p. are polynomials. Therefore on K,
D~t;.l ; ~
H1 (D '~X ) = O,
implying that r is onto.E is the restr•iction of a function 7fJ D • Write t as a power series jl E ik zl ••• ck converging uniformly in some D~ I :
cc
K cc XE
,JX )
on
.J
=~
pj(z 1 , •.• ,zn,f1 , ••• ,fr). Since z1 , .,.,z11 ,f1 (z), ••• , are holomorphic on G, so are the pj.
fr{z)
S6.
Fundamental Theorems for regions of holomorphy (semi-local form)
Theorem 54A. Let X be a region of holomorphy, . .-/ a coherent sheaf over X and Kc c: X. Then there exists an analytic polyhedron x1 such that Kcc x1 ,·.:..c X and a finite nwnber of sections of ·~(X 1 ) generate 0fx at every x s x1 • Theorem 54B. Under the same hypothesis as in Theorem 54A, there exists an analytic polyhedron x1 such that K cc. x1 c.c X q and H (X 1 ,~) = 0 for all q > 0. Proof of A. Exhause X by analytic polyhedra, Xjcc Xj+l cc X, U Xj = X. Pick one of the Xj, _call it x0 , satisfying Kc.c x0 ccx. Let f 1 , ••• ,fr be the functions defining x0 , and let D be its Oka image. x0 is a regularly imbedded analytic subvariety of codimension r in D. v Define the sheaf ~- over D as follows: let -~
~
~x
-
f j-
if X E XO I 0 other\dse
1
"
X
j
,
and let
Ar -
_.._v_,
~
be open if
186 and only if pA is open in D and A I) .'f is open in :1 (p is the projection map in the sheaf Since ;l_ (x0) is coherent 1 in particular ., analytic~ ~ is an analytic sheaf. Ue claim that is coherent. Introduce local coordinates ~ 1 , ••• ,~n+r in a neighborhood N in· D of a~point of x0 such th~t x0 ~ N is given by ~ 1=···=~r = o. ~ is locally finitely generated. Consider its sheaf of rela~ons _!!(s 1 , •• • ,s.t), i.e. let s 1 , •• • ,s.e be sections of :1:. over some open set U c:. {D /l N). A relation is a set of functions ~j(TI 1 , ••• ,T\ ..J..,) eC2, x e U, j=l, ••• ,.e, o nTr x
:.,F.
iJ:
N
satisfying ~ ~j(sj)x so that the
-
= ~· But {sj)x = 0 for xi x0 ,
~j satis-fy ~ ~j{O, ••• ,0 1 T)r+l' ••• ,,~n+r)(sj)x = O,
x e u/)x0 • Thu~ the f~J(~, •.. ,O,T)r+l~···'~n+r>r are relations of ,7 over U 11x0 and hence are locally finitely generated, say by {'1/!r, ... , ,~~), v = 1, ••• ,N in a neighborhood Nx of x. Therefore as generators of the sheaf R in Nx take the !\!li, ..• ,lf!~) and add the .e-tuples {11i,o, ••• ,o}, v {0, T\ i, 0, ••• , 0), •.• , { 0, ••• , 0, ~ i) for i = 1, ••• , r. Hence ..dis a coherent sheaf over D.~ Apply Theorem 52A to ..f (D). Then there exists an Olea image n1 of an x1 , x1 = { zve G I lfj(z)l
Chapter 17.
Uoherent Sheaves in Regions of Holomorphy
§1. Statement of the Fundamental Theorems Theorem 55A. Let X be a region of holomorphy and da coherent sheaf over X. Then global sections of .::J generate ~x at every x E X. Theorem 55B. Under the same hypothesis as in Theorem 55A,, Hq(X,~) = 0 for all q > 0. These theorems have numerous applications which will be given later on. .. A
:
~2.
Preparations for the proof
Notation. (z 1 , ••• ,zn_1 ) = Z, zn = z so that (z 1 , ••• ,zn) = (Z,z). Theorem 56. (Cartan) Let P(Z,z) be a Ueierstrass polynomial or degree s, P(Z,z) = z8 + a1 (Z)zs-l + ••• + as(Z); the aj are holomorphic in a neighborhood of the origin and aj(O) = o. Let r 1 , ••• ,rn-l'rn = r be> 0 and such that each aj is holomorphic for lzjl ~ rj and let P{~,z) 1 0 for L(Z,z) I lzjl~ rj, j = 1, ••• ,n~l and lzl = r; • Let f(Z,z) be holomorphic in D = L{Z,z) I lzjl~ rj for all ~J; and let I rl ~ 1 on D. Then (1) f = QP + R where Q is holomorphic in 1nt D and R is a polynomial of degree s-1 in z with holomorphic S-1 j coefficients in int D, R = bj(Z)z , and
f-o
IQ(Z,z) I ~ K and bj(Z) I ~ K \'lhere IC does not depend on r. Proof. (This proof is independent of the Division Theorem, Theorem 47, and hence gives a new proof of 1t.) · 1 r {z, C) dC Let Q(Z,z) = 2-iii. ICI=r P(Z,~)(~-z) ; Q is (2)
j'
holomorphic in int D.
Then
188
r
(
~ P(Z,~)-P(Z,z) ] d'" • But PTZ;0 lc l=r s-j s-j ( ) ( ) s-1 P Z,~ -P Z,z = ~ a (Z) C - z , a = 1. Carrying t-z j=O j ~ - z _1 0 out the division gives R(Z,z) ~ 0 bj(Z) zj, where
R(Z z) = 1
211-I J
I
e-z
';,
jt
bJ(Z)
=
2-;Ij
~~~~~~ (Cs-j-1 + alcs-J-2 + a2cs.-J-3+ •••
ICI=r + as-j-1) dC. Hence R is of the required form. Now to estimate Q and the coefficients of R. For ICI = r and lzjl ~ rj, j = l, ••• ,n-1, lrl ~ 1 and !PI has a lO't'ler bound b > 0 and laj I < c, a constant, for all j. Hence lbj{Z)I ~ K1, a constant independent of r. To estimate Q write Q =(f-R)/P. Then l+K 1 (l+r+ ••• +rs-l) IQI ~ = K2, a constant independent of r. Take K =max (K1 ,K 2 ). /()q. Theorem 57. Let Mj be a submodule of L/ 0 J (vectorvalued holomorphic functions in ¢nnear the origin) of dimensi~n q., j = l, ••• ,L; i.e. each Mj is a set of columns
rh\ ~ J ;( : )C ~i l\ ~qji)
holomorphic near zero, such that this set is
closed under addition, and under multiplication by holomorphic functions near the origin. Then (1) Each M: has a finite basis B., i.e. for every J J Mj there exist a finite number Nj of elements of Mj such that any other element of r~j is a linear combination of these with holomorphic coefficients. (2) After a linear change of variables, \~e can find a SEquence of polydiscs D about the origin D1 =' D2 ·:;) ••• , l v 1\ D = 1OJ , and the finite bases Bj are defined v -> in D1, such that if ~ E ~1 . and is holomorphicNin some Dv, and Iff (z) II~ s~p l~i(z~l < 1 then r~ ?~1 j1{1£ ~ I ZEDV
189 ->
->
where (~ 1 , ••• ,+N) = B; and the tg are holomorphi~ in Dv and II 'If nil < J K v ~a constant depending on v). Proof. We use a double induction. First we show that if for a fixed n this theorem holds for ideals (1-dimensional modules), it holds in general. Then we use induction on n. ;J
-
Consider Mj, · j
Let ( tl )
fixed.
£
Mj, Consider the
9qJ/ ideal I 1 of the ideal r2 for 1 = 0; = ~q _1 = O.
+
all those ~ which can occur as a ~ 1 ; then of all those 9 which ·can occur as a ~ 2 etc. till Iqj of +q 1 s for 91 = 2 = ••• By hypothesis each Ik j has a finite basis
+
" jfk k .. ~k = j , •. • ,jr ~.
Then the basis Bj
1
(1~ \ I o \ k I o . I 0 1) I 12 ., (: I I i2 i 0 . \ Jj '\ ~ j ''"'\ j~J 0
I
for -~J
is
t
l? ,
13
= l, ... ,r3)
\
qj Part (2) follows similarly. Now, for n = 0 the l-1j are the finite (qj) dimensional vector spaces of all qj-tuples of constants, and the statements are obvious • Assume the theorem for n-1 and every finite number of modules. We must prove it for n and any finite number of ideals. Assume that none of the ideals Ij is identically zero, so that \'le may pick a non-ideritic~lly zero element from each. Make a linear transformation such that these elements are normalized with respect to the variable zn. Consider any one of the ideals I with element 9 ~ 0. Then 9 = ~ 0p; where 0 is a unit and p is a lleierstrass polynomial, say of degree s, p = ~ s + a 1 {Z}zs-1 + .•. + a 8 {Z), a.j(O} = 0. Assume, without loss of generality, that 0 doesn't appear, then p e I. Let t be any element of I. t is holomorphic in some closed neighborhood N of the \
I
\
+j
+
+
190 origin. In N, 1~1 ~ c, a constant. Hence ~/c = JC e I, is holomorphic 1n N, and IJI ~ 1 . there. In perhaps a smaller closed neighborhood D or the origin we may apply Theorem 56. Then J( = qp + r; q is bolomorphic in int D, lql < K, and r = b0 (z) + b1 (Z)z + ••• + b 8 _ 1 (z)zs-l 1 where·tb; bj are holomorphic in 1nt D and lb j I ~ K. Since and qp e I so does r. Consider all a-tuples
.J.
(b 0 (z)
)
/ : such that b0 + b1z + ••• + b 8 1zs-l e I. They \ bs-l(Z) form a module in the n-1 variables z. By hypothesis, this . ~~(Z) ( •v
module has a finite basis
)
v = 1 1 • • • ,m;
1
Bs-l(Z)
so that j
m bj(Z) = ~ av(Z) Bj(Z);(*) av holomorphic in int D, v~ ~ j ~-1 _E!.,_ v.
= 0,1, ••• ,s-1. Then r
=
>
j=O
bj(Z)z = /
3=0
(
> _av(Z)B]Z)) z j
V=I
and therefore
~
Hence
_.
iP
=
.r· and
=
qp
+L
=
qp
+ "v
>s-1
j;n
v j
Bjz
,
(2: avBj)zj "'v(
~ B~zj
) '
(**)
.
v = l, ••• ,mf is a finite basis
\
I. Do this for all the ideals.·. Ij. f ~g(z) \ Now for each module L. consisting of all s-tuplesl :j ) \ b s-1 J (Z 1 such that > b~ zk e I., l·le find polydiscs DvCO:n- \ s-l for
1{;0
J
with the required property {2). Take a sequence or polydiscs I n I D in ~ such that every hyperplane z = constant /)Dv is V I I .,1. ( contained in DV 1 DV +l C DV , /I , DV = { 0J 1 and the bases for the Ij are defined in D1 • Consider any ~ e Ij, say given by(**}. Then by our induction hypothesis, in(*) the II aj II~ Kv and we already have Iql ~ K. Therefore q and aj,
191 the coefficients 1n the basis expansion of t, do have norms bounded by a constant depending on v. -> Theorem 58. Let f.i be a submodule of Let ~vi be a sequence of elements of M which are all ho!~morphic in a fixed neighborhood ~~ of the ~~igin. If the ~v converge uniformly in N to ~ , then ~ e M. Proof. The ~: converge componentwise; ~~ ->·~j uniformly 1n N, j = l, ••• ,q. In any compact subset of N the ~~ are uniformly bounded; assume ~~~~ ~ 1. By Theorem 57, perhaps a smaller polydisc D, ~~ = t~
t
06 .
i:t
:e
iJe i
}j
where the are the basis vectors and the 'if/~ are holomorphic in D with ll¢,e II~ KD. H~nce) for j fixed and for each fixed .e we have a sequence (1/lp,'s of uniformly bounded holomorphic functions in D. Thus ~ 1/J~ ~ contains a subsequence which converges normally, say to '¥_e1, . Therefore for each j there isNa subs:quence of .<~~J which c~nverge~ normally on D to 'f,e J.~ Then ~J = -> N
i:t 'f.e li
f:t
on D,
l'Jhere
'1' £
t •
.•
.
is holomorphic in D.
Hence ~ e M.
§3. Proof of Theorem A Now we are ready to prove Theorem A. Exhaust X by analytic polyhedra, Xj cc Xj+l' Jxj = X. Let Kj = cl Xj. Apply Theorem 54A to each Kj C Xj+l• Then for each j there exists an analytic polyhedron Nj with Kj c_ Nj c. c Xj+l and a finite number of sections of .;l (N j) generate -5-x at every x E Nj ; call them sj 1 ,sj 2, ••• ,sjtj• ConsidEr,
for fixed
j,
all sections of the following form,
where t~e
~
are holomorphic and bounded in Xj.
->
~j
a = ~=l~vsjv' The
( .1 \ v
=\ : \
\ form a Banach space Aj of vector-valued
~Lj I
holomorpl:.ic functions under the norm,
192
Aj is complete by Theorem 5~; Let Aj denote the subspace of Aj of relations, i.e. + e Aj if and only if s = ~ 'v sjv = 0 • Aj is a closed linear subspace of Aj, by The~rem 58. Hence we may form -~J/A~ = BJ.-> r+J • Denote an element of Bj, represen~~d by ~I· by Bj is a Banach space with norm Jl[+llj =-~nf_> max l~vl •
+ e [ cV]
v ,xj
Proposition. (Oka-Weil Theorem for sections). Let be a s·:;tion of .£.: over x3 such that fS= 2:v ~v sjv
~
and [~] e: Bj. Let e: > 0 be given. Then there exists a se~tion -r -~f over X such that II rr- -r 113 < e:, i.e. lfcr--rllj = II[}J IIJ < e , where (o-·- -r) I x3 = >--v lv sjv'
.1:
Proof. sjk:
We claim that every section
~;l~~k)
sj+l,l ,
where the JC1k) are holomorphic in
a neighborhood of K.; k = l, ••• ,L .• For, consider the J ( ,f\Lj+l J(Nj))x -> (jt(Nj))x, ma~pin~ f: ~; x e Nj, given by ( f;l
\
Ij \
Lj+l
)'->
f=IJ._e(sj+l,.e>x.
Lj+l
~Lj+l(Nj)
into ..
generate
.,
~(Nj)
r isahomomorphismof
and is onto because the sj+l,.t
( .;T (N j)) x at every x
E
Nj.
Hence
where Q : ker r, is an exact sequence of coherent sheaves. By Theorem 54B there I\ A is an an~lytic p_olyhcdron Nj such that Kj C. N 3 ~c Nj L and Hq(N3,a) = 0 for all q > o. Therefore HO(Nj, J2. j+l)->
0 -> G -> QLj+l(Nj) -> _i(Nj) -> O,
0
1\
./
H (Nj 1~) -> 0 is an exact sequence, implying that the mapping j_ ,.. is onto. Hence every section of ·L~j) is a LJ:.esj+l,.t where the Ap, are holomorphic in Nj; therefore so is each sjk' h Nou, ()= ~ sj and sjv = ~·r(v) ~~·! sj+l,.e' w ere ~v and Jl~v) are h~lom~rphic in a neighborhood of Kj. Thus
>
193 ; ?/I.e = 2:v ~v .X.lv) is ho1omorphic in a neighborhood of Kj. On Xj, the ?/I.e can be approximated by functions ?/J~l) ho1omorphic 1n a neighborhood of Kj+1 ' rf'=
2:~ 1fr.esj+l,£
I?/J2-?/11 1 ) I
<
by Theorem 53.
c./2 ;
is a section of
Hence
cr1 = ~.e ?/IJ 1 ) ·s j+1 , .e
~
over=a neighborhood of KJ+1 ' and (1) II 0" - <J1 11J < c./2. Similarly "i = 2:.e 1/1.e s J+1 , .e = ~ (1) .!1±2 ·v (.e) fl) (.t) -'-.t *.e ..Am sj+2,m) = 2:m ( L.e *l X m 8 j+2,m' 71
--
Cj
~-e) are ho1omorphic in a neighborhood where the L.e 7/1~ 1 of Kj+l' and therefore can be approximated on Xj+1 by 2 ) in a neighborhood of Kj+2 ' holomorphic functions
>j.:
tj
< c./4 Then a: - ~ ?'' ( 2 ) s J-m • 2 - L- y t j+2,t is ~ section over a neighborhood of Kj+2 and II 0""2-0]_11 j+l < e/4, etc. obtaining ~~ o4, ••• such that II Oj_ -Oj_+1 11J+i < c./21+1. Since the BJ are complete, on each Xk' k = j, j+l, j+2, ••• , there is a section Tk of such that II Tk-Oj_llp < c. for i large enough and p ~ k. But then for each k, Tk must be the restriction to Xk of Tk+l' Hence there exists a section T of over X such that II T-
1,,, ( 2 ) '~',t
~ ?'' (1 ) ·;r ( .e ) I
- L--
T"
£
J-
Take any representation of the in terms of the
-~ J-(v)
s j -1:1, v - 2-I.L
->
->
over all representatives
'if!
I.L
E
[1/1 ] ,
s =
s jJ..L •
sj+l,v
Then
2: ~(!.,sj+l,v'
194 Since v depends only on
j,
say v
II s I j ~
= l, ••• ,Lj+l; X j, IJ.(~ ) I
Lj +1 inf max I~v II X.J v ) I • On !J.,v,Xj bounded by a constant bj depending only on
j.
is
~herefore
lslj ~ bj Lj+l
1~! max I~vI ~ b jL j+lll s llj+l. This [~] :V,Xj proves the proposition. To complete the proof or Theorem A, we must show that -·l every stalk ~x' x e X, can be generated by global sections. So, let ~ e X. Then x lies in some Xj. The sections sj 1 , ••• ,sjL or Xj generate the stalk at every point of Xj. By t~e proposition, there are global sections tj 1 , ••• ,tjL such that on Xj j L t jk =
( *)
f=~
(
Bkt
+ 1/tkt ) s jt
'
where the tke are holomorphic in Xj and l~ktl < e there. For e sufficiently small, the transformation (*) is nonsingular, so that we may solve for the sjt in terms of the tjk" Hence the tjk generate ~·
§4.
Proof of Theorem B
First we define the tensor product sheaf -j- ® 0°' q over X, where 0°'q is the sheaf of germs of differential forms of type (O,q). This sheaf is called the sheaf of germs of differential forms of type (O,q) with values in the sheaf j-. Let x e X. Both .J:X and 0°'q. are r0x modules. X · Consider al~ finite sum~ (~jfj~tjllj), for ~j' 1/Jj e c.9x and f j E j-x , ID j E Ox' q. Define addition of t\110 sums in the natural way, -
>
:;= aj + N
M
I
~ aj =
I
f
a 1 + ••• +aN +a 1 + ••• + aM.
AllOt'/
interchanges of the order of terms of a sum and drop any term w:tth ~j' fj, "if/j or IDj equal to zero. Identify the terms (~jf,fJ\ljjiDj) and (fj®~i/JJIDj). Then these finite
195 sums modulo the identification form an Abelian group Gx = J'$-o~,q· Under the follO\'ling topology, we obtain X ..., 0 q the sheaf :r~ 0 ' : Take a representative of any element _g e Gx , ~(~Jfj~V!Jcoj). In a sufficiently small neighborhood Nx of x, the ~j and V!j are holomorphic functions, the f j are sections of .;i: over Nx, the co j are differential forms, and the projection maps of the sheaves ::1- and 0°'q are homeomorphisms. Then, for each y E Nx, .
a~sign tha~ class in
(~
l.t
I~
I'))
Gy" ~ ('f1Jfjtt9V!fj 1 for which +j and ~J are the 1direct a~alytic continuation~ or +j and "J' and the fj and coj are sections of ~ and Oo,q through rj and coj, respectively. We define the collection of all these classes to be an open set; and these open sets are to form a basis for the topology. _
N~l" ~efine ~ ( 2:_ (~Jf l~~ Jcoj)) = 2: (+Jr J®~ imJ). Then ~: 4 ® 0° 1 q -> .:; ® oo, q+1 is a homomorphism of the
sheaves; ~d ~ 2 = 0. Since Hq(x,Q) = 0 for all q > O, (cf. Theorem 36, p. 117), by Dolbeault's theorem (Theorem 26B, / p. 95) we have the Poincare lemma with respect to in X. i ·tr_ Ao "d · ~J Cl o 1 o ·-:1..r.:\ o 2 j Hence the sequence .2 ->_->~iS 0 - > L 0' 0 ' ->.£_r,b0 ' -> • • • is exact. For, at J-@ 0°' 0 ker ~ is :Jr~J CO, and else\'lhere exactness follo~IS from the Poincare lermna. This sequence is a resolution of '<-t-. Indeed, J 0 0°'P, p ~ 0 CD are fine sheaves. For, define multiplication by a C function;
-o
~
if a E c00 then o:( '> (~jfj~ 1/lrj)) = ~ (~jfj~) V'j(aiDj)),; and then proceed as in the example on p. 152. - Then by the Abstract de Rham Theorem (p. 153), Hq(X~J.:!: (~ closed (O,q) forms with values in:/-)/(~ exact (O,q) forms with values in :f). Now exhaust X by analytic polyhedra Xj. Tben for every j, Hq(X ., )-) = 0 for all q > 0 by Theorem 54B. As in the proof J -that Hq(X, 0) = 0 for all q > 0 (Theorem ;6), we obtain a lemma ~ for-;he sheaf ~~ and hence Hq(X,~) = 0 for all q>O.
-
196 §5.
Applications of the Fundamental Theorems
The following results are all obtained relatively easily from the fundamental theorems A and B. Some of these results have been obtained previously, with more effort. Note. In the following, X is a region of Molomorphy and ~ a coherent analytic sheaf over X. A. Theorem 59a. Let V be an analytic set in X; i.e. V C X, and every .point p e V has a neighborhood Np such that X ~NP is the set of common zeroes of a finite number of functions defined and holomorphic in Np. Then V = fx eX I fi(x) = 0 for every i E where the· fi are fUnctions holomorphic in X and I is some index set. We cannot prove this theorem, since it relies on the fact that the sheaf ~V(X) is coherent (Theorem 50). However, we can establish: Theorem 59. If V is a regularly imbedded analytic subvariety in X, then there are ~nctions fi' i E I, holomorphic in X, such that V = 1 x EX I fi(x) = 0 for 7 every i E IJ. Proof. ~V(X) is coherent by Theorem 51. Hence, by Theorem 55A, the global sections of ~V(X) generate the stalk at every point. For any point p E X - V, the stalk (;j V(X) )P contains the germ "1" j hence "1" is a linear combination of functions holomorphic on X and vanishing on V (with appropriate coefficients). Hence at least one function does not va~ish at pj hence there is a function holomorphic in X, = 0 on V and ~ 0 at p. Theorem 60. Oka 1 s Fundamental Lemma; a general form. Let V be a regularly imbedded subvariety in X; P the closure of a polynomial polyhedron in X. Then cl (V(\ P) = (cl (VAP)) * , its polynomial hull. Pro~f. cl (V f) P) C P which is defined by polynomial inequalities. Hence there exists a polynomial polyhedron P' such that PC(. P •c:·c X and JV(P 1 ) is globally finitely
rJ
197
generated (applying Theorem A to the coherent sheaf ~v{X)). At any point p e P - V, {Jv
'j
defined by: hypothesis;
.+1 (:
~r x
-
->
2::
~i ( si) x
-
• This map is onto by .
hence we may form the exact sequence:
o
->
Q
->
~r
->
.J-
->
.Q
•
G is also coherent; hence we obtain the exact cohomology sequence: H0 (x,<9 r) -> H0 (x,E-) -> H1 (X,G) • Now H1 (X,G) = 0 by Theorem B; and since H0 (X,~r), H0 (x,j_) -;:re the global sections in ;J_r, respectively; Theorem 63 is complete. Corollary 1. Let Ucc X, U open. Then there exist finitely many global sections s 1 , ••• , sr of such that every section s of' l_(u) is of the form s = L ~jsj, where the ~j are holomorphic in u.
J:.
,-1
Proof. By Theorem 6:;, it is enough to shou that there exist a finite number of global sections of ~ generating the stalks of ~(U) at. every point. ~t this is Theorem A. Corollary 2. Let D c· ~n, D open. Then the following are equivalent: i) D is a region of holomorphy ii) lfuenever ~l, ••• , ~r are holomorphic functions in D without common zeroes, there exist holomorphic functions t 1 , •• ,'/fr in D such that 2: ~ j'/1 j ;; 1. Proof. i) implies ii). View the ~i as global sections of the sheaf ~(D). It is thus enough to show that they generate tbe stalks {J.... at every point x E D, as "1" is a global section and Theorem 63 applies. But this is just the hypothesis of ii). ii) implies i). If D has no boundary points, D = ~n and so is a region of holomorphy. Hence, assume D has boundary points; we shall show that every such point is essential. Let "a" E bdry D; a = (a1 , ••• ,an). Consider the n holomorphic functions ~. = zj-a .• They have a common zero at the point a, J . J only; hence they have no common zero in D. Hence there exist '/fj, holomorphic in D, such that 2: V!j(z) (zj-a .) 1 in D. If the ?{lj are all holomorphic in a neighborhood Y.a", ( 2:: V!j(z)(zj-aj))a = 1. But this is clearly a contradiction, so at least one of the ?frj is singular at "a". B. Recall that, in a region of holomorphy, vJe have an extension theorem for functions defined on regularly imbedded, globally presented hypersurfaces. This theorem extends as follows (X still denotes a region of holomorphy): Theorem 64. Let Yc X be a regularly imbedded subvariety. Then every function holomorphic on Y is the restriction of a function holomorphic on X. Proof. Consider the sheaf Jy(X). lrJe may form the exact sequence: A
=
->
~{X)
->
SJ - ;J.y
->
0 '
199
J
where Q; y = Q (Y) ( cf. Remark p. 174). have the exact cohomology sequence:
H0 (X,~) and
->
H0 (Y,i2)
->
t:le therefore
H 1 (X,~y)
H1 (x,~yl = 0 by Theorem B. Theorem 65. Let points z j e
-, x, f z j) discrete, be given together with numbers aj. Then there exists a function ~~ holomorphic ~n X, such that ~(zj) = aj. Proof. z j ~ is a regularly imbedded subvariety, of dimension zero. Theorem 66. lvith the zj as above, let polynomials Pj(z), or degree Nj, be given. Then there exists a function ~~ holomorphic in X, such that in some neighborhood N.+l or zj, ~(z) = Pj(z) + O(llz~ J ); i.e. has any given Taylor expansion up to any given order. Proof. Consider the sheaf ~ 1 defined by its stalks as follows. If for x e X, xI= zj set = (2 X • If ::1_ r X for x e X, x = z j set :;-x = germs of functions l'lhose Taylor expansions about zj have no terms of order< N.; . J i~e. which vanish at zj of order at least Nj+lj( • .:}- is an open subsheaf of (X). For coherence, l'le must ---~ show that ~ is locally finitely generated. But, for points x I= zj, this is clear; and at zj the stalks are generated by the polynomials in z-zj of degree Nj+l. Hence, we may form the exact sequence:
!
+
J
i
CJ-
-
o
->
J-
->
(9
->
C) I
f._
->
o
and therefore the exact cohomology sequence: H0 (x,t..l)
by Theorem B.
->
H0 (X,
;9/.f.)
->
But (o
o
(fJ/j)x = J l germs of polynomials of degree
c.
/
if x I= zj if x
= zj
Recall our attempt to solve the Poincare problem in the strong sense. This is not possible in an arbitrary region of
•
200
holomorphy; but is possible in its weak sense: Theorem 67. Given a function g, meromorph1c in X, then g = h/f where h and f are holomorphic in X• . Proof. Locally, we can find holomorphic functions f --I such that fg is holomorphic. Hence, define the sheaf ~ 1 ~ as follO'l'IS: J.x those germs fx _e t~,~ such that fxgx is holomorphic. is a sub sheaf of J:9 • For coherence, it suffices to show that is locally finitely generated. ,., Recall that the Poincare problem is solvable in the strong sense in any polydisc: g = h1/f1 ; h1 , r 1 are coprime and the representation is unique up to units. lle claim r 1 generates the stalks at every point (in the disc): If (r1 )x ~ 0, this is clear. If {r1 )x = 0, the only functions regularizing g are then multiples of r 1 • Hence, ~ is a coherent nontrivial sheaf. By Theorem A, there exists some global section r. But fg is then holomorphic at every point; set fg = h.
= ::J:
Jl
201 Chapter 18.
Stein Manifolds (Holomorphically Complete Manifolds)
Stein manifolds were designed to generalize the more characteristic properties of regions or holomorphy. §1.
Definition and example~
Definition 77. A complex manifold X is called a Stein manifold if: Condition 0: It is the union or countably many compact sets. Condition 1:A X is holomorP.hically convex, i.e. for every K c c X, Kc c X, l'lhere K denotes the hull with respect to functions holomorphic on the manifold X. Condition 2: The holomorphic functions separate points; i.e. for every distinct p, q e X there exists a function g holomorphic on X such that g(p) ~ g(q). Condition 3: The collection or functions holomorphic on X contain for each point a set of local coordinates at that point. Examples. i) Any region or holomorphy. ii) Regularly imbedded n-dimensional subvariety X of eN. l'Je note first that X, being regularly imbedded, is closed. Condition 1 is established by observing that if K c..c.X but ~ _/ A K )le X, then there is a dis crete sequence ( zn) e K. Hence by Theo~em 65, there is a holomorphic function ~ on en with I~( zn) I -> oo; contradicting ( zn) e "K. Condition 2 is trivial, as is Condition 3 once it is observed that every point of X has local coordinates such that zn+l = • •• = zN = 0 describe X. iii) .If X is a Stein manifold, and r is holomorphic on X, then the set x I f{x) -1 0~ is also a Stein manifold. iv) The product of two Stein manifolds is also one. He leave it to the reader to verify that iii) and iv) are Stein manifolds, while stating the following theorems (without pl''Oof). ~
t
202
Theorem 68. (Stein) Every universal covering space or a Stein manifold is again a Stein manifold. Theorem 69. (Behnke-Stein) Every open Riemann surface is a Stein manifold. vie remark that there exist manifolds which are not Stein man1folds; that conditions 2 and 3 can be replaced by a ''K-completeness" condition. (A complex manifold X is K··complete if for every x E X there exist finitely many functions f 1 , ••• ,rK holom~rphic on X such that x is a~ isolated point of the set (y EX I f 1 y = f 1x, ••• ,fKy = fKxj.), and that: Theorem 70. (Grauert) Conditions 1, 2, and 3 imply condition 0.
§2.
An approximation theorem
Definition 78. An analxt~c polyhedron Y in a complex manifold X is defined as follows: Y<...c. X, such that there exist a set x0 and functions r1 , ••• ,fr holomorphic in X such that: Y c.. c x0 c. c. x and Y = { z I z E x0 , If j ( z ) I < lJ • Theorem 71. Let Y be an analytic polyhedron in the complex manifold X, as above, and let g be a function defined and holomorphic in Y. Then g can be expanded in and the a normally convergent series of functions of the coordinate functions fi' holomorphic in X• .::·Proof. By adding functions fj, we;;-may assume that: Y ='l_z I z E x0 ; If (zJI < 1, j = l, ••• ,NJ and that the Oka map (z 1 , ••• ,znY -> (f ~z), ••• ,fN(z)) is one to one, of maximal ranlc, of Y into ll~jl < 1, j = 1, ••• ,~IJ.. The image of Y in the disc is a regularly imbedded analytic subvariety of the disc. Therefore by Theorem 64, g can be extended to a function G holomorpbic in the disc. Hence in the disc G = ci i ~ 1 1 ••• ~NN and this series l' • • N converges normally. But, setting ~i = fi(z 1 , ••• ,zn), vle
1
2::
203
obtain the desired normally convergent expansion.
§;.
The fundamental theorems· for Stein manifolds
Theorem 72. Theorems A and B hold for Stein manifolds. Corollary. All consequences of these theorems, except Corollary 2, hold also. In particular, we have the complex de Rham theorem: I
~) closed holomorphic q-forms • ,. ~ exact fiolomorphic q-rorms Note that this result shows also that the cohomology of differential forms on any Stein manifold is trivial. These statements need no proof!
Hq(X
§4.
Characterization of Stein manifolds
Theorem 73. Let X be a manifold satisfying condition 0. Then the follo\·ling are equivalent: i) X is Stein. ii) H1 (x, :f:.) = 0 for every coherent sheaf of ideals ~i i.e. for every coherent subsheaf of (9 . Proof. i) implies ii): Theorem B. ii.) implies i) : Recall the corollaries of theorems A and B: Given a discrete sequence of points, there exists a function taking prescribed values. This implies holomorphic convexity and separation of points. At every point there exists a function with a prescribed expansion in terms of local coordinates. This ii~lplies the cxio"Cencc of' local coordin:J:~c::.: ~1l1ich
are holomorphic functions. Now recall that the proof of these corollaries required only Theorem Bin the form of 11). Theorem 74. (Grauert-Harasimhan) Let X be a complex manifold satisfying condition 0. Then the follol'ring are equivalent:
204
i) X is Stein. ii) There exists a strongly plurisubharmonic realvalued function ' on X such that {' < aJccx, for every a • Proof of this theorem is essentially that of the solution • to the Levi problem, and will not be given here. Theorem 75· (Bishop; Narasimhan) Let X be a complex manifold of dimension n. Then the following are equivalent: i) X is holomorphically equivalent to a regularly imbedded subvariety or e2n+l. ii) X is Stein. Note that this gives an imbedding theorem for regions or hol--omorphy. Proof. i) implies ii). Clear by the examples. ii) llnplies i) will not be proved here. One must find 2n+l functions such that the mapping defined by them is one to one, of maximal rank, and "proper'' in that the inverse image of a compact set is compact. Ue do not establish this, but make the following remarks: This mapping is not unique. However, in the space of all holomorphic maps X -> c2n+l , under the topology of normal convergence, the fUnctions of 1) are dense.
205
appendix This appendix is concerned with proving the theorem of L. Schwartz
ap~earing
in chapter 13 on
139. We actually
pa~e
prove a weaker theorem than is stated there, but one which nonetheless suffices for our purposes. We assume that E and F are vector spaces, each having a nested sequence
!"I '
!'In ' .
of norms defined on it;
!!
II II n +1
, n = 1, 2, • • • •
Furthermore, E and F are metric spaces with metric
• Under the topology induced by each metric, we assume that E and F are complete and separable, property that fer each n, {x f E bounded (relatively compact) The theorem He are Theorem (L.
l.Ji
~oing
Scbt-rart.~).
alld
that E has the r.dded
r II X lln+l ~
th respect
1} is totally
to the norm
II II n.
to prove is the follovdng: If A and B are continuous linear
mappine-s of E into F and A is onto and B is compact, then
F/(A+B)E is finite dimensional.
206
Before proceeding with the proof,
= C0 (D·, U @')~Z 1 (D0 , U", {f)
E
1,
and F
note that if
~e
= z1 (D, U1 , {j), then
E and F
have the properties assumeJ. above, for: The nestej sequence of norms on each space is defined as follows. Kij1C~
First, in each
1 c Ki,j+l /~ u1 1 .
u 1 1 ~U 1
take a sequence of subsets
I n eac h uj, ""1 uk " tr
It
¢ or s e ts o.~.r-- u" take a
1 F
...,
sequence of subsets Kjkl c c KJk,J+l / (u/'{)uk"); and in each u. 1 nu. 1 /:¢of sets of U1 ta:.e a sequence of subsets J
l
I
I
KiJkc C.Kij,k+l
/'
"\
(ui 1 / !UJ 1 ) .
, Then for J C: E; i.e. .f = g + h,gE; C0
aSSiO.:nS the hOlOmOri)hiC fUnCtion g.l tO U.l ~
I
and hE_ z1 assigns
the holomorphic function hjk to uj"/\uk" /: ¢; define
,•
=max i·zG K ' in
Clearly these are norms and
II
lin ~
II II
The separability of E and F is obvious.
n+l for all n
= l,
2, ••••
Finally, the totally boundedness of {xE::E in the norm
II II n
I II xll n+l ~ lJ
follows from the fact that a uniformly
bounde1 sequence o ~. . holomorphic functions contains a normally . convergent subsequenqe. I.
Preliminaries. Hencerorth x and y shall 1enote elements of E and F,
respectively.
(e and f shall 1enote elements of the dual spaces).
Let sn dS n
so n
= LX t: E = {xE E = ~X €: E
Note.
'-
llxlln
I II xlln I II x lin
~ 1},
Ln
= ·[yt:
F ,. 11 Yltn
~ ~~
I II Ylln I II Ylln
= ~},
.,
= lJ, )
<
l.f,
aCn Con
= tYt: F = iyt: . ., F
<
1':) .
1.€rcE (or F) is open if and only if for every point
~€ ~there is an n and a 2.
k > 0
such that
2 + kS n c: (l.
xi~ x in E (or F) means llxi- xlln
1
0
for all n.
E* denotes the space of continuous linear functionals on E. The roll owing remarlcs, although stated .f'or E* , are true as l't'ell for F* • For e EE* define
II e II n*
= sup
le(x) 1.
These are n.ot really
xESn norms because for some n, llelln* may be infinite. each fixed n, the elements of E* -with finite norm a Banach space.
However for
II II n*
form
208
Proof.
e is
Since
o,
set containing
continuous, {x t E
I (S(x) 1 < 1}
~
oo •
is an
~pen
and therefore contains a set kSn for some
Then le(x) I <=1 for all x ~ kS , and by linearity
n and k >
o.
le (x)J ~ ~
for all
-
X f
sn, implying
II~
n: ~ l· n
2.
II 11~+ 1 ~ II 11; •
).
Given e € E*, if there is an n for which
II e II:
= 0,
= o.
then e
If e ~ 0 then there is an x E E and e(x)
Proof. Since
11"11* e n
For ·each ''· e E E* there is an n such that
1.
II xlln
= N
contradicting
4•
II e 11:
=
j
= a F 0.
~Sn and e(j) =
N'I o,
o.
Since E is separable, the usual argument based on the
Cantor diagonal process shows that from any sequence
ei~
E*
with lle 1 11~ ~ C for some fixed n, we may extract a subsequence e1
converging at every xE E.
and
II e II~
j
.,
s:~
~ C.
= {e <:: E~~
Set e(x) = l r eiJ(x), then e E-E{~
Let
I II e It: ~ lJ
and
Cn = {f E: F* I II r n: :: lJ.
Define mappings A*, B~~: F~~ -+E~~ by (A*f)x
(B*r )~
= r(Bx)
=f(Ax) -an]
for f t p* and X~ E• ....
1. Since A is onto, AA is 1-1.
2. B compact means that there is an n such that B(Sn) is z totally bounded in F.
), A* and B* are continuous. linear maps.
II. Easy Results. Propos! tion A. every f ~ F*,
Given n, there exi.s t mn and
~ c II A*ru:. mn n oo Proof. Since A is onto, F = UA(kSn)
II fll*_
1=1
=
en such that
for
oo (the bar
lJ.... A(,..RJ.,...S....),
t=l
n
denoting closure). By the BaireCategory Theorem, one of the closed sets A(j.S ) contains an open set, therefore a set of the n
form y + Cm , y E F and k > 0. If to~e make l.. even la.rger, we n
can get ~A(-~_~sn-) J Cm • For, y f A(iSn) implies y = Ax, xi n x j x1t t Sn' so that A(x+LSn) :> ki::m , implying A{k~n) ~
n
u
Let f ~ F~r. For yEA(fSn)' y =Ax, 1t(y)l
= lf(Ax)J
=
l(A{:·r)xl
llxlln
~ ,iand
....;>
x,
Lmn.
~ llxllnliA*rll~ ~ iiiA~,}fll~· By the
continuity of f, this inequality is valid for y::_ AL.Sn) and hence for y~·Cm
.
•
n
Take
Proposition B.
en= t. There is a fixed positive integer p such
that for every m, B~~(r:::) is totally bounded in the norm
II
u;.
210
Proof.
Choose n so that B(Sn) is totally bounded in F.
(p will be n + 1).
B(S n )CF::
.P..r-o ~
Then B(Sn) is compact in F.
~ (~. '--ro
Given any ro,
By compactness, a finite number of _ the
.
K.~
cover B(Sn)' and since they are nested, choosing the largest
{gives B(Sn) c B(Sn)c.[C~·
Let fE c~ and X€ sn, then
I
Therefore, B~J-Q=·~) is a
set of functionals which are uniformly bounded on Sn' and since the functionals are linear, this set is equicontinuous with respect to the norm II
lin· Furthermore, Sn+i.::sn is totally bounded in Hence by the Arzel~-Ascoli theorem, from any
the norm II lin.
sequence in B~~ (r=::) we may extract a subsequence which converges uniformly on sn+l' i.e. B~~(c:> is totally bounded t-Tith respect Jt.
to the norm II
II~ +l. If f t F* , then IIB.;~fll* < co. p
Corollary 1.
~(.
(For, fEF"
implies fE: ~ for some m, K < oo.) If {f ~ E F~~ are uniformly bounded in some norm,
Corollary 2.
,
..,
then there is a subsequence ~.f i :; such that Theorem 1. Proof.
N
=
. "I
-~f t-F;" \..
j_,,_
Jt.
(A"+B,..)f
= Oj )
u;1k .> 0. .,
.,
II B;~ (f1. -f i
)
J k is finite dimensional.
Since A~~ is 1-1, if suffices to show that A*(N) is
finite dimensional.
Let p be as in Proposition B.
Then A~:-(N) is·
211
II 11;,
a Banach space under the norm
II e II*p < norm II
00
n;
because for every e~A-~(N),
since e = A*f, f E: N, implies
e=
-B~~-f ·which has finite
by Corollary 1. •c.
Suppose A"''(N) is infinite dimensional.
Then there is a
*
sequence ~~ a 2 , ••• of linearly independent elements of A (N). ~
*
~
We claim that there exists -e 1..{ tF:A .. (N) satisfying llekllp = 1 . and II ek - e. II .!J- > -12 for k 'f j. The proof is based on the followini. J
Lemma.
p -
If E is a Banach space and G is a closed, linear,
proper subset of a linear set DeE, then there is an x 0 ED with
II x 0 II
-
II x 0
= 1 and
1
GII ~ 2•
I
Proof. I
II
there is a y E: G with d ~
and let Di 2 =
..
~
1_a1 , a 2~
•
= diatance
I
to G. Then I I I I X -y x - y II ~ 2d. Set X • 0 tlx 1 -y' II the linear space spanned by ~~
Take x ' D - G and let d
of x
Since every finite dimensional linear
subspace of a Banach space is closed, we may apply the above len,ma to Gl and Dl2 as subsets of A-:~ (N) with norm exists e 1 ~ D12 with
II e1 11; = 1
Next, apply the lemma to G12 get e 2 ( D123 with
II e 2 11;
and
II e 1
= {a1 , a2}
= 1 and
II e 2
u;.
II
~~for all e E G1 •
-ell;
= {~, a 2 , a3f
and n123 - e·H;
"
spanned by
and
II ek
~
- e II~
,::
1
and
~ ~ for all e f. a12 •
Continue this process, obtaining a sequence {ek·~
II ek 11; = 1
Hence, there
t
A~~'(N) with
..
2 for all e belonging to the space
~, ••• , ~; but then II ek - e j ~~~- ~ ~ for k 'f
On the other hand, since -[ek~~A-:t-(N), ek = AJ.~ofk' fk E: N.
j.
212
By Proposition A, there are
{eiJ
mp and CP such that
Corollary 2, (B*fk) contains a subsequence
II fk II"~ ~ CP. Then by which ~ is Cauchy in the and
consta~ts
norm
II
*
*
However, B*fk = .~A fk = -ek,
liP •
can have no Cauchy subsequence in the norm
II I~
by
construction. Theorem 2.
Given n, there exist mn and Kn < oo such that if
e '"(A~~+B.;~)F.;~ and and II f
II: ~ n
Proof.
II e II~
Kn II e
< oo, then there is an f€ F* ·t-rith e = (A:~+B*)r
II~ •
Let p be as in Proposition B, and let mn be given by
Proposition A.
It suffices to consider only n
have established the theorem for n
=p
of {A.;~ +B.;:-), as before.
ll.;~+l n
< ·II -
ll.;t- • n
p;
since once we
we have it at once for all
n < p by choosing· for such n, the constants mn and recalling that II
~
=mp
and Kn
= Kp ,
Let N denote the null space
~ie claim that it is sufficient to prove ~
,,
.,
.,
that there is a Kn < oosuch that for all fE F"'' 1rlith II(A"'"'+B'.. )fll~ <en, * Kn .. .. .~. .. .. It f - Nlllrb ~ 2ll (A"''"+B-''")fll~. Indeed, if (A"'"'+B.,..)f = e, then there will exist a ~t-- f - N satisfying II~~~~!- < K II (A:~+B:~)fll{:- = K llell* m - n n n n ... ,,. " •t. n and (A·.r+B''" )~ = (A·.r+B"'' )f = e.
213 By Proposition B, a subsequence of the Vi' call them again
o,
satisfies IIB*(wi-fj>ll; i,,
and therefore
with .,
II ' i
"'u: r
-
v
=
((A'~+a·,;-)'IJ )x
II 'ti o,
1
I:t o.
O, implying
11: r,1 o. Henge there is a 'It~ F* II"' - nNII* ! ~· Then t t N, lvhile
and
~
~
t 1 ( (A+B)x) =::
,, ... lim ( (A''"+s''" )\lfi )x = 0
1-+ro N, a contradietion.
i~oo
III.
1j'
"l
- vj
n t( (A+B)x) = lim
for all x E E means that "'
,·
IIB*('lti-wj)ll~
Thenbythe triangle inequality, IIA.~~(\Ifi'•tj)ll~ by Proposition A that
iVi1
Main Results. Let YoE (A+B)E, and let M ={r
fF~~
I f(yo)
=
o}.
Call
(A~t-+B* )M = L.
Lemma 1.
Suppose e 1 € L,
and sup:pose ei (x)
y+ e(x) for all
x
~ C for some n and C
EE.
< oo,
Then e €- L.
By Theorem 2, we can find f 1 E F~~ with e 1 = (A-:~ +B"'.t-) f i
Proof. and
II ei II~
II f.ll~~ l. m
< K. n _
~le claim that fit H. ~
for l-lhich e 1 = (A-""+B'
)t 1 •
Set
w1 =
Indeed, there are ~-£ N
.. " fi - ~i' then (A''"+B'~)\jti
l.
= O.
Since y o E (A+B)E, there is a sequence 4x ~ ~ E such that .. a (A+B)x ~ y • Hence ti (y ) =lim vi( (A+B)x ~ =lim (L\~~+B-::}~.. ~=0, a a o o ~ 00 a a-;.oo J. implying that \It i E lJf, but then f i = \If i + 'if M. Now, because the
tf i}
is uniformly b0unded in the norm
it follot-rs that a subsequence of the
{r~,
call them again
II II~ ,
{ri~,
converges at every point y ofF, fi (y)--;:. f(y), f =:-F~~ and f(y 0
)
so that f € 11. But then, ( (A-:~ +B·::- )f )x = f ( (A+B )x} = lim f i ( (A +B )x) .. ., i~oo lim ( (A';-+B-·")fi )x lim ei (x) = e (x) for all xE E. Thus i~oo.. .. i-+oo e = (A"+B"';-)f! L.
=
=
n
=0
214
Before proceeding, He recall some notions from functional The Hahn-Banach Theorem states that if S is a linear
analysis.
subspace of T, a Hausdorff locally convex topological vector space, and if x{ (j, an open convex subset of T such thatcf.!ls = ~~ then there is a closed hyperplane H:JS with HncJ= ~.
= H +' ~x~,
theorem it follows that since T
(,.
~
From this
i.e. H + the linear
space spanned by x, if we define fer t f T, ~( t) = 'A where t = h + 'Ax, then ~ is a continuous linear functional on T whose nullspace is H. Hence there exists a continuous linear functional ~ on T satisfying ~(x)
=1
and ~(S) = 0.
Theorem
=1
that e(x ) 0
Proof. If n
= 1,
3.
If e E- E.:~ but e
t L,
= 0 for
while g(x ) 0
then there is an x 0
,
every g tL.
(1) Since e E E.::·, there is an n for Hhich
Therefore !!ell~:.< oo for some n > 2. we will assume
-
II e II~
II e II~
< oo.
II II~~ II l!~,llell~
i.e. llell{!- < oo, then, since n
E E such
< ro.
In order to simplify notation
< oo : the proof in the general case is
(essentially) the same. (2) then
There is an
r\
>
0 such that if gE::L and llg- ell~<
1,
llg- ell~ >tt_. such~
Proof. ·Assume that no (gj )fL satisfying llgj-
every xE E, Jgj(x) - e(x)l llgj II~ ~ 1 +
II e II~
exists.
Then there is a sequence·
ell~~"~ land llgj- ell~ j
j
O. But
II
gj -ell; ~
O, i.e. for 1 implies
< oo so that by Lemma l, e f: L; a contradiction.
215 Take t1_ smaller so that 2 Yl_ ~
(3)
II g- ell~ ~ 2rt•·
llg-
1, then if g{ L and
ell~ >'1.·
as1 •
(4) Let {x1 (l)} be a dense sequence in exists since
as1 C
E a separable metric space.
II g
an. integer N1 > 0 such that if gEL and
Such a sequence
Then there exists
- e II~ ~ 2 yt the follow•
\
ing inequalities cannot hold simultaneously
Proof.
Assume the contradiction, then there is a sequence
(gN)t L trJith 1
= 1,
II~- ell~~ 2yt
~rLfor
ell~~ 2f1. implies that II gNII~ ~ 2rt_+ llell; < oo
llgN-
••• , N.
and lgN(x 1 (l))- e(xi(l))l
so that there is a subsequence, call it again (p.N), such that at every xE E, gH(x) 1r> g(x), g t L by Lemma 1, and lg(xi (l)) - e(xi (l))
I·~ 'l for
i
= 1,
2, ••••
llg-
e II~ ~ 2 rt.'
Hence }g(x) -e(x)j
~ tl,
for xt ~s 1 , which implies that llg- e II~ ~rv contradicting (3). (5)
.
Let {xi
(2)7
J
be a dense sequence in
exists an N2 such that if g' L and llg- e
os2 •
11; ~ 3y
Then there
the following
inequalities cannot hold simultaneously
i = 1 i
Proof:
= 1,
=1,
Assume the contradiction, then there is a sequence
(gN) E L with
for i
,
II gN
••• , N1
- e II; j
~ 3rL
and lgN(x1 (l)) - e(x1 ( 1 )) I
lgN(x 1 ( 2 )) - e(x 1 ( 2 )) I
~ 2fl
for 1
~ rL
= 1,
••• , N2 •
216
II gl'J - e II;~
3rt_ implies that llgN
11; ~ 3f'L + lie II;~ 3yt + lie II; < oo
so that there is a subsequence of the (gN) conver.ging at every point of E to a gtL satisfying lg(x.(l))- e(x_(l))l
1
and Ig (xi ( 2 ) ) - e (;i ( 2 ) ) I
~ 2 rt
1
-
= 1,
for i
Hence
••• , N2 •
* ~ 2'l,; but jg(x) - e(x) I ~ 2 rt, for x(: os2' so that llg - ell2 and
Ig{xi {1) ) ( 6)
- e(xi (1)
>I~
ytfor i
= 1,
g€ L,
. (4) ••• , N1 ,• contradict1ng •
* ~k Continue this process: hence if g ~ L and llg - e Ilk
rt
then the following inequalities cannot hold simultaneously
Ig {x.1 (s) )
- e(x. (s) ) I < s 1
-
rt,,
i
.
= 1,
•. . , Ns , s = 1, ... , k- 1.
x(l) x(l) { (7) Let {an} denote the sequence ~ , ~ , x(l) (2) (2) x( 2 ) (3) .., Nl xl x2 N2 xl ] 27l' 2V(_' ••• , 2rt' 3yt' .•. EE. Since
. x(k)
\I ·
and
II
lin~
II
lln+l' for any fixed k,
II
anllk
7
Jl
1
~'l,ik = k~
... , tl'
0, i.e. an ~0
in E. (8)
II
* +l ~ Ilk
* IfgE:Lthenforsomek, llg- ellk
II II *k
, for k sufficiently large llg - e
Since
II *k
~ k yt.
By ( 6),
at least one of the inequalities lg(x. (s)) - e(x. (s)) I < sY(' 1
for i = 1, ... , Ns; s
= 1,
1
•.. , k - 1; is invalid..
-
This means
that there is ann, depending on g, such that lg{an) - e(an) Then for all gE:-L, sup lg(a ) - e(.· n)
-n
(9 ) q
n
--n->
>
1.
> 1.
Set P = { ( g ( a 1 ), g {a 2 ), ••• , g (an), ••• ) Ig
= (e(a1 ),e(a2 ), ••• ,e(an), ••• ).
g(an)
I
I
c L}
and
Since g and e are continuous onE,
0 and e(an) ~0, by (7).
P, qc
P., 0 ,
the Banach space
of sequences of complex numbers tending to zero under the norm,
"1""' ~ f
II v II = s ~P Ivi I
(
v 1 , v 2 , ••• ) •
p is a linear
- q II = inf sup Ig ( a. ) - e ( a1 ) I > 1 by ( 8 ) • 1 gEP i -: there is a continuous linear functional on 'f._ 0 \-Tbich is 0
subspace of Th~refore
,. 0 where vE: )L , v --
II P
I! 0 L •
on P and 1 at q.
This means that there is a sequence of complex
numbers ak l'lith [:lakl < oo such-that if gf: L then [::akg('1c) = 0
= 1.
and Cake(~)
From (7) and Clakl < oo, we see that the sequence of
(10)
partial sums an x 0
EE.
of r=:ak'1c is Cauchy in E and therefore converges to
Then e (x 0
)
= 1, lvhile g(x 0 )
=0
for every gt Lj
completing the proof. Lemma 2.
(A+B)E is closed. Let y 0 f:. (A+B)E.
Proof.
so we may as well assume y 0 f (y ) o o
= 1.,
so that f
f
M.
o·
If y 0
F 0.
=0
then we know y 0 E (A+B)E,
.
Then there is an f 0 f p'H' such that
Set e
= (A*+B-:~)f o'
o
e
J L:
o.,..
for if
= {A~:-+B~~ )' 0 , ~ 0 E· M, so that if w0 = f 0 - ~ 0 , then = o, but wo (y o ) = lim w ( {A+B)x ) = lim ( (A;:-+B*)w )x = o a o a o a
e0 E L. then e , 0
(A~:-+B.;~)w
o
~~
implies ''''~'o f L and hence f o E L. -
there exists an x f E such that e (x ) 0
gEL.
0
Let fE F~:-, then f - f(y 0 )f 0
then e - f(y )e 0
0
E L,
0
0
= (A+B)x
0
E
t
M.
=1
=0
and g{x ) 0
Therefcre. if e 0
&
e{x ) = f(y ), i.e. { (A"+3" )f)x Hence y
0
for every
= (A.;;.+B.;~)f,
which means t~at e(x ) - f(y )e (x ) = 0, or &
0
¢.
a
Since e o t E" but e o - L, by '11heorern 3
(A+B)E.
0
0
0
= f( (A+B)x 0 ) = f{y 0 )
0
A
fer all fE: F". .
218
Theorem
4.
Proof.
Let K = (A+B)E. By Lemma 2, K is a closed subspace of F,
F/(A+B)E is finite dimensional.
If F/K is infinite dimensional, then there ~s a sequence of linearly independent y i ~ F, so that K0
=K, K1 =K0 + {y1~, K2 =K1
+ {12}, •• , are
closed subspaces ofF satisfying K1 properly contained in Ki+l' For each i, then, there is a pi such that IIKi- Yi+liiPi > 0. Hence we can find continuous linear ftL."'lctionals fiEF{~ vlith fi (Ki) =0 and fi(yi+l) = 1. i, f i (K)
= o.
The fi a~e linearly independent and for every
Therefore for every x EE, ( (A-:~o +B-:1- )f i )x =r1 {{A+B)x)
so that f.c N, and N therefore is infinite dimensional. I
l
contradicts Theorem 1 and completes the proof.
This
=0
1