Codimension two CR singular submanifolds and extensions of CR functions (Q2411215)

This paper investigates holomorphic extension problems on codimension-two CR singular submanifolds having nondegenerate CR singularities. The paper has two main results, a local theorem that identifies holomorphic flatness as a sufficient condition for nondegenerate manifolds and a second global result which can be thought of as analogue to the Hartogs-Bochner theorem. The exact statements of these are as follows: Theorem (local result). Let \(M\subset \mathbb{C}^{n+1}, n\geq 2\), be a holomorphically flat real-codimension-two real analytic submanifold with a nondegenerate CR singularity at \(0\in M\). Suppose \(f\in C^{\omega}(M)\) such that \(f|_{M_{CR}}\) is a CR function. Then there exists a neighborhood U of \(0\in\mathbb{C}^{n+1}\) and \(F\in \mathcal{O}(U)\) such that \(F|_{M\cap U}=f\). Theorem (global result). Let \(\Omega\subset \mathbb{C}^n\times \mathbb{R}\), \(n\geq 2\), be a bounded domain with real analytic boundary such that \(\partial\Omega\) is connected and has only nondegenerate CR singularities. Let \(f\in C^{\omega}(\partial\Omega)\) be such that \(f|_{(\partial\Omega)_{CR}}\) is a CR function. Then there exists an open set \(U\subset\mathbb{C}^n\times \mathbb{C}\) with \(\overline{\Omega}\subset U\) and \(F\in \mathcal{O}(U)\) such that \(F|_{\partial\Omega}=f\). To show that the global result does not extend to the smooth case the authors give a simple counterexample. The authors also give a new proof of the classical Hartogs-Severi theorem for \(n\geq 2\). The proofs make use of an extensive variety of tools and machinery from several complex variables.