Completeness of Noncompact Analytic Spaces

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

ON EMBEDDABLE 1-CONVEX SPACES

Vanishing of Cohomology Groups on Completely ^-Convex

DEFORMATIONS OF A STRONGLY PSEUDO-CONVEX DOMAIN OF COMPLEX DIMENSION 4

COHOMOLOGY OF q CONVEX SPACES IN TOP DEGREES

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS On self-intersection of singularity sets of fold maps. Tatsuro SHIMIZU.

ON MICROFUNCTIONS AT THE BOUNDARY ALONG CR MANIFOLDS

arxiv:math/ v1 [math.ag] 24 Nov 1998

L 2 extension theorem for sections defined on non reduced analytic subvarieties

Multiple Time Analyticity of a Statistical Satisfying the Boundary Condition

Topological properties

A NOTE ON C-ANALYTIC SETS. Alessandro Tancredi

Projective Schemes with Degenerate General Hyperplane Section II

2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY

(1) * "?; y«= hfï? ~ A'í>v + r^>>

NOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG

NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS

Math 205C - Topology Midterm

Cousin-I spaces and domains of holomorphy

("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.

TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

Two Lemmas in Local Analytic Geometry

arxiv:math/ v1 [math.dg] 23 Dec 2001

2. Function spaces and approximation

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute

ON EQUIVALENCE OF ANALYTIC FUNCTIONS TO RATIONAL REGULAR FUNCTIONS

Nonisomorphic algebraic models of Nash manifolds and compactifiable C^ manifolds. Osaka Journal of Mathematics. 31(4) P.831-P.835

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's

DIFFERENTIABILITY VIA DIRECTIONAL DERIVATIVES

the neumann-cheeger constant of the jungle gym

On the Extension of L 2 II

引用北海学園大学学園論集 (171): 11-24

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

CHAPTER 1 PRELIMINARIES

Takao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

Tools from Lebesgue integration

Another proof of the global F -regularity of Schubert varieties

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

arxiv: v1 [math.ag] 24 Apr 2015

COMPLEX PARALLISABLE MANIFOLDS

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS

THE LARGE CONDITION FOR RINGS WITH KRULL DIMENSION

Course 212: Academic Year Section 1: Metric Spaces

On topological properties of the Hartman Mycielski functor

LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday

J. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that

Generic section of a hyperplane arrangement and twisted Hurewicz maps

CΛ-SUBMANIFOLDS OF A COMPLEX SPACE FORM

Continuous functions that are nowhere differentiable

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

1 Smooth manifolds and Lie groups

SYMPLECTIC GEOMETRY: LECTURE 5

LECTURE 15: COMPLETENESS AND CONVEXITY

Introduction to Functional Analysis

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

H-convex Riemannian submanifolds

Chapter 3 Continuous Functions

THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS

f(a)(\c = f(f l(c)c A). K.1 Compactly generated spaces

Introduction to Topology

ABSOLUTE CONTINUITY OF FOLIATIONS

A REMARK ON THE BOCHNER TECHNIQUE IN DIFFERENTIAL GEOMETRY1. H. wu

Strongly Nil -Clean Rings

Completeness and quasi-completeness. 1. Products, limits, coproducts, colimits

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

ON THE DEFORMATION WITH CONSTANT MILNOR NUMBER AND NEWTON POLYHEDRON

A NOTE ON PARACOMPACT SPACES

A Remark to a Division Algorithm in the Proof of Oka s First Coherence Theorem

RIEMANN S INEQUALITY AND RIEMANN-ROCH

A generic property of families of Lagrangian systems

Holomorphic line bundles

DIFFERENTIAL OPERATORS ON A CUBIC CONE

7 Complete metric spaces and function spaces

Citation Osaka Journal of Mathematics. 43(1)

arxiv:math/ v4 [math.ag] 6 Feb 2001

ON THE MOVEMENT OF THE POINCARÉ METRIC WITH THE PSEUDOCONVEX DEFORMATION OF OPEN RIEMANN SURFACES

K-ANALYTIC VERSUS CCM-ANALYTIC SETS IN NONSTANDARD COMPACT COMPLEX MANIFOLDS

THEOREMS, ETC., FOR MATH 515

ON UPPER AND LOWER WEAKLY I-CONTINUOUS MULTIFUNCTIONS

Universität Regensburg Mathematik

THE CAUCHY INTEGRAL FOR FUNCTIONS OF SEVERAL COMPLEX VARIABLES

Regular Lie groups and a theorem of Lie-Palais

arxiv: v3 [math.cv] 26 Nov 2009

Math 797W Homework 4

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach

A PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE. Myung-Hyun Cho and Jun-Hui Kim. 1. Introduction

Math 248B. Applications of base change for coherent cohomology

LECTURE 3: SMOOTH FUNCTIONS

DYNAMICS OF RATIONAL MAPS: A CURRENT ON THE BIFURCATION LOCUS. Laura DeMarco 1 November 2000

Transcription:

Publ. RIMS, Kyoto Univ. 20 (1984), 683-692 Completeness of Noncompact Analytic Spaces By Takeo OHSAWA* Abstract Let X be a reduced paracompact complex analytic space of dimension n. It is proved that if X has no compact irreducible branches of dimension n, then X is ra-complete, and if X has finitely many compact irreducible branches of dimension n, X is?z-pseudoconvex, both in the sense of Andreotti-Grauert. Applying Andreotti-Grauert's fmiteness theorem (resp. Barlet's theorem on the Steinness of cycle spaces) we deduce from our result Siu's theorem on analytic sheaf cohomology groups of noncompact complex spaces (resp. the Steinness of the space of (n 1) -cycles of analytic spaces whose?z-dimensional irreducible branches are non-compact). 1. Introduction In the theory of complex analysis, it has long been known that for any noncompact Riemann surface Cousin's first problem is always solvable. In 1955, Malgrange [6] showed that for any paracompact noncompact complex manifold X of dimension?2, and for any locally free analytic sheaf E over X, H n (X,E), the /2-th cohomology group of X with coefficients in E, vanishes. The latter result may be regarded as a natural generalization of the classical result. It was later refined by Komatsu [5], and finally completed by Siu [8], [9] in the following form : Theorem S» Let X be a (not necessarily reduced) paracompact complex analytic space of dimension n, and ZF a coherent analytic sheaf over X. Then, 1) H n (X, J r )=0, if every n-dimensional irreducible branch of X is noncompact. 2) dimh n (X, J r )<^oo 5 if there are only finitely many n-dimensional compact irreducible branches of X. Received June 25, 1983. Supported by Alexander von Humboldt-Foundation. * Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606, Japan.

