Algebraic approximation in CR geometry (Q439122)

Artin's approximation theorem states that a germ of an analytic solution \(y(x)\) of a polynomial system \(P(x,y)=0\) can be approximated by algebraic solutions in the Krull topology. In this paper the author proves a CR version of Artin's result. Suppose that \(M \subset {\mathbb{C}}^N\) is a real-algebraic CR submanifold with CR orbits of constant dimension, and let \(S' \subset {\mathbb{C}}^N \times {\mathbb{C}}^{N'}\) be a real-algebraic subset. Then for any \(\ell \in {\mathbb{N}}\) and any germ of a holomorphic mapping \(f : ({\mathbb{C}}^N,p) \to {\mathbb{C}}^{N'}\) at some \(p \in M\) whose graph over \(M\) lies in \(S'\), there exists a complex-algebraic mapping \(f^\ell\) whose graph over \(M\) lies in \(S'\), and \(f^\ell\) agrees with \(f\) up to order \(\ell\) at \(p\). CR submanifolds \(M\) with this approximation property are said to possess the Nash-Artin approximation property. The theorem was proved for \(M\) that are minimal at some point in a previous paper by \textit{F. Meylan, D. Zaitsev} and the author [Int. Math. Res. Not. 2003, No. 4, 211--242 (2003; Zbl 1016.32017); in: Proceedings of the conference on partial differential equations, Forges-les-Eaux, France, 2003. Exp. Nos. I--XV. Nantes: Université de Nantes. Exp. No. XII, 20 p. (2003; Zbl 1054.32021)]. A corollary of these results is that any smooth real-algebraic hypersurface has the Nash-Artin approximation property. An important application of the present theorem is the following: If \(M\) and \(M'\) are two connected real-algebraic CR submanifolds of constant orbit dimension and are holomorphically equivalent as germs at some points \(p \in M\) and \(p' \in M'\), then they are algebraically equivalent. This theorem was known previously by work of \textit{M. S. Baouendi, L. Rothschild} and \textit{D. Zaitsev} [in: Complex analysis and geometry. Proceedings of a conference at the Ohio State University, Columbia, OH, USA, 1999. Berlin: de Gruyter. Ohio State Univ. Math. Res. Inst. Publ. 9, 1--20 (2001; Zbl 1023.32023)] and \textit{B. Lamel} and the author [Commun. Anal. Geom. 18, No. 5, 891--925 (2010; Zbl 1239.32029)] for \(p\) on a certain Zariski open subset of \(M\). This present work extends the result to all \(p \in M\).