Related papers: On formal maps between generic submanifolds in com…

Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target…

Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite…

Let $M\subset C^N$ be a minimal real-analytic CR-submanifold and $M'\subset C^{N'}$ a real-algebraic subset through points $p\in M$ and $p'\in M'$. We show that that any formal (holomorphic) mapping $f\colon (C^N,p)\to (C^{N'},p')$, sending…

We prove the following CR version of Artin's approximation theorem for holomorphic mappings between real-algebraic sets in complex space. Let $M\subset \C^N$ be a real-algebraic CR submanifold whose CR orbits are all of the same dimension.…

We prove that if $M$ and $M'$ are algebraic hypersurfaces in $ C^ N$, i.e. both defined by the vanishing of real polynomials, then any sufficiently smooth CR mapping with Jacobian not identically zero extends holomorphically provided the…

We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient…

We prove the following Artin type approximation theorem for smooth CR mappings: given M a connected real-analytic CR submanifold in C^N that is minimal at some point, M' a real-analytic subset of C^N', and H:M->M' a smooth CR mapping, there…

It is proved that a germ of a real analytic CR map from a smooth real-analytic minimal CR manifold M to an essentially finite real-algebraic generic submanifold M' of P^N of the same CR-dimension extends as a holomorphic correspondence…

Let $M\subset \mathbb C^n$ be a real analytic hypersurface, $M'\subset \mathbb C^N$ $(N\geq n)$ be a strongly pseudoconvex real algebraic hypersurface of the special form and $F$ be a meromorphic mapping in a neighborhood of a point $p\in…

Let $M$ be a real analytic hypersurface in $\bC^N$ which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at $p_0\in M$. We show that if $M'$ is another such hypersurface and $p'_0\in M'$,…

It is proved that the germ of a holomorphic map from a real analytic hypersurface M in C^n into a strictly pseudoconvex compact real algebraic hypersurface M' in C^N, 1 < n < N extends holomorphically along any path on M.

We show that every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypersurface in $M'\subset \C^{N+1}$ is convergent. More generally, if $M$ and $M'$ are merely…

A formal invertible equivalence between two minimal real analytic hypersurfaces converges if and only if the hypersurfaces are holomorphically nondegenerate

Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop)…

In this paper, we consider local holomorphic mappings f: M\to M' between real algebraic CR generic manifolds (or more generally, real algebraic sets with singularities) in the complex euclidean spaces of different dimensions and we search…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…

We give an invariant nondegeneracy condition for CR--maps between generic submanifolds in different dimensions and use it to prove a reflection principle for these maps.

We define a new local invariant (called degeneracy) associated to a triple (M,M',H), where M and M' are real submanifolds of C^N and C^N', respectively, and H: M->M' is either a holomorphic map, a formal holomorphic map, or a smooth CR-map.…