684 TAKEO OHSAWA Siu's proof is based on the results of Malgrange and Komatsu, and carried out by means of standard techniques of sheaf theory. The purpose of the present note is to give a different proof of Theorem S by establishing the following Theorem 1. Let X be a reduced paracompact complex analytic space of dimension n. Then, 1) X is n-complete, if every n-dimensional irreducible branch of X is noncompact. 2) X is strongly n-pseudoconvex, if there are only finitely many n- dimensional compact irreducible branches of X. Here, '^-complete' and '^-pseudoconvex' are in the sense of Andreotti-Grauert [1]. Theorem S follows immediately from Theorem 1 and Andreotti-Grauert's 'theoreme 14' and its corollary in [1]. As a consequence we obtain the following Theorem 2. Let X be a paracompact n-dimensional complex analytic space and let C q (X) be the reduced analytic space of compact cycles of pure dimension q of X (cf. [2]). Then, C n -i(x) is a Stein space, if every n-dimensional irreducble branch of X is noncompact. For nonsingular X, Theorem 1 has been already proved by Greene-Wu [4] as a corollary of the proper harmonic embedding theorem for a complete Riemannian manifold (cf. [4], Corollary). The author expresses his hearty thanks to Professors K. Fritzsche and M. Buchner who told him Greene-Wu's result and convinced him of the non-triviality of Theorem 1 on the way from Bonn to Gottingen. He also thanks Professor D. Barlet 3 who kindly sent him the article [3], which is closely related to the present paper. 2. Preliminaries In what follows we denote by X a paracompact reduced complex analytic space of dimension n. Let R(X) be the set of regular points of X whose neighbourhoods have dimension n. We set S(X)i=X

