On the convergence of formal mappings (Q1607497): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the convergence of formal mappings |
scientific article |
Statements
On the convergence of formal mappings (English)
0 references
26 March 2003
0 references
A connected real analytic generic submanifold \(M\) is holomorphically nondegenerate if there is no non-trivial holomorphic tangent vector field with holomorphic coefficients near any point. It is called real algebraic if it is contained in a real algebraic subvariety of the same dimension. Also \(M\) is said to be minimal at a point \(p\) in \(M\) (or of finite type in the sense of Kohn and Bloom-Graham) if there is no proper CR submanifold contained in \(M\) through \(p\), and with the same Cauchy-Riemann dimension. A formal map is called nondegenerate if its formal holomorphic Jacobian does not vanish identically. Now we can state the main result of the author. Let \(f:(M,0)\to (M',0)\) be a formal nondegenerate CR map between two germs at \(0\) of real analytic generic submanifolds in \(\mathbb{C}^n\) of the same CR dimension. Assume that \(M\) is minimal at \(0\) and \(M'\) is real algebraic and holomorphically nondegenerate. Then \(f\) is convergent.
0 references
holomorphically nondegenerate
0 references
formal CR map
0 references
real algebraic
0 references