IJMMS 32:6 (2002) 383–386 PII. S0161171202007901 http://ijmms.hindawi.com © Hindawi Publishing Corp. COHOMOLOGY WITH BOUNDS AND CARLEMAN ESTIMATES ¯ FOR THE ∂-OPERATOR ON STEIN MANIFOLDS PATRICK W. DARKO Received 20 June 2001 Cohomology with bounds are used to globalize a result of Hörmander obtaining Carleman estimates for the Cauchy-Riemann operator on Stein manifolds. 2000 Mathematics Subject Classification: 32C35, 32E10, 35N15. 1. Introduction. In [7] Hörmander proved the following theorems. Theorem 1.1. Let Ω Cn be a bounded pseudoconvex domain, and let f ∈ L2(p,q) (Ω) ¯ be a ∂-closed (p, q)-form, q ≥ 1, then there is a (p, q −1)-form u ∈ L2 (Ω) such that (p,q−1) ¯ = f and ∂u uL2 (p,q−1) (Ω) ≤ Kf L2 (p,q) (Ω) , (1.1) where K is a constant depending on the diameter of Ω. Actually the above theorem was contained in the following. Theorem 1.2. Let Ω Cn be a bounded pseudoconvex domain, ϕ any plurisub¯ (p, q)-form, q ≥ 1, then there harmonic function on Ω, and f ∈ L2(p,q) (Ω, ϕ) a ∂-closed 2 ¯ is a (p, q − 1)-form u ∈ L (Ω, ϕ) such that ∂u = f and (p,q−1) uL2 (p,q−1) (Ω,ϕ) ≤ Kf L2 (p,q−1) (Ω,ϕ) , (1.2) where again K depends on the diameter of Ω. These theorems turned out to be very useful in complex analysis and their applications include the Levi problem with bounds and cohomology with bounds. It is, therefore, natural to seek to generalize these theorems to manifolds. In [5], Theorem 1.1 was so generalized and we generalize Theorem 1.2 in this paper. The term Carleman estimates refers to the estimates in Theorem 1.2 and we use Theorem 1.2 to obtain a Leray’s isomorphism theorem with bounds on Stein manifolds, combining with weak elliptic estimates to get the generalization of Theorem 1.2 to Stein manifolds. 2. Preliminaries 2.1. Let X be an n-dimensional complex manifold with a C ∞ -Hermitian metric and Ω X a relatively compact Stein subdomain of X. Where ϕ is any plurisubharmonic 384 PATRICK W. DARKO function on Ω, the scalar product (f , g) = Ω e−ϕ f Λ ∗ ḡ (2.1) makes the space L2(p,q) (Ω, ϕ) = {f measurable on Ω : Ω e−ϕ f Λ ∗ f¯ < ∞} a Hilbert space, where ∗ is the Hodge ∗-operator associated with the metric and the orientation on X. Our result is as follows. ¯ in the sense of distributions. Then Theorem 2.1. Let f ∈ L2(p,q) (Ω, ϕ) be ∂-closed 2 ¯ there is a u ∈ L (Ω, ϕ) such that ∂u = f in the sense of distributions and (p,q−q) uL2 (p,q−1) (Ω,ϕ) ≤ Kf L2 (p,q) (Ω,ϕ) , q > 0, (2.2) where K depends on Ω. 2.2. Let U be a bounded open set in Cn , ᏻ the structure sheaf of Cn . A section f = (f1 , . . . , fp ) ∈ Γ (U , ᏻp ), where p is an integer, is L2ϕ -bounded if f L2 (U ,ϕ) = f1 L2 (U ,ϕ) + · · · + fp L2 (U ,ϕ) < ∞, (2.3) where ϕ is a plurisubharmonic function in U. We then denote all sections of ᏻp over U that are L2ϕ -bounded by Γϕ (U , ᏻp ). For the definition of L2ϕ -bounded sections of coherent analytic sheaves, we require the coherent analytic sheaf Ᏺ to be defined on a simply connected polycylinder neighborhood V of the closure of U . Then there is an ᏻ-homomorphism in another simply connected polycylinder neighborhood V 1 of the closure of U λ ᏻp → Ᏺ → 0, (2.4) where p > 0 is some integer, and f ∈ Γ (U, Ᏺ) is L2ϕ -bounded if f ∈ Γϕ (U, Ᏺ) := λ(Γϕ (U , ᏻp )). It can be shown, as is done in [2], that Γϕ (U, Ᏺ) is independent of λ and p, so that Γϕ (U , Ᏺ) is well defined. Now, let Ω be a relatively compact Stein subdomain of an n-dimensional complex manifold X, and ϕ a plurisubharmonic function defined on Ω. An open subset Y of Ω is said to be admissible for the coherent analytic sheaf Ᏺ defined in a neighborhood of the closure of Ω in X, if Y is Stein, there is a coordinate neighborhood V in X of the closure Ȳ of Y such that V is biholomorphic to a simply connected polycylinder V 1 in Cn . The section f ∈ Γ (Y , Ᏺ) is L2ϕ -bounded if f ∈ Γϕ (Y , Ᏺ) := g ∈ Γ (Y , Ᏺ) : η∗ (g) ∈ Γϕ·η−1 η(Y ), η∗ (Ᏺ) , (2.5) where η is the restriction of the biholomorphic map V → V 1 to Y and η∗ (Ᏺ) is the zeroth direct image of Ᏺ on Y . COHOMOLOGY WITH BOUNDS AND CARLEMAN ESTIMATES . . . 385 2.3. Let Ω, X, ϕ, and Ᏺ be as above. Then it is clear that Ω is a finite union Ω = m j=1 Ωj , where each Ωj is admissible for Ᏺ. If ᐂ = {Ωj }j∈I , I = {1, . . . , m}, where each Ωj is as above, then ᐂ is a finite admissible cover of Ω for Ᏺ and we define the L2ϕ (alternate) q-cochains of ᐂ with values in Ᏺ as those cochains Γ Ωα , Ᏺ , c = cα ∈ C q (ᐂ, Ᏺ) = (2.6) α∈I q+1 where Ωα = Ωi0 ∩ · · · ∩ Ωiq , α = (i0 , . . . , iq ), which are alternate and satisfy cα ∈ q Γϕ (Ωα , Ᏺ) for all α ∈ I q+1 . Denote by Cϕ (ᐂ, Ᏺ) the space of L2ϕ -bounded cochains. The coboundary operator δ : C q (ᐂ, Ᏺ) → C q+1 (ᐂ, Ᏺ) q q+1 q (2.7) q q maps Cϕ (ᐂ, Ᏺ) into Cϕ (ᐂ, Ᏺ). If Zϕ (ᐂ, Ᏺ) = {c ∈ Cϕ (ᐂ, Ᏺ) : δc = 0} and Bϕ (ᐂ, Ᏺ) = q−1 q q δCϕ (ᐂ, Ᏺ), then as usual Bϕ (ᐂ, Ᏺ) ⊆ Zϕ (ᐂ, Ᏺ) and we define q q q Hϕ (ᐂ, Ᏺ) := Zϕ (ᐂ, Ᏺ)/Bϕ (ᐂ, Ᏺ) (2.8) and call it the L2ϕ -bounded cohomology of ᐂ with values in Ᏺ. We then have the following theorem. Theorem 2.2. For any q ≥ 1, the natural map q Hϕ (ᐂ, Ᏺ) → H q (Ω, Ᏺ) (2.9) is an isomorphism. Theorem 2.2 is used to prove Theorem 2.1, but we do not prove Theorem 2.2 here because its proof is easier than the proof of the theorem in [3]. 3. Carleman estimates p 3.1. Let Ω, X, and ϕ be as above. If U ≠ ∅ is open in Ω̄, then BΩ (U, ϕ) is the Hilbert space of holomorphic p-forms h on Ω ∩ U such that hL2 (U ∩Ω,ϕ) < ∞. (p,0) p p If V is open in Ω̄ with V ⊂ U , the restriction map γVU : BΩ (U, ϕ) → BΩ (V , ϕ) is p p 2 defined. Then Bϕ = {BΩ (u, ϕ); ᐅU V } is then the canonical pre-sheaf of Lϕ -holomorphic p p-forms on Ω. The associated sheaf Ꮾϕ is the sheaf of germs of L2ϕ -holomorphic p-forms on Ω̄. We then have the following lemma. p Lemma 3.1. The cohomology group H q (Ω̄, Ꮾϕ ) = 0 for all q ≥ 1 and p ≥ 0. Proof. Let Ᏼp be the sheaf of germs of holomorphic p-forms on X. Note that for p Y admissible in Ω, Γϕ (Y , Ᏼp ) = ᏮΩ (Y , ϕ), since Ᏼp is a coherent analytic sheaf in a neighborhood of the closure of Ω in X. Now, if ᐂ is any finite admissible cover of Ω q q for Ᏼp (Theorem 2.2), Hϕ (ᐂ, Ᏼp ) is isomorphic to Hϕ (Ω, Ᏼq ). But any finite cover of Ω̄ has a refinement ᐁ = {Vj }j∈J such that ᐂΩ = {Vj ∩Ω}j∈J is a finite admissible cover q p of Ω for Ᏼp . Therefore, Hϕ (Ω̄, Ꮾϕ ) is isomorphic to H q (Ω, Ᏼp ) for q ≥ 0 and p ≥ 0. By Cartan’s theorem (Theorem 1.2), we have H(Ω, Ᏼp ) = 0 for all q ≥ 1 and p ≥ 0. p Therefore, H q (Ω̄, Ꮾϕ ) = 0 for q ≥ 1 and p ≥ 0. 386 PATRICK W. DARKO 3.2. By the following lemma (whose proof follows from Theorem 1.2), the proof of Theorem 2.1 is concluded. p Lemma 3.2. The cohomology group H q (Ω̄, Ꮾϕ ) is isomorphic to the quotient space 2 ¯ = 0 / ∂h ¯ : h ∈ L2 ¯ g : g ∈ L2(p,q) (Ω, ϕ), ∂g (p,q−1) (Ω, ϕ), ∂h ∈ L(p,q) (Ω, ϕ) . (3.1) p Since H q (Ω̄, Ꮾϕ ) = 0 for q > 0 and p ≥ 0, then we get the following lemma. ¯ q > 0, then there is a u ∈ L2(p,q−1) (Ω, ϕ) Lemma 3.3. If f ∈ L2(p,q) (Ω, ϕ) is ∂-closed, ¯ such that ∂u = f . Now referring to [1, Theorem B, page 750], the proof of Theorem 2.1 is complete. References [1] [2] [3] [4] [5] [6] [7] A. Andreotti and C. D. Hill, E. E. Levi convexity and the Hans Lewy problem. II. Vanishing theorems, Ann. Scuola Norm. Sup. Pisa (3) 26 (1972), 747–806. P. W. Darko, Sections of coherent analytic sheaves with growth on complex spaces, Ann. Mat. Pura Appl. (4) 104 (1975), 283–295. , On cohomology with bounds on complex spaces, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8) 60 (1976), no. 3, 189–194. , Cohomology with bounds in Cn , Complex Variables Theory Appl. 17 (1992), no. 3-4, 259–263. , L2 estimates for the ∂ operator on Stein manifolds, Math. Proc. Cambridge Philos. Soc. 129 (2000), no. 1, 73–76. R. C. Gunning and H. Rossi, Analytic Functions of Several Complex Variables, Prentice-Hall, New Jersey, 1965. L. Hörmander, L2 estimates and existence theorems for the ∂¯ operator, Acta Math. 113 (1965), 89–152. Patrick W. Darko: Department of Mathematics and Computer Science, Lincoln University of the Commonwealth of Pennsylvania, Lincoln University, PA 19352, USA E-mail address: pdarko@lu.lincoln.edu