COMPLETENESS OF ANALYTIC SPACES 685 R(X). Then S(X) is an analytic subset of X with dim (cf. [7]). A real valued function / on X is said to be of class C if, for any point x^x, there exist a neighbourhood [/, a holomorphic embedding c :U-^C N for some AT^O, and a function / of class C on C* such that t*f=f\u. We shall denote df=0 at A: if df=0 at *(*). This notion is clearly independent of the choice of c and /. A function / of class C on X is said to be q-convex (weakly q-convex) at x, if we can choose above / so that dsf has at least N q + l positive (resp. nonnegative) eigenvalues at c(x). /is called q-convex (weakly q-convex) on X if / is ^-convex (resp. weakly ^-convex) at any point of X. f is said to be exhausting if, for any c^r, X fic : = [x^x ; f(x) <^c} is relatively compact in X. X is said to be q-pseudoconvex if there exists an exhaustion function f : X->R of class C and a compact subset KdX such that f\ X -K is g-convex. X is called q-complete if we can choose f so that K = 0. Lemma- Let YdX be an analytic subspace of dimension <jz. Then, there exists an n-convex function $ Y defined on a neighbourhood of Y such that <f>y\y is exhausting. Proof. If dim Y = 0, then the conclusion is clear. Assume that the proposition is true for any analytic subspace YdX with dim Y <jr<^n. Let dim Y = r. Then, by the induction assumption, there exists an ^-convex function 0 5(y) on an open neighbourhood V of S(Y} in X, such that ^(nlsao is exhausting. Let W be a neighbourhood of S(Y) in X such that I/J/cF, and let p:x->r be a function of class C satisfying ^1^=1 and p\ x^v = Q. Let ^ = {C/J (i = l, 2,...) be a locally finite system of open sets of X S(Y) such that U /,- = 1=1 X 5(F) and for any C/.-e^, there exists a function ^{ : C/ f ->l2 of class C such that (2) ^i is weakly 1-convex at any point (3) ^f is (r + 1) -convex at any point The existence of such ^ and {0J is assured by the fact that Y S(Y) is nonsingular and of dimension r*\ Let [p l ] be a partition of unity * The argument used here is the same as D. Barlet's proof of (/z-f-1) -completeness of neighbourhoods of a compact analytic subset of dimension n (cf. Seminaire F. Norguet 1979, Lecture Notes no. 807 Springer Verlag).

686 TAKEO OHSAWA associated to fyl satisfying O^^-^l for any i. Let % : X-*R be a function of class C such that %(#)i2;0 for any x ^X, %(#) =1 outside W, and %(#) =0 on a neighbourhood of S(Y). Clearly, for sufficiently large numbers N and N^>N (i = l 9 2,...). ( 4 ) $' Y :=Npexp ^S(F) + E Nftpifa i = l is /2-convex on a neighbourhood of Y. Let <p be any exhausting function of class C on X. numbers if necessary, we can make Then replacing JV and N { by larger <j> Y : = <f> Y +</> an ^-convex function on a neighbourhood of Y. Clearly, $Y\Y * s exhausting. q. e. d. From now on we assume that every /z-dimensional irreducible branch of X is noncompact. By the Lemma, there exists an /z-convex function fam n a neighbourhood of S(X) such that fism Istx) is exhausting. Hence there exist an open neighbourhood Q of S(X) and an exhausting function <j)\x->r of class C such that $\Q=$S(X> lain what follows we put X c :=X$ ic. By Sard's theorem there exists an increasing sequence of real numbers b c 2,..., such that ( 5 ) lim c y = oo, y-*oo (6) rf^ is nowhere zero on dx c S(X), where dx c denotes the boundary of X c in X. We choose positive numbers e v, 1^=1,2,... so that C V -I+B V.I<^C V & V and rf^ is nowhere zero on X C^-X C^-Q. We fix a hermitian metric sk 2 on X S(X) such that the sum of the eigenvalues of dd(j> with respect to ds 2^ which shall be denoted by trace950, is everywhere positive on Q S(X) (cf. [10] 12 Lemma 4.1.). For any c^r 9 let Y c be the union of the connected components of X X c S(X) whose closures in X are compact. We choose a subsequence {c v }, (a =1,2,...) of {c y } as follows. We set 1^=1. Suppose that c v have already been determined. Since every n- dimensional irreducible branch of X is noncompact, ^ is bounded on Y c. Hence there exists an integer v such that ^>sup 0. We put a c» a+1 = c > For simplicity we put c a : =c Va and e a : = ya. A function ^: (~oo? c) >R (c^r(j { } ) is called a convex increasing function if 2. is of class C, ^(0>0, and ^(0^0 on (, 0«

COMPLETENESS OF ANALYTIC SPACES 687 Proposition. Let the notations be as above. Then, for a=l, 2 3..., there exist open neighbourhoods Q a of S(X) satisfying 42z)fiiDfl 2 Z)... D Q a 13..., nonnegative functions @ a of class C on X, positive numbers 8 a with 2d a <^ a, and convex increasing functions l a : R->R such that (8) traced30 a >0 o?2 ^-Z^^^-Y^^-SC^O wfor* w<? put c_ l = c Q = oo and d_ 1 =d Q = Q, (9) X c a -. 2 ~Xc a _ 2-28 a _ 2 - a is diffeomorphic to (dx Ca _ 2 ~Q a } X R as manifolds with boundary. Proof. Let a^l and assume that Q h 0 {, 5 t - and h are obtained for O^zga-1. Here we define Q 0 :=Q, 0 0 : =0, and 2 0 (0: =^. Let xezx c Q Y C X c be any point. Then, there exists an injective C map of maximal rank (10) r:(-l, ljxtf»-^x C such that (11) r((o, o,...,o)) (12) r({l} x 12 2 "- 1 ) c (13) rdolx/s (14) r ( {0} x a 2-1 ) c 3Z Ca _ 2 if We set T( r, r, j) : =r(\ ~l + - 1 -, l]x5(r)\ where 5(r):= {(*!,..., 2n-l ^L. ^ J / ^2»-i) ' 2 -^f^^} and J^>0. For any r>0? the union of the interior i = l _ points of T(Y, r, 1) for all possible? contains X c Q Y C _ X c _ 2 which is compact since ^ is exhausting. Hence there exist finitely many ft,..., y m so that (15) UTfo, 1, l)i>x fa -Q-Y eit _-X ea _ f Let Q a be a neighbourhood of S(X) with smooth boundary such that (16) fl a n m a u r( r,., s, 3)=0, i = l (17) 3fi a intersects 9^c a _ 2 transversally, (18)

TAKEO OHSAWA dx' ' ' «_, 7 (*.:=*., etc.)»-a-2 Figure Let e' a be a positive number such that d<j) is nowhere zero on X c X c _ E ' Q m and let d a _ 2 (if a 2^3) be a positive number such that 2<5 a _ 2 < a _9 and (dx c Q a ) X R is diffeomorphic to X Ca _ 2 fix an s 0 so that 1<5 0 <3 and (19) T( Th 3, j 0 )c fl -* Ca _ 2 _, a _ 2 -SCY), for any i=l,..., m a. To each p,-, we associate a diffeomorphism F z : X-*X such that (20) F f x _ r(r. 3. I) =iw. (21) (22) ^r, 1, Ja- c - AT,. The existence of such diffeomorphism F z is clear from the elementary theory of ordinary differential equations. We set m a (max sup X ~ Q a ' min inf (lengthdf*<j)) 2 where the length is measured by ds 2. Then, at any point x^\jt(f^ 2, -\ ), we have a (24) traceas(2 expl«f? 0) >0.

COMPLETENESS OF ANALYTIC SPACES 689 We choose M a^>l a so that at any point x^((x c X c B^) \J (X c (25) tracesa exp M a and m a (26) traced5(exp M a $+ S exp L a F?»=o Let f^ : R-+R be a convex increasing function defined by (27) f,(0 Since (^(exp Z a O)"^-^a(^(exp Z. a O)' for any ^^0, we have (28) trace33(exp M^+E f,(exp L a F,*0))>0 i = l for any /^^O, on ( ( C -, _ E U ( - c U a a a a ^ a ^ a /2 Therefore, by (15) and (22), for sufficiently large fi a, (29) traces3(exp Af«We set (30) ^a fl w a Clearly, ^a, 0 a, d a _ 2, and 4 : =exp M a t + 2 f^(exp L a O satisfy all the requirements. q. e. d. 3. Proof of Theorem Let the notations be as in section 2. We choose Q a, @ a, d a _ 2, and A a as in the proof of the Proposition. Inductively, we construct exhausting functions a : X c ~>R of class C satisfying the following properties : Ua) y a = ^a-l On Xc a_ 2-2, a_ 2, (B a ) W a >a on X^-X^, (Co) a is 72-convex on X c, (Da) y r a=p a (<f>) on X c D^a for some convex increasing function p a.

690 TAKEO OHSAWA We put where c{ = ^i(ci). Then (A-^^(Di) are satisfied by W lt Assume that we have already W t for i<^a which satisfy (Ai) ~~ (A0«Let N a be an integer such that and let p a :R-^R be a function of class C such that p a (t)=l t^n a and p a (t) =Q for t^n a +l. We put ^(^-i) on X K, (33) _. I 0 on X * Let T]\ ( 00, ^(O)-^ De a (34) 3?(0 =0 for ^^a( a -2~~25 a _ 2 ) (35) ^(0>0, ^(0>0, for (36) lim 37(0=00 function of class C such that for and (37) ( 5? ^a) // (0 ~~ (^ ^a)'(0 (pa Pa-l)'(ty ^>0, f r The existence of such a function is obvious. By (7) and (A*-i) there exist functions <7 a and r a such that By (37), a" a (f)>0 on >«-i(c a - 2 -a a - 2 ), ^«]- Clearly ^(0>0 on [/>«-!( «-2-3 a _ 2 ). JV a ] and ff a (0=0 on (-00, /? a _ 1 (t a _ 2-23 a _ 2 )]. Let Z a _ 2 be the union of the connected components of X c _ 2 ~^a_ 2-25 a _ 2 Q a whose closures intersect? Ca _ 2 - Note that Z a _ 2 is diffeomorphic to (dy Ca _ 2 -Q a } XR. We put " on Jf c ~Y C Z a - 2 ) on Z^.oljy,. where /c denotes a positive number. Then, by (7), (9), and (34), W aik is a well defined exhausting function of class C on X c. By (J5 a _ x ), (C a _i), and (35), for sufficiently large /c a, f* a, K is?z-convex on Z, a and y«.. a >a on X^-X,^. We put F* a : =^a, K^ Then f a satisfies (^4 a )^(Z) a ) 0

COMPLETENESS OF ANALYTIC SPACES 691 To prove the ^-completeness of X, we define (40) = a on Xc^-n^ for any a^l. By (^J ~ (CJ, W is a well defined /z-convex exhausting function on X. Therefore X is ^-complete. If there are only finitely many ^-dimensional compact irreducible branches of X, let X' be the union of the ft-dimensional noncompact irreducible branches and the lower dimensional branches. Then, there exists an ^-convex exhausting function <p r on X'. Let A be the union of 72-dimensional compact branches of X. Let /3 = sup <^'+ 1. AKX' We set (41) 0 on Then, <p is an exhausting function of class C on X which is ^-convex outside a compact subset of X. Thus X is ;z-pseudoconvex. q. e. d. 4. Applications The following theorem has been obtained by Barlet: Theorem B (cf. [3] Theorems 4. Note that the definition of n- completeness is different from ours.} Let X be a finite dimensional incomplete analytic space. Then, C n -i(x) 9 the reduced analytic space of compact cycles of pure dimension n of X^ is Stein. 2. Hence, combining Theorem B with Theorem 1, we obtain Theorem The following theorem was obtained by Andreotti and Grauert: Theorem A-G (cf. [1] Theorem 14 and its corollary}. Let X be a {not necessarily reduced) complex analytic space, and 3F a coherent analytic sheaf over X. Then, 1) H*(X, 3?)=Q for i^q, if X is q-complete. 2) dim H l (X, J^)<oo for i^q, if X is q-pseudoconvex. Hence, combining Theorem A-G with Theorem S. Theorem 1, we obtain

692 TAKEO OHSAWA References [ 1 ] Andreotti, A. and Grauert, H., Theoreme de finitude pour la cohomologie des espaces complexes, Bull. Soc. Math. France 90 (1962), 193-259. [ 2 ] Barlet, D., Espace analytique reduit des cycles analytiques complexes compacts d'un espace analytique complexe de dimension finite, Fonctions de plusieurs variables complexes, II, Seminaire Francois Norguet, 1974/75, p-1-158, Berlin, Springer-Verlag, 1975 (Lecture Notes in Mathematics, 482) (These Sc. math. Universite Paris VII, 1975). [3], Convexite de 1'espace de cycles, Bull. Soc. math. France, 106 (1978), 373-397. [ 4 ] Greene, R. E. and Wu, H., Embedding of open Riemannian Manifolds by harmonic functions, Ann. Inst. Fourier, Grenoble 25, 1 (1975), 215-235. [ 5 ] Komatsu, H., Resolutions by hyperfunctions of sheaves of solutions of differential equations with constant coefficients. Math. Ann. 176 (1968), 77-86. [ 6 ] Malgrange, B., Existence et approximation des solutions des equations aux derivees partielles et des equation de convolution, Ann. Inst. Fourier, Grenoble 6 (1955-1956), 271-355. [ 7 ] Narashimhan, R., Introduction to the theory of analytic spaces, Lecture Notes 25, Springer- Verlag, 1966. [ 8 ] Siu, Y, T., Analytic sheaf cohomology groups of dimension n of ra-dimensional noncompact complex manifolds, Pacific J. Math. 28 (1969), 407-411. [ 9 ] s Analytic sheaf cohomology groups of dimension n of ^-dimensional complex spaces, Trans. Amer. Math. Soc. 143 (1969), 77-94. [10] Vesentini, E., Lectures on Levi Convexity of Complex Manifolds and Cohomology Vanishing Theorems, Tata Inst. Bombay 1967.