The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria

Transcription

1 ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria On Locally q{complete Domains in Kahler Manifolds Viorel V^aj^aitu Vienna, Preprint ESI 804 (1999) December 27, 1999 Supported by Federal Ministry of Science and Transport, Austria Available via anonymous ftp or gopher from FTP.ESI.AC.AT or via WWW, URL:

2 On locally q-complete domains in Kahler manifolds Viorel V^aj^aitu 1 Introduction Let be a relatively compact open set in a Kahler manifold X with Kahler form!. Denote by its boundary distance function from the boundary, (x) = If is locally Stein and X = P n, Takeuchi [11] showed that? log is strongly plurisubharmonic. This result has been extended to X having positive holomorphic bisectional curvature. (See [3], [10], and [4].) If, moreover, has smooth boundary of class C 2, then Ohsawa and Sibony [6] have shown that admits a negative exhaustion strongly plurisubharmonic function, i.e., is hyperconvex according to Stehle terminology [9]. This is a parallel result to that of Diederich and Fornss [2] where the case X = C n (or X = Stein manifold) is settled. Here we consider the following generalization of Ohsawa and Sibony's result which is recovered for q = 1, namely we prove the following theorem. Theorem 1 Let be a relatively compact domain with smooth boundary of class C 2 in a Kahler manifold X which has positive holomorphic bisectional curvature. If is locally q-complete, then there exist: o 2 (0; 1) small enough and a neighborhood U such that the function ' :=? is q-convex on U \ for 0 < o. More precisely, there is c > 0 such that L('; ) c j'j! on U \ : Note that for every integer q > 1 there is a domain P n, n = 2q? 1, which has real-analytic boundary, is locally q-complete, and fails to be q-complete. On the other hand, in proving theorem 1, one cannot apply the usual techniques from Stein manifolds since there exists a Stein domain D P 5 such that there does not exist a strongly plurisubharmonic function 2 Preliminaries The denition of q-convexity is the same as in [1]: A real function ' on an open subset D of C n is q-convex if it is dierentiable of class C 2 and the next quadratic form L('; z)(; ) = nx 2 j (z) i j x; ; 2 C n ; 1

3 2 V^aj^aitu has at least n? q + 1 positive (> 0) eigenvalues. Dene the Levi form of ' at z by L('; z) = L('; z)(; ). This denition can be also made for complex manifolds by local charts. Let X be a complex manifold. if there exists an exhaustion function ' on X which is q-convex. 3 Proof of theorem 1 Our proof is inspired from the case q = 1 given in [6], however with some changes which are done subsequently. Moreover, though more general, our proof is simpler. We consider the continuous function r : X?! R given by r(x) = if x 2 and r(x) if x 2 X n. Then, by standard arguments, there exists a tubular open neighborhood V on which r is smooth of class C 2. By Matsumoto's paper [7],? log r is q-convex on V \D for some tubular open neighborhood V in fact, her proof gives more, namely; there exists a constant c > 0, which depends only on the holomorphic bisectional curvature of X and the closure of, and a family of complex vector subspaces E x T x X; x 2 V \, of dimension n? q + 1 such that: L(? log r; x)() ckk 2!; 2 E x ; x 2 V \ : We note that, except for the particular case q = 1 which is treated in [6], this estimate and the method of Ohsawa and Sibony [6] are not sucient to deduce that?r, for some > 0 small enough, is q-convex on a V \, even with a possible shrunk V along the boundary of. What we need, in view of the computations we made, is a precise relation of E x with respect to the normal direction of the hypersurface fr = r(x)g at x. In fact, by shrinking V if necessary, we may assume that for every point x 2 V \ there are: a point y and a minimal geodesic : [0; b]?! M with b = r(x) such that (0) = x; (b) = y, and ([0; b)). If T y (@) denotes the complex tangent space to the eral and if N x is the parallel translate of T y (@) at x along, then the gradient x of r at x (computed with respect to!) is orthogonal to N x. If F y T y (@) is a complex vector subspace, we let E 0 x denotes the parallel translate of F y at x along. Clearly, if E x = E 0 x x C, then dime x = 1 + dime 0 x. The key observation which follows by a careful analysis of Matsumoto's proof [5] is contained in the next lemma. Lemma 1 After further shrinking of V there esist: a constant c > 0 and a family of (n? q) dimensional complex vector spaces ff y g y2@, F y T y (@), such that the eigenvalues of the Levi form of? log r restricted to E x are at least c. Remark. It is crucial here that E x is written in the form E 0 x c C with x? E 0 x and that the eigenvalues on E 0 x are bounded from below by a positive constant. Second, to proceed with the proof of the theorem, we choose coordinates near y o such that

4 Locally q-complete sets in Kahler manifolds 3 x 2n = r;, e i (r) = 0; i = 1; : : : ; n? 1, where fe i g is an orthonormal basis for the complex tangent space near y o. Now, in order to conclude the proof of theorem 1, by standard arguments we reduce ourselves to the next lemma. Note that the computations can be made with respect to an arbitrary Kahler metric, but for simplicity we prefer to state it for the euclidean metric. Lemma 2 Let D C n be an open set and D open with smooth boundary of class C 2 and r dened as above. Let U be a tubular neighborhood on which r is of class C 2. Assume that there are: a non empty compact set an open neighborhood W of K; W U, a constant c > 0, and a family of complex vector spaces fe 0 zg z2w \ of C n with z E 0 z for all z 2 W \, such that if E z = E 0 z z C, then (1)?r(z)L(r; z)() + >j 2 cr 2 (z)kk 2 ; z 2 W \ ; 2 E z : Then there exist: a neighborhood V of K, V W, o 2 (0; 1) suciently small, such that for every, 0 < o there is a constant c > 0 such that (2)?r(z)L(r; z)() + (1? >j 2 c r 2 (z)kk 2 ; for all z 2 V \ and 2 E z. Proof. Let 2 E z. Write it uniquely in the form (3) = 0 =r(z) + t z ; 0 2 E 0 ; t 2 C : z Since kk 2 = k 0 k 2 =r 2 (z) + jtj 2 k z k 2 k 0 k 2 =r 2 (z), inequality (1) gives after expanding: (4)?L(r; z)( 0 )=r(z) + A(z; ) + k@r(z)k 2 jtj 2 ck 0 k 2 ; 0 2 E 0 z ; t 2 C : Here we set for z 2 W \ and 2 E z (as in (3)): A(z; ) :=?2Re tl(r; z)( 0 ; z )? jtj 2 r(z)l(r; z)( z ): Inequality (4) gives for t = 0,?L(r; z)( 0 ) 0 for 0 2 E 0 z. On the other hand, there is a constant M > 0 such that for z 2 U \ ; 0 2 E 0 z; k 0 k = 1. Denote jl(r; z)( z )j M; jl(r; z)( 0 ; z )j M; B(z; ) :=?L(r; z)( 0 )=r(z) + A(z; ): We claim now that there are constants o > 0 small enough such that for every, 0 < o there is c 0 > 0 (c 0 = o()) such that (?) B(z; ) + (1? )k@r(z)k 2 jtj 2 c 0 jtj 2 ; z 2 U \ ; 2 E z ;

5 4 V^aj^aitu for z 2 U \, 0 2 E 0 z, and t 2 C such that k0 k 2 + ktk 2 = 1. (Of course, after further shrinking of U In particular, this gives trivially that B(z; )+(1?)k@r(z)k 2 ktk 2 0 for every 2 E 0 z and t 2 C. Adding this to (1) and dividing by 2 we get immediately the statement of theorem 1. So we are left with the proof of the claim. For this let 2 (0; 1) to be chosen later in proof. We want to estimate from below B(z; ) and for this we consider two cases: I) If k 0 k, then jtj 2 1? 2. Since B(z; ) A(z; ), we get easily: (6) B(z; )?Mjtj 2 2= p 1? 2 + r(z) : Therefore, for every 2 (0; 1) one deduces: B(z; ) + (1? )k@r(z)k 2 jtj 2 jtj 2 (1? )k@r(z)k 2? Mr(z)? 2M= p 1? 2 : II) If k 0 k, then k 0 k 2 jtj 2 2 =(1? 2 ); hence (4) furnishes B(z; ) + (1? )k@r(z)k 2 jtj 2 jtj 2 c 2 =(1? 2 )? k@r(z)k 2 : Now, consider in both cases = 2 with > 0 and > 0 small enough and after further shrinking of U the claim results easily. Remark. If, additionally in theorem 1, on every relatively compact open subset of X there are p-convex functions, then results (p + q? 1)-complete with a negative exhaustion function. As an example [10] for such X one can take every open set of P n n A, where A P n is an analytic set whose irreducible components are of dimension at least n? p. In the same circle of ideas we add the following completion. First we recall that a continuous function ' on a complex manifold X is said to be q-convex with corners if locally it may be written in the form ' = max(f 1 ; : : : ; f k ) with f i be q-convex. Then we say that X is q-complete with corners if it admits an exhaustion function which is q-convex with corners. See [2] and [7]. Now we state: Proposition 1 Under the hypothesis of theorem 1, there is a continuous exhaustion function ' :?! (?1; 0) which is q-convex with corners, smooth and q-convex on the set f' >?cg for some c > 0 suciently small. In particular, is eq-complete, where eq = n? [n=q] + 1 and n denotes the complex dimension of X. Proof. As a rst step in showing this we note a consequence of [5] and [12]: Lemma 3 Let X be a Kahler with positive holomorphic bisectional curvature and D X a domain locally q-complete with corners. Then for every 2 R, > 1, there is e 2 C 0 (D;R), e > 0, such that 1= < e = < and? log e is q-convex with corners.

6 Locally q-complete sets in Kahler manifolds 5 Using this lemma, we dene ' in the following way: Take constants a; b, 0 < a < b such that f < bg U. (Here U is as in the proof of theorem 1.) Then consider e given by the above lemma such that e > on f = ag, e < on f = bg. Put ' :=? on f ag, := max(? ;? e ) on fa bg, and :=? e on f bg. This is well-dened for every > 0. It remains to see that ' has the required properties for small enough. But this is a simple consequence of the fact that given a complex manifold Z and be q-convex with corners on Z, then for every open set W Z, there is > 0 suciently small such that? exp(? ) is q-convex with corners on W. To conclude one applies [2]. As immediate consequence to theorem 1 one has: Corollary 1 Let P n be a proper domain with smooth boundary of class C 2. If is locally q-complete, then admits a smooth negative exhaustion function which is q-convex near the boundary of in. Remark. It is easily seen that for every q > 1 there are examples of proper domains of P n (2q < n) with real-analytic boundary and which are locally q-complete and fails to be q-complete. For instance, let integers q and n such that q > 1 and n < 2q. Let A; B be two disjoint copies of P n?q which sit in P n. Then D := P n n (A [ B) is q-convex. Let ' : D?! R be a smooth exhaustion function which is q-convex outside a compact set of D. Then := fz 2 D ; '(z) < Cg with C > 0 large enough is our example. It remains to check that is not q-complete. For this, since is not connected, we use the next simple lemma whose proof is a standard consequence of Serre's duality theorem. Lemma 4 Let X be a connected non-compact complex manifold of dimension n and X an open set such that H n?1 (; K X ) = 0, where K X is the canonical sheaf of X. is connected. Acknowledgement: I would like to thank Professor F. Haslinger who invited me at \The Erwin Schrodinger Institute" where this paper has been completed. References [1] Andreotti, A.; Grauert, H.: Theoremes de nitude pour la cohomologie des espaces complexes, Bull. Soc. Math. France, 90 (1962), 193{259. [2] Diederich, K.; Fornss, J.-E.: Smoothing q-convex functions and vanishing theorems, Invent. math., 82 (1985), 291{305. [3] Elencwajg, G.: Pseudoconvexite locale dans les varietes kahleriennes, Ann. Inst. Fourier (Grenoble), 25, (1975), 295{314. [4] Greene, R.E.; Wu, H.: On Kahler manifolds of positive bisectional curvature adn a theorem of Hartogs, Abh. Math. Sem. Univ. Hamburg, 47 (1978), 171{185.

7 6 V^aj^aitu [5] Matsumoto, K.: Boundary distance functions and q-convexity of pseudoconvex domains of general order in Kahler manifolds, J. Math. Soc. Jap., 48, No. 1, (1996), 85{107. [6] Ohsawa, T.; Sibony, N.: Bounded P.S.H. functions and pseudoconvexity in Kahler manifolds, Nagoya Math. J., 149 (1998), 1{8. [7] Peternell, M.: Continuous q-convex exhaustion functions, Invent. math., 85 (1986), 249{262. [8] Serre, J.P.: Un theoreme de dualite, Comment. Math. Helv., 29 (1995), 9{26. [9] Stehle, J.L.: Fonctions plurisousharmoniques et convexite holomorphe de certain bres analytiques, Lecture Notes 474, 155{180. [10] Suzuki, O.: Pseudoconvex domains on a Kahler manifold with positive holomorphic bisectional curvature, Publ. Res. Inst. Math. Sci., 12 (1976/77), 191{214; ibid. 439{ 445. [11] Takeuchi, A.: Domaines pseudoconvexes sur les varietes kahleriennes, J. Math. Kyoto Univ., 6 (1967), 323{357. [12] V^aj^aitu, V.: Pseudoconvex domains over q-complete manifolds, Preprint 1998, 24 pages. Institute of Mathematics of the Romanian Academy P.O. Box 1{764, RO Bucharest, Romania vvajaitu@stoilow.imar.ro