On the convergence of S-nondegenerate formal CR maps
英文摘要：
We introduce S-nondegenerate formal CR maps and establish their convergence (revision of a preliminary version).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
A Uniqueness Theorem for Meromorphic Maps with Moving Hypersurfaces
In this paper, we establish a uniqueness theorem for algebraically nondegenerate meromorphic maps of C^m into C P^n and slowly moving hypersurfaces Q_j in C P^n, j=1,...,q in (weakly) general position, where q depends effectively on n and on the degrees d_j of the hypersurfaces Q_j.
math.AGmath.CV
Convergence of formal equivalences of hypersurfaces
A formal invertible equivalence between two minimal real analytic hypersurfaces converges if and only if the hypersurfaces are holomorphically nondegenerate
math.CV
On the convergence of formal mappings
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 manifold to be real algebraic, and the source manifold to be minimal at p\in M in the sense of Tumanov, we prove the convergence of the so-called reflection mapping associated to f. From this, we deduce the convergence of such mappings from minimal real analytic generic submanifolds onto real algebraic holomorphically nondegenerate ones, as well as related results …
math.CV
Classification of Holomorphic Mappings of Hyperquadrics from $\mathbb C^2$ to $\mathbb C^3$
We give a new proof of Faran's and Lebl's results by means of a new CR-geometric approach and classify all holomorphic mappings from the sphere in $\mathbb C^2$ to Levi-nondegenerate hyperquadrics in $\mathbb C^3$. We use the tools developed by Lamel, which allow us to isolate and study the most interesting class of holomorphic mappings. This family of so-called nondegenerate and transversal maps we denote by $\mathcal F$. For $\mathcal F$ we introduce a subclass $\mathcal N$ of maps which are normalized with respect to the group $\mathcal G$ of automorphisms fixing a given point. With the tec…
math.CV
Convergence of the Chern-Moser-Beloshapka normal forms
In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. We show that our techniques can be adapted in the case d = 1 in order to obtain a new and direct proof of Chern-Moser normal form theorem.
math.CVmath.DGmath.DS
Formal biholomorphic maps of real analytic hypersurfaces
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 associated to f. As a consequence, we derive the convergence of formal biholomorphisms between real analytic minimal holomorphically nondegenerate hypersurfaces. Related results on partial convergence of formal biholomorphisms are also obtained.
math.CV
更多相关论文收起更多论文
Convergence of formal embeddings between real-analytic hypersurfaces in codimension one
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 Levi-nondegenerate, the same conclusion holds for any formal embedding provided either that the embedding is CR transversal or the target hypersurface does not contain any complex curves.
math.CV
On formal maps between generic submanifolds in complex space
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 mapping H. As a consequence, we obtain a new convergence result for arbitrary formal maps between real-analytic hypersurfaces when the target does not contain any holomorphic curve. In the case when both M and M' are hypersurfaces, we also prove the convergence of the associated reflection function when M is assumed to be only minimal. This allows us to derive…
math.CV
On the CR transversality of holomorphic maps into hyperquadrics
Let $M_\ell$ be a smooth Levi-nondegenerate hypersurface of signature $\ell$ in $\mathbf C^n$ with $ n\ge 3$, and write $H_\ell^N$ for the standard hyperquadric of the same signature in $\mathbf C^N$ with $N-n< \frac{n-1}{2}$. Let $F$ be a holomorphic map sending $M_\ell$ into $H_\ell^N$. Assume $F$ does not send a neighborhood of $M_\ell$ in $\mathbf C^n$ into $H_\ell^N$. We show that $F$ is necessarily CR transversal to $M_\ell$ at any point. Equivalently, we show that $F$ is a local CR embedding from $M_\ell$ into $H_\ell^N$.
math.CV
Note on constancy of some formal meromorphic maps
Segre sets are superfluous to verify that quotients of formal holomorphic maps that are real on a minimal generic submanifold of positive CR dimension must necessarily be constant.
math.CV
Remarks on the rank properties of formal CR maps
We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note.
math.CV
Étude de la régularité analytique de l'application de réflexion CR formelle (French)
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) complex tangency, which are formally but not holomorphically normalizable (because of the presence of small divisors), even if the normal form is itself real analytic or algebraic. On the contrary, it appears that such a nonconvergence phenomenon does not appear for submanifolds of C^n whose CR dimension is locally constant, in view of recent results by S.M. B…
math.CVmath.DG
Formal normal forms for holomorphic maps tangent to the identity
We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve of fixed points.
math.CVmath.DS
Formally-Reversible Maps of C^2
An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex coefficients. The main result is a description of the generic reversible elements of $G$. We list two explicit sequences of reversibles which between them represent all the conjugacy classes of such reversibles. We show that each such element is reversible by some element of finite order, and hence is the product of two elements of finite even order. Those elements…
math.CV
Factoring Formal Maps into Reversible or Involutive Factors
An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$, i.e. formally-invertible $n$-tuples of formal power series in $n$ variables, with complex coefficients. The case $n=1$ was already understood. Each product $F$ of reversibles has linear part $L(F)$ of determinant $\pm1$. The main results are that for $n\ge2$ each map $F$ with det$(L(F))=\pm1$ is the product of …
math.CVmath.DSmath.GR
