Strictly pseudoconvex formal-embedding convergence conjecture
Let NNN and N′N'N′ be integers with 2≤N≤N′2\le N\le N'2≤N≤N′. Let M⊂CNM\subset\mathbb C^NM⊂CN and M′⊂CN′M'\subset\mathbb C^{N'}M′⊂CN′ be real-analytic strictly pseudoconvex hypersurfaces, and let a formal emb…