Removable singularities of CR-functions (Q1107674): Difference between revisions

Let B be the unit ball in \({\mathbb{C}}^ n.\) A (real) \(C^ 2\)-manifold \(M\subset \partial B\) is said to be removable if for each closed set \(E\subset \bar B\) such that \(E\cap \partial B\subset M\) and \(B\setminus E\) is connected every holomorphic function on \(B\setminus E\) can be extended to a holomorphic function on B. Let \(T^ c_ p(\partial B)\) be the maximal complex subspace of the tangent space \(T_ p(\partial B)\) at a point p. It is shown that if \(T^ c_ p(\partial B)\setminus T_ p(M)\neq \emptyset\) for some poit \(p\in M\) then M is locally removable at p, i.e. there exists a neighbourhood U of p such that the set \(M\cap U\) is removable. The following theorem is the main result of the paper: Let \(n=2\) and dim M\(=2\). Suppose that \(T^ c_ p(\partial B)\setminus T_ p(M)\neq \emptyset\) for every \(p\in M\) (which means in this case that M is totally real, \(T^ c_ p(M)=0\), \(p\in M)\) and that M is diffeomorphic to the unit disk in the complex plane. Then the set M is removable. The proof is based on the continuity principle. To clear up its idea, the author first proves the theorem in the particular case when M is contained in the torus and then passes to the general case which needs some additional tools. It is also shown that this theorem holds not only for the unit ball but for each strictly pseudoconvex domain in \({\mathbb{C}}^ 2\) as well. As a corollary the following result concerning removable singularities of CR-functions (and distributions) is obtained: If A is a closed set, \(A\subset M\) and f is a bounded function on \(\partial B\) (resp. a distribution) with \({\bar \partial}_ bf=0\) on \(\partial B\setminus A\) in the distributional sense, then \({\bar \partial}_ bf=0\) on the whole set \(\partial B\) (resp. there exists a distribution g on \(\partial B\) such that supp \(g\subset M\) and \({\bar \partial}_ b(f-g)=0\) on \(\partial B)\). Examples show that the imposed conditions are essential.