Closed range estimates for $\bar\partial_b$ on CR manifolds of hypersurface type

TL;DR

This paper establishes new, more general conditions called weak Y(q) for the closed range of the ar_b operator on CR manifolds of hypersurface type, with applications to estimates and regularity of harmonic forms.

Contribution

It introduces the weak Y(q) condition, a broader and more verifiable criterion for closed range estimates of ar_b on CR manifolds of hypersurface type.

Findings

Weak Y(q) condition is easier to verify than previous conditions.

Established closed range estimates for ar_b in L^2 and Sobolev spaces.

Applications include Szeg
51 projection estimates and regularity of harmonic forms.

Abstract

The purpose of this paper is to establish sufficient conditions for closed range estimates on $(0,q)$-forms, for some fixed $q$, $1 \leq q \leq 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\"o 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.

Equations

$${\bar{\partial }}_{b}u=\alpha$$

$$(\phi ,\psi {)}_0={\int }_M⟨\phi ,\psi {⟩}_{x}dV$$

$${\square }_b:={\bar{\partial }}_b^{\ast }{\bar{\partial }}_b+{\bar{\partial }}_b{\bar{\partial }}_b^{\ast }.$$

$$⟨d\gamma ,L\wedge {\bar{L}}^{\prime }⟩=-⟨\gamma ,\left[L,{\bar{L}}^{\prime }\right]⟩.$$

$$\left[L_j,{\overline{L}}_k\right]=c_{jk}Tmod{T}^{1,0}(U)\oplus T^{0,1}(U)$$

$$\Theta^{\varphi}=\frac{1}{2}\Big{(}\partial_{b}\bar{\partial}_{b}\varphi-\bar{\partial}_{b}\partial_{b}\varphi\Big{)}+\frac{1}{2}\nu(\varphi)\,d\gamma$$

$$\Big{\langle}\frac{1}{2}\big{(}\partial\bar{\partial}\varphi-\bar{\partial}\partial\varphi\big{)},L\wedge\bar{L}\Big{\rangle}=\big{\langle}\Theta^{\varphi},L\wedge\bar{L}\big{\rangle}$$

$${\mathcal{C}}^{+}$$

$${\mathcal{C}}^0$$

$${\psi }^{+}(\xi )$$

$${\psi }^{-}(\xi )$$

$${\psi }^0(\xi )$$

$${\psi }^{+}(\xi )={\psi }^{+}(\xi /\left|\xi \right|),{\psi }^{-}(\xi )={\psi }^{-}(\xi /\left|\xi \right|),\text{ and }{\psi }^0(\xi )={\psi }^0(\xi /\left|\xi \right|).$$

$${\psi }_t^{+}(\xi )={\psi }^{+}(\xi /(tA)),{\psi }_t^{-}(\xi )={\psi }^{-}(\xi /(tA)),\text{ and }{\psi }^0(\xi )={\psi }^0(\xi /(tA)).$$

$$({\Psi }_t^{+}{)}^{\ast }{\Psi }_t^{+}+({\Psi }_t^{-}{)}^{\ast }{\Psi }_t^{-}+({\Psi }_t^0{)}^{\ast }{\Psi }_t^0=I.$$

$$({\Psi }_{\mu ,t}^{+}{)}^{\ast }{\Psi }_{\mu ,t}^{+}+({\Psi }_{\mu ,t}^{-}{)}^{\ast }{\Psi }_{\mu ,t}^{-}+({\Psi }_{\mu ,t}^0{)}^{\ast }{\Psi }_{\mu ,t}^0=I.$$

$$D_{\xi }^{\alpha }\sigma (P)=\frac{1}{{\left|t\right|}^{\alpha }}{q}_{\alpha }(x,\xi )$$

$${\left(f,g\right)}_{{\varphi }^{+},{\varphi }^{-}}:={\left(f,g\right)}_t$$

