Related papers: Formal biholomorphic maps of real analytic hypersu…

Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the…

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…

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$ 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'$,…

The reflection function of a smooth CR diffeomorphism between two minimal real analytic hypersurfaces is everywhere real analytic.

Corollary: Two germs of minimal real analytic CR-generic manifolds are formally equivalent if and only if they are biholomorphic.

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…

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…

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

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 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 the problem of describing the local biholomorphic equivalence class of a real-analytic hypersurface $M$ at a distinguished point $p_0\in M$ by giving a normal form for such objects. In order for the normal form to carry useful…

Let (M,p) and (M',p') be the germs of real-analytic 1-infinite type hypersurfaces in \C^2. We prove that any formal equivalence sending (M,p) into (M',p') is formally parametrized (and hence uniquely determined by) its jet at p of a…

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…

Let M be a real analytic strictly pseudoconvex manifold of higher codimension in complex space, and let M' be the cartesian product of two or more compact real analytic strictly convex hypersurfaces. We prove that a germ of a biholomorphic…

Let $M$ be a $n$-dimensional complex manifold and $f,g:M\to M$ two distinct holomorphic self-maps. Suppose that $f$ and $g$ coincide on a globally irreducible compact hypersurface $S\subset M$. We show that if one of the two maps is a local…

We present a new proof of Pinchuk's theorem on the analytic continuation of a biholomorphic mapping from a strongly pseudoconvex analytic real hypersurface to a compact strongly pseudoconvex analytic real hypersurface in a complex euclidean…

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…

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 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.…