Abstract
The purpose of this paper is to establish sufficient conditions for closed range estimates on (0, q)-forms, for some fixed q, \(1 \le q \le n-1\), for \(\bar{\partial }_b\) in both \(L^2\) and \(L^2\)-Sobolev spaces in embedded, not necessarily pseudoconvex CR manifolds of hypersurface type. The condition, named weak Y(q), is both more general than previously established sufficient conditions and easier to check. Applications of our estimates include estimates for the Szegö projection as well as an argument that the harmonic forms have the same regularity as the complex Green operator. We use a microlocal argument and carefully construct a norm that is well suited for a microlocal decomposition of form. We do not require that the CR manifold is the boundary of a domain. Finally, we provide an example that demonstrates that weak Y(q) is an easier condition to verify than earlier, less general conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we show that the tangential Cauchy–Riemann operator has closed range on (0, q)-forms, for a fixed q, \(1 \le q \le n-1\), in \(L^2\) and \(L^2\)-Sobolev spaces on a general class of embedded CR manifolds of hypersurface type that satisfy a general geometric condition called weak Y(q). We work on a smooth CR submanifold \(M \subset \mathbb {C}^n\) that may be neither pseudoconvex nor the boundary of a domain. The weak Y(q) condition, first written down by Harrington and Raich [10] and applied to boundaries of domains in Stein manifolds, is the most general known condition that ensures closed range of the tangential Cauchy–Riemann operator on (0, q)-forms. We also provide an example that shows that the generality provided by the definition makes it easier to verify than previous and more restrictive conditions. Additionally, we show that for any Sobolev level, there is a weight such that the (weighted) complex Green operator (inverse to the weighted Kohn Laplacian) is continuous and the harmonic forms in this weighted space are elements of the prescribed Sobolev space.
This paper generalizes both [9] and [10] in the following ways. We do not require our CR manifold to be the boundary of a domain. In effect, we translate the \(\bar{\partial }\)-techniques of [10] to the microlocal setting. In [9], they prove results akin to our main results, but the “weak Y(q)” condition they define is more restrictive than the weak Y(q) condition here. Additionally, we use a reengineered elliptic regularization argument to show that (weighted) harmonic (0, q)-forms are smooth, a fact not mentioned in [9, 10]. Additionally, we are careful to monitor the regularized operators and the fact that they preserve orthogonality with the space of (weighted) harmonic forms, a fact that has not been observed before (in part because we prove smoothness of harmonic forms early in regularization process).
Throughout this paper, we will consider \(M \subset \mathbb {C}^N\) being a \(2n-1\) real dimension, \(C^\infty \), compact, orientable CR manifold, \(N \ge n\) of hypersurface type. This last condition means that the CR dimension of M is \(n-1\) so that the complex tangent bundle splits into a complex subbundle of dimension \(n-1\), the conjugate subbundle, and one totally real direction. An appropriate restriction of the \(\bar{\partial }\)-complex to M yields the \(\bar{\partial }_b\)-complex.
The \(\bar{\partial }_b\)-operator was introduced by Kohn and Rossi [15] to study the boundary values of holomorphic functions on domains in \(\mathbb {C}^n\), and it was soon realized that the \(\bar{\partial }_b\)-complex was deeply intertwined with the geometry and potential theory of such domains and their boundaries. The story of the \(L^2\)-theory of the \(\bar{\partial }_b\)-operator begins with Shaw [19] and Boas and Shaw [2] (in the top degree) on boundaries of pseudoconvex domains in \(\mathbb {C}^n\) and with Kohn [13] on the boundaries of pseudoconvex domains in Stein manifolds. Nicoara [16] established closed range for \(\bar{\partial }_b\) (at all form levels) on smooth, embedded, compact, orientable CR manifolds of hypersurface dimension in the case that \(n\ge {3}\) and Baracco [1] established the \(n={2}\) case. Thus, from the point of view closed range, the pseudoconvex case is completely understood.
Harrington and Raich [9] began an investigation of the \(\bar{\partial }_b\)-problem on nonpseudoconvex CR manifolds of hypersurface type. Specifically, they fixed a level q, \(1 \le q \le n-2\), and sought a general condition that sufficed to prove closed range of \(\bar{\partial }_b\) on (0, q)-forms (and in \(L^2\)-Sobolev spaces in suitably weighted spaces). They worked on CR manifolds of hypersurface type, and our results generalize theirs by showing that the conclusions they draw are still true with a weaker hypothesis, namely, the weak Y(q) condition from [10]. The analysis in [10] is loosely based on the ideas of Shaw and does not use a microlocal argument, but rather \(\bar{\partial }\)-methods. This requires the CR manifold to be the boundary of a domain, a hypothesis that we relax. The name weak Y(q) stems from the fact that it is a weakening of the classical Y(q) condition, a geometric condition that is equivalent to the complex Green operator satisfying 1 / 2-estimates on (0, q)-forms. The complex Green operator, when it exists, is the name for the (relative) inverse to \(\Box _b\) in \(L^2_{0,q}(M)\) and denoted by \(G_q\).
Our methods involve a microlocal argument in the spirit of [9, 16, 17] and a recently reengineered elliptic regularization that not only allows for a weighted complex Green operator to solve the \(\bar{\partial }_b\)-problem in a given \(L^2\)-Sobolev space, but also shows that the weighted \(L^2\)-harmonic forms reside in that Sobolev space [7, 14]. This last fact is not clear from the elliptic regularization methods used in [9, 16]. For a discussion of the weak Y(q) condition and its related, nonsymmetrized version, weak Z(q), please see [6, 8,9,10,11] and for discussion on the elliptic regularization method, [7, 14].
The outline of the argument is as follows: we start by proving a basic identity that is well suited to the geometry of M. The problem with basic identities for \(\bar{\partial }_b\) is that the Levi form appears with in a term that also contains the derivative in the totally real direction. The microlocal argument is used to control this term—specifically, we construct a norm based on a microlocal decomposition of our form which allows us to use a version of the sharp Gårding’s inequality and eliminate the T from the inner product term. This allows us to prove a basic estimate (Proposition 4.1) from the basic identity and the main results are due to careful applications of the basic estimate.
The outline of the paper is the following. We conclude this section with statements of our main theorems. In Sect. 2, we define our notation. In Sect. 3, we give some computations in local coordinates and the microlocal decomposition. In Sect. 4, we prove the basic estimate, Proposition 4.1. In Sect. 5, we prove the Theorem 1.2. Many of the consequences of Theorem 1.2 use identical proofs to [9, Theorem 1.2], once we have completed the elliptic regularization argument, established the continuity of \(G_{q,{t}}\) on \(H^s_{0,q}(M)\), and proved the regularity of the weighted harmonic forms. In Sect. 6, we outline how to pass from Theorem 1.2 to Theorem 1.1. We conclude the paper in Sect. 7 with an example.
Theorem 1.1
Let \( M^{2n-1}\) be an embedded \(C^\infty \), compact, orientable CR manifold of hypersurface type that satisfies weak Y(q) for some fixed q, \( 1\le q\le n-2 \). Then the following hold:
-
(1)
The operators \(\bar{\partial }_b:L^2_{0,q}(M)\rightarrow L^2_{0,q+1}(M) \) and \( \bar{\partial }_b: L^2_{0,q-1}(M)\rightarrow L^2_{0,q}(M)\) have closed range;
-
(2)
The operators \( \bar{\partial }_b^{*}:L^2_{0,q+1}(M)\rightarrow L^2_{0,q}(M) \) and \( \bar{\partial }_b^{*}: L^2_{0,q}(M)\rightarrow L^2_{0,q-1}(M)\) have closed range;
-
(3)
The Kohn Laplacian \( \Box _b:=\bar{\partial }_b\bar{\partial }_b^{*}+\bar{\partial }_b^{*}\bar{\partial }_b\) has closed range on \( L^2_{0,q}(M) \);
-
(4)
The complex Green operator \(G_q \) exists and is continuous on \(L^2_{0,q}(M) \);
-
(5)
The canonical solution operators, \(\bar{\partial }_b^{*}G_{q}:L^2_{0,q}(M)\rightarrow L^2_{0,q-1}(M)\) and \( G_{q}\bar{\partial }_b^{*}:L^2_{0,q+1}(M)\rightarrow L^2_{0,q}(M)\) are continuous;
-
(6)
The canonical solution operators, \( \bar{\partial }_bG_{q}:L^2_{0,q}(M)\rightarrow L^2_{0,q+1}(M)\) and \( G_{q}\bar{\partial }_b:L^2_{0,q-1}(M)\rightarrow L^2_{0,q}(M)\) are continuous;
-
(7)
The space of the harmonic forms \(\mathcal {H}_{0,q}(M) \), defined to be the (0,q)-forms annihilated by \( \bar{\partial }_b\) and \( \bar{\partial }_b^{*}\), is finite dimensional;
-
(8)
If \({\tilde{q}} = q\) or \(q+1\) and \(\alpha \in L^2_{0,{\tilde{q}}}\), then there exists \(u \in L^2_{0,{\tilde{q}}-1}\) so that
$$\begin{aligned} \bar{\partial }_bu = \alpha \end{aligned}$$and \(\Vert u\Vert _{{0}} \le C \Vert \alpha \Vert _{{0}}\) for some constant C independent of \(\alpha \);
-
(9)
The Szegö projections \(S_q=I-\bar{\partial }_b^{*}\bar{\partial }_bG_q\) and \(S_{q-1} = I - \bar{\partial }^*_bG_q \bar{\partial }_b\) are continuous on \(L^2_{0,q}(M)\).
In fact, Theorem 1.1 follows immediately from Theorem 1.2 using standard techniques and the fact that the constructed norm \( \left\| \left| \cdot \right| \right\| _{{t}}\) is equivalent to the unweighted norm \(\Vert \cdot \Vert _{{0}}\). We denote the \(L^2\) space with respect to \( \left\| \left| \cdot \right| \right\| _t\) by \(L^2(M, \left\| \left| \cdot \right| \right\| _t)\). Additionally, we use the (equivalent) norm \( \left\| \left| \Lambda ^s \cdot \right| \right\| _t\) on \(H^s(M)\) because with it, we can obtain better constants and denote the \(H^s(M)\) with respect to this measurement by \(H^s(M, \left\| \left| \cdot \right| \right\| _t)\) .
Theorem 1.2
Let \( M^{2n-1} \) be a \( C^\infty \) compact, orientable, weakly Y(q) CR manifold of hypersurface type embedded in \(\mathbb {C}^N\), \(N \ge n\), and \( 1\le q\le n-2 \). For each \(s\ge 0 \) there exists \( T_s\ge 0 \) so that the following hold:
-
i.
The operators \(\bar{\partial }_b:L^2_{0,q}(M, \left\| \left| \cdot \right| \right\| _t){\rightarrow } L^2_{0,q+1}(M, \left\| \left| \cdot \right| \right\| _t)\) and \( \bar{\partial }_b: L^2_{0,q-1}(M, \left\| \left| \cdot \right| \right\| _t)\rightarrow L^2_{0,q}(M, \left\| \left| \cdot \right| \right\| _t)\) have closed range. Additionally, for any \(s>0\) if \( t\ge T_s \), then \( \bar{\partial }_b:H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)} \) and \( \bar{\partial }_b: H^s_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) have closed range.
-
ii.
The operators \( \bar{\partial }^*_{b,{t}}:L^2_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) and \( \bar{\partial }^*_{b,{t}}: L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) have closed range. Additionally, if \( t\ge T_s \), then \( {\bar{\partial }_{b,{t}}^{*}}:H^s_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{{0,}q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) and \( {\bar{\partial }_{b,{t}}^{*}}: H^s_{{0,}q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) have closed range.
-
iii.
The Kohn Laplacian \( \Box _{b,t}:=\bar{\partial }_b\bar{\partial }^*_{b,{t}}+\bar{\partial }^*_{b,{t}}\bar{\partial }_b\) has closed range on \(L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), and if \( t\ge T_s \), \(\Box _{b,t}\) also has closed range on \(H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \).
-
iv.
The space of (weighted) harmonic forms \( \mathcal {H}_{{t}}^q(M)\), defined to be the (0, q)-forms annihilated by \( \bar{\partial }_b\) and \( \bar{\partial }^*_{b,{t}} \), is finite dimensional.
-
v.
The complex Green operator \( G_{q,{t}} \) exists and is continuous on \( L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) and also on \( H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) if \( t\ge T_s \).
-
vi.
The canonical solution operators for \( \bar{\partial }_b\), \( \bar{\partial }^*_{b,{t}} G_{q,{t}}:L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and \( G_{q,{t}}\bar{\partial }^*_{b,{t}}:L^2_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) are continuous. Additionally, \( \bar{\partial }^*_{b,{t}} G_{q,{t}}:H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and \( G_{q,{t}}\bar{\partial }^*_{b,{t}}:H^s_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) are continuous if \( t\ge T_s \).
-
vii.
The canonical solution operators for \( \bar{\partial }^*_{b,{t}} \), \( \bar{\partial }_bG_{q,{t}}:L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and \( G_{q,{t}}\bar{\partial }_b:L^2_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) are continuous. Additionally, \( \bar{\partial }_bG_{q,{t}}:H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q+1}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and \( G_{q,{t}}\bar{\partial }_b:H^s_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) are continuous if \( t\ge T_s \).
-
viii.
The Szegö projections \( S_{q,t}=I-\bar{\partial }^*_{b,{t}}\bar{\partial }_bG_{q,{t}} \) and \( S_{q-1,t}=I-\bar{\partial }^*_{b,{t}} G_{q,{t}}\bar{\partial }_b\) are continuous on \(L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) and \(L^2_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\), respectively. Additionally, if \( t\ge T_s \) then \(S_{q,t} \) and \(S_{q-1,t}\) are continuous on \( H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and \(H^s_{0,q-1}{(M, \left\| \left| \cdot \right| \right\| _t)}\), respectively.
2 Definitions and Notation
2.1 CR Manifolds
Definition 2.1
Let M a smooth manifold of real dimensional \(2n-1\). M is called a CR manifold of hypersurface type if M is equipped with a subbundle of the complexified tangent bundle \(\mathbb {C}T(M)\) denoted by \(\mathbb {L}\) satisfying:
-
(i)
\(\dim _{\mathbb {C}}\mathbb {L}_x=n-1\) where \(\mathbb {L}_x\) is the fiber over \(x\in M\).
-
(ii)
\(\mathbb {L}_x\cap \overline{\mathbb {L}}_x=\left\{ 0\right\} \) where \(\overline{\mathbb {L}}_x\) is the complex conjugate of \(\mathbb {L}_x\).
-
(iii)
If \(L,L'\in \mathbb {L}\), then \(\left[ L,L'\right] :=LL'-L'L\) is in \(\mathbb {L}\).
\(\mathbb {L}\) is called the CR structure of M. Since M is embedded in \(\mathbb {C}^N\), we define \(T_z^{1,0}(M)=T_z^{1,0}(\mathbb {C}^N)\cap T_z(M)\otimes \mathbb {C}\) (under the natural inclusion). Since the complex dimension of the CR structure is \( n-1 \) for all \( z\in M \), we can set \(\mathbb {L}= T^{1,0}(M)=\bigcup _{z\in M}T^{1,0}_z(M) \), and this defines a CR structure on M called the induced CR structure on M.
For this paper, we consider only smooth, orientable CR manifolds of hypersurface type embedded in a complex space \(\mathbb {C}^N\), though our techniques should generalize to Stein manifolds, a topic that we do not pursue here to notational simplicity and clarity. Let \(T^{p,q}(M)\) denote the space of exterior algebra generated by \(T^{1,0}(M)\) and \(T^{0,1}(M)\). Let \(\Lambda ^{p,q}(M)\) denote the bundle of (p, q)-forms on \(T^{p,q}(M)\), that is, \(\Lambda ^{p,q}(M)\) consists of skew-symmetric multilinear maps of \(T^{p,q}(M)\) into \(\mathbb {C}\). Because we are in \(\mathbb {C}^N\), our calculations do not depend on p, and we therefore set \(p=0\) for the remainder of the manuscript.
2.2 \(\bar{\partial }_b\) on Embedded Manifolds
Since \(M \subset \mathbb {C}^N\) for some \(N \ge n\), and our CR structure is the induced one, it is natural to use the induced metric on \(\mathbb {C}T(M)\), denoted by \(\langle \cdot , \cdot \rangle _x\) for each \(x\in M\). The metric \(\langle \cdot ,\cdot \rangle _x\) is compatible with the induced CR structure in the sense that the vector spaces \(T^{1,0}_x\) and \(T^{0,1}_x\) are orthogonal. We use the inner product on \(\Lambda ^{0,q}(M)\) given by
where dV is the volume element on M. The involution condition (iii) in Definition 2.1 means that \( \bar{\partial }_b\) can be defined as the restriction of the de Rham exterior derivative d to \( \Lambda ^{0,q}(M) \).
The Hermitian inner product above gives rise to an \( L^2 \)-norm \( \Vert \cdot \Vert _{{0}} \), and we also denote the closure of \( \bar{\partial }_b\) in this norm by \( \bar{\partial }_b\) (by an abuse of notation). In this way, \( \bar{\partial }_b:L^2_{0,q}(M)\rightarrow L^2_{0,q+1}(M) \) is a well-defined, closed, densely defined operator, and we define \( \bar{\partial }_b^{*}: L^2_{0,q+1}(M)\rightarrow L^2_{0,q}(M) \) to be its \( L^2 \) adjoint. The Kohn Laplacian \( \Box _b:L^2_{0,q}(M)\rightarrow L^2_{0,q}(M) \) is defined as
2.3 The Levi Form
From the CR structure on M, there is a local orthonormal basis \(L_1,...,L_{n-1}\) of the (1, 0)-vector fields in a neighborhood U of a point \(x\in M\). Let \(\omega _1,\dots ,\omega _{n-1}\) be the dual basis of (1, 0)-forms so that \(\langle \omega _j,L_k\rangle = \delta _{jk}\). This means \({\bar{L}}_1,\dots ,{\bar{L}}_{n-1}\) is an orthonormal basis of \(T^{0,1}(U)\) with dual basis \(\bar{\omega }_1,\dots ,\bar{\omega }_{n-1}\) in U. Finally, there is a vector T, taken purely imaginary, so that \(\{L_1,\dots ,L_{n-1},{\bar{L}}_1,\dots ,{\bar{L}}_{n-1}, T\}\) is an orthonormal basis of T(U). Since M is oriented, there exists a globally defined 1-form \(\gamma \) that annihilates \(T^{1,0}(M)\oplus T^{0,1}(M)\) and is normalized so that \(\langle \gamma , T \rangle = -1\).
Definition 2.2
The Levi form at a point \(x\in M\) is the Hermitian form given by \( \left\langle d\gamma _x , L\wedge \bar{L}' \right\rangle \) for any \(L,L'\in T^{1,0}_x(U)\), and U is a neighborhood of \(x\in M\).
Cartan’s formula implies that for any \(L,L'\in T^{1,0}(M)\), we have
In local coordinates, for any \(1 \le j,k \le n-1\),
so that \( \left\langle d\gamma , L_j\wedge \overline{L}_k \right\rangle =c_{jk}\). We will call \(\left[ c_{jk}\right] _{1\le j,k\le n-1}\) the Levi matrix with respect to \(L_1,...,L_{n-1},T\).
Let \(\mu _1,...,\mu _{n-1}\) be the eigenvalues of \(\left[ c_{jk}\right] \) such that \(\mu _1\le \mu _2\le ...\le \mu _{n-1}\). The CR structure is called (strictly) pseudoconvex in some point \( p\in M \) if the matrix \( \left[ c_{jk}(p)\right] \) is positive (definite) semidefinite. If the CR structure is (strictly) pseudoconvex in every point, then it is called (strictly) pseudoconvex.
Now, we introduce the main geometric condition for our CR manifolds, given by Harrington and Raich in [10].
Definition 2.3
For \(1\le q\le n-1\) we say M satisfies Z(q)-weakly if there exists a real \(\Upsilon \in T^{1,1}(M)\) satisfying
-
(A)
\(\left| \theta \right| ^2\ge (i\theta \wedge \overline{\theta })(\Upsilon )\ge 0\) for all \(\theta \in \Lambda ^{1,0}(M)\).
-
(B)
\(\mu _1+\mu _2+{\cdots }+\mu _{q}-i \left\langle d\gamma _x,\Upsilon \right\rangle \ge 0\) where \(\mu _1,...,\mu _{n-1}\) are the eigenvalues of the Levi form at x in increasing order.
-
(C)
\(\omega (\Upsilon )\ne q\) where \(\omega \) is the (1, 1)-form associated to the induced metric on \(\mathbb {C}T(M)\).
We say that M satisfies weak Y(q) if M satisfies both Z(q)-weakly and \(Z(n-q-1)\)-weakly.
For example, it is easy to see that if M is pseudoconvex, then M satisfies weak Z(q) for any \( 1\le q \le n-1\) with \(\Upsilon =0\). Please see [6, 10, 11] for a discussion of the weak Z(q) property. The symmetric hypotheses on form levels on q and \(n-1-q\) are necessary due a Hodge-* operator [3, 18].
Remark 2.4
If M is a CR manifold satisfying Y(q) weakly, then \( \Upsilon \) corresponding to weak Z(q) , which we denote by \(\Upsilon _q\), may be unrelated to the \( \Upsilon \) that corresponds to weak \( Z(n-q-1) \) (similarly denoted by \(\Upsilon _{n-1-q}\)).
Given a function \(\varphi \) defined near M, we define the two form
where \(\nu \) is the real part of the complex normal to M. When we work locally, we often associate \(\Theta ^\varphi \) with the matrix \(\Theta ^\varphi _{jk} = \langle \Theta ^\varphi , L_j \wedge {\bar{L}}_k \rangle \). We know that for such \(\varphi \)
which means \(\Theta ^{|z|^2}= \partial \bar{\partial }|z|^2=-i\omega \) [9, Proposition 3.1].
3 Local Coordinates and Pseudodifferential Operators
3.1 Pseudodifferential Operators
We follow the setup from [17]. By the compactness of M, there exists a finite cover \(\left\{ U_{{\mu }}\right\} _{{\mu }}\), so each \(U_{{\mu }}\) has a special boundary system and can be parameterized by a hypersurface in \(\mathbb {C}^n\) (\(U_{{\mu }}\) may be shrunk as necessary).
Let \(\xi =(\xi _1,...,\xi _{2n-2},\xi _{2n-1})=(\xi ',\xi _{2n-1})\) be the coordinates in Fourier space so that \(\xi '\) is the dual variable to the variables in the maximal complex tangent space and \(\xi _{2n-1}\) is dual to the totally real part of T(M), i.e., the “bad” direction T. Define
\( \mathcal {C}^+ \) and \( \mathcal {C}^- \) are disjoint, but both intersect \( \mathcal {C}^0 \) nontrivially. Next, let \( \psi ^+, \psi ^- \) and \( \psi ^0 \) be smooth functions on the unit sphere so that
Extend \( \psi ^+,\psi ^-, \) and \( \psi ^0 \) homogeneously outside of the unit ball, i.e., if \( \left| \xi \right| \ge 1 \), then
Finally, extend \( \psi ^+,\psi ^- \), and \( \psi ^0 \) smoothly inside the unit ball so that \( (\psi ^+)^2+(\psi ^-)^2+(\psi ^0)^2=1 \) and \(\psi ^+\) and \(\psi ^-\) are supported away from \(B(0,\frac{1}{2})\). For a fixed constant \(A>0\) to be chosen later, define for any \(t>0\),
Let \( \Psi ^+_t,\Psi ^-_t, \) and \( \Psi ^0_t \) be the pseudodifferential operators of order zero with symbols \( \psi ^+_t,\psi ^-_t, \) and \( \psi ^0_t \), respectively. The equality \( (\psi ^+_t)^2+(\psi ^-_t)^2+(\psi ^0_t)^2=1 \) implies that
Suppose \(\psi \) and \(\tilde{\psi }\) are cut-off functions so that \(\tilde{\psi }|_{{{{\,\mathrm{supp}\,}}}\psi }\equiv 1\). If \(\Psi \) and \(\tilde{\Psi }\) are pseudodifferential operators with symbols \(\psi \) and \(\tilde{\psi }\), respectively, then we say that \(\tilde{\Psi }\) dominates \(\Psi \).
For each \({{\mu }} \), let \( \Psi ^+_{{{\mu }},t},\Psi ^-_{{{\mu }},t} \), and \( \Psi ^0_{{{\mu }},t} \) be the operators \(\Psi ^+_t, \Psi ^-_t\), and \(\Psi ^0_t\), respectively, defined on \( U_{{\mu }} \), where \( \mathcal {C}^+_{{{\mu }}},\mathcal {C}^-_{{{\mu }}} \) are \( \mathcal {C}^0_{{{\mu }}}\) be the corresponding regions of \( \xi \)-space dual to \( U_{{\mu }} \). It follows that
Additionally, let \( \tilde{\Psi }^+_{\mu ,t} \) and \( \tilde{\Psi }^-_{\mu ,t} \) be pseudodifferential operators that dominate \( \Psi ^+_{\mu ,t} \) and \( \Psi ^-_{\mu ,t} \), respectively (where \( \Psi ^+_{\mu ,t} \) and \( \Psi ^-_{\mu ,t} \) are defined on some \(U_\mu \) ). If \(\tilde{\mathcal {C}}^+_\mu \) and \(\tilde{\mathcal {C}}^-_\mu \) are the supports of the symbols of \( \tilde{\Psi }^+_{\mu ,t} \) and \( \tilde{\Psi }^-_{\mu ,t} \), respectively, then we can choose \( \left\{ U_\mu \right\} \), \( \tilde{\psi }^+_{\mu ,t} \), and \( \tilde{\psi }^-_{\mu ,t} \) so that the following result holds [16].
Lemma 3.1
(Lemma 4.3, [16]) Let M be a compact, orientable, embedded CR manifold. There is a finite open covering \( \left\{ U_\mu \right\} _\mu \) of M so that if \( U_\mu ,U_{{\mu '}} \in \left\{ U_\mu \right\} \) have nonempty intersection, then there exits a diffeomorphism \( \vartheta \) between \( U_\mu \) and \( U_{{\mu '}} \) with Jacobian \( \mathcal {J}_\vartheta \) such that
-
(i)
\( ^t\mathcal {J}_\vartheta (\mathcal {C}_\mu ^+)\cap \mathcal {C}_{{\mu '}}^-=\emptyset \) and \( \mathcal {C}_{{\mu '}}^+\cap {}^t\mathcal {J}_\vartheta (\mathcal {C}_{{\mu }}^-)=\emptyset \) where \( {^t\mathcal {J}_\theta } \) is the inverse of the transpose of the Jacobian of \( \vartheta \);
-
(ii)
let \( {}^\vartheta \Psi _{t,\mu }^+,{}^\vartheta \Psi _{t,\mu }^- \) and \( {}^\vartheta \Psi _{t,\mu }^0 \) be the transfer of \( \Psi _{t,\mu }^+,\Psi _{t,\mu }^- \), and \( \Psi _{t,\mu }^0 \), respectively, via \( \vartheta \), then on \( \left\{ \xi :\xi _{2n-1}\ge \frac{4}{5}\left| \xi ' \right| \text { and } \left| \xi \right| \ge (1+\varepsilon )tA \right\} \), the principal symbol of \( {}^\vartheta \Psi _{t,\mu }^+ \) is identically equal to 1, on \( \left\{ \xi :\xi _{2n-1}\le -\frac{4}{5}\left| \xi ' \right| \text { and } \left| \xi \right| \ge (1+\varepsilon )tA \right\} \), the principal symbol of \( {}^\vartheta \Psi _{t,\mu }^- \) is identically equal to 1, and on \( \left\{ \xi :-\frac{1}{3}\left| \xi ' \right| \le \xi _{2n-1}\right. \)\(\left. \le \frac{1}{3}\left| \xi ' \right| \text { and } \left| \xi \right| \ge (1+\varepsilon )tA \right\} \), the principal symbol of \( {}^\vartheta \Psi _{t,\mu }^0 \) is identically equal to 1, where \(\varepsilon >0\) and can be very small.
-
(iii)
Let \( {}^\vartheta \tilde{\Psi }_{t,\mu }^+,{}^\vartheta \tilde{\Psi }_{t,\mu }^- \) be the transfer via \( \vartheta \) of \( \tilde{\Psi }_{t,\mu }^+,\tilde{\Psi }_{t,\mu }^- \) respectively. Then the principal symbol of \( {}^\vartheta \tilde{\Psi }_{t,\mu }^+ \) is identically 1 on \( \mathcal {C}_{{\mu '}}^+ \) and the principal symbol of \({}^\vartheta \tilde{\Psi }_{t,\mu }^-\) is identically 1 on \(\mathcal {C}_{{\mu '}}^-\);
-
(iv)
\(\tilde{\mathcal {C}}_{{\mu '}}^+\cap \tilde{\mathcal {C}}_{{\mu '}}^-=\emptyset \).
We will suppress the left superscript \( \vartheta \) as it should be clear from the context which pseudodifferential operator must be transferred. If P is any of the operators \( \Psi _{t,\mu }^+,\Psi _{t,\mu }^- \), or \( \Psi _{t,\mu }^0 \), then it is immediate that
for \( \left| \alpha \right| \ge 0 \), where \( q_\alpha (x,\xi ) \) is bounded independently of t.
3.2 Norms
If \( \phi \) is a real function defined on M, then define the weighted Hermitian inner for (0, q) -forms f and g, denoted by \( \left( f,g\right) _\phi \) by \( \left( f,g\right) _\phi =\left( e^{-\phi }f,g\right) _0 \). For example, if \( f=\sum _{J\in \mathcal {I}_q}f_J\bar{\omega }^J \) is a (0,q)-form supported on neighborhood U, where \( \mathcal {I}_q = \{J = (j_1,\dots ,j_q) : 1 \le j_1< j_2< \cdots < j_q\}\) and \( \omega ^J=\omega _{j_1}\wedge \dots \wedge \omega _{j_q} \). The weighted \(L^2\)-norm on (0, q)-forms is \( {\Vert {f} \Vert }_\phi ^2:=\sum _{J\in \mathcal {I}_q}{\Vert {f_J} \Vert }_\phi ^2\) where \( {\Vert {f_J} \Vert }_\phi ^2=\int _M \left| f_J \right| ^2e^{-\phi }\mathrm{{d}}V \), and we denote the corresponding weighted \(L^2\) space by \(L^2_{0,q}(M,e^{-\phi })\).
We now construct a norm that is well adapted to the microlocal analysis. Let \(\{U_\mu \}_\mu \) be a covering of M that admits the family of pseudodifferential operators \(\{\Psi _{\mu ,t}^{+},\ \Psi _{\mu ,t}^{-} ,\ \Psi _{\mu ,t}^{0}\}\) and a partition of unity \( \left\{ \zeta _\mu \right\} _\mu \) subordinate to the cover satisfying \( \sum _{\mu }\zeta _\mu ^2=1 \). For each \( \mu \) let \( \tilde{\zeta }_\mu \) be a cut-off function that dominates \( \zeta _\mu \) such that \({{\,\mathrm{supp}\,}}\tilde{\zeta }_\mu \subset U_\mu \), and \( \phi ^+ \), \( \phi ^- \) smooth functions defined on M. We define the global inner product and norm as follows:
and
where \( f^{{\mu }} \) and \(g^{\mu }\) are the forms f and g, respectively, expressed in the local coordinates on \( U_\mu \). The superscript \(\mu \) will often omitted. In the case that \(\phi ^+(z) = t|z|^2\) or \(-t|z|^2\) and \(\phi ^-(z) = -t|z|^2\) or \(t|z|^2\), we denote the norm by \( \left\| \left| \cdot \right| \right\| _t\) and in general replace the subscript with t (e.g., we write \(c_t\) for \(c_{\phi ^+,\phi ^-}\)).
For a form f on M, the Sobolev norm of order s is given by the following:
where \( \Lambda \) is the pseudodifferential operator with symbol \( (1+\left| \xi \right| ^2)^{1/2} \). In [16], Nicoara shows that there exist constants \( c_{{\phi ^+,\phi ^-}} \) and \( C_{{\phi ^+,\phi ^-}} \) so that
Additionally, there exists a invertible self-adjoint operator \( E_{{\phi ^+,\phi ^-}} \) so that \( \left( f,g\right) _0=\left( f,E_{{\phi ^+,\phi ^-}} g\right) _{{\phi ^+,\phi ^-}} \), where \( E_{{\phi ^+,\phi ^-}} \) is the inverse of
and this operator is bounded in \( L^2(M) \) independently of \( tA\ge 1 \) (see Corollary 4.6 in [16]).
3.3 \( \bar{\partial }_b\) and its Adjoints
If f is a function on M, then in a local coordinates
and if \( f=\sum _{J\in \mathcal {I}_q} f_J\,\bar{\omega }^J\) is a (0, q)-form, then there exist functions \( m_K^J \) such that
where \( \epsilon _{K}^{jJ}\) is equal to 0 if \( \left\{ K\right\} \ne \left\{ j\right\} \cup J \) and is the sign of the permutation that reorders jJ to K otherwise. We also define
(in this case, \(I\in \mathcal {I}_{q-1}\)). Let \( \bar{L}_j^{*} \) be the adjoint of \( \bar{L}_j \) in \( \left( \ ,\ \right) _0 \), \( \bar{L}^{*,\phi }_j \) be the adjoint of \( \bar{L}_j \) in \( \left( \ ,\ \right) _\phi \). Then on a small neighborhood U we will have \( \bar{L}_j^{*}=-L_j+\sigma _j \) and \( \bar{L}^{*,\phi }_j = -L_j+L_j\phi +\sigma _j\) where \( \sigma _j \) is smooth function on U. Because we will need it later, we observe that there are smooth functions \(d_{sr}^\ell \) and \(\sigma _s\) so that
We denote the \(L^2\) adjoint of \(\bar{\partial }_b\) in \( L^2_{0,q}(M,e^{-\phi })\) by \( \bar{\partial }_b^{*,\phi } \). For the remainder of the paper, \( \phi \) stands for either \( \phi ^{+} \) or \( \phi ^- \) and
though virtually all of our calculations hold for general \(\phi \), up to the point when our calculation require an analysis of the eigenvalues of the Levi form.
To keep track of the terms that arise in our integration by parts, we use the following shorthand for forms f supported in a neighborhood \(U_{{\mu }}\) (recognizing that these operators depend on our choice of neighborhoods \(\{U_{{\mu }}\}\)):
where \( \Upsilon =i\sum _{j,k=1}^{n-1}b^{\bar{k}j}\bar{L}_k\wedge L_j \) is a real (1, 1) vector defined on \( U_\mu \) initially satisfying (A) in Definition 2.3. Again, if \( f=\sum _{J\in \mathcal {I}_q} f_J \,\bar{\omega }^J\) is defined locally, then
and
Note that a consequence of the compactness of M and the boundedness of \(\phi \), the domains of \( \bar{\partial }_b^{*}\) and \( \bar{\partial }_b^{*,\phi } \) are equal. Also we have \( \bar{\partial }_b^{*,\phi }=\bar{\partial }_b^{*}-\left[ \bar{\partial }_b^{*},\phi \right] \). Let \( \bar{\partial }_{b,{t}}^* \) be the adjoint of \( \bar{\partial }_b\) with respect to the inner product \({(\cdot ,\cdot )_t} \). We also define the weighted Kohn Laplacian \(\Box _b\) by \( \Box _{b,t}:=\bar{\partial }_b\bar{\partial }^*_{b,{t}} +\bar{\partial }^*_{b,{t}}\bar{\partial }_b\) where
The computations proving Lemmas 4.8 and 4.9 and equation (4.4) in [16] can be applied here with only a change of notation, so we have the following two results, recorded here as Lemmas 3.2 and 3.3. The consequence is that \( {\bar{\partial }_{b,{t}}^*} \) acts like \( \bar{\partial }_b^{*,\phi ^+} \) (denoted just by \( \bar{\partial }_b^{*,+} \)) for forms whose support is basically \( \mathcal {C}^+ \) and \( \bar{\partial }_b^{*,\phi ^-} \) (denoted just by \( \bar{\partial }_b^{*,-}\)) on forms whose support is basically \( \mathcal {C}^- \).
Lemma 3.2
On smooth (0,q)-forms,
where the error term \( E_A \) is a sum of order zero terms and “lower order” terms. Also, the symbol of \( E_A \) is supported in \( \mathcal {C}_\mu ^0 \) for each \( \mu \).
We use the following energy forms in our calculations:
The space of weighted harmonic forms \( \mathcal {H}_{{t}}^q \) is defined by
We have the following relationship between the energy forms. See [9, Lemma 3.4] or [16, Lemma 4.9].
Lemma 3.3
If f is a smooth (0,q)-form on M, then there exist constants \( K,K_{{t}} \), and \( K' \) with \( K\ge 1 \) so that
K and \( K' \) do not depend on \( t,\phi ^- \) or \( \phi ^+ \).
4 The Basic Estimate
In this section, we compile the technical pieces that will allows us to establish a basic estimate the ground level \(L^2\) estimates for Theorem 1.2 in Sect. 5.
Proposition 4.1
Let \( M^{2n-1} \subset \mathbb {C}^N\) be a smooth, compact, orientable CR manifold of hypersurface type that satisfies weak Y(q) for some fixed \( 1\le q\le n-2 \). Set
There exist constants K and \( K_{{t}} \) where K does not depend on t so that
for t sufficiently large.
The main work in establishing (4.2) is to prove the following:
In order to prove (4.3), we estimate a (0, q)-form f with support in neighborhood U in a generic energy form \(Q_{b,\phi }(f,g) := (\bar{\partial }_bf, \bar{\partial }_bg)_\phi + (\bar{\partial }_b^{*,\phi }f,\bar{\partial }_b^{*,\phi }g)_\phi \). Throughout the estimate, we will make use of three terms, \(E_0(f)\), \({\tilde{E}}_1(f)\), and \({\tilde{E}}_2(f)\) to collect the error terms that we will bound later. We want \(E_0(f) = O({\Vert {f} \Vert }_\phi ^2)\) and
for some collection of smooth functions \(a_{JJ'}\) and \(\tilde{a}_{JJ'}\) that may change line to line.
Integration by parts (see, e.g., [17, Lemma 4.2]) shows that
Developing the commutator terms as in [17, Lemma 4.2] and using the fact that \(L_j =-\bar{L}^{*,\phi }_j+L_j\phi +\sigma _j \), we have the equality
Since
and
it follows that
On the other hand, integration by parts, expanding the commutator terms, and using (4.4), we will have
Motivated by [10, p. 1725], we write \( {\Vert {\nabla _{{\bar{L}}} f} \Vert }_\phi ^2=\left( {\Vert {\nabla _{{\bar{L}}} f} \Vert }_\phi ^2-{\Vert {\overline{\nabla }_\Upsilon f} \Vert }_\phi ^2\right) +{\Vert {\overline{\nabla }_\Upsilon f} \Vert }_\phi ^2 \) and use (4.6) to obtain
Since
where \( (\delta _{jk}) \) is the identity matrix \(I_{n-1}\), we have
Bounding the error terms \( \tilde{E}_1(f) \) and \(\tilde{E}_2(f) \) uses the same argument, and we demonstrate the bound for \(\tilde{E}_1(f)\). Terms of the form \(\sum _{j=1}^{n-1}\left( a_j\bar{L}_j g,h\right) _\phi \) comprise \({\tilde{E}}_1\) for various functions g and h, and we compute
To estimate the first terms, observe that for \(\varepsilon >0\), a small constant/large constant argument shows that
Stepping away from the integration (momentarily), suppose that at some point in U, A is a unitary matrix that diagonalizes the Hermitian matrix \({\bar{B}} = (b^{\bar{j}k})\) of \(\Upsilon \) such that \( \bar{B}=A^*\Lambda A \), where \( \Lambda ={{\,\mathrm{diag}\,}}\left\{ \lambda _1,\dots ,\lambda _{n-1}\right\} \) and \( \lambda _1, \cdots , \lambda _{n-1} \) are the eigenvalues of \( \bar{B} \). Consider \([\bar{L}_j g]\) as a column vector with components \([\bar{L}_j g]_k\). Then since \((1-\lambda _j)^2 \le (1-\lambda _j)\) for all j,
Returning to the integration, we now observe,
For the second term in (4.7), a similar small constant/large constant argument shows
and linear algebra (as above) helps to establish
Summarizing the above, for \( \varepsilon \) sufficiently small and f supported in a small neighborhood, we have
To handle the T terms, we recall the following results. The first is a well-known multilinear algebra result that appears (among other places) in Straube [20]:
Lemma 4.2
Let \(B= \left( b_{jk}\right) _{1\le j,k\le n-1} \) be a Hermitian matrix and \( 1\le q\le n-1\). The following are equivalent:
-
i.
If \( u\in \Lambda ^{0,q} \), then \( \sum _{K\in \mathcal {I}_{q-1}}\sum _{j,k=1}^{n-1} b_{jk}u_{jK}\overline{u_{kK}}\ge M\left| u \right| ^2 \).
-
ii.
The sum of any q eigenvalues of B is at least M.
-
iii.
\( \sum _{s=1}^q\sum _{j,k=1}^{n-1} b_{jk}t_j^s\overline{t_k^s}\ge M \) for any orthonormal vectors \( \left\{ t^s\right\} _{1\le s\le q} \subset \mathbb {C}^{n-1}\).
The next two results are consequences of the sharp Gårding Inequality and appear as [17, Lemma 4.6, Lemma 4.7].
Lemma 4.3
Let f a (0,q)-form supported on U so that up to a smooth term \( \hat{f} \) is supported in \( \mathcal {C}^+ \), and let \( \left[ h_{jk}\right] \) a Hermitian matrix such that the sum of any q eigenvalues is \( \ge 0 \). Then
Lemma 4.4
Let f a (0,q)-form supported on U so that up to a smooth term \( \hat{f} \) is supported in \( \mathcal {C}^- \), and let \( \left[ h_{jk}\right] \) a Hermitian matrix such that the sum of any n-1-q eigenvalues is \( \ge 0 \). Then
Now, we are ready to estimate \( Q_{b,+}(\cdot ,\cdot ) \) and \( Q_{b,-}(\cdot ,\cdot ) \).
Proposition 4.5
Let \( f \in {{\,\mathrm{Dom}\,}}\bar{\partial }_b\cap {{\,\mathrm{Dom}\,}}\bar{\partial }_b^{*}\) be a (0, q)-form supported in U and let \(\phi ^{+}\) be as in (4.1). Then there exists a constant C so that
Proof
By (4.8), the fact that the Fourier transform of \(\tilde{\zeta }\Psi _t^+f \) is supported in \(\mathcal {C}^+\) up to smooth term, and Proposition 4.3, we have
By choosing \( A\ge {\sup _{z \in M}}\frac{1}{2}\left| \nu (\left| z \right| ^2) \right| \), Lemma 4.2 implies that
for some constants C and \( B_{\phi ^+} \) where \(B_{\phi ^+}\) satisfies \( \left| q-\omega (\Upsilon _q) \right| >B_{\phi ^+} \) on M. \(\square \)
In order to estimate the terms \( Q_{b,-}(\tilde{\zeta }\Psi _t^-f,\tilde{\zeta }\Psi _t^-f) \) we have to modify the analysis slightly from the \(Q_{b,+}\) case. Similarly to (4.5), we have
Analogously to (4.6), we have
It now follows from (4.9) and (4.10) that
If we set
then we can rewrite (4.11) by
Since the sum of q eigenvalues of the matrix \( \frac{Tr(H)}{q}Id - H \) is equal to sum of \( (n-1-q) \) eigenvalues of the matrix H, we may now proceed as in the proof of (4.5) to obtain the following proposition.
Proposition 4.6
Let \( f \in {{\,\mathrm{Dom}\,}}\bar{\partial }_b\cap {{\,\mathrm{Dom}\,}}\bar{\partial }_b^{*}\) be a (0, q)-form supported in U and let \(\phi \) be as in (4.1). Then there exists a constant C so that
In contrast with the estimates in Lemmas (4.5) and (4.6) for forms supported on \( \mathcal {C}^+ \) and \( \mathcal {C}^- \) up to smooth terms, we have better estimates for forms supported on \( \mathcal {C}^0 \) up to smooth terms. The next lemma can be proved like using the same process done in Lemma 4.17 and Lemma 4.18 on [16].
Lemma 4.7
Let f be a (0,q)-form supported in \( U_{{\mu }} \) for some \( {\mu } \) such that up to smooth term, \( \hat{f} \) is supported in \( \widetilde{\mathcal {C}}^0_{{\mu }} \). There exist positive constants \( C>1 \) and \( \Gamma \) independent of t for which
The other term appearing in our main estimate, \( O\big ({\Vert {\tilde{\zeta } \widetilde{\Psi }_{{t}}^0 \cdot } \Vert }_0^2\big )\), can be handled with [17, Proposition 4.11].
Proposition 4.8
For any \( \epsilon >0 \), there exists \( C_{\epsilon ,{t}} >0\) so that
We are finally ready to proof Proposition 4.1.
Proof of the Proposition 4.1
We only need to set the value of the constant \( K, K' \), and \( K_{{t}} \) in Lemma 3.3 according to the Propositions 4.5 and 4.6. From the definition of \( \left\| \left| \cdot \right| \right\| _{{t}} \), the estimate (4.3) follows.
The passage from (4.3) to the basic estimate (4.2) follows immediately from Lemma 4.7 and Proposition 4.8. \(\square \)
5 The Proof of Theorem 1.2
Now that we have the tools of Sect. 4, we can prove strong closed range estimates using many of the arguments of [9]. We do, however, use a substantially different elliptic regularization to pay particular attention to the regularity of the weighted harmonic forms, the relationship of the harmonic forms with the regularized operators, and an especially detailed look at the induction base case.
Lemma 5.1
(Lemma 5.1, [9]) Let M be a smooth, embedded \( \textit{CR}\) manifold of hypersurface type that satisfies Y(q) weakly. If \( t>0 \) is suitably large and the functions \(\phi ^+,\phi ^-\) are as in (4.1), then
-
(i)
\( \mathcal {H}_{{t}}^q \) is finite dimensional;
-
(ii)
There exists C that does not depend on \( \phi ^+ \) and \( \phi ^- \) so that for all (0, q) -forms \( u \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\) satisfying \( u\perp \mathcal {H}_{{t}}^q \) (with respect to \( (\cdot ,\cdot )_{{t}} \)) we have
$$\begin{aligned} \left\| \left| u \right| \right\| _{{t}}^2\le CQ_{b,{t}}(u,u). \end{aligned}$$(5.1)
By [5, Theorem 1.1.2], \( \bar{\partial }_b:L^2_{0,q}(M, { \left\| \left| \cdot \right| \right\| _t})\rightarrow L^2_{0,q+1}(M, { \left\| \left| \cdot \right| \right\| _t})\) and \( \bar{\partial }^*_{b,{t}}:L^2_{0,q}(M, { \left\| \left| \cdot \right| \right\| _t})\rightarrow L^2_{0,q-1}(M, { \left\| \left| \cdot \right| \right\| _t}) \) have closed range. Consequently, their adjoints \( \bar{\partial }_b:L^2_{0,q-1}(M, { \left\| \left| \cdot \right| \right\| _t})\rightarrow L^2_{0,q}(M, { \left\| \left| \cdot \right| \right\| _t})\) and \( \bar{\partial }^*_{b,{t}}:L^2_{0,q+1}(M, { \left\| \left| \cdot \right| \right\| _t})\rightarrow L^2_{0,q}(M, { \left\| \left| \cdot \right| \right\| _t}) \) have closed range as well [5, Theorem 1.1.1].
5.1 Continuity of the Green operator \( G_{q,{t}} \)
The complex Green operator \(G_{q,t}\) is the inverse to \(\Box _{b,t}\) on \(\mathcal {H}_{q,t}^{\perp }(M)\) (and is defined to be 0 on \(\mathcal {H}_{q,t}(M)\)). Recall the following well-known lemma. See, e.g., [4, 16].
Lemma 5.2
Let H be a Hilbert space equipped with the inner product \( \left( \cdot ,\cdot \right) \), corresponding norm \( \Vert \cdot \Vert \), and a positive definite Hermitian form Q defined on a dense subset \( D\subset H \) satisfying
for all \( \varphi \in D \). Furthermore, D and Q are such that D is a Hilbert space under the inner product \( Q(\cdot ,\cdot ) \). Then there exists a unique self-adjoint injective operator F with \( {{\,\mathrm{Dom}\,}}(F) \subset D\) satisfying
for all \( \varphi \in {{\,\mathrm{Dom}\,}}(F) \) and \( \phi \in D \). F is called the Friedrich’s representative.
In order to use the result above, we prove a density result on \({^\perp \mathcal {H}_{{t}}^q}(M)\).
Lemma 5.3
\( \left( {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\cap {^\perp \mathcal {H}_{{t}}^q}(M),Q_{b,{t}}(\cdot ,\cdot )^{1/2}\right) \) is a Hilbert space (for (0, q) -forms), and \( {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\cap {^\perp \mathcal {H}_{{t}}^q}(M) \) is dense in \( ^\perp \mathcal {H}_{{t}}^q \).
Proof
Suppose \(\{u_\ell \} \subset {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\cap {^\perp \mathcal {H}_{{t}}^q}(M) \) is a Cauchy sequence with respect to the norm \( Q_{b,{t}}(\cdot ,\cdot )^{1/2} \). Then \( \bar{\partial }_bu_\ell \) and \( \bar{\partial }^*_{b,{t}} u_\ell \) are Cauchy sequences in \( L^2_{0,q+1}(M,{ \left\| \left| \cdot \right| \right\| _t}) \) and \( L^2_{0,q-1}(M,{ \left\| \left| \cdot \right| \right\| _t}) \), respectively, so they converge to \( v_1\in L^2_{0,q+1}(M,{ \left\| \left| \cdot \right| \right\| _t}) \) and \( v_2\in L^2_{0,q-1}(M,{ \left\| \left| \cdot \right| \right\| _t}) \), respectively. By (5.1), this means \( \{u_\ell \} \) is a Cauchy sequence in \( L^2_{0,q}(M,{ \left\| \left| \cdot \right| \right\| _t}) \), and hence converges to some \( u\in L^2_{0,q}(M,{ \left\| \left| \cdot \right| \right\| _t}) \). Thus \( u\in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\), \( \bar{\partial }_bu=v_1 \), and \( \bar{\partial }^*_{b,{t}} u=v_2 \) since \( \bar{\partial }_b\) and \( \bar{\partial }^*_{b,{t}} \) are closed operators. Since \( 0=\left( u_\ell ,w\right) _{{t}} \) for all \( w\in \mathcal {H}_{{t}}^q \) and \( \left\| \left| u_\ell -u \right| \right\| _{{t}} \rightarrow 0\), \( u\in {^\perp \mathcal {H}_{{t}}^q}(M) \). Thus \( u\in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\cap {^\perp \mathcal {H}_{{t}}^q }\).
Next, suppose \( u\in {^\perp \mathcal {H}_{{t}}^q}(M) \) is nonzero and \( u_\ell \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\) satisfies \( u_\ell \rightarrow u \) on \( L^2_{0,q}(M,{ \left\| \left| \cdot \right| \right\| _t}) \). Let \( v_\ell =(I-H^q_{{t}} )u_\ell \), with \( H^q_{{t}} \) the orthogonal projection onto \( \mathcal {H}_{{t}}^q \) . The forms \( v_\ell \in {^\perp \mathcal {H}_{{t}}^q}(M) \cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\). Since \(u\ne 0\), it cannot be the case that \( v_\ell =0\) for every \( \ell \). Since \( \left\| \left| u_\ell \right| \right\| _{{t}}^2= \left\| \left| H^q_{{t}} u_\ell \right| \right\| _{{t}}^2+ \left\| \left| v_\ell \right| \right\| _{{t}}^2 \), and the forms \(H^q_{{t}} u_\ell \) and \(v_\ell \) are orthogonal, \( H^q_{{t}} u_\ell \) and \( v_\ell \) both converge in \( L^2_{0,q}(M,{ \left\| \left| \cdot \right| \right\| _t}) \). Let \( \alpha =\lim _{\ell \rightarrow \infty } H^q_{{t}} u_\ell \), \( v=\lim _{\ell \rightarrow \infty } v_\ell \), and since \( H^q_{{t}} u_\ell =u_\ell -v_\ell \), \( \alpha =u-v\in {^\perp \mathcal {H}_{{t}}^q}(M) \). However, \( \alpha \in \mathcal {H}_{{t}}^q \) since \( \mathcal {H}_{{t}}^q \) is closed, forcing \( \alpha =0 \). Thus, \( \left\| \left| u-v_\ell \right| \right\| _{{t}}\le \left\| \left| u-u_\ell \right| \right\| _{{t}}+ \left\| \left| H^q_{{t}} u_\ell \right| \right\| _{{t}}\rightarrow 0 \). Consequently \( {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\cap {^\perp \mathcal {H}_{{t}}^q}(M) \) is dense in \({^\perp \mathcal {H}_{{t}}^q}(M) \). \(\square \)
We now can establish the existence and \(L^2\)-continuity of the complex Green operator \(G_{q,{t}}\) using the following well-known result (we adapt the presentation and argument in [16, Corollary 5.5]).
Corollary 5.4
Let M be a smooth compact, orientable embedded CR manifold of hypersurface type that satisfies weak Y(q). If \( t >0\) is suitable large, \(\phi ^+,\phi ^-\) are as in (4.1), and \( \alpha \in {^\perp \mathcal {H}}_{{t}}^q \), then there exists a unique \( \varphi _t\in {^\perp \mathcal {H}}_{{t}}^q\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\) such that
We define the Green operator \( G_{q,{t}} \) to be the operator that maps \( \alpha \) into \( \varphi _t \). \( G_{q,{t}} \) is a bounded operator, and if additionally \( \alpha \) is closed, then \( u_t=\bar{\partial }^*_{b,{t}} G_{q,{t}}\alpha \) satisfies \( \bar{\partial }_bu_t=\alpha \). We define \( G_{q,{t}} \) to be identically 0 on \( \mathcal {H}_{{t}}^q \).
5.2 Smoothness of Harmonic Forms
Here we will prove that \( \mathcal {H}_{{t}}^q \subset H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) for t sufficiently large. We adapt the arguments of [7, 14]. See also [12, 16].
Fix \(s\ge 1\). For forms \(f,g \in H^1_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\), set
where \( Q_{d_b}(\cdot ,\cdot ) \) is the Hermitian inner product associated to the de Rham exterior derivative \( d_b \), i.e., \( Q_{d_b}(u,v)=\left( d_bu,d_bv\right) _{{t}}+ \left( d_{b,{t}}^*u,d_{b,{t}}^*v\right) _{{t}}\), and \( \delta , \nu \ge 0\). Also note that \( Q_{b,{t}}^{0,\nu }(f,g) =Q_{b,{t}}(f,g)+\nu \left( f,g\right) _{{t}}\) for \( f,g \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\). Then
for all \(\varphi \in H^1_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) if \(\delta >0\) and all \(\varphi \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\) if \(\delta =0\). By the Lemma 5.2 there exist self-adjoint operators (for \(0 \le \delta \le 1\) and \(0 < \nu \le 1\)) \( \Box _{b,{t}}^{\delta ,\nu }:{{\,\mathrm{Dom}\,}}(\Box _{b,{t}}^{\delta ,\nu }) \rightarrow L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), with inverses \( G_{q,{t}}^{\delta ,\nu }:L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\rightarrow {{\,\mathrm{Dom}\,}}(\Box _{b,{t}}^{\delta ,\nu }) \) satisfying
for all \(\varphi \in L^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) and all \(\delta \in [0,1]\).
Our goal is to prove
In fact, (5.4) is the main tool that we need to prove that \( \mathcal {H}_{{t}}^q(M)\subset H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), for t sufficiently large. Given (5.4), the argument for regularity of the harmonic forms follows nearly verbatim from [12, Proposition 5.2], from equation (5.20) onwards. Equation (5.4) plays the role of [12, (5.20)].
We now prove (5.4). The operator \(\Box _{b,{t}}^{\delta ,\nu }\) is elliptic when \(\delta >0\) which means that \( G_{q,{t}}^{\delta ,\nu }: H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \rightarrow H^{s+2}_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \).
If \( \varphi \in H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), then
Since \( G_{q,{t}}^{\delta ,\nu }\varphi \in H^{s+2}_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), the basic estimate yields
A careful integration by parts shows that
We next apply the same sequence of integration by parts and commutators to the other terms in \(Q_{b,{t}}^{\delta ,\nu }(\Lambda ^sG_{q,{t}}^{\delta ,\nu }\varphi ,\Lambda ^sG_{q,{t}}^{\delta ,\nu }\varphi )\). Using a small constant/large constant argument and the fact that \(\bar{\partial }_{b,{t}}^*= \bar{\partial }^*_b+t P_0\) where \(P_0\) is a (pseudo)differential operator of order 0, we can absorb terms to obtain
where C does not depend \( t,s,\delta \), or \(\nu \), and \( C_s \) does not depend on \( t,\delta \), or \(\nu \). By (5.5), for t sufficiently large
By induction, we can reduce the \(H^{s-1}\)-norm to an \(L^2\)-norm, and by (5.3), we observe
uniformly in \( \delta >0 \). Then there exists a sequence \(\{G_{q,{t}}^{\delta _k,\nu }\varphi \}_k \) converging weakly to an element \( u_\nu \) in \( H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \) when \( \delta _k\rightarrow 0 \), and satisfying both
Since \(H^s_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) embeds compactly in \(H^{s'}_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\), it follows that \(G_{q,{t}}^{\delta _k,\nu }\varphi \rightarrow u_\nu \) strongly in \(H^{s'}_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)}\) for \(0 \le s' < s\). Also, observe that the next conclusion is not automatic in the \(s=1\) case.
and, moreover, \( \bar{\partial }_bG_{q,{t}}^{\delta _k,\nu }\varphi \) and \( \bar{\partial }^*_{b,{t}} G_{q,{t}}^{\delta _k,\nu }\varphi \) are Cauchy sequences in \(L^2\). Indeed, assuming \( \delta _k\le \delta _j \) we have
Since \( \bar{\partial }_b\) and \( \bar{\partial }^*_{b,{t}} \) are closed operators it follows that \( u_\nu \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\), \( \bar{\partial }_bG_{q,{t}}^{\delta _k,\nu }\varphi \rightarrow \bar{\partial }_bu_\nu \) and \( \bar{\partial }^*_{b,{t}} G_{q,{t}}^{\delta _k,\nu }\varphi \rightarrow \bar{\partial }^*_{b,{t}} u_\nu \) in \(L^2\). This means \( G_{q,{t}}^{\delta _k,\nu }\varphi \) converges strongly to \( u_\nu \) in the \( Q_{b,{t}}^{0,\nu }(\cdot ,\cdot ) ^{1/2} \)-norm. Thus, we will have, for any \( v\in H^2_{0,q}{(M, \left\| \left| \cdot \right| \right\| _t)} \), by (5.3),
It now follows that \( G_{q,{t}}^{0,\nu }\varphi =u_\nu \) and by (5.7), (5.4) now follows.
5.3 Regularity of the Green Operator and the Canonical Solutions
In this section we assume t is sufficiently large and the weighted harmonic (0, q)-forms, if they exist, are elements of \(H^1_{0,q}(M)\ne \left\{ 0\right\} \). We use an elliptic regularization argument. The operator \(G_{q,{t}}:L^2_{0,q}(M, \left\| \left| \cdot \right| \right\| _t) \rightarrow L^2_{0,q}(M, \left\| \left| \cdot \right| \right\| _t) \cap {} ^\perp \mathcal {H}^q_t(M)\). Consequently, the regularity result for \( G_{q,{t}} \) must be on \({^\perp \mathcal {H}_{{t}}^q}(M)\cap H^s_{0,q}(M)\) for \( s\ge 0 \). Continuity on all of \(H^s_{0,q}(M)\) then follows because we already established that harmonic forms are elements of \(H^s_{0,q}(M)\).
The quadratic form \( Q_{q,{t}}^\delta (\cdot ,\cdot ) := Q_{q,{t}}^{\delta ,0}(\cdot ,\cdot )\) is an inner product on \(H^1_{0,q}(M)\). By (5.1),
for all \( u\in H^1_{0,q}(M) \cap {^\perp \mathcal {H}_{{t}}^q}(M)\). If \( f\in L^2_{0,q}(M) \), then
for all \( g\in {^\perp \mathcal {H}_{{t}}^q}(M) \cap H^1_{0,q}(M)\). This means the mapping \(g \mapsto \left( f,g\right) _{{t}} \) is a bounded conjugate linear functional on \({^\perp \mathcal {H}_{{t}}^q}(M)\cap H^1_{0,q}(M) \). By the Riesz Representation Theorem, there exists an element \( G_{q,{t}}^\delta f\in {^\perp \mathcal {H}_{{t}}^q}(M)\cap H^1_{0,q}(M) \) such that \( \left( f,g\right) _{{t}}=Q^\delta _{b,{t}}(G^\delta _{q,{t}}f,g) \) for all \( g\in {^\perp \mathcal {H}_{{t}}^q}(M)\cap H^1_{0,q}(M)\). Moreover, by (5.9)
where C is independent of \( \delta \). Consequently,
Since \( Q^\delta _{b,{t}}(\cdot ,\cdot ) \) satisfies \( Q^\delta _{b,{t}}(f,f) \ge \delta \left\| \left| \Lambda ^1 f \right| \right\| _t^{{2}}\) for every \( f\in H^1_{0,q}(M)\), the bilinear form \( Q^\delta _{b,{t}}(\cdot ,\cdot ) \) is elliptic on \( H^1_{0,q}(M)\). This means that \( \varphi \in H^s_{0,q}(M)\) implies \( G^\delta _{q,{t}}\varphi \in H^{s+2}_{0,q}(M) \) (before, we only knew that \( G^\delta _{q,{t}}\varphi \in {^\perp \mathcal {H}_{{t}}^q}(M)\cap H^1_{0,q}(M)\)).
Let \( \varphi \in H^s_{0,q}(M) \), then
We apply the basic estimate to \( G_{q,{t}}^\delta \varphi \in H^{s+2}_{0,q}(M) \) and observe
Using the argument of (5.6), we can establish
where C is independent of \( t,s,\delta \), and \( \nu \) and \( C_s \) is independent of \( t,\delta \), and \(\nu \).
Plugging (5.13) into (5.12) and choosing t sufficiently large to absorb terms, we have
since \( \left\| \left| \Lambda ^sG^\delta _{q,{t}}\varphi \right| \right\| _{{t}} <\infty \). Plugging (5.14) into (5.11), it follows that
Using (5.10) and induction, we estimate
With (5.15) in hand, we now turn to sending \(\delta \rightarrow 0\), in a similar manner to [9]. If \( \varphi \in H^s_{0,q}(M)\), then \( \left\{ G^\delta _{q,{t}}\varphi : 0<\delta <1\right\} \) is bounded in \( H^s_{0,q}(M)\), so there exists \( \delta _k\rightarrow 0 \) and \( \tilde{u}\in H^s_{0,q}(M)\) so that \( G^{\delta _k}_{q,t}\varphi \rightarrow \tilde{u} \) weakly in \( H^s_{0,q}(M)\). Since the inclusion of \( H^s_{0,q}(M)\) in \( L^2_{0,q}(M) \) is compact, we have \( G^{\delta _k}_{q,t}\varphi \rightarrow \tilde{u} \) strongly in \( L^2_{0,q}(M) \) and \( \tilde{u}\in {^\perp \mathcal {H}_{{t}}^q}(M) \). Also
Also,
and, as in the previous section, we can prove \( \bar{\partial }_bG^{{\delta _k}}_{q,t}\varphi \) and \( \bar{\partial }^*_{b,{t}} G^{{\delta _k}}_{q,t}\varphi \) are Cauchy sequences in \(L^2_{0,q}(M)\). Since \( \bar{\partial }_b\) and \( \bar{\partial }^*_{b,{t}} \) are closed operators we will have \( \tilde{u} \in {{\,\mathrm{Dom}\,}}(\bar{\partial }_b)\cap {{\,\mathrm{Dom}\,}}(\bar{\partial }_b^{*})\), \( \bar{\partial }_bG_{q,{t}}^{\delta }\varphi \rightarrow \bar{\partial }_b\tilde{u} \) and \( \bar{\partial }^*_{b,{t}} G_{q,{t}}^{\delta }\varphi \rightarrow \bar{\partial }^*_{b,{t}} \tilde{u} \) in \(L^2_{0,q}(M)\), and
Consequently if \( v\in H^{s+2}_{{0,q}}{(M)} \), then \( \lim Q^{\delta _k}_{b,t}(G^{\delta _k}_{q,t}\varphi ,v)=Q_{b,{t}}(\tilde{u},v) \). However, \( Q^{\delta _k}_{b,t}(G^{\delta _k}_{q,t}\varphi ,v)=\left( \varphi ,v\right) _{{t}}= Q_{b,{t}}(G_{q,{t}}\varphi ,v)\). So by uniqueness \( G_{q,{t}}\varphi =\tilde{u}\) and (5.16) we have
and by (5.17)
These two last equations prove the continuity of \( G_{q,{t}} \) on \( H^s_{0,q}(M)\) and as well as \( \bar{\partial }_bG_{q,{t}} \) and \( \bar{\partial }^*_{b,{t}} G_{q,{t}} \) on \(L^2_{0,q}(M)\).
The remainder of the proof of Theorem 1.2 follows from (by now) standard arguments. See, e.g., the proof of [9, Theorem 1.2], and Sect. 6, in particular.
6 Proof of the Theorem 1.1
Since the \(L^2(M,{ \left\| \left| \cdot \right| \right\| _t})\) and \(L^2(M)\) are equivalent spaces, it is immediate that \(\bar{\partial }_b:L^2_{0,{\tilde{q}}-1}(M)\rightarrow L^2_{0,{\tilde{q}}} (M)\) has closed range for \({\tilde{q}} = q\) or \(q+1\). Moreover, by [5, Theorem 1.1.1], their adjoints \(\bar{\partial }^*_b: L^2_{0,{\tilde{q}}}(M)\rightarrow L^2_{0,{\tilde{q}}-1}(M)\), \({\tilde{q}} = q\) or \(q+1\) have closed range as well. Moreover, the dimension of the space of harmonic (0, q)-forms is independent of the weight and is therefore finite (see, e.g., [18, p.772] or [12]). Standard arguments now establish the rest of Theorem 1.1.
7 Examples
In this section, we modify the main example of [10] and show how the flexibility of choosing \(\Upsilon \) makes it easier to verify than the older weak Y(q) condition of [9].
Let \(M\subset \mathbb {C}^5\) be the boundary of a domain \(\Omega \) so that on neighborhood U of the origin so that
We set
where the polynomial
Observe that
and
We choose a basis for \(T^{1,0}(M\cap U)\) by setting
In this basis, we can represent the Levi form by the \(4\times 4\) matrix
Since \((c_{jk})\) has three positive eigenvalues whenever either \(z_2\ne 0\) or both \(x\ne 0\) and \(y\ne 0\), it follows that Z(2) is satisfied on a dense subset of \(M\cap U\).
Proposition 7.1
The CR manifold M satisfies weak Y(2) on \(M\cap U\).
Proof
The construction of \(\Upsilon \) in the proof of [10, pp. 1747–1748] works here as well. Moreover, since \(\mu _3>0\), it is immediate that we can use the same form \(\Upsilon \) for both the weak \(Z(2)=Z(5-2-1)\) and weak Z(3) cases. \(\square \)
Showing that the older weak Z(2) condition fails is quite difficult—showing that the condition fails in all choices of coordinates amounts to solving a nonlinear problem. Specifically, we know that the signature of the Levi form does not change, but the eigenvalues certainly can. Computing eigenvalues after coordinate changes or changes of metric is nonlinear and is already quite difficult in the \(4\times 4\) case. We also point out that none of the weak Y(q) conditions are invariant under the metric as an example from [10] shows (no condition that depends on sums of eigenvalues is likely to be invariant under changes of metric).
References
Baracco, L.: The range of the tangential Cauchy–Riemann system to a CR embedded manifold. Invent. Math. 190(2), 505–510 (2012)
Boas, H., Shaw, M.-C.: Sobolev estimates for the Lewy operator on weakly pseudoconvex boundaries. Math. Ann. 274, 221–231 (1986)
Biard, S., Straube, E.: \(L^2\)-Sobolev theory for the complex Green operator. Int. J. Math. 28(9), 1740006–31 (2017)
Folland, G.B., Kohn, J.J.: The Neumann Problem for the Cauchy–Riemann Complex. Annals of Mathematics Studies. Princeton University Press, Princeton (1972)
Hörmander, L.: \({L}^{2}\) estimates and existence theorems for the \(\bar{\partial }\) operator. Acta Math. 113, 89–152 (1965)
Harrington, P.S., Peloso, M.M., Raich, A.S.: Regularity equivalence of the Szegö projection and the complex Green operator. Proc. Am. Math. Soc. 143(1), 353–367 (2015). arXiv:1305.0188
Harrington, P., Raich, A.: Strong closed range estimates for the Cauchy–Riemann operator. Submitted
Harrington, P.S., Raich, A.: Closed range of \(\bar{\partial }\) on unbounded domains in \(\mathbb{C}^n\). J. Anal. Math. 138(1), 185–208 (2019)
Harrington, P., Raich, A.: Regularity results for \(\bar{\partial }_b\) on CR-manifolds of hypersurface type. Commun. Partial Differ. Equ. 36(1), 134–161 (2011)
Harrington, P., Raich, A.: Closed range for \(\bar{\partial }\) and \(\bar{\partial }_b\) on bounded hypersurfaces in Stein manifolds. Ann. Inst. Fourier 65(4), 1711–1754 (2015)
Harrington, P.S., Raich, A.: Closed range of \(\bar{\partial }\) in \(L^2\)-Sobolev spaces on unbounded domains in \(\mathbb{C} ^n\). J. Math. Anal. Appl. 459(2), 1040–1461 (2018). arXiv:1704.07507
Kohn, J.J.: Global regularity for \(\bar{\partial }\) on weakly pseudo-convex manifolds. Trans. Am. Math. Soc. 181, 273–292 (1973)
Kohn, J.J.: The range of the tangential Cauchy–Riemann operator. Duke Math. J. 53, 525–545 (1986)
Khanh, T.V., Raich, A.: The Kohn-Laplace equation on abstract CR manifolds: global regularity. Trans. Am. Math. Soc. (to appear). arXiv:1612.07445
Kohn, J.J., Rossi, H.: On the extension of holomorphic functions from the boundary of a complex manifold. Ann. Math. 81, 451–472 (1965)
Nicoara, A.: Global regularity for \(\bar{\partial }_b\) on weakly pseudoconvex CR manifolds. Adv. Math. 199, 356–447 (2006)
Raich, A.: Compactness of the complex Green operator on CR-manifolds of hypersurface type. Math. Ann. 348(1), 81–117 (2010)
Raich, A., Straube, E.: Compactness of the complex Green operator. Math. Res. Lett. 15(4), 761–778 (2008)
Shaw, M.-C.: \({L}^2\)-estimates and existence theorems for the tangential Cauchy–Riemann complex. Invent. Math. 82, 133–150 (1985)
Straube, E.: Lectures on the \({\cal{L}}^2\)-Sobolev Theory of the \(\bar{\partial }\)-Neumann Problem. ESI Lectures in Mathematics and Physics. European Mathematical Society (EMS), Zürich (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was completed while the first author visited the University of Arkansas and also while the second author visited the Universidade Federal de São Carlos. The authors wish to express their deep gratitude to both the institutions. This work was supported in part by CAPES (88881.135461/2016-01) and FAPESP (Grant Number 2018/02663-0).
Rights and permissions
About this article
Cite this article
Coacalle, J., Raich, A. Closed Range Estimates for \(\bar{\partial }_b\) on CR Manifolds of Hypersurface Type. J Geom Anal 31, 366–394 (2021). https://doi.org/10.1007/s12220-019-00268-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00268-2
Keywords
- Weak Z(q)
- Weak Y(q)
- Tangential Cauchy–Riemann operator
- \(\bar{\partial }_b\)
- Closed range
- Microlocal analysis