Convergence of formal embeddings between real-analytic hypersurfaces in codimension one. (Q1777985): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2952748682 / rank | |||
Normal rank |
Revision as of 21:44, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convergence of formal embeddings between real-analytic hypersurfaces in codimension one. |
scientific article |
Statements
Convergence of formal embeddings between real-analytic hypersurfaces in codimension one. (English)
0 references
26 May 2005
0 references
Let \(M\subset\mathbb{C}^N\) and \(M'\subset\mathbb{C}^{N'}\) be two strictly pseudoconvex \(C^\omega\) hypersurfaces such that \(N'> N\). A formal embedding mapping \(M\) into \(M'\) and \(p\in M\) into \(p'\in M'\) is a formal holomorphic map \(F: (\mathbb{C}^N, p)\to (\mathbb{C}^{N'}, p')\) such that: i) the pullback by \(F\) of any \(C^\omega\) defining function for \(M'\) in a neighborhood of \(p'\) vanishes on \(M\) as a power series and ii) the differential \(d_pF: T_p(M)\otimes\mathbb{C}\to T_{p'}(M')\otimes\mathbb{C}\) is injective. A conjecture inspired by the classical work of \textit{S. S. Chern} and \textit{J. K. Moser} [Acta Math. 133 (1974), 219--271 (1975; Zbl 0302.32015)] in the equidimensional case states that such \(F\) must be convergent, that is, it must be given by the power series of a local holomorphic map. The paper under review gives a positive answer in the case \(N'= N+ 1\).
0 references
formal embedding
0 references
formal CR transversal map
0 references