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!
I'mB. If we apply Theorem 4.2.7 with (^ replaced by (^t, we obtain an analytic function Ut with Ut{zQ) = 1 and
/ mz)\'
< Ce -t
JY
Expressing the harmonic function Ut{z) as a mean value when z ^ K we conclude that sup^^ I^P = 0(e~^), which proves the first part of the corollary. It is now completely elementary to prove that X is a domain of holomorphy, and we refer for details to Theorem 2.5.5 in CASV. One of the most important features of Theorem 4.2.7 is that it is applicable also if if is unbounded below. Then we need a sufficient condition for e~'^ to be locally integrable.
IV. PLURISUBHARMONIC FUNCTIONS
260
P r o p o s i t i o n 4.2.9. There is a constant C such that for every plurisubharmonic function ij; in the unit hall in C^ with -0(0) = 0 and ip(z) < 1 when \z\ < 1 we have (4.2.22)
e-^(^) dx{z) < a
/
Proof. First assume that n = 1. By the Riesz representation formula applied to •^ — 1 we have for \z\ < 1 27r(V(^)-l)= /
log|-^|dM(C)+ /
T^—%MO),
where dfi = Aip > 0 and the boundary measure da is < 0. When z = 0 we obtain /
log^rf/x(C)+ /
J|C|<1
1^1
{-da{e))
= 27r.
J[0,27T)
Both terms are non-negative so it follows that (27r)-i / Jo
(1 - \z\')\z - e''\-'\da{e)\
m=
d/i(C)/27r < l / l o g ( l / i ? ) < 2 ,
[
< 3,
if \z\ < | , HRKe'^.
J\C\
We can choose R so that ^ < R < e 2 ^ for e < 4. Then we have log / \C\>R
z-C 1-zC
dfi{0\
|z|
for some constant C. The inequality between geometric and arithmetic means gives when 1^2:1 < | log
exp
\<.\
JK\
z-C
z-C l-z(
dKO)
dni()/i2nm)
< C
C\-'^d^,{0, J\<\
for the positive measure d/i{()/(27rm) has mass 1 when \(\ < R. The integral of \z — C|~"^ when \z\ < | is bounded since m < 2, which proves (4.2.22) when n = 1. If n > 1 we introduce polar coordinates and write
/
e-^^^UX{z)= f
dSiO [
\w
2n-2
-ip{wO dX{w)/27r,
EXISTENCE THEOREMS IN L^ SPACES WITH WEIGHTS
261
where dS is the area measure on the unit sphere. Hence (4.2.22) follows from the one-dimensional case. When n = 1 the proof shows that e~^ is integrable in a neighborhood of the origin if the mass of At/; at the origin is < in. In fact, then the mass is < in in {z;\z\ < R} if i i is small enough. This is the same as the mass of A'0(i?-) in the unit disc, so m < 2 in the proof above, which proves that e~^ is integrable when \z\ < R/2. On the other hand, if AT/J has a mass > in at the origin, then IJJ{Z) — 21og|2;| is subharmonic, thus bounded above, so e~'^\z\'^ has a positive lower bound in a neighborhood of the origin. Hence e~^ is not integrable there. Thus the set of points such that e""^ is not integrable in any neighborhood is discrete. The following corollary gives an analogue of this fact in higher dimension. Corollary 4.2.10. If (p is a plurisubharmonic function in a connected pseudo-convex set X and cp ^ —oc, then e~^ is locally integrable in a dense open subset G of X containing all points where (p{z) > —oo. For every a > 0 the complement ofG is the set of common zeros of all analytic functions U in X such that (4.2.23)
/
\U{z)\^e-'^^'\l
+ l ^ p ) " ^ " " dX{z) < oo.
Jx Proof. If ZQ is a point where (p{zo) > —CXD, then cp(z) — (p{zo) < 1 in a neighborhood of ZQ, SO it follows from Proposition 4.2.8 that e""^ is integrable in a neighborhood of ZQ. Hence G is dense, and the statement follows from Theorem 4.2.7. Remark. It is not be possible to take a = 0 in Corollary 4.2.10. In fact, if (y9 = 0 and X = C^ it would then follow from (4.2.23) that U{z) ^ 0 as z —> oo, if we estimate U{z) by the mean value over the ball with center z and radius \z\/2. But then U = 0 although G = C and C G = 0. In the next section we shall use Theorem 4.2.7 to analyze the properties of the measures associated with the plurisubharmonic function (p. For later reference we shall finally give some additions to Theorem 4.2.7. The first allows one to extend analytic functions from (a neighborhood of) a linear subspace and not only from a point, with precise bounds for the extension. T h e o r e m 4.2.11. Let cp be a plurisubharmonic function in a pseudoconvex open set X C C^, let V bea complex linear subspace of codimension u, and let Xv,r "= {z e X-,dv{z)
< r},
where dy{z) = mm\z — C|.
262
IV. PLURISUBHARMONIC FUNCTIONS
For every analytic function u in Xy^r such that / ^ |?/pe"~'^ dX < oo and every a > 0, one can then End an analytic function U in X such that U — u in V and (4.2.21)'
/ \U{z)\^e-^^'\l
Jx
< (2 + a-\l
+
+ r^f{v
rfy(z)2)-^-^
d\{z)
+ l)V-2--2) /
|7x(;^)|2e-^(^)
d\[z).
J Xv,r
Proof. We may assume that V is defined by z' = ( z i , . . . , z^) = 0, thus dy{z) = \z'\. The proof of Theorem 4.2.7 can now be copied, with n replaced by u^ z replaced by z' in the definition of x, and / = u{z)dx{z')The obvious modifications are left for the reader. Remark. If X = C^ and (p is uniformly Lipschitz continuous, it suffices to assume that / is defined in F , for / can be extended to Xy^r as an analytic function independent of z'. In the following more general extension theorem we shall not give precise bounds for the extension in order to simplify the statement, but the proof does give such estimates. T h e o r e m 4.2.12. Let X be a pseudo-convex open subset ofC^, let G i , . . . , GN be analytic functions in X, and let Y be an open subset of X such that N^{^^Y;GI{Z)
= --- = GN{Z)
= 0}
is a closed subset of X. For every analytic function u in Y one can then find an analytic function U in X such that U{z) = u{z) when z ^ N. Proof. We can choose x ^ C^{X) so that % = 1 in an open set containing N and s u p p x C Y, ior N f] K is hy hypothesis compact for every compact subset K of X. Then / = 9(x?/), where x^ is defined as 0 in X \ y , is in C?^^JX) and vanishes in a neighborhood of N. Set N ,IJ{Z)=^
log {Y,\Gj{z)\%
zeX,
1
which is a plurisubharmonic function equal to — oo in Y. More precisely, if ZQ e N then \z - zo\~'^ = 0(e~^(^)) as 2: —> 2:0, so e~^^ is not integrable in any neighborhood of ZQ. On the other hand, | / p e ~ ^ ^ is a continuous function in X , so it follows from Theorem 4.1.21 that there is a strictly plurisubharmonic function (p G C ^ ( X ) such that l/pg-ni/'-^ ^ L^{X)] if we take cpo G C^{X) strictly pseudo-convex so that X 3 z ^-^ ipo{z) E His proper, then (p = x(?o) will have this property if x is convex and sufficiently
EXISTENCE THEOREMS IN L^ SPACES WITH WEIGHTS
263
rapidly increasing. By Theorem 4.2.6 the equation dv = f has a solution in X such that
Jx Thus U = x^ ~ ^ '^^ analytic, hence v E ( 7 ^ , which implies that ?; = 0 on N since e"^'^ is not locally integrable there. The proof is complete. Finally we shall prove that plurisubharmonic functions are not much more general than quotients of log | / | by integers when / is analytic. T h e o r e m 4.2.13. Let X C C^ be a connected pseudo-convex open set. Then the plurisubharmonic functions z i-> iV~^ log|/(2:)|, where f is analytic in X and N is a positive integer, are dense in the topology of ^ioc(^) ^^ ^^^ ^^^ of all plurisubharmonic functions in X. Proof. First we shall prove that C^ strictly plurisubharmonic functions X are dense. Let v be any plurisubharmonic function in X, let K he a compact subset of X and let Vs{z) be the sum of ^|2:p and a regularization of V defined as in Theorem 4.1.4. If F is chosen as in Theorem 4.1.21, then v^ is strictly plurisubharmonic in Y and 7;e ^^ -y in L^{Y) as e -^ 0. If u is the function given by Theorem 4.1.21 we can take x ^ C ^ ( R ) convex and increasing with x ( 0 = 0 for t < 0 and x"(^) > 0 when t > 0 so that X(IA) > ?; on dY. If we define 14 = max{v^^x{'^)) ^^ ^ 3,nd Ve = x('^) outside y , then V^ is plurisubharmonic and l^ ^^ T; in L'^(K) as £ —> 0. By another regularization we can make Ve smooth and strictly plurisubharmonic also at the set where Ve = x('^)- (See a similar argument in the proof of Theorem 4.4.14 below.) This proves the density claimed. Now assume that cp G C^{X) is strictly plurisubharmonic. Choose a sequence 2:1,2:2,... with Zj ^ Zk when j ^ k, which is dense in X . By Taylor's formula ip{z) > ReAj{z)
-\-ej\z — Zj\^,
\z — Zj\ < r^,
where Sj > 0, Vj > 0, and Aj is an analytic quadratic polynomial with Aj{zj) = (p{zj). Choose x ^ C ^ ( C ^ ) with x(z) = 0 when \z\ > 1 and x{z) = 1 when \z\ < | . Fix some positive integer u and choose (5 > 0 so that 6 < Tj and 6 < ^\zj—Zk\ when j . A: < i/ and j 7^ k. Set e = mini<j<^^-^ and fN{z) = Y^xiiz
- ^,)/^)e^^^(^) -
which is an analytic function in X if V
uj,{z),
264
IV. PLURISUBHARMONIC FUNCTIONS
Since / l ^ i v p e ' ^ ^ ^ dX < C ^ - ^ e ' ^ ^ ^ ' / ^ , it follows from Theorem 4.2.6 that we can find a solution u^ such that
Since u^ is analytic when \z — Zj\ < 6/2^ if j < i/, we can estimate U]s[{zj) by the average over the ball {z] \z — z^| < ^} if ^ < ^ / 2 , which gives \UN{ZJ)\
< C^-^-ie-^^^'/4+^(^(^^H^^).
When Cg < eS'^/A this is o(e^^(^^)) as iV -^ oo, so we have for large N < ie^'^^^^),
\UM{ZJ)\
hence |/;v(^,)| > |e^'^(^^).
On the other hand, we have for large N
/ ' SO estimating /jv by its mean values gives for small ^ > 0 N-'
log \fN{z)\ < sup (^(z + C) + N-'
log(l + I;. - CP) + N'^
log{C'/g^).
\C\
If we make the preceding construction for i/ = 1,2,... and choose N = Nj^ sufficiently large, we obtain a sequence of analytic functions Fj, in X and integers iVj, such that N~^ log |Fi^| is uniformly bounded above on every compact subset of X and lim N-^ log \F,{z)\ < ifiz), lim N-'
log \F,{zj)\ = ^{zj),
zeX, j = 1,2,.
iv'—+00
Thus the sequence N~^ log |F^| is compact in L\^^{X)^ and every plurisubharmonic limit is < ^[z) with equality in a dense subset. By the upper semi-continuity all limits are therefore equal to ip^ so the sequence converges to (^. This completes the proof. Remark. When n — 1 one can give a more elementary proof by approximating the measure NA(p/27r with integer point masses, but even then there are some technicahties to cope with particularly if X is not simply connected. When n > 1 there seems to be no such straightforward way to concentrate N times the Levi form on analytic hyper surf aces, which is what this theorem does.
LELONG NUMBERS OF PLURISUBHARMONIC FUNCTIONS
265
4.3. Lelong numbers of plurisubharmonic functions. Using Corollary 4.2.10 we shall now give some results on the positive measure A(/p when cp is a. plurisubharmonic function ^ — CXD in a connected open set X C C"^. We recall that by Theorem 4.1.11 the spherical mean values (4.3.1)
M^iz,r)=
[ ip{z + J\C\=i
rOdS{0/c2n
are convex increasing functions of logr when r < d{z^CX) Corollary 4.1.15 (4.3.2)
rdM^{z,r-
0)/dr =
^ ^ ^
/
and that by
d/i(C),
if d/x = A(/?/27r. Here C2n is the area of the unit sphere in C^ and C2n-2 is the volume of the unit ball in C^"^. In Definition 4.1.16 we introduced the Lelong number as the limit (4.3.3)
v^{z) = lim rdM^{z, r -
0)/dr,
r—•O
which exists G [0,oo) in view of the convexity and monotonicity. convexity also gives (4.3.3)'
u^{z) = lim
The
M^{z,r)/logr.
r—•O
We want to study the structure of the set where u^p > 0 and begin with an estimate. L e m m a 4.3.1. Ife~^ is integrable in a neighborhood ofz then it follows that I'lpiz) < 2n. Proof. The convexity of Mcp{z,r) as a function of logr implies that p^{z) < {M^{z,r)
- M^{z,ro))/{logr
-logro),
ifr,ro <
d{z,CX).
Hence M^p{z, r) < y^{z) logr + (7 if 0 < r < ro- By the inequality between geometric and arithmetic means we have j ^-c,(z+ra;) dS{u;)/c2n J\uj\=l
> CXp f - / cp{z + ru) ^ J\u;\ = l
= exp{-M^{z,r))
dS{u;)/c2n) ^
> r'^^^^^e"^,
and since C'^'^ 3 ( ^-^ \(\~'^'^ is not integrable at the origin it follows that e~^ is not integrable in any neighborhood of z ii Uip > 2n. This completes the proof.
266
IV. PLURISUBHARMONIC FUNCTIONS
Prom now on we assume that X C C"^ is a connected pseudo-convex open set, and we shall discuss an operation which modifies the Lelong numbers of the plurisubharmonic function (^ in a controlled way. Set (4.3.4)
X = {{z,w) eX
xC- \w\ < d{z, CX)},
and note that X 3 (z^w) \-^ M^p{z^ \w\) is plurisubharmonic since M^{z, \w\) =
ip{z + wOdS{0/c2n^
{z, w) G X,
J\C\=i and {z^ w) H-> (p{z-\-w() is plurisubharmonic for fixed (. It follows from condition (ii) in Theorem 4.1.19 that X is pseudo-convex, for |2:p —log d{z, ZX) and —l/(logi(; — logd{z^CX)) are plurisubharmonic in X , since t — i > —l/t is convex and increasing on (—oo,0). By Theorem 4.1.21 we can therefore choose a strictly pseudo-convex exhaustion function g G C ^ ( X ) , and replacing g{z, w) by /^ ^ g{z, e^^w) dO we may assume that ^ is a function of z and \w\. L e m m a 4.3.2. Let ^ ^ —oo he a plurisubharmonic function in an open, connected and pseudo-convex set X C C^, and let g be a C^ exhaustion function in X C C^^^ which is invariant under rotation in the last coordinate. If M^p is defined by (4.3.1), then (4.3.5) ^a{z)=
inf {M^{z,\w\) {z,'w)ex,w^o
is a plurisubharmonic (4.3.6)
^ g{z,w) - a log \w\),
a > 0,
function of z e X, and
p^^ = max(zy^ - a, 0), a > 0;
i^^iz) < a => (fa{z) > - o o .
Proof. It follows from Corollary 4.1.31 that ipl,{z)=
inf
(M^(^,|^|) + ^(2:,^)+^|^|2+l/log(|ti;|/^)-alog|^|)
{z,w)eX,\w\>e
is plurisubharmonic when e > 0 in the open subset of X where it is defined. (The terms e\w\'^ and 1/ log(|t(;|/£) make sure that \w\ is bounded away from oo and e when the quantity to minimize is bounded.) Since (/P^ | (^Q, when ^ I 0 it follows that ipo, is plurisubharmonic. Iiu^{z) < a then g{z^w)-{-Mfp{z^\w\) —a log \w\ is a decreasing function of \w\ when \w\ is small, for g{z,w) — slog \w\ is decreasing for any e > 0. Hence (pa{z) > —oo, which implies i^^p^iz) = 0. Now cpa is obviously a concave function of a which implies by (4.3.3)' that u^^ is a convex
LELONG NUMBERS OF PLURISUBHARMONIC FUNCTIONS
267
function of a, and i^ipo{z) ^ ^(p{^) since (^o > ^ + min^. Hence I'lp^iz) < max(z/^(2;) — a, 0) since this is true when a = 0 and when a > v^{z). To prove the opposite inequaUty we use that by definition ifociz) < M^{z,r)
+ g{z,r) - a l o g r ,
0< r <
d{z,CX).
The mean value of M^{z + (,r) when |C| = r' < d{z,ZX) - r IS a mean value of Z i-> ip{z 4- Z) in the ball where \z\ < r -^ r' and invariant under orthogonal transformations of Z. All such mean values can be estimated by Mcp{z^r + r ' ) , so we have M^^ {z, r') < M^{z, r + r') + / Q{Z + r'C, r)dS{0/c2n J\C\=i
- a log r.
If we take r — r'^ divide by logr and let r -^ 0 it follows that
i^^^{z)
for logr < 0 and log(2r*)/logr -^ 1. This completes the proof. We can now prove the main theorem on the level sets of the Lelong numbers: T h e o r e m 4.3.3 (Siu). Let ^p he plurisubhsirmonic and ^ —oo in the connected pseudo-convex open set X C C^, and let J^cp{z) be the Lelong number ofcpatz. Ifa>0 it follows that A{(p,a) = {z e X\v^{z) is the intersection
> a}
of the zero sets of a family of analytic functions in X.
Proof. By Lemma 4.3.1 and Corollary 4.2.10 we have A{ip,2n) C Z{(p) C {z e X]ip{z) = - o o } , where Z{ip) == {z E X ; e ~ ^ ^ Lj^^ dit z}. If we replace ip by the plurisubharmonic function cp^^ constructed in Lemma 4.3.2, we obtain for a > 0 A((^, a + 2n) = A{ipa, 2n) C Z{cpc,) C {z e X] (pa{z) = - o o } C A(v?, a). The discrepancy between the arguments of A on the left and on the right is decreased if we replace cp and a by jcp and ja for some large 7. This gives A{cp, a 4- 2n/7) C Z{{jip)^a)
C A((^, a).
268
IV. PLURISUBHARMONIC FUNCTIONS
Finally, replacing ahy
a — 2n/j
we obtain
j>2n/a
By Corollary 4.2.10 the sets in the right-hand side are intersections of zero sets of analytic functions in X , which proves Theorem 4.3.3. Basic facts on analytic sets show that one only needs a countable intersection in Theorem 4.3.3 and only a finite one on relatively compact subsets. We leave as an exercise to extend Corollary 4.1.18 to the case of an iV-tuple / = ( / i , . . . , JN) of analytic functions: The Lelong number of I l o g ( | / i p -|- . •. -f- l/ivp) at z is then the smallest order of the zeros of fim... ^JN at z. Thus the level sets of v^p can be quite general analytic sets. Theorem 4.3.3 and the preceding example suggest that u^p might be invariant under analytic changes of variables in spite of the fact that the definition using (4.3.1) depends on the metric and vector space structure of C^. This is in fact true, and a proof can be found in CASV, Theorem 4.4.13. It will not be given here since we shall prove a more general result in Theorem 4.4.14 below. The lack of invariance of the definition of Lelong numbers is also seen from the fact that (4.3.2) only involves the Laplacian of ^ and not the other measures 6jk = d^cp/dzjdzk associated with cp. (See Corollary 4.1.5.) However, the reason is simply that A(p determines (/? up to a harmonic function which does not influence the mass density. In order to be able to motivate a general version of Theorem 4.3.3 we shall now restate it in terms of the measures 0jk^ eliminating all direct reference to cp. These measures satisfy the compatibility conditions (4.3.7)
dOjk/dzi =deik/dzj,
dOjk/dzi ^dOji/dzk,
i, A:,Z = 1 , . . . , n .
The second set of equations follows from the first by the Hermitian symmetry 6jk — Okj- These conditions can be stated more succinctly in terms of the (1,1) form 0 = '^Yllk=i^jkd^j A dzk' they mean simply that the real form © satisfies dQ = 0 (or equivalently dQ — 0 or dQ = 0). The equations 6jk =^ d'^ip/dzjdzk mean that 6 = idd(p. Given a real (1,1) form @ = i^Ojkdzj A dzk we shall now discuss the existence of a form ip with iddip = Q. Denote by E the fundamental solution of A / 4 = ^ ^ d'^/dzjdzj in C"^ = R^"^. Since the area of the unit sphere in R^'^ — C^ is 27r'^/(n - 1)! we have £;(z) = - | z | 2 ( i - ^ ) 7 r - ^ ( n - 2 ) ! .
LELONG NUMBERS OF PLURISUBHARMONIC FUNCTIONS
L e m m a 4.3.4. IfOjk G ^ ( C ^ ) andcp = E^Yl7
269
^jj^ ^hen
n
(4.3.8)
d\ldzkdzi
-Oki^Y.
^^I^^o
* {dOkj/dzi -
dOu/dzj)
j=i
-hJ2dE/dzi
* {d0jj/dzk
-
dOkj/dzj),
Proof. Since a differentiation can act on any factor of a convolution, we have n
dif/dzk
n
^Y^E^dOjjIdzk
n
-
j=l
Y^dEldzj^ekj^Y^^^^^nl^^k-dekjIdzj). j=l
j=l
Differentiation of the first term on the right with respect to zi gives n
n
5 ^ d^E/dzjdzj
^Oki + Y^ dE/dzj
3=1
* {dOkj/dzi -
dOki/dzj),
3=1
and since ^ ^ d'^E/dzjdzj
— 6, the lemma follows.
Note that in any open set where the conditions (4.3.7) are fulfilled, the right-hand side of (4.3.8) is a C^ function. This leads to the following result: T h e o r e m 4.3.5. Let X be an open set in C^ and assume that Ojk G V'{X) satisfy (4.3.7), 9kj = Ojk- Then one can find cp e V'{X) real valued such that Ojk — d'^ip/dzjdzk G C ^ ( X ) , j . A: = 1 , . . . , n . If X is pseudoconvex and n
(4.3.9)
Y^ OjkWjWk > 0,
then one can choose (p
we C^,
plurisubharmonic.
Proof. Let Ki,, z/ = 1, 2 , . . . be an increasing sequence of compact subsets of X with union X , each contained in the interior of the next, and choose Xu G CQ^{Kjy^i) equal to 1 in a neighborhood of Kj^, set Xo = ^ and
^ = ^(Xu
- Xi^-i){E * (Xz.+i Yl
^^o))'
270
IV. PLURISUBHARMONIC FUNCTIONS
All terms with v > ji vanish in a neighborhood of K^^ and modulo C^ we may there replace Xv+i by XM+I ^^ ^^^ others, so ^ -E^{x^^^Y.^jj) is in C^ in a neighborhood of iC^. By Lemma 4.3.4 this proves that Rjk = d\ldzjZk
- Ojk e
C^{X).
ip is real so Rjk is Hermitian symmetric. When X is pseudo-convex we can by Theorem 4.1.21 choose a strictly plurisubharmonic function s G C^{X) such that {z G X; s{z) < t} is compact for every t. If x is a convex sufBciently rapidly increasing function then n
Y^ {Rjk + d\{s)/dzjdzk)wjWk
> 0,
zeX,
weC",
j,k=i
and it follows that n
n
X ^ d'^{(p -\- x{s))dzjdzkWjWk j,k = l
> Y^
6jkWjWk,
j,k = l
SO (/? + x{s) is plurisubharmonic, which completes the proof. Prom Theorem 4.3.5 and (4.3.2) it follows that the Lelong number of 0 can be defined by (4.3.2)'
ve{z) = hm^ /
T
% ( ^ + 0/(^2^.-2^^"-'),
for an arbitrary closed (1,1) form 6 = ^Y^^,k=i^3k^^3 ^ ^^k such that (4.3.9) holds. (The reason for the change of normalization by the factor I will be clear in Section 4.4.) The form O is then said to be positive. When 0 = ^ddip and (p is plurisubharmonic, this agrees with (4.3.2). Now the notion of positive form can be extended to {p^p) forms, and there is a corresponding definition of Lelong number such that Theorem 4.3.3 remains valid. This will be discussed in the next section. Remark. If X is not only pseudo-convex but the deRham cohomology group f f 2 ( x , R ) is trivial, then one can choose (p in Theorem 4.3.5 so that d'^^/dzjdzk — Ojk' It suffices to prove this when 6jk G C^. Then we can first choose a real form g-\-g^ where ^ is a C^ form of type (1,0), such that the differential is equal to 0 = i ^ Ojkdzj A dzk. Thus dg = 0 (the part of type (0,2)). Since X is pseudo-convex we can find u G C^{X) such that du = g, that is, du = g^ which means that 0 = d{g -\- g) = d{du -h du) = dd{u — u) = Hence d"^ {21m. u)/dzjdzk
= 0jk-
2iddliau.
CLOSED POSITIVE CURRENTS
271
4.4. Closed positive currents. Let X be an open subset of C^ and 6 G C^ JX) be a smooth differential form of type {p,p) in X. When p = 1 we defined at the end of Section 4.3 the form to be positive if @ = 2^^,k=i^jk{^)^^j ^ ^^k and (4.3.9) holds. This means that if we restrict © to a complex line with direction A = ( A i , . . . , A^) E C^, that is, pull back © to an open subset of C by a map C 3 w ^^ z^ -{- wX^ then the puUback n
y ^ 9jk{z^-\-wX)XjXk^dw
Adw
j,k=i
is a non-negative multiple of the area form dwi A dw2 = ^dw A dw, where w = wi -{- iw2- Recall that a complex manifold has a natural orientation given by the form i^dzi A dzi A • • • A \dzn A dzn^ ii zi,... ,Zn are complex coordinates; if 2; = F{z) where z are some other complex coordinates, this is equal to | d e t F ' ( z ) p times the same form in the z coordinates. We shall say that a differential form of highest degree is positive if it is a non-negative multiple of the preceding orientation form. It is now natural to define positivity of a smooth (p, p) form by pullback to p-dimensional complex subspaces: P r o p o s i t i o n 4.4.1. Let © E C?^ JX) where X is an open subset of C^. Then the following conditions are equivalent: (i) T i e pullback ofQ to any complex analytic p-dimensional ifold is a positive form of degree 2p. (ii) Condition (i) is fulfilled for complex linear subspaces. (iii) The 2n form (4.4.1)
subman-
© A f Ap+i A Ap+i A . • • A fAn A An
is positive for arbitrary smooth (1,0) forms Aj, j = p + 1 , . . . , n. (iv) Condition (iii) is valid for Xj = X^^^i Xj^dzk if Xjk G C. Ife e C^^i){X), © = I E ^jkdzj A dzk, then they hold if and only is a positive semideBnite Hermitian symmetric matrix.
if{6jk)
Proof. The last statement follows from (ii) and the motivating discussion above. It is trivial that (i) = ^ (ii) and that (iii) <^=> (iv). Since all conditions are local and (i), (iii) are invariant under a change of variables, it suffices to prove that (ii) <==^ (iv), and by the linear invariance it suffices to prove that (iv) at the origin with Xjk = Oior k