The null space of the $\overline{\partial }$-Neumann operator

Hörmander, Lars

Annales de l'Institut Fourier, Tome 54 (2004) no. 5, pp. 1305-1369.

Soit $\Omega$ une variété complexe de dimension $n$ avec une métrique hermitienne et une frontière $C^{\infty }$, et soit $\sqcap \bigsqcup =\overline{\partial }{\overline{\partial }}^{*}+{\overline{\partial }}^{*}\overline{\partial }$ l'opérateur autoadjoint $\overline{\partial }$-Neumann dans l'espace $L_{0,q}^2\left(\Omega \right)$ des $(0,q)$ formes. Si la forme de Levi a au moins $n-q$ valeurs propres positives ou au moins $q+1$ valeurs propres négatives en chaque point de $\partial \Omega$, il est bien connu que dim $\mathrm{Ker}$ $\sqcap \bigsqcup <\infty$ et que l'image de $\sqcap \bigsqcup$ est l'espace orthogonal. Ici nous démontrons que dim $\mathrm{Ker}$ $\sqcap \bigsqcup =\infty$ si l'image de $\sqcap \bigsqcup$ est fermée et si la signature de la forme de Levi est $n-q-1,q$ en un point de $\partial \Omega$. Le point de départ de la démonstration est une formule explicite pour $\mathrm{Ker}$ $\sqcap \bigsqcup$ quand $\Omega \subset {ℂ}^n$ est borné par deux sphères concentriques et $q=n-1$. Alors $\mathrm{Ker}$ $\sqcap \bigsqcup$ a $n$ multiplicateurs indépendants ; ceci est vrai si et seulement si $\Omega \subset {ℂ}^n$ est borné par deux ellipsoïdes confocaux. Ces modèles conduisent à une asymptotique faible pour le noyau de la projection orthogonale sur $\mathrm{Ker}$ $\sqcap \bigsqcup$ quand l'image de $\sqcap \bigsqcup$ est fermée, aux points de $\partial \Omega$ où la forme de Levi est définie négative $q=n-1$. Des bornes grossières sont aussi données quand la signature est $n-q-1,q$ avec $1\le q<n-1$.

Let $\Omega$ be a complex analytic manifold of dimension $n$ with a hermitian metric and $C^{\infty }$ boundary, and let $\sqcap \bigsqcup =\overline{\partial }{\overline{\partial }}^{*}+{\overline{\partial }}^{*}\overline{\partial }$ be the self-adjoint $\overline{\partial }$-Neumann operator on the space $L_{0,q}^2\left(\Omega \right)$ of forms of type $(0,q)$. If the Levi form of $\partial \Omega$ has everywhere at least $n-q$ positive or at least $q+1$ negative eigenvalues, it is well known that $\mathrm{Ker}$ $\sqcap \bigsqcup$ has finite dimension and that the range of $\sqcap \bigsqcup$ is the orthogonal complement. In this paper it is proved that dim $\mathrm{Ker}$ $\sqcap \bigsqcup =\infty$ if the range of $\sqcap \bigsqcup$ is closed and the Levi form of $\partial \Omega$ has signature $n-q-1,q$ at some boundary point. The starting point for the proof is an explicit determination of $\mathrm{Ker}$ $\sqcap \bigsqcup$ when $\Omega \subset {ℂ}^n$ is a spherical shell and $q=n-1$. Then $\mathrm{Ker}$ $\sqcap \bigsqcup$ has $n$ independent multipliers; this is only true for shells $\Omega \subset {ℂ}^n$ bounded by two confocal ellipsoids. These models lead to asymptotics in a weak sense for the kernel of the orthogonal projection on $\mathrm{Ker}$ $\sqcap \bigsqcup$ when the range of $\sqcap \bigsqcup$ is closed, at points on $\partial \Omega$ where the Levi form is negative definite, $q=n-1$. Crude bounds are also given when the signature is $n-q-1,q$ with $1\le q<n-1$.

Classification : 32W05, 32A25

[BS] H.P. Boas & M.-C. Shaw, Sobolev estimates for the Lewy operator on weakly pseudo-convex boundaries, Math. Ann 274 (1986) p. 221-231 | MR | Zbl

[BMS] L. Boutet De Monvel & J. Sjöstrand, Sur la singularité des noyaux de Bergman et de Szegö, Astérisque 34-35 (1976) p. 123-164 | Numdam | MR | Zbl

[CM] S.-S. Chern & J.-K. Moser, Real hypersurfaces in complex manifolds, Acta Math 133 (1974) p. 219-271 | MR | Zbl

[CS] S.-C. Chen & M.-C. Shaw, Partial differential equations in several complex variables, AMS/IP Studies in advanced mathematics Vol. 19, Amer. Math. Soc, 2001 | MR | Zbl

[H1] L. Hörmander, $L^2$ estimates and existence theorems for the $\overline{\partial }$ operator, Acta Math. 113 (1965) p. 89-152 | MR | Zbl

[H2] L. Hörmander, The multinomial distribution and some Bergman kernels, Geometric analysis of PDE and several complex variables. Contemporary Mathematics Proceedings (to appear) | MR | Zbl

[H3] L. Hörmander, The analysis of linear partial differential operators I, Springer Verlag, 1983 | Zbl

[K] J.-J. Kohn, Harmonic integrals on strongly pseudo-convex manifolds. I., Ann. of Math. 78 (1963) p. 112-148 | MR | Zbl

[KN] J.-J. Kohn & L. Nirenberg, Non-coercive boundary problems, Comm. Pure Appl. Math 18 (1965) p. 443-492 | MR | Zbl

[KS] J.-J. Kohn & D.C. Spencer, Complex Neumann problems, Ann. of Math 66 (1957) p. 89-140 | MR | Zbl

[S1] M.-C. Shaw, Global solvability and regularity for $\overline{\partial }$ on an annulus between two weakly pseudo-convex domains, Trans. Amer. Math. Soc 291 (1985) p. 255-267 | MR | Zbl

[S2] M.-C. Shaw, $L^2$ estimates and existence theorems for the tangential Cauchy-Riemann complex, Invent. Math 82 (1985) p. 133-150 | MR | Zbl

[<L>H3</L>] L. Hörmander, The analysis of linear partial differential operators III, Springer-Verlag, 1985 | MR | Zbl

[<L>K</L>] J.J. Kohn, Harmonic integrals on strongly pseudo-convex manifolds. II, Ann. Math. (2) 79 (1964) p. 450-472 | MR | Zbl