A removable singularity property for cr mappings between real analytic hypersurfaces (Q4947027)

This paper studies a removable singularity problem for CR mappings between real analytic hypersurfaces in \(\mathbb{C}^{n}\) of higher dimensions (\(n>2\)). The case of \(n=2\) was considered and solved affirmatively by the author before. The main result proved here is the following theorem. Let \(M_{1}, M_{2}\) be two pseudoconvex hypersurfaces in \(\mathbb{C}^{n}\) without any nontrivial holomorphic curves. Let \(f\) be a continuous CR mapping from \(M_{1}\) into \(M_{2}\). Let \(p \in M_{1}\). If for any \(z \in M_{1}\) sufficiently close to \(p\), either \(z\) is an isolated point of \(H_{z}\) or \(f\) is real analytic at any point in \((H_{z} \setminus \{z\}) \cap O(z)\) then \(f\) is real analytic at \(p\). Equivalently, \(f\) admits a holomorphic extension over a neighbourhood of \(p\). Here \(H_{z}\) is a properly defined real analytic subvariety of \(M_{1}\). The author gives a construction of holomorphic extension to complete its proof. As a corollary, it is obtained that if the analyticity condition for f is replaced by that either the set of weakly pseudoconvex points of \(M_{1}\) is compactly contained in \(M_{1}\), or there is a real analytic curve \(\gamma \in M_{1}\) such that \(f\) is real analytic on \(M_{1} \setminus \gamma\), then \(f\) is real analytic on \(M_{1}\). These results also provide an approach to reduce an analyticity problem of CR mappings to a pure intrinsic CR geometry problem.