Principe de Hartogs dans les variétés CR. (The Hartogs principle for CR manifolds) (Q1406934)

Let \(M\) be a CR manifold and \(\Omega\) an open subset of \(M\). We say that the Hartogs principle holds for \(\Omega\) if every smooth CR function defined on a neighborhood of the boundary \(b\Omega\) of \(\Omega\) extends to a smooth CR function in \(\Omega\). When \(M\) is a noncompact connected complex manifold (the CR codimension is \(0\)) and the first Dolbeault cohomology group with compact support \(H^{1,0}_{\text{comp}}(M)\) is \(0\), the Hartogs principle is valid for every open \(\Omega\) which are relatively compact in \(M\) and have a connected boundary \(b\Omega\). In this paper the authors investigate the question of the validity of the Hartogs principle for CR manifolds \(M\) of arbitrary CR codimension. They prove that, if \(M\) is a real analytic CR submanifold of \(\mathbb{C}^n\), of real dimension \(\geq 3\), which is nowhere strictly pseudoconvex, then for each \(p\in M\) there exists a \(\delta(p)>0\) such that the real analytic CR functions defined near \(b\Omega\) extend to real analytic CR functions in \(\Omega\) provided \(b\Omega\) is connected and \(\Omega\subset M\cap B(p,\delta(p))\). Vice versa, if this local extension principle for real analytic CR functions holds true, \(\dim_{R}M\geq 3\) and \(M\) is nowhere strictly pseudoconvex. The domain \(\Omega\subset M\) is said to be not CR confined if there exists a convex \(B\subset \mathbb{C}^n\) such that for all \(p\in b\Omega\) there exists a piecewise smooth path \(\gamma:I\rightarrow M\) with \(\dot\gamma(t)\in H_{\gamma(t)}M\) (analytic tangent space to \(M\)) for each \(t\in I=[0,1]\) where \(\gamma\) is smooth, \(\gamma(0)=p\), \(\gamma(1)\in M\cap bB\), and \(\gamma(I)\subset (\{p\}\cup\overline{M\cap B}) \setminus \overline{\Omega}\). The authors show that, when \(M\) is standard, i.e. \(M=\{z\in \mathbb{C}^n\mid \Im z_j=F_j(z_1,\dots,z_k)\), \(k<j\leq n\}\) with \(F_j\) Hermitian symmetric in \(\mathbb{C}^k\), with \(k\geq 2\), and \(M\) is nowhere strictly pseudoconvex, then the Hartogs principle is valid for bounded domains \(\Omega\) which are not CR confined; and vice versa, this Hartogs principle implies that \(k\geq 2\) and that \(M\) is nowhere strictly pseudoconvex. Finally, the authors consider CR submanifolds \(M\) of \(\mathbb{C}^n\) which are foliated by complex curves. They show that the Hartogs principle is valid for all \(\Omega\) which are not CR confined and which are sufficiently small. Reviewer's remark: For related results we refer the reader to \textit{C. Laurent-Thiebaut} [Banach Cent. Publ. 31, 233-247 (1995; Zbl 0841.32008)].