Algebraic approximation in CR geometry (Q439122): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jiří Lebl / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32V20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32H02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32V40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32C07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14P05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14P20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6062703 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic map | |||
Property / zbMATH Keywords: algebraic map / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CR manifold | |||
Property / zbMATH Keywords: CR manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CR orbits | |||
Property / zbMATH Keywords: CR orbits / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962802137 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1202.2463 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic approximation of structures over complete local rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraicity of holomorphic mappings between real algebraic sets in \(\mathbb{C}^ n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational dependence of smooth and analytic CR mappings on their jets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflection ideals and mappings between generic submanifolds in complex space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalences of real submanifolds in complex space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4550707 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5386124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4237138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the mapping problem for algebraic real hypersurfaces in the complex spaces of different dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Global holomorphic extension of a local map and a Riemann mapping theorem for algebraic domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic versus algebraic equivalence for deformations of real-algebraic Cauchy-Riemann manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4779935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4471407 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Germs of holomorphic mappings between real algebraic hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General Néron desingularization and approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the mapping problem for algebraic real hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraicity of local holomorphisms between real-algebraic submanifolds of complex spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5732721 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:00, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic approximation in CR geometry |
scientific article |
Statements
Algebraic approximation in CR geometry (English)
0 references
1 August 2012
0 references
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\).
0 references
algebraic map
0 references
CR manifold
0 references
CR orbits
0 references
0 references
0 references
0 references
0 references