$$+{\left({\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{-}{\zeta }_{\mu }{f}^{\mu },{\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{-}{\zeta }_{\mu }{g}^{\mu }\right)}_{{\varphi }^{-}}]$$

$${\Vert \left|f\right|\Vert }_{{\varphi }^{+},{\varphi }^{-}}^2:=\sum _{\mu }\left[{\Vert {\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{+}{\zeta }_{\mu }{f}^{\mu }\Vert }_{{\varphi }^{+}}^2+{\Vert {\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^0{\zeta }_{\mu }{f}^{\mu }\Vert }_0^2+{\Vert {\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{-}{\zeta }_{\mu }{f}^{\mu }\Vert }_{{\varphi }^{-}}^2\right]$$

$${\Vert f\Vert }_{H^s}^2=\sum _{\mu }{\Vert {\tilde{\zeta }}_{\mu }{\Lambda }^s{\zeta }_{\mu }{f}^{\mu }\Vert }_0^2$$

$$c_{{\varphi }^{+},{\varphi }^{-}}{\Vert f\Vert }_0^2\le {\Vert \left|f\right|\Vert }_{{\varphi }^{+},{\varphi }^{-}}^2\le C_{{\varphi }^{+},{\varphi }^{-}}{\Vert f\Vert }_0^2.$$

$$\sum _{\mu }\left({\zeta }_{\mu }({\Psi }_{\mu ,t}^{+}{)}^{\ast }{\tilde{\zeta }}_{\mu }{e}^{-{\varphi }^{+}}{\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{+}{\zeta }_{\mu }+{\zeta }_{\mu }({\Psi }_{\mu ,t}^0{)}^{\ast }{\tilde{\zeta }}_{\mu }^2{\Psi }_{\mu ,t}^0{\zeta }_{\mu }+{\zeta }_{\mu }({\Psi }_{\mu ,t}^{-}{)}^{\ast }{\tilde{\zeta }}_{\mu }{e}^{-{\varphi }^{-}}{\tilde{\zeta }}_{\mu }{\Psi }_{\mu ,t}^{-}{\zeta }_{\mu }\right)$$

$${\bar{\partial }}_{b}f=\sum _{j=1}^{n-1}{\bar{L}}_{j}f{\bar{\omega }}_j$$

$${\bar{\partial }}_{b}f=\sum _{J\in {\mathcal{I}}_q,K\in {\mathcal{I}}_{q+1}}\sum _{j=1}^{n-1}{ϵ}_K^{jJ}{\bar{L}}_j{f}_J{\bar{\omega }}^K+\sum _{J\in {\mathcal{I}}_q,K\in {\mathcal{I}}_{q+1}}{f}_J{m}_K^J{\bar{\omega }}^K$$

$$f_{jI}=\sum _{J\in {\mathcal{I}}_q}{ϵ}_J^{jI}{f}_J$$

$$\left[{\bar{L}}_r,{\bar{L}}_s^{\ast ,\varphi }\right]=c_{sr}T+{\bar{L}}_r{L}_s\varphi +\sum _{\ell =1}^{n-1}(d_{sr}^{\ell }{L}_{\ell }-{\bar{d}}_{rs}^{\ell }{\bar{L}}_{\ell })+{\bar{L}}_r{\sigma }_s.$$

$$|{\varphi }^{+}(z)|=|{\varphi }^{-}(z)|=|t||z{|}^2,$$

$${\nabla }_{{\bar{L}}^{\ast ,\varphi }}f$$

$${\nabla }_{\bar{L}}f$$

$${\bar{\partial }}_b^{\ast }f$$

$$=\sum _{I\in {\mathcal{I}}_{q-1}}\sum _{j=1}^{n-1}{\bar{L}}_j^{\ast }{f}_{jI}{\bar{\omega }}^I+\sum _{I\in {\mathcal{I}}_{q-1},J\in I_q}{f}_J{\overline{m}}_J^I{\bar{\omega }}^I$$

$${\bar{\partial }}_b^{\ast ,\varphi }f$$

Full text

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 of these institutions.

Work supported in part by CAPES (88881.135461/2016-01) and FAPESP (grant number 2018/02663-0).

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\leq q\leq 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 [HR15] 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 [HR11] and [HR15] 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 [HR15] to the microlocal setting. In [HR11], 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 [HR11, HR15]. 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\geq 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 [KR65] 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 [Sha85] and Boas and Shaw [BS86] (in the top degree) on boundaries of pseudoconvex domains in $\mathbb{C}^{n}$ and with Kohn [Koh86] on the boundaries of pseudoconvex domains in Stein manifolds. Nicoara [Nic06] 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\geq{3}$ and Baracco [Bar12] established the $n={2}$ case. Thus, from the point of view closed range, the pseudoconvex case is completely understood.

Harrington and Raich [HR11] began an investigation of the $\bar{\partial}_{b}$-problem on non-pseudoconvex CR manifolds of hypersurface type. Specifically, they fixed a level $q$, $1\leq q\leq 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 [HR15]. The analysis in [HR15] 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 [Nic06, Rai10, HR11] 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 [KR, HRa]. This last fact is not clear from the elliptic regularization methods used in [Nic06, HR11]. For a discussion of the weak $Y(q)$ condition and its related, non-symmetrized version, weak $Z(q)$, please see [HR11, HR15, HPR15, HR18, HRb] and for discussion on the elliptic regularization method, [HRa, KR].

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 Section 2, we define our notation. In Section 3, we give some computations in local coordinates and the microlocal decomposition. In Section 4, we prove the basic estimate, Proposition 4.1. In Section 5, we prove the Theorem 1.2. Many of the consequences of Theorem 1.2 use identical proofs to [HR11, 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 Section 6, we outline how to pass from Theorem 1.2 to Theorem 1.1. We conclude the paper in Section 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\leq q\leq n-2$. Then the following hold:

1. (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. (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. (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. (4)

The complex Green operator $G_{q}$ exists and is continuous on $L^{2}_{0,q}(M)$; 5. (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. (6)

The canonical solution operators, $\bar{\partial}_{b}G_{q}:L^{2}_{0,q}(M)\rightarrow L^{2}_{0,q+1}(M)$ $G_{q}\bar{\partial}_{b}:L^{2}_{0,q-1}(M)\rightarrow L^{2}_{0,q}(M)$ are continuous; 7. (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. (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

[TABLE]

and $\|u\|_{{0}}\leq C\|\alpha\|_{{0}}$ for some constant $C$ independent of $\alpha$; 9. (9)

The Szegö projections $S_{q}=I-\bar{\partial}_{b}^{*}\bar{\partial}_{b}G_{q}$ and $S_{q-1}=I-\bar{\partial}^{*}_{b}G_{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 $\|\cdot\|_{{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\geq n$, and $1\leq q\leq n-2$. For each $s\geq 0$ there exists $T_{s}\geq 0$ so that the following hold:

1. 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\geq 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. 2. 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\geq 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. 3. 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\geq T_{s}$, $\Box_{b,t}$ also has closed range on $H^{s}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$. 4. 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. 5. 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\geq T_{s}$. 6. 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\geq T_{s}$. 7. vii.

The canonical solution operators for $\bar{\partial}^{*}_{b,{t}}$, $\bar{\partial}_{b}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}: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}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}: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\geq T_{s}$. 8. viii.

The Szegö projections $S_{q,t}=I-\bar{\partial}^{*}_{b,{t}}\bar{\partial}_{b}G_{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\geq 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:

1. (i)

$\dim_{\mathbb{C}}\mathbb{L}_{x}=n-1$ where $\mathbb{L}_{x}$ is the fiber over $x\in M$. 2. (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}$. 3. (iii)

If $L,L^{\prime}\in\mathbb{L}$ then $\left[L,L^{\prime}\right]:=LL^{\prime}-L^{\prime}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$ that 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)$, this is $\Lambda^{p,q}(M)$ consist 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\geq 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

[TABLE]

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 Rham exterior derivative $d$ to $\Lambda^{0,q}(M)$.

The Hermitian inner product above gives rise to an $L^{2}$-norm $\|\cdot\|_{{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

[TABLE]

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 a orthonormal basis of $T^{0,1}(U)$ with dual basis $\bar{\omega}_{1},\dots,\bar{\omega}_{n-1}$ in $U$. Finally, there is 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}^{\prime}\right\rangle$ for any $L,L^{\prime}\in T^{1,0}_{x}(U)$, and $U$ is a neighborhood of $x\in M$.

Cartan’s formula implies that for any $L,L^{\prime}\in T^{1,0}(M)$, we have

[TABLE]

In local coordinates, for any $1\leq j,k\leq n-1$,

[TABLE]

so that $\left\langle d\gamma,L_{j}\wedge\overline{L}_{k}\right\rangle=c_{jk}$. We will call $\left[c_{jk}\right]_{1\leq j,k\leq 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}\leq\mu_{2}\leq...\leq\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 [HR15].

Definition 2.3**.**

For $1\leq q\leq n-1$ we say $M$ satisfies $Z(q)$-weakly if there exists a real $\Upsilon\in T^{1,1}(M)$ satisfying

1. (A)

$\left|\theta\right|^{2}\geq(i\theta\wedge\overline{\theta})(\Upsilon)\geq 0$ for all $\theta\in\Lambda^{1,0}(M)$ 2. (B)

$\mu_{1}+\mu_{2}+{\cdots}+\mu_{q}-i\left\langle d\gamma_{x},\Upsilon\right\rangle\geq 0$ where $\mu_{1},...,\mu_{n-1}$ are the eigenvalues of the Levi form at $x$ in increasing order. 3. (C)

$\omega(\Upsilon)\neq 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\leq q\leq n-1$ with $\Upsilon=0$. Please see [HR15, HPR15, HR18] 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 [RS08, BS17].

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

[TABLE]

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$

[TABLE]

which means $\Theta^{|z|^{2}}=\partial\bar{\partial}|z|^{2}=\omega$ [HR11, Proposition 3.1].

3. Local Coordinates and Pseudodifferential Operators

3.1. Pseudodifferential Operators

We follow the setup from [Rai10]. 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^{\prime},\xi_{2n-1})$ be the coordinates in Fourier space so that $\xi^{\prime}$ 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

[TABLE]

$\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

[TABLE]

Extend $\psi^{+},\psi^{-},$ and $\psi^{0}$ homogeneously outside of the unit ball, i.e., if $\left|\xi\right|\geq 1$, then

[TABLE]

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$,

[TABLE]

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

[TABLE]

Suppose $\psi$ and $\tilde{\psi}$ are cut-off functions so that $\tilde{\psi}|_{{\operatorname{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

[TABLE]

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 [Nic06].

Lemma 3.1** (Lemma 4.3, [Nic06]).**

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^{\prime}}}\in\left\{U_{\mu}\right\}$ have nonempty intersection, then there exits a diffeomorphism $\vartheta$ between $U_{\mu}$ and $U_{{\mu^{\prime}}}$ with Jacobian $\mathcal{J}_{\vartheta}$ such that

1. (i)

${}^{t}\mathcal{J}_{\vartheta}(\mathcal{C}_{\mu}^{+})\cap\mathcal{C}_{{\mu^{\prime}}}^{-}=\emptyset$* and $\mathcal{C}_{{\mu^{\prime}}}^{+}\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$;* 2. (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}\geq\frac{4}{5}\left|\xi^{\prime}\right|\text{ and }\left|\xi\right|\geq(1+\varepsilon)tA\right\}$, the principal symbol of *${}^{\vartheta}\Psi_{t,\mu}^{+}$*is identically equal to 1, on $\left\{\xi:\xi_{2n-1}\leq-\frac{4}{5}\left|\xi^{\prime}\right|\text{ and }\left|\xi\right|\geq(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^{\prime}\right|\leq\xi_{2n-1}\leq\frac{1}{3}\left|\xi^{\prime}\right|\text{ and }\left|\xi\right|\geq(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. 3. (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^{\prime}}}^{+}$ and the principal symbol of ${}^{\vartheta}\tilde{\Psi}_{t,\mu}^{-}$ is identically 1 on $\mathcal{C}_{{\mu^{\prime}}}^{-}$; 4. (iv)

$\tilde{\mathcal{C}}_{{\mu^{\prime}}}^{+}\cap\tilde{\mathcal{C}}_{{\mu^{\prime}}}^{-}=\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

[TABLE]

for $\left|\alpha\right|\geq 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\leq 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 ${\|{f}\|}_{\phi}^{2}:=\sum_{J\in\mathcal{I}_{q}}{\|{f_{J}}\|}_{\phi}^{2}$ where ${\|{f_{J}}\|}_{\phi}^{2}=\int_{M}\left|f_{J}\right|^{2}e^{-\phi}dV$, 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 an 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 cutoff function that dominates $\zeta_{\mu}$ such that $\operatorname{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:

[TABLE]

and

[TABLE]

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:

[TABLE]

where $\Lambda$ is the pseudodifferential operator with symbol $(1+\left|\xi\right|^{2})^{1/2}$. In [Nic06], Nicoara shows that there exist constants $c_{{\phi^{+},\phi^{-}}}$ and $C_{{\phi^{+},\phi^{-}}}$ so that

[TABLE]

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

[TABLE]

and this operator is bounded in $L^{2}(M)$ independently of $tA\geq 1$ (see Corollary 4.6 in [Nic06]).

3.3. $\bar{\partial}_{b}$ and its adjoints

If $f$ is a function on $M$, then in a local coordinates

[TABLE]

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

[TABLE]

where $\epsilon_{K}^{jJ}$ is equal to 0 if $\left\{K\right\}\neq\left\{j\right\}\cup J$ and is the sign of the permutation that reorders $jJ$ to $K$ otherwise. We also define

[TABLE]

(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

[TABLE]

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

[TABLE]

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}}\}$):

[TABLE]

Again, if $f=\sum_{J\in\mathcal{I}_{q}}f_{J}\,\bar{\omega}^{J}$ is defined locally, then

[TABLE]

and

[TABLE]

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

[TABLE]

The computations proving Lemmas 4.8 and 4.9 and equation (4.4) in [Nic06] 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,

[TABLE]

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:

[TABLE]

The space of weighted harmonic forms $\mathcal{H}_{{t}}^{q}$ is defined by

[TABLE]

We have the following relationship between the energy forms. See [HR11, Lemma 3.4] or [Nic06, 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^{\prime}$ with $K\geq 1$ so that

[TABLE]

$K$* and $K^{\prime}$ 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 Section 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\leq q\leq n-2$. Set

[TABLE]

There exist constants $K$ and $K_{{t}}$ where $K$ does not depend on $t$ so that

[TABLE]

for $t$ sufficiently large.

The main work in establishing (4.2) is to prove the following:

[TABLE]

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}_{b}f,\bar{\partial}_{b}g)_{\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({\|{f}\|}_{\phi}^{2})$ and

[TABLE]

for some collection of smooth functions $a_{JJ^{\prime}}$ and $\tilde{a}_{JJ^{\prime}}$ that may change line to line.

Integration by parts (see, e.g., [Rai10, Lemma 4.2]) shows that

[TABLE]

Developing the commutator terms as in [Rai10, Lemma 4.2] and using the fact that $L_{j}=-\bar{L}^{*,\phi}_{j}+L_{j}\phi+\sigma_{j}$, we have the equality

[TABLE]

Since

[TABLE]

and

[TABLE]

it follows that

[TABLE]

On the other hand, integration by parts, expanding the commutator terms, and using (4.4), we will have

[TABLE]

Motivated by [HR15, p.1725], we write ${\|{\nabla_{\bar{L}}f}\|}_{\phi}^{2}=\left({\|{\nabla_{\bar{L}}f}\|}_{\phi}^{2}-{\|{\overline{\nabla}_{\Upsilon}f}\|}_{\phi}^{2}\right)+{\|{\overline{\nabla}_{\Upsilon}f}\|}_{\phi}^{2}$ and use (4.6) to obtain

[TABLE]

Since

[TABLE]

where $(\delta_{jk})$ is the identity matrix $I_{n-1}$, we have

[TABLE]

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

[TABLE]

To estimate the first terms, observe that for $\varepsilon>0$, a small constant/large constant argument shows that

[TABLE]

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=\operatorname{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}\leq(1-\lambda_{j})$ for all $j$,

[TABLE]

Returning to the integration, we now observe,

[TABLE]

For the second term in (4.7), a similar small constant/large constant argument shows

[TABLE]

and linear algebra (as above) helps to establish

[TABLE]

Summarizing the above, for $\varepsilon$ sufficiently small and $f$ supported in a small neighborhood, we have

[TABLE]

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 [Str10]:

Lemma 4.2**.**

Let $B=\left(b_{jk}\right)_{1\leq j,k\leq n-1}$ be a Hermitian matrix and $1\leq q\leq n-1$. The following are equivalent:

1. 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}}\geq M\left|u\right|^{2}$. 2. ii.

The sum of any q eigenvalues of $B$ is at least $M$. 3. iii.

$\sum_{s=1}^{q}\sum_{j,k=1}^{n-1}b_{jk}t_{j}^{s}\overline{t_{k}^{s}}\geq M$* for any orthonormal vectors $\left\{t^{s}\right\}_{1\leq s\leq q}\subset\mathbb{C}^{n-1}$.*

The next two results are consequences of the sharp Gårding Inequality and appear as [Rai10, 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 $\geq 0$. Then

[TABLE]

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 $\geq 0$. Then

[TABLE]

Now, we are ready to estimate $Q_{b,+}(\cdot,\cdot)$ and $Q_{b,-}(\cdot,\cdot)$.

Proposition 4.5**.**

Let $f\in\operatorname{Dom}\bar{\partial}_{b}\cap\operatorname{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

[TABLE]

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

[TABLE]

By choosing $A\geq{\sup_{z\in M}}\frac{1}{2}\left|\nu(\left|z\right|^{2})\right|$, Lemma 4.2 implies that

[TABLE]

for some constants $C$ and $B_{\phi^{+}}$ where $B_{\phi^{+}}$ satisfies $\left|q-\omega(\Upsilon)\right|>B_{\phi^{+}}$ on $M$ ∎

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

[TABLE]

Analogously to (4.6), we have

[TABLE]

It now follows from (4) and (4.10) that

[TABLE]

If we set

[TABLE]

then we can rewrite (4.11) by

[TABLE]

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\operatorname{Dom}\bar{\partial}_{b}\cap\operatorname{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

[TABLE]

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 Lemmas 4.17 and Lemma 4.18 on [Nic06].

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

[TABLE]

The other term appearing in our main estimate, O\big{(}{\|{\tilde{\zeta}\widetilde{\Psi}_{{t}}^{0}\cdot}\|}_{0}^{2}\big{)} can be handled with [Rai10, Proposition 4.11].

Proposition 4.8**.**

For any $\epsilon>0$, there exists $C_{\epsilon,{t}}>0$ so that

[TABLE]

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^{\prime}$ 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. ∎

5. The Proof of Theorem 1.2

Now that we have the tools of Section 4, we can prove strong closed range estimates using many of the arguments of [HR11]. 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, [HR11]).**

Let $M$ be a smooth, embedded $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

1. (i)

$\mathcal{H}_{{t}}^{q}$* is finite dimensional;* 2. (ii)

There exists $C$ that does not depend on $\phi^{+}$ and $\phi^{-}$ so that for all $(0,q)$-forms $u\in\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$ satisfying $u\perp\mathcal{H}_{{t}}^{q}$ (with respect to $\left\langle\cdot,\cdot\right\rangle_{{t}}$) we have

[TABLE]

By [Hör65, 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 [Hör65, 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 [math] on $\mathcal{H}_{q,t}(M)$). Recall the following well-known lemma. See, e.g., [FK72, Nic06].

Lemma 5.2**.**

Let $H$ be a Hilbert space equipped with the inner product $\left(\cdot,\cdot\right)$, corresponding norm $\|\cdot\|$, and a positive definite Hermitian form $Q$ defined on a dense subset $D\subset H$ satisfying

[TABLE]

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 $\operatorname{Dom}(F)\subset D$ satisfying

[TABLE]

for all $\varphi\in\operatorname{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(\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{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 $\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})\cap{{}^{\perp}\mathcal{H}_{{t}}^{q}}(M)$ is dense in ${}^{\perp}\mathcal{H}_{{t}}^{q}$.*

Proof.

Suppose $\{u_{\ell}\}\subset\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{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}_{b}u_{\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}})$, hence converges to some $u\in L^{2}_{0,q}(M,{\left\|\left|\cdot\right|\right\|_{t}})$. Thus $u\in\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$, $\bar{\partial}_{b}u=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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$. Since $u\neq 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\to\infty}H^{q}_{{t}}u_{\ell}$, $v=\lim_{\ell\to\infty}v_{\ell}$, and since that $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}}\leq\left\|\left|u-u_{\ell}\right|\right\|_{{t}}+\left\|\left|H^{q}_{{t}}u_{\ell}\right|\right\|_{{t}}\rightarrow 0$. Consequently $\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})\cap{{}^{\perp}\mathcal{H}_{{t}}^{q}}(M)$ is dense in ${{}^{\perp}\mathcal{H}_{{t}}^{q}}(M)$. ∎

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 [Nic06, 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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$ such that

[TABLE]

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}_{b}u_{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 [KR, HRa]. See also [Nic06, Koh73].

Fix $s\geq 1$. For forms $f,g\in H^{1}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$, set

[TABLE]

where $Q_{d_{b}}(\cdot,\cdot)$ is the hermitian inner product associated to the Rham exterior derivative $d_{b}$, i.e., $Q_{d_{b}}(u,v)=\left(d_{b}u,d_{b}v\right)_{{t}}+\left(d_{b,{t}}^{*}u,d_{b,{t}}^{*}v\right)_{{t}}$, and $\delta,\nu\geq 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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$. Then

[TABLE]

for all $\varphi\in H^{1}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$ if $\delta>0$ and all $\varphi\in\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$ if $\delta=0$. By the Lemma 5.2 there exist self-adjoint operators (for $0\leq\delta\leq 1$ and $0<\nu\leq 1$) $\Box_{b,{t}}^{\delta,\nu}:\operatorname{Dom}(\Box_{b,{t}}^{\delta,\nu})\to 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\operatorname{Dom}(\Box_{b,{t}}^{\delta,\nu})$ satisfying

[TABLE]

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

[TABLE]

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 [Koh73, Proposition 5.2], from equation (5.20) onwards. Equation (5.4) plays the role of [Koh73, (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})}\to 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

[TABLE]

Since $G_{q,{t}}^{\delta,\nu}\varphi\in H^{s+2}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$, the basic estimate yields

[TABLE]

A careful integration by parts shows that

[TABLE]

We next apply the same sequence of integration by parts and commutators to the other terms in $Q_{b,{t}}^{\delta,\nu}(\Lambda^{s}G_{q,{t}}^{\delta,\nu}\varphi,\Lambda^{s}G_{q,{t}}^{\delta,\nu}\varphi)$. Using a small constant/large constant argument and the fact that $\bar{\partial}_{b,{t}}^{*}=\bar{\partial}^{*}_{b}+tP_{0}$ where $P_{0}$ is a (pseudo)differential operator of order [math], we can absorb terms to obtain

[TABLE]

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

[TABLE]

By induction, we can reduce the $H^{s-1}$-norm to an $L^{2}$-norm, and by (5.3), we observe

[TABLE]

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

[TABLE]

Since $H^{s}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$ embeds compactly in $H^{s^{\prime}}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$, it follows that $G_{q,{t}}^{\delta_{k},\nu}\varphi\to u_{\nu}$ strongly in $H^{s^{\prime}}_{0,q}{(M,\left\|\left|\cdot\right|\right\|_{t})}$ for $0\leq s^{\prime}<s$. Also, observe that the next conclusion is not automatic in the $s=1$ case.

[TABLE]

and, moreover, $\bar{\partial}_{b}G_{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}\leq\delta_{j}$ we have

[TABLE]

Since $\bar{\partial}_{b}$ and $\bar{\partial}^{*}_{b,{t}}$ are closed operators it follows that $u_{\nu}\in\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$, $\bar{\partial}_{b}G_{q,{t}}^{\delta_{k},\nu}\varphi\to\bar{\partial}_{b}u_{\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),

[TABLE]

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)\neq\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})\to 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\geq 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),

[TABLE]

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

[TABLE]

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\langle f,g\right\rangle_{{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)

[TABLE]

where $C$ is independent of $\delta$. Consequently,

[TABLE]

Since $Q^{\delta}_{b,{t}}(\cdot,\cdot)$ satisfies $Q^{\delta}_{b,{t}}(f,f)\geq\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

[TABLE]

We apply the basic estimate to $G_{q,{t}}^{\delta}\varphi\in H^{s+2}_{0,q}(M)$ and observe

[TABLE]

Using the argument of (5.6), we can establish

[TABLE]

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

[TABLE]

since $\left\|\left|\Lambda^{s}G^{\delta}_{q,{t}}\varphi\right|\right\|_{{t}}<\infty$. Plugging (5.14) into (5.11), it follows that

[TABLE]

Using (5.10) and induction, we estimate

[TABLE]

With (5.15) in hand, we now turn to sending $\delta\to 0$, in a similar manner to [HR11]. 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

[TABLE]

Also,

[TABLE]

and, as in the previous section, we can prove $\bar{\partial}_{b}G^{{\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\operatorname{Dom}(\bar{\partial}_{b})\cap\operatorname{Dom}(\bar{\partial}_{b}^{*})$, $\bar{\partial}_{b}G_{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

[TABLE]

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\langle\varphi,v\right\rangle_{{t}}=Q_{b,{t}}(G_{q,{t}}\varphi,v)$. So by uniqueness $G_{q,{t}}\varphi=\tilde{u}$ and (5.16) we have

[TABLE]

and by (5.17)

[TABLE]

These two last equations prove the continuity of $G_{q,{t}}$ on $H^{s}_{0,q}(M)$ and as well as $\bar{\partial}_{b}G_{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 [HR11, Theorem 1.2], and Section 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)\to L^{2}_{0,\tilde{q}}(M)$ has closed range for $\tilde{q}=q$ or $q+1$. Moreover, by [Hör65, Theorem 1.1.1], their adjoints $\bar{\partial}^{*}_{b}:L^{2}_{0,\tilde{q}}(M)\to 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., [RS08, p.772] or [Koh73]). Standard arguments now establish the rest of Theorem 1.1.

7. Examples

In this section, we modify the main example of [HR15] and show how the flexibility of choosing $\Upsilon$ makes it easier to verify than the older weak $Y(q)$ condition of [HR11].

Let $M\subset\mathbb{C}^{5}$ be the boundary of a domain $\Omega$ so that on neighborhood $U$ of the origin so that

[TABLE]

We set

[TABLE]

where the polynomial

[TABLE]

Observe that

[TABLE]

and

[TABLE]

We choose a basis for $T^{1,0}(M\cap U)$ by setting

[TABLE]

In this basis, we can represent the Levi form by the $4\times 4$ matrix

[TABLE]

Since $(c_{jk})$ has three positive eigenvalues whenever either $z_{2}\neq 0$ or both $x\neq 0$ and $y\neq 0$. Hence $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 [HR15, p.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. ∎

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 [HR15] shows (no condition that depends on sums of eigenvalues is likely to be invariant under changes of